Timetabling Using Demand Profiles. - Pedro Soares; Nuno J. Mamede (EPIA, 1997)

Modelo de estimaçao dos custos da nao formaçao em saúde no ambito do diagnóstico e tratamento de feridas crónicas: uso de simulação da decisão clínica com ferramentas baseadas na Internet. - Pedro João Soares Gaspar (2009)

Transition from Process- to Product-Level Perspective for Business Software. - Nuno Ferreira 002; Nuno Santos 002; Pedro Soares; Ricardo Jorge Machado 001; Dragan Gasevic (CONFENIS, 2012)

From Networks to Trees. - Marco G. Alves; Joãd Alves; Rui Camacho; Pedro Soares; Luísa Pereira (PACBB, 2012)

A Demonstration Case on Steps and Rules for the Transition from Process-Level to Software Logical Architectures in Enterprise Models. - Nuno Ferreira 002; Nuno Santos 002; Pedro Soares; Ricardo Jorge Machado 001; Dragan Gasevic (PoEM, 2013)

Generation glosses: expanding the frontiers interactional in translation process for brazilian sign language. - Cristiane Ellwanger; Cristina Paludo Santos; Pedro Soares; Tiago Luis Weisheimer (IHC, 2015)

Revisiting Concurrent Separation Logic and Operational Semantics. - Pedro Soares; António Ravara; Simão Melo de Sousa (PDP, 2015)

Revisiting concurrent separation logic. - Pedro Soares; António Ravara; Simão Melo de Sousa (J. Log. Algebraic Methods Program., 2017)

Synchrony Branching Lemma for Regular Networks. - Pedro Soares (SIAM J. Appl. Dyn. Syst., 2017)

An Efficient and User-Friendly Implementation of the Founder Analysis Methodology. - Daniel Vieira; Mafalda Almeida; Martin B. Richards; Pedro Soares (PACBB, 2019)

Towards a Classification of Steady-State Bifurcations for Networks with Asymmetric Inputs. - Manuela A. D. Aguiar; Ana Dias 001; Pedro Soares (J. Nonlinear Sci., 2024)