ResearcherID Thomson Reuters  

Uustalu, Tarmo
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: I-1242-2015
URL: http://www.researcherid.com/rid/I-1242-2015
Subject: Computer Science; Mathematics
ORCID: http://orcid.org/0000-0002-1297-0579
My Institutions (more details)
Primary Institution:
Sub-org/Dept: School of Computer Science
Role:
Joint Affiliation:
Sub-org/Dept: Department of Software Science
Role:
My URLs: http://cs.ioc.ee/~tarmo/
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  10  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: A proof-theoretic study of bi-intuitionistic propositional sequent calculus
 Author(s): Lus Pinto; Tarmo Uustalu
 Source: Journal of Logic and Computation Volume: 28 Issue: 1 Pages: 165--202 Published: 2018
 DOI: 10.1093/logcom/exx044
added
29-Mar-18
2.  Title: Certified Foata Normalization for Generalized Traces
 Author(s): Hendrik Maarand; Tarmo Uustalu
 Source: Lecture Notes in Computer Science Pages: 299--314 Published: 2018
 DOI: 10.1007/978-3-319-77935-5_21
added
24-Mar-18
3.  Title: Preface
 Author(s): Uustalu, T.
 Conference: Leibniz International Proceedings in Informatics, LIPIcs Volume: 69 Year: 2018
 Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-85045435896&partnerID=MN8TOAR ...
added
30-Apr-18
4.  Title: Container Combinatorics: Monads and Lax Monoidal Functors
 Author(s): Tarmo Uustalu
 Source: Topics in Theoretical Computer Science Pages: 91--105 Published: 2017
 DOI: 10.1007/978-3-319-68953-1_8
added
16-Oct-17
5.  Title: Finiteness and rational sequences, constructively
 Author(s): TARMO UUSTALU; NICCOLO VELTRI
 Source: Journal of Functional Programming Volume: 27 Published: 2017
 Times Cited: 0
 DOI: 10.1017/S0956796817000041
added
07-Apr-17
6.  Title: Formalizing Restriction Categories
 Author(s): Chapman, James; Uustalu, Tarmo; Veltri, Niccolo
 Source: Journal of Formalized Reasoning Volume: 10 Issue: 1 Pages: 1-36 Published: 2017
 Times Cited: 0
added
22-Aug-17
7.  Title: Generating Representative Executions [Extended Abstract]
 Author(s): Hendrik Maarand; Tarmo Uustalu
 Source: Electronic Proceedings in Theoretical Computer Science Volume: 246 Pages: 39--48 Published: 2017
 Times Cited: 0
 DOI: 10.4204/EPTCS.246.8
added
10-Apr-17
8.  Title: Partiality and Container Monads
 Author(s): Tarmo Uustalu; Niccolò Veltri
 Source: Programming Languages and Systems Pages: 406--425 Published: 2017
 DOI: 10.1007/978-3-319-71237-6_20
added
19-Nov-17
9.  Title: Quotienting the delay monad by weak bisimilarity
 Author(s): JAMES CHAPMAN; TARMO UUSTALU; NICCOLÒ VELTRI
 Source: Mathematical Structures in Computer Science Published: 2017
 DOI: 10.1017/S0960129517000184 /  Author-provided URL : https://doi.org/10.1017/S0960129517000184
added
18-Oct-17
10.  Title: Taking updates seriously
 Author(s): Ahman, D.; Uustalu, T.
 Conference: CEUR Workshop Proceedings Volume: 1827 Pages: 59-73 Year: 2017
 Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-85019214713&partnerID=MN8TOAR ...
added
29-May-17
publication(s)  
First Page Previous Page Page   of  10  Go Next Page Last Page
  Sort by:    Results per page: