Author of the publication

Reasoning about Complexity of Object-Oriented Programs.

, and . PROCOMET, volume A-56 of IFIP Transactions, page 553-572. North-Holland, (1994)

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

Eine Methode zur Konstruktion robuster Klassenhierarchien., , and . Inform., Forsch. Entwickl., 12 (4): 186-195 (1997)A Step Towards a More Practical Protocol Conformance Checking Algorithm., and . EUROMICRO-SEAA, page 458-465. IEEE Computer Society, (2009)ASM-based Mechanized Verification of Compiler Back-Ends., , , and . Workshop on Abstract State Machines, page 50-67. (1998)On the Role of Non-functional Properties in Compiler Verification., and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 491-495. Springer, (2010)Scheduling Iterative Programs onto LogP-Machine., and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 332-339. Springer, (1999)Robuste Komponentensysteme durch Protokollprüfung., and . GI-Jahrestagung, volume P-192 of LNI, page 314. GI, (2011)Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives., , and . Electron. Notes Theor. Comput. Sci., (2010)Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen., and . Software Engineering (Workshops), volume 1129 of CEUR Workshop Proceedings, page 111-128. CEUR-WS.org, (2014)Reasoning about Complexity of Object-Oriented Programs., and . PROCOMET, volume A-56 of IFIP Transactions, page 553-572. North-Holland, (1994)Weak Subtyping and Genericity., , , and . TOOLS (34), page 149-158. IEEE Computer Society, (2000)