BIBLIOS
Sistema de Gestão de Referências Bibliográficas de Ciências
Modo Visitante (
Login
)
Need help?
Referências para minunes
(50)
2025
Can’t you answer while you wait?
(2025)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Artigos em Revista
2025
System redevelopment for competition results
(2025)
Cachão, André Fernandes
Nunes, Maria Isabel Alves Batalha Reis da Gama
Documentos Académicos
2025
Redevelopment of the Acrobatic Diagram system
(2025)
Sousa, Catarina Matias de
Nunes, Maria Isabel Alves Batalha Reis da Gama
Documentos Académicos
2024
Hypothetical Answers to Continuous Queries Over Data Streams
(2024)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Artigos em Revista
2024
Gerador de Aplicações
(2024)
Faustino, Alexandre Serrano
Nunes, Maria Isabel Batalha Reis da Gama
Documentos Académicos
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
Documentos Académicos
2022
Can You Answer While You Wait?
(2022)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Artigos em Conferência
2022
Reconciling Communication Delays and Negation
(2022)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Artigos em Conferência
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
Documentos Académicos
2020
Hypothetical Answers to Continuous Queries over Data Streams
(2020)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Artigos em Conferência
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
Documentos Académicos
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
Documentos Académicos
2018
Digital workplace - Office 365 Solution
(2018)
Tiago Filipe Miranda Mota
Maria Isabel Alves Batalha Reis da Gama Nunes
André Alves
Documentos Académicos
2018
Active integrity constraints for general-purpose knowledge bases
(2018)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Peter Schneider-Kamp
Artigos em Revista
2017
From description-logic programs to multi-context systems
(2017)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Artigos em Revista
2016
Active Integrity Constraints for Multi-context Systems
(2016)
Luís Cruz-Filipe
Graça Gaspar
Isabel Nunes
Peter Schneider-Kamp
Artigos em Conferência
2016
Active Integrity Constraints: From Theory to Implementation
(2016)
Luís Cruz-Filipe et al., com 6 autores incluíndo:
Isabel Nunes
Artigos em Conferência
2016
Integrity Constraints for General-Purpose Knowledge Bases
(2016)
Luís Cruz-Filipe
Isabel Nunes
Peter Schneider-Kamp
Artigos em Conferência
2015
Design Patterns for Description-Logic Programs
(2015)
Cruz-Filipe L
Gaspar G
Nunes I.
Artigos em Conferência
2015
repAIrC: A Tool for Ensuring Data Consistency - By Means of Active Integrity Constraints
(2015)
Luís Cruz-Filipe et al., com 6 autores incluíndo:
Isabel Nunes
Artigos em Conferência
2014
Information Flow within Relational Multi-context Systems
(2014)
Cruz-Filipe L
Gaspar G
Nunes I
Capítulo em Livro
2013
Testing Java implementations of algebraic specifications
(2013)
Isabel Nunes
Filipe Luís
Artigos em Revista
2013
Testing Java implementations of algebraic specifications.
(2013)
Nunes I
Luis F
Artigos em Conferência
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
Documentos Académicos
2013
Patterns for Interfacing between Logic Programs and Multiple Ontologies
(2013)
Cruz-Filipe L
Gaspar G
Nunes I
Artigos em Conferência
2013
Computing Repairs from Active Integrity Constraints.
(2013)
Cruz-Filipe L
Engrácia P
Gaspar G
Nunes I
Artigos em Conferência
2013
Description logics, rules and multi-context systems
(2013)
Cruz-Filipe L
Henriques R
Nunes I
Artigos em Conferência
2013
Tighter integration in dl-programs
(2013)
Cruz-Filipe L et al., com 6 autores incluíndo:
Nunes I
Artigos em Conferência
2013
A 5-step hunt for faults in Java implementations of algebraic specifications
(2013)
Nunes I
Luís F
Artigos em Conferência
2012
Refinamento de Testes para Localização de Faltas
(2012)
Luís, Filipe Miguel Martins Serra
Nunes, Maria Isabel Batalha Reis da Gama
Documentos Académicos
2012
Achieving tightness in dl-programs
(2012)
Luis Cruz-Filipe
Patrícia Engrácia
Graça Gaspar
Isabel Nunes
Outros
2012
Patterns for Programming in the Semantic Web
(2012)
Luis Cruz-Filipe
Graça Gaspar
Isabel Nunes
Outros
2012
A fault-location technique for Java implementations of algebraic specifications
(2012)
Isabel Nunes
Filipe Luís
Outros
2011
Simulador de mensagens AFTN e OLDI - Recepção
(2011)
Reis, Joaquim Tiago Valério Pacheco Veríssimo dos
Nunes, Maria Isabel Batalha Reis da Gama
Serrano, Maria José Palmeirim
Documentos Académicos
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
Documentos Académicos
2009
Bridging the Gap between Algebraic Specification and Object-oriented Generic Programming
(2009)
Isabel Nunes
Antónia Lopes
Vasco T. Vasconcelos
Artigos em Conferência
2008
Monitoring Java code using ConGu
(2008)
Vasco T. Vasconcelos
Isabel Nunes
Antonia Lopes
Artigos em Conferência
2008
Runtime checking Java code using ConGu
(2008)
Vasco T. Vasconcelos
Isabel Nunes
Antónia Lopes
Nuno Ramiro
Pedro Crispim
Artigos em Conferência
2006
CATS - Computer Assessable Task System
(2006)
PEDRO DUARTE
Isabel Nunes
João Pedro Neto
Teresa Chambel
Artigos em Conferência
2006
Enhancing Modularity and Feedback in Computer Aided Assessment
(2006)
Duarte, P.
Nunes, I.
Neto, J.P.
Chambel, T.
Artigos em Conferência
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
Capítulo em Livro
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
Outros
2004
Method redefinition - ensuring alternative behaviours
(2004)
I. Nunes
Artigos em Revista
2003
An OCL Extension for Low-coupling Preserving Contracts
(2003)
I. Nunes
Artigos em Conferência
2003
Polymorphism in Object-Oriented Contract Verification
(2003)
I. Nunes
Capítulo em Livro
2002
Design by Contract Using Meta-Assertions.
(2002)
Isabel Nunes
Artigos em Revista
2002
Design by Contract Using Meta-Assertions
(2002)
Nunes I
Artigos em Revista
2001
Context-parameterized Coordination Model and Semantics for Behavioural Programs
(2001)
Nunes I
Artigos em Conferência
2000
A Modal Logic of Durative Actions
(2000)
Nunes I
Fiadeiro J
Turski W
Artigos em Revista
1997
Coordinating Durative Actions
(1997)
Nunes I
Fiadeiro J
Turski W
Artigos em Conferência