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