1. 2000
  2. An algorithm for replanning

    van der Krogt, R. P. J., Bos, A., de Weerdt, M. M. & Witteveen, C. 2000 Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference. A Bosch, V. D. & H Weigand (eds.). Kaatsheuvel: BNAIC, p. 21-28 8 p.

    Research output: Scientific - peer-reviewConference contribution

  3. An approximation algorithm for a logistic planning problem

    Valk, J. M., Bos, A., Rogier, J., Tonino, J. F. M. & Witteveen, C. 2000 Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference. A Bosch, V. D. & H Weigand (eds.). Kaatsheuvel: BNAIC, p. 251-259 9 p.

    Research output: Scientific - peer-reviewConference contribution

  4. An expert system for recognition of facial actions and their intensity

    Pantic, M. & Rothkrantz, L. J. M. 2000 AAAI-2000 - IAAI-2000: proceedings. Menlo Park: American Association for Artificial Intelligence (AAAI), p. 1026-1033 8 p.

    Research output: Scientific - peer-reviewConference contribution

  5. An implementation of the GMDH on a hypercube parallel computer and network of workstations

    Water, P. R. & Kerckhoffs, E. J. H. 2000 PDPTA'2000: proceedings, vol. III. HR Arabnia (ed.). S.l.: CSREA, p. 1651-1657 7 p.

    Research output: Scientific - peer-reviewConference contribution

  6. Analysis of a system of telecenters as a distributed network

    Shishkov, B. B. & Barjis, J. 2000 SAER'2000 proceedings. Sofia: SAER Forum Group, p. 108-113 6 p.

    Research output: ScientificConference contribution

  7. Analysis of data communication networks for systems of telecenters

    Barjis, J., Shishkov, B. B. & Dietz, J. L. G. 2000 SCI 2000 proceedings, vol. IV: Communication systems and networks. B Sanchez & T Watanabe (eds.). Orlando: IIIS, p. 219-224 6 p.

    Research output: ScientificConference contribution

  8. Analytische eigenschappen datawarehouse liggen vast in sterren of sneeuwvlokken

    Gerhardt-Hackl, W. 2000 In : Beyond. 5, 2, p. 12-17 6 p.

    Research output: ProfessionalArticle

  9. Annotating Spar/Java for data-parallel programming

    van Reeuwijk, C., Kuijlman, F., Sips, H. J. & Niemeijer, S. V. 2000 Proceedings of the sixth annual conference of the Advanced School for Computing and Imaging. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 185-194 10 p.

    Research output: Scientific - peer-reviewConference contribution

  10. Annotating Spar/Java for the placement of tasks and data on heterogeneous parralel systems

    van Reeuwijk, C., Denissen, W. J. A., Kuijlman, F. & Sips, H. J. 2000 Proceedings of the eight international workshop on compilers for parallel computers. Aussois, p. 45-58 14 p.

    Research output: Scientific - peer-reviewConference contribution

  11. Ant based routing algorithms

    Rothkrantz, L. J. M., Wojdel, J. C., Wojdel, A. W. & Knibbe, H. 2000 In : Neural Network World: international journal on non-standard computing and artificial intelligence. 10, 3, p. 455-462 8 p.

    Research output: ScientificArticle

  12. Application of ARC in system design

    van Dijk, H., Langendoen, K. G. & Sips, H. J. 2000 Proceedings. RL Lagendijk & ... [et Al] (eds.). S.l.: s.n., p. 118-125 8 p.

    Research output: ScientificConference contribution

  13. Application of ARC in system design

    van Dijk, H., Langendoen, K. G. & Sips, H. J. 2000 Proceedings of the 2nd international symposium on mobile multimedia systems and applications. RL Lagendijk (ed.). Delft: Delft University of Technology, p. 118-125 8 p.

    Research output: Scientific - peer-reviewConference contribution

  14. Application of parametric model checking-the root contention protocol

    Bandini, G., Lutje Spelberg, R. F., de Rooij, R. C. M. & Toetenel, W. J. 2000 ASCI 2000 proceedings. LJ Vliet, V., JWJ Heijnsdijk, T Kielmann & PMW Knijnenburg (eds.). Delft: Advanced School for Computing and Imaging, p. 21-28 8 p.

    Research output: Scientific - peer-reviewConference contribution

  15. Applying business objects for simulation

    Abolhassani, M. & Barjis, J. 2000 SCSC 2000 proceedings. WF Waite (ed.). San Diego: Society for Computer Simulation International, p. 847-852 6 p.

    Research output: ScientificConference contribution

  16. Applying distance learning at the ING Group

    in het Pandhuis, J., Sodoyer, B. R. & Wegbrands, P. H. 2000 Euromedia 2000: building a global business. F Broeckx & L Pauwels (eds.). San Diego: Society for Computer Simulation International, p. 189-193 5 p.

    Research output: Scientific - peer-reviewConference contribution

  17. Architectural knowledge representationusing the Galois Lattice techniques

    Chitchian, D., Sariyildiz, S. & Koppelaar, H. 2000 In : Lecture Notes in Artificial Intelligence. 1611, p. 724-734 11 p.

    Research output: ScientificArticle

  18. Artificial intelligence for automating building design processes

    Chitchian, D., Sariyildiz, I. S. & Koppelaar, H. 2000 Applied Simultation and Modelling, proceedings of the International Association of Science and Technology for Development - IASTED. MH Hamza (ed.). Calgary: IASTED, ACTA Press, p. 35-39 5 p.

    Research output: Scientific - peer-reviewConference contribution

  19. Artificial intelligence for automating building design processes

    Chitchian, D., Sariyildiz, S. & Koppelaar, H. 2000 Proceedings IASTED. Annaheim: iASTED, p. 35-39 5 p.

    Research output: Scientific - peer-reviewConference contribution

  20. Assessing the quality of business process modelling techniques

    Hommes, L. J. & van Reijswoud, V. E. 2000 Abstracts and CD-ROM of full papers. Los Alamitos: IEEE Computer Society, p. 1-10 10 p.

    Research output: Scientific - peer-reviewConference contribution

  21. Auteursrecht E-boek blijft zorgenkind

    Lachman, R. & van der Meer, K. 2000 In : Automatisering Gids. 9

    Research output: ProfessionalArticle

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

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

    Research output: ScientificArticle

  23. Automatic facial action encoding in static dual-view images

    Pantic, M. & Rothkrantz, L. J. M. 2000 ASCI 2000 proceedings. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 153-160 8 p.

    Research output: Scientific - peer-reviewConference contribution

  24. Automatic speech recognition using recurrent neural networks

    Rothkrantz, L. J. M. & Nollen, D. 2000 In : Neural Network World: international journal on non-standard computing and artificial intelligence. 10, 3, p. 445-454 10 p.

    Research output: ScientificArticle

  25. Building an object warehouse system

    Gerhardt-Hackl, W. & Sim, M. N. 2000 Proceedings of the symposium in conjunction with INTERSYMP'2000: 12th International Conference on System Research, Informatics and Cybernetics. GE Lasker & W Gerhardt-Hackl (eds.). Windsor, Ontario: IIASSRC, p. 52-59 8 p.

    Research output: ScientificConference contribution

  26. Business process modeling and analysis using GERT networks

    Barjis, J. & Dietz, J. L. G. 2000 Enterprise information systems. J Filipe (ed.). Dordrecht: Kluwer, p. 71-80

    Research output: ScientificChapter

  27. Capturing organizational behavior with dynamic modeling

    Liu, K. C., Sun, L., Barjis, J. & Dietz, J. L. G. 2000 Information technology for business management. Renchu Gan (ed.). Beijing: Publishing House of Electronics Industry, p. 226-233 8 p.

    Research output: ScientificConference contribution

  28. Classical and general frameworks for recovery

    van der Hoek, W. & Witteveen, C. 2000 14th European conference on artificial intelligence, including prestigious applications of intelligent systems: proceedings. Amsterdam: IOS Press, p. 33-37 5 p.

    Research output: Scientific - peer-reviewConference contribution

  29. Combining facial feature detectors in a multi-agent framework

    Veenman, C. J., Mouw, J. A. K. & Reinders, M. J. T. 2000 Unknown. S.l.: s.n., p. 47-49 3 p.

    Research output: ProfessionalConference contribution

  30. Comparing relational databases with data warehouses

    Roddeman, R. & Gerhardt-Hackl, W. 2000 Proceedings of the symposium in conjunction with INTERSYMP'2000: 12th International Conference on System Research, Informatics and Cybernetics. GE Lasker & W Gerhardt-Hackl (eds.). Windsor, Ontario: IIASSRC, p. 42-51 10 p.

    Research output: ScientificConference contribution

  31. Complexity reduction by using computational histories

    Bos, A., Roos, N. & Witteveen, C. 2000 Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference. A Bosch, V. D. & H Weigand (eds.). Kaatsheuvel: BNAIC, p. 207-214 8 p.

    Research output: Scientific - peer-reviewConference contribution

  32. Concerns on architecture-centered software development: a survey

    Kyaruzi, J. K. & van Katwijk, J. 2000 In : Journal of Integrated Design & Process Science. 4, 3, p. 13-33 21 p.

    Research output: Scientific - peer-reviewArticle

  33. Cooperation by iterated plan revision

    Moree, B. J., Bos, A., Tonino, J. F. M. & Witteveen, C. 2000 Proceedings fourth international conference on multiagent systems. Los Alamitos: IEEE Computer Society, p. 191-198 8 p.

    Research output: Scientific - peer-reviewConference contribution

  34. Cooperative transport planning

    Zutt, J. & de Weerdt, M. M. 2000 Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference. A Bosch, V. D. & H Weigand (eds.). Kaatsheuvel: BNAIC, p. 371-372 2 p.

    Research output: Scientific - peer-reviewConference contribution

  35. DII.Kascade: a new finding aid for internet information

    Dufour, M., Ha, J., de Haan, G. & van der Meer, K. 2000 Unknown. S.l.: s.n., p. 5-6 2 p.

    Research output: ProfessionalConference contribution

  36. Data dictionary objecten in administratieve toepassingen

    Dingenmans, G. M. L. & Dahanayake, A. N. W. 2000 S.l.: s.n.76 p.

    Research output: ProfessionalReport

  37. Data parallel programming in Spar/Java

    van Reeuwijk, C., Kuijlman, F., Sips, H. J. & Niemeijer, S. V. 2000 Proceedings of the second annual workshop on Java for high-performance computing. p. 51-66 16 p.

    Research output: Scientific - peer-reviewConference contribution

  38. Data-integratie en -validatie is niet enkel met tools op te lossen

    Gerhardt-Hackl, W. 2000 In : Beyond. 5, 4, p. 10-13 4 p.

    Research output: ProfessionalArticle

  39. Data-mining real-world dynamic systems

    van Welden, D. F. & Kerckhoffs, E. J. H. 2000 ESS 2000. San Diego: Society for Computer Simulation International, p. 299-304 6 p.

    Research output: Scientific - peer-reviewConference contribution

  40. De DEMO-methode bij de Stichting Geschillencommissie

    Mulder, H., van Reijswoud, V. E. & Dietz, J. L. G. 2000 In : Workflow Magazine. 6, 1, p. 8-12 5 p.

    Research output: ProfessionalArticle

  41. De valkuilen van documentmanagement: over zoekmachines, standaarden en digitale duurzaamheid

    van der Meer, K. 2000 In : Workflow Magazine. 6, 4, p. 20-21 2 p.

    Research output: ProfessionalArticle

  42. Definition of H-PAM global adress space

    van Reeuwijk, C. & Sips, H. J. 2000 S.l.: JOSES Consortium. 6 p.

    Research output: ScientificReport

  43. Design of a generic model-based diagnosis system with automatic abstraction generation

    Bos, A., van Gemund, A. J. C. & Witteveen, C. 2000 Proceedings of the sixth annual conference of the Advanced School for Computing and Imaging. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 29-36 8 p.

    Research output: Scientific - peer-reviewConference contribution

  44. Design of performance estimator: Deliverable D5.3.1/2

    Gautama, H. & van Gemund, A. J. C. 2000 S.l.: JOSES Consortium. 28 p.

    Research output: ScientificReport

  45. Design orthogonal concepts orthogonally - a contribution to maintainability of enterprise information systems

    Gerhardt-Hackl, W., van Katwijk, J. & Essenius, E. 2000 ReTIS 2000: preparing to E-business. S.l.: Österreichische Computer Gesellschaft, p. 21-34 14 p.

    Research output: ScientificConference contribution

  46. Design space exploration for providing QOS within the harmony framework

    Lele, A. M., Nandy, S. K. & Epema, D. H. J. 2000 2000 IEEE international conference on multimedia and exposition. New York: IEEE Society, p. 521-524 4 p.

    Research output: Scientific - peer-reviewConference contribution

  47. Dialogue control in the Alparon system

    Rothkrantz, L. J. M., van Vark, R. J., Peters, A. & Andeweg, N. A. 2000 Text, speech and dialogue: 3rd international workshop, TSD 2000 [Lecture notes in artificial intelligence 1902]. P Sojka, I Kopecek & K Pala (eds.). Berlin: Springer, p. 333-338

    Research output: ScientificChapter

  48. Document information standards and longevity, XML will not solve the problem of longevity

    van der Meer, K. & Uijlenbroek, J. J. M. 2000 Proceedings. JCM Baeten & PAJ Hilbers (eds.). Eindhoven: TU Eindhoven, p. 69-77 9 p.

    Research output: Scientific - peer-reviewConference contribution

  49. Dynamic channel allocation algotihm for next generation wireless networks

    Lele, A. M., Nandy, S. K. & Epema, D. H. J. 2000 International conference on software, telecommunications and computer networks SoftCOM 2000. Split: FESB-Slipt, p. 427-436 10 p.

    Research output: ScientificConference contribution

  50. Dynamic voltage scaling on a low-power microprocessor

    Pouwelse, J. A., Langendoen, K. G. & Sips, H. J. 2000 Proceedings of the 2nd international symposium on mobile multimedia systems and applications. RL Lagendijk (ed.). Delft: Delft University of Technology, p. 157-164 8 p.

    Research output: ScientificConference contribution

  51. Editorship

    Gerhardt-Hackl, W. 2000 Proceedings of the symposium in conjunction with INTERSYMP'2000: 12th International Conference on System Research, Informatics and Cybernetics. GE Lasker (ed.). Windsor, Ontario: IIASSRC, p. -

    Research output: ScientificConference contribution

  52. Editorship

    Dahanayake, A. N. W. & Lasker, G. E. 2000 Proceedings ISSI'01. Windsor, Ontario: Int. Inst. for Adv. Studies in Systems Research & Cybernetic, p. -

    Research output: Scientific - peer-reviewConference contribution

  53. Editorship

    Toetenel, W. J. 2000 Euromicro RTS 2000 proceedings. Los Alamitos: IEEE Computer Society, p. -

    Research output: Scientific - peer-reviewConference contribution

  54. Editorship

    Hommes, L. J. 2000 CAiSE*2000. A Hinze (ed.). S.l.: s.n., p. -

    Research output: ScientificConference contribution

  55. Editorship.

    Sips, H. J. 2000 Proceedings of the 2nd international symposium on mobile multimedia systems and applications. R Heusdens, WA Serdijn & HJ Sips (eds.). Delft: Delft University of Technology, p. -

    Research output: Scientific - peer-reviewConference contribution

  56. Editorship.

    Sips, H. J. 2000 Proceedings of the international conference ParCo99. EH D'Hollander, GR Joubert & FJ Peters (eds.). London: Imperial college press, p. -

    Research output: ScientificConference contribution

  57. Empirical evaluation of ontological commitments for ADLs

    Kyaruzi, J. K. & van Katwijk, J. 2000 SEKE 2000 proceedings. Skokie (USA): Knowledge Systems Institute, p. 94-102 9 p.

    Research output: Scientific - peer-reviewConference contribution

  58. Evaluation of IT service management using structured task analysis

    de Jong, W. 2000 Unknown. A Brown & D Remenyi (eds.). S.l.: s.n., p. 203-207 5 p.

    Research output: ScientificConference contribution

  59. Evaluation plan for industrial application

    van Reeuwijk, C. & Sips, H. J. 2000 S.l.: JOSES Consortium. 4 p.

    Research output: ScientificReport

  60. Expert system for automatic analysis of facial expressions

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

    Research output: ScientificArticle

  61. Exploiting parallelism in unification-based parsing

    van Lohuizen, M. P. 2000 Proceedings sixth international workshop on parsing technologies. Trento, p. 309-310 2 p.

    Research output: Scientific - peer-reviewConference contribution

  62. Expressiveness versus optimizability in coordinating parallelism

    González-Escribano, A., Cardeñoso-Payo, V., Vaca-Díez, A., van Gemund, A. J. C. & Lin, H. X. 2000 ParCo99 proceedings. EH D'Hollander (ed.). London: Imperial college press, p. 526-533 8 p.

    Research output: ScientificConference contribution

  63. Expressiveness versus optimizability in coordinating parallelism

    González-Escribano, A., Cardeñoso-Payo, V., Vaca-Díez, A., van Gemund, A. J. C. & Lin, H. X. 2000 ParCo99 proceedings. EH D'Hollander (ed.). London: Imperial college press, p. 526-533 8 p.

    Research output: ScientificConference contribution

  64. Extentions to the modula-2 language

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

    Research output: ScientificArticle

  65. Fast and effective task scheduling in heterogeous systems

    Radulescu, A. & van Gemund, A. J. C. 2000 Proceedings 9th heterogeous computing workshop. C Raghavendra (ed.). Los Alamitos: IEEE Computer Society, p. 229-238 10 p.

    Research output: Scientific - peer-reviewConference contribution

  66. Feasibility of method integration

    Dahanayake, A. N. W. 2000 Proceedings ISSI'01. GE Lasker & ANW Dahanayake (eds.). Windsor, Ontario: Int. Inst. for Adv. Studies in Systems Research & Cybernetic, p. XVI-1-XVI-8

    Research output: Scientific - peer-reviewConference contribution

  67. Formal specification of a safety shell in real-time control practice

    Sahraoui, A-E-K., Anderson, E., van Katwijk, J. & Zalewski, J. 2000 WRTP'2000. A Crespo & J Vila (eds.). S.l.: International Federation of Automatic Control, p. 117-123 7 p.

    Research output: ScientificConference contribution

  68. GMDH-based dependency modeling in the identification of dynamic systems

    Water, P. R., Kerckhoffs, E. J. H. & van Welden, D. F. 2000 ESM'2000: simulation and modelling: enablers for a better quality of life. D Landeghem, V. (ed.). San Diego: Society for Computer Simulation International, p. 211-218 8 p.

    Research output: Scientific - peer-reviewConference contribution

  69. Het labyrinth van kostenbeheer: veelheid aan keuzen vraagt om sturing door algemeen management

    Klompé, R. 2000 In : IT Service Magazine. 9, 3, p. 48-51 4 p.

    Research output: ProfessionalArticle

  70. High Performance Java for Parallel Heterogeneous and Embedded Systems

    Sips, H. J. & van Reeuwijk, C. 2000 1st International AURORA Conference IAC 2000. Abstracts. Vienna: AURORA TR, p. 23-24 2 p.

    Research output: ScientificConference contribution

  71. High performance Java for parrallel heterogeneous and emdedded systems

    Sips, H. J. & van Reeuwijk, C. 2000 Proceedings of the first progress workshop. JP Veen (ed.). Utrecht: STW Technology Foundation, p. 105-110 6 p.

    Research output: Scientific - peer-reviewConference contribution

  72. Homogeneous routing for homogeneous traffic patterns on mouse

    Aronson, L. D. 2000 In : IEEE Transactions on Parallel and Distributed Systems. 11, 8, p. 781-793 13 p.

    Research output: Scientific - peer-reviewArticle

  73. ICT-professional worden én blijven: het belang van professionalisering in de ICT

    Dietz, J. L. G. 2000 CV-IT En profiel: dé IT-wereld: van nano tot tera, overzichtelijk in woord en beeld: onafhankelijke businessinfo voor IT'er en student. S.l.: s.n., p. 74-76

    Research output: ProfessionalChapter

  74. IIM Information infrastructure management: it enabled business development & management

    Uijttenbroek, A. A., Tan, D. S. & de Jong, W. 2000 Leiderdorp: Lansa.

    Research output: Scientific - peer-reviewBook

  75. ITIL security management: een kritische beschouwing

    Spruit, M. E. M. 2000 In : Compact. 27, 4, p. 12-15 4 p.

    Research output: ProfessionalArticle

  76. Implementation of annoated Java

    van Reeuwijk, C. & Sips, H. J. 2000 S.l.: JOSES Consortium. 9 p.

    Research output: ScientificReport

  77. Industrial concerns for architecture-centered software development

    Kyaruzi, J. K. & van Katwijk, J. 2000 Conference proceedings. A Mushi & A Bijura (eds.). S.l.: s.n., p. 66-102 37 p.

    Research output: Scientific - peer-reviewConference contribution

  78. Informatiebeveiliging als iteratief organisatorisch proces

    Overbeek, P., Roos Lindgreen, E. & Spruit, M. E. M. 2000 In : Infosecurity.nl. 1, 1, p. 22-30 9 p.

    Research output: ProfessionalArticle

  79. Informatiebeveiliging en beheer

    Spruit, M. E. M. & Looijen, M. 2000 Informatiebeveiliging jaarboek 2000/2001. W Huurman & J Jaarsma (eds.). Den Haag: Ten Hagen & Stam, p. 167-172

    Research output: ProfessionalChapter

  80. Informatiebeveiliging onder controle: grondslagen, management, organisatie en techniek

    Overbeek, P., Roos Lindgreen, E. & Spruit, M. E. M. 2000 S.l.: Pearson Education. 293 p.

    Research output: ProfessionalBook

  81. Informationssicherheit in Data Warehouses

    Gerhardt-Hackl, W., Pohl, H. & Spruit, M. E. M. 2000 Das Data Warehouse-Konzept: Architektur - Datenmodelle - Anwendungen [4., vollständig überarbeitete und erweiterte Auflage]. H Mucksch & W Behme (eds.). Wiesbaden: Gabler, p. 83-146

    Research output: ProfessionalChapter

  82. Inrichten gegevensbeheer rekencentrum ING-groep: procesbeschrijvingen bieden inzicht in centraliseringsvraagstuk

    de Jong, W. 2000 In : IT Beheer. 2, okt., p. 43-47 5 p.

    Research output: ProfessionalArticle

  83. Integrating business process modeling and simulation

    Barjis, J. & Ilkov, I. G. 2000 SCSC 2000 proceedings. WF Waite (ed.). San Diego: Society for Computer Simulation International, p. 859-864 6 p.

    Research output: ScientificConference contribution

  84. Intelligent flight controller design with fuzzy logoc for an atmospheric re-entry vehicle

    Wu, S-F., Engelen, H. M. M., Babuska, R., Chu, Q-P. & Mulder, J. A. 2000 Proceedings and exhibit. Denver: American Institute of Aeronautics and Astronautics (AIAA), p. 1-12 12 p.

    Research output: Scientific - peer-reviewConference contribution

  85. Intelligent system for semiautomatic facial animation

    Wojdel, A. W. & Rothkrantz, L. J. M. 2000 Euromedia 2000: building a global business. F Broeckx & L Pauwels (eds.). San Diego: Society for Computer Simulation International, p. 133-137 5 p.

    Research output: Scientific - peer-reviewConference contribution

  86. Kascade: a new open directory way of access to internet information

    van der Meer, K., Dufour, M., Ha, J. & de Haan, M. G. 2000 In : Information Services and Use. 20, p. 63-72 10 p.

    Research output: Scientific - peer-reviewArticle

  87. Knowledge elicitation of Gompertz' law of mortality

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

    Research output: ScientificArticle

  88. Kwantificeren van ICT-beheer: resultaten van het takenonderzoek

    de Jong, W. 2000 In : Informatie: maandblad voor informatievoorziening. 42, april, p. 28-33 6 p.

    Research output: ProfessionalArticle

  89. Kwintes-project mondt uit in boek en congres

    de Jong, W. 2000 In : IT Beheer Praktijkjournaal. 5, 4, p. 39-41 3 p.

    Research output: ProfessionalArticle

  90. Mathematical modeling of business processes

    Barjis, J. 2000 Proceedings. MH Hamza (ed.). Annaheim: iASTED, p. 91-97 7 p.

    Research output: ScientificConference contribution

  91. Measuring the performance impact of SP-restricted programming in shared-memory machines

    González-Escribano, A., van Gemund, A. J. C., Cardeñoso-Payo, V., Alonso-López, J., Martín-García, D. & Pedrosa-Calvo, A. 2000 VECPAR'2000 conference proceedings. Pt. III. S.l.: s.n., p. 715-728 14 p.

    Research output: ScientificConference contribution

  92. Measuring the performance impact of SP-restricted programming on distributed-memory machines

    González-Escribano, A., van Gemund, A. J. C. & Cardeñoso-Payo, V. 2000 Perspectivas des Paralelismo en Computadores. Actas. Granada: Universidad de Granada, p. 59-64 6 p.

    Research output: ScientificConference contribution

  93. Memory-efficient and thread-safe quasi-destructive graph unification

    van Lohuizen, M. P. 2000 Proceedings of the conference 38th annual meeting of the Association for Computational Linguistics. San Francisco: Association for Computational Linguistics, p. 352-359 8 p.

    Research output: Scientific - peer-reviewConference contribution

  94. Methodology engineering for product development process modelling

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

    Research output: ScientificArticle

  95. Middleware for weal-time distributed simulation systems

    van Paassen, M. M., Pronk, C. & Delatour, J. 2000 ESS'2000 symposium, simulation in industry'2000. P Geril & D Möller (eds.). Erlangen: SCS Publishing House, p. 351-358 8 p.

    Research output: Scientific - peer-reviewConference contribution

  96. Model checking real-time embedded software

    Toetenel, W. J. & Lutje Spelberg, R. F. 2000 PROGRESS 2000 proceedings. JP Veen (ed.). Utrecht: STW Technology Foundation, p. 149-156 8 p.

    Research output: Scientific - peer-reviewConference contribution

  97. Model-based diagnosis for satellite-based instruments

    Bos, A., van Gemund, A. J. C. & Witteveen, C. 2000 2000 IEEE autotestcon proceedings. Piscataway: IEEE, p. 451-464 14 p.

    Research output: Scientific - peer-reviewConference contribution

  98. Modeling business processes for web-based information systems development

    Dietz, J. L. G. & Schouten, H. 2000 WISE 2000 proceedings, vol. 1. Qing Li & T Watanabe (eds.). Los Alamitos: IEEE Computer Society, p. 270-282 13 p.

    Research output: Scientific - peer-reviewConference contribution