Stebėti
Sabina Rossi
Sabina Rossi
Patvirtintas el. paštas dais.unive.it
Pavadinimas
Cituota
Cituota
Metai
The Southern Photometric Local Universe Survey (S-PLUS): improved SEDs, morphologies, and redshifts with 12 optical filters
C Mendes de Oliveira, T Ribeiro, W Schoenell, A Kanaan, RA Overzier, ...
Monthly Notices of the Royal Astronomical Society 489 (1), 241-267, 2019
1962019
Information flow security in dynamic contexts
R Focardi, S Rossi
Journal of Computer Security 14 (1), 65-110, 2006
1252006
Verifying persistent security properties
A Bossi, R Focardi, C Piazza, S Rossi
Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004
612004
Modelling downgrading in information flow security
A Bossi, C Piazza, S Rossi
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 187-201, 2004
542004
Bridging language-based and process calculi security
R Focardi, S Rossi, A Sabelfeld
Foundations of Software Science and Computational Structures: 8th …, 2005
502005
An abstract interpretation framework which accurately handles Prolog search-rule and the cut
B Le Charlier, S Rossi, P Van Hentenryck
Proceedings of the 1994 International Symposium on Logic programming, 157-171, 1994
491994
Refinement operators and information flow security
A Bossi, R Focardi, C Piazza, S Rossi
First International Conference onSoftware Engineering and Formal Methods …, 2003
412003
AI-enhanced blockchain technology: A review of advancements and opportunities
D Ressi, R Romanello, C Piazza, S Rossi
Journal of Network and Computer Applications, 103858, 2024
402024
Contextual lumpability
J Hillston, C Piazza, A Marin, S Rossi
ValueTools 2013--7th International Conference on Performance Evaluation …, 2013
352013
On the use of proof-of-work in permissioned blockchains: Security and fairness
I Malakhov, A Marin, S Rossi, D Smuseva
IEEE Access 10, 1305-1316, 2021
342021
CoPS–checker of persistent security
C Piazza, E Pivato, S Rossi
International Conference on Tools and Algorithms for the Construction and …, 2004
342004
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic
A Bujari, A Marin, CE Palazzi, S Rossi
Computer Networks 108, 160-170, 2016
332016
Compositional information flow security for concurrent programs
A Bossi, C Piazza, S Rossi
Journal of Computer Security 15 (3), 373-416, 2007
332007
On the relations between Markov chain lumpability and reversibility
A Marin, S Rossi
Acta Informatica 54 (5), 447-485, 2017
322017
Sequence-based abstract interpretation of Prolog
B Le Charlier, S Rossi, P Van Hentenryck
Theory and Practice of Logic Programming 2 (1), 25-84, 2002
312002
Bisimulation and unwinding for verifying possibilistic security properties
A Bossi, R Focardi, C Piazza, S Rossi
Verification, Model Checking, and Abstract Interpretation: 4th International …, 2003
302003
A proof system for information flow security
A Bossi, R Focardi, C Piazza, S Rossi
International Workshop on Logic-Based Program Synthesis and Transformation …, 2002
302002
Domoic acid at trace levels in lagoon waters: assessment of a method using internal standard quantification
E Barbaro, R Zangrando, S Rossi, WRL Cairns, R Piazza, F Corami, ...
Analytical and bioanalytical chemistry 405, 9113-9123, 2013
292013
On the relations between lumpability and reversibility
A Marin, S Rossi
2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation …, 2014
282014
A probabilistic energy-aware model for mobile ad-hoc networks
L Gallina, S Hamadou, A Marin, S Rossi
Analytical and Stochastic Modeling Techniques and Applications: 18th …, 2011
282011
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20