Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Sobocinski, Pawel Maria (TalTech author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
40
Look more..
(3/273)
Export
export all inquiry results
(40)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
26
journal article
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
journal article
27
dissertation
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
dissertation
Related publications
4
The Blot
Compositional diagrammatic first-order logic
Residuation in existential graphs
Diagrammatic algebra of first order logic
28
book article EST
/
book article 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
book article EST
/
book article ENG
29
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
30
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
31
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
32
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
33
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
34
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
35
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
36
book article EST
/
book article 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
book article EST
/
book article ENG
37
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
38
book article EST
/
book article 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
book article EST
/
book article ENG
39
journal article
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
journal article
40
journal article
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
journal article
Number of records 40, displaying
26 - 40
previous
1
2
next
author
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
name of the person
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
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT