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

The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract)., , , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 256-275. Springer, (2014)Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery., , , , , , , , , and 3 other author(s). CISRC, page 17:1-17:4. ACM, (2016)Formal Foundations of Operational Semantics., and . Higher-Order and Symbolic Computation, 16 (3): 161-202 (2003)Editorial., and . Higher-Order and Symbolic Computation, 17 (4): 275 (2004)Editorial., and . Higher-Order and Symbolic Computation, 21 (4): 359 (2008)Computing with Contexts.. Higher-Order and Symbolic Computation, 12 (2): 171-201 (1999)IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude., and . Electr. Notes Theor. Comput. Sci., (2005)From Operational Semantics to Domain Theory., , and . Inf. Comput., 128 (1): 26-47 (1996)Operational Techniques in PVS - A Preliminary Evaluation., and . Electr. Notes Theor. Comput. Sci., (2001)Inferring the Equivalence of Functional Programs That Mutate Data., and . Theor. Comput. Sci., 105 (2): 167-215 (1992)