No photo of Simone Barlocco

Simone Barlocco

Mr

If you made any changes in Pure these will be visible here soon.

Search results

  • 2019

    Coalgebra learning via duality

    Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2019]. Bojańczyk, M. & Simpson, A. (eds.). Cham, Switzerland: Springer, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    6 Citations (Scopus)
    11 Downloads (Pure)
  • 2017

    Angluin learning via logic

    Barlocco, S. & Kupke, C., 28 Nov 2017, Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings. Artemov, S. & Nerode, A. (eds.). Cham: Springer, p. 72-90 19 p. (Lecture Notes in Computer Science; vol. 10703).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    47 Downloads (Pure)