Formal Methods in System Design manuscript No. (will be inserted by the editor) An Extension of the Inverse Method to Probabilistic Timed Automata ´

Source URL: www.lsv.ens-cachan.fr

An Intersection Type System for Deterministic Pushdown Automata Takeshi Tsukada1 and Naoki Kobayashi2 1 2

Source URL: www-kb.is.s.u-tokyo.ac.jp

4th Workshop on Reachability Problems Brno 28th August 2010 Behavioral Cartography of Timed Automata

Source URL: lipn.univ-paris13.fr

Growth of one-dimensional cellular automata Charles Brummitt and Eric Rowland LaCIM Université du Québec à Montréal January 6, 2012

Source URL: thales.math.uqam.ca

Under consideration for publication in Math. Struct. in Comp. Science Relating timed and register automata† D I E G O F I G U E I R A1,2,3‡ , P I O T R H O F M A N3 and S L A W O M I R L A S O T A3 1 2

Source URL: www.mimuw.edu.pl

1 PASS: A Parallel Activity Search System Andrea Pugliese, V.S. Subrahmanian, Christopher Thomas, and Cristian Molinaro Abstract—Given a set A of activities expressed via temporal stochastic automata, and a set O of o

Source URL: www.cs.umd.edu

• Network theory
• Edsger W. Dijkstra
• Shortest path problem
• Dynamic programming

1 Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Electrical Engineering

Source URL: paradise.caltech.edu

• Formal languages
• Combinatorics
• Combinatorics on words
• Mathematics
• Discrete mathematics
• Finite automata
• String
• Alphabet
• Regular expression
• Regular language
• Tandem Computers

Fibrations of Tree Automata Colin Riba ENS de Lyon, Université de Lyon, LIP∗ http://perso.ens-lyon.fr/colin.riba/ Abstract

Source URL: perso.ens-lyon.fr

Problems: Finite Automata [ Sipser/Chapter 2; HU/Chapters 2–Construct a DFA and a regular expression for the following languages over {0, 1}.

Source URL: www.isical.ac.in

Figures in the Fourth Dimension Mechanical Movement for Puppets and Automata

Source URL: www.figuresinthefourthdimension.com