MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Alessandra Di Pierro" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

23 documents found, showing 1 through 10. Next 10 →

ATOM

Quantitative Observables and Averages in Probabilistic Constraint Programming
by Alessandra Di Pierro, Herbert Wiklicky — 1999 — New Trends in Constraints, number 1865 in Lecture Notes in Computer Science
…Quantitative Observables and Averages in Probabilistic Constraint Programming Alessandra Di Pierro…
Cited by 11 (6 self) – Add To MetaCart

Linear Structures for Concurrency in Probabilistic Programming Languages
by Alessandra Di Pierro, Herbert Wiklicky — 2001 — Proceedings of MFCSIT00{ First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology
… Di Pierro Dipartimento di Informatica, Universita di Pisa, Italy Herbert Wiklicky Department…
Cited by 4 (2 self) – Add To MetaCart

Wiklicky: Randomised Algorithms and Probabilistic Constraint Programming
by Alessandra Di Pierro, Herbert Wiklicky — Proc. of the ERCIM/Compulog Workshop on Constraints
… Randomised Algorithms and Probabilistic Constraint Programming Alessandra Di Pierro 1…
Cited by 1 (0 self) – Add To MetaCart

H.: Operator algebras and the operational semantics of probabilistic languages
by Alessandra Di Pierro, Herbert Wiklicky — 2004 — In: Proceedings of MFCSIT04 – Third Irish Conference on Mathematical Foundations of Computer Science and Information Technology
… of Probabilistic Languages Alessandra Di Pierro 1 Dipartimento di Informatica, Universitá di Pisa, Italy Herbert…
Cited by 2 (0 self) – Add To MetaCart

Measuring the precision of abstract interpretations
by Alessandra Di Pierro, Herbert Wiklicky — 2001 — In Proceedings of LOPSTR'00 - 10th International Workshop on Logic-Based Program Synthesis and Transformation
… Measuring the Precision of Abstract Interpretations Alessandra Di Pierro 1 and Herbert…
Cited by 17 (9 self) – Add To MetaCart

Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation
by Alessandra Di Pierro, Herbert Wiklicky — 2000 — Proc. of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, Lecture Notes in Computer Science
…Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation Alessandra Di…
Cited by 15 (7 self) – Add To MetaCart

Measuring the Confinement of Concurrent Probabilistic Systems
by Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky — 2003 — In Proc. of WITS’03 – 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security
… Measuring the Confinement of Concurrent Probabilistic Systems Alessandra Di Pierro 1 , Chris…
Cited by 3 (3 self) – Add To MetaCart

Probabilistic KLAIM
by Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky — 2004 — In Proc. of 7th International Conference on Coordination Models and Languages (Coordination 04), volume 2949 of LNCS
…Probabilistic KLAIM Alessandra Di Pierro 1 , Chris Hankin 2 , and Herbert Wiklicky 2 1…
Cited by 12 (4 self) – Add To MetaCart

Quantitative static analysis of distributed systems
by Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky — 2005 — Journal of Functional Programming
… ALESSANDRA Di PIERRO University of Pisa (e-mail: dipierro@di.unipi.it) CHRIS HANKIN and HERBERT WIKLICKY…
Cited by 5 (3 self) – Add To MetaCart

Negation as Instantiation
by Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
…Negation as Instantiation Alessandra Di Pierro 1 , Maurizio Martelli 2 , Catuscia Palamidessi…
Cited by 9 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB