301 - 350 out of 3,171Page size: 50
  1. Article › Scientific › Peer-reviewed
  2. 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

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

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

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

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

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

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

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

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

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

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

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

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

  15. Kan Scrum Fixed Price?

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

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

  29. Machine Learning Against Terrorism: How Big Data Collection and Analysis Influences the Privacy-Security Dilemma

    Verhelst, H. M., Stannat, A. W. & Mecacci, G., 2020, In : Science and Engineering Ethics. 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1...3 4 5 6 7 8 9 10 ...64 Next

ID: 18282