Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Claudio Hermida" ( http://dblp.L3S.de/Authors/Claudio_Hermida )

  Author page on DBLP  Author page in RDF  Community of Claudio Hermida in ASPL-2

Publication years (Num. hits)
1992-2011 (14)
Publication types (Num. hits)
article(9) inproceedings(5)
Venues (Conferences, Journals, ...)
Theor. Comput. Sci.(4) Inf. Comput.(2) Applied Categorical Structures(1) COMPASS/ADT(1) CONCUR(1) CSL(1) Electr. Notes Theor. Comput. S...(1) ICALP(1) LICS(1) Mathematical Structures in Com...(1)
Authors
Claudio Hermida(14) Bart Jacobs(3) Michael Makkai(3) Franck van Breugel(2) James Worrell(2) John Power(2) Paulo Mateus(2) Robert D. Tennent(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Claudio Hermida A categorical outlook on relational modalities and simulations. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Claudio Hermida, Robert D. Tennent Monoidal Indeterminates and Categories of Possible Worlds. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell Recursively defined metric spaces without contraction. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Claudio Hermida, Robert D. Tennent A fibrational framework for possible-world semantics of Algol-like languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell An Accessible Approach to Behavioural Pseudometrics. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Claudio Hermida, Paulo Mateus Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Claudio Hermida Descent on 2-Fibrations and Strongly 2-Regular 2-Categories. Search on Bibsonomy Applied Categorical Structures The full citation details ... 2004 DBLP  DOI  BibTeX  RDF 2-fibration, effective descent, essentially-surjective-on-objects, pseudo-monadicity
1Claudio Hermida, Paulo Mateus Paracategories I: internal paracategories and saturated partial algebras. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Claudio Hermida, Bart Jacobs Structural Induction and Coinduction in a Fibrational Setting. Search on Bibsonomy Inf. Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Claudio Hermida, Michael Makkai, John Power Higher Dimensional Multigraphs. Search on Bibsonomy LICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Claudio Hermida, Bart Jacobs Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Claudio Hermida, John Power Fibrational Control Structures. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Claudio Hermida, Bart Jacobs An Algebraic View of Structural Induction. Search on Bibsonomy CSL The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Claudio Hermida On Fibred Adjunctions and Completeness for Fibred Categories. Search on Bibsonomy COMPASS/ADT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.