Items where authors include "Raimondi, F."

Export as [feed] Atom [feed] RSS
Number of items: 7.

Article

Kousathanas, A. orcid.org/0000-0001-6265-6521, Pairo-Castineira, E. orcid.org/0000-0002-2423-3090, Rawlik, K. orcid.org/0000-0002-0010-370X et al. (2377 more authors) (2022) Whole-genome sequencing reveals host factors underlying critical COVID-19. Nature, 607. pp. 97-103. ISSN 0028-0836

Bauereiß, T., Pesenti Gritti, A., Popescu, A. orcid.org/0000-0001-8747-0619 et al. (1 more author) (2018) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning, 61 (1-4). pp. 113-139. ISSN 0168-7433

Bennaceur, K., Idini, A., Dobaczewski, Jacek Jan orcid.org/0000-0002-4158-3770 et al. (3 more authors) (2017) Nonlocal energy density functionals for pairing and beyond-mean-field calculations. Journal of physics g-Nuclear and particle physics. 045106. ISSN 0954-3899

Busard, S., Pecheur, C., Qu, H. et al. (1 more author) (2015) Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Information and Computation, 242. pp. 128-156. ISSN 0890-5401

Lomuscio, A.R., Qu, H. and Raimondi, F. (2015) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer. ISSN 1433-2779

Proceedings Paper

Bauereiß, T., Gritti, A.P., Popescu, A. orcid.org/0000-0001-8747-0619 et al. (1 more author) (2017) CoSMeDis : a distributed social media platform with formally verified confidentiality guarantees. In: 2017 IEEE Symposium on Security and Privacy (SP). 38th IEEE Symposium on Security and Privacy (SP), 22-26 May 2017, San Jose, CA, USA. IEEE , pp. 729-748. ISBN 9781509055340

Bauereiß, T., Pesenti Gritti, A., Popescu, A. et al. (1 more author) (2016) CoSMed: a confidentiality-verified social media platform. In: Blanchette, J.C. and Merz, S., (eds.) Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. 7th International Conference, ITP 2016, 22-25 Aug 2016, Nancy, France. Lecture Notes in Computer Science, LNTCS,volume 9807 . Springer International Publishing , pp. 87-106. ISBN 9783319431437

This list was generated on Sun Mar 24 14:29:17 2024 GMT.