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 (TTÜ 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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
29
Look more..
(3/224)
Export
export all inquiry results
(29)
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
Seotud publikatsioonid
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
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
Seotud publikatsioonid
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 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
9
newspaper article
Doktorantuur IKTs – mitte ainult akadeemilise maailma austajatele
arileht.delfi.ee
2023
Doktorantuur IKTs – mitte ainult akadeemilise maailma austajatele
newspaper article
10
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
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
11
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
12
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
13
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
Seotud publikatsioonid
8
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
Promonads and string diagrams for effectful categories
Collages of string diagrams
The produoidal algebra of process decomposition
14
journal article
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 article
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
15
book article
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.48550/arXiv.2205.08916
book article
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
16
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
Seotud publikatsioonid
3
Compositional modelling of network games
Monoidal width
Monoidal width : capturing rank width
17
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
18
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
Seotud publikatsioonid
8
Functorial semantics for partial theories
Situated transition systems
Concurrent process histories and resource transducers
A foundation for ledger structures
A variety theorem for relational universal algebra
The structure of concurrent process histories
Cornering optics
Protocol choice and iteration for the free cornering
19
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
20
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
21
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
22
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
2022
/
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
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
23
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
24
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
25
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
Number of records 29, displaying
1 - 25
previous
1
2
next
author
167
1.
Sobocinski, Pawel Maria
2.
Debski, Pawel R.
3.
Gargulinski, Pawel
4.
Jankowski, Pawel
5.
Kosakowski, Pawel
6.
Kosinski, Pawel
7.
Kowalczyk, Pawel
8.
Mroczek, Przemyslaw Paweł
9.
Prus, Pawel
10.
Zielinski, Pawel
11.
Urban, Pawel L.
12.
Urbanski, Pawel
13.
Wargocki, Pawel
14.
Agriesti, Serio Angelo Maria
15.
Ainsaar, Karin Maria
16.
Alajõe, Maria
17.
Alas, Brita-Maria
18.
Alas, Maria
19.
Alonso, Maria Justo
20.
Alsa, Maria
21.
Alvarez, Maria Fernandez
22.
Anastasina, Maria
23.
Andersson, Maria A.
24.
Bejarano, Maria Dolores
25.
Bogucka, Maria
26.
Bokova, Maria
27.
Borissova, Maria
28.
Brdulak, Halina Maria
29.
Briones, Maria J. I.
30.
Burko, Maria
31.
Coraglia, Ugo Maria
32.
Correia, Maria
33.
Costa, Maria Joao
34.
Costa, Maria João
35.
Cristea, Amelia-Maria
36.
Cruz Minguillon, Maria
37.
Czarnek, Maria
38.
Daglia, Maria
39.
Davydovskaya, Maria
40.
De Carlini, Maria
41.
De Falco, Maria Chiara
42.
Díaz-Redondo, Maria
43.
Dinis, Maria Alzira Pimenta
44.
Donaire Galiano, María Dolores
45.
Drozdova, Maria
46.
Ferreira, Maria Teresa
47.
Ferreiro, Maria de Fátima
48.
Fiazza, Maria-Camilla
49.
Fischerova, Maria
50.
Fisherova, Maria
51.
Fomitšenko, Maria
52.
Freimann, Maria
53.
Gargano, Maria
54.
Glushkova, Maria
55.
Graziani, Maria Stella
56.
Guazzaroni, María-Eugenia
57.
Habicht, Maria
58.
Hagnäs, Maria
59.
Hernandez Ramos, Maria
60.
Hägglund, Maria
61.
Hytti, Maria
62.
Iskül, Anna-Maria
63.
Jakubik, Maria
64.
John, Maria Sindhura
65.
Jones, Ana Maria
66.
Jürimaa, Maria
67.
Kaare, Maria
68.
Kahlert, Maria
69.
Kall, Maria
70.
Karus, Maria
71.
Kast, Maria
72.
Kast-Ondraczek, Maria
73.
Kirsel, Arda-Maria
74.
Kirss, Johanna Maria
75.
Kiss, Eva Maria
76.
Koidu, Maria
77.
Koivisto, Maria
78.
Konnikova, Maria R.
79.
Koskela, Iida-Maria
80.
Kruusemänd, Maria
81.
Kuhtinskaja, Maria
82.
Kulp, Maria
83.
Kupinskaja, Maria
84.
Kütt, Maria
85.
Laan, Made Maria
86.
Lagerström, Maria
87.
Laurson, Maria
88.
Lehtivaara, Maria
89.
Lehtmets, Karin Maria
90.
Leier, Maria
91.
Lepik, Kirke Maria
92.
Liivrand, Maria
93.
Lille, Maria
94.
Lillepruun, Maria
95.
Lindahl, Maria
96.
Linna, Julia-Maria
97.
Loas, Joanna Maria
98.
Loureiro, Sandra Maria Correia
99.
Maggi, Fabrizio Maria
100.
Malmierca, María
101.
Manera, Maria Grazia
102.
Marabello, Maria Vittoria
103.
Maria, Pierre-Charles
104.
Merkulova, Maria
105.
Michael, Maria K.
106.
Milanes-Montero, Maria Isabel
107.
Milousi, Maria
108.
Morelli, Maria Flavia
109.
Naulainen, Madli-Maria
110.
Negretti, Maria Eletta
111.
Ondraczek-Kast, Maria
112.
Osendi, María IsabeL
113.
Osula, Anna-Maria
114.
Palts, Maria
115.
Pando Ballestros, Maria de la Paz
116.
Pashkevich, Maria
117.
Paz Pando Ballesteros, Maria de la
118.
Piccirilli, Maria Cristina
119.
Portela, Maria Manuela
120.
Punamäe, Ode Maria
121.
Puusepp, Maria
122.
Rastello, Maria Luisa
123.
Reimal, Maria
124.
Reinik, Maria
125.
Rikko, Bret-Maria
126.
Rohemäe, Maria-Ann
127.
Rüütmann, Anna Maria
128.
Safonova, Maria
129.
Santos, Jose Maria
130.
Sarmiento Guerin, Maria Cecilia
131.
Scicchitano, Maria Rosa
132.
Seidel, Maria
133.
Sepp, Anna-Maria
134.
Simonova, Maria
135.
Sinimaa, Maria
136.
Sintorn, Ida-Maria
137.
Soares Rosario, Maria
138.
Solarte Vasquez, Maria Claudia
139.
Sukhonos, Maria
140.
Sula, Eva-Maria
141.
Suurna, Maria
142.
Zeltser, Maria
143.
Temnikova, Maria
144.
Tilk, Maria
145.
Toumpourleka, Maria
146.
Trei, Hanna-Maria
147.
Troian, Maria
148.
Tropp, Elsa-Maria
149.
Tsareva, Anna Maria
150.
Tšepelevitš, Maria
151.
Tuohy, Maria G.
152.
Tuulik, Maria
153.
Ulfsak, Maria
154.
Uriz, Maria
155.
Uriz, Maria Jesus
156.
Vaher, Eva-Maria
157.
Valkonen, Maria
158.
Vasconcelos, Maria
159.
Vassiljev, Maria
160.
Vdovenko, Maria
161.
Veijalainen Anna-Maria
162.
Vikentjeva, Maria
163.
Wimmer, Maria A.
164.
Vita, Maria
165.
Volokhova, Maria
166.
Vooglaid, Kadi Maria
167.
Šimanskaja, Maria
CV
35
1.
Sobocinski, Pawel Maria
2.
Sobociński, Paweł Maria 1978
3.
Borissova, Maria (-2014)
4.
Bouvy-Liivrand, Maria 1986
5.
Brökling, Iris Maria 1970
6.
Drozdova, Maria 1988
7.
Fomitšenko, Maria 1989
8.
Kaljusmaa, Liisa-Maria
9.
Kansberg, Maria 1889-?
10.
Kessler, Diana-Maria
11.
Koidu, Maria 1976
12.
Koost, Maria 1928
13.
Kozlova, Maria
14.
Kuhtinskaja, Maria 1977
15.
Kulp, Maria 1978
16.
Kütt, Maria 1978
17.
Liivrand, Maria
18.
Mutli, Maria 1899-1984
19.
Osula, Anna-Maria
20.
Puusepp, Maria 1934
21.
Sarmiento Guerin, Maria Cecilia 1969
22.
Sarmiento, Maria Cecilia
23.
Sokolova, Maria
24.
Solarte Vasquez, Maria Claudia
25.
Solarte Vásquez, Maria Claudia 1969
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 1960
34.
Vooglaid, Kadi Maria 1987
35.
Vuin, Maria Miranda 1997
name of the person
22
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.
Orel, Anna Maria
13.
Osula, Anna-Maria
14.
Rahamägi, Maria
15.
Rebane, Anett-Maria
16.
Safonova, Maria
17.
Sarmiento Guerin, Maria Cecilia
18.
Solarte Vasquez, Maria Claudia, 1969-
19.
Solarte-Vasques, Maria Claudia
20.
Toomsalu, Maria
21.
Volokhova, Maria
22.
Väli, Maria
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT