No photo of Simone Barlocco

Simone Barlocco

Mr

20172019

Research activity per year

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

Fingerprint

Dive into the research topics where Simone Barlocco is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 30 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
  • 2 Conference contribution book

  • 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 proceeding › Conference contribution book

    Open Access
    File
    4 Citations (Scopus)
    11 Downloads (Pure)

  • 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 proceeding › Conference contribution book

    Open Access
    File
    2 Citations (Scopus)
    43 Downloads (Pure)
If you made any changes in Pure these will be visible here soon.