×

找到139个文档（结果1–100）

最新的 引文 关联
凯文·洛茨；米贾·库尔琴斯基；德克·诺沃特卡；丹尼·鲍尔森；安德斯·施利奇特克鲁尔

验证验证：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）
全文： DOI程序
帕斯卡·鲍曼；弗拉维奥·达莱桑德罗；摩西·加纳尔迪；奥斯卡·伊巴拉；伊恩·麦克奎伦；Lia Schütze女士；乔治·泽采

具有可逆有界计数器的机器的无界性问题。 （英语） 兹比尔07770340

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 240-264 (2023).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumann}等人，Lect。注释计算。科学。13992、240——264（2023；Zbl 07770340）
全文： DOI程序 arXiv公司
弗兰蒂舍克·布拉胡德克；陈玉芳；乔利亚特，大卫；沃伊特·哈夫勒纳；卢卡什·霍利克；Ondřej Lengál；尤拉吉·西奇

单词等式与规则约束协同作用。 （英语） Zbl 1529.68331号

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 403-423 (2023).
MSC公司：68瓦32 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Blahoudek}等人，Lect。注释计算。科学。14000，403--423（2023；Zbl 1529.68331）
全文： DOI程序 arXiv公司
宋世宗曼；佩特拉·范登博斯

编舞的谓词变换器。计算舞蹈编程中的先决条件。 （英语） Zbl 1528.68080号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 520-547 (2022).
MSC公司：68号30 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛S.-S.Jongmans｝和\textit｛P.van den Bos｝，Lect。注释计算。科学。13240520-547（2022年；Zbl 1528.68080）
全文： DOI程序
哈拉尔德·森德加德

字符串抽象域及其组合。 （英语） Zbl 1521.68036号

De Angelis，Emanuele（编辑）等，基于逻辑的程序合成和转换。第31届国际研讨会，2021年9月7日至8日，爱沙尼亚塔林，LOPSTR 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13290, 1-15 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Söndergaard}，莱克特。注释计算。科学。13290，1-15（2022；Zbl 1521.68036）
全文： DOI程序
文森佐·阿塞里；马蒂娜·奥利亚罗；阿戈斯蒂诺·科尔特斯；皮埃特罗·费拉拉

关系字符串抽象域。 （英语） Zbl 1498.68070号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 20-42 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{V.Arceri}等人，Lect。注释计算。科学。13182，20--42（2022；Zbl 1498.68070）
全文： DOI程序
路易斯·克鲁兹·菲利佩；法布里西奥·蒙泰西；马可·佩雷索蒂

认证编舞。 （英语） Zbl 07500641号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。2021年9月8日至10日，哈萨克斯坦努尔苏尔坦，第18届国际学术讨论会，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819, 115-133 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{L.Cruz-Filipe}等人，Lect。注释计算。科学。12819、115-133（2021；Zbl 07500641）
全文： DOI程序 arXiv公司
墨菲·贝尔齐什；米贾·库尔琴斯基；费德里科·莫拉；弗罗林·马内亚；戴，乔尔·D。；德克·诺沃特卡；维杰·加内什

用于字符串长度上的正则表达式和线性算法的SMT解算器。 （英语） Zbl 1493.68182号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 289-312 (2021).
MSC公司：65年第68季度 68T20型 68V20型 68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{M.Berzish}等人，Lect。注释计算。科学。12760289--312（2021年；Zbl 1493.68182）
全文： DOI程序 arXiv公司
张业迪；赵哲；陈广科；宋，傅；陈韬略

BDD4BNN公司：基于BDD的二值化神经网络定量分析框架。 （英语） 兹比尔1493.68226

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 175-200 (2021).
MSC公司：60年第68季度 68T07型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Zhang}等人，Lect。注释计算。科学。12759175-200（2021年；Zbl 1493.68226）
全文： DOI程序 arXiv公司
辛齐亚·迪·朱斯托；莱蒂蒂亚·拉弗萨；艾蒂安·洛兹

猜测k同步性的缓冲区界限。 （英语） Zbl 07495108号

Maneth，Sebastian（编辑），自动机的实现和应用。第25届国际会议，CIAA 2021，虚拟活动，2021年7月19-22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12803, 102-114 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Di Giusto}等人，Lect。注释计算。科学。12803、102--114（2021；Zbl 07495108）
全文： DOI程序 arXiv公司
Anthony W·林。；鲁帕克·马朱姆达尔

具有长度约束的二次方程、计数器系统和具有可除性的Presburger算法。 （英语） Zbl 1517.68319号

