( en | de | ru )

 

Disambiguation of "Nunes, Isabel"

Author of the publication

copydeleteadd this publication to your clipboard
Description Logics, Rules and Multi-context Systems.

, , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 243-257. Springer, (2013)

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.

Daltro Jose Nunes

Eric Nunes

Guilherme Nunes Hanninger

Cesar Augusto Amaral Nunes

Vanessa Nunes de Paiva

 

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)Reconciling Communication Delays and Negation., , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 151-169. Springer, (2022)Hypothetical Answers to Continuous Queries over Data Streams., , and . AAAI, page 2798-2805. AAAI Press, (2020)Design by Contract Using Meta-Assertions.. J. Object Technol., 1 (3): 37-56 (2002)Patterns for Interfacing between Logic Programs and Multiple Ontologies., , and . KEOD, page 58-69. SciTePress, (2013)Description Logics, Rules and Multi-context Systems., , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 243-257. Springer, (2013)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)Computing Repairs from Active Integrity Constraints., , , and . TASE, page 183-190. IEEE Computer Society, (2013)An OCL Extension for Low-Coupling Preserving Contracts.. UML, volume 2863 of Lecture Notes in Computer Science, page 310-324. Springer, (2003)