EEMCS

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

EEMCS EPrints Service


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

Number of items: 227.

Article

Abelmann, L. and Lodder, J.C. (1997) Oblique evaporation and surface diffusion. Thin solid films, 305. pp. 1-21. ISSN 0040-6090 *** ISI Impact 1,761 ***
Akşit, M. and Tekinerdogan, B. (1997) Component Composability Issues in Object-Oriented Programming. XOOTIC magazine, 5 (2). pp. 15-20.
Alberda, M.I. and Hartel, P.H. and de Jong, E.K. (1997) Using Formal Methods to Cultivate Trust in Smart Card Operating Systems. Future Generation Computer Systems, 13 (1). pp. 39-54. ISSN 0167-739X *** ISI Impact 2,430 ***
Albers, W. and Arts, G.R.J. and Kallenberg, W.C.M. (1997) Accurate test limits under prescribed consumer risk. Statistics and probability letters, 34 (2). pp. 141-149. ISSN 0167-7152 *** ISI Impact 0,506 ***
Albers, W. and Kallenberg, W.C.M. and Otten, G.D. (1997) Robust test limits. Mathematical methods of statistics, 6 (4). pp. 416-439. ISSN 1066-5307
Axelsson, O. and Lu, Hao (1997) A survey of some estimates of eigenvalues and condition numbers for certain preconditioned matrices. Journal of computational and applied mathematics, 80 (2). pp. 241-264. ISSN 0377-0427 *** ISI Impact 1,328 ***
Bentley, R. and Appelt, W. and Busbach, U. and Hinrichs, E. and Kerr, D. and Sikkel, K. and Trevor, J. and Woetzel, G. (1997) Basic support for cooperative work on the World Wide Web. International journal of human-computer studies, 46 (6). pp. 827-846. ISSN 1071-5819 *** ISI Impact 1,476 ***
van den Berg, K.G. (1997) Bibliotheekgebruik in het objectgeoriënteerd programmeeronderwijs [The Use of Class Libraries in Object Oriented Programming Courses]. Tijdschrift voor informatica-onderwijs (TINFON), 6 (2). pp. 83-84. ISSN 0927-8982
Bijker, M.D. and Abelmann, L. and Schrauwen, C.P.G. and Lodder, J.C. (1997) Opgedampte video tape op laboratorium schaal van Goliath tot David: Miniaturisering van een roll-coater. Nevac blad, 35. pp. 69-81. ISSN 0169-9431
Bijker, M.D. and Visser, E.M. and Lodder, J.C. and Popma, T.J.A. (1997) Oblique sputtered Co and CO80Ni20 thin films Journal of the Magnetics Society of Japan, 21. pp. 169-172. ISSN 0285-0192
den Boer, J.A. and Hoenderop, R.K.K.M. and Smink, J. and Dornseiffen, G. and Koch, P.W.A.A. and Slump, C.H. and Volker, E.D.P. and den Vos, R.A.I. and Mulder, J.H. (1997) Pharmacokinetic Analysis of Gd-DTPA Enhancement in Dynamic Three-Dimensional MRI of Breast Lesions. Journal of magnetic resonance imaging, 7 (4). pp. 702-715. ISSN 1053-1807 *** ISI Impact 3,250 ***
Botchev, M.A. and Krukier, L.A. (1997) On an iterative solution of strongly nonsymmetric systems of linear algebraic equations. Computational Mathematics and Mathematical Physics, 37 (11). pp. 1241-1251. ISSN 0965-5425 *** ISI Impact 0,789 ***
Brucker, P. and Hurink, J.L. and Jurisch, B. and Wöstmann, B. (1997) A Branch and Bound Method for the Open Shop Problem. Discrete Applied Mathematics, 76 (1-3). pp. 43-59. ISSN 0166-218X *** ISI Impact 0,722 ***
Brucker, P. and Hurink, J.L. and Werner, F. (1997) Improving local search heuristics for some scheduling problems. Part II. Discrete Applied Mathematics, 72 (1-2). pp. 47-69. ISSN 0166-218X *** ISI Impact 0,722 ***
Coolen-Schrijner, P. and van Doorn, E.A. (1997) Weak convergence of conditioned birth-death processes in discrete time. Journal of applied probability, 34 (1). pp. 46-53. ISSN 0021-9002 *** ISI Impact 0,665 ***
D'Argenio, P.R. and Verhoef, C. (1997) A general conservative extension theorem in process algebras with inequalities. Theoretical computer science, 177 (2). pp. 351-380. ISSN 0304-3975 *** ISI Impact 0,643 ***
van Damme, R.M.J. (1997) Bivariate Hermite subdivision. Computer aided geometric design, 14 (9). pp. 847-875. ISSN 0167-8396 *** ISI Impact 1,092 ***
De Nivelle, M.J.M.E. and Bruijn, M.P. and De Vries, R. and Wijnbergen, J.J. 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. (1997) Low noise high-Tc superconducting bolometers on silicon nitride membranes for far-infrared detection. Journal of applied physics, 82 (10). pp. 4719-4726. ISSN 0021-8979 *** ISI Impact 2,101 ***
van Dijk, J.A.G.M. (1997) The Reality of Virtual Community. Trends in Communication, 1 (1). pp. 39-63.
Ducso, C. and Vazsonyi, E. and Adam, M. and Szabo, I. and Barsony, I. and Gardeniers, J.G.E. and van den Berg, A. (1997) Porous silicon bulk micromachining for thermally isolated membrane formation. Sensors and actuators A: Physical, 60 (1-3 pt 1). pp. 235-239. ISSN 0924-4247 *** ISI Impact 2,201 ***
Durkam, C. and Shvets, I.V. and Lodder, J.C. (1997) Observation of magnetic domains using a reflection mode scanning near-field optical microscope. Applied physics letters, 70. pp. 1323-1325. ISSN 0003-6951 *** ISI Impact 3,142 ***
Gilding, B.H. and Li, S. (1997) The parameter dependence of the coefficient in a model for constant-pressure steam injection in soil. Mathematical models and methods in applied sciences, 7 (5). pp. 593-612. ISSN 0218-2025 *** ISI Impact 3,084 ***
Gilding, B.H. and Natalini, R. and Tesei, A. (1997) How parabolic free boundaries approximate hyperbolic fronts. Memoirs on differential equations and mathematical physics, 12. pp. 62-67. ISSN 1512-0015
Grefen, P.W.P.J. and Widom, J. (1997) Protocols for Integrity Constraint Checking in Federated Databases. Distributed and parallel databases, 5 (4). pp. 327-355. ISSN 0926-8782 *** ISI Impact 0,800 ***
Gui, C. and Albers, H. and Gardeniers, J.G.E. and Elwenspoek, M.C. and Lambeck, P.V. (1997) Fusion bonding of rough surfaces with polishing technique for silicon micromachining. Microsystem technologies, 3 (3). pp. 122-128. ISSN 0946-7076 *** ISI Impact 0,974 ***
de Haan, S. and Lodder, J.C. (1997) Magnetisation reversal mechanism in Co-Cr media for perpendicular magnetic recording. Journal of magnetism and magnetic materials, 168. pp. 321-335. ISSN 0304-8853 *** ISI Impact 2,357 ***
Haast, M.A.M. and Heskamp, I.R. and Abelmann, L. and Veldhuis, G.J. and Lodder, J.C. and Popma, T.J.A. (1997) Submicron patterned Co50Ni50/Pt multilayers for ultra high density magnetic recording Proc CMO Conf 1997, University of Twente. pp. 51-53.
Hartel, P.H. (1997) Special issue: Smart cards. Future Generation Computer Systems, 13 (1). pp. 1-2. ISSN 0167-739X *** ISI Impact 2,430 ***
van der Heijden, F. and Apperloo, W. and Spreeuwers, L.J. (1997) Numerical optimisation in spot detector design. Pattern recognition letters, 18 (11-13). pp. 1091-1097. ISSN 0167-8655 *** ISI Impact 1,586 ***
Helme, A. and Stabell-Kulø, T. (1997) Security Functions for a File Repository. Operating Systems Review, 31 (2). pp. 3-8. ISSN 0163-5980
Hoekstra, H.J.W.M. and Noordman, O. and Krijnen, G.J.M. and Varshney, R.K. and Henselmans, E. (1997) Beam-propagation method for second-harmonic generation in waveguides with birefringent materials. Journal of the Optical Society of America B (Optical physics), 14 (7). pp. 1823-1830. ISSN 0740-3224 *** ISI Impact 1,731 ***
Imai, S. and Burger, G.J. and Lammerink, T.S.J. and Fluitman, J.H.J. (1997) Output characteristics of a thin-film piezoelectric AE sensor for magnetic head-disk interaction. JSME International Journal, Series C, 40 (1). pp. 33-41. ISSN 0914-8825
Inglot, T. and Kallenberg, W.C.M. and Ledwina, T. (1997) Data driven smooth tests for composite hypotheses. Annals of statistics, 25 (3). pp. 1222-1250. ISSN 0090-5364 *** ISI Impact 2,780 ***
Jansen, H.V. and de Boer, M.J. and Wiegerink, R.J. and Tas, N.R. and Smulders, E.J.T. and Neagu, C.R. and Elwenspoek, M.C. (1997) RIE lag in high aspect ratio trench etching of silicon. Microelectronic engineering, 35 (1-4). pp. 45-50. ISSN 0167-9317 *** ISI Impact 1,277 ***
Kallenberg, W.C.M. and Ledwina, T. (1997) Data-driven smooth tests when the hypothesis Is composite. Journal of the American Statistical Association, 92 (439). pp. 1094-1104. ISSN 0162-1459 *** ISI Impact 1,725 ***
Kallenberg, W.C.M. and Ledwina, T. (1997) Data driven smooth tests for composite hypotheses: comparison of powers. Journal of Statistical Computation and Simulation, 59 (2). pp. 101-121. ISSN 0094-9655 *** ISI Impact 0,749 ***
Kallenberg, W.C.M. and Ledwina, T. and Rafajlowicz, E. (1997) Testing bivariate independence and normality. Sankhya, 59 (1). pp. 42-59. ISSN 0581-572X
Kasparian, J. and Elwenspoek, M.C. and Allongue, P. (1997) Digital computation and in situ STM approach of silicon anisotropic etching. Surface science, 388 (1-3). pp. 50-62. ISSN 0039-6028 *** ISI Impact 1,931 ***
Kemner, K.M. and Harris, V.G. and Elam, W.T. and Feng, Y.C. and Laughlin, D.E. and Woicik, J.C. and Lodder, J.C. (1997) Preferential site distribution of Pt and Ta in CoCr-based films: An extended x-ray absorption fine structure study. Journal of applied physics, 82. pp. 2912-2917. ISSN 0021-8979 *** ISI Impact 2,101 ***
Kemner, K.M. and Idzerda, Y.U. and Harris, V.G. and Chakarian, V. and Elam, W.T. and Kao, C.C. and Johnson, E. and Feng, Y.C. and Laughlin, D.E. and Chen, C.T. and Lee, K.B. and Lodder, J.C. (1997) Direct observation of Cr magnetic order in CoCrTa and CoCrPt thin films. Journal of applied physics, 81. pp. 1002-1004. ISSN 0021-8979 *** ISI Impact 2,101 ***
Kijima, M. and Nair, M.G. and Pollett, P.K. and van Doorn, E.A. (1997) Limiting conditional distributions for birth-death processes. Advances in applied probability, 29 (1). pp. 185-204. ISSN 0001-8678 *** ISI Impact 0,654 ***
Kuper, J. (1997) On the Jacopini Technique. Information and Computation, 138 (2). pp. 101-123. ISSN 0890-5401 *** ISI Impact 0,873 ***
Lalbahadoersing, S. and Groenland, J.P.J. and Luitjens, S.B. and Lodder, J.C. (1997) Comparison of recording properties of ME tape and thin MP tape with respect to overwrite behavior. IEEE Transactions on Magnetics, 33. pp. 3061-3063. ISSN 0018-9464 *** ISI Impact 1,277 ***
Legtenberg, R. and Berenschot, J.W. and Elwenspoek, M.C. and Fluitman, J.H.J. (1997) A fabrication process for electrostatic microactuators with integrated gear linkages. Journal of microelectromechanical systems, 6 (3). pp. 234-241. ISSN 1057-7157 *** ISI Impact 1,939 ***
Legtenberg, R. and Gilbert, J. and Senturia, S.D. and Elwenspoek, M.C. (1997) Electrostatic curved electrode actuators. Journal of microelectromechanical systems, 6 (3). pp. 257-265. ISSN 1057-7157 *** ISI Impact 1,939 ***
Lenzini, G. and Marianelli, S. (1997) Algorithms For Phylogeny Reconstruction In a New Mathematical Model. Calcolo - A Quarterly on Numerical Analysis and Theory of Computation, 1-4 (34). pp. 1-24. ISSN 0008-0624 *** ISI Impact 0,816 ***
Lodder, J.C. and de Haan, S. (1997) Magnetic microstructures in Co-Cr sputtered thin films for perpendicular recording. Journal of the Magnetics Society of Japan, 21. pp. 313-316. ISSN 0285-0192
Lu, Hao (1997) Galerkin and weighted Galerkin methods for a forward-backward heat equation. Numerische Mathematik, 75 (3). pp. 339-356. ISSN 0029-599X *** ISI Impact 1,813 ***
Lu, Hao and Axelsson, O. (1997) Conditioning analysis of block incomplete factorization and its application to elliptic equations. Numerische Mathematik, 78 (2). pp. 189-209. ISSN 0029-599X *** ISI Impact 1,813 ***
Monsma, D.J. and Vlutters, R. and Shimatsu, T. and Keim, E.G. and Mollema, R.H. and Lodder, J.C. (1997) Development of the spin valve transistor. IEEE Transactions on Magnetics, 33. pp. 3495-3499. ISSN 0018-9464 *** ISI Impact 1,277 ***
Neagu, C.R. and Gardeniers, J.G.E. and Elwenspoek, M.C. and Kelly, J.J. (1997) An electrochemical active valve. Electrochimica acta, 42 (20-22). pp. 3367-3373. ISSN 0013-4686 *** ISI Impact 4,803 ***
Neagu, C.R. and Jansen, H.V. and Smith, A. and Gardeniers, J.G.E. and Elwenspoek, M.C. (1997) Characterization of a planar microcoil for implantable microsystems. Sensors and actuators A: Physical, 62 (1-3 pt 3). pp. 599-611. ISSN 0924-4247 *** ISI Impact 2,201 ***
Nymeyer, A. and Katoen, J.P. (1997) Code generation based on formal BURS theory and heuristic search. Acta informatica, 34 (8). pp. 597-635. ISSN 0001-5903 *** ISI Impact 0,722 ***
Pollnau, M. (1997) The route toward a diode-pumped 1-W erbium 3-µm fiber laser. IEEE journal of quantum electronics, 33 (11). pp. 1982-1990. ISSN 0018-9197 *** ISI Impact 1,843 ***
Pollnau, M. and Ghisler, C. and Lüthy, W. and Weber, H.P. and Schneider, J. and Unrau, U.B. (1997) Three-transition cascade erbium laser at 1.7, 2.7, and 1.6 µm. Optics letters, 22 (9). pp. 612-614. ISSN 0146-9592 *** ISI Impact 3,040 ***
Pollnau, M. and Spring, R. and Wittwer, S. and Lüthy, W. and Weber, H.P. (1997) Investigations on the slope efficiency of a pulsed 2.8-µm Er3+:LiYF4 laser Journal of the Optical Society of America B (Optical physics), 14 (4). pp. 974-978. ISSN 0740-3224 *** ISI Impact 1,731 ***
Quartel, D.A.C. and Ferreira Pires, L. and van Sinderen, M.J. and Franken, H.M. and Vissers, C.A. (1997) On the role of basic design concepts in behaviour structuring. Computer Networks and ISDN Systems, 29 (4). pp. 413-436. ISSN 0169-7552
van Rijn, C.J.M. and Van der Wekken, M.C. and Nijdam, W. and Elwenspoek, M.C. (1997) Deflection and maximum load of microfiltration membrane sieves made with silicon micromachining. Journal of microelectromechanical systems, 6 (1). pp. 48-54. ISSN 1057-7157 *** ISI Impact 1,939 ***
Sánchez, S. and Gui, C. and Elwenspoek, M.C. (1997) Spontaneous direct bonding of thick silicon nitride. Journal of micromechanics and microengineering, 7 (3). pp. 111-113. ISSN 0960-1317 *** ISI Impact 1,768 ***
Schuurhuis, J.R. and Haast, M.A.M. and Abelmann, L. and Veldhuis, G.J. and Lodder, J.C. (1997) Nanofabricage van een discreet medium voor magnetische recording met zeer hoge bitdichtheid. Nevac blad, 35. pp. 55-63. ISSN 0169-9431
Shimatsu, T. and Keim, E.G. and Bolhuis, T. and Lodder, J.C. (1997) Activation volume of FePt-TaN nanocrystalline thin films with high coercivity. Journal of the Magnetics Society of Japan, 21. pp. 17-30. ISSN 0285-0192
Spiering, V.L. and Lammerink, T.S.J. and Burger, G.J. and Te Riet, J.-K. and van den Berg, A. (1997) Technologies and applications for micro fluid systems [Sistemi di microanalisi per fluidi]. Oleodinamica-Pneumatica, 38 (11). pp. 92-102. ISSN 1122-5017
Tjerkstra, R.W. and de Boer, M.J. and Berenschot, J.W. and Gardeniers, J.G.E. and van den Berg, A. and Elwenspoek, M.C. (1997) Etching technology for chromatography microchannels. Electrochimica acta, 42 (20-22). pp. 3399-3406. ISSN 0013-4686 *** ISI Impact 4,803 ***
Van Toor, M.W. and Lammerink, T.S.J. and Gardeniers, J.G.E. and Elwenspoek, M.C. and Monsma, D.J. (1997) A novel micromechanical flow controller. Journal of micromechanics and microengineering, 7 (3). pp. 165-169. ISSN 0960-1317 *** ISI Impact 1,768 ***
Vermeer, W.W.M. and Apers, P.M.G. (1997) Modifying queries on complex objects in database federations. International journal of cooperative information systems, 6 (3 and 4). pp. 219-240. ISSN 0218-8430 *** ISI Impact 0,526 ***
Wright, C.D. and Hill, E.W. and Vlutters, R. (1997) The equivalence of perpendicular magnetic recording and magnetic force microscopy. Journal of the Magnetics Society of Japan, 21. pp. 237-240. ISSN 0285-0192

Book

Apers, P.M.G. and Blanken, H.M. and Houtsma, M.A.W., ed. (1997) Multimedia Databases in Perspective. Springer Verlag, New York. ISBN 3-540-76109-8
Berwick, R.C. and Nijholt, A., ed. (1997) Parsing Technologies 1997. Proceedings Fifth ACL SIGPARSE International Workshop. Massachusetts Institute of Technology, Cambridge, MA.
Glaser, H. and Hartel, P.H. and Kuchen, H., ed. (1997) 9th Programming Languages: Implementations, Logics and Programs (PLILP). Springer-Verlag, Berlin. ISBN 3-540-63398-7
de Jong, C. and Michiels, E.F. and Nijhof, J.A.M. and van der Vlist, P., ed. (1997) Telematica. Samsom BedrijfsInformatie, Alphen aan de Rijn. ISBN 90-14-04439-9
Hartel, P.H. and Muller, H.L. (1997) Functional C. Addison Wesley Longman, Harlow, UK. ISBN 0-201-41950-5
Mader, A.H. (1997) Verification of Modal Properties Using Boolean Equation Systems. Edition versal 8, Bertz Verlag, Berlin. ISBN 3-929470-58-6
Sikkel, K. (1997) Parsing Schemata - a framework for specification and analysis of parsing algorithms. Texts in Theoretical Computer Science. Springer Verlag, Berlin. ISBN 3-540-61650-0

Review

Asveld, P.R.J. (1997) Review of "R.J.H. van Glabbeek, Comparative Concurrency Semantics and Refinement Actions (1996), CWI, Amsterdam". Mededelingen van het Wiskundig Genootschap, 40. pp. 313-314. ISSN 0167-2495
Asveld, P.R.J. (1997) Review of "S. Kahrs, Confluence of curried term-rewriting systems, J. Symbolic Comput. 19 (1995) 601-623". Mathematical reviews, MR1370625 / 97a:68090. pp. 568-568. ISSN 0025-5629
Asveld, P.R.J. (1997) Review of "S. Jesi, G. Pighizzini & N. Sabadini, Probabilistic asynchronous automata. Math. Systems Theory 29 (1996) 5-31". Mathematical reviews, MR1360194 / 97a:68113. pp. 572-572. ISSN 0025-5629
Asveld, P.R.J. (1997) Review of "I.I. Macarie, Multihead two-way probabilistic finite automata. Theory Comput. Syst. 30 (1997) 91-109". Mathematical reviews, MR1424084 / 97k:68119. pp. 7116-7116. ISSN 0025-5629
Hartel, P.H. (1997) Review of "G. Michaelson, Elementary Standard ML". The Knowledge Engineering Review, 12 (1). pp. 99-100. ISSN 0269-8889

Book Section

Akşit, M. and Tekinerdogan, B. and Bergmans, L.M.J. (1997) Achieving Adaptability through Separation and Composition of Concerns. In: Special Issues in Object-Oriented Programming. dpunkt verlag, pp. 12-23. ISBN 3920993675
Apers, P.M.G. and Blanken, H.M. and Houtsma, M.A.W. (1997) Preface. In: Multimedia Databases in Perspective. Springer Verlag, New York. ISBN 3-540-76109-8
Asveld, P.R.J. (1997) Controlled Fuzzy Parallel Rewriting. In: New Trends in Formal Languages: Control, Cooperation, and Combinatorics. Lecture Notes in Computer Science 1218. Springer-Verlag, Berlin, pp. 49-70. ISBN 3 540 62844 4
Burkow, T. and Mullender, S.J. (1997) Operating System Support. In: Multimedia Databases in Perspective. Springer-Verlag, Berlin, pp. 249-287. ISBN 3-540-76109-8
Frints, J.P.G. and Michiels, E.F. (1997) Netwerkbeheer en beveiliging. In: Telematica. Samsom BedrijfsInformatie, Alphen aan de Rijn, pp. 383-403. ISBN 90-14-04439-9
Kallenberg, W.C.M. (1997) Anderson-Darling Statistic. In: Encyclopaedia of Mathematics, supplement I. Kluwer Academic Publishers, Dordrecht, pp. 52-52. ISBN 1-4020-0609-8
Mullender, S.J. (1997) Overview of Distributed Operating Systems. In: The Computer Science and Engineering Handbook. CRC Press, Boca Raton, Florida, pp. 1825-1850. ISBN 0-8493-2909-4
Nijholt, A. (1997) Foreword by "Parsing Schemata". In: Parsing Schemata - a framework for specification and analysis of parsing algorithms. Texts in Theoretical Computer Science - EATCS Series. Springer Verlag, Berlin, v-ix. ISBN 978-3-540-61650-4
Nijholt, A. (1997) De Delftse Methode: Een kritische terugblik. In: 25 over 25. Reflecties van leden van de Hogeschoolraad/Universiteitsraad aan de TH/TU Delft, 1972-1997. Delft University Press, Delft, pp. 63-69. ISBN 90-407-1410-x
Rensink, A. (1997) A Typed Functional Calculus With State. In: Special Issues in Object-Oriented Programming. dpunkt.verlag, Heidelberg, Germany, pp. 558-561. ISBN 3-920993-67-5
van Sinderen, M.J. and Ferreira Pires, L. (1997) Netwerkarchitecturen, architectuurconcepten en hun toepassing. In: Handboek Telematica. Samsom BedrijfsInformatie, Alphen aan de Rijn, II 4005:1-15. ISBN 90-14-04439-9
Vervoort, W.A. (1997) A CIM Designed According to Ward and Mellor. In: Computer-Assisted Management and Control of Manufacturing Systems. Springer-Verlag, Berlin, pp. 255-277. ISBN 3-540-76110-1

Conference or Workshop Paper

Akşit, M. and Matsuoka, S., ed. (1997) Proceedings of the 11th European Conference on Object-Oriented Programming. In: ECOOP'97, 9 -13 June 1997, Jyväskylä, Finland. pp. 1-531. Lecture Notes in Computer Science 1241. Springer Verlag. ISSN 0302-9743 ISBN 978-3-54063-089-0
Akşit, M. and Bergmans, L.M.J. (1997) Composing Multiple-Client--Multiple-Server Synchronizations. (Invited) In: Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), 1-3 April 1997, Geneva, Switzerland. pp. 269-282. IEEE Computer Society. ISBN 0818680962
Akşit, M. and Marcelloni, F. and Tekinerdogan, B. and van den Berg, K.G. and van den Broek, P.M. (1997) Active Software Artifacts. In: ECOOP'97 Workshop Reader, June 1997, Jyväskylä, Finland. pp. 307-310. Lecture Notes in Computer Science 1357. Springer. ISSN 0302-9743 ISBN 3540640398
Akşit, M. and Tekinerdogan, B. (1997) Reusing and Composing Components: Problems and Solutions. In: Proceedings of the Thrid International Conference on Smalltalk and Java (STJA'97), September 1997, Erfurt, Germany. Technische Universität Ilmenau.
Albers, W. and Arts, G.R.J. and Kallenberg, W.C.M. (1997) Efficient inspection in semiconductor industry. In: Proceedings of the 51th session of the International Statistical Institute, 18-26 Aug 1997, Istanbul. pp. 297-298. Bulletin of the International Statistical Institute LVII (book 1). International Statistical Institute. ISSN 0373-0441
Albers, W. and Arts, G.R.J. and Kallenberg, W.C.M. (1997) Test regions using correlated measurements. In: Proceedings of the Fourth International Applied Statistics in Industry Conference, June 3-5, 1997, Kansas City. pp. 13-23. International Statistical Application Institute. ISBN not assigned
van den Berg, K.G. (1997) Modeling Software Processes and Artifacts. In: ECOOP'97 Workshop Reader, June 1997, Jyväskylä, Finland. pp. 285-288. Lecture Notes in Computer Science 1357. Springer. ISSN 0302-9743 ISBN 3540640398
Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1997) Developments in Testing Transition Systems. In: Int. Workshop on Testing of Communicating Systems X. pp. 143-166. IFIP International Federation for Information Processing. Chapman & Hall. ISSN 1571-5736 ISBN 0 412 81730 6
van den Broek, P.M. (1997) Fuzzy Reasoning with Continuous Piecewise Linear Membership Functions. In: Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS), 21-24 September 1997, Syracuse, NY, USA. pp. 371-376. North American Fuzzy Information Processing Society. ISBN 0780340787
Ceri, S. and Grefen, P.W.P.J. and Sánchez, G. (1997) WIDE - A Distributed Architecture for Workflow Management. In: Proceedings Workshop on Research Issues in Data Engineering (RIDE), 7-8 Apr 1997, Birmingham, UK. pp. 76-79. IEEE Computer Society. ISBN 0-8186-7849-6
D'Argenio, P.R. (1997) Regular Processes and Timed Automata. In: Proceedings of the 4th AMAST Workshop on Real-TimeSystems, Concurrent, and Distributed Software, ARTS'97, Mallorca, Spain. pp. 141-155. Lecture Notes in Computer Science 1231. Springer Verlag. ISBN 3-540-63010-4
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1997) A Stochastic Automata Model and its Algebraic Approach. In: 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97), 26-27 Jun 1997, Enschede, the Netherlands. pp. 1-16. Technical Report TR-CTIT-97-14. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625
D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The bounded retransmission protocol must be on time! In: Proceedings of the Third Workshop on Tools and Algorithms for the Construction and Analysis of Systems. pp. 416-431. Lecture Notes in Computer Science 1217. Springer-Verlag.
Dumitrescu, M. and Cobianu, C. and Lungu, D. and Dascalu, D.C. and Pascu, A. and van den Berg, A. and Gardeniers, J.G.E. and Kolev, S. and Ducso, C. and Barsony, I. (1997) Identification of temperature profile and heat transfer on a dielectric membrane for gas sensors by COSMOS program simulation. In: Proceedings of the 1997 International Semiconductor Conference, CAS. Part 1 (of 2),, 7-11 October 1997, Sinaia, Romania. pp. 145-148. IEEE Computer Society. ISBN 0-7803-3804-9
van Eijk, P. and Belinfante, A.F.E. and Eertink, E.H. and Alblas, H. (1997) The Term Processor Generator Kimwitu. In: Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, April 2-4, 1997, Enschede, The Netherlands. pp. 96-111. Lecture Notes in Computer Science 1217. Springer Verlag. ISBN 3-540-62790-1
Etalle, S. and Gabbrielli, M. and Marchiori, E. (1997) A transformation system for CLP with dynamic scheduling and CCP. In: Partial evaluation and semantics-based program manipulation (PEPM), Amsterdam, The Netherlands. pp. 137-150. ACM Press. ISBN 0-89791-917-3
Franken, H.M. and de Weger, M.K. and Quartel, D.A.C. and Ferreira Pires, L. (1997) On Engineering Support for Business Process Modelling and Redesign. In: Proceedings of the IFIP TC5 WG5.7 International Workshop on Modelling Techniques and Business Process Re-engineering and Benchmarking, 16-19 Apr 1996, Bordeaux, France. pp. 103-120. Chapman and Hall. ISBN 0-412-78910-8
Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. In: Expressiveness in Concurrency. pp. 141-160. Electronic Notes in Theoretical Computer Science 7. Elsevier. ISSN 1571-0661
Grefen, P.W.P.J. and Vonk, J. and Boertjes, E.M. and Apers, P.M.G. (1997) Two-Layer Transaction Management for Workflow Management Applications. In: Proceedings of the 8th International Conference on Database and Expert Systems Applications (DEXA 1997), 1-5 Sep 1997, Toulouse, France. pp. 430-439. Lecture Notes in Computer Science 1308. Springer Verlag. ISSN 0302-9743 ISBN 3-540-63478-9
Gui, C. and Jansen, H.V. and de Boer, M.J. and Berenschot, J.W. and Gardeniers, J.G.E. and Elwenspoek, M.C. (1997) High aspect ratio single crystalline silicon microstructures fabricated with multilayer substrates. In: Proceedings of the 1997 International Conference on Solid-State Sensors and Actuators. Part 1 (of 2), 16-19 June 1997, Chicago, IL, USA. pp. 633-636. IEEE Computer Society. ISBN 0-7803-3829-4
Haast, M.A.M. and Schuurhuis, J.R. and Abelmann, L. and Lodder, J.C. and Popma, T.J.A. (1997) Magnetic properties of 60 nm dots prepared with laser interference lithography. In: Digest ECOSS-17, 16-19 Sep 1997, Enschede.
Havinga, P.J.M. and Smit, G.J.M. (1997) Minimizing energy consumption for handheld computers in Moby Dick. (Invited) In: EUROMICRO 97: 'New Frontiers of Information Technology' : proceedings of the 23rd Euromicro Conference, 01-04 Sep 1997, Budapest, Hungary. pp. 196-201. IEEE Computer Society. ISBN 0-8186-8215-9
Havinga, P.J.M. and Smit, G.J.M. (1997) Minimizing energy consumption for wireless computers in Moby Dick. In: IEEE International Conference on Personal Wireless Communication, ICPWC 1997, 17-19 Dec 1997, Mumbai, India. pp. 306-311. IEEE Computer Society. ISBN 0-7803-4298-4
Heerink, A.W. and Tretmans, G.J. (1997) Refusal Testing for Classes of Transition Systems with Inputs and Outputs. In: Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII). pp. 23-38. IFIP Conference Proceedings; 107. Chapman & Hall. ISBN 0-412-82060-9
Hiemstra, D. (1997) Deriving a Bilingual Lexicon for Cross-Language Information Retrieval. In: Proceedings of the Fourth Groningen International Information Technology Conference for Students, Dec 1997, Groningen. pp. 21-26. Groningen University.
Hiemstra, D. and de Jong, F.M.G. and Kraaij, W. (1997) The Twenty-One Demonstrator. In: Proceedings of the RIAO '97 Conference on Computer-Assisted Information Searching on Internet, 25-27 Jun 1997, Montreal, Quebec, Canada. pp. 645-647. McGill University.
Hiemstra, D. and de Jong, F.M.G. and Kraaij, W. (1997) A Domain Specific Lexicon Acquisition Tool for Cross-Language Information Retrieval. In: Proceedings of the RIAO Conference on Computer-Assisted Information Searching on Internet, 25-27 Jun 1997, Montreal, Quebec, Canada. pp. 255-270. McGill University.
Hilderink, G.H. and Broenink, J.F. and Vervoort, W.A. and Bakkers, A.W.P. (1997) Communicating Java Threads. In: 20th World Occam and Transputer User Group Technical Meeting, 13-16 Apr 1997, Enschede, The Netherlands. pp. 48-76. IOS Press. ISBN 90 5199 336 6
Hulstijn, J. and Steetskamp, R. and ter Doest, H.W.L. and van de Burgt, S.P. and Nijholt, A. (1997) Dialogues in a Theatre Information and Booking System. In: Proceedings 5th International Symposium on Social Communication, Santiago de Cuba. pp. 87-99. Centro de Lingüística Aplicada.
Jansen, H.V. and de Boer, M.J. and Wensink, H. and Kloeck, B. and Elwenspoek, M.C. (1997) The black silicon method. VIII. A study of the performance of etching silicon using SF6O2-based chemistry with cryogenical wafer cooling and a high density ICP source In: Micro- and Nano-Engineering 1997, 15 Sept 1997, Athens, Greece. pp. 1-4. Elsevier.
Kallenberg, W.C.M. and Ledwina, T. (1997) Data driven rank tests for independence. In: Proceedings of the 51th session of the International Statistical Institute, 18-26 Aug 1997, Istanbul. pp. 511-512. Bulletin of the International Statistical Institute LVII (book 2). International Statistical Institute. ISSN 0373-0441
Katoen, J.P. and Nymeyer, A. (1997) The systematic development of a pattern-matching algorithm using term rewrite systems. In: Proceedings of the Computing: the Australasian Theory Symposium (CATS'97), Sydney, Australia. pp. 59-72. Australian Computer Science Communication 19(2).
Kirilyuk, A. and Rasing, T. and Haast, M.A.M. and Lodder, J.C. (1997) Magnetic interface roughness probed by second harmonic generation. In: Conf Digest book, ICMFS'97, Australia. pp. 164-165.
Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. In: Concurrency Theory (CONCUR'97), July 1-4, 1997, Warsaw, Poland. pp. 317-332. Lecture Notes in Computer Science 1243. Springer Verlag. ISBN 3-540-63141-0
Lenzini, G. (1997) Sequence Comparison: Close and Open problems. In: Workshop ``La matematizzazione della Biologia: storia e problematiche attuali'', Arcidosso, Italy. pp. 161-170. QuattroVenti. ISBN 88-392-0506-3
Lie, D.H. and Hulstijn, J. and ter Doest, H.W.L. and Nijholt, A. (1997) Language analysis in Schisma. In: Proceedings Fifth International Workshop on Parsing Technologies (IWPT '97), 17-20 Sept, Boston, MA. pp. 243-244. Massachusetts Institute of Technology.
Lijding, M.E.M. and Navarro Moldes, L. and Righetti, C. (1997) Object Distribution Networks for World-wide Document Circulation. In: 3rd CYTED-RITOS Int. Workshop on Groupware - (CRIWG), San Lorenzo de El Escorial, Madrid, Spain. pp. 101-110. Servicio de Publicaciones ETSI de Telecomunicacion.
Lijding, M.E.M. and Navarro Moldes, L. and Righetti, C. (1997) A New Large Scale Distributed System: Object Distribution. In: 113th International Conference on Computer Communications (ICCC 1997), 19-21 Nov 1997, Cannes, France. Institut National de Recherche en Informatique et en Automatique.
Linnenbank, G.R.J. and Havinga, P.J.M. (1997) A Flexible and Fast Event-Driven Wireless MAC Protocol Simulator. In: IEEE Int. Conf. on Personal Wireless Communications (ICPWC), Mumbai, India. pp. 110-114. IEEE Computer Society. ISBN 0-7803-4298-4
Lodder, J.C. and Monsma, D.J. and Mollema, R.H. and Shimatsu, T. and Vlutters, R. (1997) Latest developments of the Spin Valve Transistor. In: Proc of the First Toyota Workshop on Magn and Magn Mater for High Density Inf Storage. 159. Elsevier.
Meng, Q. and Lodder, J.C. (1997) Enhancement of coercivity and Kerr rotation in CoNi/Pt multilayers by annealing. In: Proc 97 Symp Young Chinese Scholars Cond Matter Phys, 1997, China. pp. 43-45.
Mountjoy, J. and Hartel, P.H. and Corporaal, H. (1997) Modular Operational Semantic Specification of Transport Triggered Architectures. In: 13th IFIP WG 10.5 Conf. on Computer Hardware Description Languages and Their Applications, Toledo, Spain. pp. 260-279. Chapman & Hall. ISBN 0412788101
Nadolin, K.A. and Botchev, M.A. and Nicolayev, I.A. (1997) Substance advection by a steady 2D stream of the viscous fluid in a lengthy free-surfaced canal. In: Turbulence, Heat and Mass Transfer 2: Proceedings of the Second International Symposium on Turbulence, Heat and Mass Transfer, June 9-12, 1997, Delft, the Netherlands. pp. 409-418. Delft University Press. ISBN 90-407-1465-7
Nijenhuis, R.W. and Jonker, W. and Grefen, P.W.P.J. (1997) Supporting Telecom Business Processes by Means of Workflow Management and Federated Databases. In: Proceedings of the 3rd Americas Conference on Information Systems (AMCIS 1997), 15-17 Aug 1997, Indianapolis, USA. pp. 464-466. Association for Information Systems. ISBN not assigned
Nijholt, A. and Andernach, J.A. (1997) The Robust Analysis of User Utterances in a Mixed-initiative Dialogue System. In: Proceedings 5th International Symposium on Social Communication, Santiago de Cuba. 31. Centro de Lingüística Aplicada. ISBN not assigned
Oosterbroek, R.E. and Lammerink, T.S.J. and Berenschot, J.W. and van den Berg, A. and Elwenspoek, M.C. (1997) Designing, realization and characterization of a novel capacitive pressure/flow sensor. In: Proceedings of the 1997 International Conference on Solid-State Sensors and Actuators. Part 1 (of 2), 16-19 June 1997, Chicago, IL, USA. pp. 151-154. IEEE Computer Society. ISBN 0-7803-3829-4
Rensink, A. (1997) Bisimilarity of Open Terms. In: Expressiveness in Concurrency. pp. 262-285. Electronic Notes in Theoretical Computer Science 7. Elsevier. ISSN 1571-0661
Rensink, A. and Gorrieri, R. (1997) Action Refinement as an Implementation Relation. In: Theory and Practice of Software Development (TAPSOFT). pp. 772-786. Lecture Notes in Computer Science 1214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-62781-4
Rensink, A. and Gorrieri, R. (1997) Action Refinement for Vertical Implementation. In: Formale Beschreibungstechniken für verteilte Systeme. pp. 69-78. GMD-Studien (315). Oldenbourg Verlag. ISBN 3-88457-315-2
Rensink, A. and Wehrheim, H. (1997) Dependency-Based Action Refinement. In: Mathematical Foundations of Computer Science (MFCS). pp. 468-477. Lecture Notes in Computer Science 1295. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-63437-9
Ruys, T.C. and Langerak, R. (1997) Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN. In: Proceedings of SPIN97, the Third InternationalWorkshop on SPIN, 5 April 1997, Enschede, The Netherlands. unpublished. ISBN not assigned
Sánchez, S. and Elwenspoek, M.C. and Gui, C. and De Nivelle, M.J.M.E. and de Vries, R. and De Korte, P.A.J. and Bruijn, M.P. and Wijnbergen, J.J. and Michalke, W. and Steinbeiss, E. and Heidenblut, T. and Schwierzi, B. (1997) A high-Tc superconductor bolometer on a silicon nitride membrane. In: Proceedings of the 1997 10th Annual International Workshop on Micro Electro Mechanical Systems, MEMS, 26-30 Jan 1997, Nagoya, Japan. pp. 506-571. IEEE Computer Society. ISBN 0-7803-3744-1
Scholten, J. and Jansen, P.G. (1997) A distributed multimedia toolbox. In: 4th Int. Workshop on Real-Time Computing Systems and Applications (RTCSA), Taipei, Taiwan. pp. 170-173. IEEE Computer Society. ISBN 0-8186-8073-3
Scholten, J. and Jansen, P.G. and Koelewijn, A. and Rissewijck, M.T.M.J. and Zijlstra, J.D. (1997) Modeling Distributed Multimedia Applications. In: Multimedia Technology and Applications, Singapore. pp. 85-97. Springer-Verlag. ISBN 981-3083-16-6
Sikkel, K. (1997) A Group-based Authorization Model for Cooperative Systems. In: Proc. 5th European Conference on Computer Supported Cooperative Work, Lancaster, UK. pp. 345-360. Kluwer Academic Publishers. ISBN 0-7923-4638-6
van Sinderen, M.J. and Ferreira Pires, L. (1997) Protocols versus objects: Can models for telecommunications and distributed processing coexist? In: 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'98), 29-31 Oct 1997, Tunis, Tunisia. pp. 8-13. IEEE Computer Society. ISSN 1071-0485 ISBN 0-8186-8153-5
Smit, G.J.M. and Havinga, P.J.M. and van Os, D. (1997) The Harpoon Security System for Helper Programs on a Pocket Companion. In: 23rd Euromicro Conf. -- New Frontiers of Information Technology, Budapest, Hungary. pp. 231-238. IEEE Computer Society. ISSN 1089-6503 ISBN 0-8186-8129-2
Spreeuwers, L.J. and Schutte, K. and Houkes, Z. (1997) Model-Based Recognition and Parameter Estimation of Buildings from Multi-View Aerial Imagery Using Multi-Segmentation. In: Proceedings of ISPRS, 17-19 Sep 1997, Stuttgart. pp. 169-174. International Archives of Photogrammetry and Remote Sensing 32. ISPRS. ISBN not assigned
Spreeuwers, L.J. and Schutte, K. and Houkes, Z. (1997) A model driven approach to extract buildings from multi-view aerial imagery. In: Proceedings of the 2nd Ascona Workshop 1997, Automatic Extraction of Man-Made Objects from Aerial and Images II, 5 May 1997, Ascona, Switzerland. pp. 109-118. Birkhäuser Verlag. ISBN 978-3-7643-5788-7
Strating, P. and de Haas, P.C.A. (1997) Parallel efficiency of a boundary integral equation method for nonlinear water waves. In: International Conference and Exhibition on High-Performance Computing and Networking, 28-30 April 1997, Vienna, Austria. pp. 410-420. Lecture Notes in Computer Science 1225. Springer Verlag. ISSN 0302-9743 ISBN 3-540-62898-3
Tas, N.R. and Sonnenberg, A.H. and Sander, A.F.M. and Elwenspoek, M.C. (1997) Surface micromachined linear electrostatic stepper motor. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 26-30 Jan 1997, Nagoya, Japan. pp. 215-220. IEEE Computer Society. ISBN 0-7803-3744-1
Tas, N.R. and Wissink, J. and Sander, L. and Lammerink, T.S.J. and Elwenspoek, M.C. (1997) Shuffle motor: a high force, high precision linear electrostatic stepper motor. In: Proceedings of the 1997 International Conference on Solid-State Sensors and Actuators. Part 2 (of 2), 16-19 June 1997, Chicago, IL, USA. pp. 777-780. IEEE Computer Society. ISBN 0-7803-3829-4
Tjerkstra, R.W. and de Boer, M.J. and Berenschot, J.W. and Gardeniers, J.G.E. and van den Berg, A. and Elwenspoek, M.C. (1997) Etching technology for microchannels. In: Proceedings of the 1997 10th Annual International Workshop on Micro Electro Mechanical Systems, MEMS, 26-30 Jan 1997, Nagoya, Japan. pp. 147-152. IEEE Computer Society. ISBN 0-7803-3744-1
Todoran, E. and den Hartog, J.I. and de Vink, E.P. and Maluszynski, J. (1997) Comparative Metric Semantics for Commit in Or-Parallel Logic Programming. In: Int. Symp. on Logic Programming (ILPS), Long Island, New York. pp. 101-115. The MIT Press. ISBN 0-262-63180-6
Tretmans, G.J. (1997) Repetitive Quiescence in Implementation and Testing (Extended Abstract). In: Formale Beschreibungstechniken für verteilte Systeme, 19.-20. Juni 1997, Berlin, Germany. pp. 23-37. GMD-Studien 315. GMD-Forschungszentrum Informationstechnik GmbH. ISBN 3-88457-315-2
Vermeer, W.W.M. and Apers, P.M.G. (1997) Query modification in object-oriented database federations. In: Proceedings of the Second IFCIS International Conference on Cooperative Information Systems (CoopIS 1997), 24-27 Jun 1997, Kiawah Island, South Carolina, USA. pp. 193-202. IEEE Computer Society. ISBN 0-8186-7946-8
Vermeer, W.W.M. and Apers, P.M.G. (1997) Behaviour specification in database interoperation. In: Proceedings of the 9th International Conference on Advanced Information Systems Engineering (CAISE 1997), 16-20 Jun 1997, Barcelona, Catalonia, Spain. pp. 61-74. Lecture Notes in Computer Science 1250. Springer Verlag. ISSN 0302-9743 ISBN 3-540-63107-0
Vervoort, W.A. (1997) TL-Tube Positioning for Mobile Robots. In: 30th Int. Symp. on Automotive Technology & Automation (ISATA), Florence, Italy. pp. 385-391. Automotive Automation Limited. ISBN 0 947719 97 0
Volman, C.J.A.M. and Jones, V.M. and van Sinderen, M.J. and Widya, I.A. and Michiels, E.F. (1997) Tele-education Process Modelling supported by the ODP Enterprise Viewpoint Language. In: 1st Int. Workshop on Enterprise Distributed Object Computing (EDOC), Gold Coast, Australia. pp. 2-12. IEEE Computer Society. ISBN 0-8186-8031-8
Wieringa, R.J. and Dubois, E. and Huyts, S. (1997) Integrating semi-formal and formal requirements. In: 9th International Conference CAiSE'97, 16-20 June 1997, Barcelona, Catalonia, Spain. pp. 19-32. Lecture Notes in Computer Science 1250. Springer. ISBN 978-3-540-63107-1
Zwemmer, A. and van Hengstum, F.P.H. and van Sinderen, M.J. (1997) Developing an SNMP agent protocol entity with object oriented Perl. In: Special Issues in Object-Oriented Progamming: Workshop Reader of the Tenth European Conference on Object Oriented Programming, ECOOP '96, 8 Jul 1996, Linz, Austria. pp. 293-298. Dpunkt-Verlag. ISBN 3-920993-67-5

External Report

Broersen, J.M. and Wieringa, R.J. (1997) Minimal Semantics for Action Specifications in First-order Dynamic Logic. Technical report IR-439 Faculty of Mathematics and Computer Science, Free University, Amsterdam. ISSN not assigned
Mader, A.H. (1997) Verification of Modal Properties Using Infinite Boolean Equation Systems. Technical Report CSI-R9727 Institute for Computing and Information Science, University of Nijmegen, Nijmegen. ISSN 1571-5078
Scheerder, J. and Wieringa, R.J. (1997) A Modal Temporal Dynamic Logic: Doing the Deadline. Technical report IR-433 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
van Vlijmen, B. and Wieringa, R.J. (1997) Using the Tools in TRADE I: A Decision Support System for Traffic Light maintenance. Technical report IR-435 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. (1997) Using the tools in TRADE II: Specification and design of a meeting scheduler system. Technical Report IR-436 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned

Internal Report

Akkermans, H. and Ygge, F. (1997) Smart Software as Customer Assistant in Large-Scale Distributred Load Management. Technical Report TR-CTIT-97-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Akkermans, H. and Ygge, F. and Gustavsson, R. (1997) Homebots: Intelligent Decentralized Services for Energy. Technical Report TR-CTIT-97-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Asveld, P.R.J. and Nijholt, A. (1997) The Inclusion Problem for Some Subclasses of Context-Free Languages. Technical Report TR-CTIT-97-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Bakel, B. and Boon, R.T. and Mars, N.J.I. and Nijhuis, J. and Oltmans, E. and van der Vet, P.E. (1997) Condorcet Annual Report. Technical Report TR-CTIT-97-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Boer, P.T. and Nicola, V.F. (1997) Hybrid Importance Sampling Estimation of Consecutive Cell Loss Probability. Technical Report TR-CTIT-97-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Boer, P.T. and Nicola, V.F. (1997) Hybrid Importance Sampling Estimation of Consecutive Cell Loss Pobability. Technical Report TR-CTIT-97-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinksma, H. and Nymeyer, A. (1997) Process Algebra and Performance Modelling. Technical Report TR-CTIT-97-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Butler, M.J. and Hartel, P.H. and de Jong, E.K. and Longley, M. (1997) Applying Formal Methods to the Design of Smart Card Software. Technical Report DSSE-TR-97-8, Department of Electronics and Computer Science, University of Southampton, University of Southampton. ISSN not assigned
Castaneda, M.G.M. (1997) Overview 1996, PhD thesis and Technical Reports. Technical Report TR-CTIT-97-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
D'Argenio, P.R. (1997) Regular Processes and Timed Automata. Technical Report TR-CTIT-97-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
D'Argenio, P.R. and Katoen, J.P. and Ruys, T.C. and Tretmans, G.J. (1997) The Bounded Retransmission Protocol must be on time! Technical Report TR-CTIT-97-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Dehne, F. and Wieringa, R.J. (1997) Toolkit for Conceptual Modeling (TCM): User's Guide and Reference. Technical Report IR-437, Vrije Universiteit, Amsterdam. ISSN not assigned
Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. Hildesheimer Informatik-Bericht 97/7, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014
Grefen, P.W.P.J. and Vonk, J. and Boertjes, E.M. and Apers, P.M.G. (1997) Two-Layer Transaction Management for Workflow Management. Technical Report TR-CTIT-97-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Havinga, P.J.M. and Smit, G.J.M. (1997) Low Power Systems Design Techniques for Mobile Computers. Technical Report TR-CTIT-97-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hoeksema, F.W. and van der Veen, J.T. and van Beijnum, B.J.F. (1997) A Methodical Approach to Performance Measurement Experiments: Measure and Measurement Specification. Technical Report TR-CTIT-97-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hulstijn, J. (1997) Structured Information States - raising and resolving issues. Technical Report TR-CTIT-97-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jones, V.M. (1997) Engineering an implementation of the OSI CCRProtocol using the Information Systems Engineering Techniques of FormalSpecification and Program Transformation. Technical Report TR-CTIT-97-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jonk, K.J. (1997) Design and implementation of an ATM Performance Measurement Tool. Technical Report TR-CTIT-97-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van de Kamp, I. and Pouw, C. (1997) Proceedings Teleleren Workshop, 31 januari 1997. Technical Report TR-CTIT-97-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kroese, D.P. (1997) On the decay rates of buffers in continous flow lines. Technical Report TR-CTIT-97-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kroese, D.P. (1997) Analysis of a Markov-modulated fluid tandem queue. Technical Report TR-CTIT-97-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kroese, D.P. and Nicola, V.F. (1997) Efficient Simulation of Backlogs in Fluid Flow Lines. Technical Report TR-CTIT-97-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kroese, D.P. and Scheinhardt, W.R.W. (1997) A Markov-modulated fluid system with two interacting reservoirs. Technical Report TR-CTIT-97-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kroese, D.P. and Scheinhardt, W.R.W. (1997) A Fluid Queue driven by a Fluid Queue. Technical Report TR-CTIT-97-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. Technical Report TR-CTIT-97-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Linnenbank, G.R.J. (1997) A Simulator and Analysor for Wireless MAC Protocols. Technical Report TR-CTIT-97-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Nijenhuis, R.W. and Jonker, W. and Grefen, P.W.P.J. (1997) Supporting Telecom Business Processes by means of Workflow Management and Federated Databases. Technical Report TR-CTIT-97-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Pos, A. and van Akkermans, J.M. and Top, J.L. (1997) Automatic Revision of Simulation Models. Technical Report TR-CTIT-97-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Postma, F.M. and Krol, T. and Molenkamp, E. (1997) Optimized Self-synchronizing Byzantine Agreement Protocols. Technical Report TR-CTIT-97-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Roos, N. (1997) On Resolving Conflicts Between Arguments. Technical Report TR-CTIT-97-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Scheinhardt, W.R.W. and Kroese, D.P. (1997) A system of fluid queues with feedback. Technical Report TR-CTIT-97-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van Sinderen, M.J. and Ferreira Pires, L. (1997) Protocols versus Objects: Can Models for Telecommunications and Distributed Processing Coexist? Technical Report TR-CTIT-97-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Sprenkels, R.A.M. (1997) Management of the SURFnet4 ATM Network. Technical Report TR-CTIT-97-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Springintveld, J. and Vaandrager, F.W. and D'Argenio, P.R. (1997) Testing Timed Automata. Technical Report TR-CTIT-97-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van der Veen, J.T. and Collis, B.A. (1997) Telematic Tools to Support Group Projects in Higher Education. Technical Report TR-CTIT-97-16, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Volman, C.J.A.M. and Jones, V.M. and van Sinderen, M.J. and Widya, I.A. and Michiels, E.F. (1997) Tele-education Process Modelling supported by The ODP Enterprise Viewpoint Language. Technical Report TR-CTIT-97-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Vries, A.P. (1997) Intelligent Television: A Testbed for Multimedia Information Filtering. Technical Report TR-CTIT-97-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Vries, A.P. and van der Veer, G.C. and Blanken, H.M. (1997) Let's talk about it: Dialogues with Multimedia Databases. Technical Report TR-CTIT-97-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ygge, F. and Akkermans, H. (1997) Power Load Management as a Computational Market. Technical Report TR-CTIT-97-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Master's Thesis

Schuurhuis, J.R. (1997) Nanofabrication of a Discrete Magnetic Medium for High Density Magnetic Recording. Master's thesis, University of Twente.
Vellekoop, S.J.L. (1997) Practice and theory of Quantitative Magnetic Force Microscopy. Master's thesis, University of Twente.
Zwerver, T.J. (1997) The implementation of an MFM control on a dual DSP system. Master's thesis, University of Twente.

Patent

Nauta, B. and Venes, A.G.W. (1997) Folding stage and folding analog-to-digital converter. Patent US005640163A (Assigned).
Venes, A.G.W. and Nauta, B. (1997) Folding stage for a folding analog-to-digital converter. Patent US005633638A (Assigned).

PhD Thesis

Borst, W.N. (1997) Construction of Engineering Ontologies for Knowledge Sharing and Reuse. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-14 ISBN 90-365-0988-2
de Bree, H.E. (1997) The microflown. PhD thesis, University of Twente. ISBN 9-036-50926-2
Cederquist, J.G. (1997) A Pointfree Approach to Constructive Analysis in Type Theory. PhD thesis, Chalmers Univ. of Technology and Univ. of Göteborg, Sweden.
de Haas, P.C.A. (1997) Numerical simulation of Nonlinear water waves using a panel method: domain decomposition and applications. PhD thesis, University of Twente. ISBN 9036510384
Harmsen, A.F. (1997) Situational Method Engineering. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-10 ISBN 90-75498-10-1
Helme, A. (1997) A system for secure user-controlled electronic transactions. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-17 ISBN 90-423-0011-6
van Keulen, M. (1997) Formal Operation Definition in Object-Oriented Databases. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-16 ISBN 90-3651-031-7
Leydekkers, P. (1997) Multimedia Services in Open Distributed Telecommunications Environments. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-12 ISBN 9789072125040
McEvoy, H.E. (1997) Coordinating multiset transformers. PhD thesis, Univ. of Amsterdam. ISBN 90-74795-76-5
Olah, A. (1997) Design and Analysis of Transport Protocols for Reliable High-Speed Communications. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-15 ISBN 90-9010872-6
Skowronek, J. (1997) Distributed Optimization Of Nested Queries. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-20 ISBN 90-365106-86
Veenhof, H.M. (1997) Processing Multi-Way Spatial Joins. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-15 ISBN 90-3651-002-3
Vermeer, W.W.M. (1997) Semantic Interoperability For Legacy Databases. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 97-11 ISBN 90-365-0964-5
Vogels, M.E.S. (1997) Architecture and Construction Principles for Computational Fluid Dynamics Software for Engineering in Industry. PhD thesis, University of Twente. ISBN 90-9010295-7

This list was generated on Mon Mar 20 08:58:46 CET 2017.