×

找到540个文档（结果1-100）

最新 引文 关联
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;Thao Dang先生

参数定时正则表达式的模式匹配和参数识别。 （英语） Zbl 07807955号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第14号论文，第13页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Mambakam}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第14号论文，第13页（2023；Zbl 07807955）
全文： 内政部 哈尔
斯文·齐亚德克;乌里·法伦贝格;菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier）

能源Büchi问题。 （英语） Zbl 1529.68138号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 222-239 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Dziadek}等人，莱克特。注释计算。科学。14000，222--239（2023；Zbl 1529.68138）
全文： 内政部 arXiv公司
克里斯托弗·比肖宾克;奥尔德罗格（Ernst-Rüdiger Olderog）

公路交通的空间和时间特性。 （英语） 兹伯利07719828

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 114-131 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Bischopink}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。13572，114--131（2022；Zbl 07719828）
全文： 内政部
Bose，Sougata公司;托马斯·亨辛格（Thomas A.Henzinger）。;卡罗琳娜·莱赫蒂宁;斯文·舍韦;帕特里克·托茨克

历史确定的时间自动机是不可确定的。 （英语） Zbl 07714977号

Lin，Anthony W.（编辑）等人，《可达性问题》。第16届国际会议，RP 2022，德国凯泽斯劳滕，2022年10月17日至21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13608, 67-76 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Bose}等人，Lect。注释计算。科学。13608，67-76（2022；Zbl 07714977）
全文： 内政部 哈尔
徐润清;安、杰;詹伯华

基于约束求解的单时钟时间自动机主动学习。 （英语） Zbl 1522.68288号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 249-265 (2022).
MSC公司：65年第68季度 第68季度32
PDF格式BibTeX公司 XML格式引用
\textit{R.Xu}等人，Lect。注释计算。科学。13505249--265（2022；Zbl 1522.68288）
全文： 内政部 arXiv公司
唐晓晨;沈伟;张苗苗;安、杰;詹伯华;詹乃军

通过变异测试学习确定性单时钟时间自动机。 （英语） Zbl 1522.68286号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 233-248 (2022).
MSC公司：65年第68季度 第68季度32 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Tang}等人，Lect。注释计算。科学。13505233-248（2022年；Zbl 1522.68286）
全文： 内政部
彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen

蒙特卡罗树搜索定价时间自动机。 （英语） Zbl 1522.68273号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479381-398（2022年）。
MSC公司：65年第68季度 68T20型 90B35型
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13479，381--398（2022；Zbl 1522.68273）
全文： 内政部 链接
奥尔德罗格（Ernst-Rüdiger Olderog）;伯恩哈德·斯特芬;易、王

模型检查、综合和学习。 （英语） Zbl 1522.68339号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 1-7 (2022).
MSC公司：60年第68季度 第68季度32 65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{E.-R.Olderog}等人，Lect。注释计算。科学。13030，1--7（2022；Zbl 1522.68339）
全文： 内政部
詹姆斯·C·A·梅因（James C.A.Main）。;米凯尔·兰多尔;杰里米·斯普洛斯顿

有界窗口奇偶目标的定时游戏。 （英语） 兹伯利07643434

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 165-182 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.C.A.Main}等人，Lect。注释计算。科学。13465，165--182（2022；Zbl 07643434）
全文： 内政部 arXiv公司
苏里亚·西特加·德苏;阿努巴夫·斯利瓦斯塔瓦;M.V.Panduranga Rao

纠缠交换的模型检查。 （英语） Zbl 07643430号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 98-114 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.S.T.Desu}等人，Lect。注释计算。科学。13465，98-114（2022；Zbl 07643430）
全文： 内政部
托马斯·莫勒·格罗森;肖恩·考夫曼;金·古德斯特兰·拉森;马丁·齐默尔曼

监视定时属性（已重新访问）。 （英语） Zbl 07643427号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 43-62 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.M.Grosen}等人，Lect。注释计算。科学。13465，43-62（2022；Zbl 07643427）
全文： 内政部 arXiv公司
帕特里夏·鲍耶;保罗·加斯丁;弗雷德里克·赫布雷托;奥坎·桑库尔;Srivathsan，B。

时间自动机的分区验证：外推、模拟和下一步？ （英语） Zbl 07643426号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 16-42 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。13465，16-42（2022；Zbl 07643426）
全文： 内政部 arXiv公司
小川，瑞仁;亚历山大·奥霍金

事件块输入驱动下推自动机的确定。 （英语） Zbl 07615742号

库利科夫，亚历山大·S（编辑）等人，《计算机科学——理论与应用》。第17届俄罗斯国际计算机科学研讨会，CSR 2022，虚拟活动，2022年6月29日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13296, 256-268 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Ogawa}和\textit{A.Okhotin}，莱克特。注释计算。科学。13296256-268（2022；Zbl 07615742）
全文： 内政部 arXiv公司
亚历杭德罗·格雷兹;菲利普·马佐维耶基;Micha Pilipczuk;加布里埃尔，小狗;克里斯蒂安·里维罗斯

时间自动机验收的动态数据结构。 （英语） Zbl 07803598号

Golovach，Petr A.（编辑）等人，第16届参数化和精确计算国际研讨会，IPEC 2021，葡萄牙里斯本，2021年9月8日至10日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。214，第20条，第18页（2021年）。
MSC公司：第68季度25 68年第27季度 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Grez}等人，LIPIcs——莱布尼茨国际程序。通知。214，第20条，第18页（2021；Zbl 07803598）
全文： 内政部
阿克沙伊，S。;布莱斯·基内斯特;海洛伊特，洛伊奇;克里希纳，S。;斯巴萨罗伊乔杜里

定时系统的弹性。 （英语） 兹比尔07799611

Bojañczyk，Mikołaj（编辑）等人，第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。213，第33条，第22页（2021年）。
MSC公司：68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，LIPIcs——莱布尼茨国际程序。通知。213，第33条，第22页（2021；Zbl 07799611）
全文： 内政部
斯巴萨罗伊乔杜里

\（1）玩家随机秒表游戏。 （英语） Zbl 07744960号

Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第17条，第18页（2021年）。
MSC公司：03B44号 60年第68季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Roychowdhury}，LIPIcs——莱布尼茨国际程序。通知。206，第17条，第18页（2021；Zbl 07744960）
全文： 内政部
詹姆斯·C·A·梅因（James C.A.Main）。;米凯尔·兰多尔;杰里米·斯普洛斯顿

看着窗外，时间过得飞快：有窗口平价目标的计时游戏。 （英语） Zbl 07730627号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第25条，第16页（2021年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{J.C.A.Main}等人，LIPIcs——莱布尼茨国际程序。通知。203，第25条，第16页（2021；Zbl 07730627）
全文： 内政部 arXiv公司
阿卜杜拉扎克·阿巴;安娜·卡瓦尔坎蒂;杰里米·雅各布

通过将tock-CSP自动转换为时间自动机进行时间推理。 （英语） Zbl 1498.68147号

Campos，Sérgio（编辑）等人，《形式方法：基础和应用》。第24届巴西研讨会，SBMF 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13130，70-86（2021）。
MSC公司：60年第68季度 65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{A.Abba}等人，Lect。注释计算。科学。13130，70-86（2021；Zbl 1498.68147）
全文： 内政部 arXiv公司
阿克沙伊，S。;保罗·加斯丁;卡提克·R·普拉卡什。

下推时间自动机可达性的快速区域算法。 （英语） Zbl 1493.68181号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 619-642 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，Lect。注释计算。科学。12759619--642（2021年；Zbl 1493.68181）
全文： 内政部 arXiv公司
埃蒂安·安德烈

模仿者3：超越可判定性的时序参数合成。 （英语） Zbl 1493.68202号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 552-565 (2021).
MSC公司：60年第68季度 65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{埃里·安德烈}，莱克特。注释计算。科学。12759、552--565（2021；Zbl 1493.68202）
全文： 内政部
马多达Nxumalo;Timm，零;斯特凡·格鲁纳

模型检查实时任务可调度性中的聚光灯抽象。 （英语） Zbl 1490.68135号

Laarman，Alfons（编辑）等人，模型检查软件。第27届国际研讨会，SPIN 2021，虚拟活动，2021年7月12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12864, 63-80 (2021).
MSC公司：60年第68季度 68平方米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Nxumalo}等人，Lect。注释计算。科学。12864，63-80（2021；Zbl 1490.68135）
全文： 内政部
雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾布鲁·艾丁（Ebru Aydin Gol）;伊万娜·乔纳

可到达性的时间自动机松弛。 （英语） Zbl 1467.68079号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 291-310 (2021).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Bendík}等人，Lect。注释计算。科学。12651、291--310（2021年；Zbl 1467.68079）
全文： 内政部
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔

基于不确定性能量时间自动机的最优鲁棒控制器综合。 （英语） Zbl 1458.93072号

正式Asp。计算。 33，编号1，3-25（2021）.
MSC公司：93B50个 65年第68季度 68瓦30 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，《正式Asp》。计算。33，编号1，3--25（2021；Zbl 1458.93072）
全文： 内政部 arXiv公司
伊丽莎白·德·玛丽亚;辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨

建模为时间自动机的尖峰神经网络：具有参数学习。 （英语） 兹比尔1530.68086

自然计算。 19，第1期，135-155（2020年）.
MSC公司：2007年第68季度 03B44号 65年第68季度 60年第68季度 68T05型 92B20型 92C20美元
PDF格式BibTeX公司 XML格式引用
\textit{E.De Maria}等人，《自然计算》。19，第1号，135--155（2020；Zbl 1530.68086）
全文： 内政部 arXiv公司 哈尔
安、杰;陈明帅;詹伯华;詹乃军;张苗苗

学习单时钟定时自动机。 （英语） Zbl 1507.68163号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078444-462（2020）。
MSC公司：65年第68季度 第68季度32
PDF格式BibTeX公司 XML格式引用
\textit{J.An}等人，Lect。注释计算。科学。12078、444--462（2020；Zbl 1507.68163）
全文： 内政部 arXiv公司
西蒙·威默;冯·穆提乌斯，约书亚

已验证定时自动机可达性检查的证书。 （英语） Zbl 1507.68200号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 425-443 (2020).
MSC公司：60年第68季度 65年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{S.Wimmer}和\textit{J.von Mutius}，莱克特。注释计算。科学。12078425-443（2020年；兹比尔1507.68200）
全文： 内政部
阿克沙伊，S。;保罗·加斯丁;克里希纳，S。;斯巴萨罗伊乔杜里

重温多下推系统的近似可达性。 （英语） Zbl 1507.68080号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 387-404 (2020).
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，Lect。注释计算。科学。12078、387--404（2020；Zbl 1507.68080）
全文： 内政部 arXiv公司
安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼

定时I/O自动机的随机细化检查。 （英语） Zbl 1502.68184号

Pang，Jun（编辑）等，可靠软件工程。理论、工具和应用。第六届国际研讨会，SETTA 2020，中国广州，2020年11月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12153，70-88（2020年）。
MSC公司：60年第68季度 05C81号 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Kiviriga｝等人，Lect。注释计算。科学。12153，70-88（2020；Zbl 1502.68184）
全文： 内政部 链接
洛伦佐·克莱门特;萨沃米尔·拉索塔;拉多斯·瓦·皮奥科夫斯基

单时钟时间自动机的可确定性。 （英语） Zbl 07559498号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。171，第42条，第17页（2020年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{L.Clemente}等人，LIPIcs——莱布尼茨国际程序。通知。171，第42条，第17页（2020；Zbl 07559498）
全文： 内政部 arXiv公司
Ait Oumeziane，F。;卡拉，R。;阿玛里，S。

使用（max，+）和（min，+）代数对带保护的时间自动机进行形式化分析和控制。 （英语） Zbl 1483.93378号

国际期刊系统。科学。，普林克。申请。系统。集成。 51，第11号，2041-2056（2020）.
MSC公司：93元65角 93B25型 15A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.Ait Oumeziane}等人，国际期刊系统。科学。，普林克。申请。系统。集成。51，第11号，2041--2056（2020；Zbl 1483.93378）
全文： 内政部
西蒙·威默;弗雷德里克·赫布雷托;雅各布·范德波尔

证明定时Büchi自动机的空性。 （英语） Zbl 07317090号

Bertrand，Nathalie（编辑）等，时间系统的形式化建模和分析。第18届国际会议，FORMATS 2020，奥地利维也纳，2020年9月1日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12288, 58-75 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Wimmer}等人，Lect。注释计算。科学。12288，58-75（2020；Zbl 07317090）
全文： 内政部 arXiv公司 链接
克劳迪奥·蒙吉;马尔塞洛·贝尔萨尼。;罗西，马蒂奥;Pierluigi San彼得罗

基于时间自动机的模型检验MITL公式。基于逻辑的方法。 （英语） Zbl 1446.68095号

ACM事务处理。计算。日志。 21，第3号，第26条，第44页（2020年）.
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Menghi}等人，ACM Trans。计算。日志。21，第3号，第26条，第44页（2020年；Zbl 1446.68095）
全文： 内政部
弗雷德里克·赫布雷托;Srivathsan，B。;Tran，Thanh-Tung镇;伊戈尔·瓦卢基维奇

为什么时间自动机的活性很难，以及我们能做些什么。 （英语） Zbl 1446.68068号

ACM事务处理。计算。日志。 21，第3号，第17条，28页（2020年）.
MSC公司：2017年第68季度 第68季度25 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Herbreteau}等人，ACM翻译。计算。日志。21，第3号，第17条，第28页（2020年；Zbl 1446.68068）
全文： 内政部 链接
马丁·科尔布尔;斯特凡·洛伊;托马斯·怀斯

定时系统的时钟限制修复。 （英语） Zbl 07805527号

Dillig，Isil（编辑）等人，《计算机辅助验证》。第31届国际会议，CAV 2019，美国纽约市，2019年7月15日至18日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 79-96 (2019).
MSC公司：60年第68季度 65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.Kölbl}等人，Lect。注释计算。科学。11561、79-96（2019年；Zbl 07805527）
全文： 内政部
保罗·加斯丁;赛扬·穆克吉;Srivathsan，B。

时间自动机中处理对角约束的快速算法。 （英语） Zbl 07805525号

Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 41-59 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Gastin｝等人，Lect。注释计算。科学。11561，41-59（2019；Zbl 07805525）
全文： 内政部 arXiv公司
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆

控制密集时间域上基于时间线的规划的复杂性。 （英语） Zbl 1528.68359号

Chattopadhyay，Arkadev（ed.）等人，第39届IARCS软件技术和理论计算机科学基础年会，2019年12月11-13日，印度孟买，FSTTCS 2019。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。150，第34条，第14页（2019年）。
MSC公司：68T20型 2017年第68季度 第68季度25 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。150，第34条，第14页（2019年；Zbl 1528.68359）
全文： 内政部
何希明;周若瑜;蒂莫西·琼斯。

验证定时超属性时。 （英语） Zbl 1515.68182号

Gamper，Johann（编辑）等人，第26届时间表征和推理国际研讨会，《时代》2019年。2019年10月16日至19日，西班牙马拉加。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。147，第20条，第18页（2019）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.-M.Ho｝等人，LIPIcs——莱布尼茨国际期刊。通知。147，第20条，第18页（2019年；Zbl 1515.68182）
全文： 内政部 arXiv公司
R.戈文德。;弗雷德里克·赫布雷托;Srivathsan，B。;伊戈尔·瓦卢基维奇

重温时间自动机网络的局部时间语义。 （英语） Zbl 07649924号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第16条，第15页（2019年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{R.Govind}等人，LIPIcs——莱布尼茨国际程序。通知。140，第16条，第15页（2019年；Zbl 07649924）
全文： 内政部 arXiv公司
洛伦佐·克莱门特;彼得·霍夫曼;帕特里克·托茨克

定时基本并行进程。 （英语） Zbl 07649923号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第15条，第16页（2019）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{L.Clemente}等人，LIPIcs——莱布尼茨国际程序。通知。140，第15条，第16页（2019年；Zbl 07649923）
全文： 内政部 arXiv公司
Larsen，Kim G。

随机混合博弈安全、最优和紧凑策略的综合（特邀论文）。 （英语） Zbl 07649910号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第2条，第5页（2019年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}，LIPIcs——莱布尼茨国际程序。通知。140，第2条，第5页（2019年；Zbl 07649910）
全文： 内政部
阿姆诺·罗森曼

关于时间自动机之间的距离。 （英语） Zbl 1434.68287号

André，Étienne（编辑）等人，定时系统的形式建模和分析。2019年8月27日至29日，荷兰阿姆斯特丹，第17届国际会议，FORMATS 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11750, 199-215 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Rosenmann}，莱克特。注释计算。科学。11750、199-215（2019年；Zbl 1434.68287）
全文： 内政部 arXiv公司
阿姆诺·罗森曼

时间自动机的时间戳。 （英语） Zbl 1434.68286号

安德烈，埃蒂安（编辑）等，时间系统的形式化建模和分析。2019年8月27日至29日，荷兰阿姆斯特丹，第17届国际会议，FORMATS 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11750, 181-198 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Rosenmann}，莱克特。注释计算。科学。11750、181--198（2019年；Zbl 1434.68286）
全文： 内政部 arXiv公司
Masaki Waga

半环值加权自动机在线定量时间模式匹配。 （英语） Zbl 1434.68695号

安德烈，埃蒂安（编辑）等，时间系统的形式化建模和分析。2019年8月27日至29日，荷兰阿姆斯特丹，第17届国际会议，FORMATS 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11750, 3-22 (2019).
MSC公司：68周27 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Waga}，莱克特。注释计算。科学。11750，3--22（2019年；Zbl 1434.68695）
全文： 内政部 arXiv公司
埃蒂安·安德烈;劳伦·弗里堡;Jean-Marc的Mota;罗曼·苏拉特

使用抽象和参数模型检查验证工业异步领导者选举算法。 （英语） Zbl 1522.68293号

Enea，Constantin（编辑）等人，《验证、模型检查和抽象解释》。第20届国际会议，2019年VMCAI，葡萄牙卡斯卡伊斯，2019年1月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11388, 409-424 (2019).
MSC公司：60年第68季度 68M10个 64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。11388、409--424（2019年；Zbl 1522.68293）
全文： 内政部 arXiv公司
埃蒂安·安德烈;杰瑞，贾维尔;萨哈尔·姆希里

Time4sys2imi：一种工具，用于形式化不确定性下的实时系统模型。 （英语） Zbl 07142672号

Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 113-123 (2019).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。11884、113-123（2019；Zbl 07142672）
全文： 内政部 arXiv公司
洛伦佐·克莱门特;萨沃米尔·拉索塔;兰科·拉齐奇;菲利普·马佐维耶基

时间寄存器下推自动机和分支向量加法系统的二进制可达性。 （英语） Zbl 1433.68194号

ACM事务处理。计算。日志。 第20条第3款第14条第31页（2019年）.
MSC公司：65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{L.Clemente}等人，ACM Trans。计算。日志。20，第3号，第14条，第31页（2019年；Zbl 1433.68194）
全文： 内政部 链接
Masaki Waga;一郎·哈索

海报摘要：Moore-machine定时和非定时模式匹配过滤。 （英语） 兹伯利07120169

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。272-273 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Waga}和\textit{I.Hasuo}，in：第22届ACM混合系统国际会议论文集：计算和控制，HSCC 2019，加拿大魁北克蒙特利尔，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。272--273（2019；Zbl 07120169）
全文： 内政部
何希明

使用自动机模式重新访问定时逻辑。 （英语） Zbl 07120142号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。67-76 (2019).
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛H.-M.Ho｝，在：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16日至18日。纽约州纽约市：计算机协会（ACM）。67-76（2019年；Zbl 07120142）
全文： 内政部 arXiv公司 链接
达米安·巴斯托·加斯顿;本杰明·蒙梅格;皮埃尔·阿莱·雷尼尔

加权时间游戏的符号近似。 （英语） Zbl 1528.68178号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。122，第28条，第16页（2018年）。
MSC公司：65年第68季度 91A50型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{D.Busatto-Gaston}等人，LIPIcs——莱布尼茨国际程序。通知。122，第28条，第16页（2018；Zbl 1528.68178）
全文： 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;桑卡拉·纳拉亚南·克里希纳;Shaan Vaidya

验证定时异步程序。 （英语） Zbl 1528.68075号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。122，第8条，第16页（2018年）。
MSC公司：68号30 2017年第68季度 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，LIPIcs——莱布尼茨国际程序。通知。122，第8条，第16页（2018；Zbl 1528.68075）
全文： 内政部
刘易斯·托洛宁;法语，蒂姆;马克·雷诺兹

基于人口的方法优化时间自动机的无限行为。 （英语） Zbl 1487.68217号

Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。120，第22条，第22页（2018年）。
MSC公司：68T20型 65年第68季度 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{L.Tolonen}等人，LIPIcs——莱布尼茨国际程序。通知。120，第22条，22 p.（2018；Zbl 1487.68217）
全文： 内政部
F.塔姆萨乌埃。;阿玛里，S。

使用带保护和（max，+）代数的时间自动机对网络控制系统进行建模和时间评估。 （英语） Zbl 1482.93235号

国际期刊系统。科学。，普林克。申请。系统。集成。 49，第10号，2073-2088（2018）.
MSC公司：93磅70 93元65角 93B25型 15A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.Tamssaouet}和\textit{S.Amari}，国际期刊系统。科学。，普林克。申请。系统。集成。49，第10号，2073--2088（2018；Zbl 1482.93235）
全文： 内政部
马西莫·巴托莱蒂;劳拉·博奇;莫里齐奥·穆尔吉亚

CTA的进步保留改进。 （英语） Zbl 1520.68087号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。118，第40条，第19页（2018年）。
MSC公司：第68季度85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，LIPIcs——莱布尼茨国际程序。通知。118，第40条，第19页（2018；Zbl 1520.68087）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件