Ilaria Castellani

Citado por

	Total	Desde 2019
Citas	2970	422
Índice h	29	13
Índice i10	42	17

120

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202433 39 40 80 70 92 80 79 70 106 101 102 101 90 78 94 97 80 91 72 110 106 78 62 65 88 72 62 74 62 46 40 77 57 66 68 101 50

Acceso público

Ver todo

12 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityDirección de correo verificada de di.unito.it
matthew hennessyProfessor of Computer ScienceDirección de correo verificada de cs.tcd.ie
Davide SangiorgiProfessor of Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Paola GianniniUniversita' Piemonte OrientaleDirección de correo verificada de uniupo.it
Sara CapecchiDipartimento di InformaticaDirección de correo verificada de unito.it
Jorge A. PérezAssociate Professor, University of GroningenDirección de correo verificada de rug.nl
GQ ZhangProfessor and Distinguished Chair in Digital Innovation at University of Texas Health Science CenterDirección de correo verificada de uth.tmc.edu
Tamara RezkINRIADirección de correo verificada de inria.fr
P.S. ThiagarajanVisiting Professor, Laboratory of Systems Pharmacology, Harvard Medical SchoolDirección de correo verificada de hms.harvard.edu
Madhavan MukundChennai Mathematical InstituteDirección de correo verificada de cmi.ac.in
Massimo BartolettiUniversità degli Studi di CagliariDirección de correo verificada de unica.it
Ana Almeida MatosInstituto Superior Técnico, Universidade de LisboaDirección de correo verificada de ist.utl.pt
Ross HorneUniversity of StrathclydeDirección de correo verificada de strath.ac.uk
Jovanka PantovicUniversity of Novi SadDirección de correo verificada de uns.ac.rs
Hugo Torres VieiraEvidence SrlDirección de correo verificada de evidence.eu.com
Silvia GhilezanUniversity of Novi SadDirección de correo verificada de uns.ac.rs
Bernardo ToninhoUniversidade Nova de LisboaDirección de correo verificada de fct.unl.pt
Pierre-Malo DeniélouGoogle IncDirección de correo verificada de denielou.pm
Peter ThiemannProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-Freiburg.de
Mogens NielsenProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk

Seguir

Ilaria Castellani

Researcher in Theoretical Computer Science, INRIA, France

Dirección de correo verificada de inria.fr

Concurrency theory Secure information flow Session types


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	166	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	144	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	121	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	55	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	48	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores