Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Falk Howar
LearnLib Tutorial: From Finite Automata to Register Interface Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Learning Setups in Automata Learning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
From Control-Command Synchronous Programs to Hybrid Automata
IFAC Proceedings Volumes
Deterministic Finite Automata
Algebra and Discrete Mathematics
Introduction to the Theory of Finite Automata
Mathematics of Computation
Computational Mathematics
Applied Mathematics
Number Theory
Algebra
A Tutorial on Synthesis of Logic Programs From Specifications
Learning Stochastic Finite Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
To Cryptanalysis of 2-Cascade Finite Automata Cryptographic Generators
Prikladnaya diskretnaya matematika. Prilozhenie
Programs With Lists Are Counter Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Simulations Between Programs as Cellular Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science