Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Roman Garcia, Mario (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Liitotsing
filter
Tühista
×
Leitud autorid
Roman Garcia, Mario
autor
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
24
Vaata veel..
(5/168)
Ekspordi
ekspordi kõik päringu tulemused
(24)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
A canonical algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Formal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings
2021
/
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
2
artikkel ajakirjas
Coinductive streams in monoidal categories
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
Logical methods in computer science
2025
/
p. 18:1–18:52 : ill
https://doi.org//10.46298/LMCS-21(3:18)2025
artikkel ajakirjas
3
artikkel ajakirjas
Collages of string diagrams
Braithwaite, Dylan
;
Roman Garcia, Mario
arXiv.org
2023
/
p. 39-53 : ill
https://doi.org/10.48550/arXiv.2305.02675
artikkel ajakirjas
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
4
artikkel kogumikus EST
/
artikkel kogumikus ENG
Collages of string diagrams
Braithwaite, Dylan
;
Roman Garcia, Mario
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 39-53
https://doi.org/10.4204/EPTCS.397.3
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
5
artikkel kogumikus
Context-Free Languages of String Diagrams
Earnshaw, Matthew David
;
Roman Garcia, Mario
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025 : proceedings
2025
/
p. 1–23 : ill
https://doi.org/10.1007/978-3-031-90897-2_1
artikkel kogumikus
6
artikkel ajakirjas
Context-Free Languages of String Diagrams
Earnshaw, Matthew David
;
Roman Garcia, Mario
arXiv.org
2024
/
24 p. : ill
https://doi.org/10.48550/arXiv.2404.10653
artikkel ajakirjas
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
7
artikkel kogumikus EST
/
artikkel kogumikus ENG
Cornering optics
Boisseau, Guillaume
;
Nester, Chad Mitchell
;
Roman Garcia, Mario
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
8
artikkel ajakirjas
Cornering optics : preprint
Boisseau, Guillaume
;
Nester, Chad Mitchell
;
Roman Garcia, Mario
arXiv.org
2022
https://doi.org/10.48550/arXiv.2205.00842
artikkel ajakirjas
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
9
artikkel kogumikus
Effectful Mealy Machines: Bisimulation and Trace
Bonchi, Filippo
;
Di Lavore, Elena
;
Roman Garcia, Mario
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2025
/
p. 541-554 : ill
https://doi.org//10.1109/LICS65433.2025.00047
artikkel kogumikus
10
artikkel kogumikus EST
/
artikkel kogumikus ENG
Evidential decision theory via partial Markov categories
Di Lavore, Elena
;
Roman Garcia, Mario
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
14 p. : ill
https://doi.org/10.1109/LICS56636.2023.10175776
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
11
artikkel kogumikus EST
/
artikkel kogumikus ENG
Functorial language games for question answering
Felice, Giovanni de
;
Di Lavore, Elena
;
Roman Garcia, Mario
;
Toumi, Alexis
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 311–321
https://doi.org/10.4204/EPTCS.333.21
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
12
dissertatsioon
Monoidal context theory = Monoidiliste kontekstide teooria
Roman Garcia, Mario
2023
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
dissertatsioon
Seotud publikatsioonid
9
Open diagrams via Coend calculus
A canonical algebra of open transition systems
Monoidal streams for dataflow programming
Span(Graph) : a canonical feedback algebra of open transition systems
Profunctor optics : a categorical update
Collages of string diagrams
The produoidal algebra of process decomposition
Promonads and string diagrams for effectful categories
Collages of string diagrams
13
artikkel kogumikus EST
/
artikkel kogumikus ENG
Monoidal streams for dataflow programming
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 2022
2022
/
art. 3533365, p. 1-14 : ill
https://doi.org/10.1145/3531130.3533365
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
14
artikkel kogumikus EST
/
artikkel kogumikus ENG
Open diagrams via Coend calculus
Roman Garcia, Mario
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 65-78 : ill
https://doi.org/10.4204/EPTCS.333.5
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
15
artikkel ajakirjas
Optics for premonoidal categories
Hefford, James
;
Roman Garcia, Mario
arXiv.org
2023
/
p. 152-171 : ill
https://doi.org/10.48550/arXiv.2305.02906
artikkel ajakirjas
16
artikkel kogumikus EST
/
artikkel kogumikus ENG
Optics for premonoidal categories
Hefford, James
;
Roman Garcia, Mario
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 152-171 : ill
https://doi.org/10.4204/EPTCS.397.10
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
17
artikkel kogumikus
Order in partial Markov categories
Di Lavore, Elena
;
Roman Garcia, Mario
;
Sobocinski, Pawel Maria
;
Szeles, Mark
41st Conference on the Mathematical Foundaions of Programming Semantics, Proceedings of MFPS XLI, June 16-21, 2025, Glasgow, Scotland
2025
/
21 p. : ill
https://doi.org/10.46298/entics.16686
artikkel kogumikus
18
artikkel ajakirjas
The produoidal algebra of process decomposition
Earnshaw, Matthew David
;
Hefford, James
;
Roman Garcia, Mario
arXiv.org
2023
/
56 p. : ill
https://doi.org/10.48550/arXiv.2301.11867
artikkel ajakirjas
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
19
artikkel ajakirjas
Profunctor optics : a categorical update
Clarke, Bryce James
;
Elkins, Derek
;
Gibbons, Jeremy
;
Loregian, Fosco
;
Milewski, Bartosz
;
Pillmore, Emily
;
Roman Garcia, Mario
arXiv.org
2022
/
45 p
https://doi.org/10.48550/arXiv.2001.07488
artikkel ajakirjas
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
20
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Profunctor optics: a categorical update
Clarke, Bryce James
;
Elkins, Derek
;
Gibbons, Jeremy
;
Loregian, Fosco
;
Milewski, Bartosz
;
Pillmore, Emily
;
Roman Garcia, Mario
Compositionality
2024
/
39 p. : ill
https://doi.org/10.32408/compositionality-6-1
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
21
artikkel kogumikus EST
/
artikkel kogumikus ENG
Promonads and string diagrams for effectful categories
Roman Garcia, Mario
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
22
artikkel ajakirjas
Promonads and string diagrams for effectful categories : preprint
Roman Garcia, Mario
arXiv.org
2022
https://doi.org/10.48550/arXiv.2205.07664
artikkel ajakirjas
23
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Span(Graph) : a canonical feedback algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Software and systems modeling
2023
/
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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
24
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
String diagrams for premonoidal categories
Roman Garcia, Mario
;
Sobocinski, Pawel Maria
Logical methods in computer science
2025
/
20 p. : ill
https://lmcs.episciences.org/15593/pdf
https://doi.org/10.46298/LMCS-21(2:9)2025
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 24, kuvan
1 - 24
autor
111
1.
Roman Garcia, Mario
2.
Román, Mario
3.
Alvarez, Eva Garcia
4.
Cifuentes-Garcia, Francisco
5.
Cuevas Garcia, Carlos
6.
Dominguez-Garcia, Jose Luis
7.
dos Santos, Diego Garcia
8.
Fradejas‐garcía, Ignacio
9.
Garcia de Gonzalo, Chanthal V.
10.
Garcia Gonzalez, B.
11.
Garcia Juanatey, Maria
12.
Garcia Molina, V.
13.
Garcia, A. R.
14.
Garcia, Edgar
15.
Garcia, Fabiola
16.
Garcia, Felipe
17.
Garcia, Jose E.
18.
García, Jose E.
19.
Garcia, Julio
20.
Garcia, M. F.
21.
Garcia, R.
22.
Garcia-Agreda, Sergio
23.
Garcia-Calva, Tomas Alberto
24.
Garcia-Carrodeguas, R.
25.
Garcia-Ganas, Virginia
26.
Garcia-Gasulla, Dario
27.
Garcia-Gorriz, Elisa
28.
Garcia-Granados, F.
29.
García-Martínez, M.J.
30.
Garcia-Molina, V.
31.
Garcia-Ortiz, Alberto
32.
Garcia-Pino, Abel
33.
Garcia-Rayado, Jaime
34.
García-Ruiz, Carmen
35.
Garcia-Sosa, Alfonso T.
36.
García-Sosa, Alfonso T.
37.
Garcia-Sotillo, Marcos
38.
Garcia-Souto, Daniel
39.
Garcia-Vega, Ana
40.
Gil-Garcia, J. Ramon
41.
Llorens Garcia, Ariadna
42.
Lopez-Garcia, Alex
43.
Martinez-Garcia, Alfredo
44.
Navarro Garcia, Antonio
45.
Ortega-Garcia, Javier
46.
Sanchez, E. Garcia
47.
Sotillo, Marcos Garcia
48.
Valle, Gonzalo Garcia
49.
Acosta, Mario
50.
Barbareschi, Mario
51.
Castellana, Mario
52.
Coelho, Mario
53.
Colombo, Mario
54.
Eckert, Mario
55.
Giampietro, Mario
56.
Habek, Mario
57.
Izquierdo, Mario
58.
Kadastik, Mario
59.
Mars, Mario
60.
Martinez-Corcoles, Mario
61.
Martínez-Córcoles, Mario
62.
Martins, Mario Lucio da Silva
63.
Mäeots, Mario
64.
Naitana, Mario L.
65.
Nicoliello, Mario
66.
Palos, Mario F.
67.
Pansera, Mario
68.
Paredes Escobar, Mario Rolando
69.
Paredes, Mario
70.
Perry, Mario Caruana Grech
71.
Plaas, Mario
72.
Schlölzel, Mario
73.
Schölzel, Mario
74.
Tonveronachi, Mario
75.
Viespoli, Luigi Mario
76.
Öeren, Mario
77.
Barlik, Roman
78.
Beck, Roman
79.
Berenblyum, Roman A
80.
Bondarev, Roman
81.
Boroznjak, Roman
82.
Fadejev, Roman
83.
Filippov, Roman
84.
Goz, Roman U.
85.
Hollmann, Roman
86.
Ivanov, Roman
87.
Ivanov, Roman A.
88.
Jonikan, Roman
89.
Kaurson, Roman
90.
Kosenko, Roman
91.
Kriis, Roman
92.
Kulagin, Roman
93.
Loov, Roman
94.
Miroshnyk, Roman
95.
Müller, Roman
96.
Neudorf, Roman
97.
Ott, Roman
98.
Perez-Roman, Berta
99.
Petrov, Roman
100.
Roman, Gyula
101.
Roman, M.
102.
Roman-Sanchez, Sara
103.
Shalimov, Roman
104.
Smirnov, Roman
105.
Zahharov, Roman
106.
Zaitsev, Roman
107.
Tabakaev, Roman
108.
Vaculin, Roman
109.
Valme, Roman
110.
Vasiliev, Roman
111.
Yershov, Roman
CV
28
1.
Roman Garcia, Mario
2.
Román García, Mario
3.
Garcia, Mario
4.
Corcoles, Mario Martinez
5.
Kadastik, Mario
6.
Mars, Mario
7.
Martinez-Corcoles, Mario
8.
Martínez-Córcoles, Mario
9.
Tonveronachi, Mario
10.
Öeren, Mario
11.
Boroznjak, Roman
12.
Fuchs, Roman
13.
Grodski, Roman
14.
Hollmann, Roman 1907-1998
15.
Holostoff, Roman 1888-1970
16.
Holostov, Roman
17.
Ivanov, Roman
18.
Ivanov, Roman I.
19.
Kosenko, Roman
20.
Kriis, Roman 1917-1985
21.
Neudorf, Roman
22.
Neudorff, Roman
23.
Nyman, Roman 1881-1951
24.
Nyman, Roman Stephan
25.
Nymann, Roman
26.
Ott, Roman 1917-1995
27.
Tavast, Raul-Roman
28.
Tsvetkov, Roman
tema kohta
24
1.
Garcia, Mario Roman
2.
Draghi, Mario, 1947-
3.
Kadastik, Mario
4.
Kadastik, Mario, 1981-
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, 1899-1970
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
märksõna
4
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
võtmesõna
1
1.
roman coins
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT