Pedro Resende

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 8

Top Topics

Visual Programming

Top Venues

Appl. Categorical Struct.

ESEC/SIGSOFT FSE

Publications

Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
SAT-Based Algorithms for Regular Graph Pattern Matching. AAAI (2024)
Xerxes D. Arsiwalla, Johannes Kleiner, Sean Tull, Pedro Resende, Kobi Kremnitzer
Editorial: Mathematical and empirical foundations of models of consciousness. Frontiers Appl. Math. Stat. 9 (2023)
Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria
SAT-Based Algorithms for Regular Graph Pattern Matching. CoRR (2023)
Pedro Resende
Qualia as physical measurements: a mathematical model of qualia and pure concepts. CoRR (2022)
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria
Duplicated Code Pattern Mining in Visual Programming Languages. CoRR (2021)
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria
Duplicated code pattern mining in visual programming languages. ESEC/SIGSOFT FSE (2021)
Juan Pablo Quijano, Pedro Resende
Functoriality of Groupoid Quantales. II. Appl. Categorical Struct. 29 (4) (2021)
Pedro Resende
Open Maps of Involutive Quantales. Appl. Categorical Struct. 26 (4) (2018)
António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos
An Algebra of Behavioural Types. Inf. Comput. 212 (2012)
Pedro Resende, Elias Rodrigues
Sheaves as Modules. Appl. Categorical Struct. 18 (2) (2010)
Sérgio Marcelino, Pedro Resende
An algebraic generalization of Kripke structures CoRR (2007)
Pedro Resende, Steven Vickers
Localic sup-lattices and tropological systems. Theor. Comput. Sci. 305 (1-3) (2003)
David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický
-Algebras. Appl. Categorical Struct. 11 (6) (2003)
Pedro Resende
Quantales, finite observations and strong bisimulation. Theor. Comput. Sci. 254 (1-2) (2001)
Pedro Resende
Modular Specification of Concurrent Systems with Observational Logic. WADT (1998)