×

找到30766份文件（结果1-100）

最新 引文 关联
克莱门斯·休伯格;丹尼尔·克伦;加布里埃尔·F·利普尼克。

关于可识别序列和正则序列之间的关系及其最小线性表示的注记。 （英语） Zbl 07799842号

J.塞姆。计算。 123，文章ID 102295，9 p.（2024）.
审核人：米歇尔·里戈（Liège）
MSC公司：11A63型 65年第68季度 68卢比 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{C.Heuberger}等人，J.Symb。计算。123，文章ID 102295，9 p.（2024；Zbl 07799842）
全文： 内政部 arXiv公司
劳拉·乔巴努;亚历克斯·莱文;艾伦·D·洛根。

双曲群和虚幂零群的Post对应问题。 （英语） Zbl 07798504号

牛市。伦敦。数学。Soc公司。 56，第1号，159-175（2024）.
审核人：Egle Bettio（威尼斯）
MSC公司：2010年1月20日 2019年1月20日 20楼67 2005年5月20日 68兰特 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛L.Ciobanu｝等人，公牛。伦敦。数学。Soc.56，No.1，159--175（2024；Zbl 07798504）
全文： 内政部 arXiv公司
OA许可证
马可·T·莫拉赞。

基于编程的形式语言和自动机理论。设计、实施、验证和证明。 （英语） 兹伯利07786059

计算机科学课文查姆：施普林格（ISBN 978-3-031-43972-8/hbk；978-3-331-43975-9/pbk；978-1-031-43973-5/电子书）。第二十三章，第524页。（2024年）。
MSC公司：68-01 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.T.Morazán}，基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆：施普林格（2024；Zbl 07786059）
全文： 内政部
曼苏尔·齐亚季诺夫;阿利亚·卡迪埃娃;亚卡里·马茨，阿布泽尔

量子有限自动机浅层实现的GAP。 （英语） Zbl 07828955号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386269-280（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Ziatdinov}等人，《电子》。程序。西奥。计算。科学。（EPTCS）386，269--280（2023；Zbl 07828955）
全文： 内政部 arXiv公司
比安卡·特鲁特

在树控制语法中，严格的本地可测试和资源限制控制语言。 （英语） 兹伯利07828954

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386253-268（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Truthe}，电子。程序。西奥。计算。科学。（EPTCS）386253-268（2023；Zbl 07828954）
全文： 内政部 arXiv公司
尼古拉斯·特兰

用Horner自动机将单词从每个开始状态中分离出来。 （英语） Zbl 07828953号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386243-252（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Tran}，电子。程序。西奥。计算。科学。（EPTCS）386243--252（2023；Zbl 07828953）
全文： 内政部 arXiv公司
杰弗里·沙利特;Shan、Sonja Linghui

通过自动机理论证明斐波那契表示性质的一般方法。 （英语） Zbl 07828952号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386228-242（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Shallit}和\textit{S.L.Shan}，电子。程序。西奥。计算。科学。（EPTCS）386228--242（2023；Zbl 07828952）
全文： 内政部 arXiv公司
乔瓦尼·皮奇奇尼;卢卡·普里吉奥尼埃罗

Once-marking和always-marking 1-有限自动机。 （英语） 兹伯利07828951

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386215-227（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Pighizini}和\textit{L.Prigioniero}，电子。程序。西奥。计算。科学。（EPTCS）386、215-227（2023年；Zbl 07828951）
全文： 内政部 arXiv公司
安德烈亚·特奥多拉·纳什

借助于无二义性求解加权HOM问题。 （英语） Zbl 07828950号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386200-214（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.-T.Nász}，电子。程序。西奥。计算。科学。（EPTCS）386200--214（2023；Zbl 07828950）
全文： 内政部 arXiv公司
吉木中村;龙马Sin'ya

具有可变补码的语言Kleene代数的字到字母估值。 （英语） Zbl 07828949号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386185-199（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Nakamura}和\textit{R.Sin'ya}，电子。程序。西奥。计算。科学。（EPTCS）386185-199（2023年；Zbl 07828949）
全文： 内政部 arXiv公司
贝内德克·纳吉

半透明字母的状态确定有限自动机和半透明字母非确定的有限自动机。 （英语） Zbl 07828948号

Gazdag，Zsolt（编辑）等人，第16届自动机和形式语言国际会议论文集，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386170-184（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Nagy}，电子。程序。西奥。计算。科学。（EPTCS）386170--184（2023年；Zbl 07828948）
全文： 内政部 arXiv公司
安德烈亚斯·马莱蒂;纽伦堡，尼尔斯·奥斯卡尔

可识别加权语言的泵入引理阿提尼安人半环。 （英语） 兹伯利07828947

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386155-169（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Maletti}和\textit{N.O.Nuernbergk}，电子。程序。西奥。计算。科学。（EPTCS）386155--169（2023；Zbl 07828947）
全文： 内政部 arXiv公司
马丁·库特里布;安德烈亚斯·马尔彻

可逆两部分计算。 （英语） Zbl 07828946号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386142-154（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，电子。程序。西奥。计算。科学。（EPTCS）386142--154（2023；Zbl 07828946）
全文： 内政部 arXiv公司
马库斯·霍尔泽;劳赫，基督徒

正则语言的最小泵送常数。 （英语） Zbl 07828945号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386127-141（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Holzer}和\textit{C.Rauch}，电子。程序。西奥。计算。科学。（EPTCS）386127--141（2023；Zbl 07828945）
全文： 内政部 arXiv公司
纳塔利亚·格里博夫斯卡娅;伊琳娜Virbitskaite

考虑原因的可逆主事件结构的比较转换系统语义。 （英语） Zbl 07828944号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386112-26（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Gribovskaya}和\textit{I.Virbitskaite}，电子。程序。西奥。计算。科学。（EPTCS）386112--126（2023；Zbl 07828944）
全文： 内政部 arXiv公司
亨宁费尔瑙;拉克希曼·库普萨米;因杜马提·拉曼

当明星控制语法的工作时。 （英语） Zbl 07828943号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38696-111（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}等人，《电子》。程序。西奥。计算。科学。（EPTCS）386，96--111（2023；Zbl 07828943）
全文： 内政部 arXiv公司
Szilárd Zsolt的Fazekas;Shinnosuke Seki公司

冻结带状态的单标签系统。 （英语） Zbl 07828942号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38682-95（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Z.Fazekas}和\textit{S.Seki}，电子。程序。西奥。计算。科学。（EPTCS）386，82--95（2023；Zbl 07828942）
全文： 内政部 arXiv公司
Nada Damljanović;米罗斯拉夫·奇里奇;伊格尼亚托维奇（Jelena Ignjatović）

向量空间上的加权自动机。 （英语） Zbl 07828941号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38667-81（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Damljanović}等人，《电子》。程序。西奥。计算。科学。（EPTCS）386，67--81（2023；Zbl 07828941）
全文： 内政部 arXiv公司
米罗斯拉夫·奇·伊里奇;伊万娜·米奇;斯坦尼米罗维奇，斯特凡;阮林安

模糊有限自动机的近似状态约简。 （英语） Zbl 07828940号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）38651-66（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.ch irić}等人，《电子》。程序。西奥。计算。科学。（EPTCS）386，51--66（2023；Zbl 07828940）
全文： 内政部 arXiv公司
杰森·贝尔;丹尼尔·斯默丁格;埃利斯·塔姆

与左商和右商相关的格的对偶性。 （英语） Zbl 07828939号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386，35-50（2023年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Bell}等人，《电子》。程序。西奥。计算。科学。（EPTCS）386，35--50（2023；Zbl 07828939）
全文： 内政部 arXiv公司
埃琳娜·巴库奇;安东尼奥·贝尔尼尼;斯特凡诺·比洛塔;伦佐·平扎尼

变维强非重叠矩阵的构造。 （英语） Zbl 07828938号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386，25-34（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Barcucci}等人，《电子》。程序。西奥。计算。科学。（EPTCS）386，25--34（2023；Zbl 07828938）
全文： 内政部 arXiv公司
维克托·米特拉纳;佩恩，米哈拉

关于定义非正则语言的一些模型的扩展程度。 （英语） Zbl 07828937号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386，12-24（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.密特拉纳}和\textit{M.普昂}，电子。程序。西奥。计算。科学。（EPTCS）386，12--24（2023；Zbl 07828937）
全文： 内政部 arXiv公司
加琳娜·吉尔亚斯科娃

布尔和交替有限自动机上的运算。 （英语） 兹伯利07828935

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386，3-10（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Jirásková}，电子。程序。西奥。计算。科学。（EPTCS）386，3-10（2023；Zbl 07828935）
全文： 内政部 arXiv公司
Sicheol Sung公司;Ko，Sang Ki先生;Han、Yo-Sub

编译正则表达式的较小表示形式。 （英语） Zbl 07810942号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 290-301 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Sung}等人，Lect。注释计算。科学。14151、290--301（2023；Zbl 07810942）
全文： 内政部
龙马Sin'ya

测量泛化确定性语言的能力。 （英语） Zbl 07810941号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 278-289 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Sin'ya}，莱克特。注释计算。科学。14151/278-289（2023年；兹比尔07810941）
全文： 内政部
杰弗里·沙利特;安纳托利·扎维亚洛夫

自动序列的转换和应用。 （英语） Zbl 07810940号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 266-277 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Shallit}和\textit{A.Zavyalov}，莱克特。注释计算。科学。14151、266至277（2023年；兹比尔07810940）
全文： 内政部 arXiv公司
乔瓦尼·皮奇奇尼;卢卡·普里吉奥尼埃罗

双向机器和de Bruijn单词。 （英语） Zbl 07810939号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 254-265 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Pighizini}和\textit{L.Prigioniero}，莱克特。注释计算。科学。14151，254--265（2023；Zbl 07810939）
全文： 内政部
奥尔加·马蒂诺娃;亚历山大·奥霍金

是扔石头的时候了。 （英语） Zbl 07810938号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 242-253 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Martynova}和\textit{A.Okhotin}，莱克特。注释计算。科学。14151、242--253（2023；Zbl 07810938）
全文： 内政部
塞巴斯蒂安·马内斯;马丁·乌

决定是否可以通过自顶向下的传感器实现属性化翻译。 （英语） Zbl 07810937号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 230-241 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Maneth}和\textit{M.Vu}，莱克特。注释计算。科学。14151、230--241（2023；Zbl 07810937）
全文： 内政部 arXiv公司
安德烈亚斯·马莱蒂;安德烈亚·特奥多拉·纳什

加权的自下而上和自上而下树转换是无与伦比的。 （英语） Zbl 07810936号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 218-229 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Maletti}和\textit{A.-T.Nász}，莱克特。注释计算。科学。14151、218--229（2023；Zbl 07810936）
全文： 内政部
凯文·洛茨;米贾·库尔琴斯基;德克·诺沃特卡;波尔森，丹尼·博格斯特德;安德斯·施利奇特克鲁尔

验证验证：Isabelle中字符串的SMT-LIB。 （英语） Zbl 07810935号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 206-217 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Lotz}等人，Lect。注释计算。科学。14151，206-217（2023；Zbl 07810935）
全文： 内政部
马丁·库特里布

清除输入驱动的下推自动机。 （英语） Zbl 07810934号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 194-205 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}，莱克特。注释计算。科学。14151、194-205（2023；Zbl 07810934）
全文： 内政部
Shmuel T.克莱恩。;达纳·夏皮拉

增强型三值斐波那契码。 （英语） Zbl 07810933号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 179-193 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.T.Klein}和\textit{D.Shapira}，莱克特。注释计算。科学。14151、179--193（2023；Zbl 07810933）
全文： 内政部
井上，Yusuke;桥本，Kenji;弘久世奇（Hiroyuki Seki）

什么时候可以区分上下文自由和规则？帕里赫定理的推广。 （英语） 兹伯利07810932

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 166-178 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Inoue｝等人，Lect。注释计算。科学。14151、166--178（2023；Zbl 07810932）
全文： 内政部
米查尔·霍斯波达尔;加琳娜·吉尔亚斯科娃

次区域类别的操作复杂性。 （英语） Zbl 07810931号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 153-165 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hospodár}和\textit{G.Jirásková}，Lect。注释计算。科学。14151，153--165（2023；Zbl 07810931）
全文： 内政部
忠赫·哈恩;Cheon、Hyunjoon;Han、Yo-Sub

\三元字母表上Parikh矩阵的（M）等价。 （英语） Zbl 07810930号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，北塞浦路斯法马古斯塔，2023年9月19日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 141-152 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Hahn}等人，Lect。注释计算。科学。14151、141--152（2023；Zbl 07810930）
全文： 内政部
赫尔曼·格鲁伯;马库斯·霍尔泽;克里斯蒂安·劳赫

正则语言的泵引理很难。 （英语） Zbl 07810929号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 128-140 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Gruber}等人，Lect。注释计算。科学。14151，128--140（2023；Zbl 07810929）
全文： 内政部
斯齐拉德·兹索尔特·法泽卡斯;罗伯特·梅尔卡什

重新审视扫掠复杂性。 （英语） Zbl 07810928号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 116-127 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Z.Fazekas}和\textit{R.Mercaš}，莱克特。注释计算。科学。14151、116--127（2023；Zbl 07810928）
全文： 内政部 arXiv公司
萨宾·布罗达;安东尼奥·马基雅维罗;内尔玛·莫雷拉;罗杰里奥·里斯

同步洗牌表达式偏导数的平均复杂度。 （英语） Zbl 07810927号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，北塞浦路斯法马古斯塔，2023年9月19日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 103-115 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Broda}等人，Lect。注释计算。科学。14151，103-115（2023；Zbl 07810927）
全文： 内政部
伯纳德·博伊格洛特;帕斯卡·方丹;巴普蒂斯特·韦尔盖因

自动机上的通用一阶量化。 （英语） Zbl 07810926号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 91-102 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Boigelot}等人，Lect。注释计算。科学。14151，91-102（2023；Zbl 07810926）
全文： 内政部 arXiv公司 链接
瓦茨拉夫·布拉泽;Janoušek，扬;普拉奇、什蒂·潘

关于有限树自动机的最小同步项。 （英语） Zbl 07810925号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 79-90 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Blaíej}等人，Lect。注释计算。科学。14151，79-90（2023；Zbl 07810925）
全文： 内政部
萨米拉·阿图;卢多维奇·米格诺;Clément Miklarz;尼卡特，佛罗伦萨

受约束的多波浪线。 （英语） Zbl 07810924号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，北塞浦路斯法马古斯塔，2023年9月19日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 66-78 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Attou}等人，Lect。注释计算。科学。14151，66-78（2023；Zbl 07810924）
全文： 内政部
安东尼奥·塞拉利;约阿希姆·尼伦

确定性逐步对冲自动机的最早查询应答。 （英语） Zbl 07810923号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 53-65 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Al Serhali}和\textit{J.Niehren}，莱克特。注释计算。科学。14151，53-65（2023；Zbl 07810923）
全文： 内政部
弗里德里希·奥托

半透明字母自动机综述。 （英语） Zbl 07810922号

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 21-50 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Otto}，莱克特。注释计算。科学。14151，21--50（2023；Zbl 07810922）
全文： 内政部
维利亚姆·格弗特

二进制编码的一元正则语言。 （英语） 兹伯利07810921

Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14151, 3-20 (2023).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Geffert}，莱克特。注释计算。科学。14151，3--20（2023；Zbl 07810921）
全文： 内政部
保罗·巴拉里尼;马哈茂德·本特里奥;保罗·亨里·库内德

一种形式化的随机振荡器调谐方法。 （英语） Zbl 07810880号

Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，卢森堡，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14137, 1-17 (2023).
MSC公司：92B25型 92立方厘米 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Ballarini｝等人，Lect。注释计算。科学。14137，1-17（2023；Zbl 07810880）
全文： 内政部
坦马·坎代特;Chandratre，阿尼鲁德;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯

演示摘要：在微软飞行模拟器上通过伪造分析CPS安全性。 （英语） Zbl 07807971号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第30号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Khandait}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第30号论文，第2页（2023；Zbl 07807971）
全文： 内政部
阿什瓦尼·阿南德;纳亚克、萨蒂亚·普拉卡什;安妮·凯瑟琳·施穆克

海报摘要：战略调整的许可性。 （英语） Zbl 07807970号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第29号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Anand}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第29号论文，第2页（2023；Zbl 07807970）
全文： 内政部
鲁帕克·马朱姆达尔;考希·马利克;马特乌斯·里奇里基;安妮·凯瑟琳·施穆克;萨代赫·苏贾尼

海报摘要：用于加速符号控制的工具链。 （英语） 兹伯利07807969

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第28号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。论文编号28，第2页（2023；Zbl 07807969）
全文： 内政部
卢卡斯·内维斯·埃吉迪奥;纳亚克、萨蒂亚·普拉卡什;罗萨、马蒂奥·德拉;安妮·凯瑟琳·施穆克;拉斐尔·荣格斯

海报摘要：迈向混合控制的无缝反应。 （英语） Zbl 07807968号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第27号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.N.Egidio}等人，《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第27号论文，第2页（2023；Zbl 07807968）
全文： 内政部
安德烈亚·佩鲁福;Manuel jun，马祖。

海报：ReLU网络的凸场景优化。 （英语） Zbl 07807967号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第26号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛A.Peruffo｝和\textit｛M.Mazo jun.｝，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。第26号论文，第2页（2023；Zbl 07807967）
全文： 内政部
何其恒;Ilyes，罗兰;桑伯格，扎卡里;莫特萨·拉希贾尼安

海报摘要：基于采样的方法，用于不确定复杂系统的鲁棒STL综合。 （英语） Zbl 07807966号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第25号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Q.H.Ho}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第25号论文，第2页（2023；Zbl 07807966）
全文： 内政部
鲁亚·卡拉古勒;尼科斯·阿雷奇加;最好的，安德鲁;乔纳森·迪卡斯特罗;内克米耶·奥扎伊

海报摘要：自动驾驶汽车的安全保障偏好学习方法。 （英语） Zbl 07807965号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第24号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{R.Karagulle}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第24号论文，第2页（2023；Zbl 07807965）
全文： 内政部
拉兹，达芙娜;杨利仁;布赖恩·乌姆伯格;内克米耶·奥扎伊

海报摘要：坐姿到站姿期间人体稳定性的可达性和受控不变性。 （英语） Zbl 07807964号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第23号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{D.Raz}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。论文编号23，第2页（2023；Zbl 07807964）
全文： 内政部
奥利弗·舍恩;Van Huijgevoort，Birgit公司;苏菲·海瑟特;萨代赫·苏贾尼

海报摘要：参数随机系统的数据驱动的正确设计控制。 （英语） Zbl 07807963号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第22号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{O.Schön}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第22号论文，第2页（2023；Zbl 07807963）
全文： 内政部 链接
达斯，斯潘丹;帕维特拉·普拉巴卡

海报摘要：平面概率分段常微分系统的稳定性分析。 （英语） Zbl 07807962号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第21号论文，第2页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Das}和\textit{P.Prabhakar}，in：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS-IoT周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第21号论文，第2页（2023；Zbl 07807962）
全文： 内政部
Stephen Chong先生;拉诺特、拉格罗;马西莫·梅罗;蒂妮，西蒙;向、健

网络物理系统传感器攻击的定量稳健性分析。 （英语） Zbl 07807961号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第20号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Chong}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第20号论文，第12页（2023；Zbl 07807961）
全文： 内政部
瓦尔·法塔斯西;海塔姆·凯德;瓦伦·山本;亚瑟·舒克利

Bern-NN：使用Bernstein多项式区间算法的神经网络紧界传播。 （英语） Zbl 07807960号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第19号论文，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{W.Fatnassi}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第19号论文，第11页（2023；Zbl 07807960）
全文： 内政部 arXiv公司
托比亚斯·拉德纳;马蒂亚斯·阿尔霍夫

使用灵敏度分析的神经网络验证中的自动抽象细化。 （英语） Zbl 07807959号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第18号论文，第13页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Ladner}和\textit{M.Althoff}，in：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS-IoT周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第18号论文，第13页（2023；Zbl 07807959）
全文： 内政部 链接
罗、二台;尼古拉斯·科奇杜普尔;斯坦利·巴克

利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 （英语） Zbl 07807958号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Luo}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第17号论文，第12页（2023；Zbl 07807958）
全文： 内政部
巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽

Wordgen：一个定时单词生成工具。 （英语） Zbl 07807957号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第16号论文，第7页（2023；Zbl 07807957）
全文： 内政部 哈尔
Chandratre，阿尼鲁德;托马斯·埃尔南德斯·阿科斯塔;坦马·坎代特;朱利亚·佩德里利;乔治·费内科斯

将窃取攻击形式化为伪造CPS安全性的STL公式。 （英语） Zbl 07807956号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第15号论文，第8页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Chandratre}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第15号论文，第8页（2023；Zbl 07807956）
全文： 内政部
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;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）
全文： 内政部 哈尔
Van Huijgevoort，Birgit公司;奥利弗·舍恩;萨代赫·苏贾尼;苏菲·海瑟特

SySCoRe：通过随机耦合关系进行合成。 （英语） Zbl 07807954号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第13号文件，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Van Huijgevoort}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第13号文件，第11页（2023；Zbl 07807954）
全文： 内政部 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯;莫特萨·拉希贾尼安;Manuel jun，马祖。;卢卡·劳伦蒂

具有连续动作空间的区间马尔可夫决策过程。 （英语） Zbl 07807953号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Delimpaltadakis}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023；Zbl 07807953）
全文： 内政部 arXiv公司
伊本·格拉西亚;迪米特里斯·博斯科斯;卢卡·劳伦蒂;Manuel jun，马祖。

切换随机系统的分布鲁棒策略综合。 （英语） Zbl 07807952号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第11号论文，第10页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{I.Gracia}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第11号论文，第10页（2023；Zbl 07807952）
全文： 内政部 arXiv公司
阿曼·费尔多西;马蒂亚斯·福格尔;托马斯·诺瓦克;乌尔里希·施密德

阈值模式开关ODE和数字电路延迟模型的连续性。 （英语） 兹伯利07807951

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第10号文件，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Ferdowsi}等人，in：第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第10号文件，第11页（2023；Zbl 07807951）
全文： 内政部 arXiv公司
迈赫达德·扎里安;安妮·凯瑟琳·施穆克

基于状态的安全规范的符号输出反馈控制器的延迟综合。 （英语） Zbl 07807950号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第9号论文，第7页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Zareian}和\textit{A.-K.Schmuck}，《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。第9号论文，第7页（2023；Zbl 07807950）
全文： 内政部
弗吉尼亚州德鲍什;Della Rossa，马特奥;拉斐尔·荣格斯

使用附加闭合模板的路径完整稳定性证书的排序特征。 （英语） Zbl 07807949号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第8号论文，第10页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{V.Debauche}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第8号论文，第10页（2023；Zbl 07807949）
全文： 内政部
阿文德·阿迪穆兰;因德拉尼尔·萨哈;Thao Dang先生

基于预计算可达性序列的安全自触发控制。 （英语） 兹伯利07807948

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第7号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Adimoolam}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第7号论文，第12页（2023；Zbl 07807948）
全文： 内政部 哈尔
Tran，Hoang Dung村;Choi、Sung Woo;杨晓东;山口，富古屋;巴德省霍克萨;丹尼尔·普罗霍罗夫

具有星可达性的递归神经网络的验证。 （英语） Zbl 07807947号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第6号论文，第13页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.D.Tran}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第6号论文，第13页（2023；Zbl 07807947）
全文： 内政部
马克·韦兹林格;尼古拉斯·科奇杜普尔;斯坦利·巴克;马蒂亚斯·阿尔霍夫

使用支持函数的可达性分析对线性系统进行全自动验证。 （英语） Zbl 07807946号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第5号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Wetzlinger}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第5号论文，第12页（2023；Zbl 07807946）
全文： 内政部 链接
Tran，黄登;Choi、Sungwoo;冈本秀树;巴德省霍克萨;乔治·费内科斯;丹尼尔·普罗霍罗夫

使用probstars对神经网络进行定量验证。 （英语） Zbl 07807945号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第4号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.-D.Tran}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第4号论文，第12页（2023；Zbl 07807945）
全文： 内政部
古斯塔沃·卡多纳。;迪沙·卡梅尔;克里斯蒂安·瓦西莱

加权信号时序逻辑控制综合的混合整数线性规划方法。 （英语） Zbl 07807944号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第3号论文，第12页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.A.Cardona}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第3号论文，第12页（2023；Zbl 07807944）
全文： 内政部
陈洪凯;斯科特·斯莫尔卡。;尼古拉·保莱蒂;林，珊

基于STL的网络物理系统弹性控制方法。 （英语） Zbl 07807943号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第2号文件，第12页（2023）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{H.Chen}等人，《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第2号文件，第12页（2023；Zbl 07807943）
全文： 内政部 arXiv公司
弗朗西丝卡·凯罗利;尼古拉·保莱蒂;卢卡·博托卢西

随机过程STL需求的保形定量预测监测。 （英语） Zbl 07807942号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第1号论文，第11页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{F.Cairoli}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第1号论文，第11页（2023；Zbl 07807942）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件