EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Year: 2000
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 341.

Article

Diehl, S. and Hartel, P.H. and Sestoft, P., ed. (2000) Special issue: Principles of Abstract Machines. Future Generation Computer Systems, 16 (7). v-vi. ISSN 0167-739X *** ISI Impact 2,430 ***
Abelmann, L. and Khizroev, S.K. and Litvinov, D. and Zhu, Jian-Gang and Bain, J.A. and Kryder, M.H. and Ramstöck, K. and Lodder, J.C. (2000) Micromagnetic simulation of an ultrasmall single-pole perpendicular write head. Journal of applied physics, 87 (9). pp. 6636-6638. ISSN 0021-8979 *** ISI Impact 2,101 ***
Abelmann, L. and Zhu, Jian-Gang and Bain, J.A. and Ramstöck, K. and Lodder, J.C. (2000) Micromagnetic simulation of a flux guide for a read head with sub-100 nm resolution. Journal of applied physics, 87 (9). pp. 5538-5540. ISSN 0021-8979 *** ISI Impact 2,101 ***
Akşit, M. and Marcelloni, F. and Tekinerdogan, B. (2000) Developing object-oriented framworks using domain models. ACM computing surveys, 32 (1). ISSN 0360-0300 *** ISI Impact 5,243 ***
Albers, W. and Boon, P.C. and Kallenberg, W.C.M. (2000) The asymptotic behavior of tests for normal means based on a variance pre-test. Journal of Statistical Planning and Inference, 88 (1). pp. 47-57. ISSN 0378-3758 *** ISI Impact 0,727 ***
Albers, W. and Boon, P.C. and Kallenberg, W.C.M. (2000) Size and power of pretest procedures. Annals of Statistics, 28. pp. 195-214. ISSN 0090-5364 *** ISI Impact 2,780 ***
Anil Kumar, P.S. and Jansen, R. and van 't Erve, O.M.J. and Vlutters, R. and de Haan, Poul and Lodder, J.C. (2000) Low-field magnetocurrent above 200% in a spin-valve transistor at room temperature. Journal of magnetism and magnetic materials, 214. L1-L6. ISSN 0304-8853 *** ISI Impact 2,357 ***
Anil Kumar, P.S. and Lodder, J.C. (2000) The spin-valve transistor. Journal of physics D: applied physics, 33. pp. 2911-2920. ISSN 0022-3727 *** ISI Impact 2,772 ***
Anil Kumar, P.S. and Lodder, J.C. (2000) The spin-valve transistor - A new magnetoelectronic device. Acta Physica Polonica A, 97. pp. 111-118.
Asveld, P.R.J. and Nijholt, A. (2000) The Inclusion Problem for Some Subclasses of Context-Free Languages. Theoretical computer science, 230. pp. 247-256. ISSN 0304-3975 *** ISI Impact 0,643 ***
Berkhoff, A.P. (2000) Sensor scheme design for active structural acoustic control. Journal of the Acoustical Society of America, 108 (3). pp. 1037-1045. ISSN 0001-4966 *** ISI Impact 1,572 ***
de Boer, M.J. and Tjerkstra, R.W. and Berenschot, J.W. and Jansen, H.V. and Burger, G.J. and Gardeniers, J.G.E. and Elwenspoek, M.C. and van den Berg, A. (2000) Micromachining of buried micro channels in silicon. Journal of microelectromechanical systems, 9 (1). pp. 94-103. ISSN 1057-7157 *** ISI Impact 1,939 ***
Bokhove, O. (2000) On hydrostatic flows in isentropic coordinates. Journal of fluid mechanics, 402. pp. 291-310. ISSN 0022-1120 *** ISI Impact 2,514 ***
Bossi, A. and Etalle, S. and Rossi, S. (2000) Semantics of Well-Moded Input-Consuming Programs. Computer Languages, 26 (1). pp. 1-25. ISSN 0096-0551
Breij, P.A.E. (2000) Disclosive Computer Ethics: The Exposure and Evaluation of Embedded Normativity in Computer Technology. Computers and Society, 30. pp. 10-16. ISSN 0095-2737
Brucker, P. and Hurink, J.L. (2000) Solving a chemical batch scheduling problem by local search. Annals of Operations Research, 96 (1-4). pp. 17-38. ISSN 0254-5330 *** ISI Impact 1,406 ***
Brugger, J. and Berenschot, J.W. and Kuiper, S. and Nijdam, W. and Otter, B. and Elwenspoek, M.C. (2000) Resistless patterning of sub-micron structures by evaporation through nanostencils. Microelectronic Engineering, 53 (1). pp. 403-405. ISSN 0167-9317 *** ISI Impact 1,277 ***
Burlot-Loison, R. and Pollnau, M. and Krämer, K. and Egger, P. and Hulliger, J. and Güdel, H.U. (2000) Laser-relevant spectroscopy and upconversion mechanisms of Er3+ in Ba2YCl7 pumped at 800 nm Journal of the Optical Society of America B (Optical physics), 17 (12). pp. 2055-2067. ISSN 0740-3224 *** ISI Impact 1,731 ***
Carley, L.R. and Bain, J.A. and Fedder, G.K. and Greve, D.W. and Guillou, D.F. and Lu, Michael S. C. and Mukherjee, T. and Santhanam, S. and Abelmann, L. and Min, S. (2000) Single-Chip Computers With Microelectromechanical Systems-Based Magnetic Memory. Journal of applied physics, 87 (9). pp. 6680-6685. ISSN 0021-8979 *** ISI Impact 2,101 ***
Dessein, K. and Boeve, H. and Anil Kumar, P.S. and De Boeck, J. and Lodder, J.C. and Delaey, L. and Borghs, G. (2000) Evaluation of vacuum bonded GaAs/Si spin-valve transistors. Journal of applied physics, 87. pp. 5155-5157. ISSN 0021-8979 *** ISI Impact 2,101 ***
Diehl, S. and Hartel, P.H. and Sestoft, P. (2000) Abstract Machines for Programming Language Implementation. Future Generation Computer Systems, 16 (7). pp. 739-751. ISSN 0167-739X *** ISI Impact 2,430 ***
Driesen, C.H. and Kuerten, J.G.M. (2000) An accurate boundary-element method for Stokes flow in partially covered cavities. Computational mechanics, 25 (5). pp. 501-513. ISSN 0178-7675 *** ISI Impact 2,639 ***
van den Ende, C.W. and Evers, M.J. (2000) Extreme programming: niet revolutionair, wel praktisch. Software release magazine, 5 (4). pp. 36-39.
Güdel, H.U. and Pollnau, M. (2000) Near-infrared to visible photon upconversion processes in lanthanide doped chloride, bromide and iodide lattices. Journal of alloys and compounds, 303-304. pp. 307-315. ISSN 0925-8388 *** ISI Impact 3,014 ***
Geels, F.W. and Smit, W.A. (2000) Failed technology futures: pitfalls and lessons from a historical survey. Futures, 32. pp. 867-885.
Gilding, B.H. and Goncerzewicz, J. (2000) Localization of solutions of exterior domain problems for the porous media equation with radial symmetry. SIAM joumal on mathematical analysis, 31 (4). pp. 862-893. ISSN 0036-1410 *** ISI Impact 1,486 ***
Glaser, H. and Hartel, P.H. and Garratt, P.W. (2000) Programming by Numbers -- A Programming Method for Complete Novices. The Computer Journal, 43 (4). pp. 252-265. ISSN 0010-4620 *** ISI Impact 1,000 ***
Golding, P.S. and Jackson, S.D. and King, T.A. and Pollnau, M. (2000) Energy-transfer processes in Er3+-doped and Er3+,Pr3+-codoped ZBLAN glasses Physical review B: Condensed matter and materials physics, 62 (2). pp. 856-864. ISSN 0163-1829
Grefen, P.W.P.J. and Aberer, K. and Hoffner, Y. and Ludwig, H. (2000) CrossFlow: Cross-Organizational Workflow Management in Dynamic Virtual Enterprises. International Journal of Computer Systems Science & Engineering, 15 (5). pp. 277-290. ISSN 0267-6192 *** ISI Impact 0,291 ***
Havinga, P.J.M. and Smit, G.J.M. and Bos, M. (2000) Energy efficient wireless ATM design. Mobile Networks and Applications (MONET), Special issue on Wireless Mobile ATM technologies, 5 (2). pp. 147-155. ISSN 1383-469X *** ISI Impact 1,538 ***
Hermanns, H. and Herzog, U. and Klehmet, U. and Mertsiotakis, V. and Siegle, M. (2000) Compositional Performance Modelling with the TIPPtool. Performance Evaluation, 39 (1-4). pp. 5-35. ISSN 0166-5316 *** ISI Impact 0,944 ***
Hermanns, H. and Katoen, J.P. (2000) Automated compositional Markov chain generation for a plain-old telephone system. Science of Computer Programming, 36 (1). pp. 97-127. ISSN 0167-6423 *** ISI Impact 0,828 ***
Hiemstra, D. (2000) A probabilistic justification for using tf.idf term weighting in information retrieval. International Journal on Digital Libraries, 3 (2). pp. 131-139. ISSN 1432-5012
van Honschoten, J.W. and van Baar, J.J.J. and de Bree, H.E. and Lammerink, T.S.J. and Krijnen, G.J.M. and Elwenspoek, M.C. (2000) Application of a microflown as a low-cost level sensor. Journal of Micromechanics and Microengineering, 10 (2). pp. 250-253. ISSN 0960-1317 *** ISI Impact 1,768 ***
Inglot, T. and Kallenberg, W.C.M. and Ledwina, T. (2000) Vanishing shortcoming and asymptotic relative efficiency. Annals of Statistics, 28. pp. 215-238. ISSN 0090-5364 *** ISI Impact 2,780 ***
Jackson, S.D. and King, T.A. and Pollnau, M. (2000) Modelling of high-power diode-pumped erbium 3-µm fibre lasers. Journal of Modern Optics, 47 (11). pp. 1987-1994. ISSN 0950-0340 *** ISI Impact 1,267 ***
Jackson, S.D. and King, T.A. and Pollnau, M. (2000) Efficient high power operation of erbium 3 µm fibre laser diode-pumped at 975 nm. Electronics letters, 36 (3). pp. 223-224. ISSN 0013-5194 *** ISI Impact 0,854 ***
Jansen, R. and Anil Kumar, P.S. and van 't Erve, O.M.J. and Vlutters, R. and de Haan, Poul and Lodder, J.C. (2000) Thermal spin-wave scattering in hot-electron magnetotransport across a spin valve. Physical review letters, 85. pp. 3277-3280. ISSN 0031-9007 *** ISI Impact 7,645 ***
Jansen, R. and Lodder, J.C. (2000) Resonant tunneling via spin-polarized barrier states in a magnetic tunnel junction. Physical review B: Condensed matter and materials physics, 61. pp. 5860-5863. ISSN 1098-0121
Kallenberg, L.A.C. (2000) Calcium signalling in secretory cells. Archives of physiology and biochemistry, 108 (5). pp. 385-390. ISSN 1381-3455 *** ISI Impact 1,536 ***
Katoen, J.P. and Nymeyer, A. (2000) Pattern-matching algorithms based on term rewrite systems. Theoretical Computer Science, 238 (1-2). pp. 439-463. ISSN 0304-3975 *** ISI Impact 0,643 ***
Kirilyuk, A. and Knippels, G.M.H. and van der Meer, A.F.G. and Renard, S. and Rasing, T. and Heskamp, I.R. and Lodder, J.C. (2000) Observation of strong magnetic effects in visible-infrared sum frequency generation from magnetic structures. Physical review B: Condensed matter and materials physics, 62. R783-R786. ISSN 1098-0121
Kuiper, S. and de Boer, M.J. and van Rijn, C.J.M. and Nijdam, W. and Krijnen, G.J.M. and Elwenspoek, M.C. (2000) Wet and dry etching techniques for the release of sub-micrometre perforated membranes. Journal of micromechanics and microengineering, 10 (2). pp. 171-174. ISSN 0960-1317 *** ISI Impact 1,768 ***
Kuiper, S. and van Rijn, C.J.M. and Nijdam, W. and Krijnen, G.J.M. and Elwenspoek, M.C. (2000) Determination of particle-release conditions in microfiltration: A simple single-particle model tested on a model membrane. Journal of membrane science, 180 (1). pp. 15-28. ISSN 0376-7388 *** ISI Impact 5,557 ***
Lalbahadoersing, S. and Siekman, M.H. and Groenland, J.P.J. and Luitjens, S.B. and Lodder, J.C. (2000) Track edges in metal-evaporated tape and thin metal-particle tape. Journal of magnetism and magnetic materials, 219. pp. 248-251. ISSN 0304-8853 *** ISI Impact 2,357 ***
Lenin, R.B. and Parthasarathy, P.R. (2000) A computational approach for fluid queues driven by truncated birth-death processes. Methodology and computing in applied probability, 2 (4). pp. 373-392. ISSN 1387-5841 *** ISI Impact 0,782 ***
Lenin, R.B. and Parthasarathy, P.R. and Scheinhardt, W.R.W. and van Doorn, E.A. (2000) Families of birth-death processes with similar time-dependent behaviour. Journal of applied probability, 37 (3). pp. 835-849. ISSN 0021-9002 *** ISI Impact 0,665 ***
Litvinov, D. and Chomko, R.M. and Abelmann, L. and Ramstöck, K. and Chen, GaLane and Khizroev, S.K. (2000) Micromagnetics of a soft underlayer. IEEE Transactions on Magnetics, 36. pp. 2483-2485. ISSN 0018-9464 *** ISI Impact 1,277 ***
Lu, Hongjun and Feng, Ling and Han, Jiawei. (2000) Beyond Intra-Transaction Association Analysis: Mining Multi-Dimensional Inter-Transaction Association Rules. ACM Transactions on Information Systems, 18 (4). pp. 423-454. ISSN 1046-8188 *** ISI Impact 0,977 ***
Ludwig, H. and Grefen, P.W.P.J. (2000) Report on ISDO '00: the CAiSE*00 workshop on “infrastructures for dynamic business-to-business service outsourcing? ACM SIGMOD record, 29 (3). pp. 15-18. ISSN 0163-5808 *** ISI Impact 0,698 ***
Mandal, P.K. and Mandrekar, V. (2000) A Bayes formula for Gaussian noise processes and its applications. SIAM journal on control and optimization, 39 (3). pp. 852-871. ISSN 0363-0129 *** ISI Impact 1,491 ***
Mandal, P.K. and Mandrekar, V. (2000) Bayes formula for optimal filter with n-ple Markov Gaussian errors. Acta applicandae mathematicae, 63 (1-3). pp. 245-252. ISSN 0167-8019 *** ISI Impact 0,853 ***
Marcelloni, F. and Akşit, M. (2000) Improving Object-Oriented Methods by using Fuzzy Logic. ACM Applied Computing Review, 8 (2). pp. 14-23. ISSN 1559-6915
Masser, I. and Montoya Morales, A.L. (2000) G.I.S. in Urban Disaster Management. City Development Strategies, 5. pp. 49-52. ISSN not assigned
Neagu, C.R. and Jansen, H.V. and Gardeniers, J.G.E. and Elwenspoek, M.C. (2000) The electrolysis of water: An actuation principle for MEMS with a big opportunity. Mechatronics, 10 (4-5). pp. 571-581. ISSN 0957-4158 *** ISI Impact 1,871 ***
Nijdam, A.J. and Gardeniers, J.G.E. and Gui, C. and Elwenspoek, M.C. (2000) Etching pits and dislocations in Si{111} Sensors and actuators A: Physical, 86 (3). pp. 238-247. ISSN 0924-4247 *** ISI Impact 2,201 ***
Nijdam, A.J. and van Veenendaal, E. and Gardeniers, J.G.E. and Kentgens, A.P.M. and Nachtegaal, G.H. and Elwenspoek, M.C. (2000) 29Si-nuclear magnetic resonance on the etching products of silicon in potassium hydroxide solutions. Journal of the Electrochemical Society, 147 (6). pp. 2195-2198. ISSN 0013-4651 *** ISI Impact 3,014 ***
Nijholt, A. (2000) Spraak- en Taaltechnologie voorbij 2000. Informatie Professional, 4 (4). pp. 42-44. ISSN 1385-5328
Nijholt, A. and Hondorp, G.H.W. (2000) Communicerende agents en avatars in virtuele werelden. RE-Cursief, 8 (2). pp. 13-23.
Oosterbroek, R.E. and Berenschot, J.W. and Jansen, H.V. and Nijdam, A.J. and Pandraud, G. and van den Berg, A. and Elwenspoek, M.C. (2000) Etching methodologies in <111>-oriented silicon wafers. Journal of microelectromechanical systems, 9 (3). pp. 390-398. ISSN 1057-7157 *** ISI Impact 1,939 ***
Ordelman, R.J.F. (2000) Zoeken in historisch videomateriaal. Informatie professional, 4 (12). pp. 24-28. ISSN 1385-5328
Palasantzas, G. and Svetovoy, V.B. and Van Zwol, P.J. (2000) Influence of ultrathin water layer on the van der Waals/Casimir force between gold surfaces. Physical review B: Condensed matter and materials physics, 79 (23). 235434. ISSN 1098-0121
Pollnau, M. and Gamelin, D.R. and Lüthi, S.R. and Güdel, H.U. and Hehlen, M.P. (2000) Power dependence of upconversion luminescence in lanthanide and transition-metal-ion systems. Physical review B: Condensed matter and materials physics, 61 (5). pp. 3337-3346. ISSN 0163-1829
Ramstöck, K. and Ruigrok, J.J.M. and Lodder, J.C. (2000) Switching behavior of small soft magnetic elements. Sensors and actuators A: Physical, 81. pp. 359-362. ISSN 0924-4247 *** ISI Impact 2,201 ***
Rensink, A. (2000) Bisimilarity of Open Terms. Information and computation, 156 (1/2). pp. 345-385. ISSN 0890-5401 *** ISI Impact 0,873 ***
Schuba, M. and Haverkort, B.R.H.M. and Schneider, G. (2000) Performance Evaluation of Multicast Communication in Packet-Switched Networks. Performance evaluation, 39. pp. 61-80. ISSN 0166-5316 *** ISI Impact 0,944 ***
Tjerkstra, R.W. and Gardeniers, J.G.E. and Kelly, J.J. and van den Berg, A. (2000) Multi-walled microchannels: free-standing porous silicon membranes for use in $\mu$TAS. Journal of microelectromechanical systems, 9 (4). pp. 495-501. ISSN 1057-7157 *** ISI Impact 1,939 ***
Tretmans, G.J. and Belinfante, A.F.E. (2000) Automatic Testing with Formal Methods - Samenvatting van de EuroSTAR'99 presentatie. TestNet Nieuws - Nieuwsbrief van de vereniging TestNet, 4 (1). pp. 8-10.
Van Veenendaal, E. and Nijdam, A.J. and Van Suchtelen, J. and Sato, K. and Gardeniers, J.G.E. and Van Enckevort, W.J.P. and Elwenspoek, M.C. (2000) Simulation of anisotropic wet chemical etching using a physical model. Sensors and actuators A: Physical, 84 (3). pp. 324-329. ISSN 0924-4247 *** ISI Impact 2,201 ***
Vedyayev, A. and Ryzhanova, N. and Vlutters, R. and Dieny, B. and Strelkov, N. (2000) Voltage dependence of giant tunnel magnetoresistance in triple barrier magnetic systems. Journal of physics. Condensed matter, 12. pp. 1797-1804. ISSN 0953-8984 *** ISI Impact 2,209 ***
van Veenendaal, E. and van Beurden, P. and van Enckevort, W.J.P. and Vlieg, E. and van Suchtelen, J. and Elwenspoek, M.C. (2000) Monte Carlo study of kinetic smoothing during dissolution and etching of the Kossel (100) and silicon (111) surfaces. Journal of Applied Physics, 88 (8). pp. 4595-4604. ISSN 0021-8979 *** ISI Impact 2,101 ***
van Veenendaal, E. and van Suchtelen, J. and van Enckevort, W.J.P. and Sato, K. and Nijdam, A.J. and Gardeniers, J.G.E. and Elwenspoek, M.C. (2000) The construction of orientation-dependent crystal growth and etch rate functions II: Application to wet chemical etching of silicon in potassium hydroxide. Journal of applied physics, 87 (12). pp. 8732-8740. ISSN 0021-8979 *** ISI Impact 2,101 ***
de Vries, A.P. and Windhouwer, M.A. and Apers, P.M.G. and Kersten, M.L. (2000) Information Access in Multimedia Databases based on Feature Models. New Generation Computing, 18 (4). pp. 323-339. ISSN 0288-3635 *** ISI Impact 0,533 ***
de Vries, R.G. and Tretmans, G.J. (2000) On-the-fly conformance testing using Spin. International journal on software tools for technology transfer, 2 (4). pp. 382-393. ISSN 1433-2779
Wensink, H. and Jansen, H.V. and Berenschot, J.W. and Elwenspoek, M.C. (2000) Mask materials for powder blasting. Journal of micromechanics and microengineering, 10 (2). pp. 175-180. ISSN 0960-1317 *** ISI Impact 1,768 ***
Wiegerink, R.J. and Zwijze, A.F. and Krijnen, G.J.M. and Lammerink, T.S.J. and Elwenspoek, M.C. (2000) Quasi-monolithic silicon load cell for loads up to 1000 kg with insensitivity to non-homogeneous load distributions. Sensors and Actuators A: Physical, 80 (2). pp. 189-196. ISSN 0924-4247 *** ISI Impact 2,201 ***
Wong, Allan K.Y. and Wu, S.L. and Feng, Ling (2000) An Efficient Algorithm for Mining Association Rules for Large Itemsets in Large Databases: from Sequential to Parallel. International journal of engineering intelligent systems for electrical engineering and communications, 8 (2). pp. 109-117. ISSN 0969-1170
Zwijze, A.F. and Wiegerink, R.J. and Krijnen, G.J.M. and Lammerink, T.S.J. and Elwenspoek, M.C. (2000) Low-cost piezoresistive silicon load cell independent of force distribution. Journal of micromechanics and microengineering, 10 (2). pp. 200-203. ISSN 0960-1317 *** ISI Impact 1,768 ***

