Research Output per year
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.
- 20 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
- 2 Conference contribution book
Coalgebra learning via duality
Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings. 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 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open Access
File
3
Citations
(Scopus)
7
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)
39
Downloads
(Pure)