search result

Cover von The Use of Particle Swarm Optimization for a Vector Cellular Automata Model of Land Use Change (Short Paper)

The Use of Particle Swarm Optimization for a Vector Cellular Automata Model of Land Use Change (Short Paper)

Year: 2018
Media group: LIPIcs
Cover von The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable

The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable

Year: 2017
Media group: LIPIcs
Cover von A Framework for Automated HW / SW Co-Verification of SystemC Designs Using Timed Automata
Author: Herber, Paula Search for this author
Year: 2010
Publisher: Berlin, Universität
Media group: DISSERTATION
Cover von Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?

Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?

Year: 2011
Media group: ARTICLE
Cover von Selected papers of the first international workshop on descriptional complexity of automata , grammars and related structures; 3
special issue : Magdeburg, Germany, July 20 - 23, 1999, S. 173-368
Search for this author
Year: 2000
Publisher: Magdeburg, Otto-von-Guericke-Universität
Count: 3
Media group: SPECIAL ISSUE
Cover von Selected papers of the 20th International colloquium on automata, languages and programming, July 5-9, 1993
Search for this author
Year: 1994
Publisher: Helsinki, University
Series: Nordic journal of computing : 1. 1994, 3
Media group: SPECIAL ISSUE
Cover von Lower Bounds on the Running Time of Two-Way Quantum Finite Automata and Sublogarithmic-Space Quantum Turing Machines

Lower Bounds on the Running Time of Two-Way Quantum Finite Automata and Sublogarithmic-Space Quantum Turing Machines

Year: 2021
Media group: LIPIcs
Cover von Special section on test and verification of VLSI; 3
eleventh Asian test symposium, Guam, USA, November 18 - 20, 2002 : special issue : S. 529 - 797
Search for this author
Year: 2004
Publisher: Tokyo, IEICE
Count: 3
Media group: SPECIAL ISSUE
Cover von Logics for concurrency
structure versus automata
Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1043
Media group: MONOGRAPHIE
Cover von Sums of Palindromes

Sums of Palindromes

an Approach via Automata
Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0