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
17
Vaata veel..
(5/151)
Ekspordi
ekspordi kõik päringu tulemused
(17)
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
8
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
Promonads and string diagrams for effectful categories
Collages of string diagrams
The produoidal algebra of process decomposition
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
;
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 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
16
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
17
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 17, kuvan
1 - 17
autor
95
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 Molina, V.
11.
Garcia, A. R.
12.
Garcia, Edgar
13.
Garcia, Fabiola
14.
Garcia, Felipe
15.
Garcia, Jose E.
16.
García, Jose E.
17.
Garcia, Julio
18.
Garcia, R.
19.
Garcia-Agreda, Sergio
20.
Garcia-Carrodeguas, R.
21.
Garcia-Ganas, Virginia
22.
Garcia-Gasulla, Dario
23.
Garcia-Gorriz, Elisa
24.
Garcia-Granados, F.
25.
García-Martínez, M.J.
26.
Garcia-Molina, V.
27.
Garcia-Ortiz, Alberto
28.
Garcia-Pino, Abel
29.
Garcia-Rayado, Jaime
30.
García-Ruiz, Carmen
31.
Garcia-Sosa, Alfonso T.
32.
García-Sosa, Alfonso T.
33.
Garcia-Souto, Daniel
34.
Garcia-Vega, Ana
35.
Gil-Garcia, J. Ramon
36.
Llorens Garcia, Ariadna
37.
Navarro Garcia, Antonio
38.
Ortega-Garcia, Javier
39.
Sanchez, E. Garcia
40.
Sotillo, Marcos Garcia
41.
Barbareschi, Mario
42.
Castellana, Mario
43.
Coelho, Mario
44.
Colombo, Mario
45.
Eckert, Mario
46.
Giampietro, Mario
47.
Izquierdo, Mario
48.
Kadastik, Mario
49.
Mars, Mario
50.
Martinez-Corcoles, Mario
51.
Martínez-Córcoles, Mario
52.
Naitana, Mario L.
53.
Nicoliello, Mario
54.
Palos, Mario F.
55.
Pansera, Mario
56.
Paredes Escobar, Mario Rolando
57.
Paredes, Mario
58.
Plaas, Mario
59.
Schlölzel, Mario
60.
Schölzel, Mario
61.
Tonveronachi, Mario
62.
Viespoli, Luigi Mario
63.
Öeren, Mario
64.
Barlik, Roman
65.
Beck, Roman
66.
Boroznjak, Roman
67.
Fadejev, Roman
68.
Filippov, Roman
69.
Goz, Roman U.
70.
Hollmann, Roman
71.
Ivanov, Roman
72.
Ivanov, Roman A.
73.
Jonikan, Roman
74.
Kaurson, Roman
75.
Kosenko, Roman
76.
Kriis, Roman
77.
Kulagin, Roman
78.
Loov, Roman
79.
Miroshnyk, Roman
80.
Müller, Roman
81.
Neudorf, Roman
82.
Ott, Roman
83.
Petrov, Roman
84.
Roman, Gyula
85.
Roman, M.
86.
Roman-Sanchez, Sara
87.
Shalimov, Roman
88.
Smirnov, Roman
89.
Zahharov, Roman
90.
Zaitsev, Roman
91.
Tabakaev, Roman
92.
Vaculin, Roman
93.
Valme, Roman
94.
Vasiliev, Roman
95.
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 1943-
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