Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Di Giorgio, Alessandro (autor)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

Leitud autorid

Di Giorgio, Alessandro CV

autor

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 7
Vaata veel.. (4/76)
Ekspordi

ekspordi kõik päringu tulemused (7)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

A diagrammatic algebra for program logicsBonchi, Filippo; Di Giorgio, Alessandro; Di Lavore, ElenaFoundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Ontario, Canada, May 3–8, 2025, Proceedings2025 / p. 308-330 https://doi.org/10.1007/978-3-031-90897-2_15 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
2

artikkel kogumikus EST / artikkel kogumikus ENG

Diagrammatic algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaLICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024 / art. 16, p. 1-15 : ill https://doi.org/10.1145/3661814.3662078 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
3

artikkel ajakirjas

Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055

artikkel ajakirjas
4

artikkel kogumikus EST / artikkel kogumikus ENG

Diagrammatic polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
5

artikkel kogumikus EST / artikkel kogumikus ENG

Rewriting for Traced Monoidal Closed CategoriesDi Giorgio, Alessandro; Ghica, Dan R.; Zanasi, FabioGraph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings2025 / p. 24–43 : ill https://doi.org/10.1007/978-3-031-94706-3_2 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
6

artikkel kogumikus

Tape Diagrams for Monoidal MonadsBonchi, Filippo; Cioffo, Cipriano Junior; Di Giorgio, Alessandro; Di Lavore, Elena11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025) : CALCO 2025, June 16–18, 2025, University of Strathclyde, UK2025 / art. 11, p. 11:1–11:24 https://doi.org/10.4230/LIPIcs.CALCO.2025.11

artikkel kogumikus
7

artikkel kogumikus EST / artikkel kogumikus ENG

Tape diagrams for monoidal monadsBonchi, Filippo; Cioffo, Cipriano Junior; Di Giorgio, Alessandro; Di Lavore, Elena11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, June 16-18, Strathclyde, UK2025 / 24 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2025.11 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Kirjeid leitud 7, kuvan 1 - 7

1. Parente, Alessandro
2. Parisi, Giorgio
3. Coste, Stefano di
4. Di Lavore, Elena
5. Reguardati di Castelfranco, Sophie de
6. Reguardati di Castelfranco, Sophie de, 1983-

1. Di Giorgio, Alessandro
2. Cavalli, Alessandro
3. Volpicelli, Alessandro
4. Di Lavore, Elena
5. Lavore, Elena Di

1. University di Messina

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu