Francesco Dagnino

Dottorando

Indirizzo Via Dodecaneso, 35 - 16146 Genova
Ufficio 309
E-mail
Telefono ufficio (+39) 010353 - 6709
Corso di dottorato 10613 - INFORMATICA E INGEGNERIA DEI SISTEMI/ COMPUTER SCIENCE AND SYSTEMS ENGINEERING
Ciclo di dottorato XXXIII
Tutor(s) Davide Ancona, Elena Zucca

Publications

  1. Francesco Dagnino (2019). Coaxioms: flexible coinductive definitions by inference systems. In Logical Methods in Computer Science 15 (1), pp 26:1 - 26:48

  2. Francesco Dagnino (2018). Flexible coinduction for infinite behaviour. In Proceedings of the 19th Italian Conference on Theoretical Computer Science, ICTCS 2018, CEUR Workshop Proceedings 2243, pp. 17 - 23, CEUR-WS.org

  3. Davide Ancona, Francesco Dagnino and Luca Franceschini (2018). A Formalism for Specification of Java API Interfaces. In Proceedings of the 20th Workshop on Formal Techniques for Java-like Programs, ACM.

  4. Davide Ancona, Francesco Dagnino and Elena Zucca (2018). Modelling infinite behaviour by corules. In 32nd European Conference on Object-Oriented Programming, ECOOP 2018, LIPIcs 109,  pp 21:1 - 21:31, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

  5. Davide Ancona, Francesco Dagnino and Elena Zucca (2017). Reasoning on divergent computations with coaxioms. In Proceedings of ACM on Programming Languages 1 (OOPSLA), pp 81:1 - 81:26, ACM

  6. Davide Ancona, Francesco Dagnino and Elena Zucca (2017). Extending Coinductive Logic Programming with Co-Facts. In Proceedings of the 1st Workshop on Coalgebra, Horn Clause Logic Programming and Types, Electronic Proceedings in Theoretical Computer Science 258, pp 1 - 18

  7. Davide Ancona, Francesco Dagnino and Elena Zucca (2017). Generalizing Inference Systems by Coaxioms. In Programming Languages and Systems - 26th European Symposium on Programming, Lecture Notes in Computer Science 10201, pp 29 - 55, Springer

  8. Davide Ancona, Francesco Dagnino and Elena Zucca (2016). Towards a model of corecursion with default. In Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, pp 9 - 14, ACM

Teaching activity

Academic year 2017/2018

  • Foundations of Computer Science (BSc in Computer Science, University of Genova)
  • Advanced Data Management (MSc in Computer Science, University of Genova)

Sei qui: Home

Questo sito usa i cookie.