Robert S. R. Myers

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 4

Top Topics

Deterministic Automata

Description Languages

Grammatical Inference

Top Venues

Publications

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