From post

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.

 

Другие публикации лиц с тем же именем

Declarative and visual debugging in Eclipse., и . ETX, стр. 31-35. ACM, (2007)Optimization and Relaxation in Constraint Logic Languages., , и . POPL, стр. 91-103. ACM Press, (1996)Verifying security properties of internet protocol stacks: The split verification approach., и . J. Syst. Archit., 57 (3): 269-281 (2011)JI.FI: Visual test and debug queries for hard real-time., , , , и . Concurr. Comput. Pract. Exp., 26 (14): 2456-2487 (2014)Compact visualization of Java program execution., , и . Softw. Pract. Exp., 47 (2): 163-191 (2017)Subset Assertions and Negation As Failure., и . ILPS, стр. 637. MIT Press, (1993)Interactive Synthesis of Definite-Clause Grammars., и . JICSLP, стр. 541-555. MIT Press, (1992)Methodology and architecture of JIVE., и . SOFTVIS, стр. 95-104. ACM, (2005)Aggregation and Well-Founded Semantics., и . NMELP, том 1216 из Lecture Notes in Computer Science, стр. 71-90. Springer, (1996)Run-Time Analysis of Temporal Constrained Objects., , и . DECLARE, том 10997 из Lecture Notes in Computer Science, стр. 20-36. Springer, (2017)