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

Inference of Message Sequence Charts., , and . IEEE Trans. Software Eng., 29 (7): 623-633 (2003)Linear Approximation of Shortest Superstrings, , , and . J. ACM, 41 (4): 630-647 (1994)Small Approximate Pareto Sets for Biobjective Shortest Paths and Other Problems., and . SIAM J. Comput., 39 (4): 1340-1371 (2009)Node- and Edge-Deletion NP-Complete Problems. STOC, page 253-264. ACM, (1978)Multiobjective Query Optimization., and . PODS, ACM, (2001)Issues of Correctness in Database Concurrency Control by Locking. STOC, page 363-367. ACM, (1981)Linear Approximation of Shortest Superstrings, , , , and . STOC, page 328-336. ACM, (1991)Deadlock-Freedom (and Safety) of Transactions in a Distributed Database., and . PODS, page 105-112. ACM, (1985)Adaptive Model Checking., , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 357-370. Springer, (2002)Probability and Recursion., and . ISAAC, volume 3827 of Lecture Notes in Computer Science, page 2-4. Springer, (2005)