Publications
Login
Home List all Extended search

 

WARNING: This page contains links to PostScript files of articles that may be covered by copyright. You may browse the articles at your convenience. (In the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, or distributing these files, however, may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.

Search criteria: Author: Year: Project: Topic: Group: Order by: Layout:

?
2010
  • M. El Ghami and C. Roos and T. Steihaug (2010). A generic primal-dual interior-point method for semidefinite optimization based on a new class of kernel functions. Optimization Methods and Software 25(3):387--403. [BibTeX]
  • P. Garbacki and D.H.J. Epema and M. van Steen (2010). The Design and Evaluation of a Self-Organizing Super-Peer Network. IEEE Transactions on Computers. [BibTeX]
  • I.D. Ivanov and Etienne de Klerk (2010). Parallel implementation of a semidefinite programming solver based on CSDP on a distributed memory cluster. Optimization Methods and Software 25(3):405--420. [BibTeX]
  • Bart de Keijzer and Tomas Klos and Yingqian Zhang (2010). Enumeration and Exact Design of Weighted Voting Games. In Gal Kaminka and Wiebe van der Hoek (Eds.). Proceedings 9th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2008). IFAAMAS. [BibTeX]
  • A. Asadi and G. Gu and C. Roos (2010). Convergence of the homotopy path for a full-Newton step infeasible interior-point method. Operations Research Letters 38:147--151. [BibTeX]
  • G. Gu and C. Roos (2010). Counterexample to a Conjecture on an Infeasible Interior-Point Method. SIAM Journal on Optimization 20(4):1862--1867. [BibTeX]
  • Michaela Greiler (2010). Online Testing of Service-Oriented Architectures to detect State-based Faults. In Proceedings of the PhD Symposium at the 7the International Conference on Service Oriented Computing (ICSOC 2009), Stockholm, Sweden. CEUR-WS. [BibTeX]
  • Vlad Nae and Alexandru Iosup and Radu Prodan (2010). Dynamic Resource Provisioning in Massively Multiplayer Online Games. IEEE Transactions on Parallel and Distributed Systems (to appear). [BibTeX]
  • Matti Jarvisalo and Armin Biere and Marijn J.H. Heule (2010). Blocked Clause Elimination. In TACAS '10. Springer. [BibTeX]
  • M. Meulpolder and L. D'Acunto and M. Capota and M. Wojciechowski and J.A. Pouwelse and D.H.J. Epema and H.J. Sips (2010). Public and private BitTorrent communities: A measurement study. In IPTPS 2010. [BibTeX]
  • L. D’Acunto and M. Meulpolder and R. Rahman and J.A. Pouwelse and H.J. Sips (2010). Modeling and Analyzing the Effects of Firewalls and NATs in P2P Swarming Systems. In Proceedings IPDPS 2009 (HotP2P 2010). IEEE. [BibTeX]
  • Arie van Deursen and Ali Mesbah and Bas Cornelissen and Andy Zaidman and Martin Pinzger and Anja Guzzi (2010). Adinda: A knowledgeable, Browser-Based IDE. In Companion Proceedings of the 32nd International Conference on Software Engineering (ICSE NIER), Cape Town, South Africa. ACM. [BibTeX]
  • Chetan Yadati and Cees Witteveen and Yingqian Zhang (2010). COORDINATING AGENTS: An analysis of coordination in supply-chain management like tasks. In The 2nd International Conference on Agents and Artificial Intelligence (ICAART). [BibTeX]
2009
  • P. Taverne and C. Pronk (2009). RAFFS: Model Checking a Robust Abstract Flash File Store. In K. Breitman and A. Cavalcanti (Eds.). Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, pp. 226 .. 245, Rio de Janeiro. LNCS 5885, Springer Verlag, Berlin Heidelberg New York. [BibTeX]
  • Teemu Kanstrén (2009). A Probe Framework for Monitoring Embedded Real-Time Systems. In Proceedings of the 4th International Conference on Internet Monitoring and Protection (ICIMP2009), pp. 109-115, Venice, Italy. IEEE Press. [BibTeX]
  • P. Cimiano and A. Maedche and S. Staab and J. Voelker (2009). Ontology Learning. In Steffen Staab and Rudi Studer (Eds.) Handbook of Ontologies, pp. 173--190. Springer, Berlin. [BibTeX]
  • Chetan Yadati and Cees Witteveen and Yingqian Zhang (2009). Plan coordination in Hospital Patient treatment. In Collaborative Agents -- REsearch and Development (CARE) 2009. LNCS. [BibTeX]
  • Ettema, R. and Dietz, J.L.G. (2009). ArchiMate and DEMO - mates to date?. In Albani, A., Barjis, J. and Dietz, J.L.G. (Eds.). Advances in Enterprise Engineering III, pp. 172-186. LNBIP 34, Springer. [BibTeX]
  • P. Cimiano (2009). Ontology Learning From Text using corpus-derived Formal Contexts. In Pascal Hitzler (Eds.) Conceptual Structures in Practice, pp. 199-222. Chapman & Hall/CRC Press. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2009). Computing Multiple Minimal Diagnoses. In Proceedings of the First Annual Conference of the Prognostics and Health Management Society (PHM'09) San Diego, California, USA. [BibTeX]
  • Geskus, J. and Dietz, J.L.G. (2009). Developing Quality Management Systems with DEMO. In Albani, A., Barjis, J. and Dietz, J.L.G. (Eds.). Advances in Enterprise Engineering III, pp. 130-142. LNBIP 34, Springer. [BibTeX]
  • Fabian Abel and Dominikus Heckmann and Eelco Herder and Jan Hidders and Geert-Jan Houben and Daniel Krause and Erwin Leonardi and Kees van der Slujis (2009). A Framework for Flexible User Profile Mashups. In Proceedings of International Workshop on Adaptation and Personalization for Web 2.0 (AP-WEB 2.0 2009), pp. 1--10. CEUR Workshop Proceedings [BibTeX]
  • Bellekens, Pieter and Houben, Geert-Jan and Aroyo, Lora and Schaap, Krijn and Kaptein, Annelies (2009). User model elicitation and enrichment for context-sensitive personalization in a multiplatform tv environment. In EuroITV '09: Proceedings of the seventh european conference on European interactive television conference, pp. 119--128, Leuven, Belgium. ACM, New York, NY, USA. [BibTeX]
  • Tran, Thanh and Wang, Haofen and Rudolph, Sebastian and Cimiano, Philipp (2009). Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data. In ICDE '09: Proceedings of the 2009 IEEE International Conference on Data Engineering, pp. 405--416. IEEE Computer Society. [BibTeX]
  • Bellekens, Pieter and Aroyo, Lora and Houben, Geert-Jan and Kaptein, Annelies (2009). A Model-Based Approach Providing Context-Sensitive Television Interaction. In ICWE '9: Proceedings of the 9th International Conference on Web Engineering, pp. 509--512, San Sebasti'an, Spain. Springer, Berlin. [BibTeX]
  • Erwin Leonardi and Geert-Jan Houben and Kees van der Sluijs and Jan Hidders and Eelco Herder and Fabian Abel and Daniel Krause and Dominik Heckmann (2009). User Profile Elicitation and Conversion in a Mashup Environment. In Proceedings of the International Workshop on Lightweight Integration on the Web (ComposableWeb'09) in conjunction with the 9th International Conference on Web Engineering (ICWE 2009). CEUR Workshop Proceedings [BibTeX]
  • Kees van der Sluijs and Jan Hidders and Erwin Leonardi and Geert-Jan Houben (2009). GAL: A Generic Adaptation Language for describing Adaptive Hypermedia. In Proceedings of the International Workshop on Dynamic and Adaptive Hypertext: Generic Frameworks, Approaches and Techniques (DAH'09) in conjunction with the 20th ACM Conference on Hypertext and Hypermedia (Hypertext 2009). Springer, Berlin. [BibTeX]
  • Teemu Kanstrén (2009). Behaviour Pattern-Based Model Generation for Model-Based Testing. In Proceedings of the 1st International Conference on Pervasive Patterns and Applications (PATTERNS 2009), Athends, Greece. IEEE Press. [BibTeX]
  • Jun Wang and Johan Pouwelse and Jenneke Fokker and Marcel J.T. Reinders and Arjen Paul de Vries (2009). In Borko Furht (Eds.) Handbook of Digital Media in Entertainment and Art, Ch. Personalization of a Peer-to-Peer Television System, pp. -. Springer. [BibTeX]
  • K. van der Meer (2009). Datum verstreken? Houdbaarheid van digitale data. Digitale bibliotheek 1(5):36-38. [BibTeX]
  • A. Gonzalez Escribano and V. Cardenoso Payo and A.J.C. van Gemund (2009). Performance Implications of Synchronization Structure in Parallel Programming. Parallel Computing 35(8-9):455 - 474. [BibTeX]
  • Francisco Dur'an and Manuel Rold'an and Emilie Balland and Mark van den Brand and Steven Eker and Karl Trygve Kalleberg and Lennart C. L. Kats and Pierre-Etienne Moreau and Ruslan Shevchenko and Eelco Visser (2009). The Second Rewrite Engines Competition. Electronic Notes in Theoretical Computer Science 238:281-291. [BibTeX]
  • Albani, A. and Dietz, J.L.G. (2009). Current Trends in Modeling Inter-Organizational Cooperation. Journal of Enterprise Information Management 22(3):275-297. [BibTeX]
  • H. Mansouri and C. Roos (2009). A new full-Newton step $O(n)$ infeasible interior-point algorithm for semidefinite optimization. Numerical algorithms 52:225--255. [BibTeX]
  • Bas Cornelissen (2009). Evaluating Dynamic Analysis Techniques for Program Comprehension. PhD Thesis, Delft University of Technology. [BibTeX]
  • M. El Ghami and Y.Q. Bai and C. Roos (2009). Kernel-function based algorithms for semidefinite optimization. RAIRO Operations Research 43:189--199. [BibTeX]
  • P. Cimiano (2009). The Web of Data. Machazine (Wiskunde en Informatica Studievereniging Christian Huygens) 13(4). [BibTeX]
  • R. Abreu and P. Zoeteweij and R. Golsteijn and A.J.C. van Gemund (2009). A practical evaluation of spectrum-based fault localization. Journal of Systems and Software 82(11):1780-1792. [BibTeX]
  • Jan Hidders and Jan Paredaens (2009). XPath/XQuery. In Ling Liu and M. Tamer Ozsu (Eds.) Encyclopedia of Database Systems, pp. 3659-3665. Springer US. [BibTeX]
  • Marijn J.H. Heule and Hans van Maaren (2009). In Armin Biere and Marijn J.H. Heule and Hans van Maaren and Toby Walsh (Eds.) Look-Ahead Based SAT Solvers, Ch. 5, pp. 155-184. IOS Press. [BibTeX]
  • Dietz, J.L.G. (2009). Is it fty or bullshit, TU Delft. [BibTeX]
  • R. Abreu and P. Zoeteweij and A.J.C. van Gemund (2009). In R. Mathijssen (Eds.) TRADER: Reliability of High-Volume Consumer Products, Ch. Fault Localization of Embedded Software, pp. 103-112. Embedded Systems Institute. [BibTeX]
  • P. Zoeteweij and R. Abreu and A.J.C. van Gemund (2009). In R. Mathijssen (Eds.) TRADER: Reliability of High-Volume Consumer Products, Ch. Spectrum-Based Fault Localization in Practice, pp. 112-124. Embedded Systems Institute. [BibTeX]
  • S.O. Dulman and P.J.M. Havinga (2009). In Richard Zurawski (Eds.) Introduction to Wireless Sensor Networks, Ch. 3, pp. 3.1--3.11. CRC Press,Taylor and Francis Group, LLC. [BibTeX]
  • Albani and A. Müssigmann, N. and Zaha J. (2009). In Kirk St. Amant (Eds.) IT Outsourcing: Concepts, Methodologies, Tools, and Applications, Ch. Reference Model for Strategic Supply Network Development, pp. 731-753. Business Science Reference. [BibTeX]
  • Michaela Greiler, Hans-Gerhard Gross, Arie van Deursen (2009). Do Services Require Online Testing? - A Case Study, Holbox. [BibTeX]
  • Jan Jaap Cannegieter and Rini van Solingen (2009). De kleine CMMI voor Ontwikkeling, SDU. [BibTeX]
  • Christian Visser and Rini van Solingen (2009). Selecting Locations for Follow-the-Sun Software Development: Towards A Routing Model. Fourth IEEE International Conference on Global Software Engineering:185-194. [BibTeX]
  • Casteleyn, Sven and Van Woensel, William and van der Sluijs, Kees and Houben, Geert-Jan (2009). Aspect-oriented adaptation specification in web information systems: a semantics-based approach. New Rev. Hypermedia Multimedia 15(1):39--71. [BibTeX]
  • Y. Q. Bai and J. Guo and C. Roos (2009). A new kernel function yielding the best known iteration bounds for primal-dual interior-point algorithms. Acta Mathematica Sinica 25:2169--2178. [BibTeX]
  • Jan Jaap Cannegieter and Rini van Solingen and Wouter Raemaekers (2009). De kleine CMMI voor Acquisitie, SDU. [BibTeX]
  • S.O. Dulman and S. Chatterjea and P.J.M. Havinga (2009). In Richard Zurawski (Eds.) Architectures for Wireless Sensor Networks, Ch. 4, pp. 4.1--4.33. CRC Press,Taylor and Francis Group, LLC. [BibTeX]
  • Kees van der Sluijs and Geert-Jan Houben (2009). Automatic Generation of Semantic Metadata as Basis for User Modeling and Adaptation. In Tsvi Kuflik and Shlomo Berkovsky and Francesca Carmagnola and Dominik Heckmann and Antonio Kruger (Eds.) Advances in Ubiquitous User Modelling, pp. 73-93. Springer, Berlin. [BibTeX]
  • M. Meulpolder and J.A. Pouwelse and D.H.J. Epema and H.J. Sips (2009). Fully distributed freeriding prevention in the Tribler peer-to-peer network. In Th. Gevers and H.J. Bos and L. Wolters (Eds.). Proc. of the 15th Annual Conf. of the Advanced School for Computing and Imaging, pp. 1-8, Zeewolde, The Netherlands. Advanced School for Computing and Imaging (ASCI). [BibTeX]
  • Tolga Kurtoglu and Sriram Narasimhan and Scott Poll and David Garcia and Lukas Kuhn and Johan de Kleer and Arjan van Gemund and Alexander Feldman (2009). First International Diagnosis Competition - DXC'09. In Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund (Eds.). Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 383-396. [BibTeX]
  • Tolga Kurtoglu and Sriram Narasimhan and Scott Poll and David Garcia and Lukas Kuhn and Johan de Kleer and Arjan van Gemund, and Alexander Feldman (2009). Towards a Framework for Evaluating and Comparing Diagnosis Algorithms. In Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 373-382. Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2009). The Lydia Approach to Combinational Model-Based Diagnosis. In Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 403-408. Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund. [BibTeX]
  • Alexander Feldman and Gregory Provan and Johan de Kleer and Lukas Kuhn and Arjan van Gemund (2009). Automated Redesign with the General Redesign Engine. In Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund (Eds.). Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 307-314. [BibTeX]
  • Rui Abreu and Arjan J.C. van Gemund (2009). Statistics-directed Minimal Hitting Set Algorithm. In Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund (Eds.). Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 51-58. [BibTeX]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2009). A Bayesian Approach to Diagnose Multiple Intermittent Faults. In Erik Frisk and Mattias Nyberg and Mattias Krysander and Jan Åslund (Eds.). Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09), Stockholm Sweden, pp. 27-33. [BibTeX]
  • Rui Abreu and Peter Zoeteweij and Arjan van Gemund (2009). A New Bayesian Approach to Multiple Intermittent Fault Diagnosis. In Craig Boutilier (Eds.). Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09) Pasadena, California, USA, pp. 653-658. AAAI Press. [BibTeX]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2009). A Model-based Software Reasoning Approach to Software Debugging. In Been-Chian Chien and Tzung-Pei Hong (Eds.). Procedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE'09), pp. 233--239. Studies in Computational Intelligence 214, Springer-Verlag. [BibTeX]
  • Rui Abreu and Wolfgang Mayer and Markus Stumptner and Arjan J.C. van Gemund (2009). Refining Spectrum-based Fault Localization Rankings. In Sung Y. Shin and Sascha Ossowski (Eds.). Procedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) - Software Engineering Track, pp. 409-414. ACM Press. [BibTeX]
  • Alexander Feldman and Gregory Provan and Johan de Kleer and Lukas Kuhn and Arjan van Gemund (2009). Automated Redesign with the General Redesign Engine. In Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09), Lake Arrowhead, California, US. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2009). Solving Strong-Fault Diagnostic Models by Model Relaxation. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09) Pasadena, California, USA, pp. 785-790. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2009). FRACTAL: Efficient Fault Isolation Using Active Testing. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09) Pasadena, California, USA, pp. 778-784. [BibTeX]
  • Zeeger Lubsen and Andy Zaidman and Martin Pinzger (2009). Studying Co-evolution of Production and Test Code Using Association Rule Mining. In Michael W. Godfrey and Jim Whitehead (Eds.). Proceedings of the 6th Working Conference on Mining Software Repositories (MSR 2009), pp. 151-154, 16-17 May, 2009, Vancouver, BC, Canada. IEEE Computer Society. [BibTeX]
  • Cor-Paul Bezemer and Ali Mesbah and Arie van Deursen (2009). Automated Security Testing of Web Widget Interactions. In Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09), pp. 81-91, Amsterdam, The Netherlands. ACM. [BibTeX]
  • Tomas Klos and Bart Nooteboom (2009). Adaptive Learning in Evolving Task Allocation Networks. In Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Simão Sichman (Eds.). 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, pp. 465-472. IFAAMAS. [BibTeX]
  • A.W. ter Mors and C. Witteveen (2009). Plan Repair in Conflict-Free Routing. In Been-Chian Chien, Tzung-Pei Hong, Shyi-Ming Chen, Moonis Ali (Eds.). Proceedings of the The Twenty Second International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems IEA-AIE 2009, pp. 46-55, Tainan, Taiwan. Lecture Notes in Artificial Intelligence [BibTeX]
  • Rui Abreu and Arjan van Gemund (2009). A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis. In Vadim Bulitko and Christopher Beck (Eds.). Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09), Lake Arrowhead, California, US. [BibTeX]
  • Patrick Knab and Martin Pinzger and Harald C. Gall (2009). Smart Views for Analyzing Problem Reports: Tool Demo. In Hans van Vliet and Valerie Issarny (Eds.). Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 289--290, 24-28 August, 2009, Amsterdam, The Netherlands. ACM. [BibTeX]
  • Patrick Knab and Beat Fluri and Harald C. Gall and Martin Pinzger (2009). Interactive Views for Analyzing Problem Reports. In Kostas Kontogiannis and Tao Xie (Eds.). Proceedings of the International Conference on Software Maintenance, pp. 527--530, 20-26 September, 2009, Edmonton, AB, Canada. IEEE Computer Scociety. [BibTeX]
  • Teemu Kanstrén and Eric Piel and Alberto Gonzalez-Sanchez and Hans-Gerhard Gross (2009). Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach. In Achim Wagner (Eds.). Workshop Design of Dependable Critical Systems, pp. 1-8, Hamburg, Germany. [BibTeX]
  • Kees van Hee and Jan Hidders and Geert-Jan Houben and Jan Paredaens and Philippe Thiran (2009). Abstracting Common Business Rules to Petri Nets. In Natalia Sidorova and Alexander Serebrenik (Eds.). Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency, pp. 37--49. [BibTeX]
  • Matthias Niederhausen and Kees van der Sluijs and Jan Hidders and Erwin Leonardi and Geert-Jan Houben and Klaus Meissner (2009). Harnessing the Power of Semantics-Based, Aspect-Oriented Adaptation for amacont. In Martin Gaedke and Michael Grossniklaus and Oscar D'iaz (Eds.). Web Engineering, 9th International Conference, ICWE 2009, pp. 106-120. Lecture Notes in Computer Science 5648, Springer, Berlin. [BibTeX]
  • Eric Piel and Alberto Gonzalez-Sanchez (2009). Data-flow integration testing adapted to runtime evolution in component-based systems. In Hans-Gerhard Gross and Marco Lormans and Jan Tretmans (Eds.). Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, pp. 3-10, Amsterdam, The Netherlands. Association for Computing Machinery. [BibTeX]
  • Alberto Gonzalez Sanchez and Eric Piel and Hans-Gerhard Gross (2009). A Model for the Measurement of the Runtime Testability of Component-Based Systems. In IEEE (Eds.). Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops, pp. 19-28, Denver, USA. IEEE Computer Society. [BibTeX]
  • Cathal Boogerd and Leon Moonen (2009). Evaluating the Relation Between Coding Standard Violations and Faults Within and Across Versions. In Jim Whitehead, Mike Godfrey (Eds.). Proceedings of the Sixth IEEE Working Conference on Mining Software Repositories (MSR), pp. 41-50, Vancouver BC, Canada. IEEE. [BibTeX]
  • Nezih Yigitbasi and Alexandru Iosup and Dick Epema and Simon Ostermann (2009). C-Meter: A framework for performance analysis of computing clouds. In Proc. 15-th ASCI Conference, June 3-5, 2009, Zeewolde. [BibTeX]
  • Vlad Nae and Alexandru Iosup and Radu Prodan and Thomas Fahringer (2009). The Impact of Virtualization on the Performance of Massively Multiplayer Online Games. In Maha Abdallah (Eds.). Proc. of the 8th Annual Workshop on Network and Systems Support for Games (NetGames 2009), Paris, France, November 23-24, 2009, pp. 1-6, Paris, France. IEEE. [BibTeX]
  • L. D’Acunto and J.A. Pouwelse and H.J. Sips (2009). A measurement of NAT & firewall characteristics in peer-to-peer systems. In Theo Gevers, Herbert Bos, Lex Wolters (Eds.). Proc. 15-th ASCI Conference, pp. 1-5, Zeewolde, the Netherlands. Advanced School for Computing and Imaging (ASCI). [BibTeX]
  • Michaela Greiler and Hans-Gerhard Gross and Khalid Adam Nasr (2009). Runtime Integration and Testing for Highly Dynamic Service Oriented ICT Solutions - An Industry Challenges Report. In IEEE Computer Society, Los Alamitos, USA (Eds.). TAIC-PART '09: Proceedings of the Testing: Academic and Industrial Conference on Practice And Research Techniques, pp. 51-55, Windsor, UK. IEEE. [BibTeX]
  • R. Abreu, P.Zoeteweij, and A.J.C. van Gemund (2009). Spectrum-based Multiple Fault Localization. In Gabriele Taentzer and Mats Heimdahl (Eds.). 24th International Conference on Automated Software Engeneering (ASE'09), pp. 88 - 99. IEEE Computer Society. [BibTeX]
  • P. Buitelaar and P. Cimiano and P. Haase and M. Sintek (2009). Towards Linguistically Grounded Ontologies. In Lora Aroyo and Paolo Traverso and Fabio Ciravegna and Philipp Cimiano and Tom Heath and Eero Hyv"onen and Riichiro Mizoguchi and Eyal Oren and (Eds.). Proceedings of the 6th European Semantic Web Conference (ESWC), pp. 111-125. Springer, Berlin. [BibTeX]
  • P. Cimiano and A. Schultz and S. Sizov and P. Sorg (2009). Explicit vs. Latent Concept Models for Cross-Language Information Retrieval. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'09), pp. 1513-1518. [BibTeX]
  • P. Cimiano (2009). Flexible Semantic Composition with DUDES. In Proceedings of the 8th International Conference on Computational Semantics (IWCS'09). [BibTeX]
  • P. Sorg and P. Cimiano (2009). An Experimental Comparison of Explicit Semantic Analysis Implementations for Cross-Language Retrieval. In Proceedings of the 14th International Conference on Applications of Natural Language to Information Systems (NLDB'09). Springer, Berlin. [BibTeX]
  • P. Cimiano and M. Minock (2009). Natural Language Interfaces: What is the Problem? - A data-driven quantitative analysis. In Proceedings of the 14th International Conference on Applications of Natural Language to Information Systems (NLDB'09). [BibTeX]
  • T. Janssen and R. Abreu and A.J.C. van Gemund (2009). Zoltar: A Spectrum-based Fault Localization Tool. In Hans-Gerhard Gross and Jan Tretmans and Marco Lormans (Eds.). 1st International Workshop on Software Integration and Evolution @ Runtime (SINTER'09), pp. 23 -- 29. ACM Press. [BibTeX]
  • R. Abreu, Peter Zoeteweij, and A.J.C. van Gemund (2009). Localizing Software Faults Simultaneously. In Byoungju Choi (Eds.). 9th International Conference on Quality of Software (QSIC'09). IEEE Computer Society. [BibTeX]
  • T. Janssen and R. Abreu and A.J.C. van Gemund (2009). Zoltar: A Toolset for Automatic Fault Localization. In Andre van der Hoek and Tim Menzies (Eds.). 24th International Conference on Automated Software Engeneering (ASE'09) - Tools Track, pp. 658 -- 660. IEEE Computer Society. [BibTeX]
  • Linda Terlouw and Kees Eveleens Maarse (2009). A Service Specification Framework for Developing Component-Based Software: A Case Study at the Port of Rotterdam. In Antonia Albani and Joseph Barjis and Jan L. G. Dietz (Eds.). Advances in Enterprise Engineering III, pp. 100-114. Springer. [BibTeX]
  • Geert-Jan Houben and Gord I. McCalla and Fabio Pianesi and Massimo Zancanaro (Eds.) (2009). User Modeling, Adaptation, and Personalization, 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009. Proceedings, Springer, Berlin. [BibTeX]
  • Hans-Gerhard Gross and Marco Lormans and Jan Tretmans (Eds.) (2009). Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, Association for Computing Machinery (ACM), New York. [BibTeX]
  • Andy Zaidman and Giuliano Antoniol and Stephane Ducasse (Eds.) (2009). Proceeedings of the 16th Working Conference on Reverse Engineering, IEEE Computer Society, Washington, DC, USA. [BibTeX]
  • Albani, A. and Barjis, J and Dietz J.L.G. (Eds.) (2009). Advances in Enterprise Engineering III, Springer. [BibTeX]
  • Bram Adams and Kris De Schutter and Andy Zaidman and Serge Demeyer and Herman Tromp and Wolfgang De Meuter. (2009). Using Aspect Orientation in Legacy Environments for Reverse Engineering using Dynamic Analysis - An Industrial Experience Report. Journal of Systems and Software 82(4):668-684. [BibTeX]
  • Danny Holten (2009). Software Visualization: Visualizing Structure, Relations, and Visual Software Comparison. PhD Thesis, Eindhoven University of Technology. [BibTeX]
  • M. El Ghami and I. Ivanov and J.B.M. Melissen and C. Roos and T. Steihaug (2009). A polynomial-time algorithm for linear optimization based on a new class of kernel functions. Journal of Computational and Applied Mathematics 224(2):500--513. [BibTeX]
  • G. Gu (2009). Full-step Interior-point Methods for Symmetric Optimization. PhD Thesis, Faculty of Electrical Engineering, Mathematics and Computer Science, TU Delft, NL--2628 CD Delft, The Netherlands. [BibTeX]
  • Rui Abreu (2009). Spectrum-based Fault Localization in Embedded Software. PhD Thesis, Delft University of Technology. [BibTeX]
2008
  • Dietz, J.L.G., Hoogervorst, J.A.P. (2008). Enterprise Ontology in Enterprise Engineering. In Lorie M. Liebrock, New Mexico Institute of Mining and Technology, USA (Eds.). Proceedings of ACM-SAC’08, pp. 572-579. ACM. [BibTeX]
  • Dietz, J.L.G. (2008). On the Nature of Business Rules. In Dietz, J.L.G., Albani, A., Barjis, J. (Eds.). Advances in Enterprise Engineering I, pp. 1-15. Springer LNBIP 10. [BibTeX]
  • Op 't Land, Martin and Jan L. G. Dietz (2008). Enterprise Ontology Based Splitting and Contracting of Organizations. In Proceedings of SAC'08, pp. 524-531. ACM New York, NY, USA. [BibTeX]
  • Antonia Albani and Sven Overhage and Dominik Birkmeier (2008). Towards a Systematic Method for Identifying Business Components. In Chaudron, M.R.V.; Szyperski, C.; Reussner R. (Eds.). Components-Based Software Engineering, 11th International Symposium, CBSE 2008, pp. 262-277. Lecture Notes in Computer Science (LNCS) 5282, Springer. [BibTeX]
  • Sander D. Vermolen (2008). Software Language Evolution. In Andy Zaidman and Massimiliano Di Penta and Ahmed Hassan (Eds.). Proceedings 15th Working Conference on Reverse Engineering (WCRE 2008), pp. 323--326. IEEE Press. [BibTeX]
  • Sander van der Burg and Eelco Dolstra and Merijn de Jonge (2008). Atomic Upgrading of Distributed Systems. In Tudor Dumitras and Danny Dig and Iulian Neamtiu (Eds.). First ACM Workshop on Hot Topics in Software Upgrades (HotSWUp), pp. 1-5, Nashville, Tennessee, USA. ACM. [BibTeX]
  • Valentin Robu and Han La Poutr'e (2008). Constructing the Structure of Utility Graphs Used in Multi-Item Negotiation through Colaborative Filtering of Aggregate Buyer Preferences. In Takayuki Ito and Hiromitsu Hattori and Minjie Zhang (Eds.). Rational, Robust, and Secure Negotiations in Multi-Agent Systems, pp. 147-168. Springer Series on Computational Intelligence [BibTeX]
  • Valentin Robu and Han Noot and Han La Poutr'e and Willem-Jan van Schijndel (2008). An interactive platform for auction-based allocation of loads in transportation logistics. In Michael Berger, Bernard Burg, Satoshi Nishiyama (Eds.). AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems -- Industry and Applications track, pp. 3--10, Estoril, Portugal. International Foundation for Autonomous Agents and Multiagent Systems. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2008). Computing Minimal Diagnoses by Greedy Stochastic Search. In Dieter Fox and Carla P. Gomes (Eds.). Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI'08), July 13-17 Chicago, Illinos, USA, pp. 919--924. AAAI Press. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2008). Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses. In Dieter Fox and Carla P. Gomes (Eds.). Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI'08), July 13-17 Chicago, Illinos, USA, pp. 911--918. AAAI Press. [BibTeX]
  • Cathal Boogerd and Leon Moonen (2008). Assessing the Value of Coding Standards: An Empirical Study. In Hong Mei, Kenny Wong (Eds.). Proceedings of the 24th IEEE International Conference on Software Maintenance, pp. 277-286. IEEE. [BibTeX]
  • Cathal Boogerd and Leon Moonen (2008). On the Use of Data Flow Analysis in Static Profiling. In Jim Cordy, Lu Zhang (Eds.). Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 79-88. IEEE. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2008). A Framework and Algorithm for Model-Based Active Testing. In Alban Grastien and Markus Stumptner and Wolfgang Mayer (Eds.). Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, Australia, pp. 71--78. [BibTeX]
  • (2008). Towards a Business-Oriented Specification for Services. [BibTeX]
  • Dietz, J.L.G., Albani, A., Barjis, J. (Eds.) (2008). Advances in Enterprise Engineering I, Springer. [BibTeX]
  • Ulrich Ultes-Nitsche and Daniel Moldt and Juan Carlos Augusto (Eds.) (2008). Comparing Methodologies for Service-Orientation using the Generic System Development Process, INSTICC PRESS. [BibTeX]
  • A.L. Varbanescu and A.S. van Amesfoort and H.J. Sips and T. Cornwell and R. van Nieuwpoort and G. van Diepen and B. Elmegreen and A. Mattingly (2008). The Performance of Gridding/Degridding on the Cell/B.E.. Technical Report, Delft University of Technology. [BibTeX]
  • Jan Hidders and Jacek Sroka (2008). Towards a Calculus for Collection-Oriented Scientific Workflows with Side Effects. In On the Move to Meaningful Internet Systems 2008: DOA, ODBASE, CoopIS, GADA, and IS, OTM Confederated International Conferences, DOA, ODBASE, CoopIS, GADA, and IS 2008, pp. 261--284. Elsevier Science Ltd.. [BibTeX]
  • Marc de Lignie; BeiBei Hu; Niek Wijngaards (2008). Improved Situation Awareness for Public Safety Workers while Avoiding Information Overload. Unpublished. [BibTeX]
  • Ahmed Hassan and Andy Zaidman and Massimiliano Di Penta (Eds.) (2008). Proceedings of the 15th Working Conference on Reverse Engineering, IEEE Computer Society. [BibTeX]
  • N. Roos and C. Witteveen (2008). Diagnosis of Simple Temporal Networks. In M. Ghallab, C.D. Spyropoulos, N. Fakotakis and N. Avouris (Eds.). Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), pp. 593-597, Patras, Greece. IOS Press, Amsterdam. [BibTeX]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2008). An Observation-based Model for Fault Localization. In Ben Liblit and Atanas Rountev (Eds.). 6th Workshop on Dynamic Analysis (WODA'08), pp. 64-70. ACM Press. [BibTeX]
  • Chetan Yadati and Cees Witteveen and Yingqian Zhang and Mengxiao Wu and Han La Poutr`e (2008). Autonomous Scheduling with unbounded and bounded agents. In Ralph Bergmann and Gabriela Lindemann and Stefan Kirn and Michal Pechoucek (Eds.). Multiagent System Technologies. 6th German Conference, MATES 2008, pp. 195-206, Kaiserlautern, Germany. Lecture Notes In Computer Science [BibTeX]
  • Chetan Yadati Narasimha and Cees Witteveen and Yingqian Zhang and Mengxiao Wu and Han La Poutr'e (2008). Autonomous Scheduling. In Hamid R Arabnia and Youngsong Mun and Pei Li Zhou (Eds.). Proceedings of the Foundations of Computer Science (FCS 2008), pp. 73-79. CSREA Press. [BibTeX]
  • Rui Abreu and Alberto Gonz'alez and Peter Zoeteweij and Arjan J.C. van Gemund (2008). On the Performance of Fault Screeners in Software Development and Deployment. In Cesar Gonzalez-Perez and Stefan Jablonski (Eds.). 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'08), pp. 123-130. INSTICC Press. [BibTeX]
  • Rui Abreu and Alberto Gonz'alez and Peter Zoeteweij and Arjan J.C. van Gemund (2008). Automatic Software Fault Localization using Generic Program Invariants. In Roger L. Wainwright and Hisham Haddad (Eds.). 23rd Annual ACM Symposium on Applied Computing (SAC'08), pp. 712-717. ACM Press. [BibTeX]
  • J. Bustos-Jim'enez and N. Bersano and E. Schaeffer and J.M. Piquer and A. Iosup and A. Ciuffoletti (2008). Estimating the size of peer-to-peer networks using Lamberts's W function. In Sergei Gorlatch (Eds.). Proc. of the CoreGRID Workshop on Integrated Research in Grid Computing (CGIW'08), pp. 51--62, Crete, GR. CoreGRID Series. [BibTeX]
  • F. Nadeem and R. Prodan and T. Fahringer and A. Iosup (2008). A framework for resource availability characterization and on-line prediction in large scale computational grids. In Sergei Gorlatch (Eds.). Proc. of the CoreGRID Workshop on Integrated Research in Grid Computing (CGIW'08), pp. 177--190, Crete, GR. CoreGRID. [BibTeX]
  • Ali Mesbah and Engin Bozdag and Arie van Deursen (2008). Crawling Ajax by Inferring User Interface State Changes. In D. Schwabe and F. Curbera and P. Dantzig (Eds.). Proceedings of the 8th International Conference on Web Engineering (ICWE'08), pp. 122-134, Yorktown Heights, NY, USA. IEEE Computer Society. [BibTeX]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2008). A Dynamic Modeling Approach to Software Multiple-Fault Localization. In Alban Grastien and Markus Stumptner (Eds.). Procedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pp. 7-14. [BibTeX]
  • Wolfgang Mayer and Rui Abreu and Markus Stumptner and Arjan J.C. van Gemund (2008). Prioritizing Model-Based Debugging Diagnostic Reports. In Alban Grastien and Markus Stumptner and Wolfgang Mayer (Eds.). Procedings of the 19th International Workshop on Principles of Diagnosis (DX'08), pp. 127-134. [BibTeX]
  • M. Lodder and G.P. Halkes and K.G. Langendoen (2008). A Global-State Perspective on Sensor Network Debugging. In G. Smit, D. Epema and M. Lew (Eds.). 14th Annual Conference of the Advanced School for Computing and Imaging (ASCI 2008), pp. 66--72. [BibTeX]
  • Peter Zoeteweij and Jurryt Pietersma and Rui Abreu and Alexander Feldman and Arjan J.C. van Gemund (2008). Automated Fault Diagnosis in Embedded Systems. In N/A (Eds.). Proceedings of the 2nd IEEE International Conference on Secure Systems Integration and Reliability Improvement (SSIRI'08), pp. 103--110. IEEE. [BibTeX]
  • M. Elghami and C. Roos (2008). Generic prinal-dual interior-point methods based on a new kernel function. RAIRO--Operations Research 42(2):199--213. [BibTeX]
  • Hans van Maaren and Siert Wieringa (2008). Finding Guaranteed MUSes Fast. In Hans Kleine Büning, Hans and Xishun Zhao (Eds.). Theory and Applications of Satisfiability Testing – SAT 2008, pp. 291-304. Lecture Notes of Computer Science 4996, Springer. [BibTeX]
  • Y. Lu and J.J.D. Mol and F. Kuipers and P. van Mieghem (2008). Analytical Model for Mesh-based P2PVoD. In W. Bishop and S.-C. Chen and G. Friedland and P. Frossard and M. Muehlhaeuser (Eds.). IEEE Int'l Symp. on Multimedia 2008, pp. 364-371, Berkely, CA, USA. IEEE Computer Society. [BibTeX]
  • A. Gonz'alez and E.A.B. Piel and H.-G. Gross and M. Glandrup (2008). Testing Challenges of Maritime Safety and Security Systems of Systems. In Marc Roper (Eds.). Testing: Academic and Industrial Conference. Practice and Research Techniques, pp. 35-38, Windsor, United Kingdom. IEEE Computer Society. [BibTeX]
  • S. Ostermann and A. Iosup and R. Prodan and T. Fahringer and D.H.J. Epema (2008). On the Characteristics of Grid Workflows. In Sergei Gorlatch (Eds.). Proc. of the CoreGRID Workshop on Integrated Research in Grid Computing (CGIW'08), pp. 431--442, Crete, GR. CoreGRID. [BibTeX]
  • Alberto Gonz'alez and E.A.B. Piel and H.-G. Gross (2008). Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems. In Mauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Ploni, Onn Sheory (Eds.). Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference on, pp. 41--48, L'Aquila, Italy. IEEE Computer Society. [BibTeX]
  • Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy and David Roethlisberger (2008). Workshop on Program Comprehension through Dynamic Analysis (PCODA'08). In Ahmed Hassan and Andy Zaidman and Massimiliano Di Penta (Eds.). Proceedings of the 15th Working Conference on Reverse Engineering (WCRE), pp. 345--246. IEEE Computer Society. [BibTeX]
  • Bai, Y. Q. and Lesaja, G. and Roos, C. and Wang, G. Q. and El Ghami, M. (2008). A class of large-update and small-update primal-dual interior-point algorithms for linear optimization. Journal of Optimization Theory and Applications 138(3):341--359. [BibTeX]
  • Leon Moonen and Arie van Deursen and Andy Zaidman and Magiel Bruntink (2008). In Tom Mens and Serge Demeyer (Eds.) Software evolution, Ch. On the Interplay between Software Testing and Evolution and its Effect on Program Comprehension, pp. 173-202. Springer. [BibTeX]
  • K. van der Meer (2008). In T.M. Egyedi and K. Blind (Eds.) The sustainability of digital data: Tension between the dynamics and longevity of standards, Ch. 2, pp. 15-27. Edward Elgar Publishing Ltd. [BibTeX]
  • M. Rojas and S.A. Santos and D.C. Sorensen (2008). Algorithm 873: LSTRS: MATLAB software for large-scale trust-region subproblems and regularization. ACM Trans. Math. Software 34(2):11. [BibTeX]
  • K. van der Meer (2008). In H. Bouwman et al. (Eds.) Let a thousand flowers bloom, Ch. If we only knew what we knew - ISO 15489, Sarbanes-Oxley, MoReq, 5015.2-STD - what next?, pp. 419-427. IOS press. [BibTeX]
  • W. Schwinger and W. Retschitzegger and A. Schauerhuber and G. Kappel and M. Wimmer and B. Proell and C. Cachero Castro and S. Casteleyn and O. De Troyer and P. Fraternali and I. Garrigos and F. Garzotto and A. Ginige and G.J.P.M. Houben and N. Koch and N. (2008). A survey on web modeling approaches for ubiquitous web applications. International Journal of Web Information Systems 4(3):234-305. [BibTeX]
  • Jan Hidders and Natalia Kwasnikowska and Jacek Sroka and Jerzy Tyszkiewicz and Van den Bussche, Jan (2008). DFL: A dataflow language based on Petri nets and nested relational calculus. Inf. Syst. 33(3):261--284. [BibTeX]
  • Volker Derballa and Antonia Albani (2008). In Putnik, G. D.; Cunha, M. M. (Eds.) Self Modelling Knowledge Networks, pp. 1413-1420. Information Science Reference. [BibTeX]
  • J. Bustos-Jimenez and N. Bersano and S.E. Schaeffer and J.M. Piquer and A. Iosup and A. Ciuffoletti (2008). In S. Gorlatch and P. Fragopoulou and T. Priol (Eds.) Grid Computing: Achievements and Prospects, Ch. Estimating the size of Peer-to-Peer networks using Lambert's W function, pp. 61–72. Springer. [BibTeX]
  • F. Nadeem and R. Prodan and T. Fahringer and A. Iosup (2008). In S. Gorlatch and P. Fragopoulou and T. Priol (Eds.) Grid Computing: Achievements and Prospects, Ch. A framework for resource availability characterization and on-line prediction in large scale computational grids, pp. 209-224. Springer. [BibTeX]
  • Ivan D. Ivanov (2008). Parallel implementation of interior-point methods for semidefinite optimization. PhD Thesis, Faculty of Electrical Engineering, Mathematics and Computer Science, TU Delft, NL--2628 CD Delft, The Netherlands. [BibTeX]
  • H. Mansouri (2008). Full-Newton step interior-point methods for conic optimization. PhD Thesis, Faculty of Electrical Engineering, Mathematics and Computer Science, TU Delft, NL--2628 CD Delft, The Netherlands. [BibTeX]
  • Henriette Bier and Adriaan de Jong and Gijs van der Hoorn and Niels Brouwers and Marijn J.H. Heule and Hans van Maaren (2008). In T.G. Wyeld and S. Kenderdine and M. Docherty (Eds.) Prototypes for Automated Architectural 3D-Layout, Ch. , pp. 203-214. Springer Berlin / Heidelberg. [BibTeX]
  • S. Ostermann and R. Prodan and T. Fahringer and Alexandru Iosup and Dick H. J. Epema (2008). In Thierry Priol and Mario Vanneschi (Eds.) From Grids to Serice and Pervasive Computing, Ch. Trace-based characteristics of grid workflows, pp. 191-204. Springer. [BibTeX]
  • M. Elghami and I. Ivanov and C. Roos and T. Steihaug (2008). A polynomial-time algorithm for LO based on generalized logarithmic barrier functions. International Journal of Applied Mathematics 21(1):99--115. [BibTeX]
  • Antonia Albani and Jan L.G. Dietz (2008). In Filipe, J.; Shishkov, B.; Helfert, M.; Maciaszek, L. (Eds.) Benefits of Enterprise Ontology for the Development of ICT-Based Value Networks, pp. 3-22. Springer. [BibTeX]
  • El Ghami, M. and Ivanov, I. and Melissen, H. and Roos, C. and Steihaug, T. (2008). Primal-dual algorithm for linear optimization problems based on a new class of kernel functions. Computers and Communications, 2008. ISCC 2008. IEEE Symposium on:722--729. [BibTeX]
  • S. Ostermann and K. Plankensteiner and R. Prodan and T. Fahringer and A. Iosup (2008). In Meyer, Norbert and Talia, Domenico and Yahyapour, Ramin (Eds.) Grid and Services Evolution, Ch. Workflow monitoring and analysis tool for Askalon, pp. 86--98. Springer. [BibTeX]
  • E.H. Duerr, K. van der Meer, W.M.J. Luxemburg, M.A.M. Heijne and R. Dekker (2008). Long-time preservation of data sets, results of the DareLux project. Information Services & Use 28(3-4):281-294. [BibTeX]
  • Lonneke Mous and Valentin Robu and Han La Poutr'e (2008). Can priced options solve the exposure problem in sequential auctions?. SIGecom Exchanges 7(2):1--4. [BibTeX]
  • E. Durr, K. van der Meer, W. Luxemburg and R. Dekker (2008). Dataset preservation for the long term: Results of the DARELUX project. The International Journal of Digital Curation 1(3):29-43. [BibTeX]
  • Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy (2008). Introduction to the Special Issue on Program Comprehension through Dynamic Analysis (PCODA). Journal of Software Maintenance and Evolution: Research and Practice 20(4):223-225. [BibTeX]
  • Dietz, J.L.G. (2008). Architecture - building strategy into design, Sdu Uitgevers Den Haag. [BibTeX]
  • Eelco Dolstra and Jurriaan Hage and Bastiaan Heeren and Stefan Holdermans and Johan Jeuring and Andres Löh and Clara Löh and Arie Middelkoop and Alexey Rodriguez and John van Schie (2008). Report on the Tenth ICFP Programming Contest. ACM SIGPLAN Notices 43(9):397-408. [BibTeX]
  • Hoogervorst, J.A.P., Dietz, J.L.G. (2008). Enterprise Architecture in Enterprise Engineering. Enterprise Modeling and Information Systems Architecture 3(1):3-11. [BibTeX]
2007
  • C. Dumitrescu and A. Iosup and O.O. Sonmez and H.H. Mohamed and D.H.J. Epema (2007). Virtual Domain Sharing in e-Science Based on Usage Service Level Agreements. In Thierry Priol and Marco Vanneschi (Eds.). CoreGRID Symposium, pp. 15-25. Springer-Verlag. [BibTeX]
  • Marco Lormans (2007). Monitoring Requirements Evolution using Views. In Ren'e L. Krikhaar and Chris Verhoef and Giuseppe A. Di Lucca (Eds.). 11th European Conference on Software Maintenance and Reengineering (CSMR), pp. 349-352. IEEE Computer Society. [BibTeX]
  • Manuel V.C. Vieira (2007). Jordan Algebraic approach to symmetric optimization. PhD Thesis, Faculty of Electrical Engineering, Mathematics and Computer Science, TU Delft, NL 2628 CD, Delft, The Netherlands. [BibTeX]
  • Gamal Elabwabi (2007). Topics in global optimization using semidefinite optimization. PhD Thesis, Faculty of Electrical Engineering, Mathematics and Computer Science, TU Delft, NL 2628 CD, Delft, The Netherlands. [BibTeX]
  • G. Elabwabi (2007). Topics in global optimization using semidefinite optimization. PhD Thesis, Faculty of Electrical Engineering, Mathematics and Computer Science, TU Delft, NL--2628 CD Delft, The Netherlands. [BibTeX]
  • Farrukh Nadeem and Radu Prodan and Thomas Fahringer and Alexandru Iosup (2007). Benchmarking Grid Applications for Performance and Scalability Predictions. In Proc. of the Second CoreGRID Workshop on Middleware. CoreGRID [BibTeX]
  • Corina Stratan and Catalin Cirstoiu and Alexandru Iosup (2007). On the Accuracy of Off-Line Monitoring Information in Grids. In Proc. of the 16th Intl. Conference on Control Systems and Computer Science (CSCS-16), pp. 663--670. [BibTeX]
  • A. Iosup and C. Dumitrescu and D.H.J. Epema and H. Li and L. Wolters (2007). On the Characteristics of Real Grid Workloads. In 13th Annual Conference of the Advanced School for Computing and Imaging (ASCI'07), pp. 373--381. [BibTeX]
  • M.V.C. Vieira (2007). Jordan algebraic approach to symmetric optimization. PhD Thesis, Faculty of Electrical Engineering, Mathematics and Computer Science, TU Delft, NL--2628 CD Delft, The Netherlands. [BibTeX]
  • P. Garbacki and D.H.J. Epema and M. van Steen (2007). An Amortized Tit-For-Tat Protocol for Exchanging Bandwidth instead of Content in P2P Networks. In 13th Annual Conference of the Advanced School for Computing and Imaging (ASCI 2007), Heijen, Netherlands. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2007). Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference. In Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA, pp. 91--98. [BibTeX]
  • H. Wasmus and H.-G. Gross (2007). Evaluation of Test-Driven Development. In C. Gonzales-Perez and L.A. Maciaszek (Eds.). 2nd Working Conference on Evaluation of Novel Approaches to Software Engineering, pp. 103--110. Insticc Press. [BibTeX]
  • B. Cornelissen and A. van Deursen and L. Moonen and A. Zaidman (2007). Visualizing Testsuites to Aid in Software Understanding. In Rene Krikhaar and Chris Verhoef and Giuseppe Di Lucca (Eds.). Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR), pp. 213--222. IEEE Computer Society. [BibTeX]
  • Alexander Feldman and Marco Caporicci and Oscar Gracia and Andr'e Bos (2007). Advances in Intelligent Health Reasoning and its Application to IBDM. In Proceedings of the IEEE Aerospace Conference Big Sky, Montana, USA. [BibTeX]
  • Ali Mesbah and Arie van Deursen (2007). An Architectural Style for Ajax. In D. Paulish and I. Gorton and J. Tyree and D. Soni (Eds.). Proceedings of the 6th Working IEEE/IFIP Conference on Software Architecture (WICSA'07), pp. 44-53, Mumbai, India. IEEE Computer Society. [BibTeX]
  • A.L. Varbanescu and H.J. Sips and K.A. Ross and Q. Liu and A. Natsev and J.R. Smith and L.-K. Liu (2007). Running Applications on Cell BE - a Performance Study. In Pedro C. Diniz (Eds.). CPC 2007. [BibTeX]
  • Engin Bozdag and Ali Mesbah and Arie van Deursen (2007). A Comparison of Push and Pull Techniques for Ajax. In S. uang and M. Di Penta (Eds.). Proceedings of the 9th IEEE International Symposium on Web Site Evolution (WSE), pp. 15-22, Paris, France. IEEE Computer Society. [BibTeX]
  • Ali Mesbah (2007). Ajaxifying Classic Web Applications. In Proceedings of the 29th International Conference on Software Engineering (ICSE'07 Companion), Doctoral Symposium, pp. 81-82, Minneapolis, MN, USA. IEEE Computer Society. [BibTeX]
  • B. Graaf and A. van Deursen (2007). Model-Driven Consistency Checking of Behavioural Specifications. In Joao M. Fernandes and Ricardo J. Machado and Ridha Khedri and Siobhan Clarke (Eds.). Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007), pp. 115-126. IEEE Computer Society. [BibTeX]
  • Bas Graaf (2007). Model-driven evolution of software architectures. In Rene Krikhaar and Chris Verhoef and Giuseppe Antonia Di Lucca (Eds.). Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), pp. 357--360, Amsterdam, The Netherlands. IEEE Computer Society. [BibTeX]
  • Nico Roos and Cees Witteveen (2007). Diagnosis of Plan Structure Violations. In Paolo Petta, J''org P. M''uller, Matthias Klusch, Michael Georgeff (Eds.). Multiagent System Technologies, 5th German Conference, MATES 2007, pp. 157-169. Lecture Notes in Artificial Intelligence 4687, Springer -- This paper received the MATES2007 Best Paper Award. [BibTeX]
  • P. Zoeteweij and R. Abreu and A.J.C. van Gemund (2007). Software fault diagnosis. In A. Petrenko and M. Veanes and J. Tretmans and W. Grieskamp (Eds.). 19th IFIP International Conference on Testing of Communicating Systems: Hand-Outs for the Tutorial Day of TestCom/FATES 2007, pp. 1-26. Tartu University Press. [BibTeX]
  • B. Cornelissen and L. Moonen (2007). Exploring Similarities in Execution Traces. In Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy (Eds.). Proceedings of the 3rd International Workshop on Program Comprehension through Dynamic Analysis (PCODA), pp. 6--10. Technische Universiteit Delft. [BibTeX]
  • P. Zoeteweij and R. Abreu and R. Golsteijn and A.J.C. van Gemund (2007). Fault diagnosis of embedded software using program spectra. In P. Groot (Eds.). Proceedings of Symposium on Verification and Validation of Software Systems (VVSS'07), pp. 47-53. TUE Computer Science Reports [BibTeX]
  • Marco Lormans (2007). Monitoring Requirements Evolution using Views. In Ren'e L. Krikhaar and Chris Verhoef and Giuseppe A. Di Lucca (Eds.). 11th European Conference on Software Maintenance and Reengineering Software Evolution in Complex Software Intensive Systems CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands, pp. 349-352. IEEE Computer Society. [BibTeX]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2007). On the Accuracy of Spectrum-based Fault Localization. In Phil McMinn (Eds.). Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART'07), pp. 89-98, Windsor, United Kingdom. IEEE Computer Society. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2007). Approximate Model-Based Diagnosis Using Greedy Stochastic Search. In Proceedings of the Seventh Symposium on Abstraction Reformulation, and Approximation, Whistler, Canada, pp. 139--154. [BibTeX]
  • M. Marin and L. Moonen and A. van Deursen (2007). Documenting Typical Crosscutting Concerns. In Massimiliano Di Penta and Jonathan I. Maletic (Eds.). Proceedings 14th IEEE Working Conference on Reverse Engineering (WCRE), pp. 31--40. IEEE Computer Society. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2007). Generating Manifestations of Max-Fault Min-Cardinality Diagnoses. In Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA, pp. 83--90. [BibTeX]
  • Alexander Feldman and Gregory Provan and Arjan van Gemund (2007). Approximate Model-Based Diagnosis Using Greedy Stochastic Search. In Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA, pp. 290--297. [BibTeX]
  • Cathal Boogerd (2007). Supporting Reliable Software Evolution through Program Analysis. In Rene Krikhaar and Chris Verhoef and Giuseppe Di Lucca (Eds.). Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR), pp. 341--344. IEEE Computer Society Press. [BibTeX]
  • Narasimha, C. Yadati and Kamath, Manjunath and Sharda, Ramesh (2007). A Semi Markov Decision Process Approach To E-mail Management In A Knowledge Work Environment. In Automation Science and Engineering, 2007. CASE 2007. IEEE International, pp. 1051--1056. [BibTeX]
  • Bas Graaf and Arie van Deursen (2007). Using MDE for generic comparison of views. In Benoit Baudry and Alain Faivrea and Sudipto Ghosh and Alexander Pretschner (Eds.). Proceedings of 4th MoDeVVa Workshop: Model-Driven Engineering, Verification and Validation, Nashville, TN, USA. INRIA. [BibTeX]
  • Abdelwahab Hamou-Lhadj and Andy Zaidman and Orla Greevy (2007). Workshop on Program COmprehension through Dynamic Analysis (PCODA'07). In Proceedings of the 14th Working Conference on Reverse Engineering (WCRE2007), pp. 298-299. IEEE Computer Society. [BibTeX]
  • G.L. Reijns and A.J.C. van Gemund (2007). Reliability Analysis of Hierarchical Systems using Statistical Moments. IEEE Transactions on Reliability 56(3):1-8. [BibTeX]
  • M. El Ghami and T. Steihaug and C. Roos (2007). Primal-dual IPMS for semidefinite optimization based on finite barrier functions. In Nadia Brauner and Olivier Briant (Eds.). Conf'erence scientific conjointe en Recherche Op'erationelle et Aide `a la D'ecision FRANCORO V / ROADEF, pp. 69 - 82. Presses universitaires de Grenoble. [BibTeX]
  • Jan Hidders and Philippe Michiels and J'er^ome Sim'eon and Roel Vercammen (2007). How To Recognize Different Kinds of Tree Patterns from Quite a Long Way Away. In PLAN-X 2007, pp. 14--24. [BibTeX]
  • Jan Hidders and Natalia Kwasnikowska and Jacek Sroka and Jerzy Tyszkiewicz and Van den Bussche, Jan (2007). A formal model of dataflow repositories. In LNBI, pp. 105--121. [BibTeX]
  • Nadeem, Farrukh and Prodan, Radu and Fahringer, Thomas and Losup, Alexandru (2007). Benchmarking Grid Applications. Technical Report TR-0104, Institute on Resource Management and Scheduling, CoreGRID - Network of Excellence. [BibTeX]
  • A. van Deursen and P. Klint (2007). In T.M.A. Bemelmans, M. van Keulen, R.J. Kusters en M. Looijen (Eds.) ICT Zakboek, Ch. VI.2 Programmatuur, pp. 69-108. Reed Business Information. [BibTeX]
  • Dietz, J.L.G. (2007). In J. Donkers, L. Mommers, E. Postma, A. Schmidt (Eds.) Recht en Wonder, pp. 88-91. MICC, Universiteit Maastricht. [BibTeX]
  • Antonia Albani and Nikolaus Muessigmann and Johannes Maria Zaha (2007). In Peter Fettke and Peter Loos (Eds.) Reference Modeling for Business Systems Analysis, Ch. A Reference Model for Strategic Supply Network Delvelopment, pp. 217-240. IDEA Group Publishing. [BibTeX]
  • H. Mansouri and C. Roos (2007). Simplified O(nL) infeasible interior-point algorithm for linear optimization using full_Newton steps. Optimization methods and software 22(3):519-530. [BibTeX]
  • Jeroen L. de Jong and Wilbert L. van Norden (2007). Application of hybrid metaheuristics in sensor management. Aerospace Science and Technology 11(4):205-302. [BibTeX]
  • Robert Meersmann and Zahir Tari and Pilar Herrero and Antonia Albani et al. (Eds.) (2007). On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops (Part 2), Springer LNCS 4806. [BibTeX]
  • J.E. Fokker and J.A. Pouwelse and W. Buntine (2007). In R. Perrot (Eds.) P2P Networks, Ch. Tag-Based Navigation for Peer-to-Peer Wikipedia, pp. 82-94. Icfai University Press. [BibTeX]
  • Robert Meersmann and Zahir Tari and Pilar Herrero and Antonia Albani et al. (Eds.) (2007). On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops (Part 1), Springer LNCS 4805. [BibTeX]
  • K. van der Meer en G.J. Houben (2007). In T.M.A. Bemelmans, M. van Keulen, R.J. Kusters en M. Looijen (Eds.) ICT zakboek, Ch. Documentaire informatiesystemen, pp. 203-210. Reed business. [BibTeX]
  • P. Zoeteweij and R. Abreu and R. Golsteijn and A.J.C. van Gemund (2007). Implementatie van spectrumgebaseerde foutdiagnose in embedded software. Unpublished. [BibTeX]
  • Chetan Yadati and Carlos A.S Oliveira and Panos M. Pardalos (2007). In Erricos John Kontoghiorghes and Cristian Gatu (Eds.) Optimisation, Econometric and Financial Analysis, Ch. An Approximate Winner determination Algorithm for Hybrid procurement, pp. 51-66. Springer Berlin Heidelberg. [BibTeX]
  • Magiel Bruntink and Arie van Deursen and Maja d'Hondt and Tom Tourwe (2007). Simple Crosscutingg Concerns are not So Simple. In Remco van Engelen and Jeroen Voeten (Eds.) Ideals: evolvability of Software-Intensive High-Tech Systems, Ch. 2, pp. 23-38. Embedded Systems Institute. [BibTeX]
  • Go, A., Lee, C., Dietz, J.L.G. (2007). Awareness bepaalt succes of falen van een EA-traject. TIEM 21:4-10. [BibTeX]
  • Dietz, J.L.G., Hoogervorst, J.A.P. (2007). Enterprise Ontology and Enterprise Architecture. GEAO Journal of Enterprise Architecture 2(1):3-20. [BibTeX]
  • K. van der Meer (2007). In T.M.A. Bemelmans, M. van Keulen, R.J. Kusters en M. Looijen (Eds.) ICT-Zakboek, Ch. Digitale duurzaamheid, pp. 526-533. Reed business. [BibTeX]
2006
  • Cathal Boogerd and Leon Moonen (2006). Prioritizing Software Inspection Results using Static Profiling. In Massimiliano Di Penta and Leon Moonen (Eds.). Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM), pp. 149--158. IEEE Computer Society Press. [BibTeX]
  • Cathal Boogerd and Leon Moonen (2006). Ranking Software Inspection Results using Execution Likelihood. In Jaap van der Heijden (Eds.). Proceedings of the Philips Software Conference (PSC), pp. 10. Philips. [BibTeX]
  • C.L. Dumitrescu and D.H.J. Epema and J. Dunnweber and S. Gorlatch (2006). Reusable Cost-Based Scheduling of Grid Workflows Operating on Higher-Order Components. In Proc. of the Second IEEE International Conference on e-Science and Grid Computing (e-Science'06), pp. 87-94. IEEE Computer Science. [BibTeX]
  • Alexander Feldman and Arjan van Gemund (2006). A Two-Step Hierarchical Algorithm for Model-Based Diagnosis. In Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-06), July 16-20 Boston, Massachusetts, USA, pp. 827--833. AAAI Press. [BibTeX]
  • E.H.Durr, R. Dekker and K. van der Meer (2006). Archival metadata for durable data sets. In F.M.G. de Jong and W. Kraaij (Eds.). Proceedings of the sixth Dutch-Belgian Information retrieval Workshop DIR'06, pp. 19-23. Neslia Paniculata. [BibTeX]
  • B. Wang and C. Pronk (2006). Design and Implementation of a GUI for the TLC model checker. Sigplan Notices 41(12):38 .. 43. [BibTeX]
  • Alexander Feldman and Jurryt Pietersma and Arjan van Gemund (2006). All Roads Lead to Fault Diagnosis: Model-Based Reasoning with Lydia. In Pierre-Yves Schobbens and Wim Vanhoof and Gabriel Schwanen (Eds.). Proceedings of the Eighteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC-06) Namur, Belgium, pp. 123--131. [BibTeX]
  • Jurryt Pietersma and Arjan J.C. van Gemund (2006). Diagnostic Accuracy of Models. In Hong-Yue Zhang (Eds.). Preprints of 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS 2006), Beijing, China, pp. 913-918. International Federation of Automatic Control (IFAC). [BibTeX]
  • Javier Bustos-Jim'enez and Denis Caromel and Jose Miguel Piquer and Alexandru Iosup (2006). The Rocking Chair and the Grid: Balancing Load Across Project Grids. In Sergei Gorlatch and Marian Bubak and Theirry Priol (Eds.). Proc. of the CoreGRID Workshop on Integrated Research in Grid Computing, pp. 117--128. [BibTeX]
  • Duncan Doyle and Hans Geers and Bas Graaf and Arie van Deursen (2006). Migrating a Domain-Specific Modeling Language to MDA Technology. In Jean Marie Favre and Dragan Gasevic and Ralf Lammel and Andreas Winter (Eds.). Proceedings of the 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies for Reverse Engineering (ateM 2006), pp. 47-54. Mainzer Informatik-Berichte [BibTeX]
  • Roos, C. (2006). A full-Newton step O(n) infeasible interior-point algorithm for linear optimization. SIAM J. Optim. 16(4):1110--1136. [BibTeX]
  • N.J.C. Kol, R.J. van Diessen and K. van der Meer (2006). An improved Universal Virtual Computer approach for long-term preservation of digital objects. Information Services and Use 26(4):283-291. [BibTeX]
  • Hans Spanjers and Maarten ter Huurne and Bas Graaf and Marco Lormans and Dan Bendas and Rini van Solingen (2006). Tool Support for Distributed Software Engineering. In Frances Paulisch and Philippe Kruchten and Audris Mockus (Eds.). Proceedings of the IEEE International Conference on Global Software Engineering (ICGSE'06), pp. 187--198. IEEE Computer Society. [BibTeX]
  • Mariano Ceccato and Marius Marin and Kim Mens and Leon Moonen and Paolo Tonella and Tom Tourwé (2006). Applying and combining three different aspect mining techniques. Software Quality Journal:209-231. [BibTeX]
  • Mira Kajko-Mattsson and Gerardo Canfora and Dan Chiorean and Arie van Deursen and Tuomas Ihme and Meir M. Lehman and Rupert Reiger and Torsten Engel and Josef Wernke (2006). A Model of Maintainability - Suggestion for Future Research. In Hamid R. Arabnia and Hassan Reza (Eds.). Software Engineering Research and Practice, pp. 436-441. CSREA Press. [BibTeX]
  • T. Reus and H. Geers and A. van Deursen (2006). Harvesting Software Systems for MDA-Based Reengineering. In Arend Rensink and Jos Warmer (Eds.). European Conference on Model Driven Architectures: Foundations and Applications, pp. 213--225. Lecture Notes in Computer Science 4066, Springer-Verlag. [BibTeX]
  • Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund (2006). An Evaluation of Similarity Coefficients for Software Fault Localization. In Daniel Jeske, Gianfranco Ciardo, Yuan-Shun Dai (Eds.). PRDC'06, Procedings of the 12th Pacific Rim International Symposium on Dependable Computing, pp. 39--46. IEEE Computer Society. [BibTeX]
  • A. Iosup and D.H.J. Epema (2006). GrenchMark: Towards a Generic Framework for Analyzing, Testing, and Comparing Grids. In J.W.J. Heijnsdijk and K.G. Langendoen (Eds.). 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI'06), pp. 21--29. [BibTeX]
  • H. Gautama and A.J.C. van Gemund (2006). Low-Cost Static Performance prediction of stochastic parallel task compositions. IEEE Transactions on Parallel and Distributed Systems 17(1):78-91. [BibTeX]
  • M. Bruntink and Deursen, A. van and T. Tourw'e (2006). Discovering Faults in Idiom-Based Exception Handling. In Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa (Eds.). Proceedings of the International Conference on Software Engineering (ICSE'06), pp. 242--251. ACM Press. [BibTeX]
  • P. Garbacki and A. Iosup and D.H.J. Epema and M. van Steen (2006). Collaborative Downloads in File-Sharing P2P Networks. In 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI'06), pp. 90--98. [BibTeX]
  • O. Sonmez and H.H. Mohamed and D.H.J. Epema (2006). Communication-Aware Job Placement Policies for the KOALA Grid Scheduler. In Proc. of the Second IEEE International Conference on e-Science and Grid Computing (e-Science'06), pp. 79-86. IEEE Computer Science. [BibTeX]
  • B. Cornelissen and A. van Deursen and L. Moonen (2006). Aiding in the Comprehension of Testsuites. In Andy Zaidman and Abdelwahab Hamou-Lhadj and Orla Greevy (Eds.). Proceedings of the 2nd Workshop on Program Comprehension through Dynamic Analysis (PCODA'06), pp. 17--20. Universiteit Antwerpen. [BibTeX]
  • Pieter Jan't Hoen and Karl Tuyls and Liviu Panait and Sean Luke and Johannes A. La Poutr'e (2006). An Overview of Cooperative and Competitive Multiagent Learning. In Karl Tuyls and Pieter Jan't Hoen and Katja Verbeeck and Sandip Sen (Eds.). Learning and Adaption in Multi-Agent Systems, First International Workshop, LAMAS 2005, Revised Selected Papers, pp. 1-46, Utrecht, The Netherlands. Lecture Notes in Computer Science 3898, Springer. [BibTeX]
  • Karen K. Fullam and Tomas B. Klos and Guillaume Muller and Jordi Sabater-Mir and K. Suzanne Barber and Laurent Vercouter (2006). The Agent Reputation and Trust (ART) Testbed. In Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2006), pp. 449--450. [BibTeX]
  • P.J. 't Hoen and S.M. Bohte and J.A. La Poutré (2006). Learning from Induced Changes in Opponent (Re)Actions in Multi-Agent Games. In Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone (Eds.). 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pp. 728-735, Hakodate, Japan. ACM. [BibTeX]
  • I.B. Vermeulen and S.M. Bohte and D. Somefun and H. La Poutr'e (2006). Improving Patient Activity Schedules by Multi-agent Pareto Appointment Exchanging. In U. Dayal and K-J Lin (Eds.). Proceedings of the 8th IEEE International Conference on E-Commerce Technology and the 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06), pp. 1--15. IEEE press. [BibTeX]
  • Han Noot and Koye Somefun and Tomas B. Klos and Valentin Robu and Han La Poutré (2006). Visualization of Agent-Mediated Bargaining over Bundles of Goods. In Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2006), pp. 457--458. [BibTeX]
  • Tomas B. Klos and Han La Poutré (2006). A Versatile Approach to Combining Trust Values for Making Binary Decisions. In Proceedings of the 18th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2006),. [BibTeX]
  • D. Chaerani and C. Roos (2006). Modelling Some Robust Design Problems via Conic Optimization. In Karl-Heinz Waldmann and Ulrike M. Stocker (Eds.). Operations Research Proceedings 2006, pp. 209-214. Springer. [BibTeX]
  • Nikolaus Muessigmann and Antonia Albani (2006). Supplier network management: evaluating and rating of strategic supply networks. In SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, pp. 1511--1515, Dijon, France. ACM. [BibTeX]
  • Nikolaus Muessigmann and Antonia Albani and Klaus Turowski (2006). An Inter-Organizational System Approach For Strategic Supply Network Modelling. In Prashant Palvia and Praveen Pinjani and M. Naveed Baqir (Eds.). Proceedings of the Seventh Annual Global Information Technology Management World Conference., pp. 88-90. Global Information Technology Management Association (GITMA). [BibTeX]
  • Antonia Albani and J. L.G. Dietz (2006). The Benefit of Enterprise Ontology in Identifying Business Components. In M. Bramer (Eds.). IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, pp. 243-254. Springer. [BibTeX]
  • Johannes Maria Zaha and Antonia Albani (2006). Compatibility Test for Coordination Aspects of Software Components. In Australian Software Engineering Conference (ASWEC 2006), pp. 41-48. IEEE Computer Society. [BibTeX]
  • J.J.D. Mol, D.H.J. Epema, H.J. Sips (2006). The Orchard Algorithm: P2P Multicasting without Free-Riding. In Proc. of the Twelfth Annual Conference of the Advanced School for Computing and Imaging (ASCI 2006), pp. 82-89, Lommel, Belgium. [BibTeX]
  • Tomas B. Klos and Bart Nooteboom (2006). Adaptive Learning in Complex Trade Networks. In Tzai-Der Wang, Xiaodong Li, Shu-Heng Chen, Xufa Wang, Hussein Abbass, Hitoshi Iba, Guoliang Chen, and Xin Yao (Eds.) Proceedings 6th International Conference on Simulated Evolution And Learning (SEAL 2006), pp. 695--702. Springer. [BibTeX]
  • A.I.D. Bucur and D.H.J. Epema and H.H. Mohamed (2006). Co-Allocation in Grids: Experiences and Issues. In V. Getov and D. Laforenza and A. Reinefeld (Eds.) Proc. of the Workshop on Future Generation Grids. Springer-Verlag. [BibTeX]
  • Jan Hidders and J'er^ome Sim'eon and Roel Vercammen and Philippe Michiels (2006). How To Recognize Different Kinds of Tree Patterns from Quite a Long Way Away. Technical Report TR UA 13-2, University of Antwerp. [BibTeX]
  • Stijn Dekeyser and Jan Hidders and R. Watson and R. Addie (2006). Peer-to-Peer Form Based Web Information Systems. In Gill Dobbie and James Bailey (Eds.). The Seventeenth Australasian Database Conference (ADC2006), pp. 79--88. Australian Computer Society, Inc.. [BibTeX]
  • Paredaens, Jan and Jan Hidders and Jan Verelst (2006). Towards a Formalization of variability in conceptual models of information systems. In Bernard De Baets and Hans De Meyer and Koen Maes (Eds.). ORBEL 20, Quantitiative Methods for Decision Making, Proc. of the Annual conference of SOGESCI-B.B.W.B., The Belgian Operations Research Society, pp. 75--77. [BibTeX]
  • Karen K. Fullam and Tomas B. Klos and Guillaume Muller and Jordi Sabater-Mir and K. Suzanne Barber and Laurent Vercouter (2006). The Agent Reputation and Trust (ART) Testbed. In Ketil Stølen and William H. Winsborough and Fabio Martinelli and Fabio Massacci (Eds.) Proceedings 4th International Conference on Trust Management, May 16--19 2006, Pisa, Italy, pp. 439--442. Springer. [BibTeX]
  • Andreas Eberhardt and Oliver Gausmann and Antonia Albani (2006). Case Study Automating Direct Banking Customer Service Processes with Service Oriented Architecture. In Robert Meersman and Zahir Tari and Pilar Herrero et al. (Eds.). On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, pp. 763-779. Springer LNCS 4277. [BibTeX]
  • Marius Marin (2006). Reasoning about assessing and improving the candidate-seed quality for a generative aspect mining technique. In Linking Aspect Technology and Evolution Workshop (LATE'06). [BibTeX]
  • F. de Jonge and N. Roos and C. Witteveen (2006). Diagnosis of Multi-agent Plan Execution. In Klaus Fischer, Ingo J. Timm, Elisabeth André, Ning Zhong (Eds.). Multiagent System Technologies, 4th German Conference, MATES 2006, pp. 86-97. Lecture Notes in Computer Science 4196, Springer. [BibTeX]
  • Massimiliano Di Penta and Leon Moonen (Eds.) (2006). Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM), IEEE Computer Society Press. [BibTeX]
  • Marius Marin and Leon Moonen and Arie van Deursen (2006). Fint: Tool support for aspect mining. In Susan Elliott Sim and Massimiliano Di Penta (Eds.). Proceedings of the 13th Working Conference on Reverse Engineering (WCRE), pp. 299-300. IEEE Computer Society Press. [BibTeX]
  • Jeroen L. de Jong and Wilbert L. van Norden (2006). Application of Hybrid Metaheuristics in Sensor Management. In Pierre-Yves Schobbens and Wim Vanhoof and Gabriel Schwanen (Eds.). BNAIC 2006, pp. 397-398. BNVKI. [BibTeX]
  • Robert Meersmann and Zahir Tari and Pilar Herrero and Antonia Albani et al. (Eds.) (2006). On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (Part 2), Springer LNCS 4278. [BibTeX]
  • Jeroen L. de Jong and Tim J. Grant (2006). Hybrid Metaheuristic Planning and Military Decision Making: Commonalities between theories and practice. In David S. Alberts (Eds.). The state of the art and the state of the practice. Department of Defense Command and Control Research Program. [BibTeX]
  • Leon Moonen and Ganesan Ramalingam and Siobhán Clarke (Eds.) (2006). Proceedings of the Dagstuhl Seminar on Aspects for Legacy Applications (nr. 06302), Dagstuhl. [BibTeX]
  • Silvia Breu and Leon Moonen and Magiel Bruntink and Jens Krinke (Eds.) (2006). Proceedings of the First Workshop Towards Evaluation of Aspect Mining (TEAM), Delft University of Technology. [BibTeX]
  • Robert Meersmann and Zahir Tari and Pilar Herrero and Antonia Albani et al. (Eds.) (2006). On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (Part 1), Springer LNCS 4277. [BibTeX]
  • Jeroen L. de Jong and Wilbert L. van Norden (2006). Application of Hybrid Metaheuristics in Sensor Management. In M.Minoux (Eds.). Proceedings COGIS 2006. Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication. [BibTeX]
2005
  • Jeroen L. de Jong (2005). Challenges for Hybrid Metaheuristics in Elevator Dispatching. In Andrew Tuson (Eds.). Proceedings of the 24th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2005), pp. 107-114. [BibTeX]
  • A. Gonzalez Escribano and A.J.C. van Gemund and Valentin Cardenoso Payo (2005). A preliminary nested-parallel framework to efficiently implement scientific applications. In Springer (Eds.). Proc. Int'l Conf. on Vector and Parallel Processing (VecPar'04), Revised Selected and Invited Papers, pp. 541-555. LNCS 3402, Springer. [BibTeX]
  • Alexander Feldman and Arjan van Gemund and Andr'e Bos (2005). A Hybrid Approach to Hierarchical Fault Diagnosis. In Richard Dearden and Sriram Narasimhan (Eds.). Proceedings of the Sixteenth International Workshop on Principles of Diagnosis (DX-05), Monterey California, USA, pp. 101--106. [BibTeX]
  • A. Gonzalez Escribano and A.J.C. van Gemund and Valentin Cardenoso Payo (2005). SPC-XML: A structured representation for nested-parallel programming languages. In Springer (Eds.). Proc. European Conference on Parallel Processing (EuroPar'05), pp. 541-555. Lecture notes in computer science 3648, Springer. [BibTeX]
  • P. Garbacki and D.H.J. Epema and M. van Steen (2005). Two-Level Semantic Caches in Super-Peer Networks. In 11th Annual Conference of the Advanced School for Computing and Imaging (ASCI'05). [BibTeX]
  • Bas Graaf and Sven Weber and Arie van Deursen (2005). Migration of Supervisory Machine Control Architectures. In Robert Nord and Nenad Medvidovic and Rene Krikhaar and Judith Stafford and Jan Bosch (Eds.). Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA 2005), pp. 261-262. IEEE CS. [BibTeX]
  • Karen K. Fullam and Tomas B. Klos and Guillaume Muller and Jordi Sabater-Mir and Zvi Topol and K. Suzanne Barber and Jeffrey S. Rosenschein and Laurent Vercouter (2005). The Agent Reputation and Trust (ART) Testbed Architecture. In B. López and J. Meléndez and P. Radeva and J. Vitrià (Eds.) Artificial Intelligence Research and Development, pp. 389--396. IOS Press. [BibTeX]
  • Wilbert L. van Norden and Jeroen L. de Jong and Fok Bolderheij and Léon J.M. Rothkrantz (2005). Intelligent task scheduling in sensor networks. In Proceedings of the 8th international conference on information fusion, pp. 1351-1358. IEEE. [BibTeX]
  • Bas Graaf and Liam O'Brien and Rafael Capilla (2005). Reengineering towards Product Lines (R2PL 2005). In Andrea de Luccia and Susan Elliot Sim (Eds.). Proceedings of the 12th Working Conference on Reverse Engineering (WCRE 2005), pp. 231. IEEE Computer Society. [BibTeX]
  • G.L. Reijns and A.J.C. van Gemund (2005). Performance prediction of parallel programs using Pearson distributions. Parallel Computing 31(9):877-899. [BibTeX]
  • Deursen, A. van and E. Burd (Eds.) (2005). Special Issue on Reverse Engineering, Journal of Systems and Software 77(3). [BibTeX]
  • A. Iosup and N. Tapus and S. Vialle (2005). A Monitoring Architecture for Control Grids. In Peter M. A. Sloot and Alfons G. Hoekstra and Thierry Priol and Marian Bubak (Eds.). Proc. of the European Grid Conference (EGC2005), pp. 922-931. Lecture Notes in Computer Science 3470, Springer Verlag. [BibTeX]
  • Deursen, A. van and E. Stroulia (Eds.) (2005). Special Issue on Reverse Engineering, IEEE Transactions on Software Engineering 31(2). [BibTeX]
  • H.-G. Gross and I. Schieferdecker and G. Din (2005). In S. Beydeda and V. Gruhn (Eds.) Testing Commercial-off-the-Shelf Components and Systems, Ch. Modeling and Implementation of Built-in Contract Tests. Springer. [BibTeX]
  • P. Zoeteweij (2005). Composing Constraint Solvers. PhD Thesis, University of Amsterdam. [BibTeX]
  • D. Chaerani and C. Roos and A. Aman (2005). The robust shortest path problem by means of robust linear optimization. In H. Fleuren and D. den Hertog and P. Kort (Eds.). Operations Research Proceedins 2004, pp. 335--342. Springer. [BibTeX]
  • C. Atkinson and C. Bunse and C. Peper and H.-G. Gross (2005). In C. Atkinson and C. Bunse and H.-G. Gross and C. Peper (Eds.) Component-Based Software Development for Embedded Systems, Ch. Component-Based Software Development for Embedded Systems — An Introduction. Springer. [BibTeX]
  • Y.Q. Bai and C. Roos (2005). A primal-dual interior-point method based on a new kernel function with linear growth rate. In L. Caccetta and V. Rehbock (Eds.). Industrial Optimisation Volume 1. Proceedings of Symposium on Industrial Optimisation and the 9TH Australian Optimisation Day, pp. 15-28. Western Australian Centre of Excellence in Industrial Optimisation. [BibTeX]
  • M. Halick'a and E. de Klerk and C. Roos (2005). Limiting behaviour of the central path in semidefinite optimization. Optimization Methods and Software 20(1):99--113. [BibTeX]
  • M. El Ghami and C. Roos (2005). Primal-dual interior-point based on a new kernel function. In A. Benchakroun and A. Mansouri (Eds.). Proceedings CIRO'05. Conf'erence Internationale en Recherche Op'erationelle. Th'eory et Applications, pp. 15-29. Impression Kawtar Print. [BibTeX]
  • Tomas B. Klos and Han La Poutré (2005). Decentralized Reputation-based Trust for Assessing Agent Reliability under Aggregate Feedback. In Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2005),, pp. 357--358. [BibTeX]
  • G.Q. Wang and Y.Q. Bai and C. Roos (2005). Primal-dual interior-point algorithms for semidefinite optimization based on a simple kernel function. Journal of Mathematical Modelling and Algorithms 4:409--433. [BibTeX]
  • Maria Gonzalez-Lima and C. Roos (2005). On central-path proximity measures in interior-point methods. Journal of Optimization Theory and its Applications 127(2):303--328. [BibTeX]
  • Karen K. Fullam and Tomas B. Klos and Guillaume Muller and Jordi Sabater-Mir and Zvi Topol and K. Suzanne Barber and Jeffrey Rosenschein and Laurent Vercouter (2005). The Agent Reputation and Trust (ART) Testbed Architecture. In Proceedings 8th Workshop on Trust in Agent Societies. [BibTeX]
  • A. Iosup and P. Garbacki and J.A. Pouwelse and D.H.J. Epema (2005). A method taking fast and accurate geo* snapshots of large P2P networks. In Proc. of the 15th Intl. Conference on Control Systems and Computer Science (CSCS-15), pp. 663--670. [BibTeX]
  • Deursen, A. van and E. Stroulia (2005). Guest Editors' Introduction: 10th WCRE Working Conference on Reverse Engineering. IEEE Transactions on Software Engineering 31(2):97--98. [BibTeX]
  • N. Roos and C. Witteveen (2005). Diagnosis of plans and agents. In Michael Pechoucek and Paolo Petta and László Zsolt Varga (Eds.). Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS), pp. 357--366. Lecture Notes in Computer Science 3690, [BibTeX]
  • Ali Mesbah and Arie van Deursen (2005). Crosscutting Concerns in J2EE Applications. In D. Distante (Eds.). Proceedings of the 7th IEEE International Symposium on Web Site Evolution (WSE), pp. 14-21, Budapest, Hungary. IEEE Computer Society. [BibTeX]
  • A. W. ter Mors and J. M. Valk and C. Witteveen (2005). Complexity of Task Coordination for Non Cooperative Planning Agents. In Michael Pechoucek and Paolo Petta and László Zsolt Varga (Eds.). Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS), pp. 600--603. Lecture Notes in Computer Science 3690, [BibTeX]
  • Deursen, A. van and E. Burd (2005). Guest Editorial: Software Reverse Engineering. Journal of Systems and Software 77(3):209--211. [BibTeX]
2004
  • C. Roos and D. Chaerani (2004). Robust Truss Topology Design by Means of Conic Optimization. In Yue Minyi (Eds.). Proceedings of the International Conference on Mathematical Programming, December 19-22, 2002, pp. 10--47. Shanghai University Press. [BibTeX]
  • E.D. Andersen and C. Roos and T. Terlaky and T. Trafalis and J.P. Warners (2004). The use of low-rank updates in interior-point methods. In Y. Yuan (Eds.). Numerical Linear Algebra and Optimization, pp. 1--12. Science Press. [BibTeX]
  • A. W. ter Mors and J. M. Valk and C. Witteveen (2004). Complexity of Coordinating Autonomous Planning Agents. In Proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, pp. 995--996. Lecture Notes in Computer Science (LNCS) [BibTeX]
  • N. Roos and C. Witteveen (2004). Plan Diagnosis with Agents. In L. C. Verbrugge and N. Taatgen and L. Schomaker (Eds.). Proceedings of the Belgium-Netherlands Artificial Intelligence Conference (BNAIC), pp. 203--210. [BibTeX]
  • C. Roos (2004). De tijd zal het leren (in Dutch). Nieuw Archief voor Wiskunde 5.5(3):186--202. [BibTeX]
  • Y.Q. Bai and M. El Ghami and C. Roos (2004). A Comparative Study of Kernel Functions for Primal-Dual Interior-Point Algorithms in Linear Optimization. SIAM Journal on Optimization 15(1):101--128. [BibTeX]
  • C. Roos and Y. Bai and D. Chaerani (2004). Conic Optimization Models for Robust Truss Topology Design with Examples. OR Transactions 8(1):1-40. [BibTeX]
  • de Klerk, E. and Roos, C. and Terlaky, T. (2004). Nemlinearis Optimaliz'al'as, Aula Publishing. [BibTeX]
  • Jurryt Pietersma and Arjan J.C. van Gemund and Andre Bos (2004). A Model-Based Approach to Fault Diagnosis of Embedded Systems. In J.J. van Wijk and J.W.J. Heijnsdijk and K.G. Langendoen and R. Veltkamp (Eds.). Proceedings of the tenth annual conference of the Advanced School for Computing and Imaging (ASCI 2004), Port Zélande, Ouddorp, The Netherlands, pp. 189-196. Advanced School for Computing and Imaging (ASCI). [BibTeX]
  • T. Kalker and D. H. J. Epema and P. H. Hartel and R. L. Lagendijk and M. van Steen (2004). Music2Share--Copyright-Compliant Music Sharing in P2P Systems. Proc. of the IEEE 92:961-970. [BibTeX]
  • Tomas B. Klos and Han La Poutré (2004). Decentralized Reputation-based Trust for Assessing Agent Reliability under Aggregate Feedback. In 7th Workshop on Trust in Agent Societies, pp. 75--82. [BibTeX]
  • Koye Somefun and Tomas B. Klos and Han La Poutré (2004). Negotiating over Bundles and Prices Using Aggregate Knowledge. In Proceedings 10th International Conference on Computing in Economics and Finance (CEF 2004). [BibTeX]
  • Koye Somefun and Tomas B. Klos and Han La Poutré (2004). Negotiating Over Bundles and Prices Using Aggregate Knowledge. In Proceedings 16th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2004),, pp. 307--308. [BibTeX]
  • Paivi Parviainen and Maarit Tihinen and Marco Lormans and Rini van Solingen (2004). Requirements Engineering: Dealing with the Complexity of Sociotechnical Systems Development. In Jose Luis Mate and Andres Silva (Eds.). Requirements Engineering for Sociotechnical Systems. IdeaGroup Inc.. [BibTeX]
2003
  • C. Roos (2003). De tijd zal het leren, Delft University of Technology. [BibTeX]
  • P. C. Buzing and A. E. Eiben and M. C. Schut (2003). Evolving Agent Societies with VUScape. In W. Banzhaf and T. Christaller and P. Dittrich and J. T. Kim and J. Ziegler (Eds.). Proceedings of the 7th European Conference on Artificial Life (ECAL 2003), pp. 434--441. Lecture Notes in Artificial Intelligence 2801, Springer. [BibTeX]
  • A. Ben-Tal and A. Nemirovski and C. Roos (2003). Extended Matrix Cube Theorems with applications to $mu$-theory in control. Mathematics of Operations Research 28(3):497-523. [BibTeX]
  • E.D. Andersen and C. Roos and T. Terlaky (2003). On implementating a primal-dual interior-point method for conic quadratic optimization. Mathematical Programming (Series B) 95:249-277. [BibTeX]
  • Y.Q. Bai and M. El Ghami and C. Roos (2003). A new efficient large-update primal-dual interior-point method based on a finite barrier. SIAM Journal on Optimization 13(3):766--782. [BibTeX]
  • Y.Q. Bai and C. Roos (2003). A plynomial-time algorithm for linear optimization based on a new simple kernel function. Optimization Methods and Software 18(6):631-646. [BibTeX]
  • A.I.D. Bucur and D.H.J. Epema (2003). A Measurement-Based Simulation Study of Processor Co-Allocation in Multicluster Systems. In D.G. Feitelson, L. Rudolph, and U. Schwiegelshohn (Eds.). 9th Workshop on Job Scheduling Strategies for Parallel processing, pp. 105-128. LNCS 2862, Springer-Verlag. [BibTeX]
2002
  • Andersen, E. D. and Roos, C. and Terlaky, T. (2002). Notes on duality in second order and $p$-order cone optimization. Optimization 51(4):627--643. [BibTeX]
  • A. Ben-Tal and A. Nemirovski and C. Roos (2002). Robust solutions of uncertain quadratic and conic-quadratic problems. SIAM Journal on Optimization 13(2):535--560. [BibTeX]
  • M. Halick'a and E. de Klerk and C. Roos (2002). On the convergence of the central path in semidefinite optimization. SIAM Journal on Optimization. 12(4):1090--1099. [BibTeX]
  • Peng, J. and Roos, C. and Terlaky, T. (2002). Primal-dual interior-point methods for second-order conic optimization based on self-regular proximities. SIAM Journal on Optimization. 13(1):179--203 (electronic). [BibTeX]
  • J. Peng and C. Roos and T. Terlaky (2002). Self-regular functions and new search directions for linear and semidefinite optimization. Mathematical Programming 93:129--171. [BibTeX]
  • J.M. Valk and C. Witteveen (2002). Multi-agent Coordination in Planning. In M. Ishizuka and A. Sattar (Eds.). PRICAI 2002: Trends in Artificial Intelligence: 7th Pacific Rim International Conference on Artificial Intelligence, pp. 335--344. Lecture Notes in Artificial Intelligence 2427, Springer. [BibTeX]
  • M.P. van Lohuizen (2002). Efficient and thread-safe unification with linGO. In S. Oepen and D. Flickinger and J.I. Tsujii and H. Uszkoreit (Eds.) Collaborative language engineering; a case study in efficient grammar-based processing, pp. 145-165. CSLI publications. [BibTeX]
  • L. Aronson and R. Konings and E.D. Kreutzberger (2002). Improving Pre- and End-Haulage in Intermodal Transport: Development of an Efficient Planner. In Proceedings part 2 of the International Congress on Freight Transport Automation and Multimodality: Organisational and Technological Innovations. TRAIL Conference Proceedings Series No, P2002/1 [BibTeX]
  • J. Peng and C. Roos and T. Terlaky (2002). Self-Regularity. A New Paradigm for Primal-Dual Interior-Point Algorithms, Princeton University Press. [BibTeX]
  • C. Roos (2002). Interior-Point Methods for Linear Optimization. In P. Pardalos and M. Resende (Eds.). Handbook of Applied Optimization, pp. 21--39. Oxford University Press. [BibTeX]
  • J. Peng and C. Roos and T. Terlaky (2002). A New Class of Polynomial Primal-Dual Methods for Linear and Semidefinite Optimization. European Journal of Operations Research 143(2):234--256. [BibTeX]
  • Hertog, D. den and E. de Klerk and C. Roos (2002). On convex quadratic approximation. Statistica Neerlandica 56(3):376--385. [BibTeX]
  • A.J. Quist and C. Roos and T. Terlaky and R. van Geemert and J.E. Hoogenboom (2002). Reloading nuclear reactor fuel using mixed-integer nonlinear optimization. Optimization and Engineering 2:251--276. [BibTeX]
  • Y.Q. Bai and M. El Ghami and C. Roos (2002). A primal-dual interior-point algorithm for linear optimization based on a new proximity function. Optimization Methods & Software 17(6):985--1008. [BibTeX]
  • C. Roos and D. Chaerani (2002). Conic Optimization, with applications to (robust) truss topology design. Proceedings Institut Teknologi Bandung 34(2 & 3):343-380. [BibTeX]
2001
  • A. Ben-Tal and A. Nemirovski and C. Roos (2001). Robust versions of Convex Quadratic and Conic-Quadratic Problems. In D. Li (Eds.). Proceedings of the 5th International Conference on Optimization. Techniques and Applications (ICOTA 2001), pp. 1818--1825. Contemporary Development Company. [BibTeX]
  • C. Roos (2001). Proximity functions for linear and semidefinite optimization. In X.Q. Yang and L.Q. Qi and K.L. Teo (Eds.). A collection of presentations in the International Workshop on Optimization with High Technology Applications (OHTA 2000), pp. 530--538. Dpt. of Applied Mathematics, The Hong Kong Polytechnic University. [BibTeX]
  • A. Radulescu and A.J.C. van Gemund (2001). Low-Cost Mixed Task and Data Parallel Scheduling. In 30-th International Conference on Parallel Processing (ICPP), pp. 69--76. [BibTeX]
  • C. Roos (2001). Linear Optimization. In Robert A. Meyers (Eds.). Encyclopedia of Physical Science and Technology, pp. 597--616. Academic Press. [BibTeX]
  • B.J. Overeinder and H.J. Sips (2001). Wide-area distributed applications in high perfromance computing (Guest Editors Special issue). Future Generation Computer Systems 17:767--768. [BibTeX]
  • Andersen, E. D. and Mitchell, J. E. and Roos, C. and Terlaky, T. (2001). A homogenized cutting plane method to solve the convex feasibility problem. In X.Q. Yang and K.L. Teo and L. Caccetta (Eds.) Optimization methods and applications, pp. 167--190. Kluwer Acad. Publ.. [BibTeX]
  • Klerk, E. de and Peng, J. and Roos, C. and Terlaky, T. (2001). A scaled Gauss-Newton primal-dual search direction for semidefinite optimization. SIAM Journal on Optimization. 11(4):870--888. [BibTeX]
  • J. Peng and C. Roos and T. Terlaky (2001). A New and Efficient Large-Update Interior-Point Method for Linear Optimization. Journal of Computational Technologies 6(4):61--80. [BibTeX]
  • J. Peng and C. Roos and T. Terlaky (2001). New complexity analysis of the primal-dual method for semidefinite optimization based on NT-direction. Journal of Optimization Theory and Applications 109(2):327--343. [BibTeX]
  • J. Peng (2001). New Design an Analysis of Interior-Point Methods. PhD Thesis, Delft University of Technology, Delft The Netherlands. [BibTeX]
  • H.J. Sips and R. Sommerhalder and E.H. D'Hollander (2001). Linear Systems and Associated Problems (Guest Editors). Parallel Computing 27(7):867--868. [BibTeX]
  • A. Nemirovski and C. Roos (2001). Motzkin's transposition theorem. In C.A. Floudas and P.M. Pardalos (Eds.) Encyclopedia of Optimization, pp. 447--450. Kluwer Academic Publishers. [BibTeX]
  • C. Roos (2001). Tucker's homogeneous systems of linear relations. In C.A. Floudas and P.M. Pardalos (Eds.) Encyclopedia of Optimization, pp. 469--473. Kluwer Academic Publishers. [BibTeX]
  • C. Roos (2001). Farkas' lemma. In C.A. Floudas and P.M. Pardalos (Eds.) Encyclopedia of Optimization, pp. 85--87. Kluwer Academic Publishers. [BibTeX]
  • C. Roos (2001). Linear Optimization: Theorems of the alternative. In C.A. Floudas and P.M. Pardalos (Eds.) Encyclopedia of Optimization, pp. 181--184. Kluwer Academic Publishers. [BibTeX]
  • B. P. Harrenstein and W. van der Hoek and J-J. Ch. Meyer and C. Witteveen (2001). Boolean Games. In J. van Benthem (Eds.). Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'01), pp. 287--298. Morgan Kaufmann. [BibTeX]
  • Sandra Oudshoff and Tomas B. Klos and Ivor Bosloper Ben Spaanenburg (2001). Clustering Virtual Communities with Text Mining. In Proceedings 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001), pp. 195--202. [BibTeX]
2000
  • Klerk, E. de and T. Terlaky and C. Roos (2000). Self-dual Embeddings. In H. Wolkowicz and R. Saigal and L. Vandenberghe (Eds.). Handbook on Semidefinite Programming. Theory, Algorithms and Applications, pp. 111--138. International Series in Operations Research & Management Sciences [BibTeX]
  • A.M. Lele and S.K. Nandy and D.H.J. Epema (2000). Design Space Exploration for Providing QoS within the Harmony Framework. In 2000 IEEE Int'l Conference Multimedia and Expo (ICME), pp. 521-524. [BibTeX]
  • I.M. Bomze and M. D"ur and E. de Klerk and C. Roos and T. Terlaky (2000). On copositive programming and standard quadratic optimization problems. Journal on Global Optimization 18(4):301--320. [BibTeX]
  • Peng, J. and Roos, C. and Terlaky, T. (2000). New complexity analysis of the primal-dual Newton method for linear optimization. Ann. Oper Res. 99:23--39 (2001). [BibTeX]
  • H. Tonino and A. Bos and C. Witteveen (2000). Replanning by revision in Collective Agent Based Systems. Technical Report, PDS. [BibTeX]
  • A.M. Lele and S.K. Nandy and D.H.J. Epema (2000). A Dynamic Channel Allocation Algorithm for Next Generation Wireless Networks. In SoftCOM 2000, Int'l Conference on Software Telecommunications and Computer Networks, pp. 427-436. [BibTeX]
  • Bart Nooteboom and Tomas B. Klos and René Jorna (2000). Adaptive Trust and Co-operation: An Agent Based Simulation Approach. In Proceedings 4th Annual Conference of the International Society for New Institutional Economics (ISNIE). [BibTeX]
  • A. Bakker and E. Amade and G. Ballintijn and I. Kuz and P. Verkaik and I. van der Wijk and M. van Steen and A.S. Tanenbaum (2000). The Globe Distribution Network. In Proceedings 2000 USENIX Annual Conference (FREENIX Track), pp. 141--152. [BibTeX]
  • A. Bos and N. Roos and C. Witteveen (2000). Complexity reduction by using computational histories. In A. van den Bosch and H. Weigand (Eds.). Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference (BNAIC '00), pp. 207--214. [BibTeX]
  • A. Bos and C. Witteveen (2000). Safe Testing for Dynamic Systems. In DX'00 Eleventh International Workshop On Principles of Diagnosis, pp. 9--16. [BibTeX]
  • A. Bos and A. van Gemund and C. Witteveen (2000). Design of a Generic Model-Based Diagnosis System with Automatic Abstraction Generation. In L.J. van Vliet and J.W.J. Heijnsdijk and T. Kielmann and P.M.W. Knijnenburg (Eds.). Proceedings of the sixth annual conference of the Advanced School for Computing and Imaging (ASCI 2000), pp. 29--36. [BibTeX]
  • A. Bos and A. van Gemund and C. Witteveen (2000). Model-based Diagnosis Support for Satellite-based Instruments. In IEEE Autotestcon Systems Readiness Technology Conference, pp. 451--464. [BibTeX]
  • W. van der Hoek and C. Witteveen (2000). Classical and General Frameworks for Recovery. In W. Horn (Eds.). Proceedings ECAI-2000, pp. 33--37. IOS Press. [BibTeX]
  • T. Ill'es and J. Peng and C. Roos and T. Terlaky (2000). A Strongly Polynomial Rounding Procedure Yielding a Maximally Complementary Solution for $P_*(kappa)$ Linear Complementarity Problems. SIAM J. on Optimization 11(2):320--340. [BibTeX]
  • C. van Reeuwijk and F. Kuijlman and H.J. Sips and S.V. Niemeijer (2000). Data-parallel programming in Spar/Java. In Second Annual Workshop on Java for High-Performance computing (presentation), pp. 51--66. [BibTeX]
  • A. Radulescu and A.J.C. van Gemund (2000). Fast and Effective Task Scheduling in Heterogeneous Systems. In Proceedings 9-th Heterogeneous Computing Workshop (HCW), pp. 229--238. [BibTeX]
  • C. Witteveen and W. van der Hoek (2000). How to Recover from (Non-)monotonic Inconsistency. In L. Cavedon and P. Blackburn and N. Braisby and A. Shimojima (Eds.). Logic, Language and Computation, pp. 319--340. CSLI Publications. [BibTeX]
  • A.J. Quist (2000). Application of Mathematical Optimization Techniques to Nuclear Reactor Reload Pattern Design. PhD Thesis, Delft University of Technology, TU Delft The Netherlands. [BibTeX]
  • L.D. Aronson (2000). Homogeneous routing for homogeneous traffic patterns on meshes. IEEE Transactions on Parallel and Distributed Systems 11(8):781--793. [BibTeX]
  • J.M. Valk and A. Bos and J. Rogier and J.F.M. Tonino and C. Witteveen (2000). An Approximation Algorithm for a Distributed Planning Problem. In H. Tianfield (Eds.). International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000), pp. 419--424. ICSC Academic Press. [BibTeX]
  • A. Radulescu and A.J.C. van Gemund (2000). Preemptive Task Scheduling for Distributed Systems. In Proceedings $6^th$ European Conference on Parallel Processing (EuroPar), pp. 272--276. [BibTeX]
1999
  • D.H.J. Epema and J.F.C.M. de Jongh (1999). Proportional-Share Scheduling in Single-Server and Multiple-Server Computing Systems. In 1st Workshop on Mathematical (performance) Modeling and Analysis. [BibTeX]
  • C. Roos (1999). Modelleren en Optimaliseren met Wiskunde. Beoefening van Wiskunde in het Spoor van Newton, University of Leiden. [BibTeX]
  • E. de Klerk and C. Roos and T. Terlaky (1999). Primal-dual potential reduction methods for semidefinite programming using affine-scaling directions. Applied Numerical Mathematics 29:335--360. [BibTeX]
  • A.J. Quist and R. van Geemert and J.E. Hoogenboom and T. Ill'es and C. Roos and T. Terlaky (1999). Application of nonlinear optimization to reactor core fuel reloading. Annals of Nuclear Energy 26:423--448. [BibTeX]
  • J. Valk and H. Tonino and C. Witteveen (1999). Automated Theorem Proving for the KARO-architecture: Foundations and applications of Collective Agent Based Systems (CABS). In ESSLLI 99 Workshop. [BibTeX]
  • A. Gonzalez Escribano and V. Cardenoso Payo and A. Vaca-Diez and A.J.C. van Gemund and H-X. Lin (1999). Expressiveness versus Optimizability in Coordinating Parallelism. In Proceedings ParCo'99. [BibTeX]
  • Tomas B. Klos (1999). Governance and Matching. In Proceedings 5th International Conference on Computing in Economics and Finance (CEF 1999). [BibTeX]
  • A. Bos and N. Roos and C. Witteveen (1999). Computing with Computational Histories. In Proceedings of the BNAIC'99, pp. 19--26. [BibTeX]
  • A. Bos and C. Witteveen (1999). Compilation to speed up the Control of Hybrid Systems. In Proceedings of the Fifth Annual Conference of the Advanced School for Computing and Imaging (ASCI'99), pp. 243--250. [BibTeX]
  • C. Witteveen and W. van der Hoek (1999). Recovering from Inconsistency: A general Framework for Theory Recovery. In Proceedings WAIT 99, SADIO, IFIP, pp. 37--50. [BibTeX]
  • A. Radulescu and A.J.C. van Gemund (1999). List Scheduling Complexity Revisited. In Proceedings, 5-th ASCI Conference, pp. 257--266. [BibTeX]
  • D.H.J. Epema (1999). Load Balancing in Replicated Databases with Loose Consistency Requirements. In Modellierung und Bewertung von Rechen- und Kommunikationssystemen. [BibTeX]
  • J. Peng and C. Roos and T. Terlaky (1999). A logarithmic barrier approach to Fischer function. In G. Di Pillo and F. Giannessi (Eds.) Nonlinear Optimization and Applications, pp. 277--298. Kluwer Academic Publishers. [BibTeX]
  • J. Peng and C. Roos and T. Terlaky (1999). New complexity analysis of primal-dual Newton method for $P_*(kappa)$ linear complementarity problems. In S. Zhang and H. Frenk and C. Roos and T. Terlaky (Eds.) High Performence Optimization Techniques, pp. 249--269. Kluwer Academic Publishers. [BibTeX]
  • Z. Papp and H.J. Hoeve and A. Bos (1999). A System Architecture for Distributed Implementation of Virtual Measurement Systems. In IEEE: 1999 Symposium and Workshop on Engineering of Computer-Based Systems. [BibTeX]
  • A. Radulescu and A.J.C. van Gemund (1999). FLB: Fast Load Balancing for Distributed-Memory Machines. In Proceedings 28-th International Conference on Parallel Processing (ICPP), pp. 534--541. [BibTeX]
  • A. Radulescu, Andrei and A.J.C. van Gemund (1999). Improving Processor Selection Complexity in List Scheduling Algorithms. In Proceedings 12-th International Conference on Control Systems and Computer Science (CSCS), pp. 243--248. [BibTeX]
  • J.E. Hoogenboom and R. van Geemert and A.J. Quist and T. Terlaky and C. Roos (1999). New Ways for Optimizing Equilibrium Cycle Reactor Reload Patterns. In J.M. Aragon'es (Eds.). Proceedings International Conference M&C'99, September 27-30, 1999, Madrid, Spain, pp. 1469-1478. Mathematics and Computation, Reactor Physics and Environmental Analysis in Nuclear Application 2, Senda Editorial, S.A.. [BibTeX]
  • B. P. Harrenstein and W. van der Hoek and J-J. Ch. Meyer and C. Witteveen (1999). Subgame Perfect Nash-Equilibria in Dynamic Logic. In M. Pauly and A. Baltag (Eds.). Proceedings of the ILLC Workshop on Logic and Games, pp. 29--30. ILLC Prepublications Series PP-1999-25, ILLC. [BibTeX]
  • F. Potra and C. Roos and T. Terlaky (Eds.) (1999). Interior Point Methods, Gordon and Breach Science Publishers. [BibTeX]
  • A. Radulescu and A.J.C. van Gemund and H.X. Lin (1999). LLB: A Fast and Effective Scheduling Algorithm for Distributed-Memory Systems. In Proceedings 13-th International Parallel Processing Symposium / 10-th Symposium on Parallel and Distributed Processing (IPPS/SPDP), pp. 525--530. [BibTeX]
  • A. Radulescu and A.J.C. van Gemund (1999). On the Complexity of List Scheduling Algorithms for Distributed-Memory Systems. In Proceedings 13-th ACM International Conference on Supercomputing (ICS), pp. 68--75. [BibTeX]
  • H. Frenk and K. Roos and T. Terlaky and S. Zhang (Eds.) (1999). High Performance Optimization, Kluwer Academic Publishers. [BibTeX]
1998
  • Tomas B. Klos and Bart Nooteboom (1998). Adaptive Governance: The Role of Loyalty. In Proceedings 10th Annual Conference of the European Association for Evolutionary Political Economy (EAEPE 1998). [BibTeX]