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
Advanced search
My bookmarks
0
Institute of Cybernetics at Tallinn University of Technology (publisher)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
14
Look more..
(4/19)
Export
export all inquiry results
(14)
Save TXT fail
Save PDF 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
book article
Distributive laws of directed containers : [extended abstract]
Ahman, Danel
;
Uustalu, Tarmo
11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions
2012
/
[p. 1-3]
https://cs.ioc.ee/~danel/papers/cmcs12.pdf
book article
2
book
11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions
2012
https://www.ester.ee/record=b2769329*est
book
3
book article
Higher-order attribute semantics of flat declarative languages
Grigorenko, Pavel
20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts
2008
/
p. 37-39 : ill
https://artiklid.elnet.ee/record=b1072901*est
book article
4
book article
Model-based testing of a web-based positioning application
Roo, Rivo
;
Ernits, Juhan-Peep
20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts
2008
/
p. 75-77 : ill
https://link.springer.com/chapter/10.1007/978-3-642-05031-2_14
book article
5
book article
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
2015
/
p. 38-39
book article
6
book
Seventeenth Estonian Winter School in Computer Science (EWSCS'12) : Park Hotel Palmse, Lahemaa, Estonia : February 26 - March 2, 2012
2012
https://www.ester.ee/record=b2755687*est
book
7
book
10th Workshop on Quantitative Aspects of Programming Languages : QAPL 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : pre-proceedings
2012
https://www.ester.ee/record=b2769334*est
book
8
book
Testing of Software and Communicating Systems : work-in-progress and position papers, tool demonstrations, and tutorial abstracts of TestCom/Fates 2007 : Tallinn, Estonia, 26-29 June 2007
Petrenko, Alexandre
;
Veanes, Margus
;
Tretmans, Jan
;
Grieskamp, Wolfgang
2007
https://www.ester.ee/record=b2271047*est
book
9
book
TFP/ICFP/GPCE 2005 : Tallinn, Estonia, 23 September - 1 October 2005 : final programme
2005
https://www.ester.ee/record=b2076119*est
book
10
book
12th Workshop on Language Descriptions, Tools and Applications : LDTA 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : pre-proceedings
2012
https://www.ester.ee/record=b2769319*est
book
11
book
20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts
Uustalu, Tarmo
;
Vain, Jüri
;
Ernits, Juhan-Peep
2008
https://www.ester.ee/record=b2435749*est
book
12
book
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
2015
http://www.ester.ee/record=b4473137*est
book
13
book article
Welcome to TFP, ICFP and GPCE 2005 in Tallinn
Uustalu, Tarmo
TFP/ICFP/GPCE 2005 : Tallinn, Estonia, 23 September - 1 October 2005 : final programme
2005
/
p. 3
book article
14
book
Workshop on Mathematically Structured Functional Programming : MSFP 2006 : Kuressaare, Estonia, 2 July 2006 : proceedings
2006
http://www.ester.ee/record=b2155741*est
book
Number of records 14, displaying
1 - 14
author
9
1.
Department of Software Science, Tallinn University of Technology
2.
Tallinn University of Technology
3.
Tallinn University of Technology, Department of Electrical Engineering
4.
Tallinn University of Technology, School of Economics and Business Administration
5.
Tallinna Tehnikaülikooli üliõpilasesindus = Student Council of Tallinn University of Technology
6.
Tallinn Polytechnic Institute
7.
Tallinn Polytechnic Institute, Chair of Foreign Languages
8.
Tallinn Technical University
9.
Tallinn University of Technology. School of Economics and Business Administration
keyword
5
1.
Tallinn University of Technology
2.
Tallinn University of Technology Library
3.
University technology commercialisation
4.
university technology transfer
5.
cybernetics
subject term
4
1.
Department of Marine Systems of Tallinn University of Technology (TalTech)
2.
Massachusetts Institute of Technology
3.
Norwegian University of Science and Technology
4.
The Silesian University of Technology
TTÜ subject term
1
1.
ESN Tallinn University of Technology International Club
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT