Software Technology

Research output

Research output per year 1998 2021

• 2159 Conference contribution
• 730 Article
• 137 Dissertation (TU Delft)
• 134 Chapter
• 239 More
  • 72 Report
  • 32 Book
  • 23 Editorial
  • 17 Abstract
  • 16 Book editing
  • 11 Foreword/postscript
  • 10 Patent
  • 8 Poster
  • 8 Conference article
  • 8 Exhibition
  • 4 Paper
  • 4 Web publication/site
  • 3 Other
  • 3 Meeting Abstract
  • 3 Special issue
  • 3 Review article
  • 3 Working paper
  • 2 Comment/Letter to the editor
  • 2 Letter
  • 2 Other contribution
  • 2 Dissertation (external, preparation TU Delft)
  • 2 Dissertation (external)
  • 1 Book/Film/Article review

Research output per year

Research output per year

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 › Scientific

  Open Access

  File

  • Semantics
  • Linear programming
  • Specifications
  • Communication
  31 Downloads (Pure)
• 2018

  Präzi: From Package-based to Precise Call-based Dependency Network Analyses: (Not published)

  Hejderup, J., Beller, M. & Gousios, G., 2018.

  Research output: Working paper › Popular

  File
  579 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 › Scientific

  Open Access

  File

  • citizen
  • decision making process
  • public authorities
  • deliberation
  • discourse
  33 Downloads (Pure)