301 - 400 out of 2,756Page size: 100
  1. Article › Scientific › Peer-reviewed
  2. Omgaan met requirements in outsourcingprojecten

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

    Research output: Scientific - peer-reviewArticle

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

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

    Sonmez, O. O., Mohamed, H. H. & Epema, D. H. J. 2010 In : IEEE Transactions on Parallel and Distributed Systems. 21, p. 778-789 12 p.

    Research output: Scientific - peer-reviewArticle

  5. 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. 2018 (Accepted/In press) In : Information and Software Technology.

    Research output: Scientific - peer-reviewArticle

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

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

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

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

    Oosterman, J. E. G., Yang, J., Bozzon, A., Aroyo, L. & Houben, G. J. P. M. 2015 In : Computer Networks. 90, p. 133-149 17 p.

    Research output: Scientific - peer-reviewArticle

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

  11. On the relationship between workflow models and document types

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

    Research output: Scientific - peer-reviewArticle

  12. On the systematic conformance check of software artefacts

    van Dijk, H. W., Graaf, B. S. & Boerman, B. N. 2005 In : Lecture Notes in Computer Science. p. 203-221 19 p.

    Research output: Scientific - peer-reviewArticle

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

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

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

    Research output: Scientific - peer-reviewArticle

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

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

    Haratcherev, I. J., Taal, J. R., Langendoen, K. G., Lagendijk, R. L. & Sips, H. J. 2006 In : IEEE Communications Magazine. 44, 1, p. 115-121 7 p.

    Research output: Scientific - peer-reviewArticle

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

    Rahman, R., Lansbergen, G. P., Park, S. H., 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: Scientific - peer-reviewArticle

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

    Austen, S., Venkatesha Prasad, R. R. & Niemegeers, I. G. M. M. 2015 In : IEEE Communications Surveys and Tutorials. 17, 3, p. 1761-1775 15 p.

    Research output: Scientific - peer-reviewArticle

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

    Research output: Scientific - peer-reviewArticle

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

  21. Parallel Application Characterization with Quantitative Metrics

    van Amesfoort, A. S., Varbanescu, A. L. & Sips, H. J. 2012 In : Concurrency and Computation: Practice & Experience. 24, 5, p. 445-462 18 p.

    Research output: Scientific - peer-reviewArticle

  22. Parse Table Composition

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

    Research output: Scientific - peer-reviewArticle

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

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

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

    Research output: Scientific - peer-reviewArticle

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

    Iosup, A., Ostermann, S., Yigitbasi, M. N., Prodan, R., Fahringer, T. & Epema, D. H. J. 2010 In : IEEE Transactions on Parallel and Distributed Systems. p. 1-16 16 p.

    Research output: Scientific - peer-reviewArticle

  26. Performance Implications of Synchronization Structure in Parallel Programming

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

    Research output: Scientific - peer-reviewArticle

  27. Performance Testing of Data Delivery Techniques for Ajax Applications

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

    Research output: Scientific - peer-reviewArticle

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

    Reijns, G. L., van Gemund, A. J. C. & Gautama, H. 2001 In : Parallel Processing Letters. 11, 1, p. 109-123 15 p.

    Research output: Scientific - peer-reviewArticle

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

    Wang, J., Pouwelse, J. A., Fokker, J. E., de Vries, A. P. & Reinders, M. J. T. 2007 In : Multimedia Tools and Applications. 36, 1-2, p. 89-113 25 p.

    Research output: Scientific - peer-reviewArticle

  30. Plan Decoupling of Agents with Qualitatively Constrained Tasks

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

    Research output: Scientific - peer-reviewArticle

  31. Plan coordination by revision in collective agent based systems

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

    Research output: Scientific - peer-reviewArticle

  32. Plan coordination by revision in collective agent based systems

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

    Research output: Scientific - peer-reviewArticle

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

  34. 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, H. P. & Yuan, X-C. 2014 In : Nano Letters: a journal dedicated to nanoscience and nanotechnology. 14, 11, p. 6430-6436 7 p.

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

  36. Practical Considerations for Wireless Sensor Network Algorithms

    Halkes, G. P. & Langendoen, K. G. 2010 In : Wireless Sensor Network. 2, 6, p. 441-446 6 p.

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

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

    Reijns, G. L. & van Gemund, A. J. C. 2005 In : Parallel Computing. 31, 8-9, p. 877-899 23 p.

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

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

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

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

  44. Prioritizing Tests for Software Fault Localization

    Gonzalez Sanchez, A., Piel, E. A. B., Lima Maranhao De Abreu, R. F., Gross, H. G. & van Gemund, A. J. C. 2011 In : Software: Practice and Experience. 41, 10, p. 1105-1129 25 p.

    Research output: Scientific - peer-reviewArticle

  45. Procedural content generation for games: A survey

    Hendrikx, M. J. C., Meijer, S. J. J., 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: Scientific - peer-reviewArticle

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

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

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

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

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

  50. Realizing service migration in industry¿lessons learned

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

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

  52. Recommending venues using continuous predictive social media analytics

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

    Research output: Scientific - peer-reviewArticle

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

    Bohte, S. M. & Mozer, M. C. 2007 In : Neural Computation. 19, p. 371-403 33 p.

    Research output: Scientific - peer-reviewArticle

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

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

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

    Research output: Scientific - peer-reviewArticle

  56. Reliability Analysis of Hierarchical Systems using Statistical Moments

    Reijns, G. L. & van Gemund, A. J. C. 2007 In : IEEE Transactions on Reliability. 56, p. 1-8 8 p.

    Research output: Scientific - peer-reviewArticle

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

    van Gemund, A. J. C. & Reijns, G. L. 2012 In : IEEE Transactions on Reliability. 61, 2, p. 526-532 7 p.

    Research output: Scientific - peer-reviewArticle

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

  59. Reusing the Assignment Trail in CDCL Solvers

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

    Research output: Scientific - peer-reviewArticle

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

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

    Cheung, M. Y. S. & Hidders, A. J. H. 2011 In : Business Process Management Journal. 17, 3, p. 461-494 34 p.

    Research output: Scientific - peer-reviewArticle

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

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

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

    Davis, D., Kizilcec, R., Hauff, C. & Houben, G-J. 2018 In : Journal of Learning Analytics.

    Research output: Scientific - peer-reviewArticle

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

    Bucur, A. I. D. & Epema, D. H. J. 2007 In : IEEE Transactions on Parallel and Distributed Systems. 18, p. 958-972 15 p.

    Research output: Scientific - peer-reviewArticle

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

  67. Search computing: Managing complex search queries

    Ceri, S., Abid, A., Abu Helou, M., Barbieri, D., Bozzon, A., Braga, D., Brambilla, M., Campi, A., Corcoglioniti, F., Della Valle, E., Eynard, D., Fraternali, P., Grossniklaus, M., Martinenghi, D., Ronchi, S., Tagliasacchi, M. & Vadacca, S. 1 Nov 2010 In : IEEE Internet Computing. 14, 6, p. 14-22 9 p., 5518748

    Research output: Scientific - peer-reviewArticle

  68. Search computing meets data extraction

    Furche, T., Orsi, G., Bozzon, A., Pasini, C., Tettamanti, L. & Vadacca, S. 1 Dec 2011 In : CEUR Workshop Proceedings. 880

    Research output: Scientific - peer-reviewArticle

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

    Soltani, M., Panichella, A. & van Deursen, A. 1 Aug 2018 (Accepted/In press) In : IEEE Transactions on Software Engineering.

    Research output: Scientific - peer-reviewArticle

  70. Self modelling knowledge networks

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

    Research output: Scientific - peer-reviewArticle

  71. Self-certification and trust in component procurement

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

    Research output: Scientific - peer-reviewArticle

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

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

  74. Separation of Concerns and Linguistic Integration in WebDSL

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

    Research output: Scientific - peer-reviewArticle

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

  76. Sifting useful comments from Flickr Commons and YouTube

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

    Research output: Scientific - peer-reviewArticle

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

  78. Simulating Circuit-Level Simplifications on CNF

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

    Research output: Scientific - peer-reviewArticle

  79. Simultaneous Debugging of Software Faults

    Abreu, R. F., Zoeteweij, P. & van Gemund, A. J. C. 2011 In : Journal of Systems and Software. 84, 4, p. 573-586 14 p.

    Research output: Scientific - peer-reviewArticle

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

    Dhiratara, A., Yang, J., Bozzon, A. & Houben, G. J. 2016 In : Ceur Workshop Proceedings. 1748

    Research output: Scientific - peer-reviewArticle

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

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

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

    Research output: Scientific - peer-reviewArticle

  83. Software model synthesis using satisfiability solvers

    Heule, M. J. H. & Verwer, S. E. 2013 In : Empirical Software Engineering. 18, 4, p. 825-856 32 p.

    Research output: Scientific - peer-reviewArticle

  84. Software reverse engineering

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

    Research output: Scientific - peer-reviewArticle

  85. Sound Type-Dependent Syntactic Language Extension

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

    Research output: Scientific - peer-reviewArticle

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

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

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

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

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

  90. Speci¿cation of personalization in web application design

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

    Research output: Scientific - peer-reviewArticle

  91. Spectrum- and energy-efficient D2DWRAN

    Shi, H. Z., Venkatesha Prasad, R. R., Sathyanarayana Rao, V., Niemegeers, I. G. M. M. & Xu, M. 2014 In : IEEE Communications Magazine. 52, 7, p. 38-45 8 p.

    Research output: Scientific - peer-reviewArticle

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

    Glorie, M., Zaidman, A. E., 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: Scientific - peer-reviewArticle

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

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

  95. Static Consistency Checking of Web Applications with WebDSL

    Hemel, Z., Groenewegen, D. M., Kats, L. C. L. & Visser, E. 2011 In : Journal of Symbolic Computation. 46, 2, p. 150-182 33 p.

    Research output: Scientific - peer-reviewArticle

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

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

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

    Research output: Scientific - peer-reviewArticle

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

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

    Research output: Scientific - peer-reviewArticle

  99. Sub-pixel classification of the Sahelian Wetlands environment

    Verhoeye, J. A. C., Vancoillie, F. M. B., Nishimura, D. J. H., de Wulf, R. R. & Kerckhoffs, E. J. H. 2001 In : South African Journal of Surveying and Geo-Information. 1, 5&6, p. 282-289 8 p.

    Research output: Scientific - peer-reviewArticle

  100. Summary of The Dagstuhl Perspectives Workshop on Performance Modeling and Prediction

    al., F. E. & Tintarev, N. 2018 In : ACM SIGIR Forum.

    Research output: Scientific - peer-reviewArticle

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