Book

Bunt, H. and Nijholt, A., ed. (2000) Advances in Probabilistic and other Parsing Technologies. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-6616-6
Haverkort, B.R.H.M. and Bohnenkamp, H.C. and Smith, C.U., ed. (2000) Computer Performance Evaluation: Modelling Techniques and Tools. Lecture Notes in Computer Science 1786. Springer-Verlag. ISSN 0302-9743 ISBN 3-540-67260-5
Heylen, D.K.J. and Nijholt, A. and Scollo, G., ed. (2000) Algebraic Methods in Language Processing. Twente Workshop on Language Technology 16. University of Twente, Enschede. ISSN 0929-0672
Jokinen, K. and Nijholt, A. and Heylen, D.K.J., ed. (2000) Learning to Behave: Internalising Knowledge. Twente Workshop on Language Technology 18. University of Twente, Enschede. ISSN 0929-0672
Nijholt, A. and Heylen, D.K.J. and Jokinen, K., ed. (2000) Learning to Behave: Interacting Agents. Twente Workshop on Language Technology 17. University of Twente, Enschede. ISSN 0929-0672
Scholten, J. and van Sinderen, M.J., ed. (2000) Interactive Distributed Multimedia Systems and Telecommunication Services. Lecture Notes in Computer Science 1905. Springer, Berlin, Germany. ISBN 3-540-41130-5
van Etten, W.C. and van der Plaats, J.C. (2000) Principles of Optical Fiber Communications. Twente University Press, Enschede, Netherlands. ISBN 9036515092
Grefen, P.W.P.J. (2000) Workflow Management. Ten Hagen & Stam, Den Haag. ISBN 9044000683

Review

Asveld, P.R.J. (2000) Review of "R. McNaughton, An insertion into the Chomsky hierarchy? Jewels Are Forever (1999) 204-212, Springer, Berlin". Mathematical reviews, MR1719069 / 2000i:68104. pp. 6559-6559. ISSN 0025-5629
Asveld, P.R.J. (2000) Review of "A. Fujiyoshi & T. Kasai, Spinal-formed context-free grammars. Theory Comput. Syst. 33 (2000) 59-83". Mathematical reviews, MR1723743 / 2000k:68082. pp. 8125-8125. ISSN 0025-5629
Asveld, P.R.J. (2000) Review of "L. Ilie, G. Rozenberg & A. Salomaa, A characterization of poly-slender context-free languages. Theor. Inform. Appl. 34 (2000) 77-86". Mathematical reviews, MR1771131 / 2001g:68053. pp. 5019-5019. ISSN 0025-5629

Book Section

Andrade Almeida, J.P. and Ramlie, Y. and Pras, A. (2000) Overzicht Ntop (Network Top). In: Handboek Netwerkmanagement. Ten Hagen and Stam, Den Haag, pp. 1-13. ISBN 90-5404-965-0
Bunt, H.C. and Nijholt, A. (2000) New parsing technologies. In: Advances in Probabilistic and Other Parsing Technologies. Kluwer Academic Publishers, Dordrecht, pp. 1-12. ISBN 0-7923-6616-6
Kallenberg, W.C.M. (2000) Intermediate efficiency, Kallenberg efficiency. In: Encyclopaedia of Mathematics, Supplement II. Kluwer Academic Publishers, Dordrecht, pp. 275-277. ISBN 9780792361145
Liu, Kecheng and Apers, P.M.G. and Chattopadhyay, S. and Cheng, Albert and Fox, M. and Greene, T. and Klein, M. and Stamper, R. (2000) Enterprise Information Systems: issues, challenges and viewpoints. In: Enterprise information systems. Kluwer Academic Publishers, Norwell, MA, USA, pp. 1-13. ISBN 0-7923-6239-X
Nijholt, A. (2000) Van Illusie naar Werkelijkheid. In: ILLUSIE: Jaarboek 2000. Christiaan Huygens, Delft, pp. 30-32. ISBN not assigned
Nijholt, A. and Hulstijn, J. (2000) Multimodal Interactions with Agents in Virtual Worlds. In: Future Directions for Intelligent Information Systems and Information Science. Studies in Fuzziness and Soft Computing 45. Physica-Verlag, Heidelberg, Germany, pp. 148-173. ISBN 3-7908-1276-5
Tarr, P. and D'Hondt, M. and Bergmans, L.M.J. and Lopes, C. (2000) Workshop on Aspects and Dimensions of Concern: Requirements on, and Challenge Problems for, Advanced Separation of Concerns. In: Object-Oriented Technology: ECOOP 2000 Workshop Reader. Lecture Notes in Computer Science 1964. Springer Verlag, London, pp. 203-240. ISSN 0302-9743 ISBN 3540415130
van der Ven, H. and van der Vegt, J.J.W. (2000) Accuracy, resolution, and computational complexity of a discontinuous Galerkin finite element method. In: Discontinuous Galerkin Methods : Theory, Computation and Applications. Lecture Notes in Computational Science and Engineering 11. Springer Verlag, Berlin, pp. 439-444. ISSN 1439-7358 ISBN 9783540667872
van der Vet, P.E. (2000) Content engineering (computing beyond the upper OSI layer). In: Globalisierung und Wissensorganisation: neue Aspekte für Wissen, Wissenschaft, und Informationssysteme. Ergon Verlag, Würzburg, pp. 327-334. ISBN 3-933563-78-X

Conference or Workshop Paper

op den Akker, H.J.A. and Nijholt, A. (2000) Dialogues for Embodied Agents in Virtual Environments. In: Natural Language Processing - NLP 2000, Second International Conference, 2-4 June 2000, Patras, Greece. pp. 358-369. Lecture Notes in Artificial Intelligence 1835. Springer Verlag. ISBN 3-540-67605-8
Akşit, M. and Noutash, A. and van Sinderen, M.J. and Bergmans, L.M.J. (2000) QoS Provisioning in CORBA by Introducing a Reflective Aspect-Oriented Transport Layer. In: Electronic Proceedings of the ECOOP 2000 Workshop on Quality of Service in Distributed Object Systems, 12 Jun 2000, Sophia Antipolis, France. ISBN not assigned
Asveld, P.R.J. (2000) Algebraic Aspects of Families of Fuzzy Languages. In: Proc. Algebraic Methods in Language Processing (AMiLP 2000), AMAST Workshop, May 20-22, 2000, Iowa City, Iowa, USA. pp. 1-16. TWLT 16. ISSN 0929-0672
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) Model checking continuous-time Markov chains by transient analysis. In: Computer Aided Verification, 12th International Conference, CAV 2000, July 15-19, 2000, Chicago, IL, USA. pp. 358-372. Lecture Notes in Computer Science 1855. Springer Verlag. ISBN 3-540-67770-4
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Logical Characterisation of Performability Properties. In: International Conference on Automata, Languages and Programming (ICALP), 10-14 July 2000, Geneva, Switserland. pp. 780-792. Lecture Notes in Computer Science 1853. Springer. ISBN 9783540677154
Bazen, A.M. and Verwaaijen, G.T.B. and Gerez, S.H. and Veelenturf, L.P.J. and van der Zwaag, B.J. (2000) A correlation-based fingerprint verification system. In: 11th Annual Workshop on Circuits Systems and Signal Processing (ProRISC), 30 November - 1 December 2000, Veldhoven, the Netherlands. pp. 205-213. Technology Foundation STW. ISBN 90-73461-24-3
Belinfante, A.F.E. and de Vries, R.G. and Du Bousquet, L. and Ramangalahy, S. and Simon, S. and Viho, C. (2000) Formal Test Automation: The Conference protocol with TGV/TorX. In: Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. pp. 221-228. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7
Bergmans, L.M.J. and van Halteren, A.T. and Ferreira Pires, L. and van Sinderen, M.J. and Akşit, M. (2000) A QoS-Control Architecture for Object Middleware. In: 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'2000), 2000, Enschede, Netherlands. pp. 117-131. Lecture Notes in Computer Science 1905. Springer. ISBN 3-540-41130-5
Berkvens, P.J.F. and Botchev, M.A. and Verwer, J.G. (2000) On the efficient treatment of vertical mixing and chemistry in air pollution modeling. In: Proceedings of the 16th IMACS World Congress, August 21-25, 2000, Lausanne, Switzerland. IMACS. ISBN 3-9522075-1-9
Bertolino, M. and Etalle, S. and Palamidessi, C. (2000) The Replacement Operation for CCP Programs. In: 9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), Venezia, Italy. pp. 216-233. Springer-Verlag. ISBN 3-540-67628-7
Bijwaard, D.J.A. and Spee, J.B.R.M. and de Boer, P.T. (2000) Engineering Workflow: The Process in Product Data Technology. In: Proceedings PDT Days 2000: 9th Symposium Product Data Technology Europe, 2-5 May 2000, Noordwijk, the Netherlands. pp. 215-222. Quality Marketing Services. ISBN 1-901782-04-2
Blok, H.E. (2000) Top N optimization issues in MM databases. In: Proceedings of the EDBT 2000 PhD Workshop, 31 Mar - 1 Apr 2000, Konstanz, Germany. pp. 78-81. University of Konstanz.
Blom, M.T. and Tas, N.R. and Pandraud, G. and Chmela, E. and Gardeniers, J.G.E. and Tijssen, R.P. and Elwenspoek, M.C. and van den Berg, A. (2000) Failure mechanisms of pressurized microchannels, model and experiments. In: Micro Electro Mechanical Systems, 2000. MEMS 2000. The Thirteenth Annual International Conference on, 23-27 Jan 2000, Miyazaki, Japan. pp. 199-204. IEEE Computer Society. ISBN 0-7803-5273-4
de Boer, P.T. and Nicola, V.F. and Rubinstein, R.Y. (2000) Adaptive Importance Sampling Simulation of Queueing Networks. In: The 2000 Winter Simulation Conference (WSC'00), 10-13 December 2000, Orlando, Florida, USA. pp. 646-655. IEEE. ISBN 0-7803-6582-8
Bos, M. and Havinga, P.J.M. and Smit, G.J.M. (2000) Channel Communication and Reconfigurable Hardware. In: 1st PROGRESS workshop on Embedded Systems, 13 Oct. 2001. Technology Foundation STW. ISBN 90-73461-25-1
Bosch, H.G.P. and Mullender, S.J. (2000) Real-time disk scheduling in a mixed-media file system. In: 6th Real-Time Technology and Application Symp. (RTAS), Washington, DC. pp. 23-32. IEEE Computer Society. ISBN 0769507131
Bossi, A. and Cocco, N. and Etalle, S. (2000) Transformation of Left Terminating Programs. In: 9th Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR), Venezia, Italy. pp. 156-175. Springer-Verlag. ISBN 3-540-67628-7
Bossi, A. and Etalle, S. and Rossi, S. (2000) Semantics of Input-Consuming Logic Programs. In: Computational Logic (CL), London, UK. pp. 194-208. Springer-Verlag.
de Bree, H.E. and van der Eerden, F.J.M. and van Honschoten, J.W. (2000) A novel technique for measuring the reflection coefficient of sound absorbing materials. In: International Conference on Noise and Vibration, ISMA 25, 13-15 Sep 2000, Leuven, Belgium. pp. 1-8. ISMA 25. ISBN not assigned
Brinksma, H. (2000) Verification Is Experimentation! In: CONCUR 2000 - Concurrency Theory, 11th International Conference, August 22-25, 2000, University Park, PA, USA. pp. 17-24. Lecture Notes in Computer Science 1877. Springer Verlag. ISBN 3-540-67897-2
Brinksma, H. and Mader, A.H. (2000) Verification and Optimization of a PLC Control Schedule. In: 7th Int. SPIN Workshop on Model Checking of Software, Stanford Univ., California. pp. 73-92. Springer-Verlag. ISBN 3-540-41030-9
Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2000) Mu-calculus-based deontic logic for regular actions. In: Fifth International Workshop on Deontic Logic in Computer Science (DEON'00), 20-22 Jan 2000, Toulouse, France. pp. 43-61. Onera. ISBN not assigned
Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2000) A semantics for persistency in propositional dynamic logic. In: First International Conference on Computational Logic (CL2000), 24-28 July 2000, London, UK. pp. 912-925. Lecture Notes in Artificial Intelligence 1861. Springer. ISSN 0302-9743 ISBN 978-3-540-67797-0
Cederquist, J.G. and Coquand, T. (2000) Entailment relations and distributive lattices. In: Logic Colloquium 1998, 09-15 Aug 1998, Prague, Czech Republic. pp. 110-123. Lecture Notes in Logic 13. Association for Symbolic Logic in cooperation with A K Peters. ISBN 1-56881-113-6
Choenni, R.S. (2000) Design and Implementation of a Genetic-based Algorithm for Data Mining. In: Proceedings of the 26th International Conference on Very Large Data Bases (VLDB 2000), 10-14 Sep 2000, Cairo, Egypt. pp. 33-42. Morgan Kaufmann Publishers. ISBN 1-55860-715-3
Choenni, R.S. (2000) SHARVIND: A Genetic-Based Data Mining Tool. In: Proceedings of the 12th Belgium-Netherlands Artificial Intelligence Conference (BNAIC 2000), 1-2 Nov 2000, Efteling, Kaatsheuvel, The Netherlands. Tilburg University. ISSN 1568-7805
Choenni, R.S. and Blanken, H.M. (2000) Modelling Uncertainty in Physical Database Design. In: Proceedings of the 7th International Workshop on Knowlege Representation Meets Databases (KRDB-2000), 21 Aug 2000, Berlin, Germany. pp. 31-44. CEUR Workshop Proceedings 29. CEUR-WS.org.
Diakov, N.K. and Batteram, H.J. and Zandbelt, H. and van Sinderen, M.J. (2000) Monitoring of distributed component interactions. In: IFIP/ACM Workshop on Reflective Middleware, RM 2000, 7-8 Apr 2000, New York, USA. pp. 1-2. Lancaster University.
Diakov, N.K. and Batteram, H.J. and Zandbelt, H. and van Sinderen, M.J. (2000) Design and Implementation of a Framework for Monitoring Distributed Component Interactions. In: Seventh International Workshop on Interactive Distributed Multimedia Systems, IDMS 2000, 17-20 Oct 2000, Enschede, The Netherlands. pp. 227-240. Lecture Notes in Computer Science 1905. Springer. ISSN 0302-9743 ISBN 3-540-41130-5
Diakov, N.K. and van Sinderen, M.J. and Quartel, D.A.C. (2000) Monitoring extensions for component-based distributed software. In: Fifth International Conference on Protocols for Multimedia Systems, PROMS 2000, 22-25 Oct 2000, Cracow, Poland. pp. 417-424. AGH. ISBN 83-88309-05-6
van Dijk, H.W. and Langendoen, K.G. and Sips, H.J. (2000) ARC: A Bottom-Up Approach to Negotiated QoS. In: 3rd IEEE Workshop on Mobile Computing Systems and Applications (WMCSA), Monterey, California. pp. 128-137. IEEE Computer Society. ISBN 0-7695-0816-2
Dinapoli, R. and Cantatore, E. and Cencelli, V. and Heijne, E.H.M. and Jarron, P. and Lamanna, P. and O'shea, V. and Quiquempoix, V. and San Segundo Bello, D. and Snoeys, W. and van Koningsveld, B. and Wyllie, K. and Campbell, M. (2000) An analog front-end in standard 0.25um CMOS for silicon pixel detectors in ALICE and LHCb. In: Sixth Workshop on Electronics for LHC Experiments (LEB2000), 11-15 Sep 2000, Krakow, Poland. pp. 110-114. CERN. ISBN 9290831723
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) Towards Model Checking OCL. In: ECOOP 2000: Defining Precise Semantics for UML, 12 June 2000, Sophia Antipolis, France. ISBN not assigned
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) On a Temporal Logic for Object-Based Systems. In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'2000). pp. 305-326. Kluwer Academic Publishers. ISBN 0-7923-7923-3
Eshuis, H. and Wieringa, R.J. (2000) Requirements Level Semantics for UML Statecharts. In: 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), 6-8 Sept 2000, Stanford, California, USA. pp. 121-140. IFIP Conference Proceedings 177. Kluwer Academic Publishers. ISBN 0792379233
Etalle, S. and Mountjoy, J. (2000) The lazy functional side of logic programming. In: Extended Abstracts 10th Int. Workshop on Logic-based Program Synthesis and Transformation (LOPSTR), Jul. 2000, Imperial College, London. Department of Computer Science. ISSN 1361-6161
Evers, M.J. and Nijholt, A. (2000) Jacob: An Educational Agent in a Virtual Environment. In: Proceedings 12th Belgian-Dutch Artificial Intelligence Conference (BNAIC'00), 1-2 November 2000, Efteling, Kaatsheuvel. pp. 357-358. BNAIC.
Evers, M.J. and Nijholt, A. (2000) Jacob - an animated instruction agent for virtual reality. In: Proceedings Third International Conference on Multimodal Interfaces, 14-16 October 2000, Beijing. pp. 526-533. Lecture Notes in Computer Science 1948. Springer Verlag. ISBN 3-540-41180-1
Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) An Automatic SPIN Validation of a Safety Critical Railway Control System. In: Int. Conf. on Dependable Systems and Networks (DSN), New York. pp. 119-124. IEEE Computer Society. ISBN 0-7695-0707-7
Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) A Formal Specification and Validation of a Safety Critical Railway Control System. In: Fifth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2000, 3-4 Apr 2000, Berlin, Germany. pp. 305-329. GMD-Report 91. GMD - Forschungszentrum Informationstechnik GmbH. ISSN 1435-2702
Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) A Formal Specification and Validation of a Control System in Presence of Byzantine Errors. In: 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, 27-31 Mar 2000, Berlin, Germany. pp. 535-549. Lecture Notes in Computer Science 1785. Springer-Verlag. ISBN 3-540-67282-6
Golding, P.S. and Jackson, S.D. and King, T.A. and Pollnau, M. (2000) Determination of energy transfer parameters in Er3+-doped and Er3+, Pr3+-codoped ZBLAN glasses In: Advanced Solid State Lasers, 13-15 February 2000, Davos, Switzerland. pp. 548-554. OSA Trends in Optics and Photonics 50. Optical Society of America. ISBN 1-55752-661-3
Grefen, P.W.P.J. (2000) Contract-Based Transaction Management in Cross-Organizational Workflow Management. In: CAiSE*00 Workshop on Infrastructures for Dynamic Business-to-Business Service Outsourcing, 5-6 June 2000, Stockholm, Sweden. 6. CEUR Workshop Proceedings 30. CEUR. ISSN 1613-0073
Grefen, P.W.P.J. and Sikkel, K. and Wieringa, R.J. (2000) Two Case Studies of Subsystem Design for General-Purpose CSCW Software Architectures. In: Landelijk Architectuur congres, 22-23 Nov 2000, Amsterdam, the Netherlands. SERC. ISBN not assigned
Guareis de Farias, C.R. and Diakov, N.K. (2000) Component-based Groupware Tailorability using Monitoring Facilities. In: Workshop on Component-based Groupware (CBG 2000), 2-6 Dec 2000, Philadelphia, PA, USA. pp. 16-22. Telematica Instituut. ISBN not assigned
Guareis de Farias, C.R. and Ferreira Pires, L. and van Sinderen, M.J. (2000) A component-based groupware development methodology. In: Proceedings of the Fourth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2000), 25-28 Sep 2000, Makuhari, Japan. pp. 204-213. IEEE Computer Society. ISBN 07-6950-8650
Guareis de Farias, C.R. and Ferreira Pires, L. and van Sinderen, M.J. (2000) A conceptual model for the development of CSCW systems. In: The Use of Theories and Models - Proceedings of the 4th International Conference on the Design of Cooperative Systems (COOP 2000), 23-26 May 2000, Sophia Antipolis, France. pp. 189-204. Frontiers in Artificial Intelligence and Applications 58. IOS Press. ISBN 978-1-58603-042-1
Guareis de Farias, C.R. and van Sinderen, M.J. and Ferreira Pires, L. (2000) A systematic approach for component-based software development. In: Proceedings of the 7th European Concurrent Engineering Conference 2000 (ECEC 2000) - Concurrent Engineering in the Framework of IT Convergence, 17-19 Apr 2000, Leicester, UK. pp. 127-131. Society for Computer Simulation. ISBN 1-565552024
Hartel, P.H. (2000) Formalising Java safety -- An overview. In: 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS), Bristol, UK. pp. 115-134. Kluwer Academic Publishers. ISBN 0-7923-7953-5
Hartel, P.H. and de Jong, E.K. (2000) A programming and a modelling perspective on the evaluation of Java Card implementations. In: 1st Java on Smart Cards: Programming and Security (Java Card Workshop), Cannes, France. pp. 52-72. Springer-Verlag. ISBN 3-540-42167-X
Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany. pp. 228-237. IEEE Computer Society. ISBN 0769505430
Heerink, A.W. and Feenstra, J. and Tretmans, G.J. (2000) Formal Test Automation: The Conference Protocol with PHACT. In: Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques. pp. 211-220. IFIP Conference Proceedings 176. Kluwer Academic Publishers. ISBN 0-7923-7921-7
Henderson, N.J. and Hartel, P.H. (2000) Pressure Sequence - A Novel Method of Protecting Smart Cards. In: 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CARDIS), Bristol, UK. pp. 241-256. Kluwer Academic Publishers. ISBN 0-7923-7953-5
Hermanns, H. (2000) Performance and reliability model checking and model construction. (Invited) In: Formal Methods for Industrial Critical Systems, 5th International Workshop, FMICS 2000, 3-4 April 2000, Berlin, Germany. pp. 11-27. report 91. GMD. ISSN 1435-2702
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) A Markov Chain Model Checker. In: Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000, 27-31 March 2000, Berlin, Germany. pp. 347-362. Lecture Notes in Computer Science 1785. Springer Verlag. ISBN 3-540-67282-6
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) Towards Model Checking Stochastic Process Algebra. In: Integrated Formal Methods, 2nd international Workshop, IFM 2000, 1-3 Nov 2000, Schloss Dagstuhl, Saarland, Germany. pp. 420-439. Lecture Notes in Computer Science 1945. Springer Verlag. ISBN 3-540-41196-8
Hesselman, C.E.W. and Widya, I.A. and van Halteren, A.T. and Nieuwenhuis, L.J.M. (2000) Middleware Support for Media Streaming Establishment Driven by User-oriented QoS Requirements. In: Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS2000), 2000, Enschede, The Netherlands. pp. 158-171. Lecture Notes in Computer Science 1905. Springer Verlag. ISBN 3-540-41130-5
Heysters, P.M. and Smit, J. and Smit, G.J.M. and Havinga, P.J.M. (2000) Exploring Energy-Efficient Reconfigurable Architectures for DSP Algorithms. In: 1st PROGRESS workshop on Embedded Systems. pp. 107-112. ISBN 90-73461-25-1
Heysters, P.M. and Smit, J. and Smit, G.J.M. and Havinga, P.J.M. (2000) Mapping of DSP Algorithms on Field Programmable Function Arrays. In: FPL2000.
Hoffner, Y. and Ludwig, H. and Gülcü, C. and Grefen, P.W.P.J. (2000) Architecture for Cross-Organizational Business Processes. In: 2nd International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS), 8-9 June 2000, Milpitas, California, USA. pp. 2-11. IEEE Computer Society. ISBN 0-7695-0610-0
Jansen, D.N. and Wieringa, R.J. (2000) Extending CTL with Actions and Real-Time. In: International Conference on Temporal Logic, Leipzig. pp. 105-114. s. n..
de Jong, F.M.G. and Gauvain, J.-L. and Hiemstra, D. and Netter, K. (2000) Language-based multimedia information retrieval. In: Proceedings of RIAO 2000 Conference on Content-based multimedia information access, Paris, France. pp. 713-722. ISBN 2-905450-07-X
Kant, G.W. and Gunst, A.W. and Kokkeler, A.B.J. and Smolders, A.B. (2000) Receiver architecture of the thousand-element array (THEA). In: Proc. SPIE, 27 March 2000, Munich, Germany. pp. 287-298. SPIE proceedings series 4015. Society of Photo-Optical Instrumentation Engineers. ISBN 0-8194-3640-2
Kath, O. and van Halteren, A.T. and Stoinski, F. and Wegdam, M. and Fisher, M. (2000) Middleware Platform Management based on Portable Interceptors. In: Services Management in Intelligent Networks, 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2000), 4-6 Dec 2000, Austin, Texas, USA. pp. 107-118. Lecture Notes in Computer Science 1960. Springer Verlag. ISBN 3-540-41427-4
van Kesteren, A.-J. and op den Akker, H.J.A. and Poel, M. and Nijholt, A. (2000) Simulation of emotions of agents in virtual environments using neural networks. In: Learning to Behave: Internalising Knowledge, 22-24 November 2000, Enschede, the Netherlands. pp. 137-147. Twente Workshop on Language Technology 18. University of Twente. ISSN 0929-0672
Koetsier, M.J. and Grefen, P.W.P.J. and Vonk, J. (2000) Contracts for Cross-Organizational Workflow Management. In: 1st International Conference on Electronic Commerce and Web Technologies, Sept 2000, London, UK. pp. 110-121. Lecture Notes in Computer Science 1875. Springer. ISSN 0302-9743
Korsten, M.J. and van der Vet, P.E. and Regtien, P.P.L. (2000) A system for the automatic selection of sensors. In: Proc. IMEKO (International Measurement Confederation) XVI, 25-28 September 2000, Vienna, Austria. pp. 211-216. ISBN 3-901888-11-X
Kraaij, W. and Pohlmann, R. and Hiemstra, D. (2000) Twenty-One at TREC-8: using Language Technology for Information Retrieval. In: Proceedings of the 8th Text Retrieval Conference (TREC). pp. 285-300. NIST Special Publications 500-246. US National Institute for Standards and Technology.
Lammerink, T.S.J. and Tas, N.R. and Krijnen, G.J.M. and Elwenspoek, M.C. (2000) New class of thermal flow sensors using \[\Delta\]T = 0 as a control signal. In: 13th Annual International Conference on Micro Electro Mechanical Systems (MEMS 2000), 23 - 27 Jan 2000, Miyazaki, Japan. pp. 525-530. IEEE Computer Society. ISBN 0-7803-5273-4
Mader, A.H. (2000) A Classification of PLC Models and Applications. In: 5th Int. Workshop on Discrete Event Systems (WODES) -- Discrete Event Systems, Analysis and Control, Ghent, Belgium. pp. 239-247. Kluwer Academic Publishers. ISBN 0-7923-7897-0
Mader, A.H. (2000) What is the method in applying formal methods to PLC applications? In: 4th Int. Conf. Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM), Dortmund, Germany. pp. 165-171. Shaker Verlag. ISBN 3-8265-7836-8
Musa, S. and Lagali, N.S. and Krijnen, G.J.M. and Driessen, A. (2000) Low-cost multimode waveguide couplers for multimode fiber-based local area networks. In: Conference Proceedings - Lasers and Electro-Optics Society Annual Meeting-LEOS, 13 - 16 Nov 2000, Rio Grande. pp. 468-469. IEEE Computer Society. ISSN 1092-8081
Nieuwenhuis, L.J.M. and Widya, I.A. (2000) Quality of Service and Service Provisioning on a Competative Market. In: 3rd International IFIP/GI Working Conference on Trends in Distributed Systems: Towards a Universal Service Market (USM 2000), 12-14 Sep 2000, Munich. pp. 17-26. Lecture Notes in Computer Science 1890. Springer. ISSN 0302-9743 ISBN 978-3-540-41024-9
Nijholt, A. (2000) Multi-Media Access and Presentation in the Twente Virtual Theatre Environment. In: Multimedia '99. Proceedings of the Eurographics Workshop, 7-8 September 1999, Milan, Italy. pp. 205-214. Springer Verlag. ISBN 978-3-211834374
Nijholt, A. (2000) Agent and user inhabited virtual communities: A case study. In: Proceedings Fourth International Conference on Knowledge-Based Intelligent Engineering Systems & Allied Technologies (KES'2000), 30 August - 1 September 2000, Brighton, UK. pp. 337-340. University of Brighton. ISBN 0-7803-6400-7
Nijholt, A. (2000) Agent-supported cooperative learning environments. In: International Workshop on Advanced Learning Technologies (IWALT 2000), 4-6 December 2000, Palmerstone North, New Zealand. pp. 17-18. IEEE Computer Society. ISBN 0-7695-0653-4
Nijholt, A. (2000) Virtual malls for web commerce: Observations and case study. In: Trends in Distributed Systems: Towards a Universal Service Market -- Third International IFIP/GI Working Conference, USM 2000, 12-14 September 2000, Munich, Germany. pp. 326-333. Lecture Notes in Computer Science 1890. Springer Verlag. ISBN 3-540-41024-4
Nijholt, A. (2000) Towards virtual communities on the Web: Actors and audience. In: Proceedings International ICSC Congress Intelligent Systems & Applications (ISA'2000), Volume II, 12-15 December 2000, Wollongong, Australia. pp. 725-731. ICSC Academic Press. ISBN 3-906454-24-X
Nijholt, A. (2000) Virtual Cultural Environments: Exploration of Information. In: Cybernetics and Systems Research 2000, 25-28 April 2000, Vienna, Austria. pp. 530-535. Austrian Society for Cybernetic Studies. ISBN 3-85206-151-2
Nijholt, A. and van Dijk, E.M.A.G. and Donk, O.A. (2000) Specification Techniques for Multi-Modal Dialogues in the U-Wish Project. In: Proceedings joint meeting of the Fourth World Multiconference on Systemics, Cybernetics and Informatics (SCI'00) and the Sixth International Conference on Information Systems Analysis and Synthesis (ISAS'00), 23-26 July 2000, Orlando, USA. pp. 340-345. SCI. ISBN 980-07-6688-X
Nijholt, A. and Heylen, D.K.J. and Vertegaal, R.P.H. (2000) Inhabited interfaces: Attentive conversational agents that help. In: Proceedings 3rd International Conference on Disability, Virtual Reality and Associated Technologies - ICDVRAT 2000, 23-25 September 2000, Alghero, Italy. pp. 225-231. University of Reading. ISBN 0-7049-11-42-6
Nijholt, A. and Hondorp, G.H.W. (2000) Towards Communicating Agents and Avatars in Virtual Worlds. In: Proceedings Eurographics 2000, 21-25 August 2000, Interlaken, Switzerland. pp. 91-96. Eurographics Association. ISSN 1017-4656
Noutash, A. and van Sinderen, M.J. and Akşit, M. and Bergmans, L.M.J. (2000) QoS Provisioning in CORBA by Introducing Aspect-Oriented Transport Reflection Point. In: Workshop on QoS in Distributed Object Systems, 14th European Conference on Object-Oriented Programming, 13 June 2000, Cannes, France. 2. University of Frankfurt/Main. ISBN not assigned
Petkovic, M. (2000) Content-based Video Retrieval. In: Proceedings of the EDBT 2000 PhD Workshop, 31 Mar - 1 Apr 2000, Konstanz, Germany. pp. 74-77. University of Konstanz.
Petkovic, M. and Jonker, W. (2000) A Framework for Video Modeling. In: Eighteenth IASTED International Conference Applied Informatics (AI 2000), 14-17 Feb 2000, Innsbruck, Austria. ACTA Press.
Petkovic, M. and Jonker, W. (2000) An Overview of Data Models and Query Languages for Content-based Video Retrieval. (Invited) In: International Conference on Advances in Infrastructure for E-Business, Science, and Education on the Internet, 31 Jul - 6 Aug 2000, l'Aquila, Italy. Scuola Superiore G. Reiss Romoli. ISBN 88-85280-52-8
Pollnau, M. and Golding, P.S. and Jackson, S.D. and King, T.A. (2000) Energy recycling versus lifetime quenching in erbium-doped 3-µm fiber lasers. In: Conference on Lasers and Electro-Optics / Europe, 10-15 September 2000, Nice, France. CTuK41. European Physical Society. ISBN 0-7803-6319-1
van Rein, H. (2000) Specifying Processes with Dynamic Lifecycles. In: Proceedings of 12th International Conference on Advanced Information Systems Engineering (CAiSE 2000), 5-9 Jun 2000, Stockholm, Sweden. pp. 192-211. Lecture Notes in Computer Science 1789. Springer Verlag. ISSN 0302-9743 ISBN 3-540-67630-9
van Rein, H. (2000) On Practical Verification of Processes. In: Proceedings of ECOOP 2000 Workshops, Panels, and Posters, 12 Jun 2000, Sophia Anthipolis, France. pp. 262-263. Lecture Notes in Computer Science 1964. Springer Verlag. ISSN 0302-9743
van Rein, H. and Brinkman, R. (2000) Home-grown CASE tools with XML and XSLT. In: Int. Workshop on Model Engineering (IWME), June 13, 2000, Sophia Antipolis, France. pp. 105-112.
Rensink, A. (2000) Action Contraction. In: Concurrency Theory (CONCUR), Aug 2000, State College, USA. pp. 290-304. Lecture Notes in Computer Science 1877. Springer Verlag. ISSN 0302-9743 ISBN 3-540-67897-2
Rexhepi, V. and Karagiannis, G. and Heijenk, G.J. (2000) A framework for QoS & mobility in the Internet next generation. In: Proceedings 6th Open European Summerschool, Eunice 2000, 13 - 15 Sep 2000, Enschede, The Netherlands. pp. 77-84. University of Twente. ISBN 90-3651-498-3
Risse, T. and Wombacher, A. and Aberer, K. (2000) Efficient Processing Of Voluminous EDI Documents. In: 8th European Conference on Information Systems (ECIS 2000), 3-5 July 2000, Vienna, Austria. online.
Rusu, C.R. and Van 't Oever, R. and de Boer, M.J. and Jansen, H.V. and Berenschot, J.W. and Bennink, M.L. and Kanger, J.S. and De Grooth, B.G. and Elwenspoek, M.C. and Greve, J. and van den Berg, A. and Brugger, J. (2000) Fabrication of micromachined pipettes in a flow channel for single molecule handling of DNA. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 23 Jan - 27 Jan 2000, Miyazaki, Jpn. pp. 429-434. IEEE Computer Society. ISBN 0-7803-5273-4
Rusu, C.R. and Van 't Oever, R. and de Boer, M.J. and Jansen, H.V. and Berenschot, J.W. and Elwenspoek, M.C. and Bennink, M.L. and Kanger, J.S. and De Grooth, B.G. and Greve, J. and Brugger, J. and van den Berg, A. (2000) Micromachined pipettes integrated in a flow channel for single DNA molecule study by optical trapping. In: Proceedings of SPIE - The International Society for Optical Engineering, Vol. 3912, 26-27 Jan 2000, San Jose, CA, USA. pp. 41-49. Society of Photo-Optical Instrumentation Engineers. ISBN 0-8194-3528-7
Ruys, T.C. (2000) Low-Fat Recipes for SPIN. In: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, August 30 - September 1, 2000, Stanford, California. pp. 287-321. Lecture Notes in Computer Science 1885. Springer Verlag. ISBN 3-540-41030-9
Ruys, T.C. and Brinksma, H. (2000) Model Checking: Verification or Debugging? In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000), 26-29 June 2000, Las Vegas, Nevada, USA. pp. 3009-3015. CSREA Press. ISBN 1-892512-51-3
San Segundo Bello, D. and Nauta, B. and Visschers, J.A. (2000) Pixel-level Analog-To-Digital Converters for Hybrid Pixel Detectors with energy sensitivity. In: IEEE Nuclear Science Symposium and Medical Imaging Conference, 15-20 October 2000, Lyon, France. pp. 98-102. IEEE Computer Society. ISBN 0-78-0365038
Scarpa, A. and Tao, Guoqiao and Kuper, F.G. (2000) Wafer level reliability monitoring strategy of an advanced multi-process CMOS foundry. In: Proceedings of the 41st Annual IEEE International International Reliability Physics Symposium, IRPS 2003, 30 March - 4 April 2003, Dallas, Texas, USA. pp. 602-603. IEEE Computer Society. ISBN 0780376498
Schiphorst, R. and Gerez, S.H. and Slump, C.H. (2000) The Exploration of the Software-Defined Radio Concept by Prototyping Transmitter and Receiver Functions on a Digital Signal Processor. In: 1st PROGRESS workshop on Embedded Systems, 13 October 2000, Utrecht, Netherlands. pp. 79-86. Technology Foundation STW. ISBN 90-73461-25-1
Scholten, J. and Jansen, P.G. (2000) Home Telematics, or the Information Super Highway at Home. In: IRMA 2000 Challenges of Information Technology Management in the 21st Century, Anchorage, Alaska. pp. 746-747. IDEA Group Publishing. ISBN 1-878-28984-5
Sierra Abbate, L.R. and D'Argenio, P.R. and Echagüe, J.V. (2000) From Semantics to Spatial Distributions. In: LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, April 10-14, 2000, Proceedings},, Punta del Este, Uruguay. pp. 427-436. Lecture Notes in Computer Science 1776. Springer Verlag. ISBN 3-540-67306-7
Sikkel, K. and Wieringa, R.J. and Engmann, R.G.R. (2000) A Case Base for Requirements Engineering: Problem Categories and Solution Techniques. In: Sixth International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'2000), June 2000, Stockholm, Sweden. pp. 80-85. Essener Informatik Beiträge 5. Universität GH Essen. ISBN not assigned
Smit, G.J.M. and Havinga, P.J.M. (2000) Lessons learned from the design of a mobile multimedia system in the Moby Dick project. In: 2nd Int. Symp. on Handheld and Ubiquitous Computing (HUC), Bristol, UK. pp. 85-99. Springer-Verlag. ISSN 0302-9743
Smit, G.J.M. and Havinga, P.J.M. and Bos, M. (2000) Energy-efficient adaptive wireless network design. In: 5th Int. Conf. Computers and Communications (ISCC), Antibes, France. pp. 502-507. IEEE Computer Society. ISBN 0-7695-0722-0
Smit, G.J.M. and Havinga, P.J.M. and Bos, M. and Smit, L.T. and Heysters, P.M. (2000) Reconfiguration in Mobile Multimedia Systems. In: 1st PROGRESS workshop on Embedded Systems, 13 Oct. 2001. pp. 95-105. Technology Foundation STW. ISBN 90-73461-25-1
Smit, G.J.M. and Heysters, P.M. and Havinga, P.J.M. and Smit, L.T. and Smit, J. and Dilessen, J. (2000) Mapping the SISO module of the Turbo Decoder to a FPFA. In: Proceedings of Second international symposium on Mobile Multimedia Systems & Applications (MMSA2000). pp. 165-172.
Smit, L.T. and Smit, G.J.M. and Havinga, P.J.M. (2000) Run-time Energy Management for Mobiles. In: 1st PROGRESS workshop on Embedded Systems. pp. 107-112. ISBN 90-73461-25-1
Tas, N.R. and Gui, C. and Elwenspoek, M.C. (2000) Static friction in elastic adhesive MEMS contacts, models and experiment. In: Proceedings of the IEEE Micro Electro Mechanical Systems, 23 - 27 Jan 2000, Miyazaki, Japan. pp. 193-198. IEEE Computer Society. ISBN 0-7803-5273-4
Tas, N.R. and Lammerink, T.S.J. and Leussink, P.J. and Berenschot, J.W. and de Bree, H.E. and Elwenspoek, M.C. (2000) Towards thermal flowsensing with pL/s resolution. In: Proceedings of SPIE - The International Society for Optical Engineering, 18-19 Sept 2000, Santa Clara, CA, USA. pp. 106-121. Society of Photo-Optical Instrumentation Engineers. ISSN 0277-786X
Vertegaal, R.P.H. and Slagter, R.J. and van der Veer, G.C. and Nijholt, A. (2000) Why conversational agents should catch the eye. In: CHI '00 extended abstracts on Human factors in computing systems, 1-6 April 2000, The Hague, Netherlands. pp. 257-258. ACM Press. ISBN 1-58113-248-4
van der Vet, P.E. (2000) Building web resources for natural scientists. In: Interactive distributed multimedia systems and telecommunication services, 17-20 October 2000, Enschede, the Netherlands. pp. 205-210. Lecture Notes in Computer Science 1905. Springer. ISSN 0302-9743 ISBN 3-540-41130-5
Volkerink, H.J. and Hilderink, G.H. and Broenink, J.F. and Vervoort, W.A. and Bakkers, A.W.P. (2000) CSP Design Model and Tool Support. In: Communicating Process Architectures, 10-13 Sep 2000, Canterbury, UK. pp. 33-48. IOS Press. ISSN 1383-7575
Vonk, J. and Derks, W.L.A. and Grefen, P.W.P.J. and Koetsier, M.J. (2000) Cross-Organizational Transaction Support for Virtual Enterprises. In: 7th International Conference on Cooperative Information Systems, 6-8 Sept 2000, Eilat, Israel. pp. 323-334. Lecture Notes in Computer Science 1901. Springer. ISBN 354041021X
de Vries, A.P. (2000) The Mirror DBMS at TREC-9. In: Proceedings of the 9th Text REtrieval Conference (TREC 9), 13-16 Nov 2000, Gaithersburg, Maryland, USA. pp. 171-177. NIST Special Publication 500-249. National Institute of Standards and Technology (NIST). ISBN not assigned
de Vries, A.P. (2000) Challenging Ubiquitous Inverted Files. In: Proceedings of the 1st DELOS Network of Excellence Workshop on Information Seeking, Searching and Querying in Digital Libraries, 11-12 Dec 2000, Zurich, Switzerland. 13. ERCIM Workshop Proceedings 01/W001. European Research Consortium for Informatics and Mathematics (ERCIM). ISBN not assigned
de Vries, R.G. and Tretmans, G.J. and Belinfante, A.F.E. and Feenstra, J. and Feijs, L.M.G. and Mauw, S. and Goga, N. and Heerink, A.W. and de Heer, A. (2000) Côte de Resyste in Progress. In: 1st PROGRESS workshop on Embedded Systems, 13 October 2000, Utrecht. pp. 141-148. Technology Foundation STW. ISBN 90-73461-25-1
Warren, J.R. and Beliakov, G.V. and van der Zwaag, B.J. (2000) Fuzzy logic in clinical practice decision support systems. In: Proceedings of the 33rd Hawaii International Conference on Systems Sciences, 4-7 January 2000, Maui, Hawaii. pp. 1-10. IEEE Computer Society. ISBN 0 7695 0493 0
Warren, J.R. and Frankel, H.K. and Noone, J.T. and van der Zwaag, B.J. (2000) Supporting special-purpose health care models via Web interfaces. In: Proceedings of the First Australasian User Interface Conference, 31 January - 3 February 2000, Canberra, Australia. pp. 118-125. IEEE Computer Society. ISBN 0 7695 0515 5
Wegdam, M. and Plas, D.-J. and van Halteren, A.T. and Nieuwenhuis, L.J.M. (2000) Using message reflection in a management architecture for CORBA. In: 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM, 2000, Austin, Texas, USA. pp. 230-242. Lecture Notes in Computer Science 1960. Springer. ISSN 0302-9743
Wensink, H. and Berenschot, J.W. and Jansen, H.V. and Elwenspoek, M.C. (2000) High resolution powder blast micromachining. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 23 -27 Jan 2000, Miyazaki, Japa;n. pp. 769-774. IEEE Computer Society. ISBN 0-7803-5273-4
Westerveld, T.H.W. (2000) Image Retrieval: Content versus Context. In: Proceedings of the Conference on Context-Based Multimedia Information Access, RIAO 2000, Paris, France. pp. 276-284.
Westerveld, T.H.W. and Hiemstra, D. and de Jong, F.M.G. (2000) Extracting bimodal representations for language-based image text retrieval. In: Multimedia '99, Proceedings of the Eurographics Workshop, September 7-8, 1999, Milan, Italy. pp. 33-42. Springer Computer Science. Springer. ISSN 0946-2767 ISBN 3-211-83437-0
Wieringa, R.J. (2000) The declarative problem frame: Designing systems that create and use norms. In: 10th International Workshop on Software Specification and Design (IWSSD-10), 5-7 Nov 2000, San Diego, California, USA. pp. 75-85. IEEE Computer Society. ISBN 0769508847
Wieringa, R.J. (2000) Ontologies and diagrams for software and systems engineering. In: Fifth World Conference on Integrated Design and Process Technology, 4-8 June 2000, Dallas, Texas, USA. Society for design and Process Science.
Willemse, T.A.C. and Tretmans, G.J. and Klomp, A. (2000) A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol. In: Fifth Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000). pp. 331-344. GMD Report 91. GMD. ISSN 1435-2702
Zwiers, J. and van Dijk, E.M.A.G. and Nijholt, A. and op den Akker, H.J.A. (2000) Design issues for navigation and assistance agents in virtual environments. In: Learning to Behave: Interacting Agents, 18-20 October 2000, Enschede, the Netherlands. pp. 119-132. Twente Workshop on Language Technology (17). University of Twente. ISSN 0929-0672
Zwijze, A.F. and Wiegerink, R.J. and Krijnen, G.J.M. and Berenschot, J.W. and de Boer, M.J. and Elwenspoek, M.C. (2000) High force 10 kN piezoresistive silicon force sensor with output independent of force distribution. In: Proceedings of SPIE - The International Society for Optical Engineering, 18-19 Sep 2000, Santa Clara, CA, USA. pp. 47-58. Society of Photo-Optical Instrumentation Engineers. ISSN 0277-786X
van Zwol, R. and Apers, P.M.G. (2000) Modeling the webspace of an intranet. In: Proceedings of the 1st International Conference on Web Information Systems Engineering (WISE 2000), 19-21 Jun 2000, Hong Kong, China. pp. 260-269. IEEE Computer Society. ISBN 0-7695-0577-5
van Zwol, R. and Apers, P.M.G. (2000) Using Webspaces to Model Document Collections on the Web. In: Conceptual Modeling for E-Business and the Web: ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and The World Wide Web and Conceptual Modeling, 9-12 Oct 2000, alt Lake City, Utah, USA. pp. 101-114. Lecture Notes in Computer Science 1921. Springer Verlag. ISSN 0302-9743
van Zwol, R. and Apers, P.M.G. (2000) The webspace method: on the integration of database technology with multimedia retrieval. In: Proceedings of the 9th International Conference on Information KnowledgeManagement (CIKM 2000), 6-11 Nov 2000, McLean, Virginia, USA. pp. 438-445. ACM Press. ISBN 1-58113-320-0

External Report

Budach, J. and Wombacher, A. (2000) Konzeption und Entwicklung exemplarischer Informationsdienste für mobile Endgeräte. Technical Report Number UNSPECIFIED GMD Forschungszentrum Informationstechnik, Sankt Augustin, Sankt Augustin, Germany. ISSN 1435-2702
Hoffner, Y. and Ludwig, H. and Gülcü, C. and Grefen, P.W.P.J. (2000) Architecture for Cross-Organizational Business Processes. Research Report RZ 3212 IBM Research.

Internal Report

Editors UNSPECIFIED, ed. (2000) Overview 1999 - PhD theses and Technical Reports. Technical Report TR-CTIT-00-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Albers, W. and Kallenberg, W.C.M. (2000)
Estimation in Shewhart control charts.
Memorandum 1559, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Althuis, T.A. and Göbel, F. (2000)
Z-related pairs in microtonal systems.
Memorandum 1524, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Asveld, P.R.J. (2000) Fuzzy Context- Free Languages. Part 2: Recognition and Parsing Algorithms. Technical Report TR-CTIT-00-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Asveld, P.R.J. (2000) Fuzzy Context-Free Languages. Part 1: Generalized Fuzzy Context-Free Grammars. Technical Report TR-CTIT-00-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Avsar, Z.M. and Zijm, W.H.M. (2000) Resource-constrained two-echelon inventory models for repairable item systems. Memorandum 1521, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
van Bakel, B. and Boon, R.T. and Mars, N.J.I. and Oltmans, E. (2000) Condorcet Final Report. Technical Report TR-CTIT-00-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bauer, D. and Broersma, H.J. and Schmeichel, E. (2000) More progress on tough graphs -- The Y2K report. Memorandum 1536, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Berkvens, P.J.F. and Botchev, M.A. and Verwer, J.G. and Krol, M.C. and Peters, W. (2000) Solving Vertical Transport and Chemistry in Air Pollution Models. Technical Report MAS-R0023, CWI (Centrum voor Wiskunde en Informatica), Amsterdam. ISSN 1386-3703
Boros, S. (2000) Policy-Based Network Management with SNMP. Technical Report TR-CTIT-00-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Botchev, M.A. and Verwer, J.G. (2000) Improving approximate matrix factorizations for implicit time integration in air pollution modelling. Technical Report MAS-R0031, CWI (Centrum voor Wiskunde en Informatica), Amsterdam. ISSN 1386-3703
Botke, M. and Hoede, C. (2000)
A comparison of two ontologies of regions.
Memorandum 1511, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Broersma, H.J. and Ryjá?ek, Z. (2000)
Strengthening the closure concept in claw-free graphs.
Memorandum 1512, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Broersma, H.J. and Zhang, Shenggui and Li, X. (2000)
A $\sigma_3$ type condition for heavy cycles in weighted graphs.
Memorandum 1514, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Broersma, H.J. and Zhang, Shenggui and Li, X. and Wang, Ligong (2000) A fan type condition for heavy cycles in weighted graphs. Memorandum 1513, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Bruns, P.B. (2000)
Optimal maintenance strategies for systems with partial repair options and without assuming bounded costs.
Memorandum 1515, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Bruns, P.B. (2000)
Optimal strategies for a replacement model.
Memorandum 1518, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Bruns, P.B. (2000)
A discounted model for a repairable system with continuous state space.
Memorandum 1550, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Bumb, A.F. (2000)
An approximation algorithm for the 2-level uncapacitated facility location problem.
Memorandum 1540, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Coolen-Schrijner, P. and van Doorn, E.A. (2000)
On the convergence to stationarity of birth-death processes.
Memorandum 1554, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
D'Argenio, P.R. (2000) A compositional Translation of Stochastic Automata into Timed Automata. Technical Report TR-CTIT-00-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Derks, W.L.A. and Dehnert, J. and Grefen, P.W.P.J. and Jonker, W. (2000) Customized atomicity specification for transactional workflows. Technical Report TR-CTIT-00-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dey, D. and Koonen, A.M.J. and Salvador, M.R. (2000) Network Architecture of a Packet-switched WDM. Technical Report TR-CTIT-00-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) On a temporal Logic for Object-based Systems. Technical Report TR-CTIT-00-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Driessen, T.S.H. (2000) Consistency and potentials in cooperative TU-games: Sobolev's reduced game revived. Memorandum 1561, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Driessen, T.S.H. and Meinhardt, H. (2000)
(Average-) convexity of common pool and oligopoly TU-games.
Memorandum 1558, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Eshuis, H. and Wieringa, R.J. (2000) Requirements-level semantics for UML Statecharts. Technical Report TR-CTIT-00-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Evers, M.J. (2000) Jacob project - Documentation. Technical Report TR-CTIT-00-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Frederiks, T.J. and Still, G.J. (2000)
Linear bilevel problems: Genericity results and an efficient method for computing local minima.
Memorandum 1538, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Gnesi, S. and Latella, D. and Lenzini, G. (2000) A BRUTUS Logic for a Spi-Calculus Dialect. Report Type UNSPECIFIED TR-B4-27,
Golo, G. and Breedveld, P.C. and Maschke, B.M.J. and van der Schaft, A.J. (2000) Geometric formulation of generalized bond graph models - Part I: Generalized junction structures. Memorandum 1555, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Golo, G. and van der Schaft, A.J. and Milosavljević, Č. (2000) Discretization of control law for a class of variable structure control systems. Memorandum 1551, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Grefen, P.W.P.J. and Aberer, K. and Hoffner, Y. and Ludwig, H. (2000) CrossFlow: Cross-Organizational Workflow Management in Dynamic Virtual Enterprises. Technical Report TR-CTIT-00-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Grootjans, W.J. and Hochstenbach, M.E. and Hurink, J.L. and Kern, W. and Luczak, M. and Puite, Q. and Resing, J.A.C. and Spieksma, F. (2000) Cache as ca$\$$h can. Memorandum 1520, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Helminck, G.F. (2000)
The AKNS-hierarchy.
Memorandum 1534, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Helminck, G.F. and van de Leur, J.W. (2000)
A geometric construction of the dual wavefunction of the $n$-component $KP$-hierarchy.
Memorandum 1533, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Helminck, G.F. and van de Leur, J.W. (2000)
Darboux transformations for the KP hierarchy in the Segal-Wilson setting.
Memorandum 1535, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Helminck, G.F. and van de Leur, J.W. (2000) Geometric Bäcklund-Darboux transformations for the KP hierarchy. Memorandum 1556, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Hiemstra, D. and de Vries, A.P. (2000) Relating the new language models of information retrieval to the traditional retrieval models. Technical Report TR-CTIT-00-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hoede, C. (2000)
Basic concepts in social sciences I.
Memorandum 1562, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Hoede, C. and Kriesell, M. and Uttunggadewa, S. (2000)
Construction of cycle double covers for certain classes of graphs.
Memorandum 1528, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Hoede, C. and Li, X. and Liu, X. and Zhang, L. (2000)
Knowledge graph analysis of some particular problems in the semantics of Chinese.
Memorandum 1516, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Hoede, C. and Zhang, L. (2000)
Word graphs: The third set.
Memorandum 1526, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Hoede, C. and Zhang, L. (2000)
Structural parsing.
Memorandum 1527, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Hoevenaars, L.K. and Kersten, P.H.M. and Martini, R. (2000) Generalized WDVV equations for F4 pure N=2 Super-Yang-Mills theory Memorandum 1560, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Hoevenaars, L.K. and Martini, R. (2000)
WDVV equations for pure Super-Yang-Mills theory.
Memorandum 1529, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
van Houtum, G.J. and Zijm, W.H.M. (2000)
On the relation between cost and service models for general inventory systems.
Memorandum 1522, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Hurink, J.L. and Kern, W. and Nawijn, W.M. (2000) Scheduling split-jobs on parallel machines. Memorandum 1530, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Hurink, J.L. and Knust, S. (2000)
List scheduling in a parallel machine environment with precedence constraints and setup times.
Memorandum 1525, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Iftime, O.V. and Zwart, H.J. (2000)
The standard $H_\infty$-suboptimal control problem for LTI infinite dimensional systems.
Memorandum 1532, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Iftime, O.V. and Zwart, H.J. (2000)
J-spectral factorization and equalizing vectors.
Memorandum 1545, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Inglot, T. and Kallenberg, W.C.M. (2000)
Moderate deviations of maximum likelihood estimators under alternatives.
Memorandum 1519, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Jacob, B. and Zwart, H.J. (2000)
Disproof of two conjectures of George Weiss.
Memorandum 1546, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Jansen, D.N. and Wieringa, R.J. (2000) Reducing the extensions of CTL with actions and real time. Technical Report TR-CTIT-00-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jeurnink, G.A.M. (2000)
Algebras related to posets of hyperplanes.
Memorandum 1552, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Kallenberg, W.C.M. (2000)
The penalty in data driven Neyman's tests.
Memorandum 1548, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Karagiannis, G. and Heijenk, G.J. (2000) QoS in GPRS. Technical Report TR-CTIT-00-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Karagiannis, G. and Heijenk, G.J. (2000) Mobility support for ubiquitous Internet. Technical Report TR-CTIT-00-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Karagiannis, G. and Rexhepi, V. and Heijenk, G.J. (2000) A framework for QoS & mobility in the Internet next generation. Technical Report TR-CTIT-00-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Keijsper, J.C.M. (2000)
A vizing-type theorem for matching forests.
Memorandum 1517, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Keijsper, J.C.M. and Tewes, M. (2000) Conditions for β-perfectness. Memorandum 1537, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Kern, W. and Paulusma, D. (2000)
Matching games: the least core and the nucleolus.
Memorandum 1541, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Li, X. and Zhang, Shenggui and Broersma, H.J. (2000) Directed paths with few or many colors in colored directed graphs. Memorandum 1543, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Litvak, N. and Adan, I.J.B.F. and Wessels, J.B. and Zijm, W.H.M. (2000)
Order picking in carousel systems under the nearest item heuristic.
Memorandum 1523, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Maschke, B.M.J. and van der Schaft, A.J. (2000)
Port controlled Hamiltonian representation of distributed parameter systems.
Memorandum 1510, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Michiels, E.F. and Widya, I.A. and Volman, C.J.A.M. and Pokraev, S.V. and de Diana, I.P.F. (2000) On the Enterprise Modelling of an Educational Information Infrastructure. Technical Report TR-CTIT-00-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nawijn, W.M. (2000) Note on a tandem queue with delayed server release. Memorandum 1531, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Niemegeers, I.G.M.M. and Salvador, M.R. and Heemstra de Groot, S.M. and Dey, D. (2000) A receiver-initiated WDM multicast tree construction protocol to support IP dense mode multicast routing in all-optical Lambda-switched networks. Technical Report TR-CTIT-00-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Párhonyi, R. and van Beijnum, B.J.F. (2000) Domain Based Metering. Technical Report TR-CTIT-00-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Pop, P.C. and Kern, W. and Still, G.J. (2000)
The generalized minimum spanning tree problem.
Memorandum 1542, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Post, G.F. (2000)
On the structure of graded transitive Lie algebras.
Memorandum 1557, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Rensink, A. (2000) Action Contraction Using Coupled Simulation. Technical Report TR-CTIT-00-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2000) YOO (Why Object-Orientation). Technical Report TR-CTIT-00-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rexhepi, V. (2000) Wireless Internet QoS. Technical Report TR-CTIT-00-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rexhepi, V. and Heijenk, G.J. (2000) Interoperability of Integrated Services and Differentiated Services architectures. Technical Report TR-CTIT-00-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van der Schaft, A.J. and Schumacher, J.M. (2000)
Compositionality issues in discrete, continuous and hybrid systems.
Memorandum 1549, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Scheinhardt, W.R.W. (2000)
Analysis of feedback fluid queues.
Memorandum 1553, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
van Schooten, B.W. (2000) Process- and agent-based modelling techniques for dialogue systems and virtual environments. Technical Report TR-CTIT-00-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Schoute, A.L. (2000) RoadPlan -- AGV Traffic Control Development Tool -- Version 2.1 (Software). Report Type UNSPECIFIED Number UNSPECIFIED,
Sikkel, K. and Gommer, E.M. and van der Veen, J.T. (2000) Using Shared Workspaces in Higher Education. DOC 00-30, DINKEL Institute, Enchede, the Netherlands.
Sprenkels, R.A.M. and Párhonyi, R. and Pras, A. and van Beijnum, B.J.F. and de Goede, B.L. (2000) Reverse Charging in the Internet an Architecture for a new Accounting Scheme for Internet Traffic. Technical Report TR-CTIT-00-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sprenkels, R.A.M. and Pras, A. and van Beijnum, B.J.F. and de Goede, B.L. (2000) A Customer Service Management Architecture for the Internet. Technical Report TR-CTIT-00-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Stein, O. and Still, G.J. (2000)
On generalized semi-infinite optimization and bilevel optimization.
Memorandum 1544, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Tuquerres, G. (2000) Characterizing Video Coding Computing in Conference Systems. Technical Report TR-CTIT-00-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Vonk, J. and Derks, W.L.A. and Grefen, P.W.P.J. and Koetsier, M.J. (2000) Model, Architecture and System for Cross-Organizational Transaction Support in Virtual Enterprises. Technical Report TR-CTIT-00-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Vries, A.P. (2000) The role of evaluation in the development of content-based retrieval techniques. Technical Report TR-CTIT-00-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wieringa, R.J. (2000) Architectuur is systeem. Technical Report please assign, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wieringa, R.J. (2000) Een Raamwerk Voor Architectuur als Systematische Samenhang. Technical Report please assign, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Zwart, H.J. (2000)
Sufficient conditions for admissibility.
Memorandum 1547, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Zwart, H.J. and Jacob, B. (2000)
Disproof of an admissibility conjecture of Weiss.
Memorandum 1539, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690

Master's Thesis

Postma, F.M. (2000) Pulsed-laser deposition of metallic multilayers. Master's thesis, University of Twente.
Schiphorst, R. (2000) Demonstration of the Software-Radio Concept. Master's thesis, University of Twente.

Patent

Annema, A.-J. (2000) A Level Converter provided with Slew-Rate Controlling Means. Patent WO0074239 (Assigned).
Heideman, R.G. and Lambeck, P.V. and Veldhuis, G.J. (2000) Integrated Optical lightguide device. Patent US20000693803 (Application).
Westra, J.R. and Annema, A.-J. (2000) A digital to analog converter. Patent WO2000EP09952 (Application).

PhD Thesis

de Boer, P.T. (2000) Analysis and efficient simulation of queueing models of telecommunication systems. PhD thesis, University of Twente, Enschede, The Netherlands. CTIT Ph.D.-thesis series No. 00-30 ISBN 90-365-1505-X
Bosma, M.K. (2000) Iso-Surface Volume Rendering : speed and accuracy for medical applications. PhD thesis, Enschede, University. ISBN 90-365-1397-5
Garvels, M.J.J. (2000) The splitting method in rare event simulation. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 00-31 ISBN 90-365-14320
Havinga, P.J.M. (2000) Mobile Multimedia Systems. PhD thesis, University of Twente. ISBN 90-365-1406-1
Hulstijn, J. (2000) Dialogue Models for Inquiry and Transaction. PhD thesis, University of Twente. ISBN 9036514401
Kuiper, S. (2000) Development and application of microsieves. PhD thesis, University of Twente. ISBN 90-3651-475-4
Oltmans, E. (2000) A Knowledge-Based Approach to Robust Parsing. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 99-27 ISBN 90-365-138-98
Remondo Bueno, D. (2000) Performance evaluation of communication systems via importance sampling. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 00-29 ISBN 90-365-1381-2
Saadi Mesgari, M. (2000) Topological cell-tuple structures for three dimensional spatial data. PhD thesis, University of Twente. ITC Dissertation no. 74
Tas, N.R. (2000) Electrostatic microwalkers: Micro Electromechanics and Micro Tribology. PhD thesis, University of Twente. ISBN 90-3651-435-5
Tekinerdogan, B. (2000) Synthesis-Based Software Architecture Design. PhD thesis, University of Twente.
Tettero, O. (2000) Intrinsic information Security: Embedding security issues in the design process of telematics systems. PhD thesis, Telematica Instituut Fundamental Research Series TI/FRS/006. ISBN 90-75176-22-8
Theune, M. (2000) From data to speech: language generation in context. PhD thesis, Eindhoven University of Technology. ISBN 90-386-0833-0
Zwijze, A.F. (2000) Micro-machined high capacity silicon load cells. PhD thesis, University of Twente. ISBN 90-3651-507-6

This list was generated on Fri Apr 28 08:02:11 CEST 2017.