×

Di Pierro, Alessandra

Compute Distance To:
Author ID: di-pierro.alessandra Recent zbMATH articles by "Di Pierro, Alessandra"
Published as: Di Pierro, Alessandra; di Pierro, Alessandra; Di Pierro, A.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 96 times in 72 Documents Cited by Year
Nondeterminism and infinite computations in constraint programming. Zbl 0872.68103
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
17
1995
Probabilistic \(\lambda\)-calculus and quantitative program analysis. Zbl 1070.03008
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
12
2005
Quantitative relations and approximate process equivalences. Zbl 1274.68227
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
11
2003
Measuring the precision of abstract interpretations. Zbl 1018.68505
Di Pierro, Alessandra; Wiklicky, Herbert
7
2001
Measuring the confinement of probabilistic systems. Zbl 1142.68444
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
7
2005
A Banach space based semantics for probabilistic concurrent constraint programming. Repr. from Australian Computer Science Communications 20, No. 3 (1998). Zbl 0952.68090
Di Pierro, Alessandra; Wiklicky, Herbert
7
1998
Analysing approximate confinement under uniform attacks. Zbl 1015.68069
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
6
2002
Probabilistic KLAIM. Zbl 1081.68534
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
4
2004
Two formal approaches for approximating noninterference properties. Zbl 1202.68163
Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert
3
2004
Reversible combinatory logic. Zbl 1103.03015
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
3
2006
An algebraic perspective of constraint logic programming. Zbl 0865.68025
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
3
1997
Quantitative static analysis of distributed systems. Zbl 1104.68004
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2005
Abstract interpretation for worst and average case analysis. Zbl 1149.68350
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2007
Probabilistic abstract interpretation and statistical testing (extended abstract). Zbl 1065.68514
Di Pierro, Alessandra; Wiklicky, Herbert
2
2002
A systematic approach to probabilistic pointer analysis. Zbl 1137.68352
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2007
Negation as instantiation. Zbl 0835.68107
Di Pierro, Alessandra; Martelli, Maurizio; Palamidessi, Catuscia
2
1995
Operator algebras and the operational semantics of probabilistic languages. Zbl 1276.68050
Di Pierro, Alessandra; Wiklicky, Herbert
1
2006
Implementing randomised algorithms in constraint logic programming. Zbl 0949.68038
Angelopoulos, N.; Di Pierro, A.; Wiklicky, H.
1
1998
Semantics of probabilistic programs: a weak limit approach. Zbl 1426.68044
Di Pierro, Alessandra; Wiklicky, Herbert
1
2013
On probabilistic techniques for data flow analysis. Zbl 1279.68034
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
1
2007
Probabilistic confinement in a declarative framework. Zbl 1263.68044
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
1
2001
Biclustering with a quantum annealer. Zbl 1398.81049
Bottarelli, Lorenzo; Bicego, Manuele; Denitto, Matteo; Di Pierro, Alessandra; Farinelli, Alessandro; Mengoni, Riccardo
1
2018
Biclustering with a quantum annealer. Zbl 1398.81049
Bottarelli, Lorenzo; Bicego, Manuele; Denitto, Matteo; Di Pierro, Alessandra; Farinelli, Alessandro; Mengoni, Riccardo
1
2018
Semantics of probabilistic programs: a weak limit approach. Zbl 1426.68044
Di Pierro, Alessandra; Wiklicky, Herbert
1
2013
Abstract interpretation for worst and average case analysis. Zbl 1149.68350
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2007
A systematic approach to probabilistic pointer analysis. Zbl 1137.68352
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2007
On probabilistic techniques for data flow analysis. Zbl 1279.68034
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
1
2007
Reversible combinatory logic. Zbl 1103.03015
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
3
2006
Operator algebras and the operational semantics of probabilistic languages. Zbl 1276.68050
Di Pierro, Alessandra; Wiklicky, Herbert
1
2006
Probabilistic \(\lambda\)-calculus and quantitative program analysis. Zbl 1070.03008
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
12
2005
Measuring the confinement of probabilistic systems. Zbl 1142.68444
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
7
2005
Quantitative static analysis of distributed systems. Zbl 1104.68004
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
2
2005
Probabilistic KLAIM. Zbl 1081.68534
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
4
2004
Two formal approaches for approximating noninterference properties. Zbl 1202.68163
Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert
3
2004
Quantitative relations and approximate process equivalences. Zbl 1274.68227
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
11
2003
Analysing approximate confinement under uniform attacks. Zbl 1015.68069
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
6
2002
Probabilistic abstract interpretation and statistical testing (extended abstract). Zbl 1065.68514
Di Pierro, Alessandra; Wiklicky, Herbert
2
2002
Measuring the precision of abstract interpretations. Zbl 1018.68505
Di Pierro, Alessandra; Wiklicky, Herbert
7
2001
Probabilistic confinement in a declarative framework. Zbl 1263.68044
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
1
2001
A Banach space based semantics for probabilistic concurrent constraint programming. Repr. from Australian Computer Science Communications 20, No. 3 (1998). Zbl 0952.68090
Di Pierro, Alessandra; Wiklicky, Herbert
7
1998
Implementing randomised algorithms in constraint logic programming. Zbl 0949.68038
Angelopoulos, N.; Di Pierro, A.; Wiklicky, H.
1
1998
An algebraic perspective of constraint logic programming. Zbl 0865.68025
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
3
1997
Nondeterminism and infinite computations in constraint programming. Zbl 0872.68103
de Boer, Frank S.; Di Pierro, Alessandra; Palamidessi, Catuscia
17
1995
Negation as instantiation. Zbl 0835.68107
Di Pierro, Alessandra; Martelli, Maurizio; Palamidessi, Catuscia
2
1995
all top 5

Cited by 118 Authors

9 Di Pierro, Alessandra
8 Valencia, Frank D.
8 Wiklicky, Herbert
6 Hankin, Chris L.
6 Rueda, Camilo
5 Guzmán, Michell
4 Arrighi, Pablo
4 Díaz-Caro, Alejandro
4 Olarte, Carlos
4 Palamidessi, Catuscia
3 Falaschi, Moreno
3 Perchy, Salim
2 Bortolussi, Luca
2 Bravetti, Mario
2 Faggian, Claudia
2 Gabbrielli, Maurizio
2 Policriti, Alberto
2 Smith, Michael J. A.
2 Sotin, Pascal
2 Tini, Simone
2 Tribastone, Mirco
1 Albert, Elvira
1 Angelopoulos, Nicos
1 Arceri, Vincenzo
1 Axelsen, Holger Bock
1 Backes, Michael
1 Batz, Kevin
1 Bonatti, Piero Andrea
1 Boreale, Michele
1 Cachera, David
1 Cao, Yongzhi
1 Castiglioni, Valentina
1 Cerutti, Federico
1 Chatzikokolakis, Konstantinos
1 Ciaffaglione, Alberto
1 Correas, Jesús
1 Cortesi, Agostino
1 Cussens, James
1 Dal Lago, Ugo
1 Danos, Vincent
1 Degano, Pierpaolo
1 Di Gianantonio, Pietro
1 Dowek, Gilles
1 Ehrhard, Thomas
1 Gadella, Manuel
1 Girard, Antoine
1 Glück, Robert
1 Gori, Roberta
1 Gorrieri, Roberto
1 Grattage, Jonathan
1 Haar, Stefan
1 Heunen, Chris
1 Hillston, Jane
1 Honsell, Furio
1 Huang, Shuqin
1 Huth, Michael R. A.
1 Jennings, Nicholas R.
1 Jobin, Arnaud
1 Jonsson, Bengt
1 Kaminski, Benjamin Lucien
1 Karvonen, Martti
1 Katoen, Joost-Pieter
1 Klinkenberg, Lutz
1 Kloul, Leïla
1 Knight, Sophia
1 Köpf, Boris
1 Kwiatkowska, Marta Z.
1 Lee, Jimmy Ho-man
1 Lenisa, Marina
1 Leung, Ho-fung
1 Lucchi, Roberto
1 Luo, Xudong
1 Ma, Yanfang
1 Malacaria, Pasquale
1 Mariño, Julio
1 Marriott, Kim
1 Martínez, Guido
1 Mastroeni, Isabella
1 Mengoni, Riccardo
1 Moerman, Joshua
1 Moreno-Navarro, Juan José
1 Muñoz-Hernández, Susana
1 Nagarajan, Rajagopal
1 Nigam, Vivek
1 Nishida, Naoki
1 Norman, Gethin
1 Nyström, Sven-Olof
1 Olliaro, Martina
1 Palacios, Adrian G.
1 Pan, Haiyu
1 Panangaden, Prakash
1 Pappas, George J.
1 Pérez, Jorge A.
1 Pimentel, Elaine
1 Puebla, Germán
1 Qu, Wanling
1 Quintero, Santiago
1 Ramírez, Sergio
1 Román-Díez, Guillermo
1 Rybalchenko, Andrey
...and 18 more Authors

Citations by Year