Martin Otto - RankMe

67 papers A* 14A 4B 8Misc 1Journal 33Unranked 2

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	On the expressive power of inquisitive epistemic logic. CoRR Ivano Ciardelli, Martin Otto
2022	J	`jnl`	A First-order Framework for Inquisitive Modal Logic. Rev. Symb. Log. Silke Meissner, Martin Otto
2021	J	`jnl`	Inquisitive Bisimulation. J. Symb. Log. Ivano Ciardelli, Martin Otto
2020	B	`conf`	Guarded Teams: The Horizontally Guarded Case. CSL Erich Grädel, Martin Otto
2019	A	`conf`	Additive First-Order Queries. ICDT Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche
2019	J	`jnl`	Cayley structures and common knowledge. CoRR Felix Canavoi, Martin Otto
2019	J	`jnl`	Graded modal logic and counting bisimulation. CoRR Martin Otto
2018	J	`jnl`	Inquisitive bisimulation. CoRR Ivano Ciardelli, Martin Otto
2017	B	`conf`	Bisimulation in Inquisitive Modal Logic. TARK Ivano Ciardelli, Martin Otto
2017	—	`book`	Bounded Variable Logics and Counting: A Study in Finite Models Martin Otto
2017	A*	`conf`	Common knowledge and multi-scale locality analysis in Cayley structures. LICS Felix Canavoi, Martin Otto
2015	J	`jnl`	Pebble Games and linear equations. J. Symb. Log. Martin Grohe, Martin Otto
2014	J	`jnl`	Decidability Results for the Boundedness Problem. Log. Methods Comput. Sci. Achim Blumensath, Martin Otto, Mark Weyer
2014	J	`jnl`	Querying the Guarded Fragment. Log. Methods Comput. Sci. Vince Bárány, Georg Gottlob, Martin Otto
2014	—	`ch.`	The Freedoms of (Guarded) Bisimulation. Johan van Benthem on Logic and Information Dynamics Erich Grädel, Martin Otto
2013	—	`conf`	Bisimulation and Coverings for Graphs and Hypergraphs. ICLA Martin Otto
2013	J	`jnl`	Expressive completeness through logically tractable models. Ann. Pure Appl. Log. Martin Otto
2013	A*	`conf`	Groupoids, Hypergraphs, and Symmetries in Finite Models. LICS Martin Otto
2012	J	`jnl`	Highly acyclic groups, hypergraph covers, and the guarded fragment. J. ACM Martin Otto
2012	J	`jnl`	Pebble Games and Linear Equations CoRR Martin Grohe, Martin Otto
2012	B	`conf`	Pebble Games and Linear Equations. CSL Martin Grohe, Martin Otto
2012	J	`jnl`	Queries with Guarded Negation (full version) CoRR Vince Bárány, Balder ten Cate, Martin Otto
2012	J	`jnl`	Queries with Guarded Negation. Proc. VLDB Endow. Vince Bárány, Balder ten Cate, Martin Otto
2012	J	`jnl`	Small substructures and decidability issues for first-order logic with two variables. J. Symb. Log. Emanuel Kieronski, Martin Otto
2011	—	`ch.`	Model theoretic methods for fragments of FO and special classes of (finite) structures. Finite and Algorithmic Model Theory Martin Otto
2011	B	`conf`	The Freedoms of Guarded Bisimulation. CSL Martin Otto
2010	A*	`conf`	Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment. LICS Martin Otto
2010	A*	`conf`	Querying the Guarded Fragment. LICS Vince Bárány, Georg Gottlob, Martin Otto
2009	—	`conf`	Boundedness of Monadic Second-Order Formulae over Finite Words. ICALP (2) Achim Blumensath, Martin Otto, Mark Weyer
2009	J	`jnl`	Modal characterisation theorems over special classes of frames. Ann. Pure Appl. Log. Anuj Dawar, Martin Otto
2008	B	`conf`	A Lindström characterisation of the guarded fragment and of modal logic with a global modality. Advances in Modal Logic Martin Otto, Robert Piro
2007	A*	`conf`	Boundedness of Monadic FO over Acyclic Structures. ICALP Stephan Kreutzer, Martin Otto, Nicole Schweikardt
2007	—	`ch.`	Model theory of modal logic. Handbook of Modal Logic Valentin Goranko, Martin Otto
2006	A*	`conf`	The Boundedness Problem for Monadic Universal First-Order Logic. LICS Martin Otto
2005	A*	`conf`	Modal Characterisation Theorems over Special Classes of Frames. LICS Anuj Dawar, Martin Otto
2005	A*	`conf`	Small Substructures and Decidability Issues for First-Order Logic with Two Variables. LICS Emanuel Kieronski, Martin Otto
2004	J	`jnl`	Modal and guarded characterisation theorems over finite transition systems. Ann. Pure Appl. Log. Martin Otto
2003	J	`jnl`	Finite conformal hypergraph covers and Gaifman cliques in finite structures. Bull. Symb. Log. Ian M. Hodkinson, Martin Otto
2002	J	`jnl`	Back and forth between guarded and modal logics. ACM Trans. Comput. Log. Erich Grädel, Colin Hirsch, Martin Otto
2002	A*	`conf`	Modal and Guarded Characterisation Theorems over Finite Transition Systems. LICS Martin Otto
2001	J	`jnl`	Adding For-Loops to First-Order Logic. Inf. Comput. Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
2001	J	`jnl`	Two Variable First-Order Logic over Ordered Domains. J. Symb. Log. Martin Otto
2000	J	`jnl`	An interpolation theorem. Bull. Symb. Log. Martin Otto
2000	A*	`conf`	Back and Forth between Guarded and Modal Logics. LICS Erich Grädel, Colin Hirsch, Martin Otto
2000	J	`jnl`	Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures. J. Symb. Log. Martin Otto
1999	A	`conf`	Adding For-Loops to First-Order Logic. ICDT Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
1999	B	`conf`	Beth Definability for the Guarded Fragment. LPAR Eva Hoogland, Maarten Marx, Martin Otto
1999	J	`jnl`	Bisimulation-invariant PTIME and higher-dimensional µ-calculus. Theor. Comput. Sci. Martin Otto
1999	J	`jnl`	Bounded variable logics: two, three, and more. Arch. Math. Log. Martin Otto
1999	A	`conf`	Eliminating Recursion in the µ-Calculus. STACS Martin Otto
1999	J	`jnl`	On Logics with Two Variables. Theor. Comput. Sci. Erich Grädel, Martin Otto
1999	J	`jnl`	Undecidability results on two-variable logics. Arch. Math. Log. Erich Grädel, Martin Otto, Eric Rosen
1998	A*	`conf`	On the Boundedness Problem for Two-Variable First-Order Logic. LICS Phokion G. Kolaitis, Martin Otto
1997	—	`book`	Bounded variable logics and counting - a study in finite models. Martin Otto
1997	J	`jnl`	Canonization for Two Variables and Puzzles on the Square. Ann. Pure Appl. Log. Martin Otto
1997	Misc	`conf`	Capturing Bisimulation-Invariant Ptime. LFCS Martin Otto
1997	A*	`conf`	Two-Variable Logic with Counting is Decidable. LICS Erich Grädel, Martin Otto, Eric Rosen
1997	A	`conf`	Undecidability Results on Two-Variable Logics. STACS Erich Grädel, Martin Otto, Eric Rosen
1996	J	`jnl`	First-Order Queries on Databases Embedded in an Infinite Structure. Inf. Process. Lett. Martin Otto, Jan Van den Bussche
1996	J	`jnl`	The Expressive Power of Fixed-Point Logic with Counting. J. Symb. Log. Martin Otto
1996	B	`conf`	The Logic of Explicitly Presentation-Invariant Circuits. CSL Martin Otto
1995	J	`jnl`	An Note on the Number of Monadic Quantifiers in Monadic Sigma^1_1. Inf. Process. Lett. Martin Otto
1995	A*	`conf`	Ptime Canonization for Two Variables with Counting LICS Martin Otto
1994	A*	`conf`	Generalized Quantifiers for Simple Properties LICS Martin Otto
1992	J	`jnl`	Automorphism Properties of Stationary Logic. J. Symb. Log. Martin Otto
1992	J	`jnl`	EM constructions for a class of generalized quantifiers. Arch. Math. Log. Martin Otto
1992	B	`conf`	Inductive Definability with Counting on Finite Structures. CSL Erich Grädel, Martin Otto