Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Sobocinski, Pawel Maria (autor)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
Leitud autorid
Sobocinski, Pawel Maria
autor
kommenteerija
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..
Kirjeid leitud
21
Vaata veel..
(6/200)
Ekspordi
ekspordi kõik päringu tulemused
(21)
Salvesta TXT fail
Salvesta PDF 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
artikkel kogumikus
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
artikkel kogumikus
2
artikkel kogumikus
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
artikkel kogumikus
3
artikkel ajakirjas
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
artikkel ajakirjas
4
artikkel kogumikus
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
artikkel kogumikus
5
artikkel kogumikus
A canonical algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman, 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
artikkel kogumikus
6
artikkel kogumikus
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
artikkel kogumikus
7
artikkel kogumikus
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
http://doi.org/10.4230/LIPIcs.CSL.2021.30
artikkel kogumikus
8
artikkel kogumikus
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
artikkel kogumikus
9
artikkel kogumikus
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
artikkel kogumikus
10
artikkel ajakirjas
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, p. 1–28
https://doi.org/10.1145/3434338
artikkel ajakirjas
11
artikkel ajakirjas
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
artikkel ajakirjas
12
artikkel ajakirjas
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
artikkel ajakirjas
13
artikkel kogumikus
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
artikkel kogumikus
14
artikkel kogumikus
Regular monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Leibniz International Proceedings in Informatics, LIPIcs
2022
/
p. 44:1-44:14
http://doi.org/10.4230/LIPIcs.MFCS.2022.44
artikkel kogumikus
15
artikkel ajakirjas
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
artikkel ajakirjas
16
artikkel ajakirjas
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
artikkel ajakirjas
17
artikkel ajakirjas
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
artikkel ajakirjas
18
artikkel ajakirjas
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. 1-41
http://dx.doi.org/10.1017/S0960129522000123
artikkel ajakirjas
19
artikkel kogumikus
String diagrammatic electrical circuit theory
Boisseau, Guillaume
;
Sobocinski, Pawel Maria
arXiv
2022
/
p. 178-191 : ill
https://doi.org/10.4204/EPTCS.372.13
artikkel kogumikus
20
artikkel ajakirjas
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
artikkel ajakirjas
21
artikkel ajakirjas
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
artikkel ajakirjas
Kirjeid leitud 21, kuvan
1 - 21
autor
137
1.
Sobocinski, Pawel Maria
2.
Debski, Pawel R.
3.
Kosakowski, Pawel
4.
Kosinski, Pawel
5.
Mroczek, Przemyslaw Paweł
6.
Prus, Pawel
7.
Zielinski, Pawel
8.
Urban, Pawel L.
9.
Urbanski, Pawel
10.
Wargocki, Pawel
11.
Agriesti, Serio Angelo Maria
12.
Ainsaar, Karin Maria
13.
Alajõe, Maria
14.
Alas, Brita-Maria
15.
Alonso, Maria Justo
16.
Alsa, Maria
17.
Anastasina, Maria
18.
Andersson, Maria A.
19.
Bogucka, Maria
20.
Borissova, Maria
21.
Brdulak, Halina Maria
22.
Briones, Maria J. I.
23.
Burko, Maria
24.
Correia, Maria
25.
Costa, Maria Joao
26.
Cristea, Amelia-Maria
27.
Cruz Minguillon, Maria
28.
Czarnek, Maria
29.
De Carlini, Maria
30.
De Falco, Maria Chiara
31.
Dinis, Maria Alzira Pimenta
32.
Donaire Galiano, María Dolores
33.
Drozdova, Maria
34.
Ferreira, Maria Teresa
35.
Ferreiro, Maria de Fátima
36.
Fiazza, Maria-Camilla
37.
Fischerova, Maria
38.
Fisherova, Maria
39.
Fomitšenko, Maria
40.
Graziani, Maria Stella
41.
Habicht, Maria
42.
Hagnäs, Maria
43.
Hernandez Ramos, Maria
44.
Iskül, Anna-Maria
45.
Jakubik, Maria
46.
John, Maria Sindhura
47.
Jones, Ana Maria
48.
Jürimaa, Maria
49.
Kahlert, Maria
50.
Kall, Maria
51.
Karus, Maria
52.
Kast, Maria
53.
Kast-Ondraczek, Maria
54.
Kirsel, Arda-Maria
55.
Kiss, Eva Maria
56.
Koidu, Maria
57.
Koivisto, Maria
58.
Koskela, Iida-Maria
59.
Kruusemänd, Maria
60.
Kuhtinskaja, Maria
61.
Kulp, Maria
62.
Kupinskaja, Maria
63.
Kütt, Maria
64.
Lagerström, Maria
65.
Laurson, Maria
66.
Lehtivaara, Maria
67.
Lehtmets, Karin Maria
68.
Leier, Maria
69.
Lepik, Kirke Maria
70.
Liivrand, Maria
71.
Lille, Maria
72.
Lillepruun, Maria
73.
Lindahl, Maria
74.
Linna, Julia-Maria
75.
Loas, Joanna Maria
76.
Maggi, Fabrizio Maria
77.
Malmierca, María
78.
Manera, Maria Grazia
79.
Marabello, Maria Vittoria
80.
Maria, Pierre-Charles
81.
Merkulova, Maria
82.
Michael, Maria K.
83.
Milanes-Montero, Maria Isabel
84.
Milousi, Maria
85.
Morelli, Maria Flavia
86.
Naulainen, Madli-Maria
87.
Negretti, Maria Eletta
88.
Ondraczek-Kast, Maria
89.
Osendi, María IsabeL
90.
Osula, Anna-Maria
91.
Palts, Maria
92.
Pando Ballestros, Maria de la Paz
93.
Pashkevich, Maria
94.
Paz Pando Ballesteros, Maria de la
95.
Piccirilli, Maria Cristina
96.
Portela, Maria Manuela
97.
Punamäe, Ode Maria
98.
Puusepp, Maria
99.
Rastello, Maria Luisa
100.
Reimal, Maria
101.
Reinik, Maria
102.
Rikko, Bret-Maria
103.
Safonova, Maria
104.
Santos, Jose Maria
105.
Sarmiento Guerin, Maria Cecilia
106.
Sepp, Anna-Maria
107.
Simonova, Maria
108.
Sinimaa, Maria
109.
Sintorn, Ida-Maria
110.
Soares Rosario, Maria
111.
Solarte Vasquez, Maria Claudia
112.
Sukhonos, Maria
113.
Sula, Eva-Maria
114.
Suurna, Maria
115.
Zeltser, Maria
116.
Temnikova, Maria
117.
Tilk, Maria
118.
Toumpourleka, Maria
119.
Troian, Maria
120.
Tropp, Elsa-Maria
121.
Tsareva, Anna Maria
122.
Tšepelevitš, Maria
123.
Tuohy, Maria G.
124.
Tuulik, Maria
125.
Ulfsak, Maria
126.
Uriz, Maria
127.
Uriz, Maria Jesus
128.
Vaher, Eva-Maria
129.
Vassiljev, Maria
130.
Vdovenko, Maria
131.
Veijalainen Anna-Maria
132.
Vikentjeva, Maria
133.
Wimmer, Maria A.
134.
Vita, Maria
135.
Volokhova, Maria
136.
Vooglaid, Kadi Maria
137.
Šimanskaja, Maria
CV
28
1.
Borissova, Maria (-2014)
2.
Brökling, Iris Maria 1970
3.
Drozdova, Maria 1988-
4.
Fomitšenko, Maria 1989-
5.
Kaljusmaa, Liisa-Maria
6.
Kansberg, Maria 1889-?
7.
Kessler, Diana-Maria
8.
Koidu, Maria 1976
9.
Koost, Maria 1928
10.
Kozlova, Maria
11.
Kuhtinskaja, Maria 1977
12.
Kulp, Maria 1978
13.
Mutli, Maria 1899-1984
14.
Osula, Anna-Maria
15.
Puusepp, Maria 1934
16.
Sarmiento, Maria Cecilia 1969
17.
Sokolova, Maria
18.
Solarte Vasquez, Maria Claudia
19.
Solarte Vásquez, Maria Claudia 1969
20.
Solarte-Vasquez, Maria Claudia
21.
Stepanova, Maria
22.
Tsibanova, Maria
23.
Tšepelevitš, Maria
24.
Vasquez, Maria Claudia Solarte
25.
Vassiljev, Maria
26.
Vint, Tiina-Maria 1960
27.
Vooglaid, Kadi Maria
28.
Vuin, Maria Miranda 1997
tema kohta
19
1.
Sobocinski, Pawel
2.
Alajõe, Maria, 1969-
3.
Britikovski, Maria
4.
Drozdova, Maria
5.
Fomitšenko, Maria
6.
Jõgisu, Johanna Maria
7.
Koidu, Maria
8.
Kuhtinskaja, Maria
9.
Loas, Joanna Maria
10.
Osula, Anna-Maria
11.
Rahamägi, Maria
12.
Rebane, Anett-Maria
13.
Safonova, Maria
14.
Sarmiento Guerin, Maria Cecilia
15.
Solarte Vasquez, Maria Claudia, 1969-
16.
Solarte-Vasques, Maria Claudia
17.
Toomsalu, Maria
18.
Volokhova, Maria
19.
Väli, Maria
pealkiri
11
1.
Anna-Maria Osula: küberruum pole enam ammu reeglitevaba Metsik Lääs [Võrguväljaanne]
2.
Intervjuu Tallinna Tehnikaülikooli vilistlase Joanna Maria Loasega
3.
Lõunamaalasena külmal maal : [peruulanna Maria Cecilia Sarmiento Guerin'i elust Eestis ja doktoriõpingutest TTÜs : vestlus]
4.
Maria Fomitšenko. Molekulaarsed mahutid
5.
Maria Väli: "Hakkasin enne laulma kui rääkima" [Võrguväljaanne]
6.
Naised töösturitena : "Esimene Tallinna vilditööstus" : [Maria Tomp, Salme Hendrikson]
7.
Peruulanna otsib Eestis vähiravimit : [intervjuu Maria Cecilia Sarmiento Gueriniga]
8.
Peruulanna tõusis Eesti teaduse tippu : [TTÜ geenitehnoloogia instituudi teadur Maria Cecilia Sarmiento Guerin]
9.
Tiina Mõisa stipendium geenitehnoloogia doktorandile Peruust : [Maria Cecilia Sarmiento Guerin]
10.
TTÜ Mektory direktoriks saab Maria Alajõe
11.
TTÜ turundust asus juhtima Maria Britikovski : [lühisõnum]
juhendaja
4
1.
Kuhtinskaja, Maria
2.
Kulp, Maria
3.
Sintorn, Ida-Maria
4.
Šimanskaja, Maria
kirjastus/väljaandja
1
1.
Maria Curie-Skłodowska University Press
×
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