Pedro Manuel Agostinho Resende
AuthID: R-000-EV1
11
TITLE: Open quotients of trivial vector bundles
AUTHORS: Resende, P; Santos, JP ;
PUBLISHED: 2017, SOURCE: Topology and its Applications, VOLUME: 224
AUTHORS: Resende, P; Santos, JP ;
PUBLISHED: 2017, SOURCE: Topology and its Applications, VOLUME: 224
12
TITLE: Invariant means on Boolean inverse monoids Full Text
AUTHORS: Ganna Kudryavtseva; Mark V Lawson; Daniel H Lenz; Pedro Resende;
PUBLISHED: 2016, SOURCE: SEMIGROUP FORUM, VOLUME: 92, ISSUE: 1
AUTHORS: Ganna Kudryavtseva; Mark V Lawson; Daniel H Lenz; Pedro Resende;
PUBLISHED: 2016, SOURCE: SEMIGROUP FORUM, VOLUME: 92, ISSUE: 1
13
TITLE: Invariant means on Boolean inverse monoids
AUTHORS: Kudryavtseva, G; Lawson, MV; Lenz, DH; Resende, P;
PUBLISHED: 2016, SOURCE: Semigroup Forum, VOLUME: 92, ISSUE: 1
AUTHORS: Kudryavtseva, G; Lawson, MV; Lenz, DH; Resende, P;
PUBLISHED: 2016, SOURCE: Semigroup Forum, VOLUME: 92, ISSUE: 1
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID14
TITLE: An algebraic generalization of Kripke structures
AUTHORS: SÉRGIO MARCELINO; PEDRO RESENDE;
PUBLISHED: 2008, SOURCE: Math. Proc. Camb. Phil. Soc. - Mathematical Proceedings of the Cambridge Philosophical Society, VOLUME: 145, ISSUE: 03
AUTHORS: SÉRGIO MARCELINO; PEDRO RESENDE;
PUBLISHED: 2008, SOURCE: Math. Proc. Camb. Phil. Soc. - Mathematical Proceedings of the Cambridge Philosophical Society, VOLUME: 145, ISSUE: 03
15
TITLE: Modular specification of concurrent systems with observational logic Full Text
AUTHORS: Resende, P;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
AUTHORS: Resende, P;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXED IN: 
WOS
WOS16
TITLE: Modular specification of concurrent systems with observational logic
AUTHORS: Resende, P;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1589
AUTHORS: Resende, P;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1589
