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
Sobocinski, Pawel Maria (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
22
Vaata veel..
(3/205)
Ekspordi
ekspordi kõik päringu tulemused
(22)
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 ajakirjas
Bialgebraic foundations for the operational semantics of string diagrams
Bonchi, Filippo
;
Piedeleu, Robin
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Information and computation
2021
/
art. 104767, 22 p
https://doi.org/10.1016/j.ic.2021.104767
artikkel ajakirjas
2
artikkel kogumikus
Calculational proofs in relational graphical linear algebra
Paixao, Joao
;
Sobocinski, Pawel Maria
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings
2020
/
p. 83-100
https://doi.org/10.1007/978-3-030-63882-5_6
artikkel kogumikus
3
artikkel kogumikus
A canonical algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman, 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
artikkel kogumikus
4
artikkel kogumikus
A compositional approach to signal flow graphs
Sobocinski, Pawel Maria
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 2
https://doi.org/10.23658/taltech.nwpt/2019
artikkel kogumikus
5
artikkel kogumikus
Compositional diagrammatic first-order logic
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
2020
/
p. 402-418
https://doi.org/10.1007/978-3-030-54249-8_32
artikkel kogumikus
6
artikkel kogumikus
Compositional modelling of network games
Di Lavore, Elena
;
Hedges, Jules
;
Sobocinski, Pawel Maria
29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)
2021
/
art. 30
http://doi.org/10.4230/LIPIcs.CSL.2021.30
artikkel kogumikus
7
artikkel kogumikus
Contextual equivalence for signal flow graphs
Bonchi, Filippo
;
Piedeleu, Robin
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings
2020
/
p. 77-96
https://doi.org/10.1007/978-3-030-45231-5_5
artikkel kogumikus
8
artikkel kogumikus
Diagrammatic polyhedral algebra
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Sobocinski, Pawel Maria
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
2021
/
p. 40:1-40:18
https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40
artikkel kogumikus
9
artikkel ajalehes
Doktorantuur IKTs – mitte ainult akadeemilise maailma austajatele
arileht.delfi.ee
2023
Doktorantuur IKTs – mitte ainult akadeemilise maailma austajatele
artikkel ajalehes
10
artikkel ajakirjas
Functorial semantics for partial theories
Di Liberti, Ivan
;
Loregian, Fosco
;
Nester, Chad Mitchell
;
Sobocinski, Pawel Maria
Proceedings of the ACM on Programming Languages
2021
/
art. 57, p. 1–28
https://doi.org/10.1145/3434338
artikkel ajakirjas
11
artikkel ajakirjas
High-level axioms for graphical linear algebra
Paixao, Joao
;
Rufino, Lucas
;
Sobocinski, Pawel Maria
Science of computer programming
2022
/
art. 102791 ; 26 p
https://doi.org/10.1016/j.scico.2022.102791
artikkel ajakirjas
12
artikkel ajakirjas
Mis toimub tehisintellekti "kapoti all" ja miks me seda teadma peame?
Härmat, Karin
Mente et Manu
2022
/
lk. 30-33 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajakirjas
13
artikkel kogumikus
On doctrines and Cartesian bicategories
Bonchi, Filippo
;
Santamaria, Alessio
;
Seeber, Jens
;
Sobocinski, Pawel Maria
CALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings
2021
/
p. 10:1−10:7
https://doi.org/10.4230/LIPIcs.CALCO.2021.10
artikkel kogumikus
14
artikkel kogumikus
Regular monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Leibniz International Proceedings in Informatics, LIPIcs
2022
/
p. 44:1-44:14
http://doi.org/10.4230/LIPIcs.MFCS.2022.44
artikkel kogumikus
15
artikkel ajakirjas
Rule algebras for adhesive categories
Behr, Nicolas
;
Sobocinski, Pawel Maria
Logical methods in computer science
2020
/
p. 2:1−2:38
https://doi.org/10.23638/LMCS-16(3:2)2020
artikkel ajakirjas
16
artikkel ajakirjas
String diagram rewrite theory I : rewriting with Frobenius structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Journal of the ACM
2022
/
art. 14
https://doi.org/10.1145/3502719
artikkel ajakirjas
17
artikkel ajakirjas
String diagram rewrite theory II : rewriting with symmetric monoidal structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Mathematical structures in computer science
2022
/
p. 511 - 541
https://doi.org/10.1017/S0960129522000317
artikkel ajakirjas
18
artikkel ajakirjas
String diagram rewrite theory III : Confluence with and without Frobenius
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Mathematical structures in computer science
2022
/
p. 829-869
https://doi.org/10.1017/S0960129522000123
artikkel ajakirjas
19
artikkel kogumikus
String diagrammatic electrical circuit theory
Boisseau, Guillaume
;
Sobocinski, Pawel Maria
arXiv
2022
/
p. 178-191 : ill
https://doi.org/10.4204/EPTCS.372.13
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.13
artikkel kogumikus
20
artikkel kogumikus
A survey of Compositional signal flow theory
Bonchi, Filippo
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Advancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups
2021
/
p. 29–56
https://doi.org/10.1007/978-3-030-81701-5_2
artikkel kogumikus
21
artikkel ajakirjas
Toimiva digiühiskonna tagavad usaldusväärne tarkvara, turvaline riistvara ning energiasäästlikud ja nutikad asjad
Härmat, Karin
Mente et Manu
2022
/
lk. 32-33
https://www.ester.ee/record=b1242496*est
artikkel ajakirjas
22
artikkel ajakirjas
Uued inimesed TalTechis
Dashtimanesh, Abbas
;
Gerstlberger, Wolfgang Dieter
;
Hoffmann, Thomas
;
Männik, Aarne
;
Niidu, Allan
;
Pagliarini, Samuel Nascimento
;
Sobocinski, Pawel Maria
;
Treffner, Ivar
Mente et Manu
2019
/
lk. 26-32 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajakirjas
Kirjeid leitud 22, kuvan
1 - 22
autor
154
1.
Sobocinski, Pawel Maria
2.
Sobociński, Paweł Maria
3.
Debski, Pawel R.
4.
Gargulinski, Pawel
5.
Jankowski, Pawel
6.
Kosakowski, Pawel
7.
Kosinski, Pawel
8.
Kowalczyk, Pawel
9.
Mroczek, Przemyslaw Paweł
10.
Prus, Pawel
11.
Zielinski, Pawel
12.
Urban, Pawel L.
13.
Urbanski, Pawel
14.
Wargocki, Pawel
15.
Agriesti, Serio Angelo Maria
16.
Ainsaar, Karin Maria
17.
Alajõe, Maria
18.
Alas, Brita-Maria
19.
Alas, Maria
20.
Alonso, Maria Justo
21.
Alsa, Maria
22.
Alvarez, Maria Fernandez
23.
Anastasina, Maria
24.
Andersson, Maria A.
25.
Bejarano, Maria Dolores
26.
Bogucka, Maria
27.
Bokova, Maria
28.
Borissova, Maria
29.
Brdulak, Halina Maria
30.
Briones, Maria J. I.
31.
Burko, Maria
32.
Correia, Maria
33.
Costa, Maria Joao
34.
Cristea, Amelia-Maria
35.
Cruz Minguillon, Maria
36.
Czarnek, Maria
37.
De Carlini, Maria
38.
De Falco, Maria Chiara
39.
Dinis, Maria Alzira Pimenta
40.
Donaire Galiano, María Dolores
41.
Drozdova, Maria
42.
Ferreira, Maria Teresa
43.
Ferreiro, Maria de Fátima
44.
Fiazza, Maria-Camilla
45.
Fischerova, Maria
46.
Fisherova, Maria
47.
Fomitšenko, Maria
48.
Freimann, Maria
49.
Graziani, Maria Stella
50.
Guazzaroni, María-Eugenia
51.
Habicht, Maria
52.
Hagnäs, Maria
53.
Hernandez Ramos, Maria
54.
Iskül, Anna-Maria
55.
Jakubik, Maria
56.
John, Maria Sindhura
57.
Jones, Ana Maria
58.
Jürimaa, Maria
59.
Kahlert, Maria
60.
Kall, Maria
61.
Karus, Maria
62.
Kast, Maria
63.
Kast-Ondraczek, Maria
64.
Kirsel, Arda-Maria
65.
Kirss, Johanna Maria
66.
Kiss, Eva Maria
67.
Koidu, Maria
68.
Koivisto, Maria
69.
Konnikova, Maria R.
70.
Koskela, Iida-Maria
71.
Kruusemänd, Maria
72.
Kuhtinskaja, Maria
73.
Kulp, Maria
74.
Kupinskaja, Maria
75.
Kütt, Maria
76.
Laan, Made Maria
77.
Lagerström, Maria
78.
Laurson, Maria
79.
Lehtivaara, Maria
80.
Lehtmets, Karin Maria
81.
Leier, Maria
82.
Lepik, Kirke Maria
83.
Liivrand, Maria
84.
Lille, Maria
85.
Lillepruun, Maria
86.
Lindahl, Maria
87.
Linna, Julia-Maria
88.
Loas, Joanna Maria
89.
Maggi, Fabrizio Maria
90.
Malmierca, María
91.
Manera, Maria Grazia
92.
Marabello, Maria Vittoria
93.
Maria, Pierre-Charles
94.
Merkulova, Maria
95.
Michael, Maria K.
96.
Milanes-Montero, Maria Isabel
97.
Milousi, Maria
98.
Morelli, Maria Flavia
99.
Naulainen, Madli-Maria
100.
Negretti, Maria Eletta
101.
Ondraczek-Kast, Maria
102.
Osendi, María IsabeL
103.
Osula, Anna-Maria
104.
Palts, Maria
105.
Pando Ballestros, Maria de la Paz
106.
Pashkevich, Maria
107.
Paz Pando Ballesteros, Maria de la
108.
Perez-Gomez, Vanessa Maria
109.
Piccirilli, Maria Cristina
110.
Portela, Maria Manuela
111.
Punamäe, Ode Maria
112.
Puusepp, Maria
113.
Rastello, Maria Luisa
114.
Reimal, Maria
115.
Reinik, Maria
116.
Rikko, Bret-Maria
117.
Safonova, Maria
118.
Santos, Jose Maria
119.
Sarmiento Guerin, Maria Cecilia
120.
Scicchitano, Maria Rosa
121.
Sepp, Anna-Maria
122.
Serban, Maria-Corina
123.
Simonova, Maria
124.
Sinimaa, Maria
125.
Sintorn, Ida-Maria
126.
Soares Rosario, Maria
127.
Solarte Vasquez, Maria Claudia
128.
Solarte-Vasquez, Maria Claudia
129.
Sukhonos, Maria
130.
Sula, Eva-Maria
131.
Suurna, Maria
132.
Zeltser, Maria
133.
Temnikova, Maria
134.
Tilk, Maria
135.
Toumpourleka, Maria
136.
Troian, Maria
137.
Tropp, Elsa-Maria
138.
Tsareva, Anna Maria
139.
Tšepelevitš, Maria
140.
Tuohy, Maria G.
141.
Tuulik, Maria
142.
Ulfsak, Maria
143.
Uriz, Maria
144.
Uriz, Maria Jesus
145.
Vaher, Eva-Maria
146.
Vassiljev, Maria
147.
Vdovenko, Maria
148.
Veijalainen Anna-Maria
149.
Vikentjeva, Maria
150.
Wimmer, Maria A.
151.
Vita, Maria
152.
Volokhova, Maria
153.
Vooglaid, Kadi Maria
154.
Šimanskaja, Maria
CV
31
1.
Sobocinski, Pawel Maria
2.
Sobociński, Paweł Maria 1978
3.
Borissova, Maria (-2014)
4.
Brökling, Iris Maria 1970
5.
Drozdova, Maria 1988-
6.
Fomitšenko, Maria 1989-
7.
Kaljusmaa, Liisa-Maria
8.
Kansberg, Maria 1889-?
9.
Kessler, Diana-Maria
10.
Koidu, Maria 1976
11.
Koost, Maria 1928
12.
Kozlova, Maria
13.
Kuhtinskaja, Maria 1977
14.
Kulp, Maria 1978
15.
Mutli, Maria 1899-1984
16.
Osula, Anna-Maria
17.
Puusepp, Maria 1934
18.
Sarmiento Guerin, Maria Cecilia 1969
19.
Sarmiento, Maria Cecilia
20.
Sokolova, Maria
21.
Solarte Vasquez, Maria Claudia
22.
Solarte Vásquez, Maria Claudia 1969
23.
Solarte-Vasquez, Maria Claudia
24.
Stepanova, Maria
25.
Tsibanova, Maria
26.
Tšepelevitš, Maria
27.
Vasquez, Maria Claudia Solarte
28.
Vassiljev, Maria
29.
Vint, Tiina-Maria 1960
30.
Vooglaid, Kadi Maria 1987
31.
Vuin, Maria Miranda 1997
tema kohta
20
1.
Sobocinski, Pawel
2.
Alajõe, Maria, 1969-
3.
Britikovski, Maria
4.
Drozdova, Maria
5.
Fomitšenko, Maria
6.
Jõgisu, Johanna Maria
7.
Koidu, Maria
8.
Kuhtinskaja, Maria
9.
Loas, Joanna Maria
10.
Orel, Anna Maria
11.
Osula, Anna-Maria
12.
Rahamägi, Maria
13.
Rebane, Anett-Maria
14.
Safonova, Maria
15.
Sarmiento Guerin, Maria Cecilia
16.
Solarte Vasquez, Maria Claudia, 1969-
17.
Solarte-Vasques, Maria Claudia
18.
Toomsalu, Maria
19.
Volokhova, Maria
20.
Väli, Maria
×
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