Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Silvia Crafa" ( http://dblp.L3S.de/Authors/Silvia_Crafa )

  Author page on DBLP  Author page in RDF  Community of Silvia Crafa in ASPL-2

Publication years (Num. hits)
2000-2006 (15) 2007-2012 (12)
Publication types (Num. hits)
article(10) inproceedings(17)
Venues (Conferences, Journals, ...)
CONCUR(6) ACSD(2) Electr. Notes Theor. Comput. S...(2) ICALP(2) Inf. Comput.(2) ACM Trans. Comput. Log.(1) ACM Trans. Program. Lang. Syst...(1) CoRR(1) FMSE(1) Formal Methods in System Desig...(1) FOSAD(1) FoSSaCS(1) FSTTCS(1) Fundam. Inform.(1) ICTCS(1) Mathematical Structures in Com...(1) More (+10 of total 18)
Authors
Silvia Crafa(27) Michele Bugliesi(14) Giuseppe Castagna(8) Francesco Ranzato(5) Sabina Rossi(4) Vladimiro Sassone(4) Daniele Varacca(2) Dario Colazzo(2) Francesco Tapparo(2) Massimo Merro(2) Nobuko Yoshida(2) Paolo Baldan(2) Amela Prelic(1) Carla Piazza(1) Damiano Macedonio(1) Marino Miculan(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 8 keywords
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Silvia Crafa, Francesco Ranzato Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Daniele Varacca, Nobuko Yoshida Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. Search on Bibsonomy FoSSaCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Francesco Ranzato, Francesco Tapparo Saving Space in a Time Efficient Simulation Algorithm. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Silvia Crafa A Logic for True Concurrency Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Silvia Crafa, Francesco Ranzato A Spectrum of Behavioral Relations over LTSs on Probability Distributions. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Francesco Ranzato Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. Search on Bibsonomy ICALP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Silvia Crafa A Logic for True Concurrency. Search on Bibsonomy CONCUR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio A type system for Discretionary Access Control. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Francesco Ranzato, Francesco Tapparo Saving Space in a Time Efficient Simulation Algorithm. Search on Bibsonomy ACSD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi PicNIc - Pi-calculus non-interference checker. Search on Bibsonomy ACSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Sabina Rossi Controlling information release in the pi-calculus. Search on Bibsonomy Inf. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Daniele Varacca, Nobuko Yoshida Compositional Event Structure Semantics for the Internal pi -Calculus. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Sabina Rossi P-congruences as non-interference for the pi-calculus. Search on Bibsonomy FMSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF process calculi, noninterference, downgrading
1Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone Communication and mobility control in boxed ambients. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Sabina Rossi A Theory of Noninterference for the pi-Calculus. Search on Bibsonomy TGC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Giuseppe Castagna, Silvia Crafa Access control for mobile agents: The calculus of boxed ambients. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Ambient calculi, access control systems, mobile computation, type systems, type safety
1Michele Bugliesi, Dario Colazzo, Silvia Crafa Type Based Discretionary Access Control. Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone Secrecy in Untrusted Networks. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Silvia Crafa, Michele Bugliesi, Giuseppe Castagna Information Flow Security for Boxed Ambients. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Viviana Bono, Michele Bugliesi, Silvia Crafa Typed interpretations of extensible objects. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization
1Michele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone A Survey of Name-Passing Calculi and Crypto-Primitives. Search on Bibsonomy FOSAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone Communication Interference in Mobile Boxed Ambients. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Giuseppe Castagna, Michele Bugliesi, Silvia Crafa An overview of Boxed Ambients. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Giuseppe Castagna, Silvia Crafa Reasoning about Security in Mobile Ambients. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Giuseppe Castagna, Silvia Crafa Subtyping and Matching for Mobile Objects. Search on Bibsonomy ICTCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Giuseppe Castagna, Silvia Crafa Boxed Ambients. Search on Bibsonomy TACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Michele Bugliesi, Giuseppe Castagna, Silvia Crafa Typed Mobile Objects. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.