| 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 | 187 | 2019 |
| Information flow security in dynamic contexts R Focardi, S Rossi Journal of Computer Security 14 (1), 65-110, 2006 | 125 | 2006 |
| Verifying persistent security properties A Bossi, R Focardi, C Piazza, S Rossi Computer Languages, Systems & Structures 30 (3-4), 231-258, 2004 | 60 | 2004 |
| Modelling downgrading in information flow security A Bossi, C Piazza, S Rossi Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 187-201, 2004 | 54 | 2004 |
| Bridging language-based and process calculi security R Focardi, S Rossi, A Sabelfeld Foundations of Software Science and Computational Structures: 8th …, 2005 | 49 | 2005 |
| 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 | 48 | 1994 |
| Refinement operators and information flow security A Bossi, R Focardi, C Piazza, S Rossi First International Conference onSoftware Engineering and Formal Methods …, 2003 | 41 | 2003 |
| Contextual lumpability J Hillston, C Piazza, A Marin, S Rossi ValueTools 2013--7th International Conference on Performance Evaluation …, 2013 | 35 | 2013 |
| CoPS–checker of persistent security C Piazza, E Pivato, S Rossi International Conference on Tools and Algorithms for the Construction and …, 2004 | 34 | 2004 |
| Compositional information flow security for concurrent programs A Bossi, C Piazza, S Rossi Journal of Computer Security 15 (3), 373-416, 2007 | 33 | 2007 |
| On the relations between Markov chain lumpability and reversibility A Marin, S Rossi Acta Informatica 54 (5), 447-485, 2017 | 32 | 2017 |
| 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 | 32 | 2016 |
| 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 | 31 | 2002 |
| 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 | 30 | 2021 |
| 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 | 30 | 2003 |
| 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 | 30 | 2002 |
| On the relations between lumpability and reversibility A Marin, S Rossi 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation …, 2014 | 28 | 2014 |
| 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 | 28 | 2013 |
| 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 | 28 | 2011 |
| Specification-based automatic verification of Prolog programs A Cortesi, B Le Charlier, S Rossi Logic Program Synthesis and Transformation: 6th International Workshop …, 1997 | 27 | 1997 |
Andrea MarinUniversità Ca' Foscari VeneziaVerified email at dais.unive.it
