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