Pedro Resende

17 papers A* 1Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Scott Locales.
Appl. Categorical Struct.
Pedro Resende, João Paulo Santos
2024 A* conf
SAT-Based Algorithms for Regular Graph Pattern Matching.
AAAI
Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
2023 J jnl
Editorial: Mathematical and empirical foundations of models of consciousness.
Frontiers Appl. Math. Stat.
Xerxes D. Arsiwalla, Johannes Kleiner, Sean Tull, Pedro Resende, Kobi Kremnitzer
2023 J jnl
SAT-Based Algorithms for Regular Graph Pattern Matching.
CoRR
Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
2022 J jnl
Qualia as physical measurements: a mathematical model of qualia and pure concepts.
CoRR
Pedro Resende
2021 J jnl
Duplicated Code Pattern Mining in Visual Programming Languages.
CoRR
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria
2021 — conf
Duplicated code pattern mining in visual programming languages.
ESEC/SIGSOFT FSE
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria
2021 J jnl
Functoriality of Groupoid Quantales. II.
Appl. Categorical Struct.
Juan Pablo Quijano, Pedro Resende
2018 J jnl
Open Maps of Involutive Quantales.
Appl. Categorical Struct.
Pedro Resende
2012 J jnl
An Algebra of Behavioural Types.
Inf. Comput.
António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos
2010 J jnl
Sheaves as Modules.
Appl. Categorical Struct.
Pedro Resende, Elias Rodrigues
2007 J jnl
An algebraic generalization of Kripke structures
CoRR
Sérgio Marcelino, Pedro Resende
2003 J jnl
Localic sup-lattices and tropological systems.
Theor. Comput. Sci.
Pedro Resende, Steven Vickers
2003 J jnl
On Quantales and Spectra of C
Appl. Categorical Struct.
David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický
2001 J jnl
Quantales, finite observations and strong bisimulation.
Theor. Comput. Sci.
Pedro Resende
1998 — conf
Modular Specification of Concurrent Systems with Observational Logic.
WADT
Pedro Resende
1992 — ch.
The Reification Dimension in Object-oriented Data Base Design.
Specifications of Database Systems
Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende