1. 2018
  2. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E. 10 Jan 2018 In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16

    Research output: Scientific - peer-reviewArticle

  3. An initial study of agent interconnectedness and in-group behaviour

    Srour, F. J. & Yorke-Smith, N. 1 Jan 2018 Multi-Agent Based Simulation XVIII - International Workshop, MABS 2017, Revised Selected Papers. Pereira Dimuro, G. & Antunes, L. (eds.). Springer Verlag, Vol. 10798 LNAI, p. 105-120 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10798 LNAI)

    Research output: Scientific - peer-reviewConference contribution

  4. Energy Management System with PV Power Forecast to Optimally Charge EVs at the Workplace

    van der Meer, D., Mouli, G. R. C., Mouli, . G. M-E., Elizondo, L. R. & Bauer, P. 1 Jan 2018 In : IEEE Transactions on Industrial Informatics. 14, 1, p. 311-320 10 p., 7763845

    Research output: Scientific - peer-reviewArticle

  5. Hierarchical energy management of microgrids including storage and demand response

    Fan, S., Ai, Q. & Piao, L. 1 Jan 2018 In : Energies. 11, 5, 1111

    Research output: Scientific - peer-reviewArticle

  6. Quality Control in Crowdsourcing: A Survey of Quality Attributes, Assessment Techniques, and Assurance Actions

    Daniel, F., Kucherbaev, P., Cappiello, C., Benatallah, B. & Allahbakhsh, M. 1 Jan 2018 In : ACM Computing Surveys: the survey and tutorial journal of the ACM. 51, 1, p. 7:1-7:40 40 p.

    Research output: Scientific - peer-reviewArticle

  7. Preallocation and Planning under Stochastic Resource Constraints

    de Nijs, F., Spaan, M. & de Weerdt, M. Jan 2018 Proceedings of the 32th AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence (AAAI)

    Research output: Scientific - peer-reviewConference contribution

  8. RustBelt: securing the foundations of the rust programming language

    Jung, R., Jourdan, J-H., Krebbers, R. & Dreyer, D. Jan 2018 In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 66:1-66:34 34 p., 66

    Research output: Scientific - peer-reviewArticle

  9. A Graph-based Dataset of Commit History of Real-World Android apps

    Geiger, F-X., Malavolta, I., Pascarella, L., Palomba, F., Di Nucci, D. & Bacchelli, A. 2018 Proceedings of the 15th International Conference on Mining Software Repositories, MSR. ACM, New York, NY. New York, NY: Association for Computing Machinery (ACM), p. 30-33 4 p.

    Research output: Scientific - peer-reviewConference contribution

  10. A State-Space Approach to Modelling DC Distribution Systems

    van der Blij, N. H., Ramirez-Elizondo, L. M., Spaan, M. T. J. & Bauer, P. 2018 In : IEEE Transactions on Power Systems. 33, 1, p. 943-950 8 p.

    Research output: Scientific - peer-reviewArticle

  11. A Topological Investigation of Power Flow

    Cetinay, H., Kuipers, F. A. & Van Mieghem, P. 2018 In : IEEE Systems Journal. 12, 3, p. 2524-2532 9 p.

    Research output: Scientific - peer-reviewArticle