×

找到65个文档（结果1-65）

最新的 引文 关联
孙洪璐;马克西姆·福舍特;摩根·马根

一类混杂基因调控网络的极限环分析。 （英语） Zbl 1505.92081号

Petre，Ion（编辑）等人，《系统生物学中的计算方法》。第20届国际会议，CMSB 2022，罗马尼亚布加勒斯特，2022年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13447, 217-236 (2022).
MSC公司：第92页第42页 92C40型 37国集团15
PDF格式BibTeX公司 XML格式引用
\textit{H.Sun}等人，Lect。注释计算。科学。13447，217--236（2022；Zbl 1505.92081）
全文： 内政部 哈尔
莫汉·丹塔姆;阿默里·波利

连续时间线性时不变系统可达性的判定。 （英语） Zbl 07807688号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第15号论文，第12页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Dantam}和\textit{A.Pouly}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第15号论文，第12页（2021；Zbl 07807688）
全文： 内政部 arXiv公司 哈尔
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;克里斯蒂安·克里斯蒂奇;Lourenço，Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯，朱利安;德米特里·特拉泰尔;亚历山大·韦斯

高级应用程序域（软件以外）的运行时验证挑战调查。 （英语） Zbl 1425.68268号

形式方法系统。设计。 54，编号3279-335（2019）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Sánchez}等人，《形式方法系统》。设计。54，第3号，279--335（2019；Zbl 1425.68268）
全文： 内政部 arXiv公司
劳伦特·多恩;戈兰·弗雷斯;乔治·帕帕斯。;安德烈·普拉泽

混合系统的验证。 （英语） Zbl 1392.68246号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1047-1110 (2018).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Doyen}等人，in：模型检查手册。查姆：斯普林格。1047--1110（2018；Zbl 1392.68246）
全文： 内政部
安德烈·桑德勒;奥尔加·特维雷蒂纳

ParaPlan：平面多边形微分包含系统的并行可达性分析工具。 （英语） Zbl 1483.68205号

Bouyer，Patricia（ed.）等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256283-296（2017年）。
MSC公司：60年第68季度 34A60号 68单位05 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Sandler}和\textit{O.Tveretina}，电子。程序。西奥。计算。科学。（EPTCS）256283--296（2017；Zbl 1483.68205）
全文： arXiv公司 链接
马克·布雷弗曼;克里斯托巴尔·罗哈斯;乔恩·施奈德

在计算遍历测度时，严格的空间噪声权衡。 （英语。俄文原件） Zbl 1390.68335号

Sb.数学。 208，第12期，1758-1783（2017）; 翻译自Mat.Sb.208，编号12，42-69（2017）。
MSC公司：65年第68季度 15甲16 37A25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Braverman}等人，Sb.数学。208，第12号，1758——1783（2017；Zbl 1390.68335）；翻译自Mat.Sb.208，No.12，42--69（2017）
全文： 内政部 arXiv公司
阿纳希·加贾多;尼古拉斯·奥林格;罗德里戈托雷斯-阿维利斯

图灵机的传递性问题。 （英语） Zbl 1465.68072号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 231-242 (2015).
MSC公司：04年第68季度 03天10分 2009年第68季度 37B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{A.Gajardo}等人，Lect。注释计算。科学。9234231-242（2015年；兹比尔1465.68072）
全文： 内政部 哈尔
帕维特拉·普拉巴卡;尼玛·鲁希;马赫什·维斯瓦纳坦

判定并发平面单调线性混合系统。 （英语） Zbl 1465.68198号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 256-269 (2015).
MSC公司：68问题85 65年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.Prabhakar}等人，Lect。注释计算。科学。9268256-269（2015年；Zbl 1465.68198）
全文： 内政部
帕特里夏·鲍耶;尼古拉斯·马基;尼古拉斯·佩林;Schlehuber Caissier，菲利普

使用控制漏斗的切换动态系统的时间自动机抽象。 （英语） Zbl 1465.68136号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 60-75 (2015).
MSC公司：65年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。9268，60-75（2015；Zbl 1465.68136）
全文： 内政部 哈尔
雨果·巴兹勒;奥利维尔·伯内兹;瓦利德·戈马;阿默里·波利

关于分段仿射系统有界时间可达性的复杂性。 （英语） Zbl 1393.68065号

Ouaknine，Joöl（编辑）等人，《可达性问题》。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-11438-5/pbk）。计算机科学课堂讲稿8762，20-31（2014）。
MSC公司：65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Bazille}等人，Lect。注释计算。科学。8762，20--31（2014；Zbl 1393.68065）
全文： 内政部
J.布埃斯库。;格拉萨，D.S。;钟，N。

可计算性和动态系统。 （英语） Zbl 1253.37020号

毛里西奥·马托斯（Maurício Matos）等人，《动力学、游戏和科学I.DYNA 2008》，以纪念毛里西奥·佩西奥托和大卫·兰德，葡萄牙布拉加米荷大学，2008年9月8日至12日。根据国际会议上的会谈撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-11455-7/hbk；978-3-442-11456-4/电子书）。《Springer Proceedings in Mathematics》第1期，169-181页（2011年）。
MSC公司：37立方厘米 03天35分 2005年第68季度 03天80
PDF格式BibTeX公司 XML格式引用
\textit{J.Buescu}等人，Springer Proc。数学。1169--181（2011；Zbl 1253.37020）
全文： 内政部 链接
贝拉德、比阿特丽斯;谢尔盖·哈达德

中断时间自动机。 （英语） Zbl 1234.68195号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504197-211（2009）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bérard}和\textit{S.Haddad}，莱克特。注释计算。科学。5504197-211（2009年；Zbl 1234.68195）
全文： 内政部
丹尼尔·格拉萨（Daniel S.Graça）。;豪尔赫·布埃斯库;曼努埃尔·L·坎帕尼奥洛。

对于多项式常微分方程，定义域的有界性是不可判定的。 （英语） 兹比尔1262.34010

Dilhage，R.（ed.）等人，《第四届分析可计算性和复杂性国际会议论文集》（CCA 2007），意大利锡耶纳，2007年6月16日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记202，49-57（2008）。
MSC公司：34甲12 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{D.S.Graça}等人，《电子》。注释Theor。计算。科学。202、49-57（2008；Zbl 1262.34010）
全文： 内政部
伊曼纽尔·海因里

计算线性动力系统中的欧米伽极限集。 （英语） Zbl 1166.68321号

Calude，Cristian S.（编辑）等人，《非常规计算》。2008年8月25日至28日在奥地利维也纳举行的2008年加州大学第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85193-6/pbk）。计算机科学课堂讲稿5204，83-95（2008）。
MSC公司：2005年第68季度 93B25型 93二氧化碳
PDF格式BibTeX公司 XML格式引用
\textit{E.Hainry}，莱克特。注释计算。科学。5204、83-95（2008年；Zbl 1166.68321）
全文： 内政部
纳西·拉姆达尼;纳西姆·梅斯莱姆;伊夫·坎多

使用非线性杂交的不确定非线性系统的可达性。 （英语） Zbl 1144.93303号

Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981415-428（2008）。
MSC公司：93个B03 93立方厘米 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Ramdani}等人，Lect。注释计算。科学。4981、415--428（2008年；Zbl 1144.93303）
全文： 内政部
弗拉基米罗;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦;盖尔·杜勒鲁

STORMED混合动力系统。 （英语） Zbl 1155.68421号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126136-147（2008）。
MSC公司：65年第68季度 03C64号
PDF格式BibTeX公司 XML格式引用
\textit{V.Vladimerou}等人，Lect。注释计算。科学。5126、136--147（2008年；Zbl 1155.68421）
全文： 内政部
拉克希米·马纳萨;桑卡拉·纳拉亚南·克里希纳;库马尔·纳加拉杰

具有加性和对角线约束的可更新时间自动机。 （英语） Zbl 1142.68426号

Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028407-416（2008）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Manasa}等人，Lect。注释计算。科学。5028407--416（2008年；Zbl 1142.68426）
全文： 内政部
伊曼纽尔·海因里

线性动力系统的可达性。 （英语） Zbl 1142.93314号

Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028，241-250（2008）。
MSC公司：93个B05 93二氧化碳 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{E.Hainry}，莱克特。注释计算。科学。5028241--250（2008年；Zbl 1142.93314）
全文： 内政部
奥德·马勒;格雷戈里·巴特

用时间自动机逼近连续系统。 （英语） Zbl 1374.68262号

Jasmin Fisher（编辑），《系统生物学中的形式方法》。第一次国际研讨会，2008年6月4日至5日，英国剑桥，FMSB。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68410-7/pbk）。计算机科学课堂讲稿5054。生物信息学讲义，77-89（2008）。
MSC公司：65年第68季度 37B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{O.Maler}和\textit{G.Batt}，莱克特。注释计算。科学。5054，77-89（2008年；Zbl 1374.68262）
全文： 内政部
克里斯托弗·巴雷特。;亨特，哈里·B·III;马达夫·马拉特。;拉维，S.S。;丹尼尔·罗森克兰茨。;Stearns，Richard E。

有限离散动力系统可达性问题的复杂性。 （英语） Zbl 1119.68095号

J.计算。系统。科学。 72，第8期，1317-1345（2006）.
MSC公司：65年第68季度 37B15号机组 2017年第68季度 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{C.L.Barrett}等人，《计算杂志》。系统。科学。72，第8号，1317--1345（2006；Zbl 1119.68095）
全文： 内政部
文森特·德·布隆德尔。;奥利维尔·伯内兹;帕斯卡·科伊兰;约翰·齐齐克利斯（John N.Tsitsiklis）。

饱和线性动力系统的稳定性是不可判定的。 （英语） Zbl 0995.03033号

J.计算。系统。科学。 62，第3期，442-462（2001）.
审核人：Messoud Efendiev（柏林）
MSC公司：03天35分 93D20型 03天10分
PDF格式BibTeX公司 XML格式引用
\textit{V.D.Blondel}等人，J.Compute。系统。科学。62，第3号，442--462（2001；Zbl 0995.03033）
全文： 内政部
奥利维尔·伯内兹

分段常微分系统计算能力的一些界。 （英语） Zbl 1401.68076号

Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。《计算机科学讲义》1256143-153（1997）。
MSC公司：2005年第68季度 03D55号 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Bournez}，莱克特。注释计算。科学。1256143-153（1997年；Zbl 1401.68076）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件