×

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

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

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

第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，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）
全文： DOI程序 哈尔
尼古拉斯·巴塞特;尤金·亚萨林

瘦时间正则语言和厚时间正则语言。 （英语） Zbl 1348.68091号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，113-128（2011）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Basset}和\textit{E.Asarin}，莱克特。注释计算。科学。6919、113--128（2011年；Zbl 1348.68091）
全文： DOI程序 链接
尤金·亚萨林;奥尔德里克·德戈尔

正则时间语言的体积和熵：离散化方法。 （英语） Zbl 1254.68128号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，69-83（2009）。
MSC公司：65年第68季度 68问题30
PDF格式BibTeX公司 XML格式引用
\textit{E.Asarin}和\textit{A.Degorre}，莱克特。注释计算。科学。5710、69-83（2009年；Zbl 1254.68128）
全文： DOI程序
尤金·亚萨林;奥德·马勒

关于动力系统和过渡系统之间的一些关系。 （英语） Zbl 1418.68088号

Abiteboul，Serge（编辑）等人，自动机，语言和编程。1994年7月11日至14日，以色列耶路撒冷，第21届国际学术讨论会，ICALP’94。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。820, 59-72 (1994).
MSC公司：2005年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Asarin}和\textit{O.Maler}，莱克特。注释计算。科学。820、59-72（1994年；Zbl 1418.68088）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件