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

Polymorphism in Object-Oriented Contract Verification.. Software Engineering Research and Practice, page 575-581. CSREA Press, (2003)Hypothetical answers to continuous queries over data streams., , and . CoRR, (2019)Method redefinition--ensuring alternative behaviors.. Inf. Process. Lett., 92 (6): 279-285 (2004)From description-logic programs to multi-context systems., , and . J. Log. Algebraic Methods Program., (2017)Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming., , and . RV, volume 5779 of Lecture Notes in Computer Science, page 115-131. Springer, (2009)Description Logics, Rules and Multi-context Systems., , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 243-257. Springer, (2013)Testing Java implementations of algebraic specifications, and . MBT, volume 111 of EPTCS, page 35-50. (2013)Computing Repairs from Active Integrity Constraints., , , and . TASE, page 183-190. IEEE Computer Society, (2013)Information Flow within Relational Multi-context Systems., , and . EKAW, volume 8876 of Lecture Notes in Computer Science, page 97-108. Springer, (2014)Checking the Conformance of Java Classes Against Algebraic Specifications., , , , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 494-513. Springer, (2006)