Skip to main navigation
Skip to search
Skip to main content
TU Delft Research Portal Home
Help & FAQ
Home
Research Units
Researchers
Research output
Datasets
Projects
Press / Media
Activities
Prizes
Search by expertise, name or affiliation
Software Technology
Delft University of Technology
Electrical Engineering, Mathematics and Computer Science
Overview
Network
Researchers
(226)
Projects
(2)
Research output
(3699)
Datasets
(49)
Prizes
(32)
Activities
(129)
Press / Media
(10)
Research output
Research output per year
1998
2000
2009
2010
2011
2012
2013
2015
2017
2018
2019
2020
2021
2022
2335
Conference contribution
803
Article
144
Dissertation (TU Delft)
142
Chapter
275
More
73
Report
33
Book
31
Editorial
19
Abstract
16
Book editing
15
Conference article
12
Patent
11
Foreword/postscript
10
Paper
10
Poster
9
Review article
8
Exhibition
4
Comment/Letter to the editor
4
Web publication/site
3
Other
3
Meeting Abstract
3
Special issue
2
Book/Film/Article review
2
Letter
2
Other contribution
2
Dissertation (external, preparation TU Delft)
2
Working paper
1
Dissertation (external)
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Working paper
Search results
2020
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Rouvoet, A.
,
Poulsen, C.
,
Krebbers, R.
&
Visser, E.
,
2020
,
ACM DL
,
p. 284-298
,
15 p.
Research output
:
Working paper/Preprint
›
Working paper
›
Scientific
Open Access
File
Semantics
100%
Linear programming
67%
Specifications
47%
Communication
36%
47
Downloads (Pure)
2015
From Needs to Knowledge: A reference framework for smart citizens initiatives
Bozzon, A.
,
Houtkamp, J.
,
Kresin, F.
,
Sena, N. D.
&
de Weerdt, M.
,
2015
,
Amsterdam Institute for Advanced Metropolitan Solutions (AMS)
,
p. 1-58
,
58 p.
Research output
:
Working paper/Preprint
›
Working paper
›
Scientific
Open Access
File
citizen
100%
decision making process
32%
public authorities
30%
deliberation
26%
discourse
14%
42
Downloads (Pure)