Concepedia

Gian Luca Cattani

GL

Statistics

Publications

14

Citations

439

H-Index

13

Active since

1996

Affiliations

University of Cambridge(Current)

Aarhus University

Danish National Research Foundation

University of Sussex

University of Edinburgh

Gian Luca Cattani is an author at University of Cambridge specializing in computer science, mathematics, and formal methods.

Publications per year

1996–2021

14

Publications

14

Profunctors, open maps and bisimulation

Gian Luca Cattani, Glynn Winskel · Mathematical Structures in Computer Science · 2005 · 68 citations

, , +12

Higher dimensional transition systems

Gian Luca Cattani, Vladimiro Sassone · 2002 · 55 citations

, , +17

A theory of recursive domains with applications to concurrency

Gian Luca Cattani, Marcelo Fiore, Glynn Winskel · 2002 · 48 citations

, , +17

Weak bisimulation and open maps

Marcelo Fiore, Gian Luca Cattani, Glynn Winskel · 2003 · 48 citations

, , +12

Presheaf Models for the pi-Calculus

Gian Luca Cattani, Ian Stark, Glynn Winskel · BRICS Report Series · 1997 · 41 citations · Full text

, , +14

1–5 of 14