Simon Beier

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 14

Top Topics

Extended Abstract

Queueing Theory

Finite Automata

Top Venues

Int. J. Found. Comput. Sci.

Publications

Simon Beier, Markus Holzer
. Taming the Infinities of Concurrency (2024)
Simon Beier, Markus Holzer
Nondeterministic right one-way jumping finite automata. Inf. Comput. 284 (2022)
Simon Beier, Markus Holzer
Decidability of Right One-Way Jumping Finite Automata. Int. J. Found. Comput. Sci. 31 (6) (2020)
Simon Beier, Markus Holzer
Properties of right one-way jumping finite automata. Theor. Comput. Sci. 798 (2019)
Simon Beier, Markus Holzer, Martin Kutrib
Operational State Complexity and Decidability of Jumping Finite Automata. Int. J. Found. Comput. Sci. 30 (1) (2019)
Simon Beier, Markus Holzer
Semi-linear Lattices and Right One-Way Jumping Finite Automata (Extended Abstract). CIAA (2019)
Simon Beier, Markus Holzer
Nondeterministic Right One-Way Jumping Finite Automata (Extended Abstract). DCFS (2019)
Simon Beier, Markus Holzer
Properties of Right One-Way Jumping Finite Automata. DCFS (2018)
Simon Beier, Markus Holzer
Decidability of Right One-Way Jumping Finite Automata. DLT (2018)
Simon Beier, Martin Kutrib, Andreas Malcher, Matthias Wendlandt
Diving into the queue. RAIRO Theor. Informatics Appl. 52 (2-3-4) (2018)
Simon Beier, Markus Holzer, Martin Kutrib
On the Descriptional Complexity of Operations on Semilinear Sets. AFL (2017)
Simon Beier, Markus Holzer
On Regular Expression Proof Complexity. DLT (2017)
Simon Beier, Markus Holzer, Martin Kutrib
Operational State Complexity and Decidability of Jumping Finite Automata. DLT (2017)
Simon Beier, Martin Kutrib, Andreas Malcher, Matthias Wendlandt
Diving into the queue. NCMA (2016)