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

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

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

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

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

ID: 18282