See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem

Olen nõus

Elena Di Lavore

https://www.etis.ee/CV/Elena_Di_Lavore/est

Teenistuskäik

Töökohad ja ametid

11.11.2019–...

Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, doktorant-nooremteadur (1,00)

Kvalifikatsioon

Teaduskraadid

Elena Di Lavore, doktorant, (juh) Paweł Maria Sobociński; Jules Hedges, Applied category theory: compositional game theory (Rakenduslik kategooriateooria: kompositsioonimängude teooria), Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut.

Publikatsioonid

Klass

Aasta

Publikatsioon

3.1.

2021

de Felice, Giovanni; Di Lavore, Elena; Román, Mario; Toumi, Alexis (2021). Functorial language games for question answering. Proceedings of the 3rd Annual International Applied Category Theory Conference 2020 (ACT 2020) : Cambridge, USA, 6-10 July 2020. Ed. Spivak, David; Vicary, Jamie. Sydney: Open Publishing Association, 311−321. (Electronic Proceedings in Theoretical Computer Science ; 333). DOI: 10.4204/EPTCS.333.21.

3.1.

2021

Di Lavore, Elena; Hedges, Jules; Sobociński, Paweł (2021). Compositional modelling of games on networks. 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) : January 25-28, 2021, Ljubljana, Slovenia. Ed. Baier, Christel; Goubault-Larrecq, Jean. Saarbrücken/Wadern: Dagstuhl Publishing, 30:1−30:24. (Leibniz International Proceedings in Informatics; 183). DOI: 10.4230/LIPIcs.CSL.2021.30.

3.1.

2021

Di Lavore, Elena; Gianola, Alessandro; Roman, Mario; Sabadini, Nicoletta; Sobocinski, Pawel (2021). A canonical algebra of open transition systems. Formal Aspects Of Component Software (Facs 2021): 17th International Conference on Formal Aspects of Component Software (FACS), OCT 28-29, 2021, ELECTR NETWORK. Ed. Salaun, G.; Wijs, A. Cham: Springer, 63−81. (Lecture Notes in Computer Science; 13077). DOI: 10.1007/978-3-030-90636-8_4.

Viimati uuendatud

25.03.2022

Elena Di Lavore

https://www.etis.ee/CV/Elena_Di_Lavore/eng

Career

Institutions and positions

11.11.2019–...

Tallinn University of Technology , School of Information Technologies, Department of Software Science, Junior Researcher (1,00)

Qualifications

Academic degrees

Elena Di Lavore, Phd student, (sup) Paweł Maria Sobociński; Jules Hedges, Applied category theory: compositional game theory, Tallinn University of Technology School of Information Technologies, Department of Software Science.

Publications

Category

Year

Publication

3.1.

2021

de Felice, Giovanni; Di Lavore, Elena; Román, Mario; Toumi, Alexis (2021). Functorial language games for question answering. Proceedings of the 3rd Annual International Applied Category Theory Conference 2020 (ACT 2020) : Cambridge, USA, 6-10 July 2020. Ed. Spivak, David; Vicary, Jamie. Sydney: Open Publishing Association, 311−321. (Electronic Proceedings in Theoretical Computer Science ; 333). DOI: 10.4204/EPTCS.333.21.

3.1.

2021

Di Lavore, Elena; Hedges, Jules; Sobociński, Paweł (2021). Compositional modelling of games on networks. 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) : January 25-28, 2021, Ljubljana, Slovenia. Ed. Baier, Christel; Goubault-Larrecq, Jean. Saarbrücken/Wadern: Dagstuhl Publishing, 30:1−30:24. (Leibniz International Proceedings in Informatics; 183). DOI: 10.4230/LIPIcs.CSL.2021.30.

3.1.

2021

Di Lavore, Elena; Gianola, Alessandro; Roman, Mario; Sabadini, Nicoletta; Sobocinski, Pawel (2021). A canonical algebra of open transition systems. Formal Aspects Of Component Software (Facs 2021): 17th International Conference on Formal Aspects of Component Software (FACS), OCT 28-29, 2021, ELECTR NETWORK. Ed. Salaun, G.; Wijs, A. Cham: Springer, 63−81. (Lecture Notes in Computer Science; 13077). DOI: 10.1007/978-3-030-90636-8_4.

Viimati uuendatud

25.03.2022