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 engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationMathematical FoundationsComputer EngineeringSystem SoftwareProgram AnalysisParallel Programming

Publications per year

1994–2022

29

Publications

29

Formal molecular biology

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

Computational Biology, Formal Molecular Biology, Molecular Biology +3

A Simple Calculus for Proteins and Cells

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

Biophysical Modeling, Engineering, Mathematical Biophysics +20

Reversible structures

Luca Cardelli, Cosimo Laneve · 2011 · 52 citations

Mathematical Structure, Engineering, Weak Coherent Structures +10

Interaction Systems I: The theory of optimal reductions

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

Mathematical Programming, Computational Complexity Theory, Engineering +18

A framework for deadlock detection in core ABS

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

Hardware Security, Reliability Engineering, Engineering +8

1–5 of 29