1. 2017
  2. IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition

    Harkes, D. & Visser, E. 2017 31st European Conference on Object-Oecoopriented Programming, ECOOP 2017. Müller, P. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-29 29 p. (Leibniz International Proceedings in Informatics (LIPIcs); no. 74)

    Research output: Scientific - peer-reviewConference contribution

  3. IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)

    Harkes, D. C. & Visser, E. 2017 In : Dagstuhl Artifacts Series. 3, 1, p. 1:1-1:2

    Research output: Scientific - peer-reviewArticle

  4. Interactive proofs in higher-order concurrent separation logic

    Krebbers, R., Timany, A. & Birkedal, L. 2017 POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. New York: Association for Computing Machinery (ACM), p. 205-217 13 p. (ACM SIGPLAN Notices ; vol. 52, no. 1)

    Research output: Scientific - peer-reviewConference contribution

  5. Joint Control of Computational RFID and Bluetooth Low Energy Motes

    in 't Veen, I. J. G., Liu, Q. & Pawelczak, P. 2017 G06K 14 Sep 2015NL 2015432

    Research output: Other research outputPatent

  6. Lessons learned from developing mbeddr: a case study in language engineering with MPS

    Völter, M., Kolb, B., Szabó, T., Ratiu, D. & van Deursen, A. 2017 In : Software and Systems Modeling. 46 p.

    Research output: Scientific - peer-reviewArticle

  7. Lightweight Detection of Android-specific Code Smells: The aDoctor Project

    Palomba, F., Di Nucci, D., Panichella, A., Zaidman, A. & De Lucia, A. 2017 Proceedings - 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017. Pinzger, M., Bavota, G. & Marcus, A. (eds.). Piscataway, NJ: IEEE, p. 487-491 5 p.

    Research output: Scientific - peer-reviewConference contribution

  8. MRLR: Multi-level representation learning for personalized ranking in recommendation

    Sun, Z., Yang, J., Zhang, J., Bozzon, A., Chen, Y. & Xu, C. 2017 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 2807-2813 7 p.

    Research output: Scientific - peer-reviewConference contribution

  9. Making Money Using Math

    Meijer, E. 2017 In : ACM Queue. 15, 1, p. 10 1 p.

    Research output: Scientific - peer-reviewArticle

  10. Markov Random Field for Wind Farm Planning

    Cetinay-Iyicil, H., Kekec, T., Kuipers, F. & Tax, D. 2017 2017 IEEE International Conference on Smart Energy Grid Engineering (SEGE). Piscataway: IEEE, p. 182-187 6 p.

    Research output: Scientific - peer-reviewConference contribution

  11. Memorability of Semantically Grouped Online Reviews

    Ye, M., Lofi, C. & Tintarev, N. 2017 SEMANTiCS.

    Research output: Scientific - peer-reviewConference contribution

  12. Mining Software Engineering Data from GitHub

    Gousios, G. & Spinellis, D. 2017 Proceedings of the 39th International Conference on Software Engineering Companion. Piscataway, NJ, USA: IEEE Press, p. 501-502 2 p. (ICSE-C '17)

    Research output: Scientific - peer-reviewConference contribution

  13. Mirror: A Computation-offloading Framework for Sophisticated Mobile Games

    Jiang, M. H., Visser, O. W., Prasetya, I. S. W. B. & Iosup, A. 2017 18th IEEE International Symposium on a World of Eireless, Mobile and Multimedia Networks, WoWMoM 2017. Piscataway, NJ: IEEE, p. 1-3 3 p.

    Research output: Scientific - peer-reviewConference contribution

  14. Modeling, Analysis, and Experimental Comparison of Streaming Graph-Partitioning Policies

    Guo, Y., Hong, S., Chafi, H., Iosup, A. & Epema, D. 2017 In : Journal of Parallel and Distributed Computing. 108, p. 106-121 16 p.

    Research output: Scientific - peer-reviewArticle

  15. Naming Guidelines for Professional Programmers

    Hilton, P. & Hermans, F. 2017 Proceedings of the 28th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2017, Delft, The Netherlands, July 1-3, 2017. p. 19 1 p.

    Research output: Scientific - peer-reviewConference contribution

  16. New Directions--SWANS: Sensor Wireless Actuator Network in Space

    Narayana, S., Prasad, R. V., Rao, V. S. & Verhoeven, C. 2017 In : ACM SenSys.

    Research output: Scientific - peer-reviewArticle

  17. Newton Power Flow Methods for Unbalanced Three-Phase Distribution Networks

    Sereeter, B., Vuik, K. & Witteveen, C. 2017 In : Energies. 10, p. 1-20 20 p.

    Research output: Scientific - peer-reviewArticle

  18. Newton Power Flow Methods for Unbalanced Three-Phase Distribution Networks

    Sereeter, B., Vuik, C. & Witteveen, C. 2017 Delft: Delft University of Technology. 25 p. (Reports of the Delft Institute of Applied Mathematics; vol. 17-09)

    Research output: ProfessionalReport

  19. Now, Later, or Both: A Closed-Form Optimal Decision for a Risk-Averse Buyer

    Hoogland, J., de Weerdt, M. & La Poutré, H. 2017 Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets: AMEC/TADA 2015, Istanbul, Turkey, May 4, 2015, and AMEC/TADA 2016, New York, NY, USA, July 10, 2016, Revised Selected Papers. Ceppi, S., David, E., Hajaj, C., Robu, V. & Vetsikas, I. A. (eds.). Springer Verlag, p. 81-95 15 p. (Lecture Notes in Business Information Processing; vol. 271)

    Research output: Scientific - peer-reviewConference contribution

  20. On Centrality-Related Disaster Vulnerability of Network Regions

    Muhammad Iqbal, F. & Kuipers, F. 2017 2017 9th International Workshop on Reliable Networks Design and Modeling (RNDM). IEEE, p. 1-6 6 p.

    Research output: Scientific - peer-reviewConference contribution

  21. On a comparison of Newton-Raphson solvers for power flow problems

    Sereeter, B., Vuik, C. & Witteveen, C. 2017 Delft: Delft University of Technology. 20 p. (Reports of the Delft Institute of Applied Mathematics; vol. 17-07)

    Research output: ProfessionalReport

  22. On the Prevalence of Multiple-Account Cheating in Massive Open Online Learning: A replicant study

    Bao, Y., Chen, G. & Hauff, C. 2017 Proceedings of the 10th International Conference on Educational Data Mining. Hu, X., Barnes, T., Hershkovitz, A. & Paquette, L. (eds.). International Educational Data Mining Society (IEDMS), p. 262-265 4 p.

    Research output: Scientific - peer-reviewConference contribution

  23. On the reaction to deprecation of clients of 4 + 1 popular Java APIs and the JDK

    Sawant, A. A., Robbes, R. & Bacchelli, A. 2017 In : Empirical Software Engineering. p. 1-40 40 p.

    Research output: Scientific - peer-reviewArticle

  24. Oops, My Tests Broke the Build: An Explorative Analysis of Travis CI with GitHub

    Beller, M., Gousios, G. & Zaidman, A. 2017 Proceedings - 2017 IEEE/ACM 14th International Conference on Mining Software Repositories, MSR 2017. Los Alamitos, CA: IEEE Computer Society, p. 356-367 12 p.

    Research output: Scientific - peer-reviewConference contribution

  25. PETrA: A Software-Based Tool for Estimating the Energy Profile of Android Applications

    Di Nucci, D., Palomba, F., Prota, A., Panichella, A., Zaidman, A. & De Lucia, A. 2017 Proceedings - IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. Los Alamitos, CA: IEEE Computer Society, p. 3-6 4 p.

    Research output: Scientific - peer-reviewConference contribution

  26. Performance Evaluation of WebRTC-based video conferencing

    Jansen, B., Goodwin, T., Gupta, V., Kuipers, F. & Zussman, G. 2017 35th International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP Performance 2017). p. 1-13 13 p.

    Research output: Scientific - peer-reviewConference contribution

  27. Poster: An Energy-Harvesting Facade Optimization System for Built Environments

    Biju, A. P., Sarkar, C. & Prasad, R. V. 2017 In : Energy. 50, p. 100 1 p.

    Research output: Scientific - peer-reviewArticle

  28. Presenting Challenging Recommendations: Making Diverse News Acceptable

    Tintarev, N. 2017 FATREC Workshop on Responsible Recommendation at Recsys'17.

    Research output: Scientific - peer-reviewConference contribution

  29. Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering: ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017

    Bodden, E. (ed.), Schäfer, W. (ed.), Deursen, A. V. (ed.) & Zisman, A. (ed.) 2017 Association for Computing Machinery (ACM).

    Research output: ProfessionalReport

  30. Proceedings of the 3rd International Workshop on Knowledge Discovery on the WEB (KDWeb): KDWeb 2017

    Bozzon, A. (ed.) 2017 CEUR-WS.org. (CEUR Workshop Proceedings)

    Research output: ScientificReport

  31. Process for Efficient Access to Spectrum Database

    Amjad Yousef Majid, A. & Pawelczak, P. 2017 H04W 27 Oct 2015NL 2015668

    Research output: Other research outputPatent

  32. Programming Education to Preschoolers: Reflections and Observations from a Field Study

    Swidan, A. & Hermans, F. 2017 Proceedings of the 28th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2017, Delft, The Netherlands, July 1-3, 2017. p. 7 1 p.

    Research output: Scientific - peer-reviewConference contribution

  33. Real time optimization algorithm for wavefront sensorless adaptive optics OCT (Conference Presentation)

    Verstraete, H. R. G. W., Heisler, M., Ju, M. J., Wahl, D. J., Bliek, L., Kalkman, J., Bonora, S., Sarunic, M. V., Verhaegen, M. & Jian, Y. 2017

    Research output: ScientificWeb publication/site

  34. RecSys'17 Joint Workshop on Interfaces and Human Decision Making for Recommender Systems

    Brusilovsky, P., de Gemmis, M., Felfernig, A., Lops, P., O'Donovan, J., Tintarev, N. & Willemsen, M. 2017 Proceedings of the 11th ACM Conference on Recommender Systems, RecSys 2017. New York, NY: Association for Computing Machinery (ACM), p. 384-385 2 p.

    Research output: Scientific - peer-reviewConference contribution

  35. Revisiting the Practical Use of Automated Software Fault Localization Techniques

    Ang, A., Perez, A., van Deursen, A. & Abreu, R. 2017 Proceedings 8th International Workshop on Program Debugging (IWPD): International Symposium on Software Reliability Engineering Workshops (ISSREW). Piscataway: IEEE, p. 175-182

    Research output: Scientific - peer-reviewConference contribution

  36. SMASC 2017: First International Workshop on Social Media Analytics for Smart Cities

    Sinha, M., He, X., Bozzon, A., Mannarswamy, S., Murukannaiah, P. & Mukherjee, T. 2017 CIKM'17 Proceedings of the 2017 ACM Conference on Information and Knowledge Management. New York: Association for Computing Machinery (ACM), p. 2567-2568 2 p.

    Research output: Scientific - peer-reviewConference contribution

  37. SWANS: Sensor Wireless Actuator Network in Space

    Narayana, S., Prasad, R. V., Rao, V. S. & Verhoeven, C. 2017 Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems. p. 23 1 p.

    Research output: Scientific - peer-reviewConference contribution

  38. Scalable Mind-Wandering Detection for MOOCs: A Webcam-Based Approach

    Zhao, Y., Lofi, C. & Hauff, C. 2017 Data Driven Approaches in Digital Education: 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, Tallinn, Estonia, September 12-15, 2017, Proceedings. Lavoué, E., Drachsler, H., Verbert, K., Broisin, J. & Pérez-Sanagustín, M. (eds.). Cham: Springer, p. 330-344 15 p. (Lecture Notes in Computer Science Also part of the Information Systems and Applications, incl. Internet/Web, and HCI book sub series (LNISA, volume 10474); vol. 10474)

    Research output: Scientific - peer-reviewConference contribution

  39. Scheduling with two non-unit task lengths is NP-complete

    Elffers, J. & de Weerdt, M. 2017 In : ArXiv.org.

    Research output: ScientificArticle

  40. Search as Learning (Dagstuhl Seminar 17092)

    Collins-Thompson, K., Hansen, P., Hauff, C. (ed.), Collins-Thompson, K. (ed.), Hansen, P. & Hauff, C. (ed.) 2017 In : Dagstuhl Reports. 7, 2, p. 135-162 28 p.

    Research output: ScientificArticle

  41. Self Adaptive Safe Provisioning of Wireless Power using DCOPs

    van Leeuwen, C., Yildirim, S. & Pawelczak, P. 2017 2017 IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO). Bilof, R. (ed.). Piscataway: IEEE, p. 71-80 10 p.

    Research output: Scientific - peer-reviewConference contribution

  42. Semantic versioning and impact of breaking changes in the Maven repository

    Raemaekers, S., van Deursen, A. & Visser, J. 2017 In : Journal of Systems and Software. 129, July, p. 140-158 19 p.

    Research output: Scientific - peer-reviewArticle

  43. Sensor-driven, human-in-the-loop lighting control

    Tan, F., Caicedo, D., Pandharipande, A. & Zuñiga Zamalloa, M. A. 2017 In : Lighting Research and Technology. p. 1-21 21 p.

    Research output: Scientific - peer-reviewArticle

  44. SmartVLC: When Smart Lighting Meets VLC

    Wu, H., Wang, Q., Xiong, J. & Zuñiga Zamalloa, M. A. 2017 CoNEXT'17 Proceedings of the 13th International Conference on Emerging Networking EXperiments and Technologies. New York, NY, USA: ACM SIGBED, p. 212-223 12 p. (CoNEXT '17)

    Research output: Scientific - peer-reviewConference contribution

  45. Software engineering without borders: ASE 2017 Keynote

    van Deursen, A. 2017 Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017. Rosu, G., Penta, M. D. & Nguyen, T. N. (eds.). IEEE Computer Society, p. 3-3 1 p.

    Research output: ScientificConference contribution

  46. Software-Based Energy Profiling of Android Apps: Simple, Efficient and Reliable?

    Di Nucci, D., Palomba, F., Prota, A., Panichella, A., Zaidman, A. & De Lucia, A. 2017 Proceedings - 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017. Pinzger, M., Bavota, G. & Marcus, A. (eds.). Piscataway, NJ: IEEE, p. 103-114 12 p.

    Research output: Scientific - peer-reviewConference contribution

  47. Stability of DC Distribution Systems: An Algebraic Derivation

    van der Blij, N. H., Ramirez-Elizondo, L. M., Spaan, M. T. J. & Bauer, P. 2017 In : Energies. 10, 9, p. 1-17 17 p.

    Research output: Scientific - peer-reviewArticle

  48. Stochastic task networks: Trading performance for stability

    Mountakis, K. S., Klos, T. & Witteveen, C. 2017 Fourteenth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming. Springer, (Lecture Notes in Computer Science)

    Research output: Scientific - peer-reviewConference contribution

Previous 1...3 4 5 6 7 8 9 10 ...57 Next