1
TITLE: An Algebra of Behavioural Types  Full Text
AUTHORS: Antonio Ravara ; Pedro Resende ; Vasco T Vasconcelos ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
2
TITLE: Groupoid sheaves as quantale sheaves  Full Text
AUTHORS: Pedro Resende ;
PUBLISHED: 2012, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 216, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Quantales of open groupoids
AUTHORS: Clarence C Protin; Pedro Resende ;
PUBLISHED: 2012, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: ETALE GROUPOIDS AS GERM GROUPOIDS AND THEIR BASE EXTENSIONS
AUTHORS: Dmitry Matsnev; Pedro Resende ;
PUBLISHED: 2010, SOURCE: PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, VOLUME: 53, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
5
TITLE: Sheaves as Modules  Full Text
AUTHORS: Pedro Resende ; Elias Rodrigues;
PUBLISHED: 2010, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 18, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID
6
TITLE: An algebraic generalization of Kripke structures
AUTHORS: Sergio Marcelino; Pedro Resende ;
PUBLISHED: 2008, SOURCE: MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, VOLUME: 145, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID
7
TITLE: Etale groupoids and their quantales  Full Text
AUTHORS: Pedro Resende ;
PUBLISHED: 2007, SOURCE: ADVANCES IN MATHEMATICS, VOLUME: 208, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
8
TITLE: A note on infinitely distributive inverse semigroups  Full Text
AUTHORS: Pedro Resende ;
PUBLISHED: 2006, SOURCE: SEMIGROUP FORUM, VOLUME: 73, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
9
TITLE: A noncommutative theory of penrose tilings  Full Text
AUTHORS: Mulvey, CJ; Resende, P ;
PUBLISHED: 2005, SOURCE: INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, VOLUME: 44, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
10
TITLE: Sup-lattice 2-forms and quantales  Full Text
AUTHORS: Resende, P ;
PUBLISHED: 2004, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 276, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 1 of 2. Total results: 14.