Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

Roman Garcia, Mario (author)

—

—

Add criteria Simple 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 17
Look more.. (5/150)
Export

export all inquiry results (17)
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

journal article

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, MarioarXiv.org2023 / p. 39-53 : ill https://doi.org/10.48550/arXiv.2305.02675

journal article
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
3

book article EST / book article ENG

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 39-53 https://doi.org/10.4204/EPTCS.397.3 Conference proceedings at Scopus Article at Scopus Article at WOS

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

book article EST / book article ENG

Cornering opticsBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 97-110 : ill https://doi.org/10.4204/EPTCS.380.6 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
5

journal article

Cornering optics : preprintBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.00842

journal article
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
6

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
7

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
8

dissertation

Monoidal context theory = Monoidiliste kontekstide teooriaRoman Garcia, Mario2023 https://doi.org/10.23658/taltech.54/2023 https://digikogu.taltech.ee/et/Item/034fb7d2-c41f-4d12-81a9-4dd792504995 https://www.ester.ee/record=b5645423*est

dissertation
Seotud publikatsioonid 8
9

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
10

book article EST / book article ENG

Open diagrams via Coend calculusRoman Garcia, MarioProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 65-78 : ill https://doi.org/10.4204/EPTCS.333.5 Conference proceedings at Scopus Article at Scopus Article at WOS

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

journal article

Optics for premonoidal categoriesHefford, James; Roman Garcia, MarioarXiv.org2023 / p. 152-171 : ill https://doi.org/10.48550/arXiv.2305.02906

journal article
12

book article EST / book article ENG

Optics for premonoidal categoriesHefford, James; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 152-171 : ill https://doi.org/10.4204/EPTCS.397.10 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
13

journal article

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Roman Garcia, MarioarXiv.org2023 / 56 p. : ill https://doi.org/10.48550/arXiv.2301.11867

journal article
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
14

journal article

Profunctor optics : a categorical updateClarke, Bryce; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioarXiv.org2022 / 45 p https://doi.org/10.48550/arXiv.2001.07488

journal article
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
15

book article EST / book article ENG

Promonads and string diagrams for effectful categoriesRoman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 344−361 https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

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

journal article

Promonads and string diagrams for effectful categories : preprintRoman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.07664

journal article
17

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 17, displaying 1 - 17

1. Roman Garcia, Mario
2. Román García, Mario
3. Garcia, Mario
4. Corcoles, Mario Martinez
5. Kadastik, Mario 1981
6. Mars, Mario 1980
7. Martinez-Corcoles, Mario
8. Martínez-Córcoles, Mario
9. Tonveronachi, Mario 1943-
10. Boroznjak, Roman 1980
11. Fuchs, Roman
12. Grodski, Roman 1934
13. Hollmann, Roman 1907-1998
14. Holostoff, Roman 1888-1970
15. Holostov, Roman
16. Ivanov, Roman 1981
17. Kosenko, Roman
18. Kosenko, Roman 1988
19. Kriis, Roman 1917-1985
20. Neudorf, Roman
21. Neudorff, Roman
22. Nyman, Roman 1881-1951
23. Nyman, Roman Stephan
24. Nymann, Roman
25. Ott, Roman 1917-1995
26. Tavast, Raul-Roman 1933
27. Tsvetkov, Roman 1976

1. Draghi, Mario, 1947-
2. Kadastik, Mario
3. Kadastik, Mario, 1981-
4. Leier, Mario
5. Mars, Mario
6. Nobre von Glehn, Mario
7. Plaas, Mario
8. Öeren, Mario
9. Boroznjak, Roman
10. Cole, Roman
11. Fadejev, Roman
12. Hollmann, Roman, 1907-1998
13. Holostoff, Roman
14. Ionikan, Roman
15. Ivanov, Roman
16. Koolmar, Roman, 1904-1971
17. Kosenko, Roman, 1988-
18. Malõšev, Roman
19. Nyman, Roman, 1881-1951
20. Ott, Roman
21. Ott, Roman, 1917-1995
22. Zahharov, Roman
23. Tavast, Raul-Roman, 1933-
24. Tavast, Roman, 1895-1942

1. Dr. Roman May keemiatööstus
2. Roman Tavast, märkide ja väärtmetallasjade tehas
3. Roman Tavast, väärtmetallasjade ja märkide tehas
4. Usaldusühing Roman Tavast

1. roman coins

vaste

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 Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu