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/153)
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
97
1.
Roman Garcia, Mario
2.
Román, Mario
3.
Alvarez, Eva Garcia
4.
Cifuentes-Garcia, Francisco
5.
Dominguez-Garcia, Jose Luis
6.
dos Santos, Diego Garcia
7.
Fradejas‐garcía, Ignacio
8.
Garcia de Gonzalo, Chanthal V.
9.
Garcia Gonzalez, B.
10.
Garcia Juanatey, Maria
11.
Garcia Molina, V.
12.
Garcia, A. R.
13.
Garcia, Edgar
14.
Garcia, Fabiola
15.
Garcia, Felipe
16.
Garcia, Jose E.
17.
García, Jose E.
18.
Garcia, Julio
19.
Garcia, R.
20.
Garcia-Agreda, Sergio
21.
Garcia-Carrodeguas, R.
22.
Garcia-Ganas, Virginia
23.
Garcia-Gasulla, Dario
24.
Garcia-Gorriz, Elisa
25.
Garcia-Granados, F.
26.
García-Martínez, M.J.
27.
Garcia-Molina, V.
28.
Garcia-Ortiz, Alberto
29.
Garcia-Pino, Abel
30.
Garcia-Rayado, Jaime
31.
García-Ruiz, Carmen
32.
Garcia-Sosa, Alfonso T.
33.
García-Sosa, Alfonso T.
34.
Garcia-Souto, Daniel
35.
Garcia-Vega, Ana
36.
Gil-Garcia, J. Ramon
37.
Llorens Garcia, Ariadna
38.
Navarro Garcia, Antonio
39.
Ortega-Garcia, Javier
40.
Sanchez, E. Garcia
41.
Sotillo, Marcos Garcia
42.
Barbareschi, Mario
43.
Castellana, Mario
44.
Coelho, Mario
45.
Colombo, Mario
46.
Eckert, Mario
47.
Giampietro, Mario
48.
Izquierdo, Mario
49.
Kadastik, Mario
50.
Mars, Mario
51.
Martinez-Corcoles, Mario
52.
Martínez-Córcoles, Mario
53.
Mäeots, Mario
54.
Naitana, Mario L.
55.
Nicoliello, Mario
56.
Palos, Mario F.
57.
Pansera, Mario
58.
Paredes Escobar, Mario Rolando
59.
Paredes, Mario
60.
Plaas, Mario
61.
Schlölzel, Mario
62.
Schölzel, Mario
63.
Tonveronachi, Mario
64.
Viespoli, Luigi Mario
65.
Öeren, Mario
66.
Barlik, Roman
67.
Beck, Roman
68.
Boroznjak, Roman
69.
Fadejev, Roman
70.
Filippov, Roman
71.
Goz, Roman U.
72.
Hollmann, Roman
73.
Ivanov, Roman
74.
Ivanov, Roman A.
75.
Jonikan, Roman
76.
Kaurson, Roman
77.
Kosenko, Roman
78.
Kriis, Roman
79.
Kulagin, Roman
80.
Loov, Roman
81.
Miroshnyk, Roman
82.
Müller, Roman
83.
Neudorf, Roman
84.
Ott, Roman
85.
Petrov, Roman
86.
Roman, Gyula
87.
Roman, M.
88.
Roman-Sanchez, Sara
89.
Shalimov, Roman
90.
Smirnov, Roman
91.
Zahharov, Roman
92.
Zaitsev, Roman
93.
Tabakaev, Roman
94.
Vaculin, Roman
95.
Valme, Roman
96.
Vasiliev, Roman
97.
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.
Boroznjak, Roman
11.
Fuchs, Roman
12.
Grodski, Roman
13.
Hollmann, Roman 1907-1998
14.
Holostoff, Roman 1888-1970
15.
Holostov, Roman
16.
Ivanov, Roman
17.
Kosenko, 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
24
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
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