Pedro Resende

Publications while at CLC/LCG:

• C. J. Mulvey and P. Resende. A noncommutative theory of Penrose tilings. Preprint 13/03, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2003. Submitted for publication.
  Get a preprint: 03-MR-0306361.ps  03-MR-0306361.pdf 
• A. Ravara, P. Resende, and V. Vasconcelos. An algebra of behavioural types. Preprint, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2002. Submitted for publication.
  Get a preprint: 02-RRV-abt.pdf 
• P. Resende. Quantales, concurrent observations and event structures. Preprint, Section of Logic and Computation, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1999. Submitted for publication.
  Get a preprint: 99-R-concobs.ps 
• P. Resende. Sup-lattice 2-forms and quantales. Journal of Algebra, in print.
  Get a preprint: 02-R-2forms.ps  02-R-2forms.pdf 
• D. Kruml, J. W. Pelletier, P. Resende, and J. Rosick\'y. On quantales and spectra of C*-algebras. Applied Categorical Structures, 11:543--560, 2003.
  Get a preprint: 01-KPRR-0211345.ps  01-KPRR-0211345.pdf 
• P. Resende and S. Vickers. Localic sup-lattices and tropological systems. Theoretical Computer Science, 305:311--346, 2003.
  Get a preprint: 00-RV-loctropsys1.ps  00-RV-loctropsys1.dvi 
• P. Resende. Tropological systems are points of quantales. Journal of Pure and Applied Algebra, 173:87--120, 2002.
  Get a preprint: 01-R-tspq.ps  01-R-tspq.dvi  01-R-tspq.pdf 
• P. Resende. Quantales, finite observations and strong bisimulation. Theoretical Computer Science, 254:95--149, 2001.
  Get a preprint: 97-R-bisim.ps  97-R-bisim.dvi 
• P. Resende. Quantales and observational semantics. In B. Coecke, D. Moore, and A. Wilce, editors, Current Research in Operational Quantum Logic: Algebras, Categories and Languages, volume 111 of Fundamental Theories of Physics, pages 263--288. Kluwer Academic Publishers, 2000. Invited paper.
  Get a preprint: 00-R-qos.ps  00-R-qos.dvi  00-R-qos.pdf 
• P. Resende. Quantales as spaces of dynamical systems. In A. Carboni, G. Rosolini, and R. Walters, editors, Abstracts of the International Summer Conference in Category Theory (CT2000), pages 165--171. Centro di Cultura Scientifica ``Alessandro Volta" di Villa Olmo, Como, Italy, 2000.
• P. Resende. Modular specification of concurrent systems with observational logic. In J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages 310--325. Springer-Verlag, 1999.
  Get a preprint: 98-R-modular.ps  98-R-modular.dvi 
• A. Ravara, P. Resende, and V. Vasconcelos. Towards an algebra of dynamic object types. In ICALP'98 workshop Semantics of Objects as Processes. BRICS Note Series, 1998.
  Get a preprint: 98-RRV-tota.ps 
• P. Resende. Tropological Systems and Observational Logic in Concurrency and Specification. PhD thesis, IST, Universidade Técnica de Lisboa, 1998. Supervised by A. Sernadas.
  Get a preprint: 97-R-PhDThesis.ps 
• P. Resende. Observational system specification. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected Papers, pages 135--151. World Scientific Publishers, 1995.
  Get a preprint: 94-R-iscore.ps 
• S. Brass, U. Lipeck, and P. Resende. Specification of object behaviour with defaults. In G. Koshorreck and U. Lipeck, editors, IS-CORE'93 - Proceedings, pages 155--177. University of Hannover, 1993.
• C. Sernadas, P. Gouveia, J. Gouveia, A. Sernadas, and P. Resende. The reification dimension in object-oriented data base design. In D. Harper and M. Norrie, editors, Specification of Database Systems, pages 275--299. Springer-Verlag, 1992.
• P. Resende. Tableaux para lógica dinâmica proposicional (Tableaux for propositional dynamic logic). Master's thesis, IST, Universidade Técnica de Lisboa, 1991. Supervised by A. Sernadas.
• C. Sernadas, P. Resende, P. Gouveia, and A. Sernadas. In-the-large object-oriented design of information systems. In F. Van Assche, B. Moulin, and C. Rolland, editors, The Object-Oriented Approach in Information Systems, pages 209--232. North-Holland, 1991.
• P. Resende. A monoidal category of observable systems. Research report, Section of Logic and Computation, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1995. Presented at COMPASS Working Meeting, Sintra.
• P. Resende. Towards a denotational semantics of imperative objects. Research report, Section of Logic and Computation, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 1995. Presented at IS-CORE'95 and 11th ADT Workshop.

Students while at CLC/LCG:

• V. Lourenço. Quantales e módulos involutivos numa generalização não comutativa da representação de Gel'fand (Involutive quantales and involutive modules in a noncommutative generalization of Gel'fand duality). Master's thesis, IST, Universidade Técnica de Lisboa, Submitted 2003. Supervised by P. Resende.
• C. R. Vaz. Suportes de quantales e aplicações à lógica modal (Quantales with supports and applications to modal logic). Master's thesis, IST, Universidade Técnica de Lisboa, Submitted 2003. Supervised by P. Resende.
  Get a preprint: 03-V-MScThesis.ps 
• L. S. Russo. Algebra in a topos. Technical report, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2003. Diploma thesis. Supervised by P. Resende.
  Get a preprint: 03-R-DiplomaThesis.pdf 
• C. R. Vaz. Independence structures on quantales. Technical report, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2002. Diploma thesis. Supervised by P. Resende.
  Get a preprint: 02-V-DiplomaThesis.pdf 
• E. Rodrigues. Topic: Quantale Theory. PhD thesis, IST, Universidade Técnica de Lisboa, in preparation. Expected submission: 2006. Supervised by P. Resende.