Horst Müller

Publication Activity (10 Years)

Years Active: 1971-1992
Publications (10 Years): 0

University of Bonn, Germany (PHD)

Education History

University of Bonn, Germany

PHD

Publications

Horst Müller
Improvements on printing mice in labyrinths. Computing 47 (3-4) (1992)
Horst Müller
Höhere Petri-Netze - ein Werkzeug für Modellierung und Analyse verteilter Systeme und paralleler Datenverarbeitungsprozesse / High level Petri nets, a tool for modelling and analysis of distributed systems. it Inf. Technol. 30 (2) (1988)
Horst Müller
Weak Petri Net Computers for Ackermann Functions. J. Inf. Process. Cybern. 21 (4/5) (1985)
Horst Müller
The reachability problem for VAS. European Workshop on Applications and Theory in Petri Nets (1984)
Gerhard Fritsch, Horst Müller
Parallelization of a minimization problem for multiprocessor systems. CONPAR (1981)
Horst Müller
Correctness Proof for the Alternating Bit Protocol by Assertion Systems. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Horst Müller
Inductive Assertions for Analyzing Reachability Sets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Horst Müller
Reachability Analysis with Assertion Systems. Theoretical Computer Science (1981)
Horst Müller
Decidability of Reachability in Persistent Vector Replacement Systems. MFCS (1980)
Horst Müller
Automata Catching Labyrinths with at most Three Components. J. Inf. Process. Cybern. 15 (1/2) (1979)
Horst Müller
A one-symbol printing automaton escaping from every labyrinth. Computing 19 (2) (1977)
Horst Müller
Endliche Automaten und Labyrinthe. J. Inf. Process. Cybern. 7 (4) (1971)

Horst Müller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Horst Müller