CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 67
Titolo Autore(i) Anno Periodico Editore Tipo File
Information Flow Analysis for Probabilistic Timed Automata R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA 2004-01-01 IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Springer US 4.01 Contributo in Atti di convegno -
A Probabilistic Calculus for Molecular Systems R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA 2004-01-01 - Humboldt-Univeristaet, Informatik-Berichte 4.01 Contributo in Atti di convegno -
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA 2004-01-01 PROCEEDINGS OF THE IEEE IEEE CSP 4.01 Contributo in Atti di convegno -
Automatic Covert Channel Analysis of a Multilevel Secure Component R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI 2004-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag 4.01 Contributo in Atti di convegno -
Automatic Analysis of the NRL Pump R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Verification of Hybrid Automata by Synthesis and Refinement R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA 2004-01-01 - Humboldt-Univeristaet, Informatik-Berichte 4.01 Contributo in Atti di convegno -
Approximating Imperfect Cryptography in a Formal Model Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Automatic Analysis of a Non-Repudiation Protocol R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA 2005-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA 2005-01-01 - - 4.01 Contributo in Atti di convegno -
Timed Automata with Data Structures for Distributed Systems Design and Analysis R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA 2005-01-01 PROCEEDINGS OF THE IEEE IEEE CSP 4.01 Contributo in Atti di convegno -
A Calculus of Looping Sequences for Modelling Microbiological Systems R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA 2005-01-01 - Warsaw University 4.01 Contributo in Atti di convegno -
A Probabilistic Model for Molecular Systems R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA 2005-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
Towards a Formal Treatment of Secrecy against Computational Adversaries A. Troina; A. Aldini; R. Gorrieri 2005-01-01 - Springer 2.01 Capitolo / saggio in libro -
A Classification of Time and/or Probability Dependent Security Properties R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA 2006-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Bisimulation Congruences in the Calculus of Looping Sequences R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA 2006-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag 4.01 Contributo in Atti di convegno -
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata R. LANOTTE; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA 2006-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer-Verlag 4.01 Contributo in Atti di convegno -
A Calculus of Looping Sequences for Modelling Microbiological Systems R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA 2006-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
ProNoBiS - Probability and Nondeterminism, Bisimulations and Security Angelo Troina, et al. 2007-01-01 - - 8.04 Coordinamento di progetti di ricerca -
Parametric Probabilistic Transition Systems for System Design and Analysis R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA 2007-01-01 FORMAL ASPECTS OF COMPUTING - 1.01 Articolo in rivista -
A Probabilistic Applied Pi-Calculus J. GOUBAULT-LARRECQ; C. PALAMIDESSI; A. TROINA 2007-01-01 LECTURE NOTES IN COMPUTER SCIENCE Springer 4.01 Contributo in Atti di convegno -
Mostrati risultati da 1 a 20 di 67
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