日志。方法计算。科学。 17，第4期，第4号论文，20页（2021年）.
MSC公司：68兰特 03B25号 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Lin}和\textit{R.Majumdar}，日志。方法计算。科学。17，第4期，第4号论文，20页（2021年；Zbl 1517.68319）
全文： arXiv公司 链接
卢卡·内格里尼；文森佐·阿塞里；皮埃特罗·费拉拉；阿戈斯蒂诺·科尔特斯

字符串静态分析的孪生自动机和正则表达式。 （英语） Zbl 1472.68039号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 267-290 (2021).
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Negrini}等人，Lect。注释计算。科学。12597，267--290（2021；Zbl 1472.68039）
全文： DOI程序 arXiv公司
莎拉·本雅古布；雅敏阿伊特阿默尔；克劳斯·迪特尔·舍韦

Event-B支持的编舞定义的通信系统。 （英语） Zbl 1497.68326号

Raschke，Alexander（编辑）等人，《严格的基于状态的方法》。第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12071, 155-168 (2020).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Benyagoub}等人，Lect。注释计算。科学。12071，155--168（2020；Zbl 1497.68326）
全文： DOI程序
克伦，多纳托；菲利普·范·海尔登；安东尼奥·菲列里；威廉·维瑟

用协调执行改进符号自动机学习。 （英语） Zbl 1507.68135号

Wehrheim，Heike（编辑）等人，《软件工程的基本方法》，第23届国际会议，FASE 2020，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2020，爱尔兰都柏林，2020年4月25日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12076, 3-26 (2020).
MSC公司：68问题32 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛D.Clun｝等人，Lect。注释计算。科学。12076，3--26（2020；Zbl 1507.68135）
全文： DOI程序 链接
阿克西，S。；保罗·加斯丁；克里希纳，S。；斯巴萨罗伊乔杜里

重温多下推系统的近似可达性。 （英语） 兹比尔1507.68080

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 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）
全文： DOI程序 arXiv公司
王文喜；穆罕默德·乌斯曼；阿利亚斯·阿拉马维；王开元；Kuldeep S.梅尔。；萨尔夫拉兹·库希德

对称破缺谓词和模型计数的研究。 （英语） Zbl 1507.68221号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 115-134 (2020).
MSC公司：68兰特 03B05号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{W.Wang}等人，Lect。注释计算。科学。12078、115-134（2020年；Zbl 1507.68221）
全文： DOI程序
辛齐亚·迪·朱斯托；莱蒂蒂亚·拉弗萨；艾蒂安·洛兹

关于系统的（k）-同步性。 （英语） Zbl 07250937号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议，FOSSACS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 157-176 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Di Giusto}等人，Lect。注释计算。科学。12077，157--176（2020；Zbl 07250937）
全文： DOI程序 arXiv公司
戴，乔尔·D。；弗罗林·马内亚；德克·诺沃特卡

某些二次方程最小解长度的上界。 （英语） Zbl 1517.68315号

Rossmanith，Peter（ed.）等人，第44届计算机科学数学基础国际研讨会，2019年MFCS，德国亚琛，2019月26日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。138，第44条，第15页（2019年）。
MSC公司：68兰特 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Day}等人，LIPIcs——莱布尼茨国际程序。通知。138，第44条，第15页（2019年；Zbl 1517.68315）
全文： DOI程序
萨维里奥·贾勒伦佐；法布里西奥·蒙泰西；毛里齐奥·加布里埃利

应用舞蹈设计。 （英语） Zbl 1508.68242号

Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854, 21-40 (2018).
MSC公司：68问题85 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{S.Giallorenzo}等人，Lect。注释计算。科学。10854，21-40（2018年；兹比尔1508.68242）
全文： DOI程序 arXiv公司 哈尔
亚当·什米；奥雷利·胡罗；菲利普·奎因内克

超越因果关系的异步消息排序。 （英语） Zbl 1487.68116号

Aspnes，James（ed.）等人，第21届分布式系统原理国际会议，OPODIS 2017，葡萄牙里斯本，2017年12月18日至20日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。95，第29条，第20页（2018年）。
MSC公司：第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{A.Shimi}等人，LIPIcs——莱布尼茨国际程序。通知。95，第29条，第20页（2018；Zbl 1487.68116）
全文： DOI程序
瓦伦丁·Wüstholz；奥斯瓦尔多·奥利沃；Heule，Marijn J.H。；伊西尔·迪利格

静态检测使用正则表达式的程序中的DoS漏洞。 （英语） Zbl 1452.68060号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日，第23届国际会议，TACAS 2017，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2017，瑞典乌普萨拉。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206, 3-20 (2017).
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Wüstholz}等人，Lect。注释计算。科学。10206，3--20（2017；Zbl 1452.68060）
全文： DOI程序 arXiv公司
图巴·亚武兹

