Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 62
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
Mostrati risultati da 1 a 20 di 62
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