المؤلفون: Accattoli, Beniamino, Lancelot, Adrienne, Manzonetto, Giulio, Vanoni, Gabriele

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2409.18709

المؤلفون: Nguyên, Lê Thành Dũng, Vanoni, Gabriele

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2402.05854

المؤلفون: Gavazzo, Francesco, Treglia, Riccardo, Vanoni, Gabriele

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2401.12744

المؤلفون: Faggian, Claudia, Pautasso, Daniele, Vanoni, Gabriele

المصدر: Proc. ACM Program. Lang. 8, POPL, Article 84 (January 2024)

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2311.04651

المؤلفون: Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2301.12556

المؤلفون: Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2207.08795

المؤلفون: Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele

المصدر: Logical Methods in Computer Science, Volume 20, Issue 4 (November 20, 2024) lmcs:10883

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2203.00362

المؤلفون: Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2104.13795

المؤلفون: Avanzini, Martin, Barthe, Gilles, Grégoire, Benjamin, Moser, Georg, Vanoni, Gabriele

المساهمون: Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Max Planck Institute for Security and Privacy Bochum (MPI SP), Institute IMDEA Software Madrid, Languages de Programmation Sécures et Outils pour la Sécurité (SPLITS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Leopold Franzens Universität Innsbruck - University of Innsbruck, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), the FWF Project AUTOSARD: “Automated Sublinear Amortised Resource Analysis of Data Structures”, ANR-19-CE48-0014,PPS,Sémantique des programmes probabilistes(2019), ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)

المصدر: ACM Digital Library ; OOPSLA 2024 -ACM Conference on Object Oriented Programming Systems Languages and Applications ; https://inria.hal.science/hal-04834120 ; OOPSLA 2024 -ACM Conference on Object Oriented Programming Systems Languages and Applications, Oct 2024, Pasadena (CA), United States. pp.784-809, ⟨10.1145/3649839⟩

مصطلحات موضوعية: probabilistic programs, Hoare logic, formal verification, [INFO]Computer Science [cs]

جغرافية الموضوع: United States

Time: Pasadena (CA), United States

الاتاحة: https://inria.hal.science/hal-04834120
https://inria.hal.science/hal-04834120v1/document
https://inria.hal.science/hal-04834120v1/file/paper.pdf
https://doi.org/10.1145/3649839

المؤلفون: Gavazzo, Francesco, Treglia, Riccardo, Vanoni, Gabriele

المصدر: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 22-51 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031572616 9783031572623

الاتاحة: http://dx.doi.org/10.1007/978-3-031-57262-3_2
https://link.springer.com/content/pdf/10.1007/978-3-031-57262-3_2

المؤلفون: Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2010.12988

المؤلفون: Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2002.05649

المؤلفون: Lago, Ugo Dal, Vanoni, Gabriele

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1805.03934

المؤلفون: Dal Lago, Ugo, Vanoni, Gabriele

المساهمون: Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Foundations of Component-based Ubiquitous Systems (FOCUS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), ANR-19-CE48-0014,PPS,Sémantique des programmes probabilistes(2019), European Project: 818616,H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC),DIAPASoN(2019)

المصدر: CEUR workshop proceedings ; ICTCS 2023 - Italian Conference on Theoretical Computer Science 2023 ; https://inria.hal.science/hal-04356993 ; ICTCS 2023 - Italian Conference on Theoretical Computer Science 2023, Sep 2023, Palermo, Italy ; https://ceur-ws.org/Vol-3587/

مصطلحات موضوعية: Lambda-calculus, abstract machines, geometry of interaction, [INFO]Computer Science [cs]

جغرافية الموضوع: Palermo, Italy

Relation: info:eu-repo/grantAgreement//818616/EU/Differential Program Semantics/DIAPASoN

الاتاحة: https://inria.hal.science/hal-04356993
https://inria.hal.science/hal-04356993v1/document
https://inria.hal.science/hal-04356993v1/file/ictcs2023.pdf

المؤلفون: Vanoni, Gabriele Carlo

Thesis Advisors: Czernowin, Chaya

مصطلحات موضوعية: Music, Composition, Electroacoustic, Electronic Music, Theory/Composition

الاتاحة: http://dissertations.umi.com/gsas.harvard:10906
http://nrs.harvard.edu/urn-3:HUL.InstRepos:11124838

المؤلفون: Vanoni, Gabriele (compositeur)

المساهمون: Nagy, Zsolt (direction), Orchestre national de Lorraine (ensemble / orchestre)

الاتاحة: http://data.europeana.eu/aggregation/europeana/91401/oai_acanthes_com_archive000442

المؤلفون: ACCATTOLI, BENIAMINO, LAGO, UGO DAL, VANONI, GABRIELE

المصدر: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p15:1-15:57, 57p

مصطلحات موضوعية: MACHINE theory, ALGORITHMS, COST

المؤلفون: Nguyên, Lê Thành Dũng Tito, Vanoni, Gabriele

مصطلحات الفهرس: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, text

URL: http://arxiv.org/abs/2402.05854

المؤلفون: Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele

المساهمون: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM)

المصدر: LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://inria.hal.science/hal-03346767 ; LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, France. pp.1-13, ⟨10.1109/LICS52264.2021.9470726⟩

مصطلحات موضوعية: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Rome, France

Relation: hal-03346767; https://inria.hal.science/hal-03346767; https://inria.hal.science/hal-03346767/document; https://inria.hal.science/hal-03346767/file/2104.13795.pdf

الاتاحة: https://inria.hal.science/hal-03346767
https://inria.hal.science/hal-03346767/document
https://inria.hal.science/hal-03346767/file/2104.13795.pdf
https://doi.org/10.1109/LICS52264.2021.9470726

المؤلفون: Accattoli, Beniamino, Dal Lago, Ugo, Vanoni, Gabriele

المساهمون: Agence Nationale de la Recherche, European Research Council

المصدر: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming

الاتاحة: http://dx.doi.org/10.1145/3414080.3414108
https://dl.acm.org/doi/pdf/10.1145/3414080.3414108