Ilaria Castellani

Cited by

	All	Since 2019
Citations	2995	445
h-index	30	14
i10-index	44	19

120

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202433 39 40 80 71 92 80 79 70 106 101 102 101 90 78 94 97 80 91 72 108 106 78 64 65 88 72 62 74 62 46 40 77 57 65 68 100 75

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Paola GianniniUniversita' Piemonte OrientaleVerified email at uniupo.it
Sara CapecchiDipartimento di InformaticaVerified email at unito.it
Jorge A. PérezAssociate Professor, University of GroningenVerified email at rug.nl
GQ ZhangProfessor and Distinguished Chair in Digital Innovation at University of Texas Health Science CenterVerified email at uth.tmc.edu
Tamara RezkINRIAVerified email at inria.fr
P.S. ThiagarajanVisiting Professor, Laboratory of Systems Pharmacology, Harvard Medical SchoolVerified email at hms.harvard.edu
Madhavan MukundChennai Mathematical InstituteVerified email at cmi.ac.in
Massimo BartolettiUniversità degli Studi di CagliariVerified email at unica.it
Ana Almeida MatosInstituto Superior Técnico, Universidade de LisboaVerified email at ist.utl.pt
Ross HorneUniversity of StrathclydeVerified email at strath.ac.uk
Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Silvia GhilezanUniversity of Novi SadVerified email at uns.ac.rs
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk

Ilaria Castellani

Researcher in Theoretical Computer Science, INRIA, France

Verified email at inria.fr - Homepage

Concurrency theory Secure information flow Session types


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On bisimulations for the asynchronous π-calculus RM Amadio, I Castellani, D Sangiorgi Theoretical Computer Science 195 (2), 291-324, 1998	256	1998
Permutation of transitions: An event structure semantics for CCS and SCCS G Boudol, I Castellani Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989	201	1989
Noninterference for concurrent programs and thread systems G Boudol, I Castellani Theoretical Computer Science 281 (1-2), 109-130, 2002	195	2002
On the semantics of concurrency: partial orders and transition systems G Boudol, I Castellani Colloquium on Trees in Algebra and Programming, 123-137, 1987	176	1987
Concurrency and atomicity G Boudol, I Castellani Theoretical Computer Science 59 (1-2), 25-84, 1988	167	1988
On bisimulations for the asynchronous π-calculus RM Amadio, I Castellani, D Sangiorgi CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996	159	1996
A non-interleaving semantics for CCS based on proved transitions G Boudol, I Castellani	145	1988
Observing localities G Boudol, I Castellani, M Hennessy, A Kiehn Theoretical Computer Science 114 (1), 31-61, 1993	131	1993
Distributed bisimulations I Castellani, M Hennessy Journal of the ACM (JACM) 36 (4), 887-911, 1989	122	1989
A theory of processes with localities G Boudol, I Castellani, M Hennessy, A Kiehn Formal Aspects of Computing 6, 165-200, 1994	112	1994
Flow models of distributed computations: three equivalent semantics for CCS G Boudol, I Castellani Information and computation 114 (2), 247-314, 1994	101	1994
Process algebras with localities I Castellani Handbook of Process Algebra, 945-1045, 2001	91	2001
Testing theories for asynchronous languages I Castellani, M Hennessy International Conference on Foundations of Software Technology and …, 1998	81	1998
Noninterference for concurrent programs G Boudol, I Castellani International Colloquium on Automata, Languages, and Programming, 382-395, 2001	72	2001
Bisimulations for concurrency I Castellani KB thesis scanning project 2015, 1987	64	1987
Session types for access and information flow control S Capecchi, I Castellani, M Dezani-Ciancaglini, T Rezk CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010	57	2010
Flow models of distributed computations: event structures and nets G Boudol, I Castellani	55	1991
Graph grammars for distributed systems I Castellani, U Montanari Graph-Grammars and Their Application to Computer Science: 2nd International …, 1983	51	1983
Information flow safety in multiparty sessions S Capecchi, I Castellani, M Dezani-Ciancaglini Mathematical Structures in Computer Science 26 (8), 1352-1394, 2016	50	2016
Synthesizing distributed transition systems from global specifications I Castellani, M Mukund, PS Thiagarajan International Conference on Foundations of Software Technology and …, 1999	48	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors