Robert S. R. Myers

17 papers A* 1B 6Journal 6Unranked 4

Year	Rank	Type	Title / Venue / Authors
2021	B	`conf`	Nondeterministic Syntactic Complexity. FoSSaCS Robert S. R. Myers, Stefan Milius, Henning Urbat
2021	J	`jnl`	Nondeterministic Syntactic Complexity. CoRR Robert S. R. Myers, Stefan Milius, Henning Urbat
2021	B	`conf`	Syntactic Minimization Of Nondeterministic Finite Automata. MFCS Robert S. R. Myers, Henning Urbat
2019	J	`jnl`	Generalized Eilenberg Theorem: Varieties of Languages in a Category. ACM Trans. Comput. Log. Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2015	J	`jnl`	Coalgebraic constructions of canonical nondeterministic automata. Theor. Comput. Sci. Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat
2015	J	`jnl`	Generalized Eilenberg Theorem I: Local Varieties of Languages. CoRR Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2015	A*	`conf`	Varieties of Languages in a Category. LICS Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius
2015	J	`jnl`	Varieties of Languages in a Category. CoRR Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2014	—	`conf`	Canonical Nondeterministic Automata. CMCS Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat
2014	B	`conf`	Generalized Eilenberg Theorem I: Local Varieties of Languages. FoSSaCS Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat
2014	B	`conf`	On Continuous Nondeterminism and State Minimality. MFPS Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius
2013	—	`conf`	A Characterisation of NL/poly via Nondeterministic Finite Automata. DCFS Robert S. R. Myers, Henning Urbat
2013	B	`conf`	Rational Operational Models. MFPS Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot
2010	J	`jnl`	Hybrid logic with the difference modality for generalisations of graphs. J. Appl. Log. Robert S. R. Myers, Dirk Pattinson
2009	—	`conf`	Coalgebraic Expressions. FICS Robert S. R. Myers
2009	B	`conf`	Coalgebraic Hybrid Logic. FoSSaCS Robert S. R. Myers, Dirk Pattinson, Lutz Schröder
2007	—	`conf`	CoLoSS: The Coalgebraic Logic Satisfiability Solver. M4M Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder