dblp.uni-trier.dewww.uni-trier.de

Claudio Hermida Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
12EEClaudio Hermida, Robert D. Tennent: A fibrational framework for possible-world semantics of Algol-like languages. Theor. Comput. Sci. 375(1-3): 3-19 (2007)
11EEFranck van Breugel, Claudio Hermida, Michael Makkai, James Worrell: Recursively defined metric spaces without contraction. Theor. Comput. Sci. 380(1-2): 143-163 (2007)
2005
10EEFranck van Breugel, Claudio Hermida, Michael Makkai, James Worrell: An Accessible Approach to Behavioural Pseudometrics. ICALP 2005: 1018-1030
2004
9EEClaudio Hermida: Descent on 2-Fibrations and Strongly 2-Regular 2-Categories. Applied Categorical Structures 12(5-6): 427-459 (2004)
8EEClaudio Hermida, Paulo Mateus: Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. Theor. Comput. Sci. 311(1-3): 71-103 (2004)
2003
7EEClaudio Hermida, Paulo Mateus: Paracategories I: internal paracategories and saturated partial algebras. Theor. Comput. Sci. 309(1-3): 125-156 (2003)
1998
6 Claudio Hermida, Michael Makkai, John Power: Higher Dimensional Multigraphs. LICS 1998: 199-206
5 Claudio Hermida, Bart Jacobs: Structural Induction and Coinduction in a Fibrational Setting. Inf. Comput. 145(2): 107-152 (1998)
1995
4EEClaudio Hermida, John Power: Fibrational Control Structures. CONCUR 1995: 117-129
3 Claudio Hermida, Bart Jacobs: Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. Mathematical Structures in Computer Science 5(4): 501-531 (1995)
1994
2EEClaudio Hermida, Bart Jacobs: An Algebraic View of Structural Induction. CSL 1994: 412-426
1992
1 Claudio Hermida: On Fibred Adjunctions and Completeness for Fibred Categories. COMPASS/ADT 1992: 235-251

Coauthor Index

1Franck van Breugel [10] [11]
2Bart Jacobs [2] [3] [5]
3Michael Makkai [6] [10] [11]
4Paulo Mateus [7] [8]
5John Power (A. John Power) [4] [6]
6Robert D. Tennent [12]
7James Worrell [10] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)