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 (supervisor)
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
6
Look more..
(3/289)
Export
export all inquiry results
(6)
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
1
dissertation
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
Kessler, Diana-Maria
2025
https://www.ester.ee/record=b5753859*est
https://digikogu.taltech.ee/et/Item/792ff142-321f-470c-b840-76489d4f9270
https://doi.org/10.23658/taltech.47/2025
dissertation
Related publications
5
Data structures for topologically sound higher-dimensional diagram rewriting
Higher-dimensional subdiagram matching
Acyclicity conditions on pasting diagrams
Why quantum state verification cannot be both efficient and secure : a categorical approach
A Critical Pair Enumeration Algorithm for String Diagram Rewriting
2
dissertation
Languages of string diagrams = Nöördiagrammide keeled
Earnshaw, Matthew David
2025
https://www.ester.ee/record=b5728253*est
https://doi.org/10.23658/taltech.2/2025
https://digikogu.taltech.ee/et/Item/30c6f3d0-9655-483d-bd8d-46a5a68bcede
dissertation
Related publications
4
Regular monoidal languages
String diagrammatic trace theory
Regular planar monoidal languages
Context-Free Languages of String Diagrams
3
dissertation
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
dissertation
Related publications
9
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
Collages of string diagrams
The produoidal algebra of process decomposition
Promonads and string diagrams for effectful categories
Collages of string diagrams
4
dissertation
Monoidal width = Monoidiline laius
Di Lavore, Elena
2023
https://doi.org/10.23658/taltech.55/2023
https://digikogu.taltech.ee/et/Item/e0ea1b50-07ff-44f4-a498-ef5c22a15502
https://www.ester.ee/record=b5645383*est
dissertation
Related publications
3
Compositional modelling of network games
Monoidal width
Monoidal width : capturing rank width
5
dissertation
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
Nester, Chad Mitchell
2024
https://www.ester.ee/record=b5650413*est
https://digikogu.taltech.ee/et/Item/696327ea-955a-45ad-bf93-bca34084131f
https://doi.org/10.23658/taltech.4/2024
dissertation
Related publications
8
A foundation for ledger structures
Functorial semantics for partial theories
A variety theorem for relational universal algebra
The structure of concurrent process histories
Situated transition systems
Concurrent process histories and resource transducers
Cornering optics : preprint
Protocol choice and iteration for the free cornering
6
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
Number of records 6, displaying
1 - 6
author
219
1.
Sobocinski, Pawel Maria
2.
Sobociński, Paweł
3.
Bącal, Paweł
4.
Debski, Pawel R.
5.
Gargulinski, Pawel
6.
Gnida, Pawel
7.
Jankowski, Pawel
8.
Kosakowski, Pawel
9.
Kosinski, Pawel
10.
Kowalczyk, Pawel
11.
Krzeminski, Pawel
12.
Mroczek, Przemyslaw Paweł
13.
Prus, Pawel
14.
Sitek, Pawel
15.
Zielinski, Pawel
16.
Zieliński, Paweł
17.
Urban, Pawel L.
18.
Urbanski, Pawel
19.
Wargocki, Pawel
20.
Abad-Cardiel, María
21.
Agriesti, Serio Angelo Maria
22.
Ainsaar, Karin Maria
23.
Alajõe, Maria
24.
Alas, Brita-Maria
25.
Alas, Maria
26.
Alonso, Maria Justo
27.
Alsa, Maria
28.
Alvarez, Maria Fernandez
29.
Anastasina, Maria
30.
Andersson, Maria A.
31.
Angeles Ruiz, Maria
32.
Apellaniz-Ruiz, Maria
33.
Bahit, Maria Cecilia
34.
Bejarano, Maria Dolores
35.
Benito Castano, Maria
36.
Bogucka, Maria
37.
Bokova, Maria
38.
Bonto, Maria
39.
Borissova, Maria
40.
Boursinou, Maria Nerina
41.
Brdulak, Halina Maria
42.
Briones, Maria J. I.
43.
Bueno, Sonia Maria Alves
44.
Burko, Maria
45.
Calvelo, Natalia De María
46.
Cieslak, Maria
47.
Coraglia, Ugo Maria
48.
Correia, Maria
49.
Corriga, Maria G.
50.
Costa, Maria Joao
51.
Cristea, Amelia-Maria
52.
Cruz Minguillon, Maria
53.
Czarnek, Maria
54.
Daglia, Maria
55.
Danukalova, Maria K.
56.
Davydovskaya, Maria
57.
De Carlini, Maria
58.
De Falco, Maria Chiara
59.
Díaz-Redondo, Maria
60.
Dinis, Maria Alzira Pimenta
61.
Donaire Galiano, María Dolores
62.
Dorobanţu, Maria I.
63.
Dos Remédios Mendes De Brito, Maria
64.
Drozdova, Maria
65.
Dziubinska-Kuehn, Katarzyna Maria
66.
Ferreira, Maria Teresa
67.
Ferreiro, Maria de Fátima
68.
Fiazza, Maria-Camilla
69.
Fischerova, Maria
70.
Fisherova, Maria
71.
Fomitšenko, Maria
72.
Freimann, Maria
73.
Garcia Juanatey, Maria
74.
Gargano, Maria
75.
Glushkova, Maria
76.
Graziani, Maria Stella
77.
Grepp, Mia Maria
78.
Guazzaroni, María-Eugenia
79.
Habicht, Maria
80.
Hagnäs, Maria
81.
Hanif, Maria
82.
Hassan, Maria
83.
Hermes, Maria Eduarda
84.
Hernandez Ramos, Maria
85.
Hrabarchuk, Maria
86.
Hägglund, Maria
87.
Hytti, Maria
88.
Isidori, Maria Vittoria
89.
Iskül, Anna-Maria
90.
Jakubik, Maria
91.
John, Maria Sindhura
92.
Jones, Ana Maria
93.
Jufereva-Skuratovski, Maria
94.
Jussila, Maria
95.
Jürimaa, Maria
96.
Kaare, Maria
97.
Kahlert, Maria
98.
Kaljusmaa, Liisa-Maria
99.
Kall, Maria
100.
Kangur, Stella-Maria
101.
Karus, Maria
102.
Kast, Maria
103.
Kast-Ondraczek, Maria
104.
Kesa, Maria
105.
Kessler, Diana-Maria
106.
Kirsel, Arda-Maria
107.
Kirss, Johanna Maria
108.
Kiss, Eva Maria
109.
Koidu, Maria
110.
Koivisto, Maria
111.
Konnikova, Maria R.
112.
Koskela, Iida-Maria
113.
Kruusemänd, Maria
114.
Kuhtinskaja, Maria
115.
Kulp, Maria
116.
Kupinskaja, Maria
117.
Kütt, Maria
118.
Laan, Made Maria
119.
Lagerström, Maria
120.
Laurson, Maria
121.
Lehtivaara, Maria
122.
Lehtmets, Karin Maria
123.
Leier, Maria
124.
Lepik, Kirke Maria
125.
Liivrand, Maria
126.
Lille, Maria
127.
Lillepruun, Maria
128.
Lindahl, Maria
129.
Linna, Julia-Maria
130.
Loas, Joanna Maria
131.
Loureiro, Sandra Maria Correia
132.
Maggi, Fabrizio Maria
133.
Maier, Maria
134.
Maiste, Eva-Maria
135.
Malmierca, María
136.
Manera, Maria Grazia
137.
Marabello, Maria Vittoria
138.
Maria, Pierre-Charles
139.
Merkulova, Maria
140.
Michael, Maria K.
141.
Milanes-Montero, Maria Isabel
142.
Milanés-Montero, María Isabel
143.
Milousi, Maria
144.
Morelli, Maria Flavia
145.
Murumaa, Maria Pibilota
146.
Naulainen, Madli-Maria
147.
Negretti, Maria Eletta
148.
Ojap, Johanna Maria
149.
Ondraczek-Kast, Maria
150.
Osendi, María IsabeL
151.
Osula, Anna-Maria
152.
Palts, Maria
153.
Pando Ballestros, Maria de la Paz
154.
Pasch, Ricarda Anna Maria
155.
Pashkevich, Maria
156.
Paz Pando Ballesteros, Maria de la
157.
Pernits, Maria
158.
Piccirilli, Maria Cristina
159.
Polese, Maria
160.
Portela, Maria Manuela
161.
Punamäe, Ode Maria
162.
Puusepp, Maria
163.
Põldma, Hanna-Maria
164.
Rastello, Maria Luisa
165.
Reimal, Maria
166.
Reinaas, Maria
167.
Reinik, Maria
168.
Rikko, Bret-Maria
169.
Rohemäe, Maria-Ann
170.
Rüütmann, Anna Maria
171.
Safonova, Maria
172.
Santilli, Ruggero Maria
173.
Santos, Jose Maria
174.
Sarmiento Guerin, Maria Cecilia
175.
Schmalz, Maria
176.
Scicchitano, Maria Rosa
177.
Seidel, Maria
178.
Sepp, Anna-Maria
179.
Siilak, Johanna-Maria
180.
Simonova, Maria
181.
Sinimaa, Maria
182.
Sintorn, Ida-Maria
183.
Soares Rosario, Maria
184.
Sokolova, Maria
185.
Solarte Vasquez, Maria Claudia
186.
Sukhonos, Maria
187.
Sula, Eva-Maria
188.
Suurna, Maria
189.
Zeltser, Maria
190.
Temnikova, Maria
191.
Tilk, Maria
192.
Toumpourleka, Maria
193.
Trei, Hanna-Maria
194.
Troian, Maria
195.
Tropp, Elsa-Maria
196.
Tsareva, Anna Maria
197.
Tšepelevitš, Maria
198.
Tuohy, Maria G.
199.
Tuulik, Maria
200.
Ulfsak, Maria
201.
Uriz, Maria
202.
Uriz, Maria Jesus
203.
Vaher, Eva-Maria
204.
Valkonen, Maria
205.
Valsecchi, Maria Grazia
206.
Vasconcelos, Maria
207.
Vassiljev, Maria
208.
Vdovenko, Maria
209.
Veidemann-Makko, Anna-Maria
210.
Veijalainen Anna-Maria
211.
Vikentjeva, Maria
212.
Villares-Varela, María
213.
Wimmer, Maria A.
214.
Vita, Maria
215.
Volokhova, Maria
216.
Vooglaid, Kadi Maria
217.
Vuin, Maria Miranda
218.
Świderek, Maria
219.
Šimanskaja, Maria
CV
42
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.
Jürimaa, Maria
10.
Kaljusmaa, Liisa-Maria
11.
Kansberg, Maria 1889-1974
12.
Kessler, Diana-Maria
13.
Koidu, Maria
14.
Koost, Maria 1928-2014
15.
Kozlova, Maria
16.
Kuhtinskaja, Maria
17.
Kulp, Maria
18.
Kütt, Maria
19.
Liivrand, Maria
20.
Meldorf, Mia-Maria
21.
Mutli, Maria 1899-1984
22.
Osula, Anna-Maria
23.
Puusepp, Maria
24.
Põldma, Hanna-Maria
25.
Reinaas, Maria
26.
Sarmiento Guerin, Maria Cecilia
27.
Sarmiento Guérin, María Cecilia
28.
Sarmiento, Maria Cecilia
29.
Sokolova, Maria
30.
Solarte Vasquez, Maria Claudia
31.
Solarte Vásquez, Maria Claudia
32.
Solarte, Maria Claudia
33.
Solarte-Vasquez, Maria Claudia
34.
Stepanova, Maria
35.
Tsibanova, Maria
36.
Tšepelevitš, Maria
37.
Vardja, Hanna-Maria
38.
Vasquez, Maria Claudia Solarte
39.
Vassiljev, Maria
40.
Vint, Tiina-Maria
41.
Vooglaid, Kadi Maria
42.
Vuin, Maria Miranda
name of the person
28
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.
Luiga, Maria Helena
14.
Millend, Anna Maria
15.
Mirka, Maria
16.
Orel, Anna Maria
17.
Osula, Anna-Maria
18.
Rahamägi, Maria
19.
Rebane, Anett-Maria
20.
Safonova, Maria
21.
Sarmiento Guerin, Maria Cecilia
22.
Sarmiento Guerin, Maria Cecilia, 1969-
23.
Solarte Vasquez, Maria Claudia, 1969-
24.
Solarte-Vasques, Maria Claudia
25.
Toomsalu, Maria
26.
Veitmaa, Eva Maria
27.
Volokhova, Maria
28.
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