将谓词抽象与不动点近似相结合。 （英语） Zbl 1390.68443号

De Nicola，Rocco（编辑）等人，《软件工程和形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。计算机科学课堂讲稿9763104-120（2016）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Yavuz}，莱克特。注释计算。科学。9763，104-120（2016；Zbl 1390.68443）
全文： DOI程序
叶卡捷琳娜·维尔比茨凯亚；塞姆扬·格里戈列夫；德米特里·阿夫久钦

字符串嵌入语言的正则近似的放松解析。 （英语） Zbl 1461.68107号

Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9609, 291-302 (2016).
MSC公司：65年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Verbitskaia}等人，Lect。注释计算。科学。9609，291--302（2016；Zbl 1461.68107）
全文： DOI程序
高弘松田；花冈、果一郎

交易明文-可模拟性，以实现选定的密文安全。 （英语） Zbl 1388.94073号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，3-34（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{T.Matsuda}和\textit{G.Hanaoka}，莱克特。注释计算。科学。9614，3--34（2016；Zbl 1388.94073）
全文： DOI程序
马西莫·巴托莱蒂；蒂齐亚纳西莫利；罗伯托·祖尼诺

行为合同的合规性：简要调查。 （英语） Zbl 1434.68045号

Bodei，Chiara（编辑）等人，《应用于生物学和安全的编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 103-121 (2015).
MSC公司：64岁以下 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\文本{M.Bartoletti}等人，Lect。注释计算。科学。9465，103-121（2015；Zbl 1434.68045）
全文： DOI程序
马蒙·菲拉利；梅里姆·乌代尔尼；Jean-Baptiste Raclet女士

FIFO协议跟踪的规范化形式，应用于基于模式的协议的回放。 （英语） Zbl 1328.68026号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。第三次国际研讨会，FTSCS 2014，卢森堡，2014年11月6-7日。修改选定的论文。查姆：施普林格（ISBN 978-3-319-17580-5/pbk；978-3-316-17581-2/电子书）。计算机与信息科学通信476，76-92（2015）。
MSC公司：68个M12 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Filali}等人，Commun。计算。信息科学。476、76-92（2015年；Zbl 1328.68026）
全文： DOI程序
当、哲；托马斯·费舍尔。；威廉·赫顿。；奥斯卡·H·伊巴拉。；李，秦

量化同步语言中的交流。 （英语） Zbl 1465.68069号

徐大川（主编）等，《计算与组合学》。第21届国际会议，COCOON 2015，中国北京，2015年8月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9198, 635-647 (2015).
MSC公司：68页30 第68季度10 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。注释计算。科学。9198、635--647（2015；Zbl 1465.68069）
全文： DOI程序
奥斯卡·H·伊巴拉。；Shinnosuke Seki公司

关于半线性集的有界性。 （英语） Zbl 1382.68135号

Chan，T-H.Hubert（编辑）等人，《计算模型的理论和应用》。第十届国际会议，2013年TAMC，中国香港，2013年5月20日至22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38235-2/pbk）。计算机科学课堂讲稿7876156-168（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{S.Seki}，莱克特。注释计算。科学。7876、156--168（2013年；Zbl 1382.68135）
全文： DOI程序
萨米克·巴苏；特夫菲克·布尔坦；梅里姆·乌代尔尼

用于验证异步通信系统的同步性。 （英语） Zbl 1325.68139号

Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学讲义7148，56-71（2012）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Basu}等人，Lect。注释计算。科学。7148，56-71（2012；Zbl 1325.68139）
全文： DOI程序
厄梅·埃西奥·卢；奥斯卡·H·伊巴拉。；Tran，Nicholas Q。

多磁带NFA：输入头的弱同步。 （英语） Zbl 1298.68131号

Bieliková，Mária（编辑）等人，SOFSEM 2012：计算机科学的理论与实践。2012年1月21日至27日，第38届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27659-0/pbk）。计算机科学课堂讲稿7147238-250（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Ø.EÚecio-lu}等人，Lect。注释计算。科学。7147238--250（2012年；Zbl 1298.68131）
全文： DOI程序
马尔塞洛·贝尔萨尼。；斯特凡·德姆里

可逆有界模型检验的复杂性。 （英语） Zbl 1348.68121号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，71-86（2011）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.M.Bersani}和\textit{S.Demri}，莱克特。注释计算。科学。6989，71-86（2011年；兹bl 1348.68121）
全文： DOI程序 哈尔
奥斯卡·H·伊巴拉。；Tran，Nicholas Q。

关于同步多任务和多头自动机。 （英语） Zbl 1341.68094号

