ROSSI, Sabina

ROSSI, Sabina  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 119 (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 Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues 1-gen-2020 Marin A.Rossi S.Zen C. 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 algebra for (delimited) persistent stochastic non-interference 1-gen-2019 Marin A.Piazza C.Rossi S. 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 Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks 1-gen-2013 GALLINA, LUCIAROSSI, Sabina 2.1 Articolo su rivista -
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 Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs 1-gen-2018 Marin, AndreaRossi, SabinaBURATO, DARIOSina, AndreaSottana, Matteo 2.1 Articolo su rivista -
A product-form network for systems with job stealing policies 1-gen-2024 Diletta OlliaroAndrea MarinSabina Rossi + 2.1 Articolo su rivista -
A product-form network for systems with job stealing policies 1-gen-2023 Marin A.Rossi S.Olliaro D. 4.2 Abstract 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 Queueing Model that Works Only on the Biggest Jobs 1-gen-2020 Marin A.Rossi S. 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 Adaptable Contract-based Service Composition. 1-gen-2008 BUGLIESI, MicheleROSSI, 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 -
ALGOMOVE – A Move Embedding for Algorand 1-gen-2023 Benetollo, LorenzoBugliesi, MicheleCrafa, SilviaRossi, SabinaSpanò, Alvise 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 -