Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alessandra Di Pierro" ( http://dblp.L3S.de/Authors/Alessandra_Di_Pierro )

URL (Homepage):  http://www.di.unipi.it/~dipierro/  Author page on DBLP  Author page in RDF  Community of Alessandra Di Pierro in ASPL-2

Publication years (Num. hits)
1991-1999 (15) 2000-2004 (17) 2005-2007 (17) 2008-2012 (12)
Publication types (Num. hits)
article(32) inproceedings(27) proceedings(2)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(16) Theor. Comput. Sci.(5) APPIA-GULP-PRODE(3) FMCO(2) Int. J. Inf. Sec.(2) J. Log. Comput.(2) SFM(2) ALP(1) APLAS(1) CATS(1) Comput. J.(1) CONCUR(1) COORDINATION(1) CoRR(1) CSFW(1) ESOP(1) More (+10 of total 36)
Authors
Alessandra Di Pierro(61) Herbert Wiklicky(45) Chris Hankin(24) Alessandro Aldini(5) Catuscia Palamidessi(5) Antonio Cerone(2) Frank S. de Boer(2) Gethin Norman(2) Maurizio Martelli(2) Wlodzimierz Drabent(2) Antonio Brogi(1) Christel Baier(1) Igor Siveroni(1) Marco Bernardo(1) Mario Bravetti(1) Nicos Angelopoulos(1) More (+10 of total 19)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords
Results
Found 61 publication records. Showing 61 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alessandra Di Pierro, Gethin Norman Editorial: Quantitative Aspects of Programming Languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic timing covert channels: to close or not to close? Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Program Analysis Probably Counts. Search on Bibsonomy Comput. J. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Gethin Norman (eds.) Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.) Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures Search on Bibsonomy SFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic Semantics and Program Analysis. Search on Bibsonomy SFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christel Baier, Alessandra Di Pierro Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini, Alessandra Di Pierro Estimating the maximum information leakage. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Approximate noninterference, Bisimulation semantics, Process algebra, Probabilistic models, Covert channels
1Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky Relational Analysis and Precision via Probabilistic Abstract Interpretation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Semantic Abstraction and Quantum Computation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Quantifying Timing Leaks and Cost Optimisation Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Quantifying Timing Leaks and Cost Optimisation. Search on Bibsonomy ICICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky Tempus fugit: How to plug it. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Preface: Quantitative aspects of programming languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky On Probabilistic Techniques for Data Flow Analysis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky A Systematic Approach to Probabilistic Pointer Analysis. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Reversible combinatory logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky On Reversible Combinatory Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Operator Algebras and the Operational Semantics of Probabilistic Languages. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Abstract Interpretation for Worst and Average Case Analysis. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Measuring the confinement of probabilistic systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Antonio Cerone, Alessandra Di Pierro Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Continuous-Time Probabilistic KLAIM. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Antonio Cerone, Alessandra Di Pierro Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini, Alessandra Di Pierro On Quantitative Analysis of Probabilistic Protocols. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic /lambda-calculus and Quantitative Program Analysis. Search on Bibsonomy J. Log. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Quantitative static analysis of distributed systems. Search on Bibsonomy J. Funct. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. Search on Bibsonomy FMCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Approximate Non-interference. Search on Bibsonomy Journal of Computer Security The full citation details ... 2004 DBLP  BibTeX  RDF
1Alessandro Aldini, Alessandra Di Pierro A Quantitative Approach to Noninterference for Probabilistic Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic KLAIM. Search on Bibsonomy COORDINATION The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic Linda-Based Coordination Languages. Search on Bibsonomy FMCO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Quantitative Relations and Approximate Process Equivalences. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky Probabilistic Constraint Handling Rules. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky Two Formal Approaches for Approximating Noninterference Properties. Search on Bibsonomy FOSAD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Approximate Non-Interference. Search on Bibsonomy CSFW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Probabilistic Abstract Interpretation and Statistical Testing. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Analysing Approximate Confinement under Uniform Attacks. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky Linear Embedding for a Quantitative Comparison of Language Expressiveness. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky Probabilistic confinement in a declarative framework. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Linear Structures for Concurrency in Probabilistic Programming Languages. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Concurrent constraint programming: towards probabilistic abstract interpretation. Search on Bibsonomy PPDP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF probabilistic abstract interpretation, probabilistic concurrent constraint programming, static analysis
1Alessandra Di Pierro, Herbert Wiklicky Measuring the Precision of Abstract Interpretations. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky On the precision of abstract interpretations. Search on Bibsonomy LOPSTR The full citation details ... 2000 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Quantitative Observables and Averages in Probabilistic Constraint Programming. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky A Markov Model for Probabilistic Concurrent Constraint Programming. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky Implementing Randomised Algorithms in Constraint Logic Programming. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. Search on Bibsonomy CATS The full citation details ... 1998 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky An Operational Semantics for Probabilistic Concurrent Constraint Programming. (PDF / PS) Search on Bibsonomy ICCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism
1Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi An Algebraic Perspective of Constraint Logic Programming. Search on Bibsonomy J. Log. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky On Probabilistic CCP. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Wlodzimierz Drabent On Negation As Instantiation. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Wlodzimierz Drabent On Quantified Negatives Queries. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1996 DBLP  BibTeX  RDF
1Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi Nondeterminism and Infinite Computations in Constraint Programming. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi Negation as Instantiation Search on Bibsonomy Inf. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Catuscia Palamidessi A Logical Denotational Semantics for Constraint Logic Programming. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro Amalgamating NAF with NAI. Search on Bibsonomy GULP The full citation details ... 1993 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. Search on Bibsonomy ICLP The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #1 - #61 of 61 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.