EEMCS

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

EEMCS EPrints Service


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

Number of items: 203.

Article

Abelmann, L. (1996) Dunne films met schuine eigenschappen. Ned Tijdschrift voor Natuurkunde, 16. pp. 339-342.
Akşit, M. (1996) Separation and composition of concerns. ACM Computing Surveys, 28 (4es). 148. ISSN 0360-0300 *** ISI Impact 5,243 ***
d'Altan, P. and Meyer, J.J.C. and Wieringa, R.J. (1996) An integrated framework for ought-to-be and ought-to-do constraints. Artificial Intelligence and Law, 4 (2). pp. 77-111. ISSN 0924-8463
Asveld, P.R.J. (1996) A Bibliography on Fuzzy Automata, Grammars and Lanuages. Bulletin of the European Association for Theoretical Computer Science, 58. pp. 187-196. ISSN 0252-9742
Atkinson, R. and Pahirathan, S. and Salter, I.W. and Grundy, P.J. and Tatnall, C.J. and Lodder, J.C. and Meng, Q. (1996) Fundamental optical and magneto-optical constants of Co/Pt and CoNi/Pt multilayered films. Journal of magnetism and magnetic materials, 162. pp. 131-138. ISSN 0304-8853 *** ISI Impact 2,357 ***
Baek, Y. and Schiek, R. and Stegeman, G.I. and Krijnen, G.J.M. and Baumann, I. and Sohler, W. (1996) All-optical integrated Mach-Zehnder switching due to cascaded nonlinearities. Applied physics letters, 68 (15). pp. 2055-2057. ISSN 0003-6951 *** ISI Impact 3,142 ***
van den Berg, K.G. and van den Broek, P.M. (1996) Programmers' Performance on Structured versus Nonstructured Function Definitions. Information and Software Technology, 38 (7). pp. 477-492. ISSN 0950-5849 *** ISI Impact 1,569 ***
Bergmans, L.M.J. and Akşit, M. (1996) Composing Synchronisation and Real-Time Constraints. Journal of Parallel and Distributed Computing, 36 (1). pp. 32-52. ISSN 0743-7315 *** ISI Impact 1,320 ***
Berkhoff, A.P. and Thijssen, J.M. and van den Berg, P.M. (1996) Ultrasound wave propagation through rough interfaces: Iterative methods. Journal of the Acoustical Society of America, 99 (3). pp. 1306-1314. ISSN 0001-4966 *** ISI Impact 1,572 ***
Berkhoff, A.P. and Thijssen, J.M. and Homan, R.J.F. (1996) Simulation of ultrasonic imaging with linear arrays in causal absorptive media. Ultrasound in medicine and biology, 22 (2). pp. 245-259. ISSN 0301-5629 *** ISI Impact 2,298 ***
Bijker, M.D. and Donnet, D.M. and Lodder, J.C. (1996) The effect of sputter pressure on the microstrucure of CoNi/Pt multilayers. Journal of the Magnetics Society of Japan, 20. pp. 407-410. ISSN 0285-0192
Bossi, A. and Cocco, N. and Etalle, S. (1996) Simultaneous Replacement in Normal Programs. Journal of logic and Computation, 6 (1). pp. 79-120. ISSN 0955-792X *** ISI Impact 0,585 ***
Botchev, M.A. (1996) On Ad-hoc Upwind Implicit Difference Schemes for Parabolic P.D.E. of the Convection-Diffusion Type. Zeitschrift für Angewandte Mathematik und Mechanik, 76 (supplement 1). pp. 361-362. ISSN 0044-2267 *** ISI Impact 1,293 ***
de Bree, H.E. and Leussink, P.J. and Korthorst, M.T. and Jansen, H.V. and Lammerink, T.S.J. and Elwenspoek, M.C. (1996) The μ-flown: A novel device for measuring acoustic flows. Sensors and actuators A: Physical, 54 (1-3). pp. 552-557. ISSN 0924-4247 *** ISI Impact 2,201 ***
Bressers, P.M.M.C. and Kelly, J.J. and Gardeniers, J.G.E. and Elwenspoek, M.C. (1996) Surface morphology of p-type (100) silicon etched in aqueous alkaline solution. Journal of the Electrochemical Society, 143 (5). pp. 1744-1750. ISSN 0013-4651 *** ISI Impact 3,014 ***
van den Broek, P.M. and van den Berg, K.G. (1996) Musical Equational Programs: A Functional Approach. ACM SIGPLAN Notices, 31 (11). pp. 56-65. ISSN 0362-1340 *** ISI Impact 0,488 ***
Brucker, P. and Hurink, J.L. and Werner, F. (1996) Improving local search heuristics for some scheduling problems -- I. Discrete Applied Mathematics, 65 (1-3). pp. 97-122. ISSN 0166-218X *** ISI Impact 0,722 ***
Brunekreef, J.J. and Katoen, J.P. and Koymans, R.L.C. and Mauw, S. (1996) Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Computing, 9 (4). pp. 157-171. ISSN 0178-2770 *** ISI Impact 1,263 ***
Burger, G.J. and Smulders, E.J.T. and Berenschot, J.W. and Lammerink, T.S.J. and Fluitman, J.H.J. and Imai, S. (1996) High-resolution shadow-mask patterning in deep holes and its application to an electrical wafer feed-through. Sensors and actuators A: Physical, 54 (1-3). pp. 669-673. ISSN 0924-4247 *** ISI Impact 2,201 ***
Coyle, A. and Haverkort, B.R.H.M. and Henderson, W. and Pearce, C. (1996) A Mean-Value Analysis of Stochastic Petri Net Models of Slotted Rings. Telecommunication Systems, 6 (2). pp. 203-227. ISSN 1018-4864 *** ISI Impact 0,822 ***
De Nivelle, M.J.M.E. and Bruijn, M.P. and Frericks, M. 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. (1996) A high-Tc superconductor bolometer for remote sensing of atmospheric OH. Journal De Physique. IV : JP, 6 (3). C3-423-C3-428. ISSN 1155-4339
Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J. (1996) Free choice and contextually permitted actions. Studia Logica, 57 (1). pp. 193-220. ISSN 0039-3215 *** ISI Impact 0,724 ***
Donnet, D.M. and Tsutsumi, K. and de Haan, Poul and Lodder, J.C. (1996) Effect of sputter gas on the physical and magnetic microstructure of Co/Cu multilayers. Journal of applied physics, 79. pp. 6243-6245. ISSN 0021-8979 *** ISI Impact 2,101 ***
van Drent, W.P. and Bijker, M.D. and Lodder, J.C. (1996) The effect of stress and magnetostriction on the anisotropy of CoNi/Pt multilayers. Journal of magnetism and magnetic materials, 156. pp. 309-310. ISSN 0304-8853 *** ISI Impact 2,357 ***
van Drent, W.P. and Suzuki, T. and Meng, Q. and Lodder, J.C. and Popma, T.J.A. (1996) Spectroscopic Kerr investigations of CoNi/Pt multilayers. Journal of applied physics, 79. pp. 6190-6192. ISSN 0021-8979 *** ISI Impact 2,101 ***
Elwenspoek, M.C. (1996) The form of etch rate minima in wet chemical anisotropic etching of silicon. Journal of micromechanics and microengineering, 6 (4). pp. 405-409. ISSN 0960-1317 *** ISI Impact 1,768 ***
Etalle, S. (1996) Unification-Free Prolog Programs Revisited. Journal of Programming Languages, 4. pp. 187-210.
Etalle, S. and Gabbrielli, M. (1996) Transformations of CLP Modules. Theoretical computer science, 166 (1). pp. 101-146. ISSN 0304-3975 *** ISI Impact 0,643 ***
Etalle, S. and Gabbrielli, M. (1996) On the Correctness of the Replacement Operation for CLP Modules. Journal of Functional and Logic Programming, 1996. ISSN 1080-5230
Even, S.J. and Faase, F.J. and de By, R.A. (1996) Language features for cooperation in an object-oriented database environment. International Journal of Cooperative Information Systems, Special Issue on Formal Methods, 5 (4). pp. 469-500. ISSN 0218-8430 *** ISI Impact 0,526 ***
Fluitman, J.H.J. (1996) Microsystems technology: Objectives. Sensors and actuators A: Physical, 56 (1-2). pp. 151-166. ISSN 0924-4247 *** ISI Impact 2,201 ***
Fokkinga, M.M. (1996) Expressions that talk about themselves. The Computer Journal, 39 (5). pp. 408-412. ISSN 0010-4620 *** ISI Impact 1,000 ***
Fokkinga, M.M. (1996) Datatype Laws Without Signatures. Mathematical Structures in Computer Science, 6 (1). pp. 1-32. ISSN 0960-1295 *** ISI Impact 0,758 ***
Gardeniers, J.G.E. and Tilmans, H.A.C. and Visser, C.C.G. (1996) LPCVD silicon-rich silicon nitride films for applications in micromechanics, studied with statistical experimental design. Journal of vacuum science and technology A: vacuum, surfaces, and films, 14 (5). pp. 2879-2892. ISSN 0734-2101 *** ISI Impact 1,724 ***
Geurtsen, A.J.M. and Kools, J.C.S. and de Wit, L. and Lodder, J.C. (1996) Pulsed Laser Deposition of Permanent Magnetic Nd2Fe14B Thin Films Applied surface science, 96-98. pp. 887-890. ISSN 0169-4332 *** ISI Impact 3,150 ***
Gilding, B.H. (1996) The correspondence between travelling-wave solutions or a nonlinear reaction-convection-diffusion equation and an integral equation. Differential and integral equations, 9 (5). pp. 919-947. ISSN 08934983
Gilding, B.H. and Kersner, R. (1996) The characterization of reaction-convection-diffusion processes by travelling waves. Journal of differential equations, 124 (1). pp. 27-79. ISSN 0022-0396 *** ISI Impact 1,821 ***
Gilding, B.H. and Kersner, R. (1996) A necessary and sufficient condition for finite speed of propagation in the theory of doubly nonlinear degenerate parabolic equations. Proceedings of the Royal Society of Edinburgh, Section: A Mathematics, 126 (4). pp. 739-767. ISSN 0308-2105 ISBN 1473-7124 *** ISI Impact 0,983 ***
Goltz, U. and Gorrieri, R. and Rensink, A. (1996) Comparing Syntactic and Semantics Action Refinement. Information and computation, 125 (2). pp. 118-143. ISSN 0890-5401 *** ISI Impact 0,873 ***
Grefen, P.W.P.J. and Flokstra, Jan (1996) Extending a multi-set relational algebra to a parallel environment. Distributed and Parallel Databases, 4 (1). pp. 81-99. ISSN 0926-8782 *** ISI Impact 0,800 ***
Guerraoui, R. and Akşit, M. and Black, A. and Cardelli, L. and Cointe, P. and Coplien, J. and Kiczales, G. and Lea, D. and Madsen, O.L. and Magnusson, B. and Meseguer, J. and Moessenboeck, H. and Palsberg, J. and Schmidt, D. (1996) Strategic Directions in Object-Oriented Programming. ACM Computing Surveys, 28 (4). pp. 691-700. ISSN 0360-0300 *** ISI Impact 5,243 ***
de Haan, S. and Lodder, J.C. (1996) Reversal studies on sub-micron Co-Cr thin films by AHE analysis. Journal of magnetism and magnetic materials, 155. pp. 193-195. ISSN 0304-8853 *** ISI Impact 2,357 ***
Haes, J. and Baets, R. and Weinert, C.M. and Gravert, M. and Nolting, H.P. and Andrade, M.A. and Leite, A.P. and Bissessur, H.K. and Davies, J.B. and Ettinger, R.D. and Ctyroky, J. and Ducloux, E. and Ratovelomanana, F. and Vodjdani, N. and Helfert, S. and Pregla, R. and Wijnands, F.H.G.M. and Hoekstra, H.J.W.M. and Krijnen, G.J.M. (1996) A comparison between different propagative schemes for the simulation of tapered step index slab waveguides. Journal of lightwave technology, 14 (6). pp. 1557-1569. ISSN 0733-8724 *** ISI Impact 2,567 ***
Hartel, P.H. and Feeley, M. and Alt, M. and Augustsson, L. and Baumann, P. and Beemster, M. and Chailloux, E. and Flood, C.H. and Grieskamp, W. and van Groningen, J.H.G. and Hammond, K. and Hausman, B. and Ivory, M.Y. and Jones, R.E. and Kamperman, J.F.T. and Lee, Peter and Leroy, X. and Lins, R.D. and Loosemore, S. and Röjemo, N. and Serrano, M. and Talpin, J.-P. and Thackray, J. and Thomas, S. and Walters, P. and Weis, P. and Wentworth, P. (1996) Benchmarking Implementations of Functional Languages with "Pseudoknot", a float-intensive benchmark. Journal of Functional Programming, 6 (4). pp. 621-655. ISSN 0956-7968 *** ISI Impact 1,357 ***
Hartel, P.H. and Glaser, H. (1996) The Resource constrained shortest path problem implemented in a lazy functional language. Journal of Functional Programming, 6 (1). pp. 29-45. ISSN 0956-7968 *** ISI Impact 1,357 ***
Haverkort, B.R.H.M. and Niemegeers, I.G.M.M. (1996) Performability Modelling Tools and Techniques. Performance evaluation, 25 (1). pp. 17-40. ISSN 0166-5316 *** ISI Impact 0,944 ***
Heijenk, G.J. and Haverkort, B.R.H.M. (1996) Design and evaluation of a connection management mechanism for an ATM-based connectionless service. Distributed System Engineering, 3 (1). pp. 53-67. ISSN 0967-1846
van der Hoeven, G.F. and Nijholt, A. (1996) Casting actors in a context-free play. Publicationes Mathematicae Debrecen, 48 (3-4, Suppl.). pp. 291-308. ISSN 0033-3883 *** ISI Impact 0,438 ***
Hurink, J.L. (1996) Polygon scheduling. Discrete Applied Mathematics, 70 (1). pp. 37-55. ISSN 0166-218X *** ISI Impact 0,722 ***
Imai, S. and Burger, G.J. and Lammerink, T.S.J. and Fluitman, J.H.J. (1996) Output characteristics of a thin-film piezoelectric AE sensor for magnetic head-disk interaction. Nippon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japan Society of Mechanical Engineers, Part C, 62 (595). pp. 928-938. ISSN 0387-5024
Immink, A.H.J. and Bijker, M.D. and Abelmann, L. and Lodder, J.C. (1996) Interaction in Double Layered ME Tapes. Journal of magnetism and magnetic materials, 155. pp. 279-283. ISSN 0304-8853 *** ISI Impact 2,357 ***
Jansen, H.V. and Gardeniers, J.G.E. and de Boer, M.J. and Elwenspoek, M.C. and Fluitman, J.H.J. (1996) A survey on the reactive ion etching of silicon in microtechnology. Journal of micromechanics and microengineering, 6 (1). pp. 14-28. ISSN 0960-1317 *** ISI Impact 1,768 ***
Kambersky, V. and de Haan, Poul and Simsova, J. and Porthun, S. and Gemperle, R. and Lodder, J.C. (1996) Domain wall theory and exchange stiffness in Co/Pd multilayers. Journal of magnetism and magnetic materials, 158. pp. 301-302. ISSN 0304-8853 *** ISI Impact 2,357 ***
Katoen, J.P. and Schoenmakers, B. (1996) Systolic Arrays for the Recognition of P-invariant Segments. Science of Computer Programming, 27. pp. 119-137. ISSN 0167-6423 *** ISI Impact 0,828 ***
Krijnen, G.J.M. and Hoekstra, H.J.W.M. and Stegeman, G.I. and Torruellas, W.E. (1996) Cerenkov second-harmonic generation in the strong conversion limit: New effects. Optics letters, 21 (12). pp. 851-853. ISSN 0146-9592 *** ISI Impact 3,040 ***
Krijnen, G.J.M. and Torruellas, W.E. and Stegeman, G.I. and Hoekstra, H.J.W.M. and Lambeck, P.V. (1996) Optimization of second harmonic generation and nonlinear phase-shifts in the Cerenkov regime. IEEE journal of quantum electronics, 32 (4). pp. 729-738. ISSN 0018-9197 *** ISI Impact 1,843 ***
Krukier, L.A. and Botchev, M.A. (1996) On Skew-symmetric Preconditioning for Strongly Non-symmetric Linear Systems. Zeitschrift für Angewandte Mathematik und Mechanik, 76 (supplement 3). pp. 483-484. ISSN 0044-2267 *** ISI Impact 1,293 ***
Ledoux, L.A.F. and Berkhoff, A.P. and Thijssen, J.M. (1996) Ultrasonic wave propagation through aberrating layers: experimental verification of the conjugate gradient Rayleigh method. IEEE transactions on ultrasonics, ferroelectrics and frequency control, 43 (1). pp. 158-166. ISSN 0885-3010 *** ISI Impact 2,287 ***
Legtenberg, R. and Groeneveld, A.W. and Elwenspoek, M.C. (1996) Comb-drive actuators for large displacements. Journal of micromechanics and microengineering, 6 (3). pp. 320-329. ISSN 0960-1317 *** ISI Impact 1,768 ***
Lesiak-Orlowska, B. and Zemek, J. and de Haan, Poul and Jozwik, A. (1996) XPS study of Pd/Co multilayers: Identification of Pd and Co interface bonding states by pattern recognition methods. Surface science, 346. pp. 79-90. ISSN 0039-6028 *** ISI Impact 1,931 ***
Lodder, J.C. (1996) Magnetic structures in Co-Cr media for perpendicular magnetic recording. Journal of magnetism and magnetic materials, 159. pp. 238-248. ISSN 0304-8853 *** ISI Impact 2,357 ***
Lodder, J.C. (1996) Magnetic thin films for high-density recording. Thin solid films, 282. pp. 474-483. ISSN 0040-6090 *** ISI Impact 1,761 ***
Lodder, J.C. and Monsma, D.J. (1996) Universiteit Twente ontwikkelt nieuw type magneetveld sensor: De Spin Valve Transistor. Sensornieuws, januari. pp. 6-8.
Luitjens, S.B. and Stupp, S.E. and Lodder, J.C. (1996) Metal evaporated tape; state of the art and prospects. Journal of magnetism and magnetic materials, 155. pp. 261-265. ISSN 0304-8853 *** ISI Impact 2,357 ***
Meng, Q. and Donnet, D.M. and Schendel, P.J.A. and Lodder, J.C. and Popma, T.J.A. (1996) Optimasation of CoNi/Pt multilayers compared with Co/Pt multilayers for thermomagnetic writing. Journal of the Magnetics Society of Japan, 20. pp. 53-56. ISSN 0285-0192
Meng, Q. and van Drent, W.P. and Lodder, J.C. and Popma, T.J.A. (1996) Curie temperature dependence of magnetic properties of CoNi/Pt multilayer films. Journal of magnetism and magnetic materials, 156. pp. 296-298. ISSN 0304-8853 *** ISI Impact 2,357 ***
Meng, Q. and de Haan, Poul and van Drent, W.P. and Lodder, J.C. and Popma, T.J.A. (1996) Effects of Pt seedlayer and Ar pressure on magnetic and structural properties of sputtered CoNi/Pt multilayers. IEEE Transactions on Magnetics, 32. pp. 4064-4066. ISSN 0018-9464 *** ISI Impact 1,277 ***
Meng, Q. and Lodder, J.C. and Popma, T.J.A. (1996) Magneto-optical kerr spectroscopy of CoNi/Pt and Co/Pt multilayers. Journal of the Magnetics Society of Japan, 20. pp. 287-290. ISSN 0285-0192
Mullender, S.J. (1996) Distributed operating systems. ACM Computing Surveys, 28 (1). pp. 225-227. ISSN 0360-0300 *** ISI Impact 5,243 ***
Mullender, S.J. (1996) Systems Support for the Information Age. IT+TI Informationstechnik und Technische Informatik, 38 (2). pp. 12-17. ISSN 0944-2774
Neagu, C.R. and Gardeniers, J.G.E. and Elwenspoek, M.C. and Kelly, J.J. (1996) An electrochemical microactuator: Principle and first results. Journal of microelectromechanical systems, 5 (1). pp. 2-9. ISSN 1057-7157 *** ISI Impact 1,939 ***
Phillips, G.N. and O'Grady, K. and Meng, Q. and Lodder, J.C. (1996) A study of magnetization reversal mechanisms in CoNi/Pt multilayers. Journal of the Magnetics Society of Japan, 26. pp. 275-278. ISSN 0285-0192
Phillips, G.N. and O'grady, K. and Meng, Q. and Lodder, J.C. (1996) Domain structure and magnetisation processes in magneto-optic Co/Pt thin films. IEEE Transactions on Magnetics, 32. pp. 4070-4072. ISSN 0018-9464 *** ISI Impact 1,277 ***
Pollnau, M. and Lüthy, W. and Weber, H.P. and Jensen, T. and Huber, G. and Cassanho, A. and Jenssen, H.P. and McFarlane, R.A. (1996) Investigation of diode-pumped 2.8-µm laser performance in Er:BaY2F8 Optics letters, 21 (1). pp. 48-50. ISSN 0146-9592 *** ISI Impact 3,040 ***
Pollnau, M. and Lüthy, W. and Weber, H.P. and Krämer, K. and Güdel, H.U. and McFarlane, R.A. (1996) Excited-state absorption in Er:BaY2F8 and Cs3Er2Br9 and comparison with Er:LiYF4 Applied physics B (Lasers and optics), 62 (4). pp. 339-344. ISSN 0946-2171 *** ISI Impact 1,785 ***
Pollnau, M. and Spring, R. and Ghisler, C. and Wittwer, S. and Lüthy, W. and Weber, H.P. (1996) Efficiency of erbium 3-µm crystal and fiber lasers. IEEE journal of quantum electronics, 32 (4). pp. 657-663. ISSN 0018-9197 *** ISI Impact 1,843 ***
Rensink, A. (1996) Algebra and Theory of Order-Deterministic Pomsets. Notre Dame Journal of Formal Logic, 37 (2). pp. 283-320. ISSN 0029-4527 *** ISI Impact 0,538 ***
Rose, J. and Chapman, J.N. and Meng, Q. and Lodder, J.C. (1996) TEM studies of CoNi/Pt multilayers. Journal of the Magnetics Society of Japan, 20. pp. 263-266. ISSN 0285-0192
Ruhrig, M. and Porthun, S. and Lodder, J.C. and McVitie, S. and Heyderman, L.J. and Johnston, A.B. and Chapman, J.N. (1996) Electron beam fabrication and characterization of high- resolution magnetic force microscopy tips. Journal of applied physics, 79. pp. 2913-2919. ISSN 0021-8979 *** ISI Impact 2,101 ***
Samwel, E.O. and Bijl, D.B. and Lodder, J.C. and Popma, T.J.A. (1996) Intrinsic Angular Investigations on Metal Evaporated Tapes. Journal of magnetism and magnetic materials, 156. pp. 292-296. ISSN 0304-8853 *** ISI Impact 2,357 ***
Schendel, P.J.A. and Porthun, S. and Donnet, D.M. and Lodder, J.C. (1996) Shape characterization of magneto-optically written bits using parametric Fourier descriptors. Journal of the Magnetics Society of Japan, 20. pp. 373-376. ISSN 0285-0192
Spiering, V.L. and Lammerink, T.S.J. and Elwenspoek, M.C. and Fluitman, J.H.J. and van den Berg, A. (1996) Micro analysis systems for fluids [Sistemi di microanalisi per fluidi]. Oleodinamica pneumatica Lubrificazione, 1 (6). pp. 76-83. ISSN 0391-8645
Stoyenko, A. D. and Bosch, J. and Akşit, M. and Marlowe, T. J. (1996) Load Balanced Mapping of Distributed Objects to Minimize Network Communication. Journal of Parallel and Distributed Computing, 34 (2). pp. 117-136. ISSN 0743-7315 *** ISI Impact 1,320 ***
Tas, N.R. and Sonnenberg, A.H. and Jansen, H.V. and Legtenberg, R. and Elwenspoek, M.C. (1996) Stiction in surface micromachining. Journal of micromechanics and microengineering, 6 (4). pp. 385-397. ISSN 0960-1317 *** ISI Impact 1,768 ***
Tretmans, G.J. (1996) Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer networks and ISDN systems, 29 (1). pp. 49-79. ISSN 0169-7552
Tretmans, G.J. (1996) Test Generation with Inputs, Outputs and Repetitive Quiescence. Software---Concepts and Tools, 3. pp. 103-120. ISSN 0945-8115
Tsutsumi, K. and de Haan, Poul and Eisenberg, M. and Monsma, D.J. and Lodder, J.C. (1996) Giant magnetoresistance in Co/Cu multilayers sputtered with Kr. Journal of magnetism and magnetic materials, 156. pp. 327-328. ISSN 0304-8853 *** ISI Impact 2,357 ***
Veldhuis, R.N.J. and He, Hayan (1996) Time-scale and pitch modifications of speech signals and resynthesis from the discrete short-time Fourier transform. Speech Communication, 18 (3). pp. 257-279. ISSN 0167-6393 *** ISI Impact 1,038 ***
Wörhoff, K. and Noordman, O.F.J. and Albers, H.S. and Lambeck, P.V. and van Hulst, N.F. (1996) Noncritically phase-matched second harmonic generation of blue light in Si[O]N-calix[4]arene slab type waveguides. Optics communications, 124 (5-6). pp. 493-499. ISSN 0030-4018 *** ISI Impact 1,480 ***
Wieringa, R.J. and Saake, G. (1996) A Formal Analysis of the Shlaer-Mellor method: towards a toolkit for formal and informal requirements specification techniques. Requirements Engineering, 1. pp. 106-131. ISSN 0947-3602 *** ISI Impact 1,105 ***
Wittwer, S. and Pollnau, M. and Spring, R. and Lüthy, W. and Weber, H.P. and McFarlane, R.A. and Harder, C. and Meier, H.P. (1996) Performance of a diode-pumped BaY2F8:Er3+(7.5 at.%) laser at 2.8-µm Optics communications, 132 (1-2). pp. 107-110. ISSN 0030-4018 *** ISI Impact 1,480 ***

Book

Hartel, P.H. and Paradinas, P. and Quisquater, J.-J., ed. (1996) 2nd Smart Card Research and Advanced Application (CARDIS). CWI (Centrum voor Wiskunde en Informatica), Amsterdam. ISBN 90 6196 465 2
Hulstijn, J. and Nijholt, A., ed. (1996) Computational Humor: Automatic Interpretation and Generation of Verbal Humor. Twente Workshop on Language Technology 12. University of Twente, Enschede. ISSN 0929-0672
Luperfoy, S. and Nijholt, A. and Veldhuijzen van Zanten, G.E., ed. (1996) Dialogue Management in Natural Language Systems. Twente Workshop on Language Technology 11. University of Twente, Enschede. ISSN 0929-0672
Alblas, H. and Nymeyer, A. (1996) Practice and Principles of Compiler Building with C. Prentice Hall. ISBN 0133492672
Wieringa, R.J. (1996) Requirements Engineering: Frameworks for Understanding. John Wiley & Sons. ISBN 0471958840

Review

Asveld, P.R.J. (1996) Review of "M.A. Palis & S.M. Shende, Pumping lemmas for the control language hierarchy. Math. Systems Theory 28 (1995) 199-213". Mathematical reviews, MR1316598 / 96b:68103. pp. 1105-1105. ISSN 0025-5629
Asveld, P.R.J. (1996) Review of "Ph. Aigrain & D. Beauquier, Polyomino tilings, cellular automata and codicity. Theoret. Comput. Sci. 147 (1995) 165-180". Mathematical reviews, MR1346102 / 96i:05041. pp. 5175-5175. ISSN 0025-5629
Asveld, P.R.J. (1996) Review of "R.P. Kurshan, Homomorphic reduction of coordination analysis. IMA Vol. Math. Appl. 73 (1993/1995) 105-147". Mathematical reviews, MR1348878 / 96j:68122. pp. 6242-6242. ISSN 0025-5629
Asveld, P.R.J. (1996) Review of "M.A. Moshier, A rational reconstruction of the domain of feature structures, J. Logic Lang. Inform. 4 (1995) 111-143". Mathematical reviews, MR1351918 / 96m:68146. pp. 7778-7778. ISSN 0025-5629

Book Section

Asveld, P.R.J. (1996) An Inefficient Representation of the Empty Word. In: A Dynamic and Quick Intellect -- Paul Vitanyi 25 years @ CWI. CWI (Centrum voor Wiskunde en Informatica), Amsterdam, pp. 11-18.
Brucker, P. and Hurink, J.L. (1996) Complex Sequencing Problems and Local Search Heuristics. In: Meta-Heuristics: Theory and Applications. Kluwer Academic Publishers, Dordrecht, pp. 151-166. ISBN 0792397002
Nijholt, A. (1996) Humor Power and Computer Reason. In: Jaarboek. Wiskundige Studievereniging Christiaan Huygens, Delft, pp. 99-102.
Sikkel, K. and op den Akker, H.J.A. (1996) Predictive Head-Corner Chart Parsing. In: Recent Advances in Parsing Technology. Text, Speech and Language Technology 1. Kluwer Academic Publishers, Boston, pp. 169-182. ISBN 0-7923-4152-X
Sikkel, K. and Nijholt, A. (1996) Parsing of Context-free Languages. In: Handbook of Formal Languages, Vol. II. Linear Modeling: Background and Application. Springer Verlag, Berlin, pp. 61-100. ISBN 3-540-60648-3
van Sinderen, M.J. and ter Hofte, G. and van der Lugt, H. (1996) Computer supported cooperative work: Samenwerken, ondersteund door groupware. In: Handboek Telematica. Samsom BedrijfsInformatie, Alphen aan de Rijn, 14. ISBN 90-14-04439-9
Veldhuis, R.N.J. (1996) An alternative for the LF model. In: IPO Annual Progress Report 31. The Institute for Perception Research, Eindhoven, pp. 100-108.

Conference or Workshop Paper

Akşit, M. (1996) Designing Software Architectures as Knowledge Specializations. In: COMPSAC'96 - Session 18, 19-23 August 1996, Seoul, South Korea. 352. IEEE Computer Society. ISSN 0730-3157 ISBN 978-0-81867-579-9
Asveld, P.R.J. (1996) Towards Robustness in Parsing -- Fuzzifying Context-Free Language Recognition. In: Developments in Language Theory II -- At the Crossroads of Mathematics, Computer Science and Biology, 17-21 July 1995, Magdeburg, Germany. pp. 443-453. World Scientific. ISBN 981-02-2682-9
Baek, Y. and Schiek, R. and Krijnen, G.J.M. and Stegeman, G.I. and Baumann, I. and Sohler, W. (1996) All-optical integrated Mach-Zehnder switching in lithium niobate waveguides due to cascaded nonlinearities. In: Proceedings of the 1996 Conference on Lasers and Electro-Optics, CLEO'96, 2-7 June 1996, Anaheim, CA, USA. pp. 297-298. IEEE Computer Society. ISBN 1-55752-443-2
Berenschot, J.W. and Jansen, H.V. and Burger, G.J. and Gardeniers, J.G.E. and Elwenspoek, M.C. (1996) Thermally assisted ion beam etching of polytetrafluoroethylene a new technique for high aspect ratio etching of MEMS. In: Proceedings of the 1996 9th Annual International Workshop on Micro Electro Mechanical Systems, 11-15 Feb 1996, San Diego, CA, USA. pp. 277-284. IEEE Computer Society. ISBN 0-7803-2985-6
Berkhoff, A.P. and Thijssen, J.M. (1996) Correction of concentrated and distributed aberrations in medical ultrasound imaging. In: Ultrasonics Symposium, 1996. Proceedings., 1996 IEEE, 3-6 Nov 1996, San Antonio, TX. pp. 1405-1410. IEEE. ISBN 0-7803-3615-1
Bosch, H.G.P. and Mullender, S.J. (1996) PFS: a distributed and customizable file system. In: 5th Int. Workshop Object-Orientation in Operating Systems (IWooos), Seattle, Washington. pp. 78-82. IEEE Computer Society. ISBN 0818676922
Bosch, H.G.P. and Mullender, S.J. (1996) Cut-and-Paste File-Systems: Integrating Simulators and File Systems. In: USENIX Annual Technical Conf., San Diego, California. pp. 307-318. USENIX Association. ISBN 1880446766
Bradfield, J. and Esparza, J. and Mader, A.H. (1996) An Effective Tableau System for the Linear Time µ-Calculus. In: 23rd Int. Conf. Automata, Languages and Programming (ICALP), Paderborn, Germany. pp. 98-109. Springer-Verlag. ISBN 3-540-61440-0
Brinksma, H. and Rensink, A. and Vogler, W. (1996) Applications of Fair Testing. In: Protocol Specification, Testing and Verification XVI (PSTV). pp. 145-160. IFIP Conference Proceedings 69. Chapman & Hall. ISBN 0-412-79490-X
Broersen, J.M. and Feenstra, R.B. and Wieringa, R.J. (1996) Minimal semantics for transaction specifications in a multi-modal logic. In: Proceedings of the 6th International Workshop on Foundations of Models and Languages for Data and Objects (IDB 1996), 16-20 Sep 1996, Schloss Dagstuhl, Germany. University of Magdeburg. ISBN not assigned
Broersen, J.M. and Wieringa, R.J. and Feenstra, R.B. (1996) Minimal Semantics for Action Specifications in PDL. In: Accolade 1996, 21-22 Nov 1996, Nijmegen, The Netherlands. pp. 15-30. Dutch Graduate School in Logic, University of Amsterdam. ISBN 9789074795746
Burger, J.F. and Burger, G.J. and Lammerink, T.S.J. and Imai, S. and Fluitman, J.H.J. (1996) Miniaturised friction force measuring system for tribological research on magnetic storage devices. In: Proceedings of the 1995 9th Annual International Workshop on Micro Electro Mechanical Systems, 11-15 Feb 1996, San Diego, CA, USA. pp. 99-104. IEEE Computer Society. ISBN 0-7803-2985-6
van de Burgt, S.P. and Andernach, J.A. and Kloosterman, H. and Bos, R. and Nijholt, A. (1996) Building dialogue systems that sell. In: Proceedings Natural Language Processing and Industrial Applications, 4-6 June 1996, Moncton, Canada. pp. 41-46. Moncton University.
Capobianchi, R. and Mautref, M. and van Keulen, M. and Balsters, H. (1996) An architecture and methodology for the design and development of Technical Information Systems. In: Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems (ISMIS), 9-13 Jun 1996, Zakopane, Poland. pp. 511-520. Lecture Notes in Computer Science 1079. Springer-Verlag. ISSN 0302-9743 ISBN 978-3-540-61286-5
Cederquist, J.G. (1996) An Implementation of the Heine-Borel Covering Theorem in Type Theory. In: 4th Int. Workshop on Types for Proofs and Programs (TYPES), Aussois, France. pp. 46-65. Springer-Verlag. ISBN 3-540-65137-3
D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata (Extended Abstract). In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, September 9-13, 1996, Uppsala, Sweden. pp. 110-129. Lecture Notes in Computer Science 1135. Springer Verlag. ISBN 3-540-61648-9
Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J. and Kuiper, R. (1996) A Modal Approach to Intentions, Commitments and Obligations:Intention plus Commitment yields Obligation. In: Third International Workshop on Deontic Logic in Computer Science, DEON1996, 11-13 Jan 1996, Sesimbra, Portugal. pp. 80-97. Workshops in Computing. Springer. ISBN 3540760156
van Dijk, H.W. and Hekstra, G.J. and Deprettere, E.F. (1996) Jacobi-Specific Processor Arrays. In: International Conference on Application Specific Systems, Architectures and Processors (ASAP), 19-21 Aug 1996, Chicago, Illinois. pp. 323-341. IEEE Computer Society.
ter Doest, H.W.L. and Moll, M. and Bos, R. and van de Burgt, S.P. and Nijholt, A. (1996) Language Engineering in Dialogue Systems. In: Computers in Engineering Symposium. Session on Natural Language in Human-Computer Interfaces, 29 Jan - 02 Feb, 1996, Houston, Texas. pp. 68-79. American Society of Mechanical Engineers (ASME).
Etalle, S. and Teusink, F. (1996) A Compositional Semantics for Normal Open Programs. In: Joint Int. Conf. and Symp. on Logic Programming (JICSLP), Bonn, Germany. pp. 468-482. The MIT press. ISBN 0-262-63173-3
Glaser, H. and Hartel, P.H. and de Jong Frz, E.K.J. (1996) Visualising the Structure of an IC-card Security Architecture. In: Smart Card Convention proceedings 1996 - Technology and markets, Feb 1996, Peterborough, UK. pp. 22-34. Quality Marketing Services Ltd. ISBN not assigned
Glaser, H. and Hartel, P.H. and de Jong, E.K. (1996) Structuring and Visualising an IC-card Security Standard. In: 2nd Smart card research and advanced application (CARDIS), Amsterdam, The Netherlands. pp. 89-110. CWI (Centrum voor Wiskunde en Informatica). ISBN 90 6196 465 2
Grefen, P.W.P.J. and Widom, J. (1996) Integrity Constraint Checking in Federated Databases. In: Proceedings 1st IFCIS International Conference on Cooperative Information Systems (CoopIS 1996), 19-21 Jun 1996, Brussels, Belgium. pp. 38-47. IEEE Computer Society. ISBN 0-8186-7505-5
Hartel, P.H. and de Jong, E.K. (1996) Smart Cards and Card Operating Systems. In: UNIFORUM, San-Francisco, California. pp. 725-730. Uniforum.
Hartvigsen, G. and Johansen, S. and Helme, A. and Widding, R.A. and Bellika, G. and Cao, W. (1996) The Virtual Secretary Architecture for Secure Software Agents. In: 1st Int. Conf. on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM), London, UK. pp. 843-851. Practical Application Company. ISBN 0952555433
Havinga, P.J.M. and Smit, G.J.M. and Helme, A. (1996) Survey of electronic payment methods and systems. In: Web technology, new media, communications and telematics theory, methods, tools and applications (Euromedia), London, UK. pp. 180-187. Society for Computer Simulation. ISBN 1-56555-102-8
Heerink, A.W. and Tretmans, G.J. (1996) Formal Methods in Conformance Testing: A Probabilistic Refinement. In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany. pp. 261-276. Chapman & Hall. ISBN 0-412-78790-3
Hogrefe, D. and Heymer, S. and Tretmans, G.J. (1996) Report on the Standardization Project "Formal Methods in Conformance Testing". In: Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems, Darmstadt, Germany. pp. 289-298. Chapman & Hall. ISBN 0-412-78790-3
Hulstijn, J. and Steetskamp, R. and ter Doest, H.W.L. and van de Burgt, S.P. and Nijholt, A. (1996) Topics in SCHISMA dialogues. In: Dialogue Management in Natural Language Systems, 19-21 June 1996, Enschede. pp. 89-99. Twente Workshop on Language Technology 11. University of Twente. ISSN 0929-0672
Imai, S. and Burger, G.J. and Lammerink, T.S.J. and Fluitman, J.H.J. (1996) Fundamental study on a thin-film ae sensor for measurement of behavior of a multi-pad contact slider. In: Proceedings of the 1996 IEEE International Magnetics Conference (INTERMAG'96). Part 1 (of 3), 9-12 April 1996, Seattle, WA, USA. pp. 3675-3677. IEEE Computer Society. ISSN 0018-9464
Jansen, H.V. and de Boer, M.J. and Elwenspoek, M.C. (1996) The black silicon method VI: high aspect ratio trench etching for MEMS applications. In: Proceedings IEEE Ninth Annual International Workshop on Micro Electro Mechanical Systems 1996, MEMS '96, 11-15 Feb 1996, San Diego, CA, USA. pp. 250-257. IEEE Computer Society. ISBN 0-7803-2985-6
Jansen, P.G. and Scholten, J. and Wijgerink, E. (1996) Flexible Scheduling in Multimedia Kernels. In: IEEE Intercon, Trujillo, Peru. pp. 93-102. Univ. Privado Antenor Orrego.
Jansen, P.G. and Wijgerink, E. (1996) Flexible Real Time Scheduling of Continuous Media Streams. In: Multimedia96 Conf., Yokohama, Japan. pp. 323-330. Information Processing Society of Japan.
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) On specifying real-time systems in a causality-based setting. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, September 9-13, 1996, Uppsala, Sweden. pp. 385-405. Lecture Notes in Computer Science 1135. Springer-Verlag. ISBN 3-540-61648-9
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) Stochastic simulation of event structures. In: Proceedings of the Fourth Process Algebra and Performance Modelling Workshop (PAPM'96). pp. 21-49. CLUT Press.
King, S.L. and Coccia, L.G. and Gardeniers, J.G.E. and Boyd, I.W. (1996) Microstructure of pulsed-laser deposited PZT on polished and annealed MGO substrates. In: Proceedings of the 1996 MRS Spring Symposium, 7-12 April 1996, San Francisco, CA, USA. pp. 157-162. Materials Research Society (MRS). ISSN 0272-9172
King, S.L. and Gardeniers, J.G.E. and Boyd, I.W. (1996) Pulsed-laser deposited ZnO for device applications. In: Proceedings of the 1995 E-MRS Spring Conference, 2 April 1996, Strasbourg, France. pp. 811-818. Elsevier. ISSN 0169-4332
Lammerink, T.S.J. and Spiering, V.L. and Elwenspoek, M.C. and Fluitman, J.H.J. and van den Berg, A. (1996) Modular concept for fluid handling systems: a demonstrator micro analysis system. In: Proceedings of the 1996 9th Annual International Workshop on Micro Electro Mechanical Systems, 11-15 Feb 1996, San Diego, CA, USA. pp. 389-394. IEEE Computer Society. ISBN 0-7803-2985-6
Legtenberg, R. and Berenschot, J.W. and Elwenspoek, M.C. and Fluitman, J.H.J. (1996) Electrostatic microactuators with integrated gear linkages for mechanical power transmission. In: Proceedings IEEE Ninth Annual International Workshop on Micro Electro Mechanical Systems, MEMS '96, 11-15 Feb 1996, San Diego, CA, USA. pp. 204-209. IEEE Computer Society. ISBN 0-7803-2985-6
Linnenbank, G.R.J. and Venkataram, P. and Havinga, P.J.M. and Mullender, S.J. and Smit, G.J.M. (1996) R-TDMA: a dynamic multiple access protocol using bandwidth on demand and priorities. In: 3rd Mobile Multimedia Communications (MoMuc), Princeton, New Jersey. pp. 173-180. Plenum Publishing Corp. ISBN 0306457725
Mullender, S.J. and Sijben, P.G.A. (1996) Quality of Service in Distributed Multimedia Systems. (Invited) In: Trends in Distributed Systems, CORBA and Beyond (TreDS), Oct 1-2, 1996, Aachen, Germany. pp. 1-13. Lecture Notes in Computer Science 1161. Springer-Verlag. ISBN 3-540-61842-2
Mullender, S.J. and van der Valk, M. (1996) Simulating wide-area replication. In: 7th Workshop on ACM SIGOPS European workshop: Systems support for worldwide applications, Connemara, Ireland. pp. 267-274. ACM Press.
Nymeyer, A. and Katoen, J.P. and Westra, Y. and Alblas, H. (1996) Code Generation = A* + BURS. In: Compiler Construction, 6th International Conference, CC'96, April 24-26, 1996, Linkoping, Sweden. pp. 160-177. Lecture Notes in Computer Science 1060. Springer-Verlag. ISBN 3-540-61053-7
Pollnau, M. and Lüthy, W. and Weber, H.P. (1996) Erbium 3-µm lasers: Concepts of energy recycling. In: Conference on Lasers and Electro-Optics / Europe, 8-13 September 1996, Hamburg, Germany. 131. European Physical Society. ISBN 0-7803-3169-9
Pollnau, M. and Lüthy, W. and Weber, H.P. and Krämer, K. and Güdel, H.U. and McFarlane, R.A. (1996) Excited-state dynamics in the low-phonon materials Er3+:BaY2F8 and Cs3Er2Br9 In: Advanced Solid State Lasers, 31 January - 2 February 1996, San Francisco, CA. pp. 493-497. OSA Trends in Optics and Photonics on Advanced Solid-State Lasers 1. Optical Society of America. ISBN 1-55752-370-3
Pollnau, M. and Schneider, J. and Unrau, U.B. and Lüthy, W. and Weber, H.P. (1996) Pr3+ co-doped 2.8-µm erbium fiber laser In: Conference on Lasers and Electro-Optics / Europe, 8-13 September 1996, Hamburg, Germany. 131. European Physical Society. ISBN 0-7803-3169-9
Popescu, D.S. and Dascalu, D.C. and Elwenspoek, M.C. and Lammerink, T.S.J. (1996) Ultrasonic transducer with thermomechanical excitation and piezoresistive detection. In: Proceedings of the 1996 International Semiconductor Conference, CAS'96. Part 1 (of 2), 9-12 Oct 1996, Sinaia, Romania. pp. 85-88. IEEE Computer Society. ISBN 0-7803-3223-7
Rensink, A. (1996) Denotational, Causal, and Operational Determinism in Event Structures. In: Trees in Algebra and Programming (CAAP). pp. 272-286. Lecture Notes in Computer Science 1059. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-61064-9
van Rijn, C.J.M. and Nijdam, W. and Elwenspoek, M.C. (1996) Microsieve for leukocyte depletion of erythrocyte concentrates. In: Proceedings of the 1996 18th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. Part 1 (of 5), 31 Oct - 3 Nov 1996, Amsterdam, Netherlands. pp. 256-257. IEEE Computer Society. ISSN 0589-1019 ISBN 0-7803-3811-1
Schneider, J. and Frerichs, C. and Carbonnier, C. and Unrau, U.B. and Pollnau, M. and Lüthy, W. and Weber, H.P. (1996) Double cascade erbium fiber laser at 1.7 µm, 2.7 µm, and 1.6 µm. In: Conference on Lasers and Electro-Optics / Europe, 8-13 September 1996, Hamburg, Germany. 329. European Physical Society. ISBN 0-7803-3169-9
Scholten, J. and Jansen, P.G. and Koelewijn, A. and Rissewijck, M.T.M.J. and Zijlstra, J.D. (1996) JAMES: An Experiment in Distributed Multimedia Specification. In: IEEE Intercon, Trujillo, Peru. pp. 83-92. Univ. Privado Antenor Orrego.
van Sinderen, M.J. and Chimento, P.F. and Ferreira Pires, L. (1996) Design of a shared whiteboard component for multimedia conferencing. In: Protocols for Multimedia Systems (PROMS 1996), 15-18 Oct 1996, Madrid, Spain. pp. 1-15. ETSI Telecomunicacion. ISBN 84-605-5621-2
Smit, G.J.M. and Havinga, P.J.M. and Dillema, F.W. and Sijben, P.G.A. (1996) Audio source location for a digital TV-Director. In: Web technology, new media, communications and telematics theory, methods, tools and applications (Euromedia), London, UK. pp. 103-111. Society for Computer Simulation. ISBN 1-56555-102-8
Spiering, V.L. and Bergveld, P. and Elwenspoek, M.C. and van den Berg, A. (1996) A µsensor array in a fluidic system for space applications. In: Proceedings Dutch Sensor Conference, 20-21 March 1996, Delft, Netherlands. pp. 143-146. Delft University Press. ISBN 90-407-1321-9
Spiering, V.L. and Lammerink, T.S.J. and Jansen, H.V. and Fluitman, J.H.J. and van den Berg, A. (1996) Technologies and microstructures for separation techniques in chemical analysis. In: Proceedings of SPIE - The International Society for Optical Engineering - Micromachined Devices and Components II, 14-15 Oct 1996, Austin, TX, USA. pp. 91-100. SPIE, The International Society for Optical Engineering. ISSN 0277-786X
Spreeuwers, L.J. and van der Heijden, F. and Siteur, J. (1996) Brightness perception in low resolution images of 3d textures. In: Proceedings of the second annual conference of the Advanced School for Computing and Imaging, ASCI'96, 5 June 1996, Lommel, Belgium. pp. 301-306. ASCI. ISBN 90-803086-1-7
Spreeuwers, L.J. and Houkes, Z. (1996) The construction of DEMs of textured areas using aerial video images sequences. In: Proceedings of the XIIIth ISPRS Congress, 12-18 July, Vienna, Austria. International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences. ISSN 1682-1750
Spring, R. and Pollnau, M. and Wittwer, S. and Lüthy, W. and Weber, H.P. (1996) Slope efficiency of a pulsed 2.8-µm Er3+:LiYF4 laser In: Advanced Solid State Lasers, 31 January - 2 February 1996, San Francisco, CA. pp. 309-311. OSA Trends in Optics and Photonics on Advanced Solid-State Lasers 1. Optical Society of America. ISBN 1-55752-370-3
Steenhagen, H.J. and de By, R.A. and Blanken, H.M. (1996) Translating OSQL-Queries into Efficient Set Expressions. In: Proceedings of the 5th International Conference on Extending Database Technology (EDBT), 25-29 Mar 1996, Avignon, France. pp. 183-197. Lecture Notes in Computer Science 1057. Springer Verlag. ISSN 0302-9743 ISBN 3-540-61057-X
Stegeman, G.I. and Schiek, R. and Baek, Y. and Krijnen, G.J.M. and Baumann, I. and Sohler, W. (1996) Applications of cascading nonlinear optics to all-optical devices. In: Proceedings of the 1996 9th Annual Meeting of IEEE Lasers and Electro-Optics Society, LEOS'96. Part 2 (of 2), 18-21 Nov 1996, Boston, MA, USA. pp. 322-323. IEEE Computer Society. ISBN 0-7803-3160-5
Terpstra, R. and Ferreira Pires, L. and Heerink, A.W. and Tretmans, G.J. (1996) Testing theory in practice: a simple experiment. In: COST 247 International Workshop on Applied Formal Methods in System Design, 17-19 Jun 1996, Maribor, Slovenia. pp. 168-183. IEEE Slovenia Section. ISBN 86-435-0155-7
Theune, M. (1996) GoalGetter: predicting contrastive accent in data-to-speech generation. In: Computational Linguistics in the Netherlands, Seventh CLIN Meeting, 15 Nov 1996, Eindhoven, The Netherlands. pp. 177-190. IPO. ISBN 90-386-1051-3
Tretmans, G.J. (1996) Test Generation with Inputs, Outputs, and Quiescence. In: Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, March 27-29, 1996, Passau, Germany. pp. 127-146. Lecture Notes in Computer Science 1055. Springer Verlag. ISBN 3-540-61042-1
Vermeer, W.W.M. and Apers, P.M.G. (1996) On the applicability of schema integration techniques to database interoperation. In: Proceedings of the 15th International Conference on Conceptual Modeling (ER 1996), 7-10 Oct 1996, Cottbus, Germany. pp. 179-194. Lecture Notes in Computer Science 1157. Springer Verlag. ISSN 0302-9743 ISBN 3-540-61784-1
Vermeer, W.W.M. and Apers, P.M.G. (1996) The role of integrity constraints in database interoperation. In: Proceedings of the 22th International Conference on Very Large Data Bases (VLDB 1996), 3-6 Sep 1996, Mumbai (Bombay), India. pp. 425-435. Morgan Kaufmann Publishers. ISBN 1-55860-382-4
Vervoort, W.A. and van Oosten, D.C. and Nijenhuis, L.F.J. and Bakkers, A.W.P. (1996) ADAM: ADaptive Autonomous Machine. In: 1st Euromicro Workshop on Advanced Mobile Robots, Kaiserslautern, Germany. pp. 143-150. IEEE Computer Society. ISBN 0-8186-7695-7
Wilschut, A.N. and Flokstra, Jan and Apers, P.M.G. (1996) Parallel Evaluation of Multi-join Queries. In: Proceedings of the Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O: Parallel Computation, 23-25 Sep 1996, Klagenfurt, Austria. pp. 90-97. Lecture Notes in Computer Science 1127. Springer Verlag. ISSN 0302-9743 ISBN 3-540-61695-0
Wittwer, S. and Pollnau, M. and Spring, R. and Lüthy, W. and Weber, H.P. and McFarlane, R.A. and Harder, C. and Meier, H.P. (1996) An optimized diode-pumped BaY2F8:Er3+(7.5 %) laser at 2.8-µm In: Conference on Lasers and Electro-Optics / Europe, 8-13 September 1996, Hamburg, Germany. 260. European Physical Society. ISBN 0-7803-3169-9

External Report

Dehne, F. and Wieringa, R.J. (1996) The Yourdon Systems Method and the Toolkit for Conceptual Modeling. Technical Report IR-414 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. and Huyts, S. (1996) Requirements analysis of the VoD application using the tools in TRADE. Technical report Number UNSPECIFIED Faculty of Mathematics and Computer Science, Free University, Amsterdam. ISSN not assigned

Internal Report

Asveld, P.R.J. (1996) The Non-Self-Embedding Property for Generalized Fuzzy Context-Free Grammars. Memorandum Informatica 96-08, Dept. of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Asveld, P.R.J. (1996) An Inefficient Representation of the Empty Word. Memorandum Informatica 96-14, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Asveld, P.R.J. (1996) Controlled Fuzzy Parallel Rewriting. Memorandum Informatica 96-18, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755
D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata. Technical Report 96-13, University of Twente.
D'Argenio, P.R. and Verhoef, C. (1996) A general conservative extension theorem in process algebras with inequalities. Technical Report 96-17, University of Twente.
van Eijk, P. and Belinfante, A.F.E. and Eertink, E.H. and Alblas, H. (1996) The Term Processor Generator Kimwitu (Full version). Technical Report 96-49, University of Twente.
Groen, H. and Schepers, W. (1996) Twente Compiler Generator System version 2.6. Technical Report Number UNSPECIFIED, Twente University Press.
Tretmans, G.J. (1996) Test Generation with Inputs, Outputs and Repetitive Quiescence. Technical Report TR-CTIT-96-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Master's Thesis

Geurtsen, A.J.M. (1996) Pulsed laser deposition of permanent magnetic Nd2Fe14B thin films Master's thesis, University of Twente.
Heinen, A.M. (1996) Digital magnetic recording on video tape. Master's thesis, University of Twente.
Hiemstra, D. (1996) Using statistical methods to create a bilingual dictionary. Master's thesis, University of Twente.
Knol, J. (1996) Characterisation of direct-bonded metal base and spin-valve transistor structures. Master's thesis, University of Twente.
Visser, E.M. (1996) Oblique sputtered CoNi layers. Master's thesis, University of Twente.

Patent

Nauta, B. (1996) Line driver with adaptive output impedance. Patent US005510751A (Assigned).

PhD Thesis

van Dijk, E.M.A.G. (1996) Composing SQL queries: A study on problem-solving strategies in computer science education. PhD thesis, University of Twente. ISBN 90 5166 535 0
Katoen, J.P. (1996) Quantitative and Qualitative Extensions of Event Structures. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 96-09
Legtenberg, R. (1996) Electrostatic actuators fabricated by surface micromachining techniques. PhD thesis, University of Twente. ISBN 90-3650796-0
Meng, Q. (1996) Magneto-optical recording media - CoNi/Pt and Co/Pt multilayers. PhD thesis, University of Twente. ISBN 90 900 9945 X
Nauta, J.M. (1996) Vehicle Trajectory Planning with Interval Arithmetic. PhD thesis, University of Twente. ISBN 90-365-0820-7
Porthun, S. (1996) High resolution magnetic force microscopy: instrumentation and application for recording media. PhD thesis, University of Twente. ISBN 90 900 9664 7

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