Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Francesco Zappa Nardelli

Voir le profil Scopus

Francesco Zappa Nardelli

20032022

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Francesco Zappa Nardelli est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
  • 5 Contribution à une conférence
  • 3 Article
  • 1 Chapitre

  • Applying formal verification to microkernel IPC at meta

    Carbonneaux, Q., Zilberstein, N., Klee, C., O'Hearn, P. W. & Zappa Nardelli, F., 11 janv. 2022, CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022. Popescu, A. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 116-129 14 p. (CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Correct and efficient work-stealing for weak memory models

    Lê, N. M., Pop, A., Cohen, A. & Zappa Nardelli, F., 23 févr. 2013, PPoPP 2013 - Proceedings of the 2013 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 69-79 11 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Correct and efficient work-stealing for weak memory models

    Minh Lê, N., Pop, A., Cohen, A. & Zappa Nardelli, F., 1 août 2013, Dans: ACM SIGPLAN Notices. 48, 8, p. 69-79 11 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

  • Lem: A lightweight tool for heavyweight semantics

    Owens, S., Böhm, P., Zappa Nardelli, F. & Sewell, P., 2 sept. 2011, Interactive Theorem Proving - Second International Conference, ITP 2011, Proceedings. p. 363-369 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 6898 LNCS).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Verifying fence elimination optimisations

    Vafeiadis, V. & Zappa Nardelli, F., 28 sept. 2011, Static Analysis - 18th International Symposium, SAS 2011, Proceedings. p. 146-162 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 6887 LNCS).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Reliable evidence: Auditability by typing

    Guts, N., Fournet, C. & Zappa Nardelli, F., 2 nov. 2009, Computer Security - ESORICS 2009 - 14th European Symposium on Research in Computer Security, Proceedings. p. 168-183 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 5789 LNCS).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Acute: High-level programming language design for distributed computation

    Sewell, P., Leifer, J. J., Wansbrough, K., Zappa Nardelli, F., Allen-Williams, M., Habouzit, P. & Vafeiadis, V., 1 juil. 2007, Dans: Journal of Functional Programming. 17, 4-5, p. 547-612 66 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • Behavioral theory for Mobile Ambients

    Merro, M. & Zappa Nardelli, F., 1 déc. 2005, Dans: Journal of the ACM. 52, 6, p. 961-1023 63 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

  • Bisimulation proof methods for mobile ambients

    Merro, M. & Zappa Nardelli, F., 1 janv. 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (eds.). Springer Verlag, p. 584-598 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2719).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs