Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Earnshaw, Matthew David (author)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
7
Look more..
(4/162)
Export
export all inquiry results
(7)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article
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
journal article
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
2
dissertation
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
dissertation
Related publications
4
Regular monoidal languages
String diagrammatic trace theory
Regular planar monoidal languages
Context-Free Languages of String Diagrams
3
journal article
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
journal article
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
4
book article EST
/
book article 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
book article EST
/
book article ENG
5
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
6
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
7
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
Languages of string diagrams = Nöördiagrammide keeled
Number of records 7, displaying
1 - 7
author
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
name of the person
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
keyword
2
1.
David Cameron
2.
David Hilchen
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT