Gian Luca Cattani

Publication Activity (10 Years)

Years Active: 1996-2014
Publications (10 Years): 0

Top Topics

Information Retrieval And Extraction

Face Recognition

Top Venues

Theor. Comput. Sci.

Publications

Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca
Preface. Theor. Comput. Sci. 546 (2014)
Gian Luca Cattani, Marcelo P. Fiore
The Bicategory-Theoretic Solution of Recursive Domain Equations. Electron. Notes Theor. Comput. Sci. 172 (2007)
Gian Luca Cattani, Glynn Winskel
Profunctors, open maps and bisimulation. Math. Struct. Comput. Sci. 15 (3) (2005)
Gian Luca Cattani, Peter Sewell
Models for name-passing processes: interleaving and causal. Inf. Comput. 190 (2) (2004)
Gian Luca Cattani, Glynn Winskel
Presheaf models for CCS-like languages. Theor. Comput. Sci. 300 (1-3) (2003)
Gian Luca Cattani, Peter Sewell
Models for Name-Passing Processes: Interleaving and Causal. LICS (2000)
Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel
Weak Bisimulation and Open Maps. LICS (1999)
Gian Luca Cattani, John Power, Glynn Winskel
A Categorical Axiomatics for Bisimulation. CONCUR (1998)
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
A Theory of Recursive Domains with Applications to Concurrency. LICS (1998)
Gian Luca Cattani, Ian Stark, Glynn Winskel
Presheaf Models for the pi-Calculus. Category Theory and Computer Science (1997)
Gian Luca Cattani, Vladimiro Sassone
Higher Dimensional Transition Systems. LICS (1996)
Gian Luca Cattani, Glynn Winskel
Presheaf Models for Concurrency. CSL (1996)