Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Generating functions of trace languages., and . Bulletin of the EATCS, (1988)A # P-Complete Problem over Arithmetical Trees., and . CAAP, volume 112 of Lecture Notes in Computer Science, page 308-315. Springer, (1981)On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages., , and . STACS, volume 294 of Lecture Notes in Computer Science, page 334-345. Springer, (1988)CospanSpan(Graph): a Compositional Description of the Heart System., , , , , and . Fundam. Informaticae, 171 (1-4): 221-237 (2020)Span(Graph): a canonical feedback algebra of open transition systems., , , , and . Softw. Syst. Model., 22 (2): 495-520 (April 2023)Compositional Modeling of Biological Systems in CospanSpan(Graph)., , , , and . ICTCS, volume 2756 of CEUR Workshop Proceedings, page 61-66. CEUR-WS.org, (2020)Hierarchical Automata and P-systems., and . CATS, volume 78 of Electronic Notes in Theoretical Computer Science, page 5-19. Elsevier, (2003)A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines, , and . STOC, page 168-176. ACM, (1981)The Compositional Construction of Markov Processes., , and . Appl. Categorical Struct., 19 (1): 425-437 (2011)Blocked-Braid Groups., , and . Appl. Categorical Struct., 23 (1): 53-61 (2015)