EEMCS

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

EEMCS EPrints Service


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

Number of items: 259.

Article

Albers, W. (1999) Stop-loss premiums under dependence. Insurance: Mathematics and Economics, 24 (3). pp. 173-185. ISSN 0167-6687 *** ISI Impact 1,378 ***
Albers, W. and Arts, G.R.J. and Kallenberg, W.C.M. (1999) A variety of criteria for setting test limits. Statistica neerlandica, 53 (1). pp. 36-54. ISSN 0039-0402 *** ISI Impact 0,432 ***
Albers, W. and Arts, G.R.J. and Kallenberg, W.C.M. (1999) Test regions using two or more correlated product characteristics. Technometrics, 41 (2). pp. 153-165. ISSN 0040-1706 *** ISI Impact 1,435 ***
Asveld, P.R.J. (1999) The Non-Self-Embedding Property for Generalized Fuzzy Context-free Grammars. Publicationes Mathematicae Debrecen, 54 Supplement. pp. 553-573. ISSN 0033-3883 *** ISI Impact 0,438 ***
van den Berg, K.G. and Simons, A.J.H. (1999) Control-Flow Semantics of Use Cases in UML. Information and Software Technology, 41 (10). pp. 651-659. ISSN 0950-5849 *** ISI Impact 1,569 ***
Bijker, M.D. and Abelmann, L. and Lodder, J.C. and Popma, T.J.A. (1999) The role of oxygen in oblique deposited tapes. J Magn Magn Mater, 193. pp. 357-361.
Bijker, M.D. and Visser, E.M. and Lodder, J.C. and Popma, T.J.A. (1999) Optimisation of oblique sputter deposited media. Journal of magnetism and magnetic materials, 193. pp. 352-356. ISSN 0304-8853 *** ISI Impact 2,357 ***
Bokhove, O. and Johnson, E.R. (1999) Hybrid coastal and interior modes for two-dimensional flow in a cylindrical ocean. Journal of Physical Oceanography, 29 (2). pp. 93-118. ISSN 0022-3670 *** ISI Impact 3,026 ***
Bolhuis, T. and Abelmann, L. and Lodder, J.C. and Samwel, E.O. (1999) On the vectorial calibration of a vibrating sample magnetometer for thin film measurements. Journal of magnetism and magnetic materials, 193. pp. 332-336. ISSN 0304-8853 *** ISI Impact 2,357 ***
Botchev, M.A. and Sleijpen, G.L.G. and van der Vorst, H.A. (1999) Stability control for approximate implicit time-stepping schemes with minimal residual iterations. Applied Numerical Mathematics, 31 (3). pp. 239-253. ISSN 0168-9274 *** ISI Impact 1,414 ***
de Bree, H.E. and Jansen, H.V. and Lammerink, T.S.J. and Krijnen, G.J.M. and Elwenspoek, M.C. (1999) Bi-directional fast flow sensor with a large dynamic range. Journal of micromechanics and microengineering, 9 (2). pp. 186-189. ISSN 0960-1317 *** ISI Impact 1,768 ***
Breij, P.A.E. (1999) Worker Autonomy and the Drama of Digital Networks in Organizations. Journal of Business Ethics, 22 (1). pp. 15-25. ISSN 0167-4544 *** ISI Impact 1,837 ***
Brinksma, H. (1999) Cache Consistency by Design. Distributed Computing, 12 (2/3). pp. 552-565. ISSN 0178-2770 *** ISI Impact 1,263 ***
Brucker, P. and Hilbig, T. and Hurink, J.L. (1999) A branch and bound algorithm for a single-machine scheduling problem with positive and negative time-lags. Discrete Applied Mathematics, 94 (1-3). pp. 77-99. ISSN 0166-218X *** ISI Impact 0,722 ***
Brucker, P. and Hurink, J.L. and Kubiak, W. (1999) Scheduling identical jobs with chain precedence constraints on two uniform machines. Mathematical Methods of Operations Research, 49 (2). pp. 211-219. ISSN 1432-2994 *** ISI Impact 0,526 ***
Butler, M.J. and Hartel, P.H. (1999) Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp. ACM Transactions on Programming Languages and Systems (TOPLAS), 21 (3). pp. 417-429. ISSN 0164-0925 *** ISI Impact 1,148 ***
du Croo de Jongh, M.S.L. and Doumen, J.M. and van Leeuwen, J.M.J. (1999) Density matrix technique for groundstate calculations. Computer physics communications, 121-122. pp. 483-488. ISSN 0010-4655 *** ISI Impact 3,635 ***
De Nivelle, M.J.M.E. and Bruijn, M.P. and De Korte, P.A.J. and Sánchez, S. and Elwenspoek, M.C. and Heidenblut, T. and Schwierzi, B. and Michalke, W. and Steinbeiss, E. (1999) High-Tc bolometers with silicon-nitride spiderweb suspension for far-infrared detection. IEEE transactions on applied superconductivity, 9 (2, June). pp. 3350-3353. ISSN 1051-8223 *** ISI Impact 1,092 ***
van Dijk, J.A.G.M. (1999) The one-dimensional network society of Manuel Castells. New Media and Society, 1 (1). pp. 127-138.
Elwenspoek, M.C. (1999) Stationary hillocks on etching silicon. Journal of micromechanics and microengineering, 9 (2). pp. 180-185. ISSN 0960-1317 *** ISI Impact 1,768 ***
Etalle, S. and Bossi, A. and Cocco, N. (1999) Termination of well-moded programs. Journal of Logic Programming (JLP), 38 (2). pp. 243-257. ISSN 0743-1066
Etalle, S. and Gabbrielli, M. (1999) Layered modes. Journal of Logic Programming (JLP), 39 (1-3). pp. 225-244. ISSN 0743-1066
Etalle, S. and Hartel, P.H. and Vree, W.G. (1999) Declarative Solutions to Partitioned-grid Problems. Software: Practice and Experience, 29 (13). pp. 1173-1200. ISSN 0038-0644 *** ISI Impact 0,652 ***
Gierkink, S.L.J. and Holzmann, P.J. and Wiegerink, R.J. and Wassenaar, R.F. (1999) Some design aspects of a two-stage rail-to-rail CMOS op amp. Analog integrated circuits and signal processing, 21 (2). pp. 143-152. ISSN 0925-1030 *** ISI Impact 0,417 ***
Gilding, B.H. and Natalini, R. and Tesei, A. (1999) How parabolic free boundaries approximate hyperbolic fronts. Transactions of the American Mathematical Society, 352 (4). pp. 1797-1824. ISSN 0002-9947 *** ISI Impact 1,196 ***
Gui, C. and Elwenspoek, M.C. and Tas, N.R. and Gardeniers, J.G.E. (1999) The effect of surface roughness on direct wafer bonding. Journal of applied physics, 85 (10). pp. 7448-7454. ISSN 0021-8979 *** ISI Impact 2,101 ***
Gui, C. and Veldhuis, G.J. and Koster, T.M. and Lambeck, P.V. and Berenschot, J.W. and Gardeniers, J.G.E. and Elwenspoek, M.C. (1999) Fabrication of nanomechanical optical devices with aligned wafer bonding. Microsystem technologies, 5 (3). pp. 138-143. ISSN 0946-7076 *** ISI Impact 0,974 ***
Haast, M.A.M. and Heskamp, I.R. and Abelmann, L. and Lodder, J.C. and Popma, T.J.A. (1999) Magnetic characterization of large area arrays of single and multi domain CoNi/Pt multilayer dots. Journal of magnetism and magnetic materials, 193. pp. 511-514. ISSN 0304-8853 *** ISI Impact 2,357 ***
Hardman, P.J. and Clarkson, W.A. and Friel, G.J. and Pollnau, M. and Hanna, D.C. (1999) Energy-transfer upconversion and thermal lensing in high-power end-pumped Nd:YLF laser crystals. IEEE journal of quantum electronics, 35 (4). pp. 647-655. ISSN 0018-9197 *** ISI Impact 1,843 ***
Hartel, P.H. (1999) LETOS -- A Lightweight Execution Tool for Operational Semantics. Software: Practice and Experience, 29 (15). pp. 1379-1416. ISSN 0038-0644 *** ISI Impact 0,652 ***
den Hartog, J.I. and de Vink, E.P. and de Bakker, J.W. (1999) Full Abstractness of a Metric Semantics for Action Refinement. Fundamenta Informaticae, 40. pp. 335-382. ISSN 0169-2968 *** ISI Impact 0,658 ***
Hurink, J.L. (1999) An exponential neighbourhood for a one-machine batching problem. OR Spektrum, 21 (4). pp. 461-476. ISSN 0171-6468 *** ISI Impact 1,395 ***
Jackson, S.D. and King, T.A. and Pollnau, M. (1999) Diode-pumped 1.7-W erbium 3-µm fiber laser. Optics letters, 24 (16). pp. 1133-1135. ISSN 0146-9592 *** ISI Impact 3,040 ***
Jansen, P.G. and Laan, R. (1999) The Stack Resource Protocol based on Real-Time Transactions. IEE Proceedings - Software, 146 (2). pp. 112-119. ISSN 1462-5970
de Jong, H. and Mars, N.J.I. and van der Vet, P.E. (1999) Computer-supported resolution of measurement conflicts: a case-study in materials science. Foundations of Science, 4 (4). pp. 1233-1281. ISSN 1233-1821 *** ISI Impact 0,912 ***
Kallenberg, W.C.M. and Ledwina, T. (1999) Data driven rank tests for independence. Journal of the American Statistical Association, 94 (445). pp. 285-301. ISSN 0162-1459 *** ISI Impact 1,725 ***
Keppens, R. and Toth, G. and Botchev, M.A. and van der Ploeg, A. (1999) Implicit and semi-implicit schemes: algorithms. International Journal for Numerical Methods in Fluids, 30 (3). pp. 335-352. ISSN 0271-2091 *** ISI Impact 1,447 ***
Kim, Phan Le and Lodder, J.C. (1999) Time-Dependence effect in alumite recording media with perpendicular anisotropy. IEICE Transactions on Electronics, E82-C. pp. 2176-2183.
Kim, Phan Le and Lodder, J.C. and Luong, N.H. and Tong, Hien Duy (1999) The influence of Tantalum content in relation to substrate temperature on magnetic and structural properties of Co-Cr-Ta thin films. Journal of magnetism and magnetic materials, 193. pp. 117-120. ISSN 0304-8853 *** ISI Impact 2,357 ***
Kim, Phan Le and Lodder, J.C. and Popma, T.J.A. (1999) Field dependence of magnetic viscosity of CoCrTa in-plane media. Journal of magnetism and magnetic materials, 193. pp. 249-252. ISSN 0304-8853 *** ISI Impact 2,357 ***
Krijnen, G.J.M. and Lammerink, T.S.J. and Lambeck, P.V. and Elwenspoek, M.C. (1999) Optical devices based on fluidic controlled two-mode interference. Journal of micromechanics and microengineering, 9 (2). pp. 203-205. ISSN 0960-1317 *** ISI Impact 1,768 ***
Lagali, N.S. and Paiam, M.R. and MacDonald, R.I. and Wörhoff, K. and Driessen, A. (1999) Analysis of Generalized Mach–Zehnder Interferometers for Variable-Ratio Power Splitting and Optimized Switching. Journal of lightwave technology, 17 (12). pp. 2542-2550. ISSN 0733-8724 *** ISI Impact 2,567 ***
Lalbahadoersing, S. and Groenland, J.P.J. and Luitjens, S.B. and Lodder, J.C. (1999) Modeling and analysis of overwrite behavior versus increasing head field in thin MP tape. Journal of magnetism and magnetic materials, 193. pp. 444-447. ISSN 0304-8853 *** ISI Impact 2,357 ***
Lalbahadoersing, S. and Groenland, J.P.J. and Luitjens, S.B. and Lodder, J.C. (1999) Recording characteristics as a result of the special morphology of ME tape. Journal of magnetism and magnetic materials, 193. pp. 345-348. ISSN 0304-8853 *** ISI Impact 2,357 ***
Lüthi, S.R. and Pollnau, M. and Güdel, H.U. and Hehlen, M.P. (1999) Near-infrared to visible upconversion in Er3+ doped Cs3Lu2Cl9, Cs3Lu2Br9, and Cs3Y2I9 excited at 1.54 µm Physical review B: Condensed matter and materials physics, 60 (1). pp. 162-178. ISSN 0163-1829
Lisfi, A. and Lodder, J.C. (1999) Curling Mode in Barium Ferrite Films with Perpendicular Anisotropy. IEEE Transactions on Magnetics, 35. pp. 2754-2756. ISSN 0018-9464 *** ISI Impact 1,277 ***
Lisfi, A. and Lodder, J.C. and de Haan, Poul and Bolhuis, T. and Roesthuis, F.J.G. (1999) Magnetic relaxation in Barium ferrite films with perpendicular anisotropy. Journal of magnetism and magnetic materials, 193. pp. 258-261. ISSN 0304-8853 *** ISI Impact 2,357 ***
Lodder, J.C. and Monsma, D.J. and Vlutters, R. and Shimatsu, T. (1999) The spinvalve transistor: technologies and progress. Journal of magnetism and magnetic materials, 198-199. pp. 119-124. ISSN 0304-8853 *** ISI Impact 2,357 ***
Luitjens, S.B. and Rijckaert, A.M.A. (1999) The history of consumer magnetic video tape recording, from a rarity to a mass product. Journal of magnetism and magnetic materials, 193. pp. 17-23. ISSN 0304-8853 *** ISI Impact 2,357 ***
Möhring, R.H. and Schulz, A.S. and Uetz, M.J. (1999) Approximation in stochastic scheduling: the power of LP-based priority policies. Journal of the Association for Computing Machinery, 46 (6). pp. 924-942. ISSN 0004-5411 *** ISI Impact 1,803 ***
Nijdam, A.J. and Berenschot, J.W. and Van Suchtelen, J. and Gardeniers, J.G.E. and Elwenspoek, M.C. (1999) Velocity sources as an explanation for experimentally observed variations in Si{111} etch rates Journal of micromechanics and microengineering, 9 (2). pp. 135-138. ISSN 0960-1317 *** ISI Impact 1,768 ***
Nijdam, A.J. and Van Suchtelen, J. and Berenschot, J.W. and Gardeniers, J.G.E. and Elwenspoek, M.C. (1999) Etching of silicon in alkaline solutions: A critical look at the {111} minimum Journal of crystal growth, 198-199 (pt 1). pp. 430-434. ISSN 0022-0248 *** ISI Impact 1,462 ***
Oosterbroek, R.E. and Berenschot, J.W. and Schlautmann, S. and Krijnen, G.J.M. and Lammerink, T.S.J. and Elwenspoek, M.C. and van den Berg, A. (1999) Designing, simulation and realization of in-plane operating micro valves, using new etching techniques. Journal of micromechanics and microengineering, 9 (2). pp. 194-198. ISSN 0960-1317 *** ISI Impact 1,768 ***
Oosterbroek, R.E. and Lammerink, T.S.J. and Berenschot, J.W. and Krijnen, G.J.M. and Elwenspoek, M.C. and van den Berg, A. (1999) Micromachined pressure/flow-sensor. Sensors and actuators A: Physical, 77 (3). pp. 167-177. ISSN 0924-4247 *** ISI Impact 2,201 ***
van Rijn, C.J.M. and Nijdam, W. and Kuiper, S. and Veldhuis, G.J. and van Wolferen, H.A.G.M. and Elwenspoek, M.C. (1999) Microsieves made with laser interference lithography for micro-filtration applications. Journal of micromechanics and microengineering, 9 (2). pp. 170-172. ISSN 0960-1317 *** ISI Impact 1,768 ***
Samwel, E.O. and Bolhuis, T. and Speliotis, D. and Lodder, J.C. (1999) Vectorial measurements of the angular coercive field. Journal of magnetism and magnetic materials, 193. pp. 337-341. ISSN 0304-8853 *** ISI Impact 2,357 ***
Shimatsu, T. and Lodder, J.C. and Sugita, Y. and Nakamura, Y. (1999) Thermal fluctuation of magnetization in nanocrystalline FePt thin films with high coercivity. IEEE Transactions on Magnetics, 35. pp. 2697-2699. ISSN 0018-9464 *** ISI Impact 1,277 ***
Sikkel, K. and Spil, A.A.M. and van de Weg, R.L.W. (1999) A real-world Case Study in Information Technology for Undergraduate Students. Journal of Systems and Software, 49. pp. 117-123. ISSN 0164-1212 *** ISI Impact 1,424 ***
Sikkel, K. and Spil, A.A.M. and van de Weg, R.L.W. (1999) Het vervangen van een ziekenhuisinformatiesysteem. Een voorbeeld van projektonderwijs bij Bedrijfsinformatietechnologie. Tijdschrift voor informatica-onderwijs (TINFON), 8 (3). pp. 106-109. ISSN 0927-8982
van Sinderen, M.J. and Joosten, S.M.M. and Guareis de Farias, C.R. (1999) Workflow automation based on OSI job transfer and manipulation. Computer Standards & Interfaces, 21 (5). pp. 403-415. ISSN 0920-5489 *** ISI Impact 1,268 ***
Skowronek, J. and Blanken, H.M. and Wilschut, A.N. (1999) Performance of Distributed Query Optimization in Client/Server Systems. Data and Knowledge Engineering, 30 (2). pp. 153-185. ISSN 0169-023X *** ISI Impact 1,500 ***
Valkering, T.P. and van Honschoten, J.W. and Hoekstra, H.J.W.M. (1999) Ultra-sharp soliton switching in a directional coupler. Optics communications, 159 (4-6). pp. 215-220. ISSN 0030-4018 *** ISI Impact 1,480 ***
Vedyayev, A. and Ryzhanova, N. and Vlutters, R. and Dieny, B. (1999) Effect of interfacial scattering on the magnetoresistance of magnetic tunnel junctions. Europhysics letters, 46. pp. 808-814. ISSN 0295-5075 *** ISI Impact 1,963 ***
Veenstra, T.T. and Lammerink, T.S.J. and Elwenspoek, M.C. and van den Berg, A. (1999) Characterization method for a new diffusion mixer applicable in micro flow injection analysis systems. Journal of micromechanics and microengineering, 9 (2). pp. 199-202. ISSN 0960-1317 *** ISI Impact 1,768 ***
Vellekoop, S.J.L. and Abelmann, L. and Porthun, S. and Lodder, J.C. and Miles, J.J. (1999) Calculation of playback signals from MFM images using transfer functions. Journal of magnetism and magnetic materials, 193. pp. 474-478. ISSN 0304-8853 *** ISI Impact 2,357 ***
van der Vet, P.E. and Mars, N.J.I. (1999) CQE: a query engine for coordinated index terms. Journal of the American Society for Information Science, 50 (6). pp. 485-492. ISSN 0002-8231
Wörhoff, K. and Driessen, A. and Lambeck, P.V. and Hilderink, L.T.H. and Linders, P.W.C. and Popma, T.J.A. (1999) Plasma enhanced chemical vapor deposition silicon oxynitride optimized for application in integrated optics. Sensors and actuators A (Physical), 74 (1-3). pp. 9-12. ISSN 0924-4247 *** ISI Impact 2,201 ***
Wörhoff, K. and Lambeck, P.V. and Driessen, A. (1999) Design, Tolerance Analysis, and Fabrication of Silicon Oxynitride Based Planar Optical Waveguides for Communication Devices. Journal of lightwave technology, 17 (8). pp. 1401-1407. ISSN 0733-8724 *** ISI Impact 2,567 ***
Wörhoff, K. and Offrein, B.J. and Lambeck, P.V. and Bona, G.L. and Driessen, A. (1999) Birefringence compensation applying double-core waveguiding structures. IEEE photonics technology letters, 11 (2). pp. 206-208. ISSN 1041-1135 *** ISI Impact 1,945 ***
van der Zwaag, B.J. and Corbett, D.R. (1999) Capturing hand tremors with a fuzzy logic wheelchair joystick controller. Biomedical Fuzzy and Human Sciences, Official Journal of the Biomedical Fuzzy Systems Association, 5 (1). pp. 49-55. ISSN 1345-1537
Zwijze, A.F. and Wiegerink, R.J. and Krijnen, G.J.M. and Lammerink, T.S.J. and Elwenspoek, M.C. (1999) Low creep and hysteresis load cell based on a force-to-fluid pressure transformation. Sensors and actuators A: Physical, 78 (2-3). pp. 74-80. ISSN 0924-4247 *** ISI Impact 2,201 ***

Book

Bruinsma, G.J.N. and van der Vijver, C.D., ed. (1999) Public Safety in Europe. IPIT, Enschede. ISBN 90-365-1373-1
Grefen, P.W.P.J. and Pernici, B. and Sánchez, G., ed. (1999) Database Support for Workflow Management: The WIDE Project. Kluwer International Series in Engineering & Computer Science. Kluwer Academic Publishers, Boston, USA. ISBN 0792384148
Jonker, W., ed. (1999) Proceedings of the International Workshop on Databases in Telecommunications, Co-located with VLDB-99 Edinburgh, Scotland, UK, September 6th, 1999. Lecture Notes in Computer Science 1819. Springer Verlag, Berlin. ISBN 978-3-540-67667-6
Katoen, J.P., ed. (1999) Formal Methods for Real-Time and Probabilistic Systems. Lecture Notes in Computer Science 1601. Springer-Verlag, Bamberg, Germany.
Nijholt, A. and Donk, O. and van Dijk, E.M.A.G., ed. (1999) Interactions in Virtual Worlds. Twente Workshop on Language Technology (15). University of Twente, Enschede. ISSN 0929-0672

Review

Asveld, P.R.J. (1999) Review of "A. Paun, Controlled H systems of small radius. Fund. Inform. 31 (1997) 185-193". Mathematical reviews, MR1608115 / 99d:68151. pp. 2769-2769. ISSN 0025-5629
Asveld, P.R.J. (1999) Review of "J. Honkala, Decision problems concerning a power series generalization of DTOL systems. Fund. Inform. 32 (1997) 341-348". Mathematical reviews, MR1657259 /99i:68075. pp. 6389-6389. ISSN 0025-5629
Asveld, P.R.J. (1999) Review of "G. Buntrock & F. Otto, Growing context-sensitive languages and Church-Rosser languages. Inform. and Comput. 141 (1998) 1-36". Mathematical reviews, MR1604216 / 99b:68112. pp. 1272-1272. ISSN 0025-5629
Asveld, P.R.J. (1999) Review of "I.I. Macarie, Space-efficient deterministic simulation of probabilistic automata. SIAM J. Comput. 27 (1998) 448-465". Mathematical reviews, MR1616560 / 99d:68165. pp. 2772-2772. ISSN 0025-5629
Hartel, P.H. (1999) Review of "C. Okasaki, Purely Functional Data structures". Science of Computer Programming, 34. pp. 75-77. ISSN 0167-6423
Hartel, P.H. (1999) Review of "G. Cousineau and M. Mauny, The functional approach to programming". Journal of Functional Programming, 9 (4). pp. 479-481. ISSN 0956-7968

Book Section

Akşit, M. and Tekinerdogan, B. and Marcelloni, F. and Bergmans, L.M.J. (1999) Deriving Object-Oriented Frameworks from Domain Knowledge. In: Building Application Frameworks: Object Oriented Foundations of Framework Design. John Wiley & Sons, pp. 169-198. ISBN 0-471-24875-4
Bergmans, L.M.J. and Lopes, C. (1999) Aspect-Oriented Programming. In: Object-Oriented Technology ECOOP’99 Workshop Reader. Lecture Notes in Computer Science 1743. Springer Verlag, Berlin, pp. 288-313. ISBN 978-3-540-66954-8
Hartel, P.H. and Butler, M.J. and Levy, M. (1999) The Operational Semantics of a Java Secure Processor. In: Formal Syntax and Semantics of Java. Springer-Verlag, Berlin, pp. 313-352. ISBN 3-540-66158-1
Kallenberg, W.C.M. (1999) Efficiency, Intermediate or Kallenberg. In: Encyclopedia of Statistical Sciences Update Volume 3. Wiley, New York, pp. 192-197. ISBN 978-0471238836
Nijholt, A. (1999) Asterix en Obelix en het Milleniumprobleem. In: DON'T PANIC: Jaarboek 1999. Christiaan Huijgens, Delft, pp. 36-40.
van Sinderen, M.J. and van Beijnum, B.J.F. and Hoeksema, F.W. and Pras, A. and Quartel, D.A.C. (1999) Computernetwerken. In: ICT-Zakboekje, Informatie- en Communicatietechnologie. Koninklijke PBNA Poly-Zakboekjes. Koninklijke PBNA b.v., Arnhem, pp. 771-842. ISBN 90 6228 303 9
Wieringa, R.J. (1999) Embedding object-oriented design in system engineering. In: Behavioral Specifications of Businesses and Systems. Kluwer International Series in Engineering & Computer Science 523. Springer, Berlin/Heidelberg, Germany, pp. 287-310. ISBN 0792386299

