Concepedia

Cosimo Laneve

CL

Statistics

Publications

29

Citations

1.2K

H-Index

18

Active since

1994

Affiliations

University of Bologna(Current)

Institut national de recherche en sciences et technologies du numérique

University of Pisa

Centre National de la Recherche Scientifique

Zambon (Italy)

Cosimo Laneve is an author at University of Bologna specializing in computing, computer science, and formal methods.

ORCID

Publications per year

1994–2022

29

Publications

29

Formal molecular biology

Vincent Danos, Cosimo Laneve · Theoretical Computer Science · 2004 · 501 citations

A Simple Calculus for Proteins and Cells

Cosimo Laneve, Fabien Tarissan · Electronic Notes in Theoretical Computer Science · 2007 · 54 citations · Full text

, , +6

Reversible structures

Luca Cardelli, Cosimo Laneve · 2011 · 52 citations

, , +9

Interaction Systems I: The theory of optimal reductions

Andrea Asperti, Cosimo Laneve · Mathematical Structures in Computer Science · 1994 · 43 citations · Full text

, , +10

A framework for deadlock detection in core ABS

Elena Giachino, Cosimo Laneve, Michaël Lienhardt · Software & Systems Modeling · 2015 · 42 citations · Full text

, , +5

1–5 of 29