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

Formalizing Inductive Proofs of Message Recovery in Distributed Systems.. ASIAN, volume 1023 of Lecture Notes in Computer Science, page 187-194. Springer, (1995)Efficient Multicasting in Point-to-Point Networks., and . NETWORKS, volume C-13 of IFIP Transactions, page 93-101. North-Holland, (1992)Assigning tasks in a 24-h software development model., and . J. Syst. Softw., 79 (7): 904-911 (2006)ComponentXchange: A Software Component Marketplace on the Internet., , , and . WWW Posters, (2001)An interactive method for extracting grammar from programs., , , and . Softw. Pract. Exp., 34 (5): 433-447 (2004)A Concise Introduction to Software Engineering.. Undergraduate Topics in Computer Science Springer, (2008)Using Broadcasting for Multiprocess Recovery.. ICDCS, page 582-589. IEEE Computer Society, (1986)Engaging practitioners in software engineering research.. ISEC, page 79. ACM, (2012)Two Techniques for Transient Software Error Recovery., , and . Hardware and Software Architectures for Fault Tolerance, volume 774 of Lecture Notes in Computer Science, page 159-170. Springer, (1993)Functional Semantics of Programs with Exceptions., and . Comput. Lang., 15 (4): 251-265 (1990)