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
Earnshaw, Matthew David (autor)
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
7
Vaata veel..
(4/155)
Ekspordi
ekspordi kõik päringu tulemused
(7)
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 ajakirjas
Context-Free Languages of String Diagrams
Earnshaw, Matthew David
;
Román, 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
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
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
4
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
5
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
6
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
7
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 7, kuvan
1 - 7
autor
123
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.
Sorell, Matthew
17.
Adams, David J.
18.
Allen, David T.
19.
Barber, David
20.
Bassir, David
21.
Besten, David den
22.
Bivin, David G.
23.
Bowtell, David D. L.
24.
Braun, David
25.
Brown, J. David
26.
Burnard, Michael David
27.
Buysse, David
28.
Cabana, David
29.
Cappelletti, David
30.
Caraveo, David
31.
Carmon, David
32.
Carter, David
33.
Cornell, David
34.
Cournapeau, David
35.
David, Rudolf
36.
Duena Cid, David
37.
Duenas Cid, David
38.
Duenas-Cid, David
39.
Erport, David
40.
Estrada, David
41.
Fermin, David J.
42.
Fike, David A
43.
Flynn, David
44.
Galán-Madruga, David
45.
Gelsthorpe, David
46.
Gligor, David
47.
Goodall, David M.
48.
Gouverneur, David
49.
Guerra Zubiaga, David
50.
Guerra-Zubiaga, David
51.
Guerrero-Balaguera, Juan-David
52.
Haan, David
53.
Harper, David A. T.
54.
Israelian, Taavi-David
55.
Jancsics, David
56.
Jay, David
57.
John, David
58.
Jung, David S.
59.
Kaptšits, David
60.
Kesner, David
61.
Kopal, David
62.
Korten, David C.
63.
Krcmarik, David
64.
Lamas, David
65.
Lane, David M. Mike
66.
Lange, David
67.
Lawrence, David Herbert
68.
Le Coq, David
69.
Lowther, David Alister
70.
Loydell, David Kendrick
71.
Loydell, David, K.
72.
Manset, David
73.
Marais, David
74.
Marcos del Blanco, David Yeregui
75.
Mas-Ponte, David
76.
Mayes, David G.
77.
McBride, Keegan David Braun
78.
Merkin, David
79.
Meyer, David
80.
Naranjo-Hernandez, David
81.
Naranjo-Hernández, David
82.
Novacek, David
83.
Nowak, David
84.
Ojcius, David M.
85.
Olefeldt, David
86.
Overend, David
87.
Paez-Margarit, David
88.
Panek, David
89.
Pantzar, David
90.
Pellman, David S.
91.
Perkins, David
92.
Pilmenštein, David
93.
Pugal, David
94.
Ramiro Troitino, David
95.
Rincon, Cristian David
96.
Roubaud, David
97.
Schryer, David
98.
Schäfer, David
99.
Sept, David
100.
Sheets, H. David
101.
Siveter, David J.
102.
Skibbe, David
103.
Smallbone, David
104.
Solano Acosta, Juan David
105.
Solano-Acosta, Juan David
106.
Solano-Acosta, Juan-David
107.
Sprott, David E.
108.
Stackelberg, David
109.
Stock, David
110.
Stopar, David
111.
Sürott, David E.
112.
Zapletal, David
113.
Troitino, David Ramiro
114.
Walters, David
115.
Vanavermaete, David
116.
Vetsch, David Florian
117.
Witt, Emlyn David Qivitoq
118.
Wragg, David
119.
Wragg, David S.
120.
Wright, David F.
121.
Vseviov, David
122.
Young, David C.
123.
Špaček, David
CV
18
1.
Earnshaw, Matthew David
2.
Sorell, Matthew
3.
Sorell, Matthew James
4.
Cid, Duenas David
5.
Duenas Cid, David
6.
Dueñas Cid, David
7.
Duenas-Cid, David
8.
Erport, David 1908-1993
9.
González, David
10.
Gonzalez, David
11.
Levitski, David 1913-?
12.
McBride, Keegan David Braun
13.
Ramiro Troitino, David
14.
Ramiro Troitiño, David
15.
Solano Acosta, Juan David
16.
Solano-Acosta, Juan David
17.
Troitiño, David Ramiro
18.
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