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
40
Vaata veel..
(3/270)
Ekspordi
ekspordi kõik päringu tulemused
(40)
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
26
artikkel ajakirjas
Pawel Sobocinski: teistmoodi matemaatikaga saame luua paremat tarkvara
Sobocinski, Pawel Maria
Mente et Manu
2024
/
lk. 14-19 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajakirjas
27
dissertatsioon
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Haydon, Nathan Joseph
2024
https://www.ester.ee/record=b5685581*est
https://digikogu.taltech.ee/et/Item/f7f55e15-7a58-4e7f-a112-910d6a943f7f
https://doi.org/10.23658/taltech.31/2024
dissertatsioon
Seotud publikatsioonid
4
The Blot
Compositional diagrammatic first-order logic
Residuation in existential graphs
Diagrammatic algebra of first order logic
28
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Kupferman, Orna
;
Sobocinski, Pawel Maria
Foundations of Software Science and Computation Structures, 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferenceson Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
2023
/
p. vii
https://doi.org/10.1007/978-3-031-30829-1
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
29
artikkel kogumikus EST
/
artikkel kogumikus ENG
Regular monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Leibniz International Proceedings in Informatics, LIPIcs
2022
/
p. 44:1-44:14
https://doi.org/10.4230/LIPIcs.MFCS.2022.44
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
30
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Regular planar monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Journal of logical and algebraic methods in programming
2024
/
art. 100963, 20 p. : ill
https://doi.org/10.1016/j.jlamp.2024.100963
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
31
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
32
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
33
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
34
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
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
Journal at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
35
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
36
artikkel kogumikus EST
/
artikkel kogumikus ENG
String diagrammatic electrical circuit theory
Boisseau, Guillaume
;
Sobocinski, Pawel Maria
arXiv.org
2022
/
p. 178-191 : ill
https://doi.org/10.4204/EPTCS.372.13
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.13
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
37
artikkel kogumikus EST
/
artikkel kogumikus ENG
String diagrammatic trace theory
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
2023
/
art. 43, 43 p. : ill
https://doi.org/10.4230/LIPIcs.MFCS.2023.43
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
38
artikkel kogumikus EST
/
artikkel kogumikus ENG
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
Article collection metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
39
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
40
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 40, kuvan
26 - 40
eelmine
1
2
järgmine
autor
206
1.
Sobocinski, Pawel Maria
2.
Debski, Pawel R.
3.
Gargulinski, Pawel
4.
Gnida, Pawel
5.
Jankowski, Pawel
6.
Kosakowski, Pawel
7.
Kosinski, Pawel
8.
Kowalczyk, Pawel
9.
Mroczek, Przemyslaw Paweł
10.
Prus, Pawel
11.
Zielinski, Pawel
12.
Zieliński, Paweł
13.
Urban, Pawel L.
14.
Urbanski, Pawel
15.
Wargocki, Pawel
16.
Abad-Cardiel, María
17.
Agriesti, Serio Angelo Maria
18.
Ainsaar, Karin Maria
19.
Alajõe, Maria
20.
Alas, Brita-Maria
21.
Alas, Maria
22.
Alonso, Maria Justo
23.
Alsa, Maria
24.
Alvarez, Maria Fernandez
25.
Anastasina, Maria
26.
Andersson, Maria A.
27.
Apellaniz-Ruiz, Maria
28.
Bahit, Maria Cecilia
29.
Bejarano, Maria Dolores
30.
Benito, María
31.
Bogucka, Maria
32.
Bokova, Maria
33.
Borissova, Maria
34.
Boursinou, Maria Nerina
35.
Brdulak, Halina Maria
36.
Briones, Maria J. I.
37.
Bueno, Sonia Maria Alves
38.
Burko, Maria
39.
Calvelo, Natalia De María
40.
Cieslak, Maria
41.
Coraglia, Ugo Maria
42.
Correia, Maria
43.
Corriga, Maria G.
44.
Costa, Maria Joao
45.
Costa, Maria João
46.
Cristea, Amelia-Maria
47.
Cruz Minguillon, Maria
48.
Czarnek, Maria
49.
Daglia, Maria
50.
Danukalova, Maria K.
51.
Davydovskaya, Maria
52.
De Carlini, Maria
53.
De Falco, Maria Chiara
54.
Díaz-Redondo, Maria
55.
Dinis, Maria Alzira Pimenta
56.
Donaire Galiano, María Dolores
57.
Dorobanţu, Maria I.
58.
Dos Remédios Mendes De Brito, Maria
59.
Drozdova, Maria
60.
Ferreira, Maria Teresa
61.
Ferreiro, Maria de Fátima
62.
Fiazza, Maria-Camilla
63.
Fischerova, Maria
64.
Fisherova, Maria
65.
Fomitšenko, Maria
66.
Freimann, Maria
67.
Garcia Juanatey, Maria
68.
Gargano, Maria
69.
Glushkova, Maria
70.
Graziani, Maria Stella
71.
Grepp, Mia Maria
72.
Guazzaroni, María-Eugenia
73.
Habicht, Maria
74.
Hagnäs, Maria
75.
Hanif, Maria
76.
Hassan, Maria
77.
Hermes, Maria Eduarda
78.
Hernandez Ramos, Maria
79.
Hrabarchuk, Maria
80.
Hägglund, Maria
81.
Hytti, Maria
82.
Isidori, Maria Vittoria
83.
Iskül, Anna-Maria
84.
Jakubik, Maria
85.
John, Maria Sindhura
86.
Jones, Ana Maria
87.
Jufereva-Skuratovski, Maria
88.
Jussila, Maria
89.
Jürimaa, Maria
90.
Kaare, Maria
91.
Kahlert, Maria
92.
Kaljusmaa, Liisa-Maria
93.
Kall, Maria
94.
Karus, Maria
95.
Kast, Maria
96.
Kast-Ondraczek, Maria
97.
Kesa, Maria
98.
Kessler, Diana-Maria
99.
Kirsel, Arda-Maria
100.
Kirss, Johanna Maria
101.
Kiss, Eva Maria
102.
Koidu, Maria
103.
Koivisto, Maria
104.
Konnikova, Maria R.
105.
Koskela, Iida-Maria
106.
Kruusemänd, Maria
107.
Kuhtinskaja, Maria
108.
Kulp, Maria
109.
Kupinskaja, Maria
110.
Kütt, Maria
111.
Laan, Made Maria
112.
Lagerström, Maria
113.
Laurson, Maria
114.
Lehtivaara, Maria
115.
Lehtmets, Karin Maria
116.
Leier, Maria
117.
Lepik, Kirke Maria
118.
Liivrand, Maria
119.
Lille, Maria
120.
Lillepruun, Maria
121.
Lindahl, Maria
122.
Linna, Julia-Maria
123.
Loas, Joanna Maria
124.
Loureiro, Sandra Maria Correia
125.
Maggi, Fabrizio Maria
126.
Maier, Maria
127.
Maiste, Eva-Maria
128.
Malmierca, María
129.
Manera, Maria Grazia
130.
Marabello, Maria Vittoria
131.
Maria, Pierre-Charles
132.
Merkulova, Maria
133.
Michael, Maria K.
134.
Milanes-Montero, Maria Isabel
135.
Milanés-Montero, María Isabel
136.
Milousi, Maria
137.
Morelli, Maria Flavia
138.
Naulainen, Madli-Maria
139.
Negretti, Maria Eletta
140.
Ondraczek-Kast, Maria
141.
Osendi, María IsabeL
142.
Osula, Anna-Maria
143.
Palts, Maria
144.
Pando Ballestros, Maria de la Paz
145.
Pasch, Ricarda Anna Maria
146.
Pashkevich, Maria
147.
Paz Pando Ballesteros, Maria de la
148.
Piccirilli, Maria Cristina
149.
Polese, Maria
150.
Portela, Maria Manuela
151.
Punamäe, Ode Maria
152.
Puusepp, Maria
153.
Rastello, Maria Luisa
154.
Reimal, Maria
155.
Reinaas, Maria
156.
Reinik, Maria
157.
Rikko, Bret-Maria
158.
Rohemäe, Maria-Ann
159.
Rüütmann, Anna Maria
160.
Safonova, Maria
161.
Santilli, Ruggero Maria
162.
Santos, Jose Maria
163.
Sarmiento Guerin, Maria Cecilia
164.
Schmalz, Maria
165.
Scicchitano, Maria Rosa
166.
Seidel, Maria
167.
Sepp, Anna-Maria
168.
Siilak, Johanna-Maria
169.
Simonova, Maria
170.
Sinimaa, Maria
171.
Sintorn, Ida-Maria
172.
Soares Rosario, Maria
173.
Sokolova, Maria
174.
Solarte Vasquez, Maria Claudia
175.
Sukhonos, Maria
176.
Sula, Eva-Maria
177.
Suurna, Maria
178.
Zeltser, Maria
179.
Temnikova, Maria
180.
Tilk, Maria
181.
Toumpourleka, Maria
182.
Trei, Hanna-Maria
183.
Troian, Maria
184.
Tropp, Elsa-Maria
185.
Tsareva, Anna Maria
186.
Tšepelevitš, Maria
187.
Tuohy, Maria G.
188.
Tuulik, Maria
189.
Ulfsak, Maria
190.
Uriz, Maria
191.
Uriz, Maria Jesus
192.
Vaher, Eva-Maria
193.
Valkonen, Maria
194.
Valsecchi, Maria Grazia
195.
Vasconcelos, Maria
196.
Vassiljev, Maria
197.
Vdovenko, Maria
198.
Veijalainen Anna-Maria
199.
Vikentjeva, Maria
200.
Wimmer, Maria A.
201.
Vita, Maria
202.
Volokhova, Maria
203.
Vooglaid, Kadi Maria
204.
Vuin, Maria Miranda
205.
Świderek, Maria
206.
Šimanskaja, Maria
CV
39
1.
Sobocinski, Pawel Maria
2.
Sobociński, Paweł Maria
3.
Agriesti, Serio Angelo Maria
4.
Borissova, Maria (-2014)
5.
Bouvy-Liivrand, Maria
6.
Brökling, Iris Maria
7.
Drozdova, Maria
8.
Fomitšenko, Maria
9.
Kaljusmaa, Liisa-Maria
10.
Kansberg, Maria 1889-1974
11.
Kessler, Diana-Maria
12.
Koidu, Maria
13.
Koost, Maria 1928-2014
14.
Kozlova, Maria
15.
Kuhtinskaja, Maria
16.
Kulp, Maria
17.
Kütt, Maria
18.
Liivrand, Maria
19.
Mutli, Maria 1899-1984
20.
Osula, Anna-Maria
21.
Puusepp, Maria
22.
Reinaas, Maria
23.
Sarmiento Guerin, Maria Cecilia
24.
Sarmiento Guérin, Maria Cecilia
25.
Sarmiento Guérin, María Cecilia
26.
Sarmiento, Maria Cecilia
27.
Sokolova, Maria
28.
Solarte Vasquez, Maria Claudia
29.
Solarte Vásquez, Maria Claudia
30.
Solarte, Maria Claudia
31.
Solarte-Vasquez, Maria Claudia
32.
Stepanova, Maria
33.
Tsibanova, Maria
34.
Tšepelevitš, Maria
35.
Vasquez, Maria Claudia Solarte
36.
Vassiljev, Maria
37.
Vint, Tiina-Maria
38.
Vooglaid, Kadi Maria
39.
Vuin, Maria Miranda
tema kohta
25
1.
Sobocinski, Pawel
2.
Alajõe, Maria, 1969-
3.
Britikovski, Maria
4.
Drozdova, Maria
5.
Fomitšenko, Maria
6.
Jõgisu, Johanna Maria
7.
Keres, Maria Konstantsia, 1917-2014
8.
Koidu, Maria
9.
Kuhtinskaja, Maria
10.
Kulp, Maria
11.
Loas, Joanna Maria
12.
Millend, Anna Maria
13.
Mirka, Maria
14.
Orel, Anna Maria
15.
Osula, Anna-Maria
16.
Rahamägi, Maria
17.
Rebane, Anett-Maria
18.
Safonova, Maria
19.
Sarmiento Guerin, Maria Cecilia
20.
Solarte Vasquez, Maria Claudia, 1969-
21.
Solarte-Vasques, Maria Claudia
22.
Toomsalu, Maria
23.
Veitmaa, Eva Maria
24.
Volokhova, Maria
25.
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