阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;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) 全文: 内政部 哈尔
尤金·亚萨林;迈索尔(Mysore)、文卡特斯(Venkatesh P.)。;阿米尔·普努利;杰拉尔多·施奈德 低维混合系统——可判定、不可判定、未知。 (英语) 兹比尔1279.68127 Inf.计算。 211, 138-159 (2012).MSC公司:65年第68季度 2005年第68季度 37B99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,《信息计算》。211、138--159(2012;Zbl 1279.68127) 全文: 内政部
尤金·亚萨林;佩斯,戈登;杰拉尔多·施奈德;塞尔吉奥·尤文 多边形混合系统的算法分析。二: 相位图和工具。 (英语) Zbl 1134.68026号 西奥。计算。科学。 390,编号1,1-26(2008).MSC公司:65年第68季度 34A60型 60年第68季度 93个B05 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Theor。计算。科学。390,编号1,1--26(2008;Zbl 1134.68026) 全文: 内政部
尤金·亚萨林;杰拉尔多·施奈德;塞尔吉奥·尤文 计算多边形微分包裹体的相图。 (英语) Zbl 1054.93030号 Tomlin,Claire J.(编辑)等人,《混合系统:计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43321-X)。莱克特。注释计算。科学。2289, 49-61 (2002). 审核人:Do Van Luu(河内) MSC公司:93立方 93个B05 65年第68季度 34C07(二氧化碳) 34A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Lect。注释计算。科学。2289、49-61(2002年;Zbl 1054.93030) 全文: 链接
尤金·亚萨林;奥德·马勒 尽快:时间自动机的时间最优控制。 (英语) Zbl 0952.93064号 Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569, 19-30 (1999). 审核人:S.G.Tzafestas(雅典) MSC公司:93立方 49号05 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}和\textit{O.Maler},莱克特。注释计算。科学。1569、19-30(1999年;Zbl 0952.93064)
尤金·亚萨林;奥德·马勒 关于动力系统和过渡系统之间的一些关系。 (英语) 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) 全文: 内政部