1. Article › Scientific › Not peer-reviewed
  2. A winner determination problem of tendering transportation services

    van Norden, L., van Nunen, H. & van de Velde, S., 2006, In : ZfB - Zeitschrift für Betriebswirtschaft. 76, H.2,1-1, p. 1-13 13 p.

    Research output: Contribution to journalArticleScientific

  3. Ant based routing algorithms

    Rothkrantz, LJM., Wojdel, JC., Wojdel, AW. & Knibbe, H., 2000, In : Neural Network World: international journal on non-standard computing and artificial intelligence. 10, 3, p. 455-462 8 p.

    Research output: Contribution to journalArticleScientific

  4. Approach for component-based software specification

    Shishkov, BB. & Dietz, JLG., 2003, In : LADIS International Journal On Www/Internet. 1, 1, p. 1-14 14 p.

    Research output: Contribution to journalArticleScientific

  5. Architectural knowledge representationusing the Galois Lattice techniques

    Chitchian, D., Sariyildiz, S. & Koppelaar, H., 2000, In : Lecture Notes in Artificial Intelligence. 1611, p. 724-734 11 p.

    Research output: Contribution to journalArticleScientific

  6. Automatic analysis of facial expressions: the state of the art

    Pantic, M. & Rothkrantz, LJM., 2000, In : IEEE Transactions on Pattern Analysis and Machine Intelligence. 22, 12, p. 1424-1445 22 p.

    Research output: Contribution to journalArticleScientific

  7. Automatic speech recognition using recurrent neural networks

    Rothkrantz, LJM. & Nollen, D., 2000, In : Neural Network World: international journal on non-standard computing and artificial intelligence. 10, 3, p. 445-454 10 p.

    Research output: Contribution to journalArticleScientific

  8. Comparative tropical land cover classification of optical landsat TM data using statistical and artificial neural network techniques

    van Coillie, FMB., de Wulf, RR. & Kerckhoffs, EJH., 1999, In : South African Journal of Surveying and Geo-Information. 1, 2, p. 65-74 10 p.

    Research output: Contribution to journalArticleScientific

  9. Computing the Impact of Disasters on Networks

    Oostenbrink, J. & Kuipers, F., Sep 2017, In : ACM SIGMETRICS Performance Evaluation Review. 45, 2, p. 107-110 4 p.

    Research output: Contribution to journalArticleScientific

  10. Expert system for automatic analysis of facial expressions

    Pantic, M. & Rothkrantz, LJM., 2000, In : Image and Vision Computing. 18, p. 881-905 25 p.

    Research output: Contribution to journalArticleScientific

  11. Extentions to the modula-2 language

    Pronk, C., Schonhacker, M., Sutcliffe, RJ. & Wiedemann, A., 2000, In : Journal of Object - Oriented Programming. 13, 7, p. 1-6 6 p.

    Research output: Contribution to journalArticleScientific

  12. From Evaluating to Forecasting Performance: How to Turn Information Retrieval, Natural Language Processing and Recommender Systems into Predictive Sciences (Dagstuhl Perspectives Workshop 17442)

    Ferro, N., Fuhr, N., Grefenstette, G., Kuflik, T., Lindén, K., Magnini, B., Nie, J-Y., Perego, R., Tintarev, N. & More Authors, 2019, In : Dagstuhl Manifestos. 7, 1, p. 96-139 44 p.

    Research output: Contribution to journalArticleScientific

  13. Guest Editorial: reverse engineering

    Pinzger, M. & Antoniol, G., 2012, In : Empirical Software Engineering. p. 1-2 2 p.

    Research output: Contribution to journalArticleScientific

  14. Gödel pro and contra AI: dismissal of the case

    Jongeneel, CJB. & Koppelaar, H., 1999, In : Engineering Applications of Artificial Intelligence. 12, p. 655-659 5 p.

    Research output: Contribution to journalArticleScientific

  15. Knowledge elicitation of Gompertz' law of mortality

    Willemse, WJ. & Koppelaar, H., 2000, In : Scandinavian Actuarial Journal. 2, p. 168-179 12 p.

    Research output: Contribution to journalArticleScientific

  16. Linear systems and associated problems

    Sips, HJ., Sommerhalder, R. & D'Hollander, EH., 2001, In : Parallel Computing. 27, 7, p. 867-868 2 p.

    Research output: Contribution to journalArticleScientific

  17. MALTESQUE 2019 Workshop Summary

    Arcelli Fontana, F., Perrouin, G., Ampatzoglou, A., Archer, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 1 Jan 2020, In : Software Engineering Notes. 45, 1, p. 34–35

    Research output: Contribution to journalArticleScientific

  18. Methodology engineering for product development process modelling

    Dahanayake, ANW., 2000, In : Journal of Applied Systems Studies. 1, 2, p. 1-17 17 p.

    Research output: Contribution to journalArticleScientific

  19. Parallel and distributed real-time systems: an introduction

    van Katwijk, J. & Zalewski, J., 2000, In : Parallel and Distributed Computing Practices. 2, 1, p. 1-4 4 p.

    Research output: Contribution to journalArticleScientific

  20. Parametric real-time model checking using splitting trees

    Lutje Spelberg, RF. & Toetenel, WJ., 2001, In : Nordic Journal of Computing. 8, p. 88-120 33 p.

    Research output: Contribution to journalArticleScientific

  21. Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI ’19)

    Vanderose, B., Frenay, B., Henry, J. & Devroey, X., 1 Jan 2020, In : Software Engineering Notes. 45, 1, p. 25–27

    Research output: Contribution to journalArticleScientific

  22. 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: Contribution to journalArticleScientific

  23. 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: Contribution to journalArticleScientific

  24. Specification of real-time systems in UML

    Roubtsova, E., van Katwijk, J., Toetenel, WJ., Pronk, C. & de Rooij, RCM., 2000, In : Electronic Notes in Theoretical Computer Science. 39, 3, p. 1-13 13 p.

    Research output: Contribution to journalArticleScientific

  25. The Third Rewrite Engines Competition

    Durán, F., Roldán, M., Bach, JC., Balland, E., Brand, M., Cordy, J., Eker, S., Engelen, L., de Jonge, M., Kalleberg, K. T., Kats, LCL., Moreau, PE. & Visser, E., 2010, In : Lecture Notes in Computer Science. 6381, p. 243-261 19 p.

    Research output: Contribution to journalArticleScientific

  26. The distributed ASCI supercomputer project

    Bal, HE., van Gemund, AJC. & Radulescu, A., 2000, In : Operating Systems Review. 34, 4, p. 76-96 21 p.

    Research output: Contribution to journalArticleScientific

  27. The group method of data handling applied to dynamic systems modeling and simulation

    Kerckhoffs, EJH. & Water, PR., 2000, In : Neural Network World: international journal on non-standard computing and artificial intelligence. 3, p. 321-332 12 p.

    Research output: Contribution to journalArticleScientific

  28. Urban intensification: the potential of decision support for assessing brownfield sites

    Gerhardt-Hackl, W. & Jenks, M., 2001, In : Urban Design International. 5, p. 233-243 11 p.

    Research output: Contribution to journalArticleScientific

  29. Article › Scientific › Peer-reviewed
  30. 60 GHz PHY Performance Evaluation with 3D Ray Tracing under Human Shadowing

    Genc, Z., van Thillo, W., Bourdoux, A. & Onur, E., 2012, In : IEEE Wireless Communications Letters. 1, 2, p. 117-120 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  31. A Component- and Push-based Architectural Style for Ajax Applications

    Mesbah, A. & van Deursen, A., 2008, In : Journal of Systems and Software. 81, p. 2194-2209 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  32. A Controlled Experiment for Program Comprehension through Trace Visualization

    Cornelissen, SGM., Zaidman, AE. & van Deursen, A., 2011, In : IEEE Transactions on Software Engineering. 37, 3, p. 341-355 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  33. A Coupled Operational Semantics for Goals and Commitments

    Telang, P. R., Singh, M. P. & Yorke-Smith, N., May 2019, In : The Journal of Artificial Intelligence Research. 65, p. 31-85 55 p.

    Research output: Contribution to journalArticleScientificpeer-review

  34. A Follow-Up Reflection on Software Process Improvement ROI

    van Solingen, DM., 2009, In : IEEE Software. 26, 5, p. 77-79 3 p.

    Research output: Contribution to journalArticleScientificpeer-review

  35. A Framework for Distributing Scalable Content over Peer-to-Peer Networks

    Eberhard, M., Kumar, A., Mignanti, S., Petrocco, R. & Uitto, M., 2011, In : International Journal on Advances in Internet Technology. 4, 1-2, p. 1-13 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  36. A Genetic Programming Approach to Automated Test Generation for Object-Oriented Software

    Seesing, A. & Gross, HG., 2006, In : International Transactions on Systems Science and Applications. 2, 1, p. 127-134 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  37. A Large Scale Empirical Comparison of State-of-the-art Search-based Test Case Generators

    Panichella, A., Kifetew, F. M. & Tonella, P., 2018, In : Information and Software Technology. 104, p. 236-256 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  38. A Lightweight Sanity Check for Implemented Architectures

    Bouwers, EM. & van Deursen, A., 2010, In : IEEE Software. 27, 4, p. 44-50 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  39. A Medium-Scale Distributed System for Computer Science Research: Infrastructure for the Long Term

    Bal, H., Epema, D., Laat, C. D., Nieuwpoort, R. V., Romein, J., Seinstra, F., Snoek, C. & Wijshoff, H., 13 May 2016, In : Computer (New York). 49, 5, p. 54-63 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  40. A Micromechanics-Based Vapor Pressure Model in Electronic Packages

    Fan, XJ., Zhou, J., Zhang, GQ. & Ernst, LJ., 2005, In : Journal of Electronic Packaging. 127, p. 262-267 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  41. A Model-Based Active Testing Approach to Sequential Diagnosis

    Feldman, AB., Provan, G. & van Gemund, AJC., 2010, In : The Journal of Artificial Intelligence Research. 39, p. 301-334 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  42. A Model-Based Approach to Sequential Fault Diagnosis

    Pietersma, J., van Gemund, AJC. & Bos, A., 2007, In : IEEE Instrumentation and Measurement Magazine. 10, p. 46-52 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  43. A Module-System Discipline for Model-Driven Software Development

    Erdweg, S. & Ostermann, K., 2017, In : Art, Science, and Engineering of Programming. 1, 2, p. 1-28 28 p., 9.

    Research output: Contribution to journalArticleScientificpeer-review

  44. A Moment of Weakness: Protecting Against Targeted Attacks Following a Natural Disaster

    Oostenbrink, J. & Kuipers, F., 2020, In : ACM SIGMETRICS Performance Evaluation Review. 47, 4, p. 12-15 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  45. A Prototype Low-Cost Wakeup Radio for the 868 MHz Band

    van der Doorn, B., Kavelaars, W. & Langendoen, KG., 2009, In : International Journal of Sensor Networks. 5, 1, p. 22-32 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  46. A Pure Object-Oriented Embedding of Attribute Grammars

    Sloane, AM., Kats, LCL. & Visser, E., 2010, In : Electronic Notes in Theoretical Computer Science. 253, 7, p. 205-219 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  47. A Runtime Testability Metric for Dynamic High-Availability Component-based Systems

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2011, In : International Journal on Advances in Systems and Measurements. 4, 1&2, p. 122-134 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  48. 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: Contribution to journalArticleScientificpeer-review

  49. A Survey on Distributed Machine Learning

    Verbraeken, J., Wolting, M., Katzy, J., Kloppenburg, J., Verbelen, T. & Rellermeyer, J. S., 2020, In : ACM Computing Surveys (CSUR). 53, 2, 33 p., 30.

    Research output: Contribution to journalArticleScientificpeer-review

  50. A Survey on distributed Simulation in Industry

    Boer, C. A., de Bruin, A. & Verbraeck, A., 2009, In : Journal of Simulation. 3, p. 3-16 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  51. A Systematic Literature Review of How Mutation Testing Supports Quality Assurance Processes

    Zhu, Q., Panichella, A. & Zaidman, A., 2018, In : Software Testing, Verification and Reliability. 28, 6, p. 1-39 39 p.

    Research output: Contribution to journalArticleScientificpeer-review

  52. A Systematic Survey of Program Comprehension through Dynamic Analysis

    Cornelissen, SGM., Zaidman, AE., van Deursen, A., Moonen, LMF. & Koschke, R., 2009, In : IEEE Transactions on Software Engineering. 35, 5, p. 684-702 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  53. A Test Case Prioritization Genetic Algorithm guided by the Hypervolume Indicator

    Di Nucci, D., Panichella, A., Zaidman, A. & De Lucia, A., 31 Aug 2018, In : IEEE Transactions on Software Engineering. PP, 99, p. 1-24 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  54. A Theoretical and Empirical Analysis of Program Spectra Diagnosability

    Perez, A., Abreu, R. & Deursen, A. V., 1 Mar 2019, In : IEEE Transactions on Software Engineering. p. 1-20 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  55. 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: Contribution to journalArticleScientificpeer-review

  56. A benchmark-based evaluation of search-based crash reproduction

    Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., Jan 2020, In : Empirical Software Engineering. 25, 1, p. 96–138 43 p.

    Research output: Contribution to journalArticleScientificpeer-review

  57. A better-response strategy for self-interested planning agents

    Jordán, J., Torreño, A., de Weerdt, M. & Onaindia, E., 2018, In : Applied Intelligence: the international journal of artificial intelligence, neural networks, and complex problem-solving technologies. 48, 4, p. 1020-1040 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  58. A convex approximation for optimal DER scheduling on unbalanced power distribution networks

    Serna-Suárez, I. D., Carrillo-Caicedo, G., Morales-España, G. A., De Weerdt, M. & Ordóñez-Plata, G., 1 Jan 2019, In : DYNA (Colombia). 86, 208, p. 281-291 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  59. A data-driven approach for optimal design of integrated air quality monitoring network in a chemical cluster

    Zhu, Z., Chen, B., Qiu, S., Wang, R., Wang, Y., Ma, L. & Qiu, X., 2018, In : Royal Society Open Science. 5, 9, p. 1-21 21 p., 180889.

    Research output: Contribution to journalArticleScientificpeer-review

  60. A dynamic co-allocation service in multicaster systems

    Sinaga, JMP., Mohamed, HH. & Epema, DHJ., 2005, In : Lecture Notes in Computer Science. 3277, p. 194-209 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  61. A formal semantics for the Taverna 2 workflow model

    Sroka, J., Hidders, AJH., Missier, P. & Goble, CA., 2010, In : Journal of Computer and System Sciences. 76, p. 490-508 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  62. A framework for quality assessment of just-in-time requirements: The case of open source feature requests

    Heck, P. & Zaidman, A., 2017, In : Requirements Engineering. 22, 4, p. 453-473 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  63. A full Nesterov¿Todd step infeasible interior-point method for second-order cone optimization

    Zangiabadi, M., Gu, G. & Roos, C., 2013, In : Journal of Optimization Theory and Applications. 158, 3, p. 816-858 43 p.

    Research output: Contribution to journalArticleScientificpeer-review

  64. A generic model of clinical practice; a common view of individual and collaborative care

    Tange, HJ., Dietz, JLG., Hasman, A. & de Vries Robbe, PF., 2003, In : Methods of Information in Medicine: journal of methodology in medical research, information and documentation. 42, p. 203-211 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  65. A inified approach to mapping and routing on a network-on-chip for both best-effort and guaranteed service traffic

    Hansson, A., Goossens, KGW. & Radulescu, A., 2007, In : VLSI Design. 2007, art ID 68432, p. 1-16 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  66. A measurement-based simulation study of processor co-allocation in multicluster systems

    Banen, S., Bucur, AID. & Epema, DHJ., 2003, In : Lecture Notes in Computer Science. 2862, 13, p. 105-128 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  67. A methodology for creating and validating psychological stories for conveying and measuring psychological traits

    Smith, K. A., Dennis, M., Masthoff, J. & Tintarev, N., 2019, In : User Modeling and User-Adapted Interaction: the journal of personalization research. 29, 3, p. 573-618 46 p.

    Research output: Contribution to journalArticleScientificpeer-review

  68. A mirroring architecture for sophisticated mobile games using computation‐offloading

    Jiang, M. H., Visser, O. W., Prasetya, I. S. W. B. & Iosup, A., 6 Apr 2018, In : Concurrency and Computation: Practice & Experience. 30, 17, p. 1-19 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  69. A modal characterization of Nash equilibrium

    Harrenstein, P., Meyer, J-J., van der Hoek, W. & Witteveen, C., 2003, In : Fundamenta Informaticae. 57, 2-4, p. 281-321 41 p.

    Research output: Contribution to journalArticleScientificpeer-review

  70. A note on rigour and replicability

    Louridas, P. & Gousios, G., 2012, In : Software Engineering Notes. 37, 5, p. 1-4 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  71. A novel productivity-driven logic element for field-programmable devices

    Marconi, T., Bertels, KLM. & Gaydadjiev, GN., 2014, In : International Journal of Electronics. 101, 6, p. 731-762 32 p.

    Research output: Contribution to journalArticleScientificpeer-review

  72. A practical evaluation of spectrum-based fault localization

    Abreu, RF., Zoeteweij, P., Golsteijn, R. & van Gemund, AJC., 2009, In : Journal of Systems and Software. 82, 11, p. 1780-1792 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  73. A predictive multi-linear regression model for organic micropollutants, based on a laboratory-scale column study simulating the river bank filtration process

    Bertelkamp, C., Verliefde, ARD., Reynisson, J., Singhal, N., Cabo, AJ., de Jonge, M. & van der Hoek, JP., Nov 2015, In : Journal of Hazardous Materials. 304, March, p. 502-511 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  74. A pure embedding of attribute grammars

    Sloane, AM., Kats, LCL. & Visser, E., 2013, In : Science of Computer Programming. 78, 10, p. 1752-1769 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  75. A resource based framework for planning and replanning

    van der Krogt, RPJ., de Weerdt, MM. & Witteveen, C., 2003, In : Web Intelligence and Agent Systems. 1, 3, 4, p. 173-186 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  76. A resource logic for multi-agent plan merging

    de Weerdt, MM., Bos, A., Tonino, JFM. & Witteveen, C., 2002, In : Annals of Mathematics and Artificial Intelligence. 37, 1-2, p. 93-131 39 p.

    Research output: Contribution to journalArticleScientificpeer-review

  77. A resource logic for multi-agent plan merging

    de Weerdt, MM., Bos, A., Tonino, JFM. & Witteveen, C., 2003, In : Annals of Mathematics and Artificial Intelligence. 37, 1/2, p. 93-130 38 p.

    Research output: Contribution to journalArticleScientificpeer-review

  78. A scalable middleware solution for advanced wide-area Web services

    van Steen, M., Tanenbaum, AS., Kuz, I. & Sips, HJ., 1999, In : Distributed Systems Engineering. 6, p. 34-42 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  79. A snowballing literature study on test amplification

    Danglot, B., Vera-Perez, O., Yu, Z., Zaidman, A., Monperrus, M. & Baudry, B., 2019, In : Journal of Systems and Software. 157, p. 1-16 16 p., 110398.

    Research output: Contribution to journalArticleScientificpeer-review

  80. A software process for the construction of predictable on-board embedded real-time systems

    Vardanega, T. & van Katwijk, J., 1999, In : Software: Practice and Experience. 29, 3, p. 235-266 32 p.

    Research output: Contribution to journalArticleScientificpeer-review

  81. A survey on web modeling approaches for ubiquitous web applications

    Houben, GJPM., 2008, In : International Journal of Web Information Systems. 4, 3, p. 234-305 72 p.

    Research output: Contribution to journalArticleScientificpeer-review

  82. A tight MIP formulation of the unit commitment problem with start-up and shut-down constraints

    Gentile, C., Morales-España, G. & Ramos, A., 2017, In : EURO Journal on Computational Optimization. 5, 1-2, p. 177-201 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  83. A world ontology specification language

    Dietz, JLG., 2005, In : Lecture Notes in Computer Science. 3762, p. 688-699 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  84. ASH: tackling node mobility in large-scale networks

    Pruteanu, AS. & Dulman, SO., 2012, In : Computing. 94, 8, p. 811-832 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  85. Activating Learning at Scale: A Review of Innovations in Online Learning Strategies

    Davis, D., Chen, G., Hauff, C. & Houben, G-J., 2018, In : Computers & Education. 125, p. 327-344 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  86. Actris: Session-type based reasoning in separation logic

    Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, p. 1-30 6.

    Research output: Contribution to journalArticleScientificpeer-review

  87. Adding tuples to Java: a study in lightweight data structures

    van Reeuwijk, C. & Sips, HJ., 2005, In : Concurrency and Computation: Practice & Experience. 17, 5-6, p. 423-438 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  88. Aligning codependent Scrum teams to enable fast business value delivery: A governance framework and set of intervention actions

    Vlietland, J., Van Solingen, R. & Van Vliet, H., 1 Mar 2016, In : Journal of Systems and Software. 113, p. 418-429 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  89. All Your Database Are Belong to Us

    Meijer, HJM., 2012, In : ACM Queue: tomorrow's computing today. 10, 7, p. 1-10 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  90. All your database are belong to us

    Meijer, HJM., 2012, In : Communications of the ACM. 55, 9, p. 54-60 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  91. An Empirical Catalog of Code Smells for the Presentation Layer of Android Apps

    Goularte Carvalho, S., Aniche, M., Veríssimo, J., Durelli, R. & Gerosa, M. A., 2019, In : Empirical Software Engineering. 24, 6, p. 3546–3586 41 p.

    Research output: Contribution to journalArticleScientificpeer-review

  92. An Empirical Study into Class Testability

    Bruntink, M. & van Deursen, A., 2006, In : Journal of Systems and Software. 79, 9, p. 1219-1232 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  93. An Experimental Performance Evaluation of Autoscalers for Complex Workflows

    Ilyushkin, A., Ali-Eldin, A., Herbst, N., Bauer, A., Papadopoulos, A., Epema, D. & Iosup, A., Apr 2018, In : ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS). 3, 2, p. 1-32 32 p., 8.

    Research output: Contribution to journalArticleScientificpeer-review

  94. An Extended Chemical Plant Environmental Protection Game on Addressing Uncertainties of Human Adversaries

    Zhu, Z., Chen, B., Qiu, S., Wang, R., Chen, F., Wang, Y. & Qiu, X., 2018, In : International Journal of Environmental Research and Public Health. 15, 4, 609.

    Research output: Contribution to journalArticleScientificpeer-review

  95. An Industrial Case Study in Reconstructing Requirements Views

    Lormans, M., van Deursen, A. & Gross, HG., 2008, In : Empirical Software Engineering. 13

    Research output: Contribution to journalArticleScientificpeer-review

  96. An Intermediate Representation for Optimizing Machine Learning Pipelines

    Kunft, A., Katsifodimos, A., Schelter, S., Bress, S., Rabl, T. & Markl, V., Jul 2019, In : Proceedings of the VLDB Endowment . 12, 11, p. 1553-1567

    Research output: Contribution to journalArticleScientificpeer-review

  97. An analysis of arithmetic constraints on integer intervals

    Apt, KR. & Zoeteweij, P., 2007, In : Constraints. 12, p. 429-468 40 p.

    Research output: Contribution to journalArticleScientificpeer-review

  98. An application-centric evaluation of OpenCL on multi-core CPUs

    Shen Jie, S., Fang, J., Sips, HJ. & Varbanescu, AL., 2013, In : Parallel Computing. 39, 12, p. 834-850 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  99. An enhanced KNN-based twin support vector machine with stable learning rules

    Nasiri, J. A. & Mir, A. M., 2020, In : Neural Computing and Applications. 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  100. An improved Universal Virtual Computer approach for long-term preservation of digital objects

    Kol, NJC., van Diessen, RJ. & van der Meer, K., 2006, In : Information Services and Use. 26, p. 283-291 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  101. An integrated crosscutting concern migration strategy and its semi-automated application to JHotDraw

    Marin, A. M., van Deursen, A., Moonen, LMF. & van der Rijst, R., 2009, In : Automated Software Engineering. 26, 2, p. 323-356 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  102. Analysing the Linux kernel feature model changes using FMDiff

    Dintzner, N., van Deursen, A. & Pinzger, M., Feb 2017, In : Software and Systems Modeling. 16, 1, p. 55-76 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  103. Analysis of a shared-memory multiprocessor via a novel queuing model

    Reijns, GL. & van Gemund, AJC., 1999, In : Journal of Systems Architecture. 45, p. 1189-1193 5 p.

    Research output: Contribution to journalArticleScientificpeer-review

  104. Analysis of service diagnosis improvement through increased monitoring granularity

    Chen, C., Gross, H. G. & Zaidman, A., Jun 2017, In : Software Quality Journal. 25, 2, p. 437-471 35 p.

    Research output: Contribution to journalArticleScientificpeer-review

  105. Analyzing Implicit Social Networks in Multiplayer Online Games

    Iosup, A., van de Bovenkamp, R., Shen, S., Jia, AL. & Kuipers, FA., 2014, In : IEEE Internet Computing. special issue on Networked Games

    Research output: Contribution to journalArticleScientificpeer-review

  106. Analyzing MAC Protocols for Low Data-Rate Applications

    Langendoen, KG. & Meier, A., 2010, In : ACM Transactions on Sensor Networks. 7, 2, p. 1-40 40 p.

    Research output: Contribution to journalArticleScientificpeer-review

  107. Analyzing User Behavior across Social Sharing Environments

    de Meo, P., ferrara, E., Abel, F., Aroyo, L. & Houben, G-J., 2013, In : ACM Transactions on Intelligent Systems and Technology. 5, 1, p. 14:1-14:31 31 p., 14.

    Research output: Contribution to journalArticleScientificpeer-review

  108. Analyzing the Tradeoffs in Using Millimeter Wave Directional Links for High Data-Rate Tactile Internet Applications

    Joshi, K. C., Niknam, S., Prasad, R. V. & Natarajan, B., 1 Mar 2020, In : IEEE Transactions on Industrial Informatics. 16, 3, p. 1924-1932 9 p., 8779704.

    Research output: Contribution to journalArticleScientificpeer-review

  109. Anonymizing spreadsheet data and metadata with anonymousXL

    Van Veen, J. & Hermans, F., 2014, In : CEUR Workshop Proceedings. 1209, p. 45-46 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  110. Application of hybrid metaheuristics in sensor management

    de Jong, JL. & van Norden, WL., 2007, In : Aerospace Science and Technology. 11, p. 205-302 98 p.

    Research output: Contribution to journalArticleScientificpeer-review

  111. Application-directed voltage scaling

    Pouwelse, JA., Langendoen, KG. & Sips, HJ., 2003, In : IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 11, 5, p. 812-826 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  112. Approaches for Dialog Management in Conversational Agents

    Harms, J-G., Kucherbaev, P., Bozzon, A. & Houben, G-J., 2019, In : IEEE Internet Computing. 23, 2, p. 13-22 10 p., 8536470.

    Research output: Contribution to journalArticleScientificpeer-review

  113. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

    Feldman, AB., Provan, G. & van Gemund, AJC., 2010, In : The Journal of Artificial Intelligence Research. 38, p. 371-413 43 p.

    Research output: Contribution to journalArticleScientificpeer-review

  114. Architectuur en agile: een ongelukkig huwelijk?

    Bender, KJ. & van Solingen, DM., 2011, In : Automatisering Gids. June 2011, p. 16-16 1 p.

    Research output: Contribution to journalArticleScientificpeer-review

  115. Area of Simulation: Mechanism and Architecture for Multi-Avatar Virtual Environments

    Shen, S., Iosup, A., Epema, D. & Hu, S-Y., 2015, In : ACM Transactions on Multimedia Computing, Communications, and Applications. 12, 1, p. 1-29 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  116. Artificial player for Quake III Arena

    Waveren, JMP. & Rothkrantz, LJM., 2002, In : International Journal of Intelligent Games and Simulation. 1, 1, p. 25-32 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  117. Aspect-oriented adaptation specification in web information systems: a semantics-based approach

    Casteleyn, S., van Woensel, W., van der Sluijs, KAM. & Houben, GJPM., 2009, In : New Review of Hypermedia and Multimedia. 15, 1, p. 39-71 33 p.

    Research output: Contribution to journalArticleScientificpeer-review

  118. Association, Blockage, and Handoffs in IEEE 802.11ad-Based 60-GHz Picocells: A Closer Look

    Joshi, K. C., Hersyandika, R. & Venkatesha Prasad, R., 2020, In : IEEE Systems Journal. 14, 2, p. 2144-2153 10 p., 8839948.

    Research output: Contribution to journalArticleScientificpeer-review

  119. Atmospheric dispersion prediction and source estimation of hazardous gas using artificial neural network, particle swarm optimization and expectation maximization

    Qiu, S., Chen, B., Wang, R., Zhu, Z., Wang, Y. & Qiu, X., 1 Apr 2018, In : Atmospheric Environment. 178, p. 158-163 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  120. Automated Interactive Sales Processes

    Klos, TB., Somefun, K. & La Poutré, H., 2011, In : IEEE Intelligent Systems. 26, 4, p. 54-61 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  121. Automatic IEEE 802.11 rate control for streaming applications

    Haratcherev, IJ., Taal, JR., Langendoen, KG., Lagendijk, RL. & Sips, HJ., 2005, In : Wireless Communications and Mobile Computing. 5, 4, p. 421-437 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  122. Automatic Processing of User-Generated Content for the Description of Energy-Consuming Activities at Individual and Group Level

    de Kok, R., Mauri, A. & Bozzon, A., 2019, In : Energies. 12, 1, p. 1-28 28 p., 15.

    Research output: Contribution to journalArticleScientificpeer-review

  123. Automatic delay tuning of a novel ring resonator-based photonic beamformer for a transmit phased array antenna

    Bliek, L., Wahls, S., Visscher, I., Taddei, C., Timens, R. B., Oldenbeuving, R., Roeloffzen, C. & Verhaegen, M., 2019, In : Journal of Lightwave Technology. 37, 19, p. 4976-4984 8754808.

    Research output: Contribution to journalArticleScientificpeer-review

  124. Automatic generation of three-dimensional dose reconstruction data for two-dimensional radiotherapy plans for historically treated patients

    Wang, Z., Virgolin, M., Bosman, P. A. N., Crama, K. F., Balgobind, B. V., Bel, A. & Alderliesten, T., 1 Jan 2020, In : Journal of Medical Imaging. 7, 1, 015001.

    Research output: Contribution to journalArticleScientificpeer-review

  125. Awareness bepaalt succes of falen van een EA-traject

    Go, A., Lee, C. & Dietz, JLG., 2007, In : Tiem: tijdschrift voor informatie en management. 21, p. 4-10 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  126. Bargaining-based cooperative energy trading for distribution company and demand response

    Fan, S., Ai, Q. & Piao, L., 15 Sep 2018, In : Applied Energy. 226, p. 469-482 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  127. Basic notions regarding business processes and supporting information systems

    Dietz, JLG., 2005, In : Requirements Engineering. 10, 3, p. 175-183 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  128. Bayesian Game Based Fuzzy Reinforcement Learning Control for Decentralized POMDPs

    Sharma, R. & Spaan, MTJ., 2012, In : IEEE Transactions on Computational Intelligence and AI in Games. 4, 4, p. 309-328 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  129. Beyond Page Objects: Testing Web Applications with State Objects

    Van Deursen, A., 1 Jun 2015, In : ACM Queue: tomorrow's computing today. 13, 6, p. 20-37 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  130. Breakthrough of shallow activated carbon beds under constant and pulsating flow

    Linders, MJG., Mallens, PJM., van Bokhoven, JJGM., Kapteijn, F. & Moulijn, JA., 2003, In : Aiha journal. 64, p. 173-180 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  131. Broker Placement in Latency-Aware Peer-to-Peer Networks

    Garbacki, PJ., Epema, DHJ. & van der Steen, M., 2008, In : Computer Networks. 52, p. 1617-1633 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  132. Building High-Resolution Sky Images using the Cell/B.E.

    Varbanescu, AL., van Amesfoort, AS., Cornwell, T., van Diepen, G., van Nieuwpoort, RV., Elmgreen, BG. & Sips, HJ., 2009, In : Scientific Programming. 17, 1&2, p. 113-134 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  133. Can agents measure up? A comparative study of an agent-based and on-line optimization approach for a drayage problem with uncertainty (preprint)

    Mahr, T., Srour, J., de Weerdt, MM. & Zuidwijk, RA., 2010, In : Transportation Research. Part C: Emerging Technologies. 18, 1, p. 99-119 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  134. Can you ink while you blink? Assessing mental effort in a sensor-based calligraphy trainer

    Limbu, B. H., Jarodzka, H., Klemke, R. & Specht, M., 2 Jul 2019, In : Sensors (Switzerland). 19, 14, p. 1-17 17 p., 3244.

    Research output: Contribution to journalArticleScientificpeer-review

  135. Case-based reasoning for interpretation of data from non-destructive testing

    Jarmulak, J., Kerckhoffs, EJH. & van 't Veen, P-P., 2001, In : Engineering Applications of Artificial Intelligence. 14, 4, p. 401-418 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  136. Causal Relationships between Improvements in Software Development Processes and Final Software Product Quality

    van Solingen, DM. & Berghout, E., 2008, In : Electronic Journal of Information Systems Evaluation. 11, p. 41-50 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  137. Challenges in Haptic Communications Over the Tactile Internet

    van den Berg, D., Glans, R. N., de Koning, D., Kuipers, F. A., Lugtenburg, A. J. C. J., Polachan, K., Venkata, P. T., Singh, C., Turkovic, B. & van Wijk, B., 2017, In : IEEE Access. 5, p. 23502-23518 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  138. Change-based test selection: An empirical evaluation

    Soetens, Q. D., Demeyer, S., Zaidman, A. & Perez, J., 11 Nov 2015, In : Empirical Software Engineering. 21, 5, p. 1990-2032 43 p.

    Research output: Contribution to journalArticleScientificpeer-review

  139. Classifying code comments in Java software systems

    Pascarella, L., Bruntink, M. & Bacchelli, A., 2019, In : Empirical Software Engineering. 24, 3, p. 1499-1537 39 p.

    Research output: Contribution to journalArticleScientificpeer-review

  140. Code Generation by Model Transformation. A Case Study in Transformation Modularity

    Hemel, Z., Kats, LCL. & Visser, E., 2008, In : Lecture Notes in Computer Science. 5063, p. 183-198 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  141. Code Generation by Model Transformation: A Case Study in Transformation Modularity

    Hemel, Z., Kats, LCL., Groenewegen, DM. & Visser, E., 2009, In : Software and Systems Modeling. p. 1-28 28 p.

    Research output: Contribution to journalArticleScientificpeer-review

  142. Code smells for Model-View-Controller architectures

    Aniche, M., Bavota, G., Treude, C., Gerosa, M. A. & van Deursen, A., 2018, In : Empirical Software Engineering. 23, 4, p. 2121-2157 37 p.

    Research output: Contribution to journalArticleScientificpeer-review

  143. Coevolution of variability models and related software artifacts: A fresh look at evolution patterns in the Linux kernel

    Passos, L., Teixeira, L., Dintzner, N., Apel, S., Wąsowski, A., Czarnecki, K., Borba, P. & Guo, J., 5 May 2015, In : Empirical Software Engineering. 21, 4, p. 1744-1793 50 p.

    Research output: Contribution to journalArticleScientificpeer-review

  144. CogCell: Cognitive interplay between 60 GHz picocells and 2.4/5 GHz hotspots in the 5G era

    Chandra, K., Venkatesha Prasad, R., Quang, B. & Niemegeers, I. G. M. M., 2015, In : IEEE Communications Magazine. 53, 7, p. 118-125 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  145. Column Generation Algorithms for Constrained POMDPs

    Walraven, E. & Spaan, M., 2018, In : The Journal of Artificial Intelligence Research. 62, p. 489-533 45 p.

    Research output: Contribution to journalArticleScientificpeer-review

  146. Communicative action-based business process and information systems modelling with DEMO

    van Reijswoud, VE., Mulder, JBF. & Dietz, JLG., 1999, In : Information Systems Journal: an international journal promoting the study and practice of information systems. 9, p. 117-138 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  147. Comparing energy-saving MAC protocols for wireless sensor networks

    Halkes, GP., van Dam, T. & Langendoen, KG., 2005, In : Mobile Networks and Applications. 10, 5, p. 783-791 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  148. Comparing the Effects of Failures in Power Grids under the AC and DC Power Flow Models

    Cetinay, H., Soltan, S., Kuipers, F. A., Zussman, G. & Van Mieghem, P., 2018, In : IEEE Transactions on Network Science and Engineering. 5, 4, p. 1-12 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  149. Comparison between different feature extraction techniques for audio-visual speech recognition

    Chitu, AG., Rothkrantz, LJM., Wiggers, P. & Wojdel, JC., 2007, In : Journal on Multimodal User Interfaces. 1, 1, p. 7-20 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  150. Comparison of Machine Learning Models for Hazardous Gas Dispersion Prediction in Field Cases

    Wang, R., Chen, B., Qiu, S., Zhu, Z., Wang, Y., Wang, Y. & Qiu, X., 2018, In : International Journal of Environmental Research and Public Health. 15, 7, p. 1-19 19 p., 1450.

    Research output: Contribution to journalArticleScientificpeer-review

  151. Computing all-pairs shortest paths by leveraging low treewidth

    Planken, LR., de Weerdt, MM. & van der Krogt, PJ., 2012, In : The Journal of Artificial Intelligence Research. 43, p. 353-388 36 p.

    Research output: Contribution to journalArticleScientificpeer-review

  152. Computing the fault tolerance of multi-agent deployment

    Zhang, Y., Manisterski, E., Kraus, S., Subrahmanian, VS. & Peleg, D., 2009, In : Artificial Intelligence. 173, 3-4, p. 437-465 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  153. Concerns on architecture-centered software development: a survey

    Kyaruzi, JK. & van Katwijk, J., 2000, In : Journal of Integrated Design & Process Science. 4, 3, p. 13-33 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  154. Conducting quantitative software engineering studies with Alitheia Core

    Gousios, G. & Spinellis, D., 2014, In : Empirical Software Engineering. 19, 4, p. 885-925 41 p.

    Research output: Contribution to journalArticleScientificpeer-review

  155. Connection between phase singularities and the radiation pattern of a slit in a metal plate

    Schouten, H., Visser, TD., Gbur, G. & Lenstra, D., 2004, In : Physical Review Letters. 93, 17, p. 173901-1-173901-4

    Research output: Contribution to journalArticleScientificpeer-review

  156. Context-aware reconfiguration of large-scale surveillance systems: Argumentative approach

    Novák, P. & Witteveen, C., 2015, In : Argument & Computation. 6, 1, p. 3-23 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  157. Cooperative Density Estimation in Random Wireless Ad Hoc Networks

    Onur, E., Durmus, Y. & Niemegeers, IGMM., 2012, In : IEEE Communications Letters. p. 331-333 3 p.

    Research output: Contribution to journalArticleScientificpeer-review

  158. Cooperative Economic Scheduling for Multiple Energy Hubs: A Bargaining Game Theoretic Perspective

    Fan, S., Li, Z., Wang, J., Piao, L. & Ai, Q., 2018, In : IEEE Access. 6, p. 27777-27789 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  159. Coordinated optimization of equipment operations in a container terminal

    Jonker, T., Duinkerken, M., Yorke-Smith, N., de Waal, A. & Negenborn, R., 2019, In : Flexible Services and Manufacturing Journal. 31 p.

    Research output: Contribution to journalArticleScientificpeer-review

  160. Coordinating Self-Interested Planning Agents

    Buzing, PC., ter Mors, AW., Valk, JM. & Witteveen, C., 2006, In : Autonomous Agents and Multi-Agent Systems. 12, 2, p. 199-218 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  161. Coordination by design and the price of autonomy

    ter Mors, AW., Yadati Narasihma, C., Witteveen, C. & Zhang, Y., 2010, In : Autonomous Agents and Multi-Agent Systems. 20, 3, p. 308-341 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  162. Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances

    van Maaren, H. & van Norden, L., 2005, In : Annals of Mathematics and Artificial Intelligence. 44, 1-2, p. 157-177 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  163. Cost-driven scheduling of grid workflows using partial critical paths

    Abrishami, S., Naghibzadeh, M. & Epema, DHJ., 2012, In : IEEE Transactions on Parallel and Distributed Systems. 23, 8, p. 1400-1414 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  164. Crawl-based analysis of web applications: Prospects and challenges

    van Deursen, A., Mesbah, A. & Nederlof, A., Jan 2015, In : Science of Computer Programming. 97, 1, p. 173-180 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  165. Crawling Ajax-based web applications through dynamic analysis of user interface state changes

    Mesbah, A., van Deursen, A. & Lenselink, S., 2012, In : ACM Transactions on the Web. 6, 1, p. 1-30 30 p.

    Research output: Contribution to journalArticleScientificpeer-review

  166. Cross-system User Modeling and Personalization on the Social Web

    Abel, F., Herder, E., Houben, GJPM., Henze, N. & Krause, D., 2013, In : User Modeling and User-Adapted Interaction: the journal of personalization research. 23, 2-3, p. 169-209 41 p.

    Research output: Contribution to journalArticleScientificpeer-review

  167. Crowd characterization for crowd management using social media data in city events

    Gong, V. X., Daamen, W., Bozzon, A. & Hoogendoorn, S. P., 2020, In : Travel Behaviour and Society. 20, p. 192 - 212 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  168. Current Trends in Modeling Inter-Organizational Cooperation

    Albani, A. & Dietz, JLG., 2009, In : Journal of Enterprise Information Management. 22, 3, p. 275-297 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  169. Custom architecture for multicore audio Beamforming systems

    Theodoropoulos, D., Kuzmanov, GK. & Gaydadjiev, GN., 2013, In : ACM Transactions on Embedded Computing Systems. 13, 2, p. 1-26 26 p.

    Research output: Contribution to journalArticleScientificpeer-review

  170. DEC: Diversity-based Energy-aware Clustering for heterogeneous sensor networks

    Malazi, HT., Zamanifar, K., Khalili, A. & Dulman, SO., 2012, In : Ad-Hoc & Sensor Wireless Networks. 17, 1-2, p. 53-72 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  171. DIAT: A Scalable Distributed Architecture for IoT

    Sarkar, C., S.N., A. U. N., Prasad, R. V., Rahim, A., Neisse, R. & Baldini, G., 2015, In : IEEE Internet of Things Journal. 2, 3, p. 230-239 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  172. Data-driven hazardous gas dispersion modeling using the integration of particle filtering and error propagation detection

    Zhu, Z., Qiu, S., Chen, B., Wang, R. & Qiu, X., 2018, In : International Journal of Environmental Research and Public Health. 15, 8, 17 p., 1640.

    Research output: Contribution to journalArticleScientificpeer-review

  173. Dataset preservation for the long term: results of the dareLux project

    Dürr, EH., Luxemburg, WMJ., van der Meer, K. & Dekker, R., 2008, In : International Journal of Digital Curation. 3, p. 29-43 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  174. Deadline-constrained workflow scheduling algorithms for infrastructure as a service clouds

    Abrishami, S., Naghibzadeh, M. & Epema, DHJ., 2013, In : Future Generation Computer Systems: the international journal of grid computing: theory, methods and applications. 29, 1, p. 158-169 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  175. Decay-usage scheduling in multiprocessors

    Epema, DHJ., 1999, In : ACM Transactions on Computer Systems. 16, 4, p. 367-415 49 p.

    Research output: Contribution to journalArticleScientificpeer-review

  176. Decentralized Energy Demand Regulation in Smart Homes

    Aksha Uttama Nambi, S. N., Prasad, R. V. & Lua, A. R., 2017, In : IEEE Transactions on Green Communications and Networking. 1, 3, p. 372-380 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  177. Decision-theoretic planning under uncertainty with information rewards for active cooperative perception

    Spaan, M. T. J., Veiga, T. S. & Lima, P. U., 2015, In : Autonomous Agents and Multi-Agent Systems. 29, 6, p. 1157-1185 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  178. Decomposing the Complexity of Value: Integration of Digital Transformation of Education with Circular Economy Transition

    Türkeli, S. & Schophuizen, M., 2019, In : Social Sciences. 8, 8, p. 1-22 22 p., 243.

    Research output: Contribution to journalArticleScientificpeer-review

  179. Decorated Attribute Grammars. {A}ttribute Evaluation Meets Strategic Programming

    Kats, LCL., Sloane, AM. & Visser, E., 2009, In : Lecture Notes in Computer Science. 5501, p. 142-157 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  180. Defect prediction as a multiobjective optimization problem

    Canfora, G., De Lucia, A., Di Penta, M., Oliveto, R., Panichella, A. & Panichella, S., 1 Jun 2015, In : Software Testing Verification and Reliability. 25, 4, p. 426-459 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  181. Defining multi-tenancy: A systematic mapping study on the academic and the industrial perspective

    Kabbedijk, J., Bezemer, C. P., Jansen, S. & Zaidman, A., 1 Jan 2015, In : Journal of Systems and Software. 100, p. 139-148 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  182. Design and Implementation of a GUI for the TLC model checker

    Wang, B. & Pronk, C., 2006, In : ACM SIGPLAN Notices. 41, 12, p. 38-43 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  183. Design and use of the Simple Event Model (SEM)

    van Hage, WR., Malaisé, V., Segers, R., Hollink, L. & Schreiber, G., 2011, In : Journal of Web Semantics. 9, 2, p. 128-136 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  184. Designing Syntax Embeddings and Assimilations for Language Libraries

    Bravenboer, M. & Visser, E., 2008, In : Lecture Notes in Computer Science. 5002, p. 34-46 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  185. Designing complex crowdsourcing applications covering multiple platforms and tasks

    Bozzon, A., Brambilla, M., Ceri, S., Mauri, A. & Volonterio, R., 2015, In : Journal of Web Engineering. 14, 5-6, p. 443-473 31 p.

    Research output: Contribution to journalArticleScientificpeer-review

  186. Designing cultural heritage sector brokers using SDBC

    Shishkov, BB., 2005, In : International Journal On Information Theories & Applications. 10, p. 1-8 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  187. Designing virus-resistant, high-performance networks: A game-formation approach

    Trajanovski, S., Kuipers, F. A., Hayel, Y., Altman, E. & Van Mieghem, P., 2018, In : IEEE Transactions on Control of Network Systems. PP, 99, p. 1-10 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  188. Detecting and analyzing I/O performance regressions

    Bezemer, C., Milon Beltran, E., Zaidman, AE. & Pouwelse, JA., 2014, In : Journal of Software: Evolution and Process. 26, 12, p. 1193-1212 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  189. Detecting and refactoring code smells in spreadsheet formulas

    Hermans, FFJ., Pinzger, M. & van Deursen, A., Apr 2015, In : Empirical Software Engineering. 20, 2, p. 549-575 27 p.

    Research output: Contribution to journalArticleScientificpeer-review

  190. Developer Testing in The IDE: Patterns, Beliefs, And Behavior

    Beller, M., Gousios, G., Panichella, A., Proksch, S., Amann, S. & Zaidman, A., 2019, In : IEEE Transactions on Software Engineering. 45, 3, p. 261-284 24 p., 8116886.

    Research output: Contribution to journalArticleScientificpeer-review

  191. Development of a Universal Virtual Computer (UVC) for long-term preservation of digital objects

    van der Meer, K., van der Hoeven, JR. & van Diessen, RJ., 2005, In : Journal of Information Science. 31, 3, p. 196-208 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  192. Diagnosing Intermittent Faults Using Maximum Likelihood Estimation

    Lima Maranhao De Abreu, RF. & van Gemund, AJC., 2010, In : Artificial Intelligence. 174, 18, p. 1481-1497 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  193. Discovering Community Patterns in Open-Source: A Systematic Approach and Its Evaluation

    Tamburri, D. A., Palomba, F., Serebrenik, A. & Zaidman, A., 2019, In : Empirical Software Engineering. 24, 3, p. 1369-1417 49 p.

    Research output: Contribution to journalArticleScientificpeer-review

  194. Disnix: A toolset for distributed deployment

    van der Burg, S. & Dolstra, E., 2012, In : Science of Computer Programming.

    Research output: Contribution to journalArticleScientificpeer-review

  195. Distributed antenna system for mitigating shadowing effect in 60 GHz WLAN

    Wang, Q., Debbarma, D., Lo, ACC., Cao, Z., Niemegeers, IGMM. & Heemstra de Groot, SM., 2015, In : Wireless Personal Communications. 82, 2, p. 1-22 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  196. Distributed autoregressive moving average graph filters

    Loukas, A., Simonetto, A. & Leus, G., 2015, In : IEEE Signal Processing Letters. 22, 11, p. 1931-1935 5 p.

    Research output: Contribution to journalArticleScientificpeer-review

  197. Distributed computation particle filters on GPU architectures for real-time control applications

    Chitchian, M., Simonetto, A., van Amesfoort, AS. & Keviczky, T., 2013, In : IEEE Transactions on Control Systems Technology. 21, 6, p. 2224-2238 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  198. Distributed coordination of deferrable loads: A real-time market with self-fulfilling forecasts

    Abdelghany, H., Tindemans, S., de Weerdt, M. & la Poutré, H., 11 Jun 2020, In : Sustainable Energy, Grids and Networks. 23, 11 p., 100364.

    Research output: Contribution to journalArticleScientificpeer-review

  199. Distributed localization in wireless sensor networks: a quantitative comparison

    Langendoen, KG. & Reijers, N., 2003, In : Computer Networks. 43, p. 499-518 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  200. Distributed online flash-crowd detection in P2P swarming systems

    Pruteanu, AS., D'acunto, L. & Dulman, SO., 2013, In : Computer Communications. 36, 5, p. 533-541 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  201. Do Badges Affect Intrinsic Motivation in Introductory Programming Students?

    Facey-Shaw, L., Specht, M., van Rosmalen, P. & Bartley-Bryan, J., 2019, In : Simulation and Gaming. p. 1-22 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  202. Documenting Software Systems Using Types

    van Deursen, A. & Moonen, LMF., 2006, In : Science of Computer Programming. 60, 2, p. 205-220 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  203. Does offline political segregation affect the filter bubble? An empirical analysis of information diversity for Dutch and Turkish Twitter users

    Bozdag, VE., Gao, Q., Houben, GJPM. & Warnier, ME., 2014, In : Computers in Human Behavior. 41, p. 405-415 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  204. Does reviewer recommendation help developers?

    Kovalenko, V., Tintarev, N., Pasynkov, E., Bird, C. & Bacchelli, A., 2019, In : IEEE Transactions on Software Engineering. p. 1-23 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  205. Does single blind peer review hinder newcomers?

    Seeber, M. & Bacchelli, A., 2017, In : Scientometrics: an international journal for all quantitative aspects of the science of science, communication in science and science policy. 113, 1, p. 567-585 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  206. Domain-Specific Languages for Composable Editor Plugins

    Kats, LCL., Kalleberg, K. T. & Visser, E., 2010, In : Electronic Notes in Theoretical Computer Science. 253, 7, p. 149-163 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  207. Domain-independent multi-agent plan repair

    Komenda, A., Novak, P. & Pechoucek, M., 2014, In : Journal of Network and Computer Applications. 37, 1, p. 76-88 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  208. Dwelling in the canyons: Dwelling detection in urban environments using GPS, Wi-Fi, and geolocation

    Brouwers, N. & Woehrle, M., 2013, In : Pervasive and Mobile Computing. 9, 5, p. 665-680 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  209. Dynamic Resource Provisioning in Massively Multiplayer Online Games

    Nae, V., Iosup, A. & Prodan, R., 2011, In : IEEE Transactions on Parallel and Distributed Systems. 22, 3, p. 380-395 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  210. Dynamic task-based intermittent execution for energy-harvesting devices

    Majid, A. Y., Delle Donne, C., Maeng, K., Colin, A., Yildirim, K. S., Lucia, B. & Pawełczak, P., 2020, In : ACM Transactions on Sensor Networks. 16, 1, 24 p., 5.

    Research output: Contribution to journalArticleScientificpeer-review

  211. EEG alpha asymmetry, heart rate variability and cortisol in response to virtual reality induced stress

    Brouwer, AM., Neerincx, MA., Kallen, VL., van der Leer, L. & ten Brinke, M., 2011, In : Journal of Cybertherapy and Rehabilitation. 4, 1, p. 27-56 30 p.

    Research output: Contribution to journalArticleScientificpeer-review

  212. Editorial Preface

    Barjis, J., Winter, R. & Albani, A., 2010, In : Enterprise Modelling and Information Systems Architectures. 5, 1, p. 1-2 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  213. Editorial: Introduction to the special issue on mining software repositories

    Xie, T., Zimmermann, T. & van Deursen, A., 2013, In : Empirical Software Engineering. 18, 6, p. 1043-1046 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  214. Educational innovation projects in Dutch higher education: bottom-up contextual coping to deal with organizational challenges

    Schophuizen, M. & Kalz, M., 1 Dec 2020, In : International Journal of Educational Technology in Higher Education. 17, 1, 17 p., 36.

    Research output: Contribution to journalArticleScientificpeer-review

  215. Effects of anonymity on online peer review in second-language writing

    van den Bos, A. H. & Tan, E., 2019, In : Computers and Education. 142, p. 1-13 13 p., 103638.

    Research output: Contribution to journalArticleScientificpeer-review

  216. Effects of personal characteristics in control-oriented user interfaces for music recommender systems

    Jin, Y., Tintarev, N., Htun, N. N. & Verbert, K., 2019, In : User Modeling and User-Adapted Interaction. 51 p.

    Research output: Contribution to journalArticleScientificpeer-review

  217. Efficiently identifying deterministic real-time automata from labeled data

    Verwer, SE., de Weerdt, MM. & Witteveen, C., 2012, In : Machine Learning. 86, 3, p. 295-333 39 p.

    Research output: Contribution to journalArticleScientificpeer-review

  218. Elaborating dependent (co)pattern matching: No pattern left behind

    Cockx, J. & Abel, A., 2020, In : Journal of Functional Programming. 30, e2.

    Research output: Contribution to journalArticleScientificpeer-review

  219. Electricity Markets for DC Distribution Systems: Design Options

    Piao, L., De Vries, L., De Weerdt, M., Yorke-Smith, N. & Piao, L., 10 Jul 2019, In : Energies. 12, 14, p. 1-16 16 p., 2640.

    Research output: Contribution to journalArticleScientificpeer-review

  220. Eliciting User Preferences for Personalized Explanations for Video Summaries

    Inel, O., Tintarev, N. & Aroyo, L., 2020, In : UMAP.

    Research output: Contribution to journalArticleScientificpeer-review

  221. Embedded software engineering: the state of the practice

    Graaf, BS., Lormans, M. & Toetenel, WJ., 2003, In : IEEE Software. 20, 6, p. 61-69 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  222. Emerging Communication and Cooperation in Evolving Agent Societies

    Buzing, PC., Eiben, A. E. & Schut, M. C., 2005, In : Journal of Artificial Societies and Social Simulation. 8, 1

    Research output: Contribution to journalArticleScientificpeer-review

  223. Empirical Evaluation of Diagnostic Algorithm Performance Using a Generic Framework

    Feldman, AB., Kurtoglu, T., Narasimhan, S., Poll, S., Garcia, D., de Kleer, J., Kuhn, L. & van Gemund, AJC., 2010, In : International Journal of Prognostics and Health Management. September

    Research output: Contribution to journalArticleScientificpeer-review

  224. Empirical research in software architecture: opportunities, challenges, and approaches

    Babar, MA., Lago, P. & van Deursen, A., 2011, In : Empirical Software Engineering. 16, 5, p. 539-543 5 p.

    Research output: Contribution to journalArticleScientificpeer-review

  225. 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: Contribution to journalArticleScientificpeer-review

  226. Enhancing Change Prediction Models using Developer-Related Factors

    Catolino, G., Palomba, F., De Lucia, A., Ferrucci, F. & Zaidman, A., 2018, In : Journal of Systems and Software. 143, 9, p. 14-28 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  227. Enterprise Architecture in Enterprise Engineering

    Hoogervorst, JA., 2008, In : Enterprise Modelling and Information Systems Architectures. 3, p. 3-11 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  228. Enterprise Ontology and Enterprise Architecture

    Dietz, JLG. & Hoogervorst, JAP., 2007, In : Journal of Enterprise Architecture. 2, 1, p. 3-20 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  229. Erratum: Measuring dissimilarity between respiratory effort signals based on uniform scaling for sleep staging

    Long, X., Yang, J., Weysen, T., Haakma, R., Foussier, J., Fonseca, P. & Aarts, RM., 2015, In : Physiological Measurement. 36, 3, p. 625-625 1 p.

    Research output: Contribution to journalArticleScientificpeer-review

  230. Estimate Sentiment of Crowds from Social Media during City Events

    Gong, V. X., Daamen, W., Bozzon, A. & Hoogendoorn, S. P., 2019, In : Transportation Research Record. 2673, 11, p. 836-850 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  231. Estimating Conversational Styles in Conversational Microtask Crowdsourcing

    Qiu, S., Gadiraju, U. & Bozzon, A., 2020, In : Proceedings of ACM Human-Computer Interaction (CSCW). 4, CSCW1, 23 p., 32.

    Research output: Contribution to journalArticleScientificpeer-review

  232. Estimating user interaction strength in distributed online networks

    Jia, A. L., Schoon, B., Pouwelse, J. A. & Epema, D. H. J., 2015, In : Concurrency and Computation: Practice & Experience. 27, 17, p. 5311-5331 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  233. Evaluating Crowdworkers as a Proxy for Online Learners in Video-Based Learning Contexts

    Davis, D., Hauff, C. & Houben, G-J., 2018, In : ACM Proceedings on Human-Computer Interaction. 2, CSCW, p. 1-16 16 p., 42.

    Research output: Contribution to journalArticleScientificpeer-review

  234. Evaluating and comparing language workbenches: Existing results and benchmarks for the future

    Erdweg, S., van der Storm, T., Völter, M., Tratt, L., Bosman, R., Cook, W. R., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., Konat, G., Molina, P. J., Palatnik, M., Pohjonen, R., Schindler, E., Schindler, K., Solmi, R., Vergu, V., Visser, E., Van Der Vlist, K. & 2 others, Wachsmuth, G. & Van Der Woning, J., 1 Dec 2015, In : Computer Languages, Systems and Structures. 44, p. 24-47 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  235. Evaluating application scenarios on the Cell/B.E.

    Varbanescu, AL., Sips, HJ., Ross, K. A., Liu, Q., Natsev, A., Smith, J. R. & Liu, L-K., 2009, In : Concurrency and Computation: Practice & Experience. 21, p. 85-100 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  236. Evaluating local disaster recovery strategies

    Oostenbrink, J., Kuipers, F. A., Helvik, B. E. & Heegaard, P. E., 2019, In : Performance Evaluation Review. 46, 2, p. 62-66 5 p.

    Research output: Contribution to journalArticleScientificpeer-review

  237. Evaluating vector data type usage in OpenCL kernels

    Fang, J., Varbanescu, AL., Liao, X. & Sips, HJ., 2015, In : Concurrency and Computation: Practice & Experience. 27, 17, p. 4586-4602 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  238. Evaluation of bi-objective treatment planning for high-dose-rate prostate brachytherapy—A retrospective observer study

    Maree, S. C., Luong, N. H., Kooreman, E. S., Wieringen, N. V., Bel, A., Hinnen, K. A., Westerveld, H., Pieters, B. R., Bosman, P. A. N. & Alderliesten, T., 2019, In : Brachytherapy. 18, 3, p. 396-403 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  239. Evaluation of strategic supply networks

    Albani, A. & Müssigmann, N., 2005, In : Lecture Notes in Computer Science. 3762, p. 582-591 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  240. Exception handling bug hazards in Android: Results from a mining study and an exploratory survey

    Coelho, R., Almeida, L., Gousios, G., van Deursen, A. & Treude, C., Jun 2017, In : Empirical Software Engineering. 22, 3, p. 1264–1304 41 p.

    Research output: Contribution to journalArticleScientificpeer-review

  241. Executable component-based semantics

    Binsbergen, L. T. V., Mosses, P. D. & Sculthorpe, N., 4 Jan 2019, In : Journal of Logical and Algebraic Methods in Programming. 103, p. 184-212 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  242. Execution Trace Analysis through Massive Sequence and Circular Bundle Views

    Cornelissen, SGM., Zaidman, AE., Holten, D., Moonen, LMF., van Deursen, A. & van Wijk, JJ., 2008, In : Journal of Systems and Software. 81, p. 2252-2268 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  243. Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network {MAC} Protocols

    Halkes, GP. & Langendoen, KG., 2010, In : Eurasip Journal on Wireless Communications and Networking. 2010, p. 1-10 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  244. Expert judgement based maintenance decision support method for structures with a long service-life

    Ter Berg, C. J. A., Leontaris, G., van den Boomen, M., Spaan, M. T. J. & Wolfert, A. R. M., 2019, In : Structure and Infrastructure Engineering. 15, 4, p. 492-503 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  245. Exploiting submodular value functions for scaling up active perception

    Satsangi, Y., Whiteson, S., Oliehoek, F. A. & Spaan, M. T. J., 2018, In : Autonomous Robots. 42, 2, p. 209-233 25 p.

    Research output: Contribution to journalArticleScientificpeer-review

  246. Exploiting user tags to build a semantic cultural heritage portal

    van der Sluijs, K. & Houben, GJPM., 2010, In : IEEE Intelligent Systems. 25, 6, p. 84-92 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  247. Exploration of language specifications by compilation to first-order logic

    Grewe, S., Erdweg, S., Pacak, A., Raulf, M. & Mezini, M., 2018, In : Science of Computer Programming. 155, p. 146-172 27 p.

    Research output: Contribution to journalArticleScientificpeer-review

  248. Exploring solutions to the privacy paradox in the context of e-assessment: informed consent revisited

    Muravyeva, E., Janssen, J., Specht, M. & Custers, B., 2020, In : Ethics and Information Technology. p. 1-16 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  249. FED: Fuzzy Event Detection model for Wireless Sensor Networks

    Malazi, HT., Zamanifar, K. & Dulman, SO., 2011, In : International Journal of Wireless and Mobile Networks. 3, 6, p. 29-45 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  250. FEVER: An approach to analyze feature-oriented changes and artefact co-evolution in highly configurable systems

    Dintzner, N., van Deursen, A. & Pinzger, M., 2018, In : Empirical Software Engineering. 23, 2, p. 905-952 48 p.

    Research output: Contribution to journalArticleScientificpeer-review

  251. FLeet: When time-bounded communication meets high energy-efficiency

    Sarkar, C., Prasad, R. V. & Langendoen, K., 2019, In : IEEE Access. 7, p. 77555-77568 14 p., 8731988.

    Research output: Contribution to journalArticleScientificpeer-review

  252. Facial action recognition for facial expression analysis from static face images

    Pantic, M. & Rothkrantz, LJM., 2004, In : IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 34, 3, p. 1449-1461 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  253. Fair multiple-workflow scheduling with different quality-of-service goals

    Rezaeian, A., Naghibzadeh, M. & Epema, D. H. J., 2019, In : Journal of Supercomputing. 75, 2, p. 746-769 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  254. Fairness in wireless networks: Issues, measures and challenges

    Shi, HZ., Venkatesha Prasad, RR., Onur, E. & Niemegeers, IGMM., 2014, In : IEEE Communications Surveys and Tutorials. 16, 1, p. 5-24 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  255. Finding performance bugs with the TNO HPF benchmark suite

    Denissen, W. & Sips, HJ., 2002, In : Concurrency: Practice and Experience. 14, 8-9, p. 691-712 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  256. Fine-grained just-in-time defect prediction

    Pascarella, L., Palomba, F. & Bacchelli, A., 2019, In : Journal of Systems and Software. 150, p. 22-36 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  257. FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

    Smits, J., Wachsmuth, G. & Visser, E., 2020, In : Journal of Computer Languages. 57, p. 1-39 39 p., 100924.

    Research output: Contribution to journalArticleScientificpeer-review

  258. Formal analysis of trace conditioning

    Bosse, T., Jonker, CM., Los, SA., van der Torre, L. & Treur, J., 2007, In : Cognitive Systems Research (Online). 8, 1, p. 36-47 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  259. Formal definition of programming language standards

    Pronk, C. & Schonhacker, M., 2003, In : ACM SIGPLAN Notices. 38, 8, p. 20-21 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  260. From Learners to Earners: Enabling 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., 2018, In : IEEE Transactions on Learning Technologies. 11, 2, p. 264-274 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  261. From sensing to action: Quick and reliable access to information in cities vulnerable to heavy rain

    Gaitan Sabogal, S., Calderoni, L., Palmieri, P., ten Veldhuis, JAE., Maio, D. & van Riemsdijk, MB., 2014, In : IEEE Sensors Journal. 14, 12, p. 4175-4184 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  262. Fuzzy Argumentation for Trust

    Stranders, R., de Weerdt, MM. & Witteveen, C., 2008, In : Lecture Notes in Computer Science. 5056, p. 214-230 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  263. GPU-accelerated bi-objective treatment planning for prostate high-dose-rate brachytherapy

    Bouter, A., Alderliesten, T., Pieters, B. R., Bel, A., Niatsetski, Y. & Bosman, P. A. N., 1 Sep 2019, In : Medical Physics. 46, 9, p. 3776-3787 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  264. Gate-induced g-factor control and dimensional transition for donors in multivalley semiconductors

    Rahman, R., Park, SH., Boykin, TB., Klimeck, G., Rogge, S. & Hollenberg, L. C. L., 2009, In : Physical Review B (Condensed Matter and Materials Physics). 80, 15, p. 155301-1-155301-5

    Research output: Contribution to journalArticleScientificpeer-review

  265. Gate-induced quantum-confinement transition of a single dopant atom in a silicon FinFET

    Lansbergen, GP., Rahman, R., Wellard, CJ., Woo, I., Caro, J., Collaert, N., Biesemans, S., Klimeck, G., Hollenberg, L. C. L. & Rogge, S., 2008, In : Nature Physics. 4, 8, p. 656-661 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  266. Generalized parsing and term rewriting: semantics driven disambiguation

    van den Brandt, MGJ., Klusener, AS., Moonen, LMF. & Vinju, JJ., 2003, In : Electronic Notes in Theoretical Computer Science. p. 1-17 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  267. Generation of classes of robust periodic railway timetables

    Odijk, MA., Romeijn, H. E. & van Maaren, H., 2006, In : Computers & Operations Research. 33, p. 2283-2299 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  268. Getting what you measure

    Bouwers, EM., Visser, J. & van Deursen, A., 2012, In : Communications of the ACM. 55, 7, p. 54-59 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  269. Getting what you measure

    Bouwers, EM., Visser, J. & van Deursen, A., 2012, In : ACM Queue: tomorrow's computing today. 10, 5, p. 50-56 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  270. GoCo: Planning Expressive Commitment Protocols

    Meneguzzi, F., Magnaguagno, M. C., Singh, M. P., Telang, P. R. & Yorke-Smith, N., 2018, In : Autonomous Agents and Multi-Agent Systems. 32, 4, p. 459-502 44 p.

    Research output: Contribution to journalArticleScientificpeer-review

  271. Green Wireless Power Transfer Networks

    Liu, Q., Golinnski, M., Pawelczak, P. & Warnier, M., 1 May 2016, In : IEEE Journal on Selected Areas in Communications. 34, 5, p. 1740-1756 17 p., 7389968.

    Research output: Contribution to journalArticleScientificpeer-review

  272. Grid Computing Workloads

    Iosup, A. & Epema, DHJ., 2011, In : IEEE Internet Computing. 15, 2, p. 19-26 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  273. Grid sense multiple access: A decentralized control algorithm for DC grids

    van der Blij, N. H., Ramirez-Elizondo, L. M., Spaan, M. T. J. & Bauer, P., 2020, In : International Journal of Electrical Power and Energy Systems. 119, 8 p., 105818.

    Research output: Contribution to journalArticleScientificpeer-review

  274. Guaranteeing Correctness for Collaboration on Documents Using an Optimal Locking Protocol

    Dekeyser, S. & Hidders, AJH., 2011, In : International Journal of Distributed Systems and Technologies. p. 17-29 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  275. Guest Editorial to the Theme on Model-Driven Web Engineering

    Houben, GJPM., Koch, N., Rossi, G. & Vallecillo, A., 2013, In : Software and Systems Modeling. 12, 1, p. 11-13 3 p.

    Research output: Contribution to journalArticleScientificpeer-review

  276. Guest editor's introduction: 10th working conference on reverse engineering

    van Deursen, A. & Stroulia, E., 2005, In : IEEE Transactions on Software Engineering. 31, 2, p. 97-98 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  277. Handling optimization under uncertainty problem using robust cCounterpart methodology

    Chaerani, D. & Roos, C., 2013, In : Jurnal Teknik Industri. 15, 2, p. 111-118 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  278. Harmony- an architecture for providing quality of service in mobile computing environments

    Lele, AM., Nandy, SK. & Epema, DHJ., 2001, In : Journal of Interconnection Networks. 1, 3, p. 247-266 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  279. Hazardous Source Estimation Using an Artificial Neural Network, Particle Swarm Optimization and a Simulated Annealing Algorithm

    Wang, R., Chen, B., Qiu, S., Ma, L., Zhu, Z., Wang, Y. & Qiu, X., 2018, In : Atmosphere. 9, 4, 119.

    Research output: Contribution to journalArticleScientificpeer-review

  280. Heterogeneous Coupled Evolution of Software Languages

    Vermolen, SD. & Visser, E., 2008, In : Lecture Notes in Computer Science. 5301, p. 630-644 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  281. Hidden Power System Inflexibilities imposed by traditional unit commitment formulations

    Morales-Espana, G., Ramirez Elizondo, L. & Hobbs, B. F., 1 Apr 2017, In : Applied Energy. 191, p. 223-238 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  282. 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: Contribution to journalArticleScientificpeer-review

  283. Homogeneous routing for homogeneous traffic patterns on mouse

    Aronson, LD., 2000, In : IEEE Transactions on Parallel and Distributed Systems. 11, 8, p. 781-793 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  284. Horizontal traceability for just-in-time requirements: the case for open source feature requests

    Heck, PM. & Zaidman, AE., 2014, In : Journal of Software: Evolution and Process. 26, 12, p. 1280-1296 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  285. How bugs are born: a model to identify how bugs are introduced in software components

    Rodríguez-Pérez, G., Robles, G., Serebrenik, A., Zaidman, A., Germán, D. M. & Gonzalez-Barahona, J. M., 2020, In : Empirical Software Engineering. 25, 2, p. 1294-1340 47 p.

    Research output: Contribution to journalArticleScientificpeer-review

  286. Hulp bij spreadsheets

    van Deursen, A., Pinzger, M. & Hermans, FFJ., 2010, In : Automatisering Gids. 47, November, p. 14-15 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  287. Human Aided Bots

    Kucherbaev, P., Bozzon, A. & Houben, G-J., 2018, In : IEEE Internet Computing. 22, 6, p. 36-43 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  288. Hypermedia presentation generation in Hera

    Frasincar, F., Houben, GJPM. & Barna, P., 2010, In : Information Systems: databases: their creation, management and utilization. 35, 1, p. 23-55 33 p.

    Research output: Contribution to journalArticleScientificpeer-review

  289. IRISH: A Hidden Markov Model to detect coded information islands in free text

    Cerulo, L., Di Penta, M., Bacchelli, A., Ceccarelli, M. & Canfora, G., 2015, In : Science of Computer Programming. 105, July, p. 26-43 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  290. 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 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  291. Identifying crosscutting concerns using fan-in analysis

    Marin, A. M., van Deursen, A. & Moonen, LMF., 2007, In : ACM Transactions on Software Engineering and Methodology. 17, p. 1-37 37 p.

    Research output: Contribution to journalArticleScientificpeer-review

  292. Implementation of continuous improvement based on Lean Six Sigma in small- and medium-sized enterprises

    Timans, W., Ahaus, K., van Solingen, R., Kumar, M. & Antony, J., 18 Nov 2014, In : Total Quality Management and Business Excellence. 27, 3-4, p. 309-324 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  293. Improving Change Prediction Models with Code Smell-Related Information

    Catolino, G., Palomba, F., Arcelli Fontana, F., De Lucia, A., Zaidman, A. & Ferrucci, F., 2019, In : Empirical Software Engineering. 25 (2020), p. 49–95 47 p.

    Research output: Contribution to journalArticleScientificpeer-review

  294. In Light and In Darkness, In Motion and In Stillness: A Reliable and Adaptive Receiver for the Internet of Lights

    Wang, Q., Giustiniano, D. & Zuniga, M., 2018, In : IEEE Journal on Selected Areas in Communications. 36, 1, p. 149-161 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  295. Incremental clustering and expansion for faster optimal planning in decentralized POMDPs

    Oliehoek, FA., Spaan, MTJ., Amato, C. & Whiteson, S., 2013, In : The Journal of Artificial Intelligence Research. 46, p. 449-509 61 p.

    Research output: Contribution to journalArticleScientificpeer-review

  296. Incrementalizing Lattice-Based Program Analyses in Datalog

    Szabo, T., Bergmann, G., Erdweg, S. & Voelter, M., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-29 29 p., 139.

    Research output: Contribution to journalArticleScientificpeer-review

  297. Infeasible interior-point methods for linear optimization based on large neighborhood

    Asadi, A. & Roos, C., 2015, In : Journal of Optimization Theory and Applications. 170, 2, p. 1-29 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  298. Information Needs in Contemporary Code Review

    Pascarella, L., Spadini, D., Palomba, F., Bruntink, M. & Bacchelli, A., Nov 2018, In : ACM Proceedings on Human-Computer Interaction. 2, CSCW, p. 1-27 27 p.

    Research output: Contribution to journalArticleScientificpeer-review

  299. Infrastructure maintenance and replacement optimization under multiple uncertainties and managerial flexibility

    van den Boomen, M., Spaan, M., Shang, Y. & Wolfert, R., 2020, In : Construction Management and Economics. 38, 1, p. 91-107 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  300. Integration of data validation and user interface concerns in a DSL for web applications

    Groenewegen, DM. & Visser, E., 2013, In : Software and Systems Modeling. 12, 1, p. 35-52 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  301. Integration of data validation and user interface concerns in a DSL for web applications

    Groenewegen, DM. & Visser, E., 2010, In : Lecture Notes in Computer Science. 5969, p. 164-173 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  302. Intention-Aware Routing of Electric Vehicles

    de Weerdt, M. M., Stein, S., Gerding, E., Robu, V. & Jennings, N., 24 Dec 2015, In : IEEE Transactions on Intelligent Transportation Systems. 17, 5, p. 1472 - 1482 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  303. Inter-Operating Grids through Delegated MatchMaking

    Iosup, A., Epema, DHJ., Tannenbaum, T., Farrellee, M. & Livny, M., 2008, In : Scientific Programming. 16, p. 233-253 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  304. Interchanging lexical resources on the Semantic Web

    Mccrae, JP., Aguado-de-Cea, G., Buitelaar, P., Cimiano, P., Declerck, T., Gomez-Perez, A., Gracia, J., Hollink, L., Montiel-Ponsoda, E. & Spohr, DP., 2012, In : Language Resources and Evaluation. 46, 4, p. 701-719 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  305. 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: Contribution to journalArticleScientificpeer-review

  306. Introduction to Planning in Multiagent Systems

    de Weerdt, MM. & Clement, BJ., 2009, In : Multiagent and Grid Systems. 5, 4, p. 345-355 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  307. Introduction to the Special Issue on Program Comprehension through Dynamic Analysis (PCODA)

    Zaidman, AE., Hamou-Lhadj, A. & Greevy, O., 2008, In : Journal of Software Maintenance and Evolution: research and practice. 20, p. 223-225 3 p.

    Research output: Contribution to journalArticleScientificpeer-review

  308. Introduction to the Special Issue on Reverse Engineering

    Hassan, AE., Zaidman, AE. & Di Penta, M., 2010, In : Journal of Software Maintenance and Evolution: research and practice. 22, 3, p. 141-142 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  309. Introduction to the Special on Software Architecture Reconstruction and Modeling

    Kazman, R., van Deursen, A. & Koschke, R., 2006, In : Automated Software Engineering. 13, p. 199-200 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  310. Invariant-based automated testing of modern web applications

    Mesbah, A., van Deursen, A. & Roest, D., 2012, In : IEEE Transactions on Software Engineering. 38, 1, p. 35-53 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  311. Inverse Blended Learning in der Weiterbildung für Erwachsenenbildner_innen: Eine MOOC-Fallstudie

    Ebner, M., Shchön, S., Khalil, M., Ebner, M., Aschemann, B., Frei, W. & Röthler, D., Jul 2018, In : Zeitschrift Hochschule und Weiterbildung. 2018, 1, p. 23-30

    Research output: Contribution to journalArticleScientificpeer-review

  312. Iris from the ground up: A modular foundation for higher-order concurrent separation logic

    Jung, R., Krebbers, R., Jourdan, J-H., Bizjak, A., Birkedal, L. & Dreyer, D., 2018, In : Journal of Functional Programming. 28, p. 1-73 73 p., e20.

    Research output: Contribution to journalArticleScientificpeer-review

  313. Iron: Managing obligations in higher-order concurrent separation logic

    Bizjak, A., Gratzer, D., Krebbers, R. & Birkedal, L., 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 65:1-65:30 30 p., 65.

    Research output: Contribution to journalArticleScientificpeer-review

  314. KOALA: A Co-Allocating Grid Scheduler

    Mohamed, HH. & Epema, DHJ., 2008, In : Concurrency and Computation: Practice & Experience. 20, p. 1851-1876 26 p.

    Research output: Contribution to journalArticleScientificpeer-review

  315. Kan Scrum Fixed Price?

    van Solingen, DM. & Rustenburg, E., 2010, In : Automatisering Gids. 23, Juni

    Research output: Contribution to journalArticleScientificpeer-review

  316. Kascade: a new open directory way of access to internet information

    van der Meer, K., Dufour, M., Ha, J. & de Haan, MG., 2000, In : Information Services and Use. 20, p. 63-72 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  317. Know when to listen: SDN-based protocols for directed IoT networks

    Alves, R., Borges Margi, C. & Kuipers, F. A., 2020, In : Computer Communications. 150, p. 672-686 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  318. LDBC Graphalytics: A Benchmark for Large-Scale Graph Analysis on Parallel and Distributed Platforms

    Iosup, A., Hegeman, T., Ngai, W. L., Heldens, S., Prat-Pérez, A., Manhardto, T., Chafio, H., Capotă, M., Sundaram, N. & More Authors, 2016, In : Proceedings of the VLDB Endowment . 9, 13, p. 1317-1328 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  319. Language Design with the Spoofax Language Workbench

    Wachsmuth, G. H., Konat, G. D. P. & Visser, E., 2014, In : IEEE Software. 31, 5, p. 35-43 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  320. Leaders of Tomorrow on the Future of Software Engineering: A Roundtable

    Hermans, F., Siegmund, J., Fritz, T., Bavota, G., Nagappan, M., Hindle, A., Kamei, Y., Mesbah, A. & Adams, B., 1 Mar 2016, In : IEEE Software. 33, 2, p. 99-104 6 p., 7420475.

    Research output: Contribution to journalArticleScientificpeer-review

  321. 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., 2019, In : Software and Systems Modeling. 18, 1, p. 585-630 46 p.

    Research output: Contribution to journalArticleScientificpeer-review

  322. Linear power flow method improved with numerical analysis techniques applied to a very large network

    Sereeter, B., van Westering, W., Vuik, C. & Witteveen, C., 2019, In : Energies. 12, 21, 15 p., 4078.

    Research output: Contribution to journalArticleScientificpeer-review

  323. Local self-concordance of barrier functions based on Kernel-functions

    Bai, YQ., Lesaja, G., Mansouri, H., Roos, C. & Zangiabadi, M., 2013, In : Iranian Journal of Operations Research. 3, 2, p. 1-23 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  324. Long reach hybrid fiber-wireless system with remote up-conversion and local exchange

    Cao, Z., van den Boom, PA., Tangdiongga, E., Chandra, K. & Koonen, AMJ., 2013, In : IEEE Photonics Technology Letters. 25, 8, p. 737-740 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  325. LossEstimate: Distributed Failure Estimation in Wireless Networks

    Pruteanu, AS. & Dulman, SO., 2012, In : Journal of Systems and Software. 85, 12, p. 2785-2795 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  326. Low-Cost Static Performance prediction of stochastic parallel task compositions

    Gautama, H. & van Gemund, AJC., 2006, In : IEEE Transactions on Parallel and Distributed Systems. 17, 1, p. 78-91 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  327. Low-cost task scheduling for distributed-memory machines

    Radulescu, A. & van Gemund, AJC., 2002, In : IEEE Transactions on Parallel and Distributed Systems. 13, 6, p. 648-658 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  328. MDE and customization of modeling and simulation web applications

    Levytskyy, A., Vangheluwe, H., Rothkrantz, LJM. & Koppelaar, H., 2009, In : Simulation Modelling Practice and Theory. 17, 2, p. 408-429 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  329. Machine understanding of facial expression of pain

    Pantic, M. & Rothkrantz, LJM., 2002, In : Behavioral and Brain Sciences: an international journal of current research and theory with open peer commentary. 25, 4, p. 469-470 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  330. Mapping Queries to the Linking Open Data cloud: A Case Study Using DBpedia

    Meij, E., Bron, M., Hollink, L., Huurnink, B. & Rijke, M., 2011, In : Journal of Web Semantics. 9, 4, p. 418-433 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  331. March-eq - Implementing additional reasoning into efficient look-ahead SAT solver

    Heule, MJH., Dufour, M., van Zwieten, JE. & van Maaren, H., 2005, In : Lecture Notes in Computer Science. 3542, p. 345-359 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  332. March_dl: Adding adaptive heuristics and a new branding strategy

    Heule, MJH. & van Maaren, H., 2006, In : Journal on Satisfiability, Boolean Modeling and Computation. 2, 1-4, p. 47-59 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  333. Mathematical formulation of quantum circuit design problems in networks of quantum computers

    van Houte, R., Mulderij, J., Attema, T., Chiscop, I. & Phillipson, F., 2020, In : Quantum Information Processing. 19, 5, 22 p., 141.

    Research output: Contribution to journalArticleScientificpeer-review

  334. Maximal Laziness - An Efficient Interpretation Technique for Purely Functional DSLs

    Dolstra, E., 2008, In : Electronic Notes in Theoretical Computer Science. p. 1-15 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  335. Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs

    Dolstra, E., 2009, In : Electronic Notes in Theoretical Computer Science. 238, 5, p. 81-99 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  336. Measuring dissimilarity between respiratory effort signals based on uniform scaling for sleep staging

    Long, X., Yang, J., Weysen, T., Haakma, R., Foussier, J., Fonseca, P. & Aarts, RM., 2014, In : Physiological Measurement. 35, 12, p. 2529-2542 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  337. Medium Access Control Issues in Sensor Networks

    Ali, M., Saif, U., Dunkels, A., Voigt, T., Römer, K., Langendoen, KG., Polastre, J. & Uzmi, Z., 2006, In : Computer Communications Review. 36, p. 33-36 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  338. Met drieënzestig symbolen

    van der Poel, WL., 2005, In : Nieuw Archief voor Wiskunde. 4, p. 312-316 5 p.

    Research output: Contribution to journalArticleScientificpeer-review

  339. Method for predicting motion artefacts in matrix displays

    Teunissen, C., Zhang, Y. & Heynderickx, IEJR., 2006, In : Society for Information Display. Journal. 14, 10, p. 873-881 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  340. Mind your thoughts: BCI using single EEG electrode

    Narayana, S., Venkatesha Prasad, R. & Warmerdam, K., 2019, In : IET Cyber-Physical Systems: Theory and Applications. 4, 2, p. 164-172 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  341. Mixing source and bytecode: a case for compilation by normalization

    Kats, LCL., Bravenboer, M. & Visser, E., 2008, In : ACM SIGPLAN Notices. 43, p. 91-108 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  342. MoSeL: A general, extensible modal framework for interactive proofs in separation logic

    Krebbers, R., Jourdan, J-H., Jung, R., Tassarotti, J., Kaiser, J-O., Timany, A., Charguéraud, A. & Dreyer, D., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 77:1-77:30 30 p., 77.

    Research output: Contribution to journalArticleScientificpeer-review

  343. Mobile tethering: overview, perspectives and challenges

    Constantinescu, MM., Onur, E., Durmus, Y., Nikou, S., de Reuver, GA., Bouwman, WAGA., Djurica, M. & Glatz, PM., 2014, In : Info: The journal of policy, regulation and strategy for telecommunications, information and media. 16, 3, p. 40-53 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  344. Mock objects for testing java systems: Why and how developers use them, and how they evolve

    Spadini, D., Aniche, M., Bruntink, M. & Bacchelli, A., 2018, In : Empirical Software Engineering. p. 1-38 38 p.

    Research output: Contribution to journalArticleScientificpeer-review

  345. Model-Driven Migration of Supervisory Machine Control Architectures

    Graaf, BS., Weber, S. & van Deursen, A., 2008, In : Journal of Systems and Software. 81, p. 517-535 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  346. Model-Driven Web Engineering (MDWE 2008)

    Houben, GJPM., Koch, N. & Vallecillo, A., 2009, In : Lecture Notes in Computer Science. 5421, p. 151-152 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  347. Model-based built-in-tests

    Gross, HG., Schieferdecker, I. & Din, G., 2005, In : Electronic Notes in Theoretical Computer Science. 111, p. 161-182 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  348. Model-based mutant equivalence detection using automata language equivalence and simulations

    Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  349. Modeling CrowdSourcing Scenarios in Socially-Enabled Human Computation Applications

    Bozzon, A., Galli, L., Fraternali, P. & Karam, R., 3 Dec 2013, In : Journal on Data Semantics. 3, 3, p. 169-188 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  350. Modeling of discrete event systems: a holistic and incremental approach using Petri Nets

    Bobeanu, CV., Kerckhoffs, EJH. & Van Landeghem, H., 2004, In : ACM Transactions on Modeling and Computer Simulation. 14, 4, p. 389-423 35 p.

    Research output: Contribution to journalArticleScientificpeer-review

  351. 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: Contribution to journalArticleScientificpeer-review

  352. Models and Methods for Plan Diagnosis

    Roos, N. & Witteveen, C., 2009, In : Autonomous Agents and Multi-Agent Systems. 19, 1, p. 30-52 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  353. Models and Methods for Plan Diagnosis

    Roos, N. & Witteveen, C., 2008, In : Autonomous Agents and Multi-Agent Systems. p. 1-23 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  354. Monitoring Norms: A multi-disciplinary perspective

    Dastani, M., Torroni, P. & Yorke-Smith, N., 2018, In : The Knowledge Engineering Review. 33, p. 1-22 22 p., e25.

    Research output: Contribution to journalArticleScientificpeer-review

  355. Monte-Carlo Localization for Mobile Wireless Sensor Networks

    Baggio, AG. & Langendoen, KG., 2008, In : Ad Hoc Networks. 6, p. 718-733 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  356. Motivated Numeracy and Active Reasoning in a Western European Sample

    Paul Connor Emily Sullivan, M. A. & Tintarev, N., 2020, In : journal of Behavioural Public Policy.

    Research output: Contribution to journalArticleScientificpeer-review

  357. Mtac2: Typed tactics for backward reasoning in Coq

    Kaiser, J-O., Ziliani, B., Krebbers, R., Régis-Gianas, Y. & Dreyer, D., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 78:1-78:31 31 p., 78.

    Research output: Contribution to journalArticleScientificpeer-review

  358. Multi-agent Pareto appointment exchanging in hospital patient scheduling

    Vermeulen, I., Bohte, SM., Somefun, K. & La Poutré, H., 2007, In : Service Oriented Computing and Applications. 1, 3, p. 185-196 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  359. Multi-agent Task Allocation in Social Networks

    de Weerdt, MM., Zhang, Y. & Klos, TB., 2012, In : Autonomous Agents and Multi-Agent Systems. 25, 1, p. 46-86 41 p.

    Research output: Contribution to journalArticleScientificpeer-review

  360. Multi-machine scheduling lower bounds using decision diagrams

    van den Bogaerdt, P. & de Weerdt, M., 2018, In : Operations Research Letters. 46, 6, p. 616-621 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  361. Multi-product lot-sizing with a transportation capacity reservation contract

    van Norden, L. & van de Velde, S., 2005, In : European Journal of Operational Research. 165, 1, p. 127-138 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  362. Music2Share - Copyright-compliant music sharing in P2P systems

    Kalker, T., Epema, DHJ., Hartel, P. H., Lagendijk, RL. & van Steen, M., 2004, In : Institute of Electrical and Electronics Engineers. Proceedings. 92, 6, p. 961-970 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  363. Natural and Flexible Error Recovery for Generated Modular Language Environments

    de Jonge, M., Kats, LCL., Visser, E. & Soederberg, E., 2012, In : ACM Transactions on Programming Languages and Systems. 34, 4, p. 15:1-15:50

    Research output: Contribution to journalArticleScientificpeer-review

  364. Natural and flexible error recovery for generated parsers

    de Jonge, M., Nilsson-Nyman, E., Kats, LCL. & Visser, E., 2010, In : Lecture Notes in Computer Science. 5969, p. 204-223 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  365. Network management abroad

    Hendriks, JCW., Spruit, MEM. & Looijen, M., 2002, In : International Journal of Network Management. 12, p. 303-316 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  366. New Results in Deep-Search Behaviour

    Steenhuisen, JR., 2005, In : ICGA Journal. 28, 4, p. 203-213 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  367. 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: Contribution to journalArticleScientificpeer-review

  368. NixOS: A Purely Functional Linux Distribution

    Dolstra, E. & Löh, A., 2008, In : ACM SIGPLAN Notices. 43, p. 367-378 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  369. NixOS: A Purely Functional Linux Distribution

    Dolstra, E., Löh, A. & Pierron, NB., 2010, In : Journal of Functional Programming.

    Research output: Contribution to journalArticleScientificpeer-review

  370. Not all bugs are the same: Understanding, characterizing, and classifying bug types

    Catolino, G., Palomba, F., Zaidman, A. & Ferrucci, F., 2019, In : Journal of Systems and Software. 152, p. 165-181 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  371. Offshoring: strategische zet of blunder?

    van Solingen, DM. & Gillard, M., 2011, In : Automatisering Gids. November, p. 16-17 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  372. Omgaan met requirements in outsourcingprojecten

    Lormans, M., van Dijk, HW., van Deursen, A. & Nöcker, E., 2005, In : Informatie: maandblad voor informatievoorziening. p. 64-77 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  373. On a comparison of Newton–Raphson solvers for power flow problems

    Sereeter, B., Vuik, C. & Witteveen, C., 2019, In : Journal of Computational and Applied Mathematics. 360, p. 157-169 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  374. On explaining machine learning models by evolving crucial and compact features

    Virgolin, M., Alderliesten, T. & Bosman, P. A. N., 2020, In : Swarm and Evolutionary Computation. 53, p. 1-13 13 p., 100640.

    Research output: Contribution to journalArticleScientificpeer-review

  375. On swarm-level resource allocation in BitTorrent communities

    Vinko, T., Santos, F., Andrade, N. & Capota, M., 2012, In : Optimization and Engineering. April 2012, p. 1-10 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  376. On the Benefit of Processor Co-Allocation in Multicluster Grid Systems

    Sonmez, OO., Mohamed, HH. & Epema, DHJ., 2010, In : IEEE Transactions on Parallel and Distributed Systems. 21, p. 778-789 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  377. On the Impact of Code Smells on the Energy Consumption of Mobile Applications

    Palomba, F., Di Nucci, D., Panichella, A., Zaidman, A. & De Lucia, A., 2019, In : Information and Software Technology. 105, p. 43-55 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  378. On the Synchronization of Computational RFIDs

    Yildirim, K. S., Aantjes, H., Pawelczak, P. & Majid, A. Y., 2019, In : IEEE Transactions on Mobile Computing. 18, 9, p. 2147-2159 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  379. On the admission of dependent flows in powerful sensor networks

    Cohen, R., Nudelman, I. & Polevoy, G., 2013, In : IEEE - ACM Transactions on Networking. 21, 5, p. 1461-1471 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  380. On the diffuseness and the impact on maintainability of code smells: A large scale empirical investigation

    Palomba, F., Bavota, G., Di Penta, M., Fasano, F., Oliveto, R. & De Lucia, A., 7 Aug 2017, In : Empirical Software Engineering. p. 1-34 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  381. On the feasibility of automatically selecting similar patients in highly individualized radiotherapy dose reconstruction for historic data of pediatric cancer survivors

    Virgolin, M., van Dijk, I. W. E. M., Wiersma, J., Ronckers, C. M., Witteveen, C., Bel, A. & Bosman, P. A. N., 2018, In : Medical Physics. 45, 4, p. 1504-1517 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  382. On the impact of group size on collaborative search effectiveness

    Moraes, F., Grashoff, K. & Hauff, C., 2019, In : Information Retrieval Journal. 22, 5, p. 476–498 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  383. On the impact of knowledge extraction and aggregation on crowdsourced annotation of visual artworks

    Oosterman, JEG., Yang, J., Bozzon, A., Aroyo, L. & Houben, GJPM., 2015, In : Computer Networks. 90, p. 133-149 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  384. On the merits and pitfalls of introducing a digital platform to aid conservation management: Volunteer data submission and the mediating role of volunteer coordinators

    Arts, K., Melero, Y., Webster, G., Sharma, N., Tintarev, N., Tait, E., Mellish, C., Sripada, S., MacMaster, A-M. & Sutherland, H., 2020, In : Journal of Environmental Management. 265, p. 110497

    Research output: Contribution to journalArticleScientificpeer-review

  385. On the performance of method-level bug prediction: A negative result

    Pascarella, L., Palomba, F. & Bacchelli, A., 2020, In : Journal of Systems and Software. 161, p. 1-15 15 p., 110493.

    Research output: Contribution to journalArticleScientificpeer-review

  386. 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: Contribution to journalArticleScientificpeer-review

  387. On the relationship between workflow models and document types

    van Hee, K., Hidders, AJH., Houben, GJPM., Paredaens, J. & Thiran, P., 2009, In : Information Systems: databases: their creation, management and utilization. 34, 1, p. 178-208 31 p.

    Research output: Contribution to journalArticleScientificpeer-review

  388. On the systematic conformance check of software artefacts

    van Dijk, HW., Graaf, BS. & Boerman, BN., 2005, In : Lecture Notes in Computer Science. p. 203-221 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  389. On the use of clone detection for identifying crosscutting concern code

    Bruntink, M., van Deursen, A., van Engelen, R. & Tourwe, T., 2005, In : IEEE Transactions on Software Engineering. 31, 10, p. 804-817 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  390. Opal: A Multi-radio Platform for High Throughput Wireless Sensor Networks

    Jurdak, R., Klues, K., Kusy, B., Richter, C., Langendoen, KG. & Brunig, M., 2011, In : IEEE Embedded System Letters. 3, 4, p. 121-124 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  391. 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: Contribution to journalArticleScientificpeer-review

  392. Opportunities and Challenges in using Energy-harvesting for NB-IoT

    Haridas, A., Rao, V. S., Prasad, R. V. & Sarkar, C., 2018, In : SIGBED Review. 15, 5, p. 1-7 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  393. Optimized video streaming over 802.11 by cross-layer signaling

    Haratcherev, IJ., Taal, JR., Langendoen, KG., Lagendijk, RL. & Sips, HJ., 2006, In : IEEE Communications Magazine. 44, 1, p. 115-121 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  394. Orbital Stark effect and quantum confinement transition of donors in silicon

    Rahman, R., Lansbergen, GP., Park, SH., Verduijn, J., Klimeck, G., Rogge, S. & Hollenberg, L. C. L., 2009, In : Physical Review B (Condensed Matter and Materials Physics). 80, 16, p. 165314-1-165314-10

    Research output: Contribution to journalArticleScientificpeer-review

  395. Order Acceptance and Scheduling with Sequence-Dependent Setup Times: A new memetic algorithm and benchmark of the state of the art

    He, L., Guijt, A., de Weerdt, M., Xing, L. & Yorke-Smith, N., 2019, In : Computers and Industrial Engineering. 138, p. 1-15 15 p., 106102.

    Research output: Contribution to journalArticleScientificpeer-review

  396. Outdoor long-range WLANs: A lesson for IEEE 802.11ah

    Austen, S., Venkatesha Prasad, RR. & Niemegeers, IGMM., 2015, In : IEEE Communications Surveys and Tutorials. 17, 3, p. 1761-1775 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  397. 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, p. 1-31 31 p., 9.

    Research output: Contribution to journalArticleScientificpeer-review

  398. POGGI: Generating Puzzle Instances for Online Games on Grid Infrastructures

    Iosup, A., 2010, In : Concurrency and Computation: Practice & Experience. 99, p. 1-16 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  399. Parallel Application Characterization with Quantitative Metrics

    van Amesfoort, AS., Varbanescu, AL. & Sips, HJ., 2012, In : Concurrency and Computation: Practice & Experience. 24, 5, p. 445-462 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  400. Parse Table Composition

    Bravenboer, M. & Visser, E., 2009, In : Lecture Notes in Computer Science. March, p. 74-94 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  401. Passengers information in public transport and privacy: Can anonymous tickets prevent tracking?

    Avoine, G., Calderoni, L., Delvaux, J., Maio, D. & Palmieri, P., 2014, In : International Journal of Information Management. 34, 5, p. 682-688 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  402. Performance Analysis of Cloud Computing Services for Many-Tasks Scientific Computing

    Iosup, A., Ostermann, S., Yigitbasi, MN., Prodan, R., Fahringer, T. & Epema, DHJ., 2011, In : IEEE Transactions on Parallel and Distributed Systems. 22, 6, p. 931-945 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  403. Performance Analysis of Cloud Computing Services for Many-Tasks Scientific Computing

    Iosup, A., Ostermann, S., Yigitbasi, MN., Prodan, R., Fahringer, T. & Epema, DHJ., 2010, In : IEEE Transactions on Parallel and Distributed Systems. p. 1-16 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  404. Performance Evaluation of WebRTC-based video conferencing

    Jansen, B., Goodwin, T., Gupta, V., Kuipers, F. & Zussman, G., 2017, In : ACM SIGMETRICS Performance Evaluation Review. 45, 3, p. 56-68 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  405. Performance Implications of Synchronization Structure in Parallel Programming

    Gonzalez Escribano, A., Cardenoso Payo, V. & van Gemund, AJC., 2009, In : Parallel Computing. 35, 8-9, p. 455-474 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  406. Performance Testing of Data Delivery Techniques for Ajax Applications

    Bozdag, VE., Mesbah, A. & van Deursen, A., 2009, In : Journal of Web Engineering. 8, 4, p. 287-315 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  407. Performance analysis of multi-stage interconnection networks with deterministic service times

    Reijns, GL., van Gemund, AJC. & Gautama, H., 2001, In : Parallel Processing Letters. 11, 1, p. 109-123 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  408. Personalization on a peer-to-peer television system

    Wang, J., Pouwelse, JA., Fokker, JE., de Vries, AP. & Reinders, MJT., 2007, In : Multimedia Tools and Applications. 36, 1-2, p. 89-113 25 p.

    Research output: Contribution to journalArticleScientificpeer-review

  409. Pirates and Samaritans: A decade of measurements on peer production and their implications for net neutrality and copyright

    Pouwelse, JA., Garbacki, PJ., Epema, DHJ. & Sips, HJ., 2008, In : Telecommunications Policy. 32, p. 701-712 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  410. Plan Decoupling of Agents with Qualitatively Constrained Tasks

    Steenhuisen, JR. & Witteveen, C., 2009, In : Multiagent and Grid Systems. 5, 4, p. 357-371 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  411. Plan coordination by revision in collective agent based systems

    Tonino, JFM., Bos, A., de Weerdt, MM. & Witteveen, C., 2002, In : Artificial Intelligence. 142, p. 121-145 25 p.

    Research output: Contribution to journalArticleScientificpeer-review

  412. Plan coordination by revision in collective agent based systems

    Tonino, JFM., Bos, A., de Weerdt, MM. & Witteveen, C., 2002, In : Artificial Intelligence. 142, 2, p. 121-145 25 p.

    Research output: Contribution to journalArticleScientificpeer-review

  413. Planning of cellular networks enhanced by energy harvesting

    Zheng, M., Pawelczak, P., Stanczak, S. & Yu (ext), H., 2013, In : IEEE Communications Letters. 17, 6, p. 1092-1095 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  414. Plasmonic Hybridization Induced Trapping and Manipulation of a Single Au Nanowire on a Metallic Surface

    Zhang, Y., Wang, J., Shen, J., Man, Z., Min, C., Zhu, S., Urbach, HP. & Yuan, X-C., 2014, In : Nano Letters: a journal dedicated to nanoscience and nanotechnology. 14, 11, p. 6430-6436 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  415. Point-Based Value Iteration for Finite-Horizon POMDPs

    Walraven, E. & Spaan, M. T. J., 2019, In : The Journal of Artificial Intelligence Research. 65, p. 307-341 35 p.

    Research output: Contribution to journalArticleScientificpeer-review

  416. Post-processing in wireless sensor networks: Benchmarking sensor trace files for in-network data aggregation

    Theodoridis, E., Chatzigiannakis, I. & Dulman, SO., 2012, In : Journal of Network and Computer Applications. 35, 2, p. 548-561 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  417. Practical Considerations for Wireless Sensor Network Algorithms

    Halkes, GP. & Langendoen, KG., 2010, In : Wireless Sensor Network. 2, 6, p. 441-446 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  418. Practical detection of CMS plugin conflicts in large plugin sets

    Lima, I., Cândido, J. & d'Amorim, M., 1 Feb 2020, In : Information and Software Technology. 118, p. 1-13 13 p., 106212.

    Research output: Contribution to journalArticleScientificpeer-review

  419. Predicate diagrams for the verification of real-time systems

    Kang, EY. & Merz, S., 2006, In : Electronic Notes in Theoretical Computer Science. 145, p. 151-165 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  420. Predicting the execution times of parallel-independent programs using Pearson distributions

    Reijns, GL. & van Gemund, AJC., 2005, In : Parallel Computing. 31, 8-9, p. 877-899 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  421. Preface to the Special Issue on Reverse Engineering (featuring selected papers from WCRE 2009)

    Zaidman, AE. & Antoniol, G., 2012, In : Science of Computer Programming. 77, 6, p. 741-742 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  422. Preface to the Special Issue on Software Evolution, Adaptability and Variability

    Zaidman, AE. & Brichau, J., 2011, In : Science of Computer Programming. 76, 12, p. 1075-1077 3 p.

    Research output: Contribution to journalArticleScientificpeer-review

  423. Preventing injection attacks with syntax embeddings

    Bravenboer, M., Dolstra, E. & Visser, E., 2010, In : Science of Computer Programming. 75, 7, p. 473-495 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  424. Primary and secondary diagnosis of multi-agent plan execution

    de Jonge, F., Roos, N. & Witteveen, C., 2008, In : Autonomous Agents and Multi-Agent Systems. 18, 2, p. 267-294 28 p.

    Research output: Contribution to journalArticleScientificpeer-review

  425. Primary user traffic classification in dynamic spectrum access networks

    Liu, C-H., Pawelczak, P. & Cabric, D., 2014, In : IEEE Journal on Selected Areas in Communications. 32, 11, p. 2237-2251 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  426. Prioritized Planning Algorithms for Trajectory Coordination of Multiple Mobile Robots

    Cap, M., Novak, P., Kleiner, A., Selecky, M. & Pechoucek, M., 2015, In : IEEE Transactions on Automation Science and Engineering. 12, 3, p. 835 - 849

    Research output: Contribution to journalArticleScientificpeer-review

  427. Prioritizing Tests for Software Fault Localization

    Gonzalez Sanchez, A., Piel, EAB., Lima Maranhao De Abreu, RF., Gross, HG. & van Gemund, AJC., 2011, In : Software: Practice and Experience. 41, 10, p. 1105-1129 25 p.

    Research output: Contribution to journalArticleScientificpeer-review

  428. Procedural content generation for games: A survey

    Hendrikx, MJC., Meijer, SJJ., van der Velden, J. & Iosup, A., 2013, In : ACM Transactions on Multimedia Computing Communications and Applications. 9, 1, p. 1-22 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  429. Program equilibrium¿a program reasoning approach

    van der Hoek, W., Witteveen, C. & Wooldridge, M., 2013, In : International Journal of Game Theory. 42, 3, p. 639-671 33 p.

    Research output: Contribution to journalArticleScientificpeer-review

  430. Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing

    Kats, LCL., de Jonge, M., Nilsson-Nyman, E. & Visser, E., 2009, In : ACM SIGPLAN Notices. 44, 10, p. 445-464 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  431. Qualitative one-to-many multi-Issue negotiation: Approximating the QVA

    Hindriks, KV., Tykhonov, D. & de Weerdt, MM., 2012, In : Group Decision and Negotiation. 21, 1, p. 49-77 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  432. 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: Contribution to journalArticleScientificpeer-review

  433. Realizing service migration in industry¿lessons learned

    Nasr, KA., Gross, HG. & van Deursen, A., 2013, In : Journal of Software: Evolution and Process. 25, 6, p. 639-661 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  434. Recognition of car license plates using a neocognitron type of artificial neural network

    Cornet, B. & Rothkrantz, LJM., 2003, In : Neural Network World: international journal on non-standard computing and artificial intelligence. 13, 2, p. 115-132 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  435. Recommending venues using continuous predictive social media analytics

    Balduini, M., Bozzon, A., Della Valle, E., Huang, Y. & Houben, GJPM., 2014, In : IEEE Internet Computing. 18, 5, p. 28-35 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  436. Reducing the Variability of Neural Responses: A Computational Theory of Spike-Timing-Dependent Plasticity

    Bohte, SM. & Mozer, MC., 2007, In : Neural Computation. 19, p. 371-403 33 p.

    Research output: Contribution to journalArticleScientificpeer-review

  437. Regionalization of Social Interactions and Points-of-Interest Location Prediction with Geosocial Data

    Psyllidis, A., Yang, J. & Bozzon, A., 2018, In : IEEE Access. 6, p. 34334-34353 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  438. Reincarnation in the ambiance: Devices and networks with energy harvesting

    Venkatesha Prasad, RR., Devasenapathy, S., Sathyanarayana Rao, V. & Vazifehdan, J., 2014, In : IEEE Communications Surveys and Tutorials. 16, 1, p. 195-213 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  439. Reliability Analysis of Hierarchical Systems using Statistical Moments

    Reijns, GL. & van Gemund, AJC., 2007, In : IEEE Transactions on Reliability. 56, p. 1-8 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  440. Reliability Analysis of k-out-of-n Systems with Cold Standby

    van Gemund, AJC. & Reijns, GL., 2012, In : IEEE Transactions on Reliability. 61, 2, p. 526-532 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  441. Reliable and fast hand-offs in low-power wireless networks

    Fotouhi, H., Alves, M., Zamalloa, M. Z. & Koubâa, A., 1 Nov 2014, In : IEEE Transactions on Mobile Computing. 13, 11, p. 2620-2633 14 p., 6747331.

    Research output: Contribution to journalArticleScientificpeer-review

  442. Report on the Tenth ICFP Programming Contest

    Dolstra, E., Hage, J., Heeren, B., Holdermans, S., Jeuring, J., Löh, A., Löh, C., Middelkoop, A., Rodriguez, A. & van Schie, J., 2008, In : ACM SIGPLAN Notices. 43, p. 397-408 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  443. Reusing the Assignment Trail in CDCL Solvers

    van der Tak, P., Ramos, A. & Heule, MJH., 2011, In : Journal on Satisfiability, Boolean Modeling and Computation. 7, p. 133-138 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  444. 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: Contribution to journalArticleScientificpeer-review

  445. Role of environmental interaction in interdisciplinary thinking: From knowledge resources perspectives

    Tan, E. & So, H-J., 2019, In : Journal of Environmental Education. 50, 2, p. 113-130 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  446. Round-trip iterative business process modelling between BPA and BPMS tools

    Cheung, MYS. & Hidders, AJH., 2011, In : Business Process Management Journal. 17, 3, p. 461-494 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  447. 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: Contribution to journalArticleScientificpeer-review

  448. SANOM-HOBBIT: Simulated annealing-based ontology matching on HOBBIT platform

    Mohammadi, M., Hofman, W. & Tan, Y. H., 2020, In : Knowledge Engineering Review. 35, e13.

    Research output: Contribution to journalArticleScientificpeer-review

  449. SEAT: Secure Energy-Efficient Automated Public Transport Ticketing System

    Sarkar, C., Treurniet, J. J., Narayana, S., Prasad, R. V. & de Boer, W., 2018, In : IEEE Transactions on Green Communications and Networking. 2, 1, p. 222-233 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  450. Safe Distributed Control of Wireless Power Transfer Networks

    Yildirim, K. S., Carli, R. & Schenato, L., 2019, In : IEEE Internet of Things Journal. 6, 1, p. 1267-1275 9 p., 8309352.

    Research output: Contribution to journalArticleScientificpeer-review

  451. Safe and Secure Wireless Power Transfer Networks: Challenges and Opportunities in RF-Based Systems

    Liu, Q., Yildirim, K. S., Pawelczak, P. & Warnier, M., 16 Sep 2016, In : IEEE Communications Magazine. 54, 9, p. 74-79 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  452. Scaling Effective Learning Strategies: Retrieval Practice and Long-Term Knowledge Retention in MOOCs

    Davis, D., Kizilcec, R. F., Hauff, C. & Houben, G-J., 2018, In : Journal of Learning Analytics. 5, 3, p. 21-41 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  453. Scheduling Policies for Processor Co-Allocation in Multicluster Systems

    Bucur, AID. & Epema, DHJ., 2007, In : IEEE Transactions on Parallel and Distributed Systems. 18, p. 958-972 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  454. Scopes as Types

    van Antwerpen, H., Bach Poulsen, C., Rouvoet, A. & Visser, E., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-30 30 p., 114.

    Research output: Contribution to journalArticleScientificpeer-review

  455. Search Behavior of Media Professionals at an Audiovisual Archive: A Transaction Log Analysis

    Huurnink, B., Hollink, L., van den Heuvel, W. & Rijke, M., 2010, In : American Society for Information Science and Technology. Journal. 61, 6, p. 1180-1197 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  456. Search-Based Crash Reproduction and Its Impact on Debugging

    Soltani, M., Panichella, A. & van Deursen, A., 2019, In : IEEE Transactions on Software Engineering. p. 1-24 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  457. Search-based crash reproduction using behavioural model seeding

    Derakhshanfar, P., Devroey, X., Perrouin, G., Zaidman, A. & van Deursen, A., 12 Apr 2020, In : Software Testing, Verification and Reliability. 30, 3, 28 p., e1733.

    Research output: Contribution to journalArticleScientificpeer-review

  458. Search-based multi-vulnerability Testing of XML injections in web applications

    Jan, S., Panichella, A., Arcuri, A. & Briand, L., 2019, In : Empirical Software Engineering. 24, 6, p. 3696-3729 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  459. Self modelling knowledge networks

    Derballa, V. & Albani, A., 2005, In : Lecture Notes in Computer Science. 3762, p. 592-601 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  460. Self-Expressive Management of Business-Critical Workloads in Virtualized Datacenters

    van Beek, V., Donkervliet, J., Hegeman, T., Hugtenburg, S. & Iosup:, A., 2015, In : Computer (New York). 48, 7, p. 46-54 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  461. Self-certification and trust in component procurement

    Gross, HG., Melideo, M. & Sillitti, A., 2005, In : Science of Computer Programming. 56, 1-2, p. 141-156 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  462. 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: Contribution to journalArticleScientificpeer-review

  463. Sensitivity of dose-volume indices to computation settings in high-dose-rate prostate brachytherapy treatment plan evaluation

    van der Meer, M. C., Bosman, P. A. N., Pieters, B. R., Niatsetski, Y., van Wieringen, N., Alderliesten, T. & Bel, A., 2019, In : Journal of Applied Clinical Medical Physics. 20, 4, p. 66-74 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  464. 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: Contribution to journalArticleScientificpeer-review

  465. Separation of Concerns and Linguistic Integration in WebDSL

    Groenewegen, DM., Hemel, Z. & Visser, E., 2010, In : IEEE Software. 27, 5, p. 31-37 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  466. Serverless is More: From PaaS to Present Cloud Computing

    Van Eyk, E., Toader, L., Talluri, S., Versluis, L., Uta, A. & Iosup, A., 2018, In : IEEE Internet Computing. 22, 5, p. 8-17 10 p., 8481652.

    Research output: Contribution to journalArticleScientificpeer-review

  467. Service Knowledge Discovery in Smart Machine Networks

    Durmus, Y. & Onur, E., 2015, In : Wireless Personal Communications. 81, 4, p. 1455-1480 26 p.

    Research output: Contribution to journalArticleScientificpeer-review

  468. Sifting useful comments from Flickr Commons and YouTube

    Momeni, E., Haslhofer, B., Tao, K. & Houben, G. J., Jun 2015, In : International Journal on Digital Libraries. 16, 2, p. 161-179 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  469. Signaling competition and social welfare

    Polevoy, G., Smorodinsky, R. & Tennenholtz, M., 1 Mar 2014, In : ACM Transactions on Economics and Computation. 2, 1, p. 1-16 16 p., 1.

    Research output: Contribution to journalArticleScientificpeer-review

  470. Simulating Circuit-Level Simplifications on CNF

    Järvisalo, M., Biere, A. & Heule, MJH., 2012, In : Journal of Automated Reasoning. 49, 4, p. 583-619 37 p.

    Research output: Contribution to journalArticleScientificpeer-review

  471. Simultaneous Debugging of Software Faults

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2011, In : Journal of Systems and Software. 84, 4, p. 573-586 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  472. Sleep scheduling for unbalanced energy harvesting in industrial wireless sensor networks

    Mukherjee, M., Shu, L., Venkatesha Prasad, R., Wang, D. & Hancke, G. P., 2019, In : IEEE Communications Magazine. 57, 2, p. 108-115 8 p., 8626086.

    Research output: Contribution to journalArticleScientificpeer-review

  473. SlimML: Removing Non- critical Input Data in Large-scale Iterative Machine Learning

    Han, R., Liu, C. H., Li, S., Chen, L., Wang, G., Tang, J. & Ye, J., Apr 2019, In : IEEE Transactions on Knowledge and Data Engineering. 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

    Dhiratara, A., Yang, J., Bozzon, A. & Houben, G. J., 2016, In : CEUR Workshop Proceedings. 1748, p. 1-12 12 p., 12.

    Research output: Contribution to journalArticleScientificpeer-review

  475. Socializing by Gaming: Revealing Social Relationships in Multiplayer Online Games

    Jia, A., Shen, S., van de Bovenkamp, R., Iosup, A., Kuipers, F. & Epema, D., Oct 2015, In : ACM Transactions on Knowledge Discovery from Data. 10, 2, p. 11:1-11:29 29 p., 11.

    Research output: Contribution to journalArticleScientificpeer-review

  476. Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

    van Katwijk, J., de Rooij, RCM., Stuurman, S. & Toetenel, WJ., 2000, In : Parallel and Distributed Computing Practices. 2, 1, p. 73-88 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  477. Software meta-language engineering and CBS

    Mosses, P. D., 30 Jan 2019, In : Journal of Computer Languages. 50, p. 39-48 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  478. Software model synthesis using satisfiability solvers

    Heule, MJH. & Verwer, SE., 2013, In : Empirical Software Engineering. 18, 4, p. 825-856 32 p.

    Research output: Contribution to journalArticleScientificpeer-review

  479. Software reverse engineering

    van Deursen, A. & Burd, E., 2005, In : Journal of Systems and Software. 77, 3, p. 1-4 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  480. Sound Type-Dependent Syntactic Language Extension

    Lorenzen, F. & Erdweg, S., 2016, In : ACM SIGPLAN Notices. 51, 1, p. 204-216 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  481. Source model analysis using the JJtraveler visitor combinator framework

    van Deursen, A. & Visser, M., 2004, In : Software: Practice and Experience. 34, 14, p. 1345-1379 35 p.

    Research output: Contribution to journalArticleScientificpeer-review

  482. Spar: a set of extensions to java for scientific computation

    van Reeuwijk, C., Kuijlman, F. & Sips, HJ., 2003, In : Concurrency and Computation: Practice & Experience. 15, 3-5, p. 277-297 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  483. Special Issue on Source Code Analysis and Manipulation (SCAM 2006)

    Penta, M. D. & Moonen, LMF., 2007, In : Journal of Software Maintenance and Evolution: research and practice. 19, p. 203-204 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  484. Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007)

    Ramalingam, G. & Visser, E., 2011, In : Science of Computer Programming. 76, 6, p. 467-468 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  485. Speci¿cation of personalization in web application design

    Garrigos, I., Gomez, J. & Houben, GJPM., 2010, In : Information and Software Technology. 52, 9, p. 991-1010 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  486. Spectrum- and energy-efficient D2DWRAN

    Shi, HZ., Venkatesha Prasad, RR., Sathyanarayana Rao, V., Niemegeers, IGMM. & Xu, M., 2014, In : IEEE Communications Magazine. 52, 7, p. 38-45 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  487. Spicing Up Dart with Side Effects: A set of extensions to the Dart programming language, designed to support asynchrony and generator functions

    Meijer, E., Millikin, K. & Bracha, G., 1 Mar 2015, In : ACM Queue: tomorrow's computing today. 13, 3, p. 40:40-40:59 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  488. Splitting a Large Software Repository for Easing Future Software Evolution -- An Industrial Experience Report

    Glorie, M., Zaidman, AE., van Deursen, A. & Hofland, L., 2009, In : Journal of Software Maintenance and Evolution: research and practice. 21, 2, p. 113-141 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  489. Stability and Decentralized Control of Plug-and-Play DC Distribution Grids

    van der Blij, N. H., Ramirez-Elizondo, L. M., Spaan, M. T. J. & Bauer, P., 2018, In : IEEE Access. 6, p. 63726-63736 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  490. 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: Contribution to journalArticleScientificpeer-review

  491. Standard metadata applied to software retrieval

    Gonzales, R. & van der Meer, K., 2004, In : Journal of Information Science. 30, 4, p. 300-309 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  492. Static Consistency Checking of Web Applications with WebDSL

    Hemel, Z., Groenewegen, DM., Kats, LCL. & Visser, E., 2011, In : Journal of Symbolic Computation. 46, 2, p. 150-182 33 p.

    Research output: Contribution to journalArticleScientificpeer-review

  493. Stratego/XT 0.17. A Language and Toolset for Program Transformation

    Bravenboer, M., Kalleberg, K. T., Vermaas, R. & Visser, E., 2008, In : Science of Computer Programming. 72, p. 52-70 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  494. Strategy-proof contract auctions and the role of ties

    de Weerdt, MM., Harrenstein, P. & Conitzer, V., 2014, In : Games and Economic Behavior. 86, p. 405-420 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  495. Studying the co-evolution of production and test code in open source and industrial developer test processes through repository mining

    Zaidman, AE., Rompaey, B. V., van Deursen, A. & Demeyer, S., 2011, In : Empirical Software Engineering. 16, 3, p. 325-364 40 p.

    Research output: Contribution to journalArticleScientificpeer-review

  496. Sub-pixel classification of the Sahelian Wetlands environment

    Verhoeye, JAC., Vancoillie, FMB., Nishimura, DJH., de Wulf, RR. & Kerckhoffs, EJH., 2001, In : South African Journal of Surveying and Geo-Information. 1, 5&6, p. 282-289 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  497. Sums of squares based approximation algorithms for MAX-SAT

    van Maaren, H., van Norden, L. & Heule, MJH., 2008, In : Discrete Applied Mathematics. 156, p. 1754-1779 26 p.

    Research output: Contribution to journalArticleScientificpeer-review

  498. Supporting Self-Regulated Learning in Online Learning Environments and MOOCs: A Systematic Review

    Wong, J., Baars, M., Davis, D., Van Der Zee, T., Houben, G. J. & Paas, F., 2019, In : International Journal of Human-Computer Interaction. 35, 4-5, p. 356-373 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  499. Symbolic performance estimation of speculative parallel programs

    Gautama, H. & van Gemund, AJC., 2003, In : Parallel Processing Letters. 13, 4, p. 513-524 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  500. Symbolic performance modeling of parallel systems

    van Gemund, AJC., 2003, In : IEEE Transactions on Parallel and Distributed Systems. 14, 2, p. 154-165 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  501. Symmetrical Component Decomposition of 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, 3, p. 2733-2741 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  502. Symmetry in gardens of Eden

    Hartman, C., Heule, MJH., Kwekkeboom, K. & Noels, A., 2013, In : The Electronic Journal of Combinatorics. 20, 3, p. 1-19 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 3 4 5 6 7 Next

ID: 18282