Conference or Workshop Paper

Baier, C. and Katoen, J.P. and Hermanns, H. (1999) Approximate symbolic model checking of continous-time Markov chains. In: CONCUR '99: Concurrency Theory, 10th International Conference, August 24-27, 1999, Eindhoven, The Netherlands. pp. 146-162. Lecture Notes in Computer Science 1664. Springer-Verlag. ISBN 3-540-66425-4
de Barros Barbosa, C. and Ferreira Pires, L. (1999) Developing frameworks for protocol implementation. In: IEEE International Conference on Software in Telecommunication (SOFTCOM'99), 1999, Split, Croatia. pp. 143-151. IEEE Computer Society. ISBN 953-6114-32-1
Batteram, H.J. and Bakker, J.L. and Verhoosel, J.P.C. and Diakov, N.K. (1999) Design and Implementation of the MESH Services Platform. In: Telecommunications Information Networking Architecture Conference, TINA'99, 12-15 Apr 1999, Oahu, Hawaii, USA. pp. 250-261. IEEE Computer Society. ISBN 0-7803-5785-x
Beelen, G. and Leijtens, X.J.M. and Linders, P.W.C. and Krijnen, G.J.M. and Driessen, A. and Diemeer, M.B.J. and Bakker, A.F. and de Krijger, A.J.T. and de Ridder, R.M. (1999) Compact polymer components for an integrated add-drop multiplexer. In: Lasers and Electro-Optics Society 1999 12th Annual Meeting. LEOS '99. IEEE, 8-11 Nov 1999, San Francisco, CA. pp. 545-546. IEEE Computer Society. ISSN 1092-8081 ISBN 0-7803-5634-9
Belinfante, A.F.E. and Feenstra, J. and de Vries, R.G. and Tretmans, G.J. and Goga, N. and Feijs, L.M.G. and Mauw, S. and Heerink, A.W. (1999) Formal Test Automation: A Simple Experiment. In: Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications. pp. 179-196. IFIP Conference Proceedings 147. Kluwer Academic Publishers. ISBN 0-7923-8581-0
Berkvens, P.J.F. and Botchev, M.A. and Lioen, W.M. and Verwer, J.G. (1999) A zooming technique for wind transport of air pollution. In: Finite Volumes for Complex Applications II - Problems and Perspectives, July 19-22, 1999, Duisburg, Germany. pp. 499-506. Hermes. ISBN 2-7462-0057-0
Blok, H.E. and de Vries, A.P. and Blanken, H.M. (1999) Top N MM query optimization: The best of both IR and DB worlds. In: Conferentie Informatiewetenschap 1999 [Eng.: Information Science Conference 1999], Dec 1999, Amsterdam, The Netherlands. Werkgemeenschap Informatiewetenschap.
de Boer, P.T. and Nicola, V.F. and Srinivasan, R. (1999) On the Estimation of Rare Event Probabilities Involving IID Sums. In: The Second International Workshop on Rare Event Simulation (RESIM'99), 11-12 March 1999, Enschede, The Netherlands. pp. 133-138.
Bosch, H.G.P. and Mullender, S.J. and Jansen, P.G. (1999) Clockwise: A Mixed-Media File System. In: IEEE Int. Conf. on Multimedia Computing and Systems (ICMCS), Firenze, Italy. pp. 277-281. IEEE Computer Society. ISBN 0769502539
Bossi, A. and Etalle, S. and Rossi, S. (1999) Properties of Input-Consuming Derivations. In: ICLP'99 International Conference on Logic Programming: Workshop on Verification of Logic Programs, December 1, 1999, Las Cruces, New Mexico. pp. 1-23. Electronic Notes in Theoretical Computer Science 30. Elsevier. ISSN 1571-0661
de Bree, H.E. and Druyvesteyn, W.F. and Berenschot, J.W. and Elwenspoek, M.C. (1999) Three-dimensional sound intensity measurements using microflown particle velocity sensors. In: Proceedings of the 1999 12th IEEE International Conference on Micro Electro Mechanical Systems, MEMS, 17-21 Jan 1999, Orlando, FL, USA. pp. 124-129. IEEE Computer Society. ISBN 0-7803-5194-0
Brinksma, H. (1999) Formal Methods for Conformance Testing: Theory Can Be Practical! In: Computer Aided Verification: 11th International Conference (CAV), July 1999, Trento, Italy. pp. 44-46. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
van den Broek, P.M. (1999) Efficient Algorithms for Approximate Reasoning. In: 6th International Conference on Neural Information Processing (ICONIP), 16-20 November 1999, Perth, Western Australia. pp. 292-297. IEEE Computer Society. ISBN 0780358716
van den Broek, P.M. (1999) Multiconditional Approximate Reasoning with Continuous Piecewise Linear Membership Functions. In: Computational Intelligence for Modelling, Control & Automation - CIMCA'99, 17-19 February 1999, Vienna, Austria. pp. 246-253. IOS Press. ISSN 1383-7575 ISBN 9789051994742
Broersen, J.M. and Wieringa, R.J. (1999) A logic for the specification of multi-object systems. In: Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 15-18 Feb 1999, Firenze, Italy. pp. 387-398. IFIP Conference Proceedings 139. Kluwer Academic Publishers. ISBN 0792384296
Burger, J.F. and Van der Wekken, M.C. and Berenschot, J.W. and Holland, H.J. and ter Brake, H.J.M. and Rogalla, H. and Gardeniers, J.G.E. and Elwenspoek, M.C. (1999) High pressure check valve for application in a miniature cryogenic sorption cooler. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 17-21 Jan 1999, Orlando, FL, USA. pp. 183-188. IEEE Computer Society. ISBN 0-7803-5194-0
Chaudron, M. and Tretmans, G.J. and Wijbrans, K.C.J. (1999) Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. In: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II. pp. 1511-1526. Lecture Notes in Computer Science 1709. Springer Verlag. ISBN 3-540-66588-9
Choenni, R.S. and Leijnse, C. (1999) A Framework for the Automation of Air Defence Systems. In: Proceedings of the RTA SCI Panel Symposium on Warfare Automation: Procedures and Techniques for Unmanned Vehicles, 26-28 Apr 1999, Ankara, Turkey. NATO RTA. ISBN 92-837-0011-2
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1999) On Generative Parallel Composition. In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification, 19 - 20 June 1998, Indianapolis, Indiana. pp. 30-54. Electronic Notes in Theoretical Computer Science 22. Elsevier. ISSN 1571-0661
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1999) Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In: Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE, 12/01/1999 - 12/03/1999, Phoenix, AZ, USA. pp. 104-114. IEEE Computer Society. ISBN 0-7695-0475-2
van Dijk, J.A.G.M. (1999) The Quantity and Quality of Political Participation on the Internet. In: 49th Annual Conf. of the Int. Communication Association, San Francisco, California. 22. Int. Communication Association.
Elwenspoek, M.C. (1999) Thermal flow micro sensors. In: Proceedings of the 1999 International Semiconductor Conference (CAS '99), 05-09 Oct 1999, Sinaia, Romania. pp. 423-435. IEEE Computer Society. ISBN 0-7803-5139-8
Eshuis, H. and Fokkinga, M.M. (1999) Comparing Refinements for Failure and Bisimulation Semantics. In: Workshop Argentino de Informatica Teorica (WAIT 1999), 6-10 Sep 1999, Buenos Aires, Argentina. pp. 65-80. Sociedad Argentina de Informática e Investigacíon Operativa. ISBN not assigned
Etalle, S. and van Raamsdonk, F. (1999) Logic Programming with Requests. In: 16th Int. Conf. Logic Programming (ICLP), Las Cruces, New Mexico. pp. 558-572. MIT Press. ISBN 0-262-54104-1
Etalle, S. and Smaus, J.G. (1999) Preface. In: Workshop on Verification of Logic Programs, December 1, 1999, Las Cruces, New Mexico. 1. Electronic Notes in Theoretical Computer Science 30. Elsevier. ISSN 1571-0661
Even, S.J. and Spelt, D. (1999) Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model. In: Proceedings of the 1st ECOOP Workshop on Object-Oriented Databases, 15 Jun 1999, Lisbon, Portugal. pp. 109-120. Università di Genova. ISBN not assigned
Grefen, P.W.P.J. (1999) Advanced Architectures for Transactional Workflows or Advanced Transactions in Workflow Architectures. In: International Process Technology Workshop (IPTW), 1-3 Sept 1999, Villard de Lans, France. ISBN not assigned
Grefen, P.W.P.J. and Hoffner, Y. (1999) CrossFlow: Cross-Organizational Workflow Support for Virtual Organizations. In: Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, 23-24 Mar 1999, Sydney, Australia. pp. 90-91. IEEE Computer Society. ISBN 0-7695-0119-2
Grefen, P.W.P.J. and Vonk, J. and Boertjes, E.M. and Apers, P.M.G. (1999) Semantics and Architecture of Global Transaction Support in Workflow Environments. In: Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems, 2-4 Sep 1999, Edinburgh, Scotland. pp. 348-359. IEEE Computer Society. ISBN 0-7695-0384-5
Gui, C. and Elwenspoek, M.C. and Tas, N.R. and Gardeniers, J.G.E. (1999) The Surface adhesion parameter: A measure for wafer bondability. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 17-21 Jan 1999, Orlando, FL, USA. pp. 290-295. IEEE Computer Society. ISBN 0-7803-5194-0
van Halteren, A.T. and Nieuwenhuis, L.J.M. and Schenk, M.R. and Wegdam, M. (1999) Value Added Web: Integrating WWW with a TINA Service Management platform. In: Telecommunications Information Networking Architecture Conference (TINA'99), 12-15 Apr 1999, Oahu, USA. pp. 14-23. IEEE Communications Society. ISBN 0-7803-5785-X
van Halteren, A.T. and Noutash, A. and Nieuwenhuis, L.J.M. and Wegdam, M. (1999) Extending CORBA with specialised protocols for QoS provisioning. In: International Symposium on Distributed Objects and Applications (DOA'99), 1999, Edinburgh, Scotland. pp. 318-329. IEEE Computer Society. ISBN 0-7695-0182-6
Hartel, P.H. and Butler, M.J. and Currie, A. and Henderson, P. and Leuschel, M. and Martin, A. and Smith, A. and Ultes-Nitsche, U. and Walters, B. (1999) Questions and Answers About Ten Formal Methods. In: 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy. pp. 179-203. ERCIM/CNR. ISBN 88-7958-009-4
den Hartog, J.I. (1999) Verifying Probabilistic Programs Using a Hoare like Logic. In: 5th Asian Conference on Advances in Computing Science (ASIAN '99), December 10-12, 1999, Phuket, Thailand. pp. 113-125. Lecture notes in computer science 1742. Springer-Verlag. ISSN 0302-9743 ISBN 9783540668565
Havinga, P.J.M. and Smit, G.J.M. (1999) Octopus: embracing the energy efficiency of handheld multimedia computers. In: 5th Annual ACM/IEEE Int. Conf. on Mobile Computing and Networking (Mobicom). pp. 77-87. ACM Press. ISBN 1-58113-142-9
Heijenk, G.J. (1999) Mobile IP. (Invited) In: Proceedings 5th Open European Summerschool, Eunice 1999, 1 - 3 Sep 1999, Barcelona, Spain. 207. Universitat Politecnica de Catalunya. ISBN 84-7653-717-4
Helme, A. and Stabell-Kulø, T. (1999) Offline delegation. In: 8th USENIX Security Symposium 1999, 23-26 Aug 1999, Washington, DC. pp. 25-33. USENIX Association. ISBN 1880446286
Hermanns, H. and Mertsiotakis, V. and Siegle, M. (1999) TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. In: Computer Aided Verification: 11th International Conference, CAV'99, July 6-10, 1999, Trento, Italy. pp. 487-490. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Hermanns, H. and Meyer-Kayser, J. and Siegle, M. (1999) Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In: 3rd Int. Workshop on the Numerical Solution of Markov Chains, 2000, Zaragossa, Spain. pp. 188-207. Prensas Universitarias de Zaragoza. ISBN not assigned
Hermanns, H. and Siegle, M. (1999) Bisimulation Algorithms for StochasticProcess Algebras and their BDD-based Implementation. In: Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, May 1999, Bamberg, Germany. pp. 144-264. Lecture Notes in Computer Science 1601. Springer Verlag. ISBN 3-540-66010-0
Hiemstra, D. and de Jong, F.M.G. (1999) Disambiguation strategies for cross-language information retrieval. In: Research and Advanced Technology for Digital Libraries. pp. 274-293. Lecture Notes in Computer Science 1696. Springer Verlag. ISSN 0302-9743 ISBN 3-540-66558-7
Hiemstra, D. and Kraaij, W. (1999) Twenty-One at TREC-7: ad-hoc and cross-language track. In: Proceedings of the seventh Text Retrieval Conference (TREC), 9-11 Nov 1998, Gaithersburg, USA. pp. 227-238. NIST Special Publications 500-242. US National Institute of Standards and Technology.
Hulstijn, J. and Nijholt, A. and Hondorp, G.H.W. and van den Berk, M. and van Hessen, A.J. (1999) Dialogues with a Talking Face for Web-based Services and Transaction. In: Proceedings Face to Face workshop, 19 March, Amsterdam, Netherlands. pp. 12-17. CWI (Centrum voor Wiskunde en Informatica).
Jackson, S.D. and King, T.A. and Pollnau, M. (1999) Diode-pumped 1.7-W erbium 3-µm fiber laser. In: Conference on Lasers and Electro-Optics / Pacific Rim, 30 August - 3 September 1999, Seoul, Korea. pp. 537-538. Optical Society of America. ISBN 0-7803-5661-6
Jackson, S.D. and King, T.A. and Pollnau, M. (1999) Order-of-magnitude power enhancement of an Er3+ 2.7-µm ZBLAN laser utilizing lifetime quenching by energy transfer to Pr3+ In: International Conference on Luminescence and Optical Spectroscopy of Condensed Matter, 23-27 August 1999, Osaka, Japan. Postdeadline paper B04_1. Nara Institute of Science and Technology. ISBN not assigned
Jansen, P.G. and Scholten, J. and Laan, R. (1999) Flexible Scheduling in Multimedia Kernels: An Overview. In: Multimedia Information Systems in Practice, Hong Kong, China. pp. 31-41. Springer-Verlag. ISBN 981-4021-53-9
de Jong, F.M.G. and Gauvain, J.-L. and den Hartog, J.E. and Netter, K. (1999) OLIVE: Speech-Based Video Retrieval. In: Proceedings of the 1st European Workshop on Content-Based Multimedia Indexing (CBMI'99), 25-27 Oct 1999, Toulouse, France. pp. 75-80. IRIT, Toulouse, France. ISBN not assigned
Krahmer, E. and Swerts, M. and Theune, M. and Weegels, M. (1999) Problem spotting in human-machine interaction. In: Sixth European Conference on Speech Communication and Technology, EUROSPEECH 1999, 5-9 Sept 1999, Budapest, Hungary. pp. 1423-1426. International Speech Communication Association. ISSN 1018-4074
Krol, T. (1999) Interconnecting Lock-step Synchronous Fault-tolerant Systems based on Voting and Error-Correcting Codes. In: Pacific Rim Int. Symp. on Dependable Computing, Hong Kong, China. pp. 62-69. IEEE Computer Society. ISBN 0-7695-0371-3
Langerak, R. (1999) Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. In: Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 23 August 1999, Eindhoven, The Netherlands. pp. 24-41. Electronic Notes in Theoretical Computer Science 27. Elsevier. ISSN 1571-0661
Langerak, R. and Brinksma, H. (1999) A complete finite prefix for process algebra. In: Computer Aided Verification, 11th International Conference, CAV '99, July 6-10, 1999, Trento, Italy. pp. 184-195. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
Ludwig, H. and Bussler, C. and Shan, M.C. and Grefen, P.W.P.J. (1999) Cross-organisational workflow management and co-ordination: WACC'99 workshop report. In: WACC '99 Workshop: Cross-Organisational Workflow Management and Co-ordination, 22 Feb 1999, San Francisco, USA. pp. 59-62. SIGGROUP bulletin 20 (1). ACM Press. ISSN not assigned
Mader, A.H. and Wupper, H. (1999) Timed Automaton Models for Simple Programmable Logic Controllers. In: 11th Euromicro Conf. on Real-Time Systems, 9-11 June 1999, York, UK. pp. 114-122. IEEE Computer Society. ISBN 0-7695-0240-7
Marcelloni, F. and Akşit, M. (1999) Reducing Quantization Error and Contextual Bias problems in Software Development Processes by Applying Fuzzy Logic. In: NAFIPS'99, 10 - 12 June 1999, New York, USA. pp. 268-272. IEEE Computer Society. ISBN 0780352114
Möhring, R.H. and Schulz, A.S. and Stork, F. and Uetz, M.J. (1999) Resource-constrained project scheduling: computing lower bounds by solving minimum cut problems. In: Algorithms (ESA 1999), 16-18 July 1999, Prague, Czech Republic. pp. 139-150. Lecture Notes in Computer Science 1643. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-66251-8
Nieuwenhuis, L.J.M. and van Halteren, A.T. (1999) EURESCOM Services Platform. In: Telecommunications Information Networking Architecture Conference (TINA'99), 12-15 Apr 1999, Oahu, USA. pp. 262-272. IEEE Communications Society. ISBN 0-7803-5785-X
Nijholt, A. (1999) Commerce and Entertainment in the Twente Virtual Theatre Environment. In: WRV99: II Brasilian Workshop on Virtual Reality, Marilia, Brazil. pp. 102-114. Fundao Euripides de Marilia.
Nijholt, A. (1999) Towards Multi-Modal Interactions in Virtual Environments: A Case Study. (Invited) In: Actas-I, VI Simposio Internacional de Communicacion Social, 25-28 January 1999, Santiago de Cuba, Cuba. pp. 561-568. Centro Linguistica Applicada. ISBN 959-11-0250-X
Nijholt, A. (1999) The Twente Virtual Theatre Environment: Agents and Interactions. In: Interactions in Virtual Worlds (IVW'99), 19-21 May 1999, Enschede, the Netherlands. pp. 147-164. Twente Workshop on Language Technology 15 (0929-0672). University of Twente.
Nijholt, A. (1999) An agent-based virtual theatre community. In: Local Nets: International Workshop on Community-based Interactive Systems, 20 October 1999, Siena, Italy. pp. 116-133. I3 Esprit.
Nijholt, A. (1999) Access and Exploration of Virtual Reality Interest Communities. In: Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), 30 July - August 3 1999, Orlando, USA. pp. 79-86. International Institute of Informatics and Systemics. ISBN 980-07-5919-0
Nijholt, A. and Hondorp, G.H.W. (1999) Some Notes on Agents in the Twente Virtual Theatre Environment. In: Proceedings of the Second Workshop on Intelligent Virtual Agents, 13 Sep 1999, Salford, UK. pp. 151-154. University of Salford. ISSN 1467-2154
Nijholt, A. and Hulstijn, J. and van Hessen, A.J. (1999) Speech and Language Interaction in a Web Theatre Environment. In: Proceedings Interactive Dialogue in Multi-Modal Systems, 22-25 June 1999, Kloster Irsee, Germany. pp. 129-132. ISCA Archives. ISBN 87-90834-00-3
Oosterbroek, R.E. and Berenschot, J.W. and Nijdam, A.J. and Pandraud, G. and Elwenspoek, M.C. and van den Berg, A. (1999) New design methodologies in <111>-oriented silicon wafers. In: Proceedings of SPIE - The International Society for Optical Engineering the 1999 Micromachining and Microfabrication Process Technology V, 20-22 Sept 1999, Santa Clara, CA, USA. pp. 384-394. Society of Photo-Optical Instrumentation Engineers. ISSN 0277-786X
Pollnau, M. (1999) Heat generation and thermal lensing in 2.8-µm Er3+:LiYF4 lasers In: Conference on Lasers and Electro-Optics / Pacific Rim, 30 August - 3 September 1999, Seoul, Korea. pp. 738-739. Optical Society of America. ISBN 0-7803-5661-6
Pollnau, M. and Güdel, H.U. (1999) Power dependence of upconversion luminescence. In: International Conference on Luminescence and Optical Spectroscopy of Condensed Matter, 23-27 August 1999, Osaka, Japan. Paper PC2_3. Nara Institute of Science and Technology. ISBN not assigned
Quartel, D.A.C. and van Sinderen, M.J. (1999) Service creation: a model-based approach. In: 7th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'99), Cape Town, South Africa. pp. 102-110. IEEE Computer Society. ISBN 0-7695-0468-x
Reggio, G. and Wieringa, R.J. (1999) Thirty one problems in the semantics of UML 1.3 dynamics. In: OOPSLA 99: Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations, 1-5 Nov 1999, Denver, Colorado, USA. ISBN not assigned
van Rein, H. (1999) Protocol-Safe Workflow Support for Santa Claus. In: Proceedings of the ECOOP'99 Workshops, Panels, and Posters, 14-18 Jun 1999, Lisbon, Portugal. pp. 4-5. Lecture Notes in Computer Science 1743. Springer Verlag. ISSN 0302-9743 ISBN 3-540-66954-X
van Rein, H. and Fokkinga, M.M. (1999) Protocol Assuring Universal Language. In: Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), 15-18 Feb 1999, Florence, Italy. pp. 241-258. IFIP Conference Proceedings 139. Kluwer Academic Publishers. ISBN 0-7923-8429-6
Revill, J.D. and Hartel, P.H. (1999) Modelling a Java Ring based implementation of an N-Count payment system. In: 2nd Workshop on Security in Communication Networks, Amalfi, Italy. pp. 139-150. Univ. of Salerno.
Ruys, T.C. (1999) Xspin/Project - Integrated Validation Management for Xspin. In: Theoretical and Practical Aspects of SPIN Model Checking.Proceedings of the 5th and 6th International SPIN Workshop, 1999, Trento, Italy. pp. 108-119. Lecture Notes in Computer Science 1680. Springer Verlag. ISBN 3-540-66499-8
Scholten, J. (1999) Voice over TV Network Systems. In: 5th Int. Conf. on Information Systems, Orlando, Florida. pp. 244-248. Int. Institute of Informatics and Systemics. ISBN 980-07-5915-8
Scholten, J. and Jansen, P.G. (1999) Multimedia Services over the TV Cable Net Infrastructure. In: Multimedia Information Systems in Practice, Hong Kong, China. pp. 313-320. Springer-Verlag. ISBN 981-4021-53-9
Sikkel, K. and Ruël, H. and Wieringa, R.J. (1999) Towards a Method for Evolutionary Implementation of Groupware. In: Fifth International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'99), 14-15 June 1999, Heidelberg, Germany. pp. 187-192. Presses Universitaires de Namur. ISBN not assigned
Sikkel, K. and Spil, A.A.M. and van de Weg, R.L.W. (1999) Replacing a Hospital Information System: an example of a real-world case study. In: 12th Conference on Software Engineering Education and Training (CSEE&T'99), 22-24 Mar 1999, New Orleans, LA, USA. pp. 6-15. IEEE Computer Society. ISBN 0-7659-0131-1
Smit, G.J.M. and Bos, M. and Havinga, P.J.M. and Mullender, S.J. and Smit, J. (1999) Chameleon-reconfigurability in hand-held multimedia computers. In: 1st Handheld and Ubiquitous Computing (HUC), Karlsruhe, Germany. pp. 340-342. Springer-Verlag. ISBN 3540665501
Smit, G.J.M. and Havinga, P.J.M. and van Opzeeland, M. and Poortinga, R. (1999) Implementation of a wireless ATM transceiver using reconfigurable logic. In: 2nd IEEE Int. workshop on wireless mobile ATM implementations (wmATM), San Jose, California. pp. 241-251. Delson Group.
Spelt, D. and Even, S.J. (1999) A theorem prover-based analysis tool for object-oriented databases. In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 1999), 22-28 March 1999, Amsterdam, The Netherlands. pp. 375-389. Lecture Notes in Computer Science 1579. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-65703-3
Spil, A.A.M. and van de Meeberg, H.J. and Sikkel, K. (1999) The definition, selection and implementation of a new Clinical Information System to prepare the hospital for the electronic future: an example of project-based education. In: 32nd Hawaii International Conference on System Sciences (HICCS'99), 5-8 Jan 1999, Maui, Hawaii. IEEE Computer Society. ISBN 0769500013
Stoyanov, S. and Aroyo, L.M. and Kommers, P.A.M. and Kurtev, I. (1999) SMILE Maker: a web-based tool for problem solving. In: Proceedings of WebNet 99 - World Conference on the WWW and Internet, 24-30 Oct 1999, Honolulu, Hawaii, USA. pp. 1006-1011. AACE. ISBN 1-880094-36-3
Tekinerdogan, B. and Akşit, M. (1999) Evaluating Architecture Implementation Alternatives based on Adaptability Concerns. In: 2nd IEEE International Symposium on Object-Oriented Real Time Distributed Computing, 2-5 May 1999, Saint-Malo, France. pp. 155-158. IEEE Computer Society. ISBN 0769502075
Theune, M. (1999) Parallelism, coherence, and contrastive accent. In: Sixth European Conference on Speech Communication and Technology, EUROSPEECH 1999, 5-9 Sept 1999, Budapest, Hungary. pp. 555-558. ISCA. ISSN 1018-4074
Tretmans, G.J. (1999) Testing Concurrent Systems: A Formal Approach. In: CONCUR'99 - Concurrency Theory: 10th International Conference, August 1999, Eindhoven, The Netherlands. pp. 46-65. Lecture Notes in Computer Science 1664. Springer Verlag. ISBN 3-540-66425-4
Tretmans, G.J. and Belinfante, A.F.E. (1999) Automatic Testing with Formal Methods. In: EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review, 8-12 Nov 1999, Barcelona, Spain. EuroStar Conferences. ISBN not assigned
Tretmans, G.J. and Wijbrans, K.C.J. and Chaudron, M. (1999) Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System -- Seven Myths of Formal Methods Revisited. In: Fourth Int. ERCIM Workshop on Formal Methodsfor Industrial Critical Systems (FMICS'99) -- Proceedings of the FLoC Workshop, 11-12 July 1999, Trento, Italy. pp. 225-237. Servizio Tecnografico Area di Ricerca del CNR. ISBN not assigned
Van Suchtelen, J. and Sato, K. and Van Veenendaal, E. and Nijdam, A.J. and Gardeniers, J.G.E. and Van Enckevort, W.J.P. and Elwenspoek, M.C. (1999) Simulation of anisotropic wet-chemical etching using a physical model. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 17 - 21 Jan 1999, Orlando, FL, USA. pp. 332-337. IEEE Computer Society. ISBN 0-7803-5194-0
Visser, Michiel and Poel, M. and Nijholt, A. (1999) Classifying visemes for automatic lipreading. In: International Workshop Text, Speech and Dialogue (TSD'99), 13-17 September, 1999, Plzen, Czech republic. pp. 349-352. Lecture Notes in Computer Science 1692. Springer Verlag. ISSN 0302-9743
Vonk, J. and Grefen, P.W.P.J. and Boertjes, E.M. and Apers, P.M.G. (1999) Distributed Global Transaction Support for Workflow Management Applications. In: Distributed Global Transaction Support for Workflow Management Applications (DEXA 1999), 30 Aug - 3 Sep 1999, Florence, Italy. pp. 942-951. Lecture Notes in Computer Science 1677. Springer Verlag. ISSN 0302-9743
de Vries, A.P. and van Doorn, M.G.L.M. and Blanken, H.M. and Apers, P.M.G. (1999) The Mirror MMDBMS architecture. In: Proceedings of 25th International Conference on Very Large Data Bases (VLDB 1999), 7-10 Sep 1999, Edinburgh, Scotland, UK. pp. 758-761. Morgan Kaufmann Publishers Inc.. ISBN 1-55860-615-7
de Vries, A.P. and Hiemstra, D. (1999) The Mirror DBMS at TREC-8. In: Proceedings of the 8th Text Retrieval Conference (TREC), November 16-19, 1999, Gaithersburg, USA. pp. 725-734. NIST Special Publications 500-246. US National Institute for Standards and Technology.
de Vries, A.P. and Wilschut, A.N. (1999) On the integration of IR and Databases. In: Database issues in multimedia; short paper proceedings, 8th International IFIP 2.6 Working Conference on Database Semantics (DS-8), 4-8 Jan 1999, Rotorua, New Zealand. pp. 16-31. IFIP Conference Proceedings 138. Kluwer Academic Publishers. ISBN 0-7923-8405-9
Wensink, H. and Berenschot, J.W. and Jansen, H.V. and Elwenspoek, M.C. (1999) Mask materials in powderblasting. In: Micromechanics Europe Workshop, MME '99, 27-28 Sept 1999, Gif-Sur-Yvette, France. pp. 199-202. Université Paris-sud, Institut d'Électronique Fondamentale.
Wiegerink, R.J. and Zwijze, A.F. and Krijnen, G.J.M. and Lammerink, T.S.J. and Elwenspoek, M.C. (1999) Quasi monolithic silicon load cell for loads up to 1000 kg with insensitivity to non-homogeneous load distributions. In: Proceedings of the 1999 12th IEEE International Conference on Micro Electro Mechanical Systems, MEMS, 17-21 Jan 1999, Orlando, FL, USA. pp. 558-563. IEEE Computer Society. ISBN 0-7803-5194-0
Wieringa, R.J. and Astesiano, E. and Reggio, G. and Le Guennec, A. and Hussman, H. and van den Berg, K.G. and van den Broek, P.M. (1999) UML Semantics FAQ: Dynamic Behaviour and Concurrency. In: ECOOP'99 Workshop Reader, 14-18 June 1999, Lisbon, Portugal. pp. 49-52. Lecture Notes in Computer Science 1743. Springer-Verlag. ISBN 3-540-66954-X
van der Zwaag, B.J. and Corbett, D.R. and Jain, L.C. (1999) Minimising tremor in a joystick using fuzzy logic. In: Proceedings of the Third International Conference on Knowledge-Based Intelligent Information Engineering Systems (KES'99), 31 August - 1 September 1999, Adelaide, Australia. pp. 5-8. IEEE Press. ISBN 0-7803-5578-4

Inaugural/Exaugural lecture

van der Vegt, J.J.W. (1999) Wiskundige simulaties als stromingsleerlaboratorium. Twente University Press, Enschede. ISBN 9036514282

Internal Report

Etalle, S., ed. (1999) Benelog99 Eleventh Benelux Workshop on Logic Programming. Report Type UNSPECIFIED CS 99-09,
Albers, W. (1999)
From A to Z: Asymptotic expansions by van Zwet.
Memorandum 1485, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Albers, W. and Boon, P.C. and Kallenberg, W.C.M. (1999) Power gain by pre-testing? Memorandum 1488, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Albers, W. and Kallenberg, W.C.M. and Martini, F. (1999) Data driven rank tests for classes of tail alternatives. Memorandum 1504, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Alboul, L. and Kloosterman, G. and Traas, C.R. and van Damme, R.M.J. (1999)
Best data-dependent triangulations.
Memorandum 1487, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Asveld, P.R.J. (1999) An Infinite Sequence of Full AFL-Structures, Each of Which Possesses an Infinite Hierarchy. Technical Report TR-CTIT-99-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Baier, C. and Hermanns, H. (1999) Weak Bisimulation for Fully Probabilistic Processes. Technical Report TR-CTIT-99-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bauer, D. and Broersma, H.J. and Morgana, A. and Schmeichel, E. (1999)
Polynomial algorithms that prove an NP-hard hypothesis implies an NP-hard conclusion.
Memorandum 1499, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
van den Berg, K.G. and Akşit, M. and van den Broek, P.M. (1999) Use Cases in Object-Oriented Software Development. Technical Report AMIDST/WP2/N003/V02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van den Berg, K.G. and Akşit, M. and van den Broek, P.M. (1999) Modeling the Object-Oriented Software Process: OPEN and the Unified Process. Technical Report AMIDST/WP2/N002/V02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Berkvens, P.J.F. and Botchev, M.A. and Lioen, W.M. and Verwer, J.G. (1999) A Zooming Technique for Wind Transport of Air Pollution. Technical Report MAS-R9921, CWI (Centrum voor Wiskunde en Informatica), Amsterdam. ISSN 1386-3703
Bisschop, J.J. and Heerink, J.B.J. and Roelofs, G.H.M. (1999) Hierarchical index sets in algebraic modelling languages. Memorandum 1509, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Blankenstein, G. and van der Schaft, A.J. (1999)
Symmetry and reduction in implicit generalized Hamiltonian systems.
Memorandum 1489, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Broersma, H.J. (1999) On some intriguing problems in Hamiltonian graph theory -- A survey. Memorandum 1508, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Broersma, H.J. and Bruin, N. and Hurink, J.L. and Meester, L.E. and Op de Beek, S.S. and Westhuis, J.H. (1999)
Throughput of ADSL modems.
Memorandum 1482, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Broersma, H.J. and Faudree, R.J. and Huck, A. and Trommel, H. and Veldman, H.J. (1999)
Forbidden subgraphs that imply Hamiltonian-connectedness.
Memorandum 1481, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Broersma, H.J. and Kriesell, M. and Ryjá?ek, Z. (1999)
On factors of 4-connected claw-free graphs.
Memorandum 1491, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Broersma, H.J. and Xiong, L. (1999)
On minimum degree conditions for supereulerian graphs.
Memorandum 1507, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Brucker, P. and Hurink, J.L. (1999)
Solving a chemical batch scheduling problem by local search.
Memorandum 1506, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Brucker, P. and Hurink, J.L. and Rolfes, T. (1999)
Routing of railway carriages: A case study.
Memorandum 1498, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Diakov, N.K. and Bakker, J.L. and van Sinderen, M.J. and Batteram, H.J. (1999) TINA Components used for Service Subscription and Deployment. Technical Report TR-CTIT-99-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Diakov, N.K. and van Sinderen, M.J. and Koprinkov, G.T. (1999) MESH Release 2 implementation at CTIT. Technical Report TR-CTIT-99-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Donk, O.A. and van Dijk, E.M.A.G. and Nijholt, A. (1999) U-WISH, Specification Techniques for Multi-Modal Dialogues. Technical Report TR-CTIT-99-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Driesen, C.H. and Kuerten, J.G.M. (1999)
Singularities at rims in three-dimensional fluid flow.
Memorandum 1497, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Driessen, T.S.H. and Paulusma, D. (1999)
Two extensions of the Shapley value for cooperative games.
Memorandum 1494, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Dutta, D. and Murty, K. and Still, G.J. and Wilharms, J.J. (1999)
Computing the maximum turnable state of simple parts.
Memorandum 1492, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Evers, M.J. (1999) A Case Study on Adaptability Problems of the Separation of User Interface and Application Semantics. Technical Report TR-CTIT-99-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Faigle, U. and Kern, W. and Paulusma, D. (1999)
Note on the computational complexity of least core concepts for min-cost spanning tree games.
Memorandum 1483, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Fialowski, A. and Post, G.F. (1999)
Versal deformation of the Lie algebra $L_2$.
Memorandum 1490, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Garvels, M.J.J. and Kroese, D.P. (1999) On the entrance distribution in RESTART simulation. Technical Report TR-CTIT-99-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Gehrke, T. and Rensink, A. (1999) A Mobile Calculus with Data. Technical Report 99-04, Technical University of Braunschweig, Braunschweig, Germany. ISSN not assigned
Guareis de Farias, C.R. and Ferreira Pires, L. and van Sinderen, M.J. (1999) Conceptual frameworks for the development of CSCW Systems. Technical Report TR-CTIT-99-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hartel, P.H. (1999) LETOS -- A Lightweight Execution Tool for Operational Semantics. Technical Report DSSE-TR-97-1, Declarative Systems and Software Engineering Group, Univ. of Southampton. ISSN not assigned
den Hartog, J.I. and de Vink, E.P. (1999) Taking chances on MERGE and FAIL: Extending strong and probabilistic bisimulation. Technical Report IR-454, Vrije Universiteit, Amsterdam.
Hoede, C. (1999)
Evaluating attitudes from texts.
Memorandum 1500, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Hulstijn, J. and Hondorp, G.H.W. and Nijholt, A. and van den Berk, M. and van Hessen, A.J. (1999) Dialogues with a Talking face for Web-based Services and Transactions. Technical Report TR-CTIT-99-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hurink, J.L. and Knust, S. (1999)
A tabu search algorithm for scheduling a single robot in a job-shop environment.
Memorandum 1496, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Karagiannis, G. and Heijenk, G.J. (1999) Mobile IP: state of the art report. Technical Report TR-CTIT-99-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kern, W. and Paulusma, D. (1999)
The new FIFA rules are hard: Complexity aspects of sports competitions.
Memorandum 1505, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Koetsier, M.J. and Grefen, P.W.P.J. and Vonk, J. (1999) Contracts for Cross-Organizational Workflow Management. Technical Report TR-CTIT-99-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Lenin, R.B. and Parthasarathy, P.R. (1999)
A computational approach for a fluid queue driven by a truncated birth-death process.
Memorandum 1501, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Lenin, R.B. and Parthasarathy, P.R. and Scheinhardt, W.R.W. and van Doorn, E.A. (1999)
Families of birth-death processes with similar time-dependent behaviour.
Memorandum 1486, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Metselaar, A.A.R. and Traas, C.R. (1999)
The efficacy of estimation for influence coefficients in wavelet basis.
Memorandum 1502, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Pop, P.C. and Still, G.J. (1999) An easy way to obtain strong duality results in linear, linear semidefinite and linear semi-infinite programming. Memorandum 1493, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Post, G.F. (1999)
On the structure of transitively differential algebras.
Memorandum 1503, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Pras, A. and van Beijnum, B.J.F. and Sprenkels, R.A.M. (1999) Introduction to TMN. Technical Report TR-CTIT-99-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Reinders, I. (1999) Overview 1998 - PhD theses and Technical Reports. Technical Report TR-CTIT-99-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Wehrheim, H. (1999) Process Algebra with Action Dependencies. Technical Report TR-CTIT-99-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Roos, P.C. and van Beckum, F.P.H. and van Groesen, E.W.C. (1999) Cross-sectional river shapes: A variational discharge-resistance formulation. Memorandum 1495, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Salvador, M.R. and Heemstra de Groot, S.M. and Niemegeers, I.G.M.M. (1999) Protocol and networking design issues for local access WDM networks. Technical Report TR-CTIT-99-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Schooten, B.W. (1999) Building a framework for developing interaction models: Overview of current research in dialogue and interactive systems. Technical Report TR-CTIT-99-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Traas, C.R. (1999) "Optimal" triangulation of surfaces and bodies. Memorandum 1484, Department of Applied Mathematics, University of Twente, Enschede. ISSN 0169-2690
Tretmans, G.J. and Belinfante, A.F.E. (1999) Automatic Testing with Formal Methods. Technical Report TR-CTIT-99-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Vatcheva, I.N. and de Jong, H. (1999) Semi-Quantitative Comparative Analysis. Technical Report TR-CTIT-99-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Vonk, J. and Grefen, P.W.P.J. and Boertjes, E.M. and Apers, P.M.G. (1999) Distributed Global Transaction Support for Workflow Management Applications. Technical Report TR-CTIT-99-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wieringa, R.J. (1999) Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station. Technical Report TR-CTIT-99-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Wupper, H. and Mader, A.H. (1999) System Design as a Creative Mathematical Activity. Technical Report CSI-R9919, Institute for Computing and Information Science, University of Nijmegen, Nijmegen. ISSN 1571-5078
van der Zee, M. and Ait Yaiz, R. and Heijenk, G.J. (1999) Quality of Service over Specific Link Layers: state of the art report. Technical Report TR-CTIT-99-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van der Zee, M. and Heijenk, G.J. (1999) Quality of Service routing: state of the art report. Technical Report TR-CTIT-99-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Master's Thesis

van den Bos, A.G. (1999) Development of a patterning process for magnetic thin films. Master's thesis, University of Twente.

Patent

Leferink, F.B.J. (1999) Test chamber. Patent CA19992352133 (Application).

PhD Thesis

Bosch, H.G.P. (1999) Mixed-Media File Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-53 ISBN 90-365-1277-8
D'Argenio, P.R. (1999) Algebras and Automata for Timed and Stochastic Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 99-25
ter Doest, H.W.L. (1999) Towards Probabilistic Unification-Based Parsing. PhD thesis, University of Twente. ISBN 90-75296-04-5
Haast, M.A.M. (1999) Patterned magnetic thin films for ultra high density recording. PhD thesis, University of Twente. ISBN 90 365 1345 6
Lalbahadoersing, S. (1999) Overwrite and track edges in high-density tape recording - simulations and analysis. PhD thesis, University of Twente. ISBN 90 365 1374 x
Le Kim, P. (1999) CoCrTa thin films for magnetic recording media: structure, magnetic properties and time-dependence effect. PhD thesis, University of Twente. ISBN 90-365-1276-X
Oosterbroek, R.E. (1999) Modelling, design and realization of microfluidic components. PhD thesis, University of Twente. ISBN 90-36513464
Spelt, D. (1999) Verification Support For Object Database Design. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 99-24 ISBN 90-365135-53
Tjerkstra, R.W. (1999) Isotropic etching of silicon in fluoride containing solutions as a tool for micromachining. PhD thesis, University of Twente. ISBN 90-36513286
de Vries, A.P. (1999) Content And Multimedia Database Management Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 99-26 ISBN 90-365138-8X

This list was generated on Mon May 29 08:35:44 CEST 2017.