Holzer，Markus（编辑）等人，《形式系统的描述复杂性》。2011年7月25日至27日，第13届国际研讨会，DCFS 2011，德国利姆堡Gießen/Limburg。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22599-4/pbk）。计算机科学讲座笔记6808184-197（2011）。
MSC公司：65年第68季度 第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{N.Q.Tran}，莱克特。注释计算。科学。6808184-197（2011；Zbl 1341.68094）
全文： DOI程序
伊格纳西·阿比奥；罗伯特·纽文胡斯；阿尔伯特·奥利弗拉斯；恩里克·罗德里格斯-卡博内尔

伪布尔约束的BDD–再次访问。 （英语） Zbl 1330.68098号

Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19日至22日，美国密歇根州安娜堡，第14届国际会议，SAT 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。计算机科学讲义6695，61-75（2011）。
MSC公司：65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{I.Abío}等人，Lect。注释计算。科学。6695，61-75（2011；Zbl 1330.68098）
全文： DOI程序
法比奥·菲奥拉万蒂；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂；瓦莱里奥·塞尼

验证无限状态系统的程序专门化：实验评估。 （英语） Zbl 1326.68184号

Alpuente，María（编辑），基于逻辑的程序合成和转换。2010年7月23日至25日在奥地利哈根堡举行的2010年LOPSTR第20届国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-20550-7/pbk）。计算机科学课堂讲稿6564，164-183（2011）。
MSC公司：60年第68季度 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{F.Fioravanti}等人，Lect。注释计算。科学。6564、164--183（2011年；Zbl 1326.68184）
全文： DOI程序
艾哈迈德·博阿贾尼；马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳

带有列表的程序是计数器自动机。 （英语） Zbl 1217.68059号

形式方法系统。设计。 38，第2期，158-192（2011）.
MSC公司：68号30 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Bouajjani}等人，《形式方法系统》。设计。38，第2号，158--192（2011；Zbl 1217.68059）
全文： DOI程序 哈尔
Pieter Hooimeijer；马古斯·维恩斯

字符串分析自动机算法的评估。 （英语） 兹伯利1317.68287

Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，248-262（2011）。
MSC公司：68瓦32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Hooimeijer}和\textit{M.Veanes}，莱克特。注释计算。科学。6538，248--262（2011；Zbl 1317.68287）
全文： DOI程序
于、方；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。

使用多轨迹自动机进行关系字符串验证。 （英语） Zbl 1297.68280号

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿6482290-299（2011）。
MSC公司：68瓦32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Yu}等人，Lect。注释计算。科学。6482290-299（2011年；Zbl 1297.68280）
全文： DOI程序
莱蒂切夫斯基（A.A.Letichevsky）。；戈德列夫斯基，A.B。；A.A.jun Letychevsky。；波蒂延科，S.V。；佩沙连科，V.S。

VRS系统的谓词变换器的属性。 （英语。俄文原件） Zbl 1288.68167号

赛博。系统。分析。 46，第4期，521-532（2010）; 翻译自Kibern。修女。分析。2010年，第4期，第3-16页（2010年）。
MSC公司：60年第68季度 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Letichevsky}等人，Cybern。系统。分析。46，第4号，521--532（2010；Zbl 1288.68167）；翻译自Kibern。修女。分析。2010年，第4期，第3--16期（2010年）
全文： DOI程序
利西萨，A.P。；Nemytykh，A.P。

在一个使用oracle进行计算的应用程序上。 （英语。俄文原件） Zbl 1253.68089号

程序。计算。柔和。 36，第3期，157-165（2010）; 译自Programmirovanie 36，No.3（2010）。
MSC公司：第68页第20页 68甲19 68N99型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Lisitsa}和\textit{A.P.Nemytykh}，程序。计算。柔和。36，第3号，157--165（2010；Zbl 1253.68089）；译自Programmirovanie 36，No.3（2010）
全文： DOI程序
埃琳娜·谢尔曼；布雷迪·J·加文。；马修·德怀尔。

基于类型的部分订单的基于切片的决策过程。 （英语） Zbl 1291.68268号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，156-170（2010）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{E.Sherman}等人，Lect。注释计算。科学。6173、156-170（2010年；Zbl 1291.68268）
全文： DOI程序
萨米拉·塔沙罗菲；马尔詹·西尔贾尼

使用Reo和CASM对WS-CDL进行形式化建模和一致性验证。 （英语） Zbl 1347.68240号

Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，155-174（2009）。
MSC公司：60年第68季度 68英里11 68号30 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Tasharofi}和\textit{M.Sirjani}，电子。注释Theor。计算。科学。229，第2号，155--174（2009；Zbl 1347.68240）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件