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 (TTÜ 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/273)
Ekspordi
ekspordi kõik päringu tulemused
(40)
Salvesta TXT 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
209
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.
Sitek, Pawel
12.
Zielinski, Pawel
13.
Zieliński, Paweł
14.
Urban, Pawel L.
15.
Urbanski, Pawel
16.
Wargocki, Pawel
17.
Abad-Cardiel, María
18.
Agriesti, Serio Angelo Maria
19.
Ainsaar, Karin Maria
20.
Alajõe, Maria
21.
Alas, Brita-Maria
22.
Alas, Maria
23.
Alonso, Maria Justo
24.
Alsa, Maria
25.
Alvarez, Maria Fernandez
26.
Anastasina, Maria
27.
Andersson, Maria A.
28.
Apellaniz-Ruiz, Maria
29.
Bahit, Maria Cecilia
30.
Bejarano, Maria Dolores
31.
Benito Castano, Maria
32.
Bogucka, Maria
33.
Bokova, Maria
34.
Borissova, Maria
35.
Boursinou, Maria Nerina
36.
Brdulak, Halina Maria
37.
Briones, Maria J. I.
38.
Bueno, Sonia Maria Alves
39.
Burko, Maria
40.
Calvelo, Natalia De María
41.
Cieslak, Maria
42.
Coraglia, Ugo Maria
43.
Correia, Maria
44.
Corriga, Maria G.
45.
Costa, Maria Joao
46.
Costa, Maria João
47.
Cristea, Amelia-Maria
48.
Cruz Minguillon, Maria
49.
Czarnek, Maria
50.
Daglia, Maria
51.
Danukalova, Maria K.
52.
Davydovskaya, Maria
53.
De Carlini, Maria
54.
De Falco, Maria Chiara
55.
Díaz-Redondo, Maria
56.
Dinis, Maria Alzira Pimenta
57.
Donaire Galiano, María Dolores
58.
Dorobanţu, Maria I.
59.
Dos Remédios Mendes De Brito, Maria
60.
Drozdova, Maria
61.
Ferreira, Maria Teresa
62.
Ferreiro, Maria de Fátima
63.
Fiazza, Maria-Camilla
64.
Fischerova, Maria
65.
Fisherova, Maria
66.
Fomitšenko, Maria
67.
Freimann, Maria
68.
Garcia Juanatey, Maria
69.
Gargano, Maria
70.
Glushkova, Maria
71.
Graziani, Maria Stella
72.
Grepp, Mia Maria
73.
Guazzaroni, María-Eugenia
74.
Habicht, Maria
75.
Hagnäs, Maria
76.
Hanif, Maria
77.
Hassan, Maria
78.
Hermes, Maria Eduarda
79.
Hernandez Ramos, Maria
80.
Hrabarchuk, Maria
81.
Hägglund, Maria
82.
Hytti, Maria
83.
Isidori, Maria Vittoria
84.
Iskül, Anna-Maria
85.
Jakubik, Maria
86.
John, Maria Sindhura
87.
Jones, Ana Maria
88.
Jufereva-Skuratovski, Maria
89.
Jussila, Maria
90.
Jürimaa, Maria
91.
Kaare, Maria
92.
Kahlert, Maria
93.
Kaljusmaa, Liisa-Maria
94.
Kall, Maria
95.
Karus, Maria
96.
Kast, Maria
97.
Kast-Ondraczek, Maria
98.
Kesa, Maria
99.
Kessler, Diana-Maria
100.
Kirsel, Arda-Maria
101.
Kirss, Johanna Maria
102.
Kiss, Eva Maria
103.
Koidu, Maria
104.
Koivisto, Maria
105.
Konnikova, Maria R.
106.
Koskela, Iida-Maria
107.
Kruusemänd, Maria
108.
Kuhtinskaja, Maria
109.
Kulp, Maria
110.
Kupinskaja, Maria
111.
Kütt, Maria
112.
Laan, Made Maria
113.
Lagerström, Maria
114.
Laurson, Maria
115.
Lehtivaara, Maria
116.
Lehtmets, Karin Maria
117.
Leier, Maria
118.
Lepik, Kirke Maria
119.
Liivrand, Maria
120.
Lille, Maria
121.
Lillepruun, Maria
122.
Lindahl, Maria
123.
Linna, Julia-Maria
124.
Loas, Joanna Maria
125.
Loureiro, Sandra Maria Correia
126.
Maggi, Fabrizio Maria
127.
Maier, Maria
128.
Maiste, Eva-Maria
129.
Malmierca, María
130.
Manera, Maria Grazia
131.
Marabello, Maria Vittoria
132.
Maria, Pierre-Charles
133.
Merkulova, Maria
134.
Michael, Maria K.
135.
Milanes-Montero, Maria Isabel
136.
Milanés-Montero, María Isabel
137.
Milousi, Maria
138.
Morelli, Maria Flavia
139.
Naulainen, Madli-Maria
140.
Negretti, Maria Eletta
141.
Ojap, Johanna Maria
142.
Ondraczek-Kast, Maria
143.
Osendi, María IsabeL
144.
Osula, Anna-Maria
145.
Palts, Maria
146.
Pando Ballestros, Maria de la Paz
147.
Pasch, Ricarda Anna Maria
148.
Pashkevich, Maria
149.
Paz Pando Ballesteros, Maria de la
150.
Piccirilli, Maria Cristina
151.
Polese, Maria
152.
Portela, Maria Manuela
153.
Punamäe, Ode Maria
154.
Puusepp, Maria
155.
Rastello, Maria Luisa
156.
Reimal, Maria
157.
Reinaas, Maria
158.
Reinik, Maria
159.
Rikko, Bret-Maria
160.
Rohemäe, Maria-Ann
161.
Rüütmann, Anna Maria
162.
Safonova, Maria
163.
Santilli, Ruggero Maria
164.
Santos, Jose Maria
165.
Sarmiento Guerin, Maria Cecilia
166.
Schmalz, Maria
167.
Scicchitano, Maria Rosa
168.
Seidel, Maria
169.
Sepp, Anna-Maria
170.
Siilak, Johanna-Maria
171.
Simonova, Maria
172.
Sinimaa, Maria
173.
Sintorn, Ida-Maria
174.
Soares Rosario, Maria
175.
Sokolova, Maria
176.
Solarte Vasquez, Maria Claudia
177.
Sukhonos, Maria
178.
Sula, Eva-Maria
179.
Suurna, Maria
180.
Zeltser, Maria
181.
Temnikova, Maria
182.
Tilk, Maria
183.
Toumpourleka, Maria
184.
Trei, Hanna-Maria
185.
Troian, Maria
186.
Tropp, Elsa-Maria
187.
Tsareva, Anna Maria
188.
Tšepelevitš, Maria
189.
Tuohy, Maria G.
190.
Tuulik, Maria
191.
Ulfsak, Maria
192.
Uriz, Maria
193.
Uriz, Maria Jesus
194.
Vaher, Eva-Maria
195.
Valkonen, Maria
196.
Valsecchi, Maria Grazia
197.
Vasconcelos, Maria
198.
Vassiljev, Maria
199.
Vdovenko, Maria
200.
Veijalainen Anna-Maria
201.
Vikentjeva, Maria
202.
Villares-Varela, María
203.
Wimmer, Maria A.
204.
Vita, Maria
205.
Volokhova, Maria
206.
Vooglaid, Kadi Maria
207.
Vuin, Maria Miranda
208.
Świderek, Maria
209.
Šimanskaja, Maria
CV
38
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, María Cecilia
25.
Sarmiento, Maria Cecilia
26.
Sokolova, Maria
27.
Solarte Vasquez, Maria Claudia
28.
Solarte Vásquez, Maria Claudia
29.
Solarte, Maria Claudia
30.
Solarte-Vasquez, Maria Claudia
31.
Stepanova, Maria
32.
Tsibanova, Maria
33.
Tšepelevitš, Maria
34.
Vasquez, Maria Claudia Solarte
35.
Vassiljev, Maria
36.
Vint, Tiina-Maria
37.
Vooglaid, Kadi Maria
38.
Vuin, Maria Miranda
tema kohta
26
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.
Kessler, Diana-Maria
9.
Koidu, Maria
10.
Kuhtinskaja, Maria
11.
Kulp, Maria
12.
Loas, Joanna Maria
13.
Millend, Anna Maria
14.
Mirka, Maria
15.
Orel, Anna Maria
16.
Osula, Anna-Maria
17.
Rahamägi, Maria
18.
Rebane, Anett-Maria
19.
Safonova, Maria
20.
Sarmiento Guerin, Maria Cecilia
21.
Solarte Vasquez, Maria Claudia, 1969-
22.
Solarte-Vasques, Maria Claudia
23.
Toomsalu, Maria
24.
Veitmaa, Eva Maria
25.
Volokhova, Maria
26.
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