Bisimulation equivalence and regularity for real-time one-counter automata
Bohm, Stanislav, Goller, Stefan, Jancar, Petr
Published in Journal of computer and system sciences (01.06.2014)
Published in Journal of computer and system sciences (01.06.2014)
Get full text
Journal Article
The Complexity of Bisimulation and Simulation on Finite Systems
Ganardi, Moses, Göller, Stefan, Lohrey, Markus
Published in Logical methods in computer science (01.01.2018)
Published in Logical methods in computer science (01.01.2018)
Get full text
Journal Article
Games with bound guess actions
Colcombet, Thomas, Göller, Stefan
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Games with bound guess actions
Colcombet, Thomas, Goller, Stefan
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Get full text
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Conference Proceeding
The Complexity of Decomposing Modal and First-Order Theories
Goller, S., Jung, J. C., Lohrey, M.
Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (01.06.2012)
Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (01.06.2012)
Get full text
Conference Proceeding
Bisimilarity of Pushdown Automata is Nonelementary
Benedikt, Michael, Goller, Stefan, Kiefer, Stefan, Murawski, Andrzej S.
Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (01.06.2013)
Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (01.06.2013)
Get full text
Conference Proceeding