ROSSI, Sabina

ROSSI, Sabina  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 105 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks 1-gen-2010 GALLINA, LUCIAROSSI, Sabina 4.1 Articolo in Atti di convegno -
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks 1-gen-2011 GALLINA, LUCIAMARIN, AndreaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks 1-gen-2011 GALLINA, LUCIAMARIN, AndreaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks 1-gen-2013 GALLINA, LUCIAMARIN, AndreaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
A Product-form Model for the Analysis of Systems with Aging Objects 1-gen-2015 CAVALLIN, FILIPPOMARIN, AndreaROSSI, Sabina 4.1 Articolo in Atti di convegno -
A Proof System for Information Flow Security 1-gen-2003 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
A Security Property for Processes in Dynamic Contexts 1-gen-2002 FOCARDI, RiccardoROSSI, Sabina 4.1 Articolo in Atti di convegno -
A Theory of Noninterference for the pi-calculus 1-gen-2005 ROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Action Refinement in Process Algebra and Security Issues 1-gen-2008 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming 1-gen-2017 MARIN, AndreaROSSI, Sabina 4.1 Articolo in Atti di convegno -
An Abstract Interpretation Framework for (almost) Full Prolog 1-gen-1994 ROSSI, Sabina + 4.1 Articolo in Atti di convegno -
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut 1-gen-1994 ROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic 1-gen-2016 MARIN, AndreaROSSI, Sabina + 2.1 Articolo su rivista -
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations 1-gen-2016 BALSAMO, Maria SimonettaCAVALLIN, FILIPPOMARIN, AndreaROSSI, Sabina 4.1 Articolo in Atti di convegno -
Automated Behavioural Verification of Prolog Programs 1-gen-1997 ROSSI, SabinaCORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Automated Verification of Behavioural Properties of Prolog Programs 1-gen-1997 ROSSI, SabinaCORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Automated Verification of Prolog Programs 1-gen-1999 ROSSI, SabinaCORTESI, Agostino + 2.1 Articolo su rivista -
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks 1-gen-2012 GALLINA, LUCIAMARIN, AndreaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Autoreversibility: exploiting symmetries in Markov chains 1-gen-2013 MARIN, AndreaROSSI, Sabina 4.1 Articolo in Atti di convegno -
Behavioural equivalences and interference metrics for mobile ad-hoc networks 1-gen-2014 BUGLIESI, MicheleGALLINA, LUCIAMARIN, AndreaROSSI, Sabina + 2.1 Articolo su rivista -