BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for minunes
(45)
2024
Gerador de Aplicações
(2024)
Faustino, Alexandre Serrano
Nunes, Maria Isabel Batalha Reis da Gama
Academic documents
2023
Desenvolvimento de uma aplicação em orientação a objetos
(2023)
Carrega, Pedro Miguel Ferreira Tavares
Nunes, Maria Isabel Alves Batalha Reis da Gama
Academic documents
2022
Can You Answer While You Wait?
(2022)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Book chapters
2022
Reconciling Communication Delays and Negation
(2022)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Book chapters
2021
Desenvolvimento de solução para monitorização de aplicação SaaS
(2021)
André da Silva Pires
Maria Isabel Alves Batalha Reis da Gama Nunes
Oliveira, Inês Isabel Pimentel de
Academic documents
2020
Hypothetical Answers to Continuous Queries over Data Streams
(2020)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Conference papers
2020
Long Distance Bus - Yield Management
(2020)
Anastasiya Zyenina
Maria Isabel Alves Batalha Reis da Gama Nunes
Ana Rita Resende Alão Neves Caçador
Academic documents
2019
A Know Your Customer solution over the Portuguese Citizenship Card
(2019)
Hermínio Miguel Sobral Tavares
Coutinho, Carlos
Nunes, Maria Isabel Batalha Reis da Gama
Academic documents
2018
Digital workplace - Office 365 Solution
(2018)
Tiago Filipe Miranda Mota
Maria Isabel Alves Batalha Reis da Gama Nunes
André Alves
Academic documents
2018
Active integrity constraints for general-purpose knowledge bases
(2018)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Peter Schneider-Kamp
Journal articles
2017
From description-logic programs to multi-context systems
(2017)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Journal articles
2016
Active Integrity Constraints for Multi-context Systems
(2016)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Peter Schneider-Kamp
Conference papers
2016
Active Integrity Constraints: From Theory to Implementation
(2016)
Luís Cruz-Filipe et al., with 6 authors including:
Isabel Nunes
Conference papers
2016
Integrity Constraints for General-Purpose Knowledge Bases
(2016)
Luís Cruz-Filipe
Isabel Nunes
Peter Schneider-Kamp
Conference papers
2015
Design Patterns for Description-Logic Programs
(2015)
Cruz-Filipe L
Gaspar G
Nunes I.
Conference papers
2015
repAIrC: A Tool for Ensuring Data Consistency - By Means of Active Integrity Constraints
(2015)
Luís Cruz-Filipe et al., with 6 authors including:
Isabel Nunes
Conference papers
2014
Information Flow within Relational Multi-context Systems
(2014)
Cruz-Filipe L
Gaspar G
Nunes I
Book chapters
2013
Testing Java implementations of algebraic specifications
(2013)
Isabel Nunes
Filipe Luís
Journal articles
2013
Testing Java implementations of algebraic specifications.
(2013)
Nunes I
Luis F
Conference papers
2013
Integration of ontologies with programs based on rules
(2013)
Henriques, Rita Sofia Moreira
Nunes, Maria Isabel Batalha Reis da Gama
Filipe, Luís Calhorda Cruz
Academic documents
2013
Patterns for Interfacing between Logic Programs and Multiple Ontologies
(2013)
Cruz-Filipe L
Gaspar G
Nunes I
Conference papers
2013
Computing Repairs from Active Integrity Constraints.
(2013)
Cruz-Filipe L
Engrácia P
Gaspar G
Nunes I
Conference papers
2013
Description logics, rules and multi-context systems
(2013)
Cruz-Filipe L
Henriques R
Nunes I
Conference papers
2013
Tighter integration in dl-programs
(2013)
Cruz-Filipe L et al., with 6 authors including:
Nunes I
Conference papers
2013
A 5-step hunt for faults in Java implementations of algebraic specifications
(2013)
Nunes I
Luís F
Conference papers
2012
Refinamento de Testes para Localização de Faltas
(2012)
Luís, Filipe Miguel Martins Serra
Nunes, Maria Isabel Batalha Reis da Gama
Academic documents
2012
Achieving tightness in dl-programs
(2012)
Luis Cruz-Filipe
Patrícia Engrácia
Graça Gaspar
Isabel Nunes
Other
2012
Patterns for Programming in the Semantic Web
(2012)
Luis Cruz-Filipe
Graça Gaspar
Isabel Nunes
Other
2012
A fault-location technique for Java implementations of algebraic specifications
(2012)
Isabel Nunes
Filipe Luís
Other
2010
Desenvolvimento em tecnologia OutSystems de aplicação para gestão de património
(2010)
Premji, Dinis
Nunes, Maria Isabel Batalha Reis da Gama
Matos, Gonçalo Maria Granja Cardoso Menezes de
Academic documents
2009
Bridging the Gap between Algebraic Specification and Object-oriented Generic Programming
(2009)
Isabel Nunes
Antónia Lopes
Vasco T. Vasconcelos
Conference papers
2008
Monitoring Java code using ConGu
(2008)
Vasco T. Vasconcelos
Isabel Nunes
Antonia Lopes
Conference papers
2008
Runtime checking Java code using ConGu
(2008)
Vasco T. Vasconcelos
Isabel Nunes
Antónia Lopes
Nuno Ramiro
Pedro Crispim
Conference papers
2006
CATS - Computer Assessable Task System
(2006)
PEDRO DUARTE
Isabel Nunes
João Pedro Neto
Teresa Chambel
Conference papers
2006
Enhancing Modularity and Feedback in Computer Aided Assessment
(2006)
Duarte, P.
Nunes, I.
Neto, J.P.
Chambel, T.
Conference papers
2006
Checking the Conformance of Java Classes Against Algebraic Specifications
(2006)
Isabel Nunes
Antónia Lopes
Vasco Vasconcelos
João Abreu
Luís S. Reis
Book chapters
2005
Testing Implementations of Algebraic Specifications with Design-By-Contract Tools
(2005)
Isabel Nunes
Antónia Lopes
Vasco Vasconcelos
João Abreu
Luís S. Rei
Other
2004
Method redefinition - ensuring alternative behaviours
(2004)
I. Nunes
Journal articles
2003
An OCL Extension for Low-coupling Preserving Contracts
(2003)
I. Nunes
Conference papers
2003
Polymorphism in Object-Oriented Contract Verification
(2003)
I. Nunes
Book chapters
2002
Design by Contract Using Meta-Assertions.
(2002)
Isabel Nunes
Journal articles
2002
Design by Contract Using Meta-Assertions
(2002)
Nunes I
Journal articles
2001
Context-parameterized Coordination Model and Semantics for Behavioural Programs
(2001)
Nunes I
Conference papers
2000
A Modal Logic of Durative Actions
(2000)
Nunes I
Fiadeiro J
Turski W
Journal articles
1997
Coordinating Durative Actions
(1997)
Nunes I
Fiadeiro J
Turski W
Conference papers