Sfoglia per Autore
Negation as Instantiation
1995-01-01 DI PIERRO, Alessandra; M., Martelli; C., Palamidessi
Nondeterminism and Infinite Computations in Constraint Programming
1995-01-01 DI PIERRO, Alessandra; F. S., de Boer; C., Palamidessi
Negation as Instantiation
1995-01-01 Di Pierro, Alessandra; Martelli, Maurizio; Palamidessi, Catuscia
An Algebraic Perspective of Constraint Logic Programming
1997-01-01 DI PIERRO, Alessandra; F. S., de Boer; C., Palamidessi
Linear Structures for Concurrency in Probabilistic Programming Languages
2001-01-01 Di Pierro, Alessandra; Wiklicky, Herbert
Measuring the Precision of Abstract Interpretations
2001-01-01 DI PIERRO, Alessandra; H., Wiklicky
Approximate Non-Interference
2002-01-01 Di Pierro, A.; Wiklicky, C. Hankin. H.
Probabilistic Abstract Interpretation and Statistical Testing
2002-01-01 DI PIERRO, Alessandra; H., Wiklicky
Approximate Confinement under Uniform Attacks
2002-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Probabilistic Constraint Handling Rules
2002-01-01 DI PIERRO, Alessandra; T., Fruehwirth; H., Wiklicky
Analysing Approximate Confinement under Uniform Attacks
2002-01-01 Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
Quantitative Relations and Approximate Process Equivalences
2003-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Approximate Non-Interference
2004-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Probabilistic KLAIM
2004-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
A Quantitative Approach to Noninterference for Probabilistic Systems
2004-01-01 A., Aldini; DI PIERRO, Alessandra
Two Formal Approaches for Approximating Noninterference Properties
2004-01-01 A., Aldini; M., Bravetti; DI PIERRO, Alessandra; R., Gorrieri; C., Hankin; H., Wiklicky
Measuring the Confinement of Probabilistic Systems
2005-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Probabilistic Linda-based Coordination Languages
2005-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Continuous-Time Probabilistic KLAIM
2005-01-01 Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
Probabilistic Lambda-calculus and Quantitative Program Analysis
2005-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Negation as Instantiation | 1-gen-1995 | DI PIERRO, Alessandra; M., Martelli; C., Palamidessi | |
Nondeterminism and Infinite Computations in Constraint Programming | 1-gen-1995 | DI PIERRO, Alessandra; F. S., de Boer; C., Palamidessi | |
Negation as Instantiation | 1-gen-1995 | Di Pierro, Alessandra; Martelli, Maurizio; Palamidessi, Catuscia | |
An Algebraic Perspective of Constraint Logic Programming | 1-gen-1997 | DI PIERRO, Alessandra; F. S., de Boer; C., Palamidessi | |
Linear Structures for Concurrency in Probabilistic Programming Languages | 1-gen-2001 | Di Pierro, Alessandra; Wiklicky, Herbert | |
Measuring the Precision of Abstract Interpretations | 1-gen-2001 | DI PIERRO, Alessandra; H., Wiklicky | |
Approximate Non-Interference | 1-gen-2002 | Di Pierro, A.; Wiklicky, C. Hankin. H. | |
Probabilistic Abstract Interpretation and Statistical Testing | 1-gen-2002 | DI PIERRO, Alessandra; H., Wiklicky | |
Approximate Confinement under Uniform Attacks | 1-gen-2002 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Probabilistic Constraint Handling Rules | 1-gen-2002 | DI PIERRO, Alessandra; T., Fruehwirth; H., Wiklicky | |
Analysing Approximate Confinement under Uniform Attacks | 1-gen-2002 | Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert | |
Quantitative Relations and Approximate Process Equivalences | 1-gen-2003 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Approximate Non-Interference | 1-gen-2004 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Probabilistic KLAIM | 1-gen-2004 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
A Quantitative Approach to Noninterference for Probabilistic Systems | 1-gen-2004 | A., Aldini; DI PIERRO, Alessandra | |
Two Formal Approaches for Approximating Noninterference Properties | 1-gen-2004 | A., Aldini; M., Bravetti; DI PIERRO, Alessandra; R., Gorrieri; C., Hankin; H., Wiklicky | |
Measuring the Confinement of Probabilistic Systems | 1-gen-2005 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Probabilistic Linda-based Coordination Languages | 1-gen-2005 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
Continuous-Time Probabilistic KLAIM | 1-gen-2005 | Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert | |
Probabilistic Lambda-calculus and Quantitative Program Analysis | 1-gen-2005 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile