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

  3. Ant based routing algorithms

    Rothkrantz, L. J. M., Wojdel, J. C., Wojdel, A. W. & 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: ScientificArticle

  4. Approach for component-based software specification

    Shishkov, B. B. & Dietz, J. L. G. 2003 In : LADIS International Journal On Www/Internet. 1, 1, p. 1-14 14 p.

    Research output: ScientificArticle

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

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

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

    Research output: ScientificArticle

  7. Automatic speech recognition using recurrent neural networks

    Rothkrantz, L. J. M. & 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: ScientificArticle

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

    van Coillie, F. M. B., de Wulf, R. R. & Kerckhoffs, E. J. H. 1999 In : South African Journal of Surveying and Geo-Information. 1, 2, p. 65-74 10 p.

    Research output: ScientificArticle

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

  10. Edge-centric Computing: Vision and Challenges

    Lopez, P. G., Montresor, A., Epema, D., Datta, A., Higashino, T., Iamnitchi, A., Barcellos, M., Felber, P. & Riviere, E. 1 Oct 2015 In : SIGCOMM Computer Communication Reviews. 45, 5

    Research output: ScientificArticle

  11. Expert system for automatic analysis of facial expressions

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

    Research output: ScientificArticle

  12. Extentions to the modula-2 language

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

    Research output: ScientificArticle

  13. Guest Editorial: reverse engineering

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

    Research output: ScientificArticle

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

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

    Research output: ScientificArticle

  15. Knowledge elicitation of Gompertz' law of mortality

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

    Research output: ScientificArticle

  16. Linear systems and associated problems

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

    Research output: ScientificArticle

  17. Methodology engineering for product development process modelling

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

    Research output: ScientificArticle

  18. Monte-Carlo Localization for Mobile Wireless Sensor Networks

    Baggio, A. G. & Langendoen, K. G. 2008 In : Ad Hoc Networks. 6, p. 718-733 16 p.

    Research output: ScientificArticle

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

  20. Parametric real-time model checking using splitting trees

    Lutje Spelberg, R. F. & Toetenel, W. J. 2001 In : Nordic Journal of Computing. 8, p. 88-120 33 p.

    Research output: ScientificArticle

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

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

    Research output: ScientificArticle

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

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

    Research output: ScientificArticle

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

  24. Specification of real-time systems in UML

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

    Research output: ScientificArticle

  25. The Third Rewrite Engines Competition

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

    Research output: ScientificArticle

  26. The distributed ASCI supercomputer project

    Bal, H. E., van Gemund, A. J. C. & Radulescu, A. 2000 In : Operating Systems Review. 34, 4, p. 76-96 21 p.

    Research output: ScientificArticle

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

    Kerckhoffs, E. J. H. & Water, P. R. 2000 In : Neural Network World: international journal on non-standard computing and artificial intelligence. 3, p. 321-332 12 p.

    Research output: ScientificArticle

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

  29. XChange: A Generic Blockchain Mechanism for Trading at Scale

    de Vos, M. & Pouwelse, J. 2018 In : Unknown.

    Research output: ScientificArticle

  30. Article › Scientific › Peer-reviewed
  31. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    van der Blij, N. H., Ramirez-Elizondo, L. M., Spaan, M. T. J. & Bauer, P. 2018 In : IEEE Transactions on Power Systems. 33, 1, p. 943-950 8 p.

    Research output: Scientific - peer-reviewArticle

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

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

    Zhu, Q., Panichella, A. & Zaidman, A. 16 Jul 2018 In : Software Testing, Verification and Reliability.

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

  52. A Topological Investigation of Power Flow

    Cetinay, H., Kuipers, F. A. & Van Mieghem, P. 2018 In : IEEE Systems Journal. 12, 3, p. 2524-2532 9 p.

    Research output: Scientific - peer-reviewArticle

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