A Relational Model for Non-Deterministic Programs and Predicate Transformers. - Pedro Guerreiro (Symposium on Programming, 1980)

Relational Semantics of Strongly Communicating Sequential Processes. - Pedro Guerreiro (ICFPC, 1981)

Sémantique relationnelle des programmes non-déterministes et des processus communicants. - Pedro Guerreiro (1981)

Another characterization of weakest preconditions. - Pedro Guerreiro (Symposium on Programming, 1982)

Implementations of Nondeterministic Programs. - Pedro Guerreiro (Symposium on Programming, 1984)

The Anguish of the Programming Teacher on the Verge of Becoming Object-Oriented. - Pedro Guerreiro (TOOLS (11), 1993)

Another Mediocre Assertion Mechanism for C++. - Pedro Guerreiro (TOOLS (33), 2000)

Simple Support for Design by Contract in C++. - Pedro Guerreiro (TOOLS (39), 2001)

Enriching Specifications for Re-Usable Adaptive Learning Design. - Katerina Georgouli; Pedro Guerreiro (ICCE, 2005)

Combating anonymousness in populous CS1 and CS2 courses. - Pedro Guerreiro; Katerina Georgouli (ITiCSE, 2006)

Improving the Quality of Requirements with Refactoring. - Ricardo Argenton Ramos; Eduardo Kessler Piveta; Jaelson Castro; João Araújo 001; Ana Moreira 001; Pedro Guerreiro; Marcelo Soares Pimenta; R. Tom Price (SBQS, 2007)

Avoiding Bad Smells in Aspect-Oriented Software. - Eduardo Kessler Piveta; Marcelo Victora Hecht; Ana Moreira 001; Marcelo Soares Pimenta; João Araújo 001; Pedro Guerreiro; Roberto Tom Price (SEKE, 2007)

Contracts for aspect-oriented design. - Sérgio Agostinho; Ana Moreira 001; Pedro Guerreiro (SPLAT@AOSD, 2008)

Searching for Opportunities of Refactoring Sequences: Reducing the Search Space. - Eduardo Kessler Piveta; João Araújo 001; Marcelo Soares Pimenta; Ana Moreira 001; Pedro Guerreiro; Roberto Tom Price (COMPSAC, 2008)

Ranking Refactoring Patterns Using the Analytical Hierarchy Process. - Eduardo Kessler Piveta; Ana Moreira 001; Marcelo Soares Pimenta; João Araújo 001; Pedro Guerreiro; Roberto Tom Price (ICEIS (3-2), 2008)

An Aspect for Design by Contract in Java. - Sérgio Agostinho; Pedro Guerreiro; Hugo Taborda (MSVVEIS, 2008)

Teaching Programming with a Competitive Attitude to Foster Group Spirit. - Pedro Guerreiro; Katerina Georgouli (WEBIST (1), 2008)

A Framework for Adopting LMS to Introduce e-Learning in a Traditional Course. - Katerina Georgouli; Ilias Skalkidis; Pedro Guerreiro (J. Educ. Technol. Soc., 2008)

Representing refactoring opportunities. - Eduardo Kessler Piveta; Marcelo Soares Pimenta; João Araújo 001; Ana Moreira 001; Pedro Guerreiro; Roberto Tom Price (SAC, 2009)

Incorporating an Automatic Judge into Blended Learning Programming Activities. - Katerina Georgouli; Pedro Guerreiro (ICWL, 2010)

An empirical study of aspect-oriented metrics. - Eduardo Kessler Piveta; Ana Moreira 001; Marcelo Soares Pimenta; João Araújo 001; Pedro Guerreiro; Roberto Tom Price (Sci. Comput. Program., 2012)

A federation of online labs for assisting engineering and science education in the MENA region. - Razwan Mohmed Salah; Pedro Guerreiro; Gustavo R. Alves (TEEM, 2015)

IT-Based Education with Online Labs in the MENA Region: Profiling the Research Community. - Razwan Mohmed Salah; Gustavo R. Alves; Pedro Guerreiro (Int. J. Hum. Cap. Inf. Technol. Prof., 2015)

Using UML Models to Describe the VISIR System. - Razwan Mohmed Salah; Gustavo R. Alves; Pedro Guerreiro; Ingvar Gustavsson (Int. J. Online Eng., 2016)

Distributed Learning With Time Correlated Information. - Pedro Guerreiro; João Xavier (IEEE Signal Process. Lett., 2017)