EEMCS

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

EEMCS EPrints Service


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

Number of items: 136.

Article

Abelmann, L. and Berge, P.t. and Lodder, J.C. and Popma, T.J.A. (1994) Oblique Evaporation of CO80Ni20 part I: Fixed Angle of Vapour Incidence Journal of the magnetic society of Japan, 18. pp. 291-294.
Asveld, P.R.J. (1994) An Alternative Formulation of Cocke-Younger-Kasami's Algorithm. Bulletin of the European Association for Theoretical Computer Science, 53. pp. 213-216. ISSN 0252-9742
Berenschot, J.W. and Gardeniers, J.G.E. and Lammerink, T.S.J. and Elwenspoek, M.C. (1994) New applications of r.f.-sputtered glass films as protection and bonding layers in silicon micromachining. Sensors and actuators A: Physical, 41 ( 1-3 pt 3). pp. 338-343. ISSN 0924-4247 *** ISI Impact 2,201 ***
ten Berge, P. and Abelmann, L. and Lodder, J.C. and Schrader, A. and Luitjens, S.B. (1994) Oblique Evaporation of CO80Ni20 part II: Continuously Varying Angleof Vapour Incidence Journal of the Magnetics Society of Japan, 18. pp. 295-298. ISSN 0285-0192
Berkhoff, A.P. (1994) Impedance analysis of subwoofer systems. Journal of the Audio Engineering Society, 42 (1). pp. 4-14. ISSN 0004-7554
Bossi, A. and Etalle, S. (1994) Transforming acyclic programs. ACM Transactions on Programming Languages and Systems (TOPLAS), 16 (4). pp. 1081-1096. ISSN 0164-0925 *** ISI Impact 1,148 ***
Craciun, V. and Elders, J. and Gardeniers, J.G.E. and Boyd, I.W. (1994) Characteristics of high quality ZnO thin films deposited by pulsed laser deposition. Applied physics letters, 65 (23). pp. 2963-2965. ISSN 0003-6951 *** ISI Impact 3,142 ***
Dellatorra, E. and Vajda, F. and Pardavi-Horvath, M. and Lodder, J.C. (1994) Application of the Variable Variance Hysteresis Model to Co-Cr Perpendicular Recording Media. Journal of the Magnetics Society of Japan, 18. pp. 117-120. ISSN 0285-0192
Elwenspoek, M.C. and Lammerink, T.S.J. and Miyake, R. and Fluitman, J.H.J. (1994) Towards integrated microliquid handling systems. Journal of micromechanics and microengineering, 4 (4). pp. 227-245. ISSN 0960-1317 *** ISI Impact 1,768 ***
Franken, L.J.N. and Haverkort, B.R.H.M. (1994) The Performability Manager. IEEE Network, 8 (1). pp. 24-32. ISSN 0890-8044 *** ISI Impact 2,899 ***
Geerts, W.J.M.A. and Lodder, J.C. and Popma, T.J.A. (1994) Biaxial Kerr Magnetometry in Oblique Field for the Study of Thin Films with a Perpendicular Anisotropy. Journal of magnetism and magnetic materials, 137. pp. 224-232. ISSN 0304-8853 *** ISI Impact 2,357 ***
Goltz, U. and Rensink, A. (1994) Finite petri nets as models for recursive causal behaviour. Theoretical computer science, 124 (1). pp. 169-179. ISSN 0304-3975 *** ISI Impact 0,643 ***
Grefen, P.W.P.J. and de By, R.A. and Apers, P.M.G. (1994) Integrity Control in Advanced Database Systems. IEEE Bulletin on Data Engineering, 17 (2). pp. 9-13.
Hartel, P.H. and Glaser, H. and Wild, J.M. (1994) Compilation of functional languages using flow graph analysis. Software: Practice and Experience, 24 (2). pp. 127-173. ISSN 0038-0644 *** ISI Impact 0,652 ***
Hartel, P.H. and Vree, W.G. (1994) Experiments with destructive updates in a lazy functional language. Computer Languages, 20 (3). pp. 177-192. ISSN 0096-0551
Heijenk, G.J. and Hou, Xinli and Niemegeers, I.G.M.M. (1994) Communication systems supporting multimedia multi-user applications. IEEE Network, 8 (1). pp. 34-44. ISSN 0890-8044 *** ISI Impact 2,899 ***
Hurink, J.L. and Jurisch, B. and Thole, M. (1994) Tabu search for the job-shop scheduling problem with multi-purpose machines. OR Spectrum, 15 (4). pp. 205-215. ISSN 0171-6468 *** ISI Impact 1,395 ***
Jansen, H.V. and Gardeniers, J.G.E. and Elders, J. and Tilmans, H.A.C. and Elwenspoek, M.C. (1994) Applications of fluorocarbon polymers in micromechanics and micromachining. Sensors and actuators A: Physical, 41 (1-3). pp. 136-140. ISSN 0924-4247 *** ISI Impact 2,201 ***
Kemner, K.M. and Harris, V.G. and Elam, W.T. and Lodder, J.C. (1994) Polarization dependent EXAFS studies of chemical and structural anisotropy in sputter deposited Co78Cr22 films IEEE Transactions on Magnetics, 30. pp. 4017-4019. ISSN 0018-9464 *** ISI Impact 1,277 ***
van Kooten, M. and de Haan, S. and Lodder, J.C. and Popma, T.J.A. (1994) Reversible Magnetization-Rotation in Sub-Micron Co-Cr Samples: Measurements and Micromagnetic Simulations. Journal of applied physics, 75. pp. 5508-5510. ISSN 0021-8979 *** ISI Impact 2,101 ***
van Kranenburg, H. and Lodder, J.C. (1994) Tailoring Growth and Local Composition by Oblique-Incidence Deposition - A Review and New Experimental Data. Materials science and engineering review, 11. pp. 295-354.
Krijnen, G.J.M. and Hoekstra, H.J.W.M. and Lambeck, P.V. (1994) A new method for the calculation of propagation constants and field profiles of guided modes of nonlinear channel waveguides based on the effective index method. Journal of lightwave technology, 12 (9). pp. 1550-1559. ISSN 0733-8724 *** ISI Impact 2,567 ***
Legtenberg, R. and Tilmans, H.A.C. and Elders, J. and Elwenspoek, M.C. (1994) Stiction of surface micromachined structures after rinsing and drying: model and investigation of adhesion mechanisms. Sensors and actuators A: Physical, 43 (1-3). pp. 230-238. ISSN 0924-4247 *** ISI Impact 2,201 ***
Li, C.Z. and Lodder, J.C. and Szpunar, J.A. (1994) The Development of Texture in Co-Cr Films. IEEE Transactions on Magnetics, 30. pp. 1373-1379. ISSN 0018-9464 *** ISI Impact 1,277 ***
Li, C.Z. and Lodder, J.C. and Szpunar, J.A. (1994) The Influence of the Textural Development on Magnetic Properties in Co-Cr Thin Films. Journal of magnetism and magnetic materials, 131. pp. 427-439. ISSN 0304-8853 *** ISI Impact 2,357 ***
te Lintelo, J.G.T. and Lodder, J.C. (1994) On the Relationship between Magnetic Viscosity and Coercivity of Perpendicular Media. Journal of applied physics, 76. pp. 1741-1744. ISSN 0021-8979 *** ISI Impact 2,101 ***
te Lintelo, J.G.T. and Lodder, J.C. and McVitie, S. and Chapman, J.N. (1994) Magnetic stray fields of Co-Cr microstrips measured by Lorentz microscopy. Journal of applied physics, 75. pp. 3002-3007. ISSN 0021-8979 *** ISI Impact 2,101 ***
Lodder, J.C. (1994) High density magnetic recording. De Vonk, 13. pp. 6-15.
Lodder, J.C. and de Haan, S. and van Kooten, M. and te Lintelo, J.G.T. and Porthun, S. (1994) Magnetic Structures in Co-Cr Films for Perpendicular Recording. Journal of the Magnetics Society of Japan, 18. pp. 493-499. ISSN 0285-0192
Nijholt, A. (1994) Parlevink in Kontekst: Meer dan Language Engineering. Re-Cursief, 2 (1). pp. 22-32.
Pollnau, M. and Graf, T. and Balmer, J.E. and Lüthy, W. and Weber, H.P. (1994) Explanation of the cw operation of the Er3+ 3-µm crystal laser Physical review A, 49 (5). pp. 3990-3996. ISSN 1050-2947
Pollnau, M. and Heumann, E. and Huber, G. (1994) Stimulated emission and excited-state absorption at room temperature on the 550 nm-laser transition in Er3+ doped YAlO3 Journal of Luminescence, 60-61. pp. 842-845. ISSN 0022-2313 *** ISI Impact 2,693 ***
Prak, A. and Fluitman, J.H.J. (1994) Applications of a model for silicon resonant sensors. Sensors and actuators A: Physical, 41 (1-3 pt 3). pp. 251-255. ISSN 0924-4247 *** ISI Impact 2,201 ***
Ruhrig, M. and Porthun, S. and Lodder, J.C. (1994) Magnetic Force Microscopy Using Electron-Beam Fabricated Tips. Review of scientific instruments, 65. pp. 3224-3228. ISSN 0034-6748 *** ISI Impact 1,336 ***
Simsa, Z. and Zemek, J. and Simsova, J. and de Haan, Poul and Lodder, J.C. (1994) Kerr Rotation and XPS Spectra of Co/Pd Multilayers. IEEE Transactions on Magnetics, 30. pp. 951-953. ISSN 0018-9464 *** ISI Impact 1,277 ***
Simsova, J. and Gemperle, R. and Kambersky, V. and Porthun, S. and de Haan, Poul and Lodder, J.C. (1994) Domain Structure of Co/Pd Multilayers. IEEE Transactions on Magnetics, 30. pp. 784-787. ISSN 0018-9464 *** ISI Impact 1,277 ***
Tilmans, H.A.C. and Legtenberg, R. and Schurer, H. and IJntema, D.J. and Elwenspoek, M.C. and Fluitman, J.H.J. (1994) (Electro-) mechanical characteristics of electrostatically driven vacuum encapsulated polysilicon resonators. IEEE transactions on ultrasonics, ferroelectrics and frequency control, 41 (1). pp. 4-6. ISSN 0885-3010 *** ISI Impact 2,287 ***
Torruellas, W.E. and Krijnen, G.J.M. and Kim, Dug Y. and Schiek, R. and Stegeman, G.I. and Vidakovic, P. and Zyss, J. (1994) Cascading nonlinearities in an organic single crystal core fiber: The Cerenkov regime. Optics communications, 112 (1-2). pp. 122-130. ISSN 0030-4018 *** ISI Impact 1,480 ***
Wijnands, F.H.G.M. and Hoekstra, H.J.W.M. and Krijnen, G.J.M. and de Ridder, R.M. (1994) Modal fields calculation using the finite difference beam propagation method. Journal of lightwave technology, 12 (12). pp. 2066-2072. ISSN 0733-8724 *** ISI Impact 2,567 ***

Book

Appelo, L. and de Jong, F.M.G., ed. (1994) Computer-Assisted Language Learning : proceedings of the seventh Twente Workshop on Language Technology. Twente Workshop on Language Technology 7. University of Twente, Enschede. ISSN 0929-0672
Boves, L. and Nijholt, A., ed. (1994) Speech and Language Engineering. Twente Workshop on Language Technology 8. University of Twente, Enschede. ISSN 0929-0672
Michiels, E.F., ed. (1994) ISO/IEC 10607-3:1994 Information technology - Int. Standardized Profiles AFT11 Simple file transfer. Int. Standard edition. ISO/IEC, Geneva.
Michiels, E.F., ed. (1994) ISO/IEC 10607-5:1994 Information technology - Int. Standardized Profiles AFT22 Positional file access. Int. Standard edition. ISO/IEC, Geneva.
Michiels, E.F., ed. (1994) ISO/IEC 10607-6:1994 Information technology - Int. Standardized Profiles AFT3 File management. Int. Standard edition. ISO/IEC, Geneva.
van der Heijden, F. (1994) Image based measurement systems: object recognition and parameter estimation. John Wiley & Sons Ltd, Chichester. ISBN 978-0-471-95062-2
Nijholt, A. and van den Ende, J. (1994) De Geschiedenis van de Rekenkunst: Van Kerfstok tot Computer (The History of Computing: From Tally-Stick to Computer). Academic Service, Schoonhoven. ISBN 90-395-0048-7

Review

Asveld, P.R.J. (1994) Review of "J. Dassow, J. Kelemen & G. Paun, On parallellism in colonies, Cybernet Systems 24 (1993) 37-49". Mathematical reviews, MR1202093 / 94a:68068. pp. 482-482. ISSN 0025-5629
Asveld, P.R.J. (1994) Review of "K. Madlener, P. Narendran, F. Otto & L. Zhang, On weakly confluent monadic string-rewriting systems, Theor. Comp. Sci. 113 (1993) 119-165". Mathematical reviews, MR1218908 / 94j:68141. pp. 5981-5981. ISSN 0025-5629

Book Section

Balsters, H. (1994) Lambda Calculus extended with Segments. In: Selected Papers on Automath. Studies in Logic and the Foundations of Mathematics. 133. Elsevier Publishing Company, Amsterdam, pp. 339-369. ISBN 0444898220
Lodder, J.C. (1994) An example of miniaturization in consumer products: high density magnetic recording. In: Microsystem technology: exploring opportunities. Stichting Toekomst der Techniek, den Haag, pp. 164-173. ISBN 90-14-05088-7
Nijholt, A. (1994) Fakultatief? Fakultaaltief! Taaldief! In: Lustrumboek. Wiskunde en Informatica Studievereniging Christiaan Huygens. Christiaan Huygens, Delft, pp. 100-104.
Nijholt, A. (1994) Parallel approaches to context-free language parsing. In: Parallel Natural Language Processing. Ablex Publishing Corporation, Norwood, New Jersey, pp. 135-167. ISBN 0-89391-869-5
Nijholt, A. (1994) Parallelism and (syntactic) language processing. In: Encyclopedia of Language and Linguistics. Pergamon Press, Oxford, pp. 2935-2941. ISBN 0-08-0359434
Wieringa, R.J. (1994) LCM and MCM: Specification of a control system using dynamic logic and process algebra. In: Formal Development of Reactive Systems Case Study Production Cell. Lecture Notes in Computer Science 891. Springer, Berlin, pp. 333-355. ISBN 9783540588672

Conference or Workshop Paper

Aitchison, J.S. and Villeneuve, A. and Krijnen, G.J.M. and Stegeman, G.I. (1994) Efficient all-optical switching in a nonlinear AlGaAs X-junction. In: Conference on Lasers and Electro-Optics Europe - Technical Digest, 28 Aug -02 Sept 1994, Amsterdam, Netherlands. pp. 405-406. IEEE Computer Society. ISBN 0-7803-1789-0
op den Akker, H.J.A. and ter Doest, H.W.L. (1994) Weakly Restricted Stochastic Grammars. In: COLING 1994, 15th International Conference on Computational Linguistics, 5-9 Aug 1994, Kyoto, Japan. pp. 929-934. Association for Computational Linguistics.
Akşit, M. and Bosch, H.G.P. and van der Sterren, W. and Bergmans, L.M.J. (1994) Real-Time Specification Inheritance Anomalies and Real-Time Filters. In: ECOOP'94, 4-8 July 1994, Bologna, Italy. pp. 386-407. Lecture Notes in Computer Science 821. Springer. ISSN 0302-9743 ISBN 3540582029
Apers, P.M.G. (1994) Identifying Internet-related database research. In: Proceedings of the Second International East/West Database Workshop, 25-28 Sep 1994, Klagenfurt, Austria. pp. 183-193. Workshops in Computing. Springer-Verlag. ISBN 3-540-19946-2
van den Berg, A. and Bergveld, P. and Reinhoudt, D.N. and Elwenspoek, M.C. and Fluitman, J.H.J. (1994) Miniaturized chemical analysis systems. In: Proceedings of the 1994 5th International Symposium on Micro Machine and Human Science Proceedings, 2-4 October 1994, Nagoya, Jpn. pp. 181-184. IEEE Computer Society. ISBN 0-7803-2095-6
van den Berg, K.G. and van den Broek, P.M. (1994) Axiomatic Testing of Structure Metrics. In: Second International Software Metrics Symposium, 24-26 October 1994, London, UK. pp. 45-53. IEEE Computer Society. ISBN 0818658657
Bossi, A. and Etalle, S. (1994) More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. In: 4th Int. Workshop on Meta Programming in Logic (META), Pisa, Italy. pp. 311-331. Springer-Verlag. ISBN 3-540-58792-6
Choenni, R.S. and Bertino, E. and Blanken, H.M. and Chang, S.C. (1994) On the Selection of Optimal Index Configuration in OO Databases. In: Proceedings of the 10th International Conference on Data Engineering (ICDE1994), 14-18 Feb 1994, Houston, TX, USA. pp. 526-537. IEEE Computer Society. ISBN 0-8186-5402-3
Choenni, R.S. and Bertino, E. and Blanken, H.M. and Chang, S.C. (1994) Index Configurations in Object-Oriented Databases. In: Proceedings of the 13th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS1994), Versailles, France. pp. 119-133. Prentice-Hall. ISBN 0-13-350539-1
Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J. (1994) A dynamic logic for reasoning about sub-ideal states. In: ECAI Workshop on Artificial Normative Reasoning, 8 Aug 1994, Amsterdam, The Netherlands. pp. 79-92. ISBN not assigned
Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J. (1994) Contextual Permission: A Solution to the Free Choice Paradox. In: Second International Workshop on Deontic Logic in Computer Science, DEON '94, 6-8 Jan 1994, Oslo, Norway. pp. 107-130. Norwegian Research Center for Computers and Law. ISBN not assigned
Elders, J. and Jansen, H.V. and Elwenspoek, M.C. (1994) Materials analysis of fluorocarbon films for MEMS applications. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 25-28 Jan 1994, Oiso, Jpn. pp. 170-175. IEEE Computer Society. ISBN 0-7803-1833-1
Elwenspoek, M.C. (1994) Some selected research item of the micro mechanics department at MESA. In: Proceedings of the 1994 5th International Symposium on Micro Machine and Human Science Proceedings, 2-4 October 1994, Nagoya, Jpn. pp. 8-31. IEEE Computer Society. ISBN 0-7803-2095-6
Elwenspoek, M.C. and Lindberg, U. and Kok, H. and Smith, L. (1994) Wet chemical etching mechanism of silicon. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 25-28 Jan 1994, Oiso, Jpn. pp. 223-228. IEEE Computer Society. ISBN 0-7803-1833-1
Flokstra, Jan and van Keulen, M. and Skowronek, J. (1994) The IMPRESS DDT: a database design toolbox based on a formal specification language. In: Proceedings of the 1994 ACM SIGMOD international conference on Management of data (SIGMOD 1994), 24-27 May 1994, Minneapolis, Minnesota, USA. pp. 506-506. ACM Press. ISSN 0163-5808
Flokstra, Jan and van Keulen, M. and Skowronek, J. (1994) IMPRESS Database Design Tool - a high-level design toolset based on formal theory. In: Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994), 4-8 Jul 1994, Bologna, Italy. Demo-papers not included in on-line proceedings. ISBN not assigned
Fluitman, J.H.J. (1994) Micro systems technology. In: Proceedings of the IEEE 1994 Custom Integrated Circuits Conference, 1-4 May 1994, San Diego, CA, USA. pp. 471-478. IEEE Computer Society. ISBN 0-7803-1886-2
Fluitman, J.H.J. and van den Berg, A. and Lammerink, T.S.J. (1994) Micromechanical components for μTAS. (Invited) In: Proceedings of the μTAS ’94 conference, 21-22 November 1994, Enschede. pp. 73-83. Kluwer Academic Publishers. ISBN 0-7923-3217-2
Gardeniers, J.G.E. and Elwenspoek, M.C. and Cobianu, C. (1994) Texture variations in sol-gel derived PZT films on substrates with platinum metallization. In: Proceedings of the 1994 MRS Spring Meeting, 4-8 April 1994, San Francisco, CA, USA. pp. 451-456. Materials Research Society. ISSN 0272-9172
Goltz, U. and Gorrieri, R. and Rensink, A. (1994) On Syntactic and Semantic Action Refinement. In: Theoretical Aspects of Computer Software, Sendai, Japan. pp. 385-404. Lecture Notes in Computer Science 789. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-57887-1
Grefen, P.W.P.J. and de By, R.A. (1994) A Multi-Set Extended Relational Algebra - A Formal Approach to a Practical Issue. In: Proceedings of the 10th International Conference on Data Engineering (ICDE 1994), 14-18 Feb 1994, Houston, TX, USA. pp. 80-88. IEEE Computer Society. ISBN 0-8186-5402-3
Hartel, P.H. and de Jong, E.K. (1994) Towards testability in smart card operating system design. In: 1st Smart card research and advanced application (CARDIS), Lille, France. pp. 73-88. Univ. de Lille.
Heijenk, G.J. and El Zarki, M. and Niemegeers, I.G.M.M. (1994) Modelling segmentation and reassembly processes in communication networks. In: Proceedings of the 14th Internetional Teletraffic Congres, ITC 14, 6 - 10 Jun 1994, Antibes Juan-les-Pins, France. pp. 513-524. Teletraffic Science and Engineering 1a. Elsevier. ISBN 0-444-82031-0
van der Hoeven, G.F. and van de Burgt, S.P. and Andernach, J.A. and Schaake, J. and Kruijff, G.-J.M. and Nijholt, A. and de Jong, F.M.G. (1994) SCHISMA: A natural language accessible theatre information and booking system. In: Speech and Language Engineering, 1-2 Dec 1994, Enschede. pp. 137-149. Twente Workshop on Language Technology 8. University of Twente. ISSN 0929-0672
Holsheimer, M. and de By, R.A. and Ait-Kaci, H. (1994) A Database Interface for Complex Objects. In: Proceedings of the 11th International Conference on Logic Programming (ICLP 1994), 13-18 June 1994, Santa Margherita Ligure, Italy. pp. 437-455. MIT Press. ISBN 0-262-72022-1
Jansen, H.V. and de Boer, M.J. and Legtenberg, R. and Elwenspoek, M.C. (1994) The black silicon method: a universal method for determining the parameter setting of a fluorine-based reactive ion etcher in deep silicon trench etching with profile control. In: Micro Mechanics Europe 1994, 5-6 Sept 1994, Pisa, Italy. pp. 1-5. MicroMechanics Europe.
Jansen, H.V. and Verhagen, R. and Elwenspoek, M.C. (1994) BSM 3: design rules, modelling, optimisation, and performance of precision position systems for scanning probe, gripping, and other MEMS applications. In: Seminar on Handling and Assembly of Microparths, 14 Nov 1994, Vienna, Austria. pp. 1-10. Unknown. ISBN Not assigned
Krijnen, G.J.M. and Lambeck, P.V. and Hoekstra, H.J.W.M. (1994) All-optical switching by means of nonlinear asymmetrical Y-junctions. In: Conference Proceedings - Lasers and Electro-Optics Society Annual Meeting, 8-13 May 1994, Anaheim, CA, USA. pp. 109-110. IEEE Computer Society. ISBN 0-7803-1971-0
Krijnen, G.J.M. and Villeneuve, A. and Stegeman, G.I. and Lambeck, P.V. and Hoekstra, H.J.W.M. (1994) A versatile all-optical modulator based on nonlinear Mach-Zehnder interferometers. In: IEEE Nonlinear Optics: Materials, Fundamentals and Applications, NLO '94, 25-29 Jul 1994, Waikoloa, HI, USA. pp. 412-414. IEEE Computer Society. ISBN 0-7803-1473-5
Mullender, S.J. and Leslie, I.M. and McAuley, D. (1994) Operating-System Support for Distributed Multimedia. In: Summer 1994 USENIX Conf., Boston, Massachusetts. pp. 209-219. USENIX Association.
Pollnau, M. and Heumann, E. and Heine, F. and Danger, T. and Lüthy, W. and Huber, G. and Weber, H.P. (1994) Population mechanisms of the room-temperature 551 nm Er:LiYF4 laser In: Conference on Lasers and Electro-Optics / Europe, 28 August - 2 September 1994, Amsterdam, The Netherlands. pp. 130-131. European Physical Society. ISBN 0-7803-1789-0
Pollnau, M. and Lüthy, W. and Weber, H.P. (1994) Influence of normal and inverse upconversion processes on the continuous wave operation of the Er3+ 3 µm crystal laser In: Advanced Solid State Lasers, 7-9 February 1994, Salt Lake City, UT. pp. 163-167. OSA Proceedings on Advanced Solid-State Lasers 20. Optical Society of America. ISBN 1-55752-323-1
Popescu, D.S. and Lammerink, T.S.J. and Elwenspoek, M.C. (1994) Buckled membranes for microstructures. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 25-28 Jan 1994, Oiso, Jpn. pp. 188-192. IEEE Computer Society. ISBN 0-7803-1833-1
Rensink, A. (1994) Extraordinals: An Equational Theory of Posets. In: Combining Structures, Logics and Theories, Copenhagen, Denmark. pp. 149-169. Copenhagen Business School. ISBN not assigned
Rensink, A. (1994) Methodological Aspects of Action Refinement. In: Programming Concepts, Methods and Calculi, San Miniato, Italy. pp. 227-246. IFIP Transactions A-56. Elsevier. ISSN 0926-5473 ISBN 0-444-82020-5
Rensink, A. and Wehrheim, H. (1994) Weak Sequential Composition in Process Algebras. In: Concurrency Theory (CONCUR), Uppsala, Sweden. pp. 226-241. Lecture Notes in Computer Science 836. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-58328-8
Saake, G. and Hartel, P. and Jungclaus, R. and Wieringa, R.J. and Feenstra, R.B. (1994) Inheritance conditions for object life cycle diagrams. In: EMISA-Workshop Formale Grundlagen fur den Entwurf von Informationsystemen, 24-26 May 1994, Tutzing, Germany. pp. 79-88. Informatik-Berichte (3/94). Institut für Informatik, Universität Hannover. ISBN not assigned
Sikkel, K. (1994) A framework for parsing algorithm specification and analysis. In: 2. Konferenz Verarbeitung natürlicher Sprache (KONVENS'94), 28-30 Sep 1994, Wien. pp. 300-309. Informatik Xpress 6. Springer Verlag. ISBN not assigned
Smit, G.J.M. and Havinga, P.J.M. (1994) A Switch Architecture For Real-time Multimedia Communications. In: 2nd Euromicro Workshop on Parallel and Distributed Processing, Malaga, Spain. pp. 438-444. IEEE Computer Society.
Spiering, V.L. and Berenschot, J.W. and Elwenspoek, M.C. and Fluitman, J.H.J. (1994) Low temperature sacrificial wafer bonding for planarization after very deep etching. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 25-28 Jan 1994, Oiso, Jpn. pp. 69-74. IEEE Computer Society. ISBN 0-7803-1833-1
Steenhagen, H.J. and Apers, P.M.G. and Blanken, H.M. and de By, R.A. (1994) From Nested-Loop to Join Queries in OODB. In: Proceedings of 20th International Conference on Very Large Data Bases (VLDB 1994), 12-15 Sep 1994, Santiago de Chile, Chile. pp. 618-629. Morgan Kaufmann Publishers Inc.. ISBN 1-55860-153-8
Vis, J. and Brinksma, H. and de By, R.A. (1994) Formal Specification of Distributed Information Systems. In: CAiSE'94 workshop on Formal Descriptions of Distributed Information Systems, Utrecht, The Netherlands.
Wieringa, R.J. (1994) Transaction decomposition in Object-Oriented Models. In: Workshop on Formal Methods for Information System Dynamics, 6-7 Jun 1994, Utrecht, the Netherlands. Memoranda Informatica. University of Twente, Department of Computer Science. ISSN 0924-3755
Wieringa, R.J. and de Jonge, W. and Spruit, P.A. (1994) Roles and Dynamic Subclasses: a modal logic approach. In: ECOOP 1994, 4-8 July 1994, Bologna, Italy. pp. 32-59. Lecture Notes in Computer Science 821. Springer. ISSN 0302-9743 ISBN 3540582029
Wilschut, A.N. and Apers, P.M.G. (1994) Understanding large scale parallelism for data management. (Invited) In: Proceedings of the 3rd International Conference on Parallel and Distributed Information Systems (PDIS), 28-30 Sep 1994, Austin, Texas, USA. pp. 4-4. IEEE Computer Society. ISBN 0-8186-6400-2

External Report

Meyer, J.J.C. and Dignum, F.P.M. and Wieringa, R.J. (1994) The paradoxes of deontic logic revisited: a computer science perspective. Technical Report UU-CS-1994-38 University of Utrecht, Utrecht. ISSN 0924-3275

Inaugural/Exaugural lecture

Nijholt, A. (1994) De Bovenste Plank: Voetnoot bij de Onderste Steen. University of Twente, Enschede.

Internal Report

van den Berg, K.G. and van den Broek, P.M. (1994) Static Analysis of Functional Programs. Memorandum Memoranda Informatica INF-94-53, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755
van den Berg, K.G. and van den Broek, P.M. (1994) Axiomatic Testing of Structure Metrics. Memorandum Memoranda Informatica INF-94-06, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Brinksma, H. and Parrow, J. and Rensink, A. and Heymer, S. (1994) Specification of Systems: Theory in Search of Practice. Hildesheimer Informatik-Bericht 24/94, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
van den Broek, P.M. and van den Berg, K.G. (1994) A Generalised Approach to Software Structure Metrics. Memorandum Memoranda Informatica INF-94-22, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Fokkinga, M.M. (1994) Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755
Fokkinga, M.M. (1994) Dyads, a generalisation of monads. Memoranda Informatica 94-30, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755
Fokkinga, M.M. (1994) Abstracte Datatypen en Categorie-Theorie. Memoranda Informatica 94-32, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755
Fokkinga, M.M. and Meertens, L.G.L.T. (1994) Adjunctions. Memoranda Informatica 94-31, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755
Heijenk, G.J. and Niemegeers, I.G.M.M. (1994) Modelling the reassembly buffer in a connectionless server: extended version. Memoranda Informatica 94-43, University of Twente, Enschede, Netherlands. ISSN 0924-3755
Oomen, A.W.J. and Groenewegen, M.E. and van der Waal, R.G. and Veldhuis, R.N.J. (1994) A variable-bit-rate buried-data channel for compact disc. Report Type UNSPECIFIED 3833,
Rensink, A. (1994) Deterministic Pomsets. Hildesheimer Informatik-Bericht 30/94, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Wieringa, R.J. (1994) Jackson System Development, Entity-relationship Analysis and Data Flow Models: a comparative study. Technical report IR-336, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned

Master's Thesis

Bijker, M.D. (1994) Measurement & modelling of mechanical properties of film-substrate systems. Master's thesis, University of Twente.
Bijl, D.B. (1994) Magnetic characaterisation of metal evaporated tape using a Bi-axial VSM. Master's thesis, University of Twente.
Bijwaard, D.J.A. (1994) Tuning fuzzy systems by function approximation. Master's thesis, University of Twente.
Monsma, D.J. (1994) Development of the spin valve transistor. Master's thesis, University of Twente.

PhD Thesis

Abelmann, L. (1994) Oblique evaporation of CO80Ni20 for magnetic recording PhD thesis, University of Twente. ISBN 90 900 7098 2
Bal, C.M.R. (1994) A Deductive And Typed Object-Oriented Language. PhD thesis, University of Twente. ISBN 90-9007532-1
van den Berg, C.A. (1994) Dynamic Query Processing In A Parallel Object-Oriented Database System. PhD thesis, University of Twente. ISBN 90-6196434-2
Bergmans, L.M.J. (1994) Composing Concurrent Objects. PhD thesis, University of Twente, Enschede, the Netherlands. ISBN 9090073590
van Dorp, H.D. (1994) On an Extension of Functional Languages for Use in Prototyping. PhD thesis, University of Twente. ISBN 90-9007594-1
van den Ende, J. (1994) The Turn of the Tide Computerization in Dutch Society, 1900 - 1965. PhD thesis, Technische Universiteit Delft. ISBN 90-407-1005-8
Ferreira Pires, L. (1994) Architectural notes: a framework for distributed systems development. PhD thesis, University of Twente, Enschede, the Netherlands. CTIT Ph.D.-thesis series No. 94-01 ISBN 90-9007461-9
Fijma, D.H. (1994) Analysis and Design of Parallel Algorithms. PhD thesis, University of Twente. ISBN 90-9006749-3
de Haan, S. (1994) Magnetisation reversal in Co-Cr thin films. PhD thesis, University of Twente. ISBN 90 900 6923 2
Janssen, W.P.M. (1994) Layered Design of Parallel Systems. PhD thesis, University of Twente. ISBN 90-9007399-X
Kuper, J. (1994) Partiality in Logic and Computation - Aspects of Undefinedness. PhD thesis, University of Twente. ISBN 90-9006865-1
Smit, G.J.M. (1994) The Design of Central Switch Communication Systems for Multimedia Applications. PhD thesis, University of Twente. ISBN 90-9006758-2
Vosse, T.G. (1994) The Word Connection. Grammar-based Spelling Error Correction in Dutch. PhD thesis, Rijksuniversiteit Leiden. ISBN 90-75296-01-0

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