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 (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
39
Look more..
(3/261)
Export
export all inquiry results
(39)
Save TXT fail
Save PDF 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
journal article EST
/
journal article ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
book article EST
/
book article ENG
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
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
3
book article EST
/
book article ENG
A canonical algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, 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
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
4
book article
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
book article
5
book article EST
/
book article ENG
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
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
6
book article EST
/
book article ENG
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, p. 30:1–30:24 : ill
https://doi.org/10.4230/LIPIcs.CSL.2021.30
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Related publications
1
Monoidal width = Monoidiline laius
7
book article EST
/
book article ENG
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
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
8
book article
Diagrammatic algebra of first order logic
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
LICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
2024
/
art. 16, p. 1-15 : ill
https://doi.org/10.1145/3661814.3662078
book article
Related publications
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
9
journal article
Diagrammatic algebra of first order logic : [preprint]
Bonchi, Filippo
;
Di Giorgio, Alessandro
;
Haydon, Nathan Joseph
;
Sobocinski, Pawel Maria
arXiv.org
2024
/
34 p. : ill
https://doi.org/10.48550/arXiv.2401.07055
journal article
10
book article EST
/
book article ENG
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
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
11
newspaper article
Doktorantuur IKTs – mitte ainult akadeemilise maailma austajatele
arileht.delfi.ee
2023
Doktorantuur IKTs – mitte ainult akadeemilise maailma austajatele
newspaper article
12
book
Foundations of software science and computation structures: 26th International Conference, FoSSaCS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023, proceedings
2023
https://doi.org/10.1007/978-3-031-30829-1
book
13
journal article EST
/
journal article ENG
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, 28 p. : ill
https://doi.org/10.1145/3434338
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
14
journal article EST
/
journal article ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
15
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
16
journal article
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
journal article
17
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
18
journal article EST
/
journal article ENG
Monoidal width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
p. 15:1–15:46 : ill
https://doi.org/10.46298/LMCS-19(3:15)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Related publications
1
Monoidal width = Monoidiline laius
19
book article EST
/
book article ENG
Monoidal width : capturing rank width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Proceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 2022
2023
/
p. 268-283 : ill
https://doi.org/10.4204/EPTCS.380.16
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Related publications
1
Monoidal width = Monoidiline laius
20
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
21
book article EST
/
book article ENG
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
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
22
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
23
newspaper article
Pawel Sobocinski: kui me ei taha Euroopas ja Eestis olla tehnoloogia orjad, peab meil innovatsiooniks olema kõrgel tasemel eksperte
Sobocinski, Pawel Maria
delfi.ee
2024
Pawel Sobocinski: kui me ei taha Euroopas ja Eestis olla tehnoloogia orjad, peab meil innovatsiooniks olema kõrgel tasemel eksperte
newspaper article
24
newspaper article
Pawel Sobocinski: Teistmoodi matemaatikaga saame luua paremat tarkvara
Sobocinski, Pawel Maria
arileht.delfi.ee
Trialoog
2024
Pawel Sobocinski: Teistmoodi matemaatikaga saame luua paremat tarkvara
Pawel Sobocinski: Teistmoodi matemaatikaga saame luua paremat tarkvara
newspaper article
25
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
Number of records 39, displaying
1 - 25
previous
1
2
next
author
202
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.
Brdulak, Halina Maria
35.
Briones, Maria J. I.
36.
Bueno, Sonia Maria Alves
37.
Burko, Maria
38.
Calvelo, Natalia De María
39.
Cieslak, Maria
40.
Coraglia, Ugo Maria
41.
Correia, Maria
42.
Corriga, Maria G.
43.
Costa, Maria Joao
44.
Costa, Maria João
45.
Cristea, Amelia-Maria
46.
Cruz Minguillon, Maria
47.
Czarnek, Maria
48.
Daglia, Maria
49.
Danukalova, Maria K.
50.
Davydovskaya, Maria
51.
De Carlini, Maria
52.
De Falco, Maria Chiara
53.
Díaz-Redondo, Maria
54.
Dinis, Maria Alzira Pimenta
55.
Donaire Galiano, María Dolores
56.
Dorobanţu, Maria I.
57.
Dos Remédios Mendes De Brito, Maria
58.
Drozdova, Maria
59.
Ferreira, Maria Teresa
60.
Ferreiro, Maria de Fátima
61.
Fiazza, Maria-Camilla
62.
Fischerova, Maria
63.
Fisherova, Maria
64.
Fomitšenko, Maria
65.
Freimann, Maria
66.
Garcia Juanatey, Maria
67.
Gargano, Maria
68.
Glushkova, Maria
69.
Graziani, Maria Stella
70.
Grepp, Mia Maria
71.
Guazzaroni, María-Eugenia
72.
Habicht, Maria
73.
Hagnäs, Maria
74.
Hanif, Maria
75.
Hernandez Ramos, Maria
76.
Hrabarchuk, Maria
77.
Hägglund, Maria
78.
Hytti, Maria
79.
Isidori, Maria Vittoria
80.
Iskül, Anna-Maria
81.
Jakubik, Maria
82.
John, Maria Sindhura
83.
Jones, Ana Maria
84.
Jufereva-Skuratovski, Maria
85.
Jussila, Maria
86.
Jürimaa, Maria
87.
Kaare, Maria
88.
Kahlert, Maria
89.
Kaljusmaa, Liisa-Maria
90.
Kall, Maria
91.
Karus, Maria
92.
Kast, Maria
93.
Kast-Ondraczek, Maria
94.
Kesa, Maria
95.
Kirsel, Arda-Maria
96.
Kirss, Johanna Maria
97.
Kiss, Eva Maria
98.
Koidu, Maria
99.
Koivisto, Maria
100.
Konnikova, Maria R.
101.
Koskela, Iida-Maria
102.
Kruusemänd, Maria
103.
Kuhtinskaja, Maria
104.
Kulp, Maria
105.
Kupinskaja, Maria
106.
Kütt, Maria
107.
Laan, Made Maria
108.
Lagerström, Maria
109.
Laurson, Maria
110.
Lehtivaara, Maria
111.
Lehtmets, Karin Maria
112.
Leier, Maria
113.
Lepik, Kirke Maria
114.
Liivrand, Maria
115.
Lille, Maria
116.
Lillepruun, Maria
117.
Lindahl, Maria
118.
Linna, Julia-Maria
119.
Loas, Joanna Maria
120.
Loureiro, Sandra Maria Correia
121.
Maggi, Fabrizio Maria
122.
Maier, Maria
123.
Maiste, Eva-Maria
124.
Malmierca, María
125.
Manera, Maria Grazia
126.
Marabello, Maria Vittoria
127.
Maria, Pierre-Charles
128.
Merkulova, Maria
129.
Michael, Maria K.
130.
Milanes-Montero, Maria Isabel
131.
Milanés-Montero, María Isabel
132.
Milousi, Maria
133.
Morelli, Maria Flavia
134.
Naulainen, Madli-Maria
135.
Negretti, Maria Eletta
136.
Ondraczek-Kast, Maria
137.
Osendi, María IsabeL
138.
Osula, Anna-Maria
139.
Palts, Maria
140.
Pando Ballestros, Maria de la Paz
141.
Pasch, Ricarda Anna Maria
142.
Pashkevich, Maria
143.
Paz Pando Ballesteros, Maria de la
144.
Piccirilli, Maria Cristina
145.
Polese, Maria
146.
Portela, Maria Manuela
147.
Punamäe, Ode Maria
148.
Puusepp, Maria
149.
Rastello, Maria Luisa
150.
Reimal, Maria
151.
Reinaas, Maria
152.
Reinik, Maria
153.
Rikko, Bret-Maria
154.
Rohemäe, Maria-Ann
155.
Rüütmann, Anna Maria
156.
Safonova, Maria
157.
Santilli, Ruggero Maria
158.
Santos, Jose Maria
159.
Sarmiento Guerin, Maria Cecilia
160.
Schmalz, Maria
161.
Scicchitano, Maria Rosa
162.
Seidel, Maria
163.
Sepp, Anna-Maria
164.
Siilak, Johanna-Maria
165.
Simonova, Maria
166.
Sinimaa, Maria
167.
Sintorn, Ida-Maria
168.
Soares Rosario, Maria
169.
Sokolova, Maria
170.
Solarte Vasquez, Maria Claudia
171.
Sukhonos, Maria
172.
Sula, Eva-Maria
173.
Suurna, Maria
174.
Zeltser, Maria
175.
Temnikova, Maria
176.
Tilk, Maria
177.
Toumpourleka, Maria
178.
Trei, Hanna-Maria
179.
Troian, Maria
180.
Tropp, Elsa-Maria
181.
Tsareva, Anna Maria
182.
Tšepelevitš, Maria
183.
Tuohy, Maria G.
184.
Tuulik, Maria
185.
Ulfsak, Maria
186.
Uriz, Maria
187.
Uriz, Maria Jesus
188.
Vaher, Eva-Maria
189.
Valkonen, Maria
190.
Valsecchi, Maria Grazia
191.
Vasconcelos, Maria
192.
Vassiljev, Maria
193.
Vdovenko, Maria
194.
Veijalainen Anna-Maria
195.
Vikentjeva, Maria
196.
Wimmer, Maria A.
197.
Vita, Maria
198.
Volokhova, Maria
199.
Vooglaid, Kadi Maria
200.
Vuin, Maria Miranda
201.
Świderek, Maria
202.
Šimanskaja, Maria
CV
35
1.
Sobocinski, Pawel Maria
2.
Sobociński, Paweł Maria
3.
Borissova, Maria (-2014)
4.
Bouvy-Liivrand, Maria
5.
Brökling, Iris Maria
6.
Drozdova, Maria
7.
Fomitšenko, Maria
8.
Kaljusmaa, Liisa-Maria
9.
Kansberg, Maria 1889-1974
10.
Kessler, Diana-Maria
11.
Koidu, Maria
12.
Koost, Maria 1928-2014
13.
Kozlova, Maria
14.
Kuhtinskaja, Maria
15.
Kulp, Maria
16.
Kütt, Maria
17.
Liivrand, Maria
18.
Mutli, Maria 1899-1984
19.
Osula, Anna-Maria
20.
Puusepp, Maria
21.
Sarmiento Guerin, Maria Cecilia
22.
Sarmiento, Maria Cecilia
23.
Sokolova, Maria
24.
Solarte Vasquez, Maria Claudia
25.
Solarte Vásquez, Maria Claudia
26.
Solarte, Maria Claudia
27.
Solarte-Vasquez, Maria Claudia
28.
Stepanova, Maria
29.
Tsibanova, Maria
30.
Tšepelevitš, Maria
31.
Vasquez, Maria Claudia Solarte
32.
Vassiljev, Maria
33.
Vint, Tiina-Maria
34.
Vooglaid, Kadi Maria
35.
Vuin, Maria Miranda
name of the person
24
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.
Mirka, Maria
13.
Orel, Anna Maria
14.
Osula, Anna-Maria
15.
Rahamägi, Maria
16.
Rebane, Anett-Maria
17.
Safonova, Maria
18.
Sarmiento Guerin, Maria Cecilia
19.
Solarte Vasquez, Maria Claudia, 1969-
20.
Solarte-Vasques, Maria Claudia
21.
Toomsalu, Maria
22.
Veitmaa, Eva Maria
23.
Volokhova, Maria
24.
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