Robert S. R. Myers

According to our database, Robert S. R. Myers authored at least 15 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Syntactic Minimization Of Nondeterministic Finite Automata.

Robert S. R. Myers, Henning Urbat

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Nondeterministic Syntactic Complexity.

Robert S. R. Myers, Stefan Milius, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Nondeterministic Automata and JSL-dfas.

Robert Samuel Ralph Myers

CoRR, 2020

2019

Generalized Eilenberg Theorem: Varieties of Languages in a Category.

Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat

ACM Trans. Comput. Log., 2019

2015

Coalgebraic constructions of canonical nondeterministic automata.

Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat

Theor. Comput. Sci., 2015

Varieties of Languages in a Category.

Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

On Continuous Nondeterminism and State Minimality.

Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Generalized Eilenberg Theorem I: Local Varieties of Languages.

Jirí Adámek, Stefan Milius, Robert S. R. Myers, Henning Urbat

Proceedings of the Foundations of Software Science and Computation Structures, 2014

Canonical Nondeterministic Automata.

Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat

Proceedings of the Coalgebraic Methods in Computer Science, 2014

2013

Rational Operational Models.

Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, Jurriaan Rot

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

A Characterisation of NL/poly via Nondeterministic Finite Automata.

Robert S. R. Myers, Henning Urbat

Proceedings of the Descriptional Complexity of Formal Systems, 2013

2010

Hybrid logic with the difference modality for generalisations of graphs.

Robert S. R. Myers, Dirk Pattinson

J. Appl. Log., 2010

2009

Coalgebraic Hybrid Logic.

Robert S. R. Myers, Dirk Pattinson, Lutz Schröder

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Coalgebraic Expressions.

Robert S. R. Myers

Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009

2007

CoLoSS: The Coalgebraic Logic Satisfiability Solver.

Georgel Calin, Robert S. R. Myers, Dirk Pattinson, Lutz Schröder

Proceedings of the 5th Workshop on Methods for Modalities, 2007