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
Liitotsing
Valitud kirjed
0
Earnshaw, Matthew David (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
Leitud autorid
Earnshaw, Matthew David 1992
CV
autor
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
8
Vaata veel..
(4/166)
Ekspordi
ekspordi kõik päringu tulemused
(8)
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
artikkel ajakirjas
Context-Free Languages of String Diagrams
Earnshaw, Matthew David
;
Roman Garcia, Mario
arXiv.org
2024
/
24 p. : ill
https://doi.org/10.48550/arXiv.2404.10653
artikkel ajakirjas
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
2
artikkel kogumikus
Context-Free Languages of String Diagrams
Earnshaw, Matthew David
;
Roman Garcia, Mario
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025 : proceedings
2025
/
p. 1–23 : ill
https://doi.org/10.1007/978-3-031-90897-2_1
artikkel kogumikus
3
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
4
artikkel ajakirjas
The produoidal algebra of process decomposition
Earnshaw, Matthew David
;
Hefford, James
;
Roman Garcia, Mario
arXiv.org
2023
/
56 p. : ill
https://doi.org/10.48550/arXiv.2301.11867
artikkel ajakirjas
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
5
artikkel kogumikus EST
/
artikkel kogumikus ENG
The produoidal algebra of process decomposition
Earnshaw, Matthew David
;
Hefford, James
;
Román, Mario
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
2024
/
art. 25, 19 p. ill
https://doi.org/10.4230/LIPIcs.CSL.2024.25
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
6
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
7
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Regular planar monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Journal of logical and algebraic methods in programming
2024
/
art. 100963, 20 p. : ill
https://doi.org/10.1016/j.jlamp.2024.100963
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
8
artikkel kogumikus EST
/
artikkel kogumikus ENG
String diagrammatic trace theory
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
2023
/
art. 43, 43 p. : ill
https://doi.org/10.4230/LIPIcs.MFCS.2023.43
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
Kirjeid leitud 8, kuvan
1 - 8
autor
133
1.
Earnshaw, Matthew David
2.
Alkire, Matthew B.
3.
Arvanitis, Matthew A.
4.
Bailey, Matthew H.
5.
Bloss, Matthew
6.
Canham, Matthew
7.
Coates, Matthew
8.
Dumont, Matthew
9.
Hargrave, Matthew S.
10.
McDermott, Matthew
11.
Peros, Matthew Charles
12.
Pinder, Matthew
13.
Reyna, Matthew A.
14.
Rutherford, Matthew J.
15.
Ryan, Matthew
16.
Saltzman, Matthew R.
17.
Sorell, Matthew
18.
Wright, Matthew
19.
Adams, David J.
20.
Allen, David T.
21.
Barber, David
22.
Bassir, David
23.
Besten, David den
24.
Bivin, David G.
25.
Bowtell, David D. L.
26.
Braun, David
27.
Brown, J. David
28.
Burnard, Michael David
29.
Buysse, David
30.
Cabana, David
31.
Calatayud, David G.
32.
Cappelletti, David
33.
Caraveo, David
34.
Carmon, David
35.
Carter, David
36.
Cornell, David
37.
Cournapeau, David
38.
David, Rudolf
39.
Duena Cid, David
40.
Duenas Cid, David
41.
Duenas-Cid, David
42.
Eriksson, David
43.
Erport, David
44.
Estrada, David
45.
Fermin, David J.
46.
Fiel, David
47.
Fike, David A
48.
Flynn, David
49.
G. Calatayud, David
50.
Galán-Madruga, David
51.
Gelsthorpe, David
52.
Gligor, David
53.
Gonzalez, David
54.
Goodall, David M.
55.
Gouverneur, David
56.
Guerra Zubiaga, David
57.
Guerra-Zubiaga, David
58.
Guerrero-Balaguera, Juan-David
59.
Haan, David
60.
Harper, David A. T.
61.
Israelian, Taavi-David
62.
Jancsics, David
63.
Jay, David
64.
John, David
65.
Jung, David S.
66.
Kaptšits, David
67.
Kesner, David
68.
Kopal, David
69.
Korten, David C.
70.
Krcmarik, David
71.
Lamas, David
72.
Lane, David M. Mike
73.
Lange, David
74.
Lawrence, David Herbert
75.
Le Coq, David
76.
Levitz, David
77.
Lowther, David Alister
78.
Loydell, David Kendrick
79.
Loydell, David, K.
80.
Manset, David
81.
Marais, David
82.
Marcos del Blanco, David Yeregui
83.
Mas-Ponte, David
84.
Mayes, David G.
85.
McBride, Keegan David Braun
86.
Merkin, David
87.
Meyer, David
88.
Naranjo-Hernandez, David
89.
Naranjo-Hernández, David
90.
Novacek, David
91.
Nowak, David
92.
Ojcius, David M.
93.
Olefeldt, David
94.
Overend, David
95.
Paez-Margarit, David
96.
Panek, David
97.
Pantzar, David
98.
Payno Zarceno, David
99.
Payno, David
100.
Pellman, David S.
101.
Perkins, David
102.
Pilmenštein, David
103.
Pugal, David
104.
Ramiro Troitino, David
105.
Rincon, Cristian David
106.
Roubaud, David
107.
Sanchez, David
108.
Scanlon, David O.
109.
Schryer, David
110.
Schäfer, David
111.
Sept, David
112.
Sheets, H. David
113.
Siveter, David J.
114.
Skibbe, David
115.
Smallbone, David
116.
Solano Acosta, Juan David
117.
Sprott, David E.
118.
Stackelberg, David
119.
Stock, David
120.
Stopar, David
121.
Sürott, David E.
122.
Zapletal, David
123.
Troitino, David Ramiro
124.
Walters, David
125.
Vanavermaete, David
126.
Vetsch, David Florian
127.
Witt, Emlyn David Qivitoq
128.
Wragg, David
129.
Wragg, David S.
130.
Wright, David F.
131.
Vseviov, David
132.
Young, David C.
133.
Špaček, David
CV
19
1.
Earnshaw, Matthew David
2.
Sorell, Matthew
3.
Sorell, Matthew James
4.
Cid, Duenas David
5.
Dijk, Allard David
6.
Duenas Cid, David
7.
Dueñas Cid, David
8.
Duenas-Cid, David
9.
Erport, David 1908-1993
10.
González, David
11.
Gonzalez, David
12.
Levitski, David 1913-?
13.
McBride, Keegan David Braun
14.
Ramiro Troitino, David
15.
Ramiro Troitiño, David
16.
Solano Acosta, Juan David
17.
Solano-Acosta, Juan David
18.
Troitiño, David Ramiro
19.
Witt, Emlyn David Qivitoq
tema kohta
12
1.
Ben Gurion, David
2.
DueDuenas Cid, David
3.
Hilbert, David
4.
Hilchen, David, 1561-1610
5.
Israeljan, Taavi-David
6.
Levitski, David, 1913-?
7.
MacMillan, David
8.
McBride, Keegan David Braun
9.
Ramiro Troitino, David
10.
Schryer, David W.
11.
Solano Acosta, Juan David
12.
Witt, Emlyn David Qivitoq
võtmesõna
2
1.
David Cameron
2.
David Hilchen
×
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