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

ClusterGrind: Valgrinding LAM/MPI Applications., and . PVM/MPI, volume 3666 of Lecture Notes in Computer Science, page 325-332. Springer, (2005)A Theory of Classes for a Functional Language with Effects., , , and . CSL, volume 702 of Lecture Notes in Computer Science, page 309-326. Springer, (1992)Reasoning about effects: from lists to cyber-physical agents., and . Logical Methods in Computer Science, (2019)Axiomatizing Operational Equivalence in the Presence of Side Effects, and . LICS, page 284-293. IEEE Computer Society, (1989)References, Local Variables and Operational Reasoning, and . LICS, page 186-197. IEEE Computer Society, (1992)Extraction of events from 3D volumes of seismic data., , , and . ICPR (3), page 128-130. IEEE, (1994)Seismic Time Section Analysis Using Machine Vision., , and . BMVC, page 1-10. BMVA Press, (1993)A Foundation for Actor Computation., , , and . Journal of Functional Programming, 7 (1): 1-72 (1997)Program Transformation via Contextual Assertions., and . Logic, Language and Computation, volume 792 of Lecture Notes in Computer Science, page 225-254. Springer, (1994)Actor Languages Their Syntax, Semantics, Translation, and Equivalence., and . Theor. Comput. Sci., 220 (2): 409-467 (1999)