Research output per year
Research output per year
Research output
Search results
-
2024
Online Companion for Tight MIP Formulations for Optimal Operation and Investment of Storage Including Reserves
Elgersma, M. B., de Weerdt, M. M., Aardal, K. I., Morales-España, G., Helistö, N. & Kiviluoma, J., 2024, (Submitted).Research output: Working paper/Preprint › Working paper › Scientific
File27 Downloads (Pure) -
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 AccessFile140 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 AccessFile83 Downloads (Pure)