Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany

Source URL: www.automata.rwth-aachen.de

• Formal languages
• Computer science
• Deterministic pushdown automaton
• Ω-automaton
• Pushdown automaton
• Omega language
• Nondeterministic finite automaton
• Context-free language
• Regular language
• Automata theory
• Theoretical computer science
• Models of computation

Cryptography with Asynchronous Logic Automata Peter Schmidt-Nielsen, Kailiang Chen, Jonathan Bachrach, Scott Greenwald, Forrest Green, and Neil Gershenfeld MIT Center for Bits and Atoms, Cambridge, MA

Source URL: www.cba.mit.edu

• Binary arithmetic
• Linear feedback shift register
• A5/1
• Cellular automaton
• Field-programmable gate array
• Digital electronics
• Block cipher
• XOR gate
• Cryptography
• Electronic engineering
• Stream ciphers

An Experimental Study of Robustness to Asynchronism for Elementary Cellular Automata Nazim A. Fatès
Laboratoire de l’Informatique du Parallélisme, ENS Lyon, 46, allée d’Italie,

Source URL: www.complex-systems.com

• Dynamical system
• Cellular automata
• Asynchronous cellular automaton
• Cellular automaton

Power Spectral Analysis of Elementary Cellular Automata Shigeru Ninagawa Division of Information and Computer Science, Kanazawa Institute of Technology,

Source URL: www.complex-systems.com

• Mathematics
• Cellular automaton
• Signal processing
• Elementary cellular automaton
• Rule 90
• Spectral density
• Applied mathematics
• Dynamical system
• L-system
• Noise
• Cellular automata
• Statistics

Context-Free Languages and Pushdown Automata Jean-Michel Autebert1 , Jean Berstel2 , and Luc Boasson3 1 2 3

Source URL: www-igm.univ-mlv.fr

• Context-free language
• Linear grammar
• Context-free grammar
• Formal grammar
• Vector space
• Nested word
• Pushdown automaton
• Formal languages
• Algebra
• Mathematics

Some Parameters Characterizing Cellular Automata Rules

Source URL: www.complex-systems.com

A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican and David J. Musliner SIFT, LLC 211 N. First St. Minneapolis, MN 55401

Source URL: icaps11.icaps-conference.org

• Applied mathematics
• Computer science
• Model checkers
• Formal methods
• Logic in computer science
• Formal verification
• Model checking
• State transition system
• Uppaal Model Checker
• Models of computation
• Theoretical computer science
• Automata theory

Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description

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

• Computational complexity theory
• Automata theory
• Symposium on Theoretical Aspects of Computer Science
• Cryptographic protocols
• Model checking
• Network topology

Growing Patterns in One Dimensional Cellular Automata

Source URL: www.complex-systems.com

• Holomorphic functional calculus
• Operator theory
• Mathematical analysis
• Laplace transform