13 Results for (keywords_en:UNIVERSAL MACHINES)

Subscribe to RSS feed for this result set

1. An ASM macro language for sets

Kutter, Philipp W. (1998)


Reports

2. The formal definition of Anlauff's eXtensible abstract state machines

Kutter, Philipp W. (2002)


Reports

3. Mapping automata

Janneck, Jörn Wilhelm and Kutter, Philipp W. (1998)


Reports

4. Object-based abstract state machines

Janneck, Jörn Wilhelm and Kutter, Philipp W. (1998)


Reports

5. Mathematische Computer-Modelle

Schuler, Peter (1970)


Doctoral and Habilitation Theses

6. Using interval diagram techniques for the symbolic verification of timed automata

Strehl, Karsten (1998)


Reports

7. New matched ESEEM experiments and applications in electron paramagnetic resonance

Liesum, Lorenz Patrick (2001)


Doctoral and Habilitation Theses

8. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses

9. HOST

Kiener, Michel and Ultsch, Alfred G.H. (1987)


Reports

10. Complexity classes of finite automata

Královič, Richard (2010)


Doctoral and Habilitation Theses

11. SCSM - synchronous composition of sequential machines

Fierz, Hugo (1994)


Reports

12. New aspects of coherent spin dynamics: from spin waves to quantum computing

Madi, Zoltan Laszlo (1998)


Doctoral and Habilitation Theses

13. Modeling and reach-set computation for analysis and optimal control of discrete hybrid automata

Torrisi, Fabio Danilo (2003)


Doctoral and Habilitation Theses