1.On the Expressive Power of 2-Stack Visibly Pushdown Automata

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:16)2008

出版社：Technical University of Braunschweig

文章 ID：47109824

文章详细全文下载

作　　者：Benedikt Bollig ;Karin Quaas ;Arnaud Sangnier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:33:1-33:16.doi:10.4230/LIPIcs.CONCUR.2017.33

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735199

文章详细全文下载

3.Reachability in Distributed Memory Automata

作　　者：Benedikt Bollig ;Fedor Ryabinin ;Arnaud Sangnier

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:13:1-13:16.doi:10.4230/LIPIcs.CSL.2021.13

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：258514175

文章详细全文下载

4.Bounded Reachability Problems Are Decidable in FIFO Machines

作　　者：Benedikt Bollig ;Alain Finkel ;Amrita Suresh

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:49:1-49:17.doi:10.4230/LIPIcs.CONCUR.2020.49

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822908

文章详细全文下载

5.Communicating Finite-State Machines and Two-Variable Logic

作　　者：Benedikt Bollig ;Marie Fortin ;Paul Gastin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:17:1-17:14.doi:10.4230/LIPIcs.STACS.2018.17

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015252

文章详细

6.A Robust Class of Data Languages and an Application to Learning

作　　者：Benedikt Bollig ;Peter Habermehl ;Martin Leucker 等

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:19)2014

出版社：Technical University of Braunschweig

文章 ID：264692171

文章详细全文下载

7.Parameterized Communicating Automata: Complementation and Model Checking

作　　者：Benedikt Bollig ;Paul Gastin ;Akshay Kumar

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:625-637.doi:10.4230/LIPIcs.FSTTCS.2014.625

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846638

文章详细全文下载

8.An Automata-Theoretic Approach to the Verification of Distributed Algorithms

作　　者：Cyriac Aiswarya ;Benedikt Bollig ;Paul Gastin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:340-353.doi:10.4230/LIPIcs.CONCUR.2015.340

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847020

文章详细全文下载

9.One-Counter Automata with Counter Observability

作　　者：Benedikt Bollig

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:20:1-20:14.doi:10.4230/LIPIcs.FSTTCS.2016.20

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186848140

文章详细全文下载

10.It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"

作　　者：Benedikt Bollig ;Marie Fortin ;Paul Gastin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.7

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213319

文章详细全文下载

	有本地全文	9篇
	有全文链接	2篇

	2022	1篇
	2021	1篇
	2020	1篇
	2018	2篇
	2017	1篇

	Marie Fortin	2篇
	Akshay Kumar	1篇
	Benjamin Monmege	1篇
	Cyriac Aiswarya	1篇
	Fedor Ryabinin	1篇
	Karin Quaas	1篇
	Martin Leucker	1篇
	Peter Habermehl	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Benedikt Bollig")))) )) ) )"

	Benedikt Bollig	11篇
	Paul Gastin	4篇
	Alain Finkel	2篇
	Amrita Suresh	2篇
	Arnaud Sangnier	2篇

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Logical Methods in Computer Science	3篇