Linkedin

Former Member

Isabel Nunes

Profile Picture of Isabel Nunes
to
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes. Reconciling Communication Delays and Negation, In Lecture Notes in Computer Science,Theoretical Aspects of Computing – ICTAC 2022, pages 151 - 169. Springer International Publishing, 2022 [Biblios]
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes. Can You Answer While You Wait?, In Lecture Notes in Computer Science,Foundations of Information and Knowledge Systems, pages 111 - 129. Springer International Publishing, 2022 [Biblios]
André da Silva Pires, Maria Isabel Alves Batalha Reis da Gama Nunes, Oliveira, Inês Isabel Pimentel de. Desenvolvimento de solução para monitorização de aplicação SaaS. Master's dissertation, 2021 [Biblios]
Anastasiya Zyenina, Maria Isabel Alves Batalha Reis da Gama Nunes, Ana Rita Resende Alão Neves Caçador. Long Distance Bus – Yield Management. Master's dissertation, 2020 [Biblios]
Hermínio Miguel Sobral Tavares, Coutinho, Carlos, Nunes, Maria Isabel Batalha Reis da Gama. A Know Your Customer solution over the Portuguese Citizenship Card. Master's dissertation, 2019 [Biblios]
Isabel Nunes, Antónia Lopes, Vasco T. Vasconcelos. Bridging the Gap between Algebraic Specification and Object-oriented Generic Programming. In 9th International Workshop on Runtime Verification, pages 115-131(5779). Springer Berlin Heidelberg, 2009 [Biblios]
Vasco T. Vasconcelos, Isabel Nunes, Antónia Lopes, Nuno Ramiro, Pedro Crispim. Runtime checking Java code using ConGu. In International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008 [Biblios]
Vasco T. Vasconcelos, Isabel Nunes, Antonia Lopes. Monitoring Java code using ConGu. In 19th International Workshop on Algebraic Development Techniques, 2008 [Biblios]
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Reis. Checking the Conformance of Java Classes Against Algebraic Specifications, In Formal Methods and Software Engineering,Lecture Notes in Computer Science, pages 494 - 513. Springer Berlin Heidelberg, 2006 [Biblios]
Duarte, P., Nunes, I., Neto, J.P., Chambel, T.. Enhancing Modularity and Feedback in Computer Aided Assessment. In 15th International Conference on Computing, CIC 2006., pages 240-246. IEEE, 2006 [Biblios]
PEDRO DUARTE, Isabel Nunes, João Pedro Neto, Teresa Chambel. CATS – Computer Assessable Task System. In WebALT 2006, 2006 [Biblios]
Isabel Nunes, Antónia Lopes, Vasco Vasconcelos, João Abreu, Luís S. Rei. Testing Implementations of Algebraic Specifications with Design-By-Contract Tools, 2005 [Biblios]