Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Di Lavore, Elena (author)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 9
Look more.. (4/107)
Export

export all inquiry results (9)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article ENG

A canonical algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaFormal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings2021 / p. 63-81 https://doi.org/10.1007/978-3-030-90636-8_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
2

book article EST / book article ENG

Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)2021 / art. 30, p. 30:1–30:24 : ill https://doi.org/10.4230/LIPIcs.CSL.2021.30 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius
3

book article EST / book article ENG

Evidential decision theory via partial Markov categoriesDi Lavore, Elena; Roman Garcia, Mario2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 14 p. : ill https://doi.org/10.1109/LICS56636.2023.10175776 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
4

book article EST / book article ENG

Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
5

book article EST / book article ENG

Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
6

journal article EST / journal article ENG

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius
7

book article EST / book article ENG

Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius
8

dissertation

Monoidal width = Monoidiline laiusDi Lavore, Elena2023 https://doi.org/10.23658/taltech.55/2023 https://digikogu.taltech.ee/et/Item/e0ea1b50-07ff-44f4-a498-ef5c22a15502 https://www.ester.ee/record=b5645383*est

dissertation
Seotud publikatsioonid 3
9

journal article EST / journal article ENG

Span(Graph) : a canonical feedback algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaSoftware and systems modeling2023 / p. 495-520 : ill https://doi.org/10.1007/s10270-023-01092-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria

Number of records 9, displaying 1 - 9

1. Di Lavore, Elena
2. Di Lavore, Elena
3. Lavore, Elena Di
4. Dominguez Romero, Elena
5. Domínguez Romero, Elena
6. Fomina, Elena
7. Makovenko, Elena
8. Pérez Pérez, Carlota Elena
9. Prigorchenko, Elena
10. Pruvli, Jelena
11. Santasheva, Elena
12. Shmatova, Elena

1. Kirt, Elena
2. Prigorchenko, Elena
3. Santasheva, Elena
4. Santasheva, Elena, 1989-
5. Coste, Stefano di
6. Reguardati di Castelfranco, Sophie de
7. Reguardati di Castelfranco, Sophie de, 1983-

1. University di Messina

match

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu