| Publication | Date of Publication | Type |
|---|
Algebraic characterization of petri net pomset semantics
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
Aspects of the infinite. A short story for non-mathematicians
| 2019-09-05 | Paper |
Vanishing Point Detection with an Intersection Point Neighborhood
Discrete Geometry for Computer Imagery | 2009-12-01 | Paper |
Some Examples of Semi-rational DAG Languages
Developments in Language Theory | 2009-03-26 | Paper |
Theoretical computer science. Petri nets.
Springer-Lehrbuch | 2008-05-22 | Paper |
Petri-Netze
eXamen.press | 2008-01-03 | Paper |
Finite Automata on Unranked and Unordered DAGs
Developments in Language Theory | 2007-11-28 | Paper |
Developments in Language Theory
Lecture Notes in Computer Science | 2006-06-23 | Paper |
scientific article; zbMATH DE number 2044082 (Why is no real title available?)
| 2004-02-17 | Paper |
scientific article; zbMATH DE number 1995134 (Why is no real title available?)
| 2003-10-21 | Paper |
scientific article; zbMATH DE number 1945233 (Why is no real title available?)
| 2003-07-02 | Paper |
Theoretical informatics. An extensive introduction
Springer-Lehrbuch | 2002-01-14 | Paper |
scientific article; zbMATH DE number 1453448 (Why is no real title available?)
| 2000-05-28 | Paper |
scientific article; zbMATH DE number 1406173 (Why is no real title available?)
| 2000-02-23 | Paper |
scientific article; zbMATH DE number 1354159 (Why is no real title available?)
| 1999-10-28 | Paper |
A uniform approach to true-concurrency and interleaving semantics for Petri nets
Theoretical Computer Science | 1999-01-12 | Paper |
Abstract fairness and semantics
Theoretical Computer Science | 1998-07-23 | Paper |
Fairness, distances and degrees
Theoretical Computer Science | 1992-09-27 | Paper |
Strong fairness and ultra metrics
Theoretical Computer Science | 1992-09-27 | Paper |
scientific article; zbMATH DE number 4185038 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4096758 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4087032 (Why is no real title available?)
| 1988-01-01 | Paper |
On the minimal number of \(\times\) operators to model regularity in fair SCCS
Information Processing Letters | 1988-01-01 | Paper |
scientific article; zbMATH DE number 3990856 (Why is no real title available?)
| 1987-01-01 | Paper |
An introduction to the regular theory of fairness
Theoretical Computer Science | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4020456 (Why is no real title available?)
| 1987-01-01 | Paper |
On a fast decomposition method in some models of concurrent computations
Theoretical Computer Science | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3874627 (Why is no real title available?)
| 1984-01-01 | Paper |
Automata and concurrency
Theoretical Computer Science | 1983-01-01 | Paper |
Petri net implementations by a universal cell space
Information and Control | 1982-01-01 | Paper |
Modular implementation of concurrency
International Journal of Theoretical Physics | 1982-01-01 | Paper |
Universal asynchronous iterative arrays of Mealy automata
Acta Informatica | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3714941 (Why is no real title available?)
| 1980-01-01 | Paper |
Towards a Precise Characterization of the Complexity of Universal and Nonuniversal Turing Machines
SIAM Journal on Computing | 1979-01-01 | Paper |
Über ein 2‐Dimensionales Thue‐System mit Zwei Regeln und Unentscheidbarem Wortproblem
Mathematical Logic Quarterly | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3628392 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3635879 (Why is no real title available?)
| 1978-01-01 | Paper |
A note on asynchronous cellular automata
Journal of Computer and System Sciences | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3648132 (Why is no real title available?)
| 1978-01-01 | Paper |
On the Minimal Complexity of Component-Machines for Self-Correcting Networks
Journal of Cybernetics | 1976-01-01 | Paper |
Reversible Automaten und Einfache Universelle 2‐Dimensionale Thue‐Systeme
Mathematical Logic Quarterly | 1976-01-01 | Paper |
ON A SIMPLE COMBINATORIAL STRUCTURE SUFFICIENT FOR SYBLYING NONTRIVIAL SELF-REPRODUCTION
Journal of Cybernetics | 1976-01-01 | Paper |
A Combinatorial Approach to Self-Correction
Journal of Cybernetics | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3389015 (Why is no real title available?)
| 1971-01-01 | Paper |
