The Reification Dimension in Object-oriented Data Base Design. - Cristina Sernadas; Paula Gouveia; João Gouveia; Amílcar Sernadas; Pedro Resende (Specifications of Database Systems, 1992)

Modular Specification of Concurrent Systems with Observational Logic. - Pedro Resende (WADT, 1998)

Quantales, finite observations and strong bisimulation. - Pedro Resende (Theor. Comput. Sci., 2001)

On Quantales and Spectra of C*-Algebras. - David Kruml; Joan Wick Pelletier; Pedro Resende; Jirí Rosický (Appl. Categorical Struct., 2003)

Localic sup-lattices and tropological systems. - Pedro Resende; Steven Vickers (Theor. Comput. Sci., 2003)

An algebraic generalization of Kripke structures - Sérgio Marcelino; Pedro Resende (CoRR, 2007)

Sheaves as Modules. - Pedro Resende; Elias Rodrigues (Appl. Categorical Struct., 2010)

An Algebra of Behavioural Types. - António Ravara; Pedro Resende; Vasco Thudichum Vasconcelos (Inf. Comput., 2012)

Open Maps of Involutive Quantales. - Pedro Resende (Appl. Categorical Struct., 2018)

Duplicated code pattern mining in visual programming languages. - Miguel Terra-Neves; João Nadkarni; Miguel Ventura; Pedro Resende; Hugo Veiga; António Alegria (ESEC/SIGSOFT FSE, 2021)

Functoriality of Groupoid Quantales. II. - Juan Pablo Quijano; Pedro Resende (Appl. Categorical Struct., 2021)

Qualia as physical measurements: a mathematical model of qualia and pure concepts. - Pedro Resende (CoRR, 2022)

Editorial: Mathematical and empirical foundations of models of consciousness. - Xerxes D. Arsiwalla; Johannes Kleiner; Sean Tull; Pedro Resende; Kobi Kremnitzer (Frontiers Appl. Math. Stat., 2023)

SAT-Based Algorithms for Regular Graph Pattern Matching. - Miguel Terra-Neves; José Amaral; Alexandre Lemos; Rui Quintino; Pedro Resende; António Alegria (AAAI, 2024)