Pedro Resende

According to our database, Pedro Resende authored at least 16 papers between 1992 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Scott Locales.

Pedro Resende, João Paulo Santos

Appl. Categorical Struct., February, 2026

Verifiably UX Compliant and User-Intent Layout Generation (Extended Abstract).

Joana Coutinho, Alexandre Lemos, Pedro Resende

Proceedings of the Formal Methods - 27th International Symposium, 2026

2024

SAT-Based Algorithms for Regular Graph Pattern Matching.

Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

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

2022

Qualia as physical measurements: a mathematical model of qualia and pure concepts.

Pedro Resende

CoRR, 2022

2021

Functoriality of Groupoid Quantales. II.

Juan Pablo Quijano, Pedro Resende

Appl. Categorical Struct., 2021

Duplicated code pattern mining in visual programming languages.

Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2018

Open Maps of Involutive Quantales.

Pedro Resende

Appl. Categorical Struct., 2018

2012

An Algebra of Behavioural Types.

António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos

Inf. Comput., 2012

2010

Sheaves as Modules.

Pedro Resende, Elias Rodrigues

Appl. Categorical Struct., 2010

2007

An algebraic generalization of Kripke structures

Sérgio Marcelino, Pedro Resende

CoRR, 2007

2003

Localic sup-lattices and tropological systems.

Pedro Resende, Steven Vickers

Theor. Comput. Sci., 2003

On Quantales and Spectra of C^*-Algebras.

David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický

Appl. Categorical Struct., 2003

2001

Quantales, finite observations and strong bisimulation.

Pedro Resende

Theor. Comput. Sci., 2001

1998

Modular Specification of Concurrent Systems with Observational Logic.

Pedro Resende

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1992

The Reification Dimension in Object-oriented Data Base Design.

Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende

Proceedings of the Specifications of Database Systems, 1992