1. Article
  2. 'U doet dus iets met computers': het benoemen van IT-functies en -bedrijven is vaak een groot probleem

    Mulder, J. B. F. & Dietz, J. L. G. 1999 In : Automatisering Gids. 35, p. 19-19 1 p.

    Research output: ProfessionalArticle

  3. 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: Scientific - peer-reviewArticle

  4. 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: Scientific - peer-reviewArticle

  5. A Controlled Experiment for Program Comprehension through Trace Visualization

    Cornelissen, S. G. M., Zaidman, A. E. & van Deursen, A. 2011 In : IEEE Transactions on Software Engineering. 37, 3, p. 341-355 15 p.

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

  7. 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: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

  9. A Lightweight Sanity Check for Implemented Architectures

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

    Research output: Scientific - peer-reviewArticle

  10. 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: Scientific - peer-reviewArticle

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

    Fan, X. J., Zhou, J., Zhang, G. Q. & Ernst, L. J. 2005 In : Journal of Electronic Packaging. 127, p. 262-267 6 p.

    Research output: Scientific - peer-reviewArticle

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

    Feldman, A. B., Provan, G. & van Gemund, A. J. C. 2010 In : The Journal of Artificial Intelligence Research. 39, p. 301-334 34 p.

    Research output: Scientific - peer-reviewArticle

  13. A Model-Based Approach to Sequential Fault Diagnosis

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

    Research output: Scientific - peer-reviewArticle

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

    Erdweg, S. & Ostermann, K. 2017 In : Programming Journal. 1, 2, 9 p.

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

  16. A Pure Object-Oriented Embedding of Attribute Grammars

    Sloane, A. M., Kats, L. C. L. & Visser, E. 2010 In : Electronic Notes in Theoretical Computer Science. 253, 7, p. 205-219 15 p.

    Research output: Scientific - peer-reviewArticle

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

    Gonzalez Sanchez, A., Piel, E. A. B., Gross, H. G. & van Gemund, A. J. C. 2011 In : International Journal on Advances in Systems and Measurements. 4, 1&2, p. 122-134 13 p.

    Research output: Scientific - peer-reviewArticle

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

    van der Blij, N. H., Ramirez-Elizondo, L. M., Spaan, M. & Bauer, P. 2017 In : IEEE Transactions on Power Systems.

    Research output: Scientific - peer-reviewArticle

  19. 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: Scientific - peer-reviewArticle

  20. A Systematic Survey of Program Comprehension through Dynamic Analysis

    Cornelissen, S. G. M., Zaidman, A. E., van Deursen, A., Moonen, L. M. F. & Koschke, R. 2009 In : IEEE Transactions on Software Engineering. 35, 5, p. 684-702 19 p.

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

  22. A dynamic co-allocation service in multicaster systems

    Sinaga, J. M. P., Mohamed, H. H. & Epema, D. H. J. 2005 In : Lecture Notes in Computer Science. 3277, p. 194-209 16 p.

    Research output: Scientific - peer-reviewArticle

  23. A flexible architecture for privacy-aware trust management

    Böhm, K., Etalle, S., Hartog, J. D., Hütter, C., Trabelsi, S., Trivellato, D. & Zannone, N. 2010 In : Journal of Theoretical and Applied Electronic Commerce Research. 5, 2, p. 77-96 20 p.

    Research output: Scientific - peer-reviewArticle

  24. A formal semantics for the Taverna 2 workflow model

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

    Research output: Scientific - peer-reviewArticle

  25. 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: Scientific - peer-reviewArticle

  26. 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: Scientific - peer-reviewArticle

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

    Tange, H. J., Dietz, J. L. G., Hasman, A. & de Vries Robbe, P. F. 2003 In : Methods of Information in Medicine: journal of methodology in medical research, information and documentation. 42, p. 203-211 9 p.

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

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

    Banen, S., Bucur, A. I. D. & Epema, D. H. J. 2003 In : Lecture Notes in Computer Science. 2862, 13, p. 105-128 24 p.

    Research output: Scientific - peer-reviewArticle

  30. 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: Scientific - peer-reviewArticle

  31. A note on rigour and replicability

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

    Research output: Scientific - peer-reviewArticle

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

    Marconi, T., Bertels, K. L. M. & Gaydadjiev, G. N. 2014 In : International Journal of Electronics. 101, 6, p. 731-762 32 p.

    Research output: Scientific - peer-reviewArticle

  33. A practical evaluation of spectrum-based fault localization

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

    Research output: Scientific - peer-reviewArticle

  34. 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, A. R. D., Reynisson, J., Singhal, N., Cabo, A. J., de Jonge, M. & van der Hoek, J. P. Nov 2015 In : Journal of Hazardous Materials. 304, March, p. 502-511 10 p.

    Research output: Scientific - peer-reviewArticle

  35. A pure embedding of attribute grammars

    Sloane, A. M., Kats, L. C. L. & Visser, E. 2013 In : Science of Computer Programming. 78, 10, p. 1752-1769 18 p.

    Research output: Scientific - peer-reviewArticle

  36. A reference model for reputation systems

    Vavilis, S., Petković, M. & Zannone, N. 2014 In : Decision Support Systems. 61, 1, p. 147-154 8 p.

    Research output: Scientific - peer-reviewArticle

  37. A resource based framework for planning and replanning

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

    Research output: Scientific - peer-reviewArticle

  38. A resource logic for multi-agent plan merging

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

    Research output: Scientific - peer-reviewArticle

  39. A resource logic for multi-agent plan merging

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

    Research output: Scientific - peer-reviewArticle

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

    van Steen, M., Tanenbaum, A. S., Kuz, I. & Sips, H. J. 1999 In : Distributed Systems Engineering. 6, p. 34-42 9 p.

    Research output: Scientific - peer-reviewArticle

  41. A semantic security framework for systems of systems

    Trivellato, D., Zannone, N., Glaundrup, M., Skowronek, J. & Etalle, S. Mar 2013 In : International Journal of Cooperative Information Systems. 22, 1, 1350004

    Research output: Scientific - peer-reviewArticle

  42. A severity-based quantification of data leakages in database systems

    Vavilis, S., Petković, M. & Zannone, N. 1 Jun 2016 In : Journal of Computer Security. 24, 3, p. 321-345 25 p.

    Research output: Scientific - peer-reviewArticle

  43. 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: Scientific - peer-reviewArticle

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

    Houben, G. J. P. M. 2008 In : International Journal of Web Information Systems. 4, 3, p. 234-305 72 p.

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

  46. A vulnerability-centric requirements engineering framework: Analyzing security attacks, countermeasures, and requirements based on vulnerabilities

    Elahi, G., Yu, E. & Zannone, N. Mar 2010 In : Requirements Engineering. 15, 1, p. 41-62 22 p.

    Research output: Scientific - peer-reviewArticle

  47. 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: ScientificArticle

  48. A world ontology specification language

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

    Research output: Scientific - peer-reviewArticle

  49. APD tool: Mining anomalous patterns from event logs

    Genga, L., Alizadeh, M., Potena, D., Diamantini, C. & Zannone, N. 2017 In : Ceur Workshop Proceedings. 1920

    Research output: Scientific - peer-reviewArticle

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

    Pruteanu, A. S. & Dulman, S. O. 2012 In : Computing. 94, 8, p. 811-832 22 p.

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

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