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

Response to a Letter to the Editor.. IEEE Software, 5 (4): 4-6 (1988)An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report), and . LICS, page 332-344. IEEE Computer Society, (1986)An automata-theortetic approach to modular model checking., and . ACM Trans. Program. Lang. Syst., 22 (1): 87-128 (2000)Weak alternating automata are not that weak., and . ACM Trans. Comput. Log., 2 (3): 408-429 (2001)Openism, IPism, fundamentalism, and pragmatism.. Commun. ACM, 57 (8): 5 (2014)Has the innovation cup run dry?. Commun. ACM, 56 (9): 5 (2013)The moral hazard of complexity-theoretic assumptions.. Commun. ACM, 59 (2): 5 (2016)Technology has social consequences.. Commun. ACM, 54 (5): 5 (2011)In Memoriam Paris C. Kanellakis., , , , and . ACM Comput. Surv., 28 (1): 3-15 (1996)More debate, please!. Commun. ACM, 53 (1): 5 (2010)