1. 2018
  2. Gamification in MOOCs: A Review of the State of the Art

    Khalil, M., Wong, J., de Koning, B., Ebner, M. & Paas, F. Apr 2018 IEEE Global Engineering Education Conference (EDUCON2018).

    Research output: Scientific - peer-reviewConference contribution

  3. Scotty: Efficient Window Aggregation for out-of-order Stream Processing

    Traub, J., Grulich, P., Rodriguez Cuellar, A., Katsifodimos, A., Breß, S., Rabl, T. & Markl, V. Apr 2018 In the Proceedings of the International Conference on Data Engineering. IEEE, 4 p.

    Research output: Scientific - peer-reviewConference contribution

  4. SmartPub: A Platform for Long-Tail Entity Extraction from Scientific Publications

    Mesbah, S., Bozzon, A., Lofi, C. & Houben, G-J. Apr 2018 (Accepted/In press) Companion Proceedings of the The Web Conference 2018. Lyon, France

    Research output: Scientific - peer-reviewConference contribution

  5. PIE: A Domain-Specific Language for Interactive Software Development Pipelines

    Konat, G., Steindorfer, M., Erdweg, S. & Visser, E. 29 Mar 2018 In : Art, Science, and Engineering of Programming. 2, 3, 31 p., 9

    Research output: Scientific - peer-reviewArticle

  6. Towards Zero-Overhead Disambiguation of Deep Priority Conflicts

    de Souza Amorim, L. E., Steindorfer, M. J. & Visser, E. 29 Mar 2018 In : Art, Science, and Engineering of Programming. 2, 3, 26 p., 13

    Research output: Scientific - peer-reviewArticle

  7. Increasing Memory Density through Dynamic Memory Extension with Memory1 through Flash

    Rellermeyer, J. S., Amer, M., Smutzer, R. & Rajamani, K. 20 Mar 2018

    Research output: ScientificPoster

  8. How Good Is Your Puppet?: An Empirically Defined and Validated Quality Model for Puppet

    Van der Bent, E., Hage, J., Visser, J. & Gousios, G. Mar 2018 Proceedings - 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018. Piscataway, NJ: IEEE, p. 164-174 11 p.

    Research output: Scientific - peer-reviewConference contribution

  9. Special issue on goal reasoning

    Roberts, M., Borrajo, D., Cox, M. & Yorke-Smith, N. Mar 2018 In : AI Communications. 31, 2, p. 115-116 2 p.

    Research output: ScientificEditorial

  10. Automated Test Case Generation as a Many-Objective Optimisation Problem with Dynamic Selection of the Targets

    Panichella, A., Kifetew, F. M. & Tonella, P. 1 Feb 2018 In : IEEE Transactions on Software Engineering. 44, 2, p. 122-158

    Research output: Scientific - peer-reviewArticle

  11. Robust unit commitment with dispatchable wind power

    Morales-España, G., Lorca, Á. & de Weerdt, M. M. Feb 2018 In : Electric Power Systems Research. 155, p. 58-66 9 p.

    Research output: Scientific - peer-reviewArticle

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  21. 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

Previous 1 2 3 4 5 6 7 8 ...138 Next