1.On Büchi One-Counter Automata

作　　者：Stanislav B{\"o}hm ;Stefan G{\"o}ller ;Simon Halfon 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:14:1-14:13.doi:10.4230/LIPIcs.STACS.2017.14

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

文章 ID：191698343

文章详细全文下载

2.On Long Words Avoiding Zimin Patterns

作　　者：Arnaud Carayol ;Stefan G{\"o}ller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:19:1-19:13.doi:10.4230/LIPIcs.STACS.2017.19

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

文章 ID：191698348

文章详细全文下载

3.Branching-time Model Checking of One-counter Processes

作　　者：Stefan G{\"o}ller ;Markus Lohrey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:405-416.doi:10.4230/LIPIcs.STACS.2010.2472

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

文章 ID：186845660

文章详细

4.The First-Order Theory of Ground Tree Rewrite Graphs

作　　者：Stefan G{\"o}ller ;Markus Lohrey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:276-287.doi:10.4230/LIPIcs.FSTTCS.2011.276

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

文章 ID：186845885

文章详细全文下载

5.Concurrency Makes Simple Theories Hard

作　　者：Stefan G{\"o}ller ;Anthony Widjaja Lin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:148-159.doi:10.4230/LIPIcs.STACS.2012.148

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

文章 ID：186846025

文章详细全文下载

作　　者：Christopher Broadbent ;Stefan G{\"o}ller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:160-172.doi:10.4230/LIPIcs.FSTTCS.2012.160

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

文章 ID：186846199

文章详细全文下载

7.The Fixed-Parameter Tractability of Model Checking Concurrent Systems

作　　者：Stefan G{\"o}ller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:332-347.doi:10.4230/LIPIcs.CSL.2013.332

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

文章 ID：186846347

文章详细全文下载

8.On the Parallel Complexity of Bisimulation on Finite Systems

作　　者：Moses Ganardi ;Stefan G{\"o}ller ;Markus Lohrey

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:12:1-12:17.doi:10.4230/LIPIcs.CSL.2016.12

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

文章 ID：186847929

文章详细全文下载

9.A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One

作　　者：Stefan G{\"o}ller ;Christoph Haase ;Ranko Lazic 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:105:1-105:13.doi:10.4230/LIPIcs.ICALP.2016.105

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

文章 ID：186847702

文章详细全文下载

	有本地全文	8篇
	有全文链接	1篇

	Christopher Broadbent	1篇
	Moses Ganardi	1篇
	Patrick Totzke	1篇
	Piotr Hofman	1篇
	Ranko Lazic	1篇
	Simon Halfon	1篇
	Stanislav B{\"o}hm	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Stefan G{\"o}ller")))) )) ) )"

	Stefan G{\"o}ller	9篇
	Markus Lohrey	3篇
	Anthony Widjaja Lin	1篇
	Arnaud Carayol	1篇
	Christoph Haase	1篇