University of Warsaw Faculty of Mathematics, Informatics, and Mechanics Michał Skrzypczak Descriptive set theoretic methods in automata theory

Source URL: www.mimuw.edu.pl

Sequences arising from cellular automata Eric Rowland University of Waterloo September 26, 2011

Source URL: thales.math.uqam.ca

JOURNAL OF COMPUTATIONAL BIOLOGY Volume 7, Numbers 3/4, 2000 Mary Ann Liebert, Inc. Pp. 381–393 Optimal Amnesic Probabilistic Automata or

Source URL: bejerano.stanford.edu

Model Checking of Finite-state Machine-based Scenario-aware Dataflow Using Timed Automata Mladen Skelin Department of Engineering Cybernetics, Norwegian University of Science and Technology

Source URL: people.cs.aau.dk

Lattice Automata Counterexample Invariants γ

Source URL: people.cs.aau.dk

ioco Theory for Probabilistic Automata M. Gerhold, M.I.A. Stoelinga10th MBT Workshop, London 2015

Source URL: www.mbt-workshop.org

Magnús Már Halldórsson ICE-TCS, School of Computer Science Reykjavik University 101 Reykjavik, Iceland

Source URL: www.ru.is

• Computational complexity theory
• NP-complete problems
• Combinatorial optimization
• Theoretical computer science
• Maximum cut
• Approximation algorithm
• International Colloquium on Automata
• Languages and Programming
• Algorithmica
• Halldrsson
• International Symposium on Algorithms and Computation
• European Symposium on Algorithms
• Graph coloring

Cellular Resource-Driven Automata ? Vladimir A. Bashkin1 and Irina A. Lomazova2,3 1

Source URL: csp2011.mimuw.edu.pl

A Case Study in Meta-AUTOMATION: AUTOMATIC Generation of Congruence AUTOMATA For Combinatorial Sequences Eric ROWLAND and Doron ZEILBERGER Abstract: In this paper, that may be considered a sequel to a recent article by

Source URL: thales.math.uqam.ca

Modeling and Analysis of Switched Buffer Networks using Hybrid Automata Goran Frehse and Oded Maler Verimag, {goran.frehse,oded.maler}@imag.fr, WWW home page: http://www-verimag.imag.fr/~{frehse,maler} Abstract. In this

Source URL: www-verimag.imag.fr