Author of the publication

Formal Models and Semantics, Handbook of Theoretical Computer Science

. Elsevier Science Publishers, Amsterdam, The Netherlands, (1990)

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

Collaborative Design Knowledge Construction and Measuring Shared Understanding, , and . Progress in Design & Decision Support Systems in Architecture and Urban Planning, 8th International DDSS Conference, 4-7 July, Eindhoven, page 303-312. (2006)Synthesizing the repeating FRB population using frbpoppy, , , , and . (2020)cite arxiv:2012.02460Comment: 13 pages, 6 figures, submitted to Astronomy & Astrophysics.Algorithms and Complexity, Handbook of Theoretical Computer Science. Elsevier Science Publishers, Amsterdam, The Netherlands, (1990)A Radio Pulsar/X-ray Binary Link, , , , , , , , , and 8 other author(s). Science, (June 2009)A Repeating Fast Radio Burst, , , , , , , , , and 14 other author(s). Nature, (Mar 2, 2016)Authentication: A concise survey., and . Comput. Secur., 5 (3): 243-250 (1986)A newly developed tool for intra-tracheal temperature and humidity assessment in laryngectomized individuals: the Airway Climate Explorer (ACE)., , , , , , , and . Medical Biol. Eng. Comput., 45 (8): 737-745 (2007)Formal Models and Semantics, Handbook of Theoretical Computer Science. Elsevier Science Publishers, Amsterdam, The Netherlands, (1990)The repeating Fast Radio Burst FRB 121102: Multi-wavelength observations and additional bursts, , , , , , , , , and 14 other author(s). (Mar 29, 2016)Knowledge-based Audit Support., , and . DEXA, page 512-518. Springer-Verlag, Wien, (1992)