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
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
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
18
Vaata veel..
(5/157)
Ekspordi
ekspordi kõik päringu tulemused
(18)
Salvesta TXT fail
Salvesta PDF 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
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
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
Kirjeid leitud 18, kuvan
1 - 18
autor
100
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, R.
21.
Garcia-Agreda, Sergio
22.
Garcia-Calva, Tomas Alberto
23.
Garcia-Carrodeguas, R.
24.
Garcia-Ganas, Virginia
25.
Garcia-Gasulla, Dario
26.
Garcia-Gorriz, Elisa
27.
Garcia-Granados, F.
28.
García-Martínez, M.J.
29.
Garcia-Molina, V.
30.
Garcia-Ortiz, Alberto
31.
Garcia-Pino, Abel
32.
Garcia-Rayado, Jaime
33.
García-Ruiz, Carmen
34.
Garcia-Sosa, Alfonso T.
35.
García-Sosa, Alfonso T.
36.
Garcia-Sotillo, Marcos
37.
Garcia-Souto, Daniel
38.
Garcia-Vega, Ana
39.
Gil-Garcia, J. Ramon
40.
Llorens Garcia, Ariadna
41.
Navarro Garcia, Antonio
42.
Ortega-Garcia, Javier
43.
Sanchez, E. Garcia
44.
Sotillo, Marcos Garcia
45.
Barbareschi, Mario
46.
Castellana, Mario
47.
Coelho, Mario
48.
Colombo, Mario
49.
Eckert, Mario
50.
Giampietro, Mario
51.
Izquierdo, Mario
52.
Kadastik, Mario
53.
Mars, Mario
54.
Martinez-Corcoles, Mario
55.
Martínez-Córcoles, Mario
56.
Mäeots, Mario
57.
Naitana, Mario L.
58.
Nicoliello, Mario
59.
Palos, Mario F.
60.
Pansera, Mario
61.
Paredes Escobar, Mario Rolando
62.
Paredes, Mario
63.
Plaas, Mario
64.
Schlölzel, Mario
65.
Schölzel, Mario
66.
Tonveronachi, Mario
67.
Viespoli, Luigi Mario
68.
Öeren, Mario
69.
Barlik, Roman
70.
Beck, Roman
71.
Boroznjak, Roman
72.
Fadejev, Roman
73.
Filippov, Roman
74.
Goz, Roman U.
75.
Hollmann, Roman
76.
Ivanov, Roman
77.
Ivanov, Roman A.
78.
Jonikan, Roman
79.
Kaurson, Roman
80.
Kosenko, Roman
81.
Kriis, Roman
82.
Kulagin, Roman
83.
Loov, Roman
84.
Miroshnyk, Roman
85.
Müller, Roman
86.
Neudorf, Roman
87.
Ott, Roman
88.
Petrov, Roman
89.
Roman, Gyula
90.
Roman, M.
91.
Roman-Sanchez, Sara
92.
Shalimov, Roman
93.
Smirnov, Roman
94.
Zahharov, Roman
95.
Zaitsev, Roman
96.
Tabakaev, Roman
97.
Vaculin, Roman
98.
Valme, Roman
99.
Vasiliev, Roman
100.
Yershov, Roman
CV
27
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.
Kosenko, Roman
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
27.
Tsvetkov, Roman
tema kohta
25
1.
Garcia, Mario Roman
2.
Draghi, Mario, 1947-
3.
Kadastik, Mario
4.
Kadastik, Mario, 1981-
5.
Leier, Mario
6.
Mars, Mario
7.
Nobre von Glehn, Mario
8.
Plaas, Mario
9.
Öeren, Mario
10.
Boroznjak, Roman
11.
Cole, Roman
12.
Fadejev, Roman
13.
Hollmann, Roman, 1907-1998
14.
Holostoff, Roman
15.
Ionikan, Roman
16.
Ivanov, Roman
17.
Koolmar, Roman, 1904-1971
18.
Kosenko, Roman, 1988-
19.
Malõšev, Roman
20.
Nyman, Roman, 1881-1951
21.
Ott, Roman
22.
Ott, Roman, 1917-1995
23.
Zahharov, Roman
24.
Tavast, Raul-Roman, 1933-
25.
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