Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas EST / artikkel ajakirjas ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

2

artikkel kogumikus EST / artikkel kogumikus ENG

Cornering opticsBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 97-110 : ill https://doi.org/10.4204/EPTCS.380.6 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

3

artikkel ajakirjas

Cornering optics : preprintBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.00842

artikkel ajakirjas

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

4

artikkel kogumikus

A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / art. 7, p. 7:1–7:31 https://doi.org/10.4230/OASIcs.Tokenomics.2020.7

artikkel kogumikus

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

5

artikkel ajakirjas EST / artikkel ajakirjas ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

6

dissertatsioon

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriadNester, Chad Mitchell2024 https://www.ester.ee/record=b5650413*est https://digikogu.taltech.ee/et/Item/696327ea-955a-45ad-bf93-bca34084131f https://doi.org/10.23658/taltech.4/2024

dissertatsioon

Seotud publikatsioonid 8

7

artikkel ajakirjas

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942

artikkel ajakirjas

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

8

artikkel kogumikus EST / artikkel kogumikus ENG

Situated transition systemsNester, Chad MitchellarXiv2022 / p. 103-115 https://doi.org/10.4204/EPTCS.372.8 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

9

artikkel kogumikus EST / artikkel kogumikus ENG

The structure of concurrent process historiesNester, Chad MitchellCoordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings2021 / p. 209−224 https://doi.org/10.1007/978-3-030-78142-2_13 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

10

artikkel kogumikus EST / artikkel kogumikus ENG

A variety theorem for relational universal algebraNester, Chad MitchellRelational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021 : proceedings2021 / p. 362–377 https://doi.org/10.1007/978-3-030-88701-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

Nester, Chad Mitchell (autor)

teaviku laadid

autor 5

CV 1