1. 2016
  2. Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

    Grewe, S., Erdweg, S. & Mezini, M. 2016 Proceedings of the 3rd Vampire Workshop. Kovacs, L. & Voronkov, A. (eds.). EPIC 2009, p. 33-45 13 p. (EPIC Series in Computing; vol. 44)

    Research output: Scientific - peer-reviewConference contribution

  3. BLISP: Enhancing Backscatter Radio with Active Radio for Computational RFIDs

    in 't Veen, I., Liu, Q., Pawelczak, P., Parks, A. & Smith, J. R. 2016 2016 IEEE International Conference on RFID, RFID 2016. Hawrylak, P. J. (ed.). Piscataway: IEEE, p. 1-4 4 p.

    Research output: Scientific - peer-reviewConference contribution

  4. Bayesian Inference in Dynamic Domains using Logical OR Gates

    Claessens, R., de Waal, A., de Villiers, P., Penders, A., Pavlin, G. & Tuyls, K. 2016 Proceedings of the 18th International Conference on Enterprise Information Systems (ICEIS 2016). Hammoudi, S., Maciaszek, L., Missikoff, M. M., Camp, O. & Cordeiro, J. (eds.). Vol. 2, p. 134-142 9 p.

    Research output: Scientific - peer-reviewConference contribution

  5. Bootstrapping Domain-Specific Meta-Languages in Language Workbenches

    Konat, G., Erdweg, S. & Visser, E. 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Schaefer, I. & Fischer, B. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 47-58 12 p.

    Research output: Scientific - peer-reviewConference contribution

  6. Can Learners be Earners? Investigating a Design to Enable MOOC Learners to Apply their Skills and Earn Money in an Online Market Place.

    Chen, G., Davis, D., Krause, M., Aivaloglou, E., Hauff, C. & Houben, G-J. 2016 In : IEEE Transactions on Learning Technologies. PP, 99, p. 1-12 12 p.

    Research output: Scientific - peer-reviewArticle

  7. Cluster management system design for big data infrastructures

    Gupta, S. 2016 123 p.

    Research output: ScientificDissertation (TU Delft)

  8. Collaborative access decisions: Why has my decision not been enforced?

    den Hartog, J. & Zannone, N. 2016 Information Systems Security - 12th International Conference, ICISS 2016, Proceedings. Springer Verlag, Vol. 10063 LNCS, p. 109-130 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10063 LNCS)

    Research output: Scientific - peer-reviewConference contribution

  9. CroKnow: tructured Crowd Knowledge Creation

    Oosterman, J., Bozzon, A. & Houben, G. J. 2016 Web Engineering - 16th International Conference, ICWE 2016: Proceedings. Bozzon, A., Cudre-Maroux, P. & Pautasso, C. (eds.). Cham: Springer International Publishing, p. 542-546 5 p. (Lecture Notes in Computer Science; vol. 9671)

    Research output: Scientific - peer-reviewConference contribution

  10. Data governance and transparency for collaborative systems

    Mahmudlu, R., Hartog, J. D. & Zannone, N. 2016 Data and Applications Security and Privacy - 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Proceedings. Springer Verlag, Vol. 9766, p. 199-216 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9766)

    Research output: Scientific - peer-reviewConference contribution

  11. Decision support framework for opening business data

    Buda, A., Ubacht, J., Janssen, M. & Sips, R. J. 2016 Proceedings of the 16th European Conference on e-Government, ECEG 2016. Academic Conferences, Vol. 2016-January, p. 29-37 9 p.

    Research output: ScientificChapter

  12. Decoupling a Resource Constraint through Fictitious Play in Multi-agent Sequential Decision Making

    Nijs, F. D., Spaan, M. T. J. & de Weerdt, M. M. 2016 Proceedings - 22nd European Conference on Artificial Intelligence, ECAI 2016. IOS Press, Vol. 285, p. 1724-1725 2 p. (Frontiers in Artificial Intelligence and Applications)

    Research output: Scientific - peer-reviewConference contribution

  13. Dedicated Support for Analyses and Optimizations in Language Workbenches

    Szabó, T. 2016 SPLASH Companion 2016 : Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. New York: Association for Computing Machinery (ACM), p. 3-5 3 p.

    Research output: Scientific - peer-reviewConference contribution

  14. Delft Students on Software Architecture: DESOSA 2016

    van Deursen, A., Aniche, M. & Aué, J. 2016 Delft: Delft University of Technology. 431 p.

    Research output: ScientificBook

  15. Demo: Fine-tuned Lighting Control Leveraging Smartphone-based Occupancy Detection

    de Moes, A., Pedersen, J. J. K., Sarkar, C. & Prasad, R. V. 2016 EWSN'16 Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks. Römer, K. (ed.). Junction Publishing, p. 271-272 2 p.

    Research output: Scientific - peer-reviewConference contribution

  16. Diversity in Urban Social Media Analytics

    Yang, J., Hauff, C., Houben, G. J. & Bolivar, C. T. 2016 Web Engineering - 16th International Conference, ICWE 2016: Proceedings. Bozzon, A., Cudre-Maroux, P. & Pautasso, C. (eds.). Cham: Springer International Publishing, p. 335-353 19 p. (Lecture Notes in Computer Science; vol. 9671)

    Research output: Scientific - peer-reviewConference contribution

  17. Do estimators learn?: On the effect of a positively skewed distribution of effort data on software portfolio productivity

    Huijgens, H. & Vogelezang, F. 2016 WETSoM 2016 Proceedings of the 7th International Workshop on Emerging Trends in Software Metrics, . New York: Association for Computing Machinery (ACM), p. 8-14 7 p.

    Research output: Scientific - peer-reviewConference contribution

  18. Efficient Development of Consistent Projectional Editors Using Grammar Cells

    Voelter, M., Szabó, T., Lisson, S., Kolb, B., Erdweg, S. & Berger, T. 2016 SLE 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering. van der Storm, T. (ed.). New York: Association for Computing Machinery (ACM), p. 28-40 13 p.

    Research output: Scientific - peer-reviewConference contribution

  19. Evaluating Automatic Spreadsheet Metadata Extraction on a Large Set of Responses from MOOC Participants

    Roy, S., Hermans, F., Aivaloglou, E., Winter, J. & van Deursen, A. 2016 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER). Jiu, A. (ed.). Los Alamitos, CA: IEEE Society, Vol. 2, p. 135-145 11 p.

    Research output: Scientific - peer-reviewConference contribution

  20. Exploration of Language Specifications by Compilation to First-order Logic

    Grewe, S., Erdweg, S., Raulf, M. & Mezini, M. 2016 Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming. New York: Association for Computing Machinery (ACM), p. 104--117 14 p.

    Research output: Scientific - peer-reviewConference contribution

  21. Exploring Energy Saving for Mixed-Criticality Systems on Multi-Cores

    Narayana, S., Huang, P., Giannopoulou, G., Thiele, L. & Venkatesha Prasad, R. R. 2016 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016. Davis, R. (ed.). Piscataway, NJ, USA: IEEE, p. 1-12 12 p.

    Research output: Scientific - peer-reviewConference contribution

  22. Feature Models in Linux: From Symbols to Semantics

    Rothberg, V., Dintzner, N., Ziegler, A. & Lohmann, D. 2016 Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive Systems. New York, NY: Association for Computing Machinery (ACM), p. 65-72 8 p.

    Research output: Scientific - peer-reviewConference contribution

  23. Gondola: A Parametric Robot Infrastructure for Repeatable Mobile Experiments: Demo Abstracts

    Cattani, M. & Protonotarios, I. 2016 Proceedings of the 14th ACM Conference on Embedded Network Sensor Systems, SenSys 2016. New York, NY: Association for Computing Machinery (ACM), p. 298-299 2 p.

    Research output: Scientific - peer-reviewConference contribution

  24. Inferring Student Attention with ASQ

    Triglianos, V., Pautasso, C., Bozzon, A. & Hauff, C. 2016 Adaptive and Adaptable Learning: 11th European Conference on Technology-Enhanced Learning, EC-TEL 2016. Verbert, K., Sharples, M. & Klobučar, T. (eds.). Cham: Springer International Publishing, p. 306-320 5 p. (Lecture Notes in Computer Science; vol. 9891)

    Research output: Scientific - peer-reviewConference contribution

  25. KOALA-F: A Resource Manager for Scheduling Frameworks

    Kuzmanovska, A., Mak, R. & Epema, D. 2016 16th IEEE/ACM Int'l Symp. on Cluster, Cloud and Grid Computing (CCGrid). IEEE, p. 80 89 p.

    Research output: Scientific - peer-reviewConference contribution

  26. Large scale distributed cooperative environments on clouds and P2P

    Ricci, L., Iosup, A. & Prodan, R. 2016 In : Peer-to-Peer Networking and Applications. 9, 6, p. 1126-1127 2 p.

    Research output: Scientific - peer-reviewEditorial

  27. Leveraging Proximity Sensing to Mine the Behavior of Museum Visitors

    Martella, C., Miraglia, A., Cattani, M. & van Steen, M. 2016 14th IEEE International Conference on Pervasive Computing and Communications (PerCom 2016). Piscataway: IEEE, p. 1-9 9 p.

    Research output: Scientific - peer-reviewConference contribution

  28. Linking accounts across social networks: The case of StackOverow, Github and Twitter

    Silvestri, G., Yang, J., Bozzon, A. & Tagarelli, A. 2016 Proceedings of the 1st International Workshop on Knowledge Discovery on the WEB, KDWEB 2015. Armano, G., Bozzon, A. & Giuliani, A. (eds.). Aachen: CEUR, Vol. 1489, p. 41-52 (Ceur Workshop Proceedings)

    Research output: Scientific - peer-reviewConference contribution

  29. Minimising the Rank Aggregation Error: (Extended Abstract)

    de Weerdt, M. M., Gerding, E. & Stein, S. 2016 p. 1375-1376 2 p.

    Research output: ScientificAbstract

  30. Murphy loves CI: Unfolding and Improving Constructive Interference in WSNs

    Rao, V. S., Koppal, M., Prasad, R. V., Prabhakar, T. V., Sarkar, C. & Niemegeers, I. 2016 35th annual International Conference on Computer Communications, IEEE INFOCOM 2016. Piscataway: IEEE, p. 1-9 9 p.

    Research output: Scientific - peer-reviewConference contribution

  31. On the Improvement of Quality and Reliability of Trust Cues in Micro-task Crowdsourcing

    Yang, J. & Bozzon, A. 2016 Weaving Relations of Trust in Crowd Work: Transparency and Reputation across Platforms.. TRUSTINCW

    Research output: Scientific - peer-reviewConference contribution

  32. On the Invitation of Expert Contributors from Online Communities for Knowledge Crowdsourcing Tasks

    Oosterman, J. & Houben, G. J. 2016 Web Engineering - 16th International Conference, ICWE 2016: Proceedings. Bozzon, A., Cudre-Maroux, P. & Pautasso, C. (eds.). Cham: Springer International Publishing, p. 413-421 9 p. (Lecture Notes in Computer Science; vol. 9671)

    Research output: Scientific - peer-reviewConference contribution

  33. Opening university education to the world and improving education: Using mooc-based research as a tool for innovation

    van Staalduinen, J-P., Davis, D. & Topolovec, S. 2016 Proceedings of ICERI 2016. Gómez Chova, L., López Martínez, A. & Candel Torres, I. (eds.). IATED International association of technology, education and development

    Research output: ScientificConference contribution

  34. Operation analysis of massively multiplayer online games on unreliable resources

    Prodan, R. & Iosup, A. 2016 In : Peer-to-Peer Networking and Applications. 9, 6, p. 1145-1161 17 p.

    Research output: Scientific - peer-reviewArticle

  35. Optimising Flexibility for Simple Temporal Networks

    Witteveen, C. 2016 Proceedings of the 8th International Conference on Agents and Artificial Intelligence. Filipe, J. & van den Herik, J. (eds.). SciTePress, Vol. 2, p. 524-531 8 p.

    Research output: Scientific - peer-reviewConference contribution

  36. Participation and Interaction in Projects: A Game-Theoretic Analysis

    Polevoy, G. 2016 225 p.

    Research output: ScientificDissertation (TU Delft)

  37. Quality of Just-in-Time Requirements: Just-Enough and Just-in-Time

    Heck, P. M. 2016 Delft: Petra Heck. 173 p.

    Research output: ScientificDissertation (TU Delft)

  38. Report on ECIR 2016: 38th European Conference on Information Retrieval

    Ferro, N., Crestani, F., Moens, M-F., Mothe, J., Silvestri, F., Kekäläinen, J., Rosso, P., Clough, P., Pasi, G., Lioma, C., Mizzaro, S., Di Nunzio, G. M., Hauff, C., Alonso, O., Serdyukov, P. & Silvello, G. 2016 In : ACM SIGIR Forum. 50, 1, p. 12-27 16 p.

    Research output: ScientificArticle

  39. Retrieval Practice and Study Planning in MOOCs: Exploring Classroom-Based Self-regulated Learning Strategies at Scale

    Davis, D. J., Chen, G., van der Zee, T., Hauff, C. & Houben, G. J. 2016 Adaptive and Adaptable Learning: 11th European Conference on Technology Enhanced Learning, EC-TEL 2016. Verbert, K., Sharples, M. & Klobučar, T. (eds.). Cham: Springer International Publishing, p. 57-71 15 p. (Lecture Notes in Computer Science; vol. 9891)

    Research output: Scientific - peer-reviewConference contribution

  40. Robust scheduling in an uncertain environment

    Wilson, M. 2016 Delft: Michel Wilson. 146 p.

    Research output: ScientificDissertation (TU Delft)

  41. SATT: Tailoring Code Metric Thresholds for Different Software Architectures

    Aniche, M., Treude, C., Zaidman, A., van Deursen, A. & Gerosa, M. A. 2016 16th International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, p. 41-50

    Research output: Scientific - peer-reviewConference contribution

  42. Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)

    Poulsen, C. B., Neron, P., Tolmach, A. & Visser, E. 2016 p. 1-3 3 p.

    Research output: Other research outputOther

  43. Search as Learning (SAL) Workshop 2016

    Gwizdka, J., Hansen, P., Hauff, C., He, J. & Kando, N. 2016 Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval, SIGIR 2016. New York, NY: Association for Computing Machinery (ACM), p. 1249-1250 2 p.

    Research output: Scientific - peer-reviewConference contribution

  44. Self-organizing energy-autonomous systems

    Liu, Q. 2016 141 p.

    Research output: ScientificDissertation (TU Delft)

  45. Sleeping Beauty: Efficient Communication for Node Scheduling

    Sarkar, C., Venkatesha Prasad, R. R., Rajan, R. & Langendoen, K. 2016 Proceedings - 2016 IEEE 13th INternational Conference on Mobile Ad Hoc and Sensor Systems, MASS 2016 . Los Alamitos, CA: IEEE Computer Society, p. 56-64 9 p.

    Research output: Scientific - peer-reviewConference contribution

  46. Smells in Block-Based Programming Languages

    Hermans, F., Stolee, K. & Hoepelman, D. 2016 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Blackwell, A., Plimmer, B. & Stapleton, G. (eds.). Danvers: IEEE, p. 68-72 5 p.

    Research output: Scientific - peer-reviewConference contribution

  47. Social media data analytics for tourism: A preliminary study

    Dhiratara, A., Yang, J., Bozzon, A. & Houben, G. J. 2016 In : Ceur Workshop Proceedings. 1748

    Research output: Scientific - peer-reviewArticle

  48. Software that meets its intent

    Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E. 2016 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag, Vol. 9953 LNCS, p. 609-625 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9953 LNCS)

    Research output: Scientific - peer-reviewConference contribution

  49. Solving Transition-Independent Multi-agent MDPs with Sparse Interactions

    Scharpff, J., Roijers, D. M., Oliehoek, F. A., Spaan, M. T. J. & de Weerdt, M. M. 2016 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence AAAI-16. American Association for Artificial Intelligence (AAAI), p. 3174-3180 7 p. (Proceedings of the AAAI)

    Research output: Scientific - peer-reviewConference contribution

Previous 12 3 4 5 6 7 8 9 ...53 Next