フォロー
Cosimo Laneve
Cosimo Laneve
Professor of Computer Science, University of Bologna
確認したメール アドレス: unibo.it - ホームページ
タイトル
引用先
引用先
Formal molecular biology
V Danos, C Laneve
Theoretical Computer Science 325 (1), 69-110, 2004
6002004
A calculus for long-running transactions
L Bocchi, C Laneve, G Zavattaro
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
2082003
Foundations of web transactions
C Laneve, G Zavattaro
International Conference on Foundations of Software Science and Computation …, 2005
1782005
The Must Preorder Revisited
C Laneve, L Padovani
International conference on concurrency theory, 212-225, 2007
1262007
A formal account of contracts for web services
S Carpineti, G Castagna, C Laneve, L Padovani
International Workshop on Web Services and Formal Methods, 148-162, 2006
1232006
Implicit typing à la ML for the join-calculus
C Fournet, L Maranget, C Laneve, D Rémy
International Conference on Concurrency Theory, 196-212, 1997
1011997
Paths in the lambda-calculus. Three years of communications without understanding
A Asperti, V Danos, C Laneve, L Regnier
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 426-436, 1994
951994
Interaction systems I: The theory of optimal reductions
A Asperti, C Laneve
Mathematical Structures in Computer Science 4 (4), 457-504, 1994
861994
Core formal molecular biology
V Danos, C Laneve
European Symposium on Programming, 302-318, 2003
822003
Paths, computations and labels in the λ-calculus
A Asperti, C Laneve
Theoretical Computer Science 142 (2), 277-297, 1995
691995
Orchestrating Transactions in Join Calculus*
R Bruni, C Laneve, U Montanari
International Conference on Concurrency Theory, 321-337, 2002
672002
A framework for deadlock detection in core ABS
E Giachino, C Laneve, M Lienhardt
Software & Systems Modeling 15 (4), 1013-1048, 2016
652016
Graphs for core molecular biology
V Danos, C Laneve
International Conference on Computational Methods in Systems Biology, 34-46, 2003
592003
Reversible structures
L Cardelli, C Laneve
Proceedings of the 9th International Conference on Computational Methods in …, 2011
542011
A simple calculus for proteins and cells
C Laneve, F Tarissan
Electronic Notes in Theoretical Computer Science 171 (2), 139-154, 2007
512007
A basic contract language for web services
S Carpineti, C Laneve
European Symposium on Programming, 197-213, 2006
492006
Paths, computations and labels in the λ-calculus
A Asperti, C Laneve
Theoretical Computer Science 142 (2), 277-297, 1995
491995
PiDuce: a process calculus with native XML datatypes
AL Brown, C Laneve, LG Meredith
Formal Techniques for Computer Systems and Business Processes, 18-34, 2005
462005
Solos in concert
C Laneve, B Victor
Mathematical Structures in Computer Science 13 (5), 657-683, 2003
432003
Solos in concert
C Laneve, B Victor
Mathematical Structures in Computer Science 13 (5), 657-683, 2003
432003
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20