Isabel Nunes

Profile Picture of Isabel Nunes
Luís Cruz-FilipeGraça GasparIsabel NunesReconciling 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-FilipeGraça GasparIsabel NunesCan 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]
Isabel NunesAntónia LopesVasco T. VasconcelosBridging 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. VasconcelosIsabel NunesAntónia LopesNuno RamiroPedro CrispimRuntime checking Java code using ConGu. In International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008 [Biblios]
Vasco T. VasconcelosIsabel NunesAntonia LopesMonitoring Java code using ConGu. In 19th International Workshop on Algebraic Development Techniques, 2008 [Biblios]
Isabel NunesAntónia LopesVasco VasconcelosJoão AbreuLuís S. ReisChecking 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]