1. 2000
  2. 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: Chapter in Book/Report/Conference proceedingConference contributionScientific

  3. Editorship

    Dahanayake, ANW. & Lasker, GE., 2000, Proceedings ISSI'01. Windsor, Ontario: Int. Inst. for Adv. Studies in Systems Research & Cybernetic, p. -

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  4. Editorship

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. Editorship

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  6. Editorship.

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  7. Editorship.

    Sips, HJ., 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  8. Empirical evaluation of ontological commitments for ADLs

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  9. 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: Chapter in Book/Report/Conference proceedingConference contributionScientific

  10. Evaluation plan for industrial application

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

    Research output: Book/ReportReportScientific

  11. Expert system for automatic analysis of facial expressions

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

    Research output: Contribution to journalArticleScientific

  12. Exploiting parallelism in unification-based parsing

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  13. Expressiveness versus optimizability in coordinating parallelism

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  14. Expressiveness versus optimizability in coordinating parallelism

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  15. Extentions to the modula-2 language

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

    Research output: Contribution to journalArticleScientific

  16. Fast and effective task scheduling in heterogeous systems

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  17. Feasibility of method integration

    Dahanayake, ANW., 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  18. 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: Chapter in Book/Report/Conference proceedingConference contributionScientific

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

    Water, PR., Kerckhoffs, EJH. & van Welden, DF., 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  20. 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: Contribution to journalArticleProfessional

  21. High Performance Java for Parallel Heterogeneous and Embedded Systems

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  22. High performance Java for parrallel heterogeneous and emdedded systems

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  23. Homogeneous routing for homogeneous traffic patterns on mouse

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

    Research output: Contribution to journalArticleScientificpeer-review

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

    Dietz, JLG., 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: Chapter in Book/Report/Conference proceedingChapterProfessional

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

    Uijttenbroek, AA., Tan, DS. & de Jong, W., 2000, Leiderdorp: Lansa.

    Research output: Book/ReportBookScientificpeer-review

  26. ITIL security management: een kritische beschouwing

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

    Research output: Contribution to journalArticleProfessional

  27. Implementation of annoated Java

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

    Research output: Book/ReportReportScientific

  28. Industrial concerns for architecture-centered software development

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  29. Informatiebeveiliging als iteratief organisatorisch proces

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

    Research output: Contribution to journalArticleProfessional

  30. Informatiebeveiliging en beheer

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

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

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

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

    Research output: Book/ReportBookProfessional

  32. Informationssicherheit in Data Warehouses

    Gerhardt-Hackl, W., Pohl, H. & Spruit, MEM., 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: Chapter in Book/Report/Conference proceedingChapterProfessional

  33. 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: Contribution to journalArticleProfessional

  34. Integrating business process modeling and simulation

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

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

    Wu, S-F., Engelen, HMM., Babuska, R., Chu, Q-P. & Mulder, JA., 2000, Proceedings and exhibit. Denver: AIAA, p. 1-12 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  36. Intelligent system for semiautomatic facial animation

    Wojdel, AW. & Rothkrantz, LJM., 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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

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

    Research output: Contribution to journalArticleScientificpeer-review

  38. Knowledge elicitation of Gompertz' law of mortality

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

    Research output: Contribution to journalArticleScientific

  39. 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: Contribution to journalArticleProfessional

  40. 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: Contribution to journalArticleProfessional

  41. Mathematical modeling of business processes

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

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

    González-Escribano, A., van Gemund, AJC., 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: Chapter in Book/Report/Conference proceedingConference contributionScientific

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

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

    van Lohuizen, MP., 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  45. Methodology engineering for product development process modelling

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

    Research output: Contribution to journalArticleScientific

  46. Middleware for weal-time distributed simulation systems

    van Paassen, MM., 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  47. Model checking real-time embedded software

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  48. Model-based diagnosis for satellite-based instruments

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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

    Dietz, JLG. & 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  50. Modeling of a chimeric protein construction by means of Petri nets

    Barjis, I., Barjis, I. & Barjis, J., 2000, Proceedings. MH Hamza (ed.). Annaheim: iASTED, p. 87-90 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  51. Modern Compiler design

    Grune, L., Bal, HE., Jacobs, CJH. & Langendoen, KG., 2000, Weinheim: Wiley. 736 p.

    Research output: Book/ReportBookScientificpeer-review

  52. Multimodal dialogue management

    Rothkrantz, LJM. & van Vark, RJ., 2000, SPECOM'2000 proceedings. S.l.: s.n., p. 25-28 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  53. Muti-agent cooperation in a planning framework

    de Weerdt, MM., Bos, A., Tonino, JFM. & Witteveen, C., 2000, Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference. A Bosch, V. D. & H Weigand (eds.). Kaatsheuvel: BNAIC, p. 53-60 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  54. Objectschema's bieden meer flexibiliteit in (her)gebruik datawarehouse

    Gerhardt-Hackl, W., 2000, In : Beyond. 5, 3, p. 18-23 6 p.

    Research output: Contribution to journalArticleProfessional

  55. On the use of Lambda distributions in parallel program performance prediction

    Gautama, H. & van Gemund, AJC., 2000, ASCI 2000 proceedings. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 343-349 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  56. Ondanks uitblijven problemen: 'informatici moeten zich schamen'

    Dietz, JLG., 2000, In : Automatisering Gids. 3, p. 1-2 2 p.

    Research output: Contribution to journalArticleProfessional

  57. Ongelukkige pakketkeuze kan duurder zijn

    van der Meer, K., 2000, In : Workflow Magazine. 6, 5, p. 15-16 2 p.

    Research output: Contribution to journalArticleProfessional

  58. Op weg naar volwassen ICT-dienstverlening: resultaten van het Kwintes-onderzoek

    Ruijs, L., de Jong, W., Trienekens, J. & Niessink, F., 2000, Schoonhoven: Academic Service. 147 p.

    Research output: Book/ReportBookProfessional

  59. Open information pools

    Pouwelse, JA., 2000, Conference proceedings FREENIX track 2000 USENIX annual technical conference. Berkeley: USENIX Association, p. 153-164 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  60. Organizational simulation: concept & application

    Barjis, J., Dietz, JLG. & Groenewegen, LPJ., 2000, SCSC 2000 proceedings. WF Waite (ed.). San Diego: Society for Computer Simulation International, p. 836-841 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  61. Outline of a Design Tool for Analysis and Visual Quality Control of Urban Environments

    Sidjanin, P. & Gerhardt-Hackl, W., 2000, Challenges of Information Technology Management in the 21st Century. J Travers (ed.). Hershey: Idea Group Publishing, p. 384-387 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  62. Outline of a design tool for analysis and visual quality control of urban environments

    Sidjanin, P. & Gerhardt-Hackl, W., 2000, Challenges of information technology management in the 21st century. M Khosrowpour (ed.). Hershey: Idea Group Publishing, p. 384-387 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  63. POKer, a Process-interaction simulator and controller for use in collaborative simulation

    Levytskyy, A. & Kerckhoffs, EJH., 2000, MESM'2000: proceedings. M Al-Akaidi (ed.). San Diego: Society for Computer Simulation International, p. 12-20 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  64. Parallel and distributed real-time systems: an introduction

    van Katwijk, J. & Zalewski, J., 2000, In : Parallel and Distributed Computing Practices. 2, 1, p. 1-4 4 p.

    Research output: Contribution to journalArticleScientific

  65. Parallel processing of natural language parsers

    van Lohuizen, MP., 2000, Proceedings of the international conference ParCo99. London: Imperial college press, p. 168-175 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  66. Parametric verification of the IEEE 1394a root contention protocol using LPMC

    Toetenel, WJ., Lutje Spelberg, RF. & Bandini, G., 2000, Proceedings. DC Young (ed.). Los Alamitos: IEEE Computer Society, p. 207-214 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  67. Performance comparison of four software architectures for distributed computations

    van Katwijk, J. & Peng, Y., 2000, ParCo99 proceedings. EH D'Hollander, GR Joubert, FJ Peters & HJ Sips (eds.). London: Imperial college press, p. 582-589 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  68. Performance estimation for embedded systems: Deliverable D5.3.1/1

    van Gemund, AJC. & Gautama, H., 2000, S.l.: JOSES Consortium. 42 p.

    Research output: Book/ReportReportScientific

  69. Performance prediction of parallel programs based on the use of Lambda distributions

    Gautama, H. & van Gemund, AJC., 2000, ISTECS Europe & PPI Francis: proceeding, selected scientific papers. Mustofa (ed.). S.l.: s.n., p. 313-316 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  70. Performance trade-offs in series-parallel programming models

    González-Escribano, A., van Gemund, AJC. & Cardeñoso-Payo, V., 2000, CPC 2000. S.l.: s.n., p. 183-189 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  71. Personal and dynamic travel information: client aspects

    van Vark, RJ., 2000, S.l.: s.n. 52 p.

    Research output: Book/ReportReportProfessional

  72. Petri net expressions of demo process models as a rigid foundation for requirements engineering

    Dietz, JLG. & Barjis, I., 2000, ICEIS 2000 proceedings. Setúbal: Escola Superior de Tecnologia do Instituto Politécnico, p. 267-274 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  73. Power consumption trade-offs for wireless audio access

    Pouwelse, JA., Langendoen, KG. & Sips, HJ., 2000, The 7th international workshop on mobile multimedia communications. Tokyo, p. P6-1-P6-6

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  74. Preemptive task scheduling for distributed systems

    Radulescu, A. & van Gemund, AJC., 2000, In: A Bode, ...[et al.] (eds): Euro-Par 2000 parallel processing [Lecture notes in computer science 1900]. Berlin: Springer, p. 272-276 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  75. Procesmatig werken laat organisatie leren: procesmanagement van bouwer naar leider

    de Jong, W., 2000, In : Informer. 4, 3, p. 8-9 2 p.

    Research output: Contribution to journalArticleProfessional

  76. Qos adaptive services in best-effort mobile networks: state of the art

    Langendoen, KG., 2000, Delft: Ubiquitous Communications. 11 p.

    Research output: Book/ReportReportScientific

  77. Regression tree-based dependency modeling for dynamic systems

    van Welden, DF. & Kerckhoffs, EJH., 2000, ESM'2000: simulation and modelling: enablers for a better quality of life. San Diego: Society for Computer Simulation International, p. 219-226 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  78. Representing non-functional aspects with UML

    Dahanayake, ANW., Salazar-Zárate, MG. & Botlla, P., 2000, Proceedings ISSI'01. GE Lasker & ANW Dahanayake (eds.). Windsor, Ontario: Int. Inst. for Adv. Studies in Systems Research & Cybernetic, p. XIII-1-XIII-9

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  79. Safe testing for dynamic systems

    Bos, A. & Witteveen, C., 2000, Eleventh international workshop on principles of diagnosis. Morelia, Mexico, p. 9-16 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  80. Scheduling for parallel natural language parsers

    van Lohuizen, MP., 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. 250-255 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  81. Self-adaptive expert system for facial expression analysis

    Pantic, M. & Rothkrantz, LJM., 2000, SMC 2000 conference proceedings: Cybernetics evolving to systems, humans, organizations and their complex interactions. Piscataway: IEEE Society, p. 73-79 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  82. Self-adaptive reasoning with uncertainty about facial expressions and their interpretation

    Pantic, M. & Rothkrantz, LJM., 2000, ASCI 2000 proceedings. LJ Vliet, V. (ed.). Delft: Advanced School for Computing and Imaging, p. 91-98 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  83. Silence detection and vowel/consonant discrimination in video sequences

    Wojdel, AW. & Rothkrantz, LJM., 2000, SST-2000 proceedings. S.l.: Australian Speech Science and Technology Association, p. 104-111 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  84. Simulation of molecular processing using Petri nets: comparison of mitrosis and meiosis

    Barjis, I., Barjis, I. & Barjis, J., 2000, SCSC 2000 proceedings. WF Waite (ed.). San Diego: Society for Computer Simulation International, p. 181-184 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  85. Simulation of organizational processes combining semantic analysis and Petri nets

    Barjis, J. & Filipe, J., 2000, SCSC 2000 proceedings. WF Waite (ed.). San Diego: Society for Computer Simulation International, p. 842-846 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

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

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

    Research output: Contribution to journalArticleScientificpeer-review

  87. Software productie bij een uitgeverij: van coderen naar modelleren

    Gouw, GC. & Dahanayake, ANW., 2000, S.l.: s.n. 97 p.

    Research output: Book/ReportReportProfessional

  88. Some observations on teaching and industry at Delft University of Technology

    van Katwijk, J., 2000, Conference proceedings. A Mushi & A Bijura (eds.). S.l.: s.n., p. 13-21 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  89. Specification and verification of a safty shell with statcharts and extended timed graphs

    van Katwijk, J., Toetenel, WJ., Sahaoui, AEK., Anderson, E. & Zalewski, J., 2000, SAFECOMP 2000 proceedings. F Koornneef & M Meulen, V. D. (eds.). Berlin: Springer, p. 37-52 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  90. Specification of real-time systems in UML

    Roubtsova, E., van Katwijk, J., Toetenel, WJ., Pronk, C. & de Rooij, RCM., 2000, In : Electronic Notes in Theoretical Computer Science. 39, 3, p. 1-13 13 p.

    Research output: Contribution to journalArticleScientific

  91. Static performance prediction of data-dependent programs

    Gautama, H. & van Gemund, AJC., 2000, Proceedings second international workshop on software and Performance. New York: Association for Computing Machinery (ACM), p. 216-226 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  92. Support the information processes of real-estate corporations

    Gerhardt-Hackl, W., Sidjanin, P. & Bloom, W., 2000, Euromedia 2000: building a global business. F Broeckx & L Pauwels (eds.). San Diego: Society for Computer Simulation International, p. 295-302 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  93. System integration in analog to process integration

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  94. Task and data annotations for Spar / Java on heterogeneous parallel systems

    van Reeuwijk, C., Denissen, WJA., Kuijlman, F. & Sips, HJ., 2000, S.l.: JOSES Consortium. 14 p.

    Research output: Book/ReportReportScientific

  95. Testen van software: krijgt de klant een goed product?

    Prins, L. & Dahanayake, ANW., 2000, S.l.: s.n. 63 p.

    Research output: Book/ReportReportProfessional

  96. The SIMA: a practical approach to information technology management

    Klompé, R., Borgers, M. & van Hemmen, L., 2000, World class IT service management guide. Den Haag: Ten Hagen & Stam, p. 143-153

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  97. The distributed ASCI supercomputer project

    Epema, DHJ., van Gemund, AJC., Jonker, P., Radulescu, A., van Reeuwijk, C. & Sips, HJ., 2000, In : Operating Systems Review. 34, 4, p. 76-96 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  98. The distributed ASCI supercomputer project

    Bal, HE., van Gemund, AJC. & Radulescu, A., 2000, In : Operating Systems Review. 34, 4, p. 76-96 21 p.

    Research output: Contribution to journalArticleScientific

  99. The group method of data handling applied to dynamic systems modeling and simulation

    Kerckhoffs, EJH. & Water, PR., 2000, In : Neural Network World: international journal on non-standard computing and artificial intelligence. 3, p. 321-332 12 p.

    Research output: Contribution to journalArticleScientific

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