EEMCS

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

EEMCS EPrints Service


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

Number of items: 114.

Article

Abelmann, L. and Kambersky, V. and Lodder, J.C. and Popma, T.J.A. (1993) Analysis of Torque Measurements on Films with Oblique Anistropy. IEEE Transactions on Magnetics, 29. pp. 3022-3024. ISSN 0018-9464 *** ISI Impact 1,277 ***
Apers, P.M.G. and Balsters, H. and Blanken, H.M. and de By, R.A. and Houtsma, M.A.W. and Verkoulen, P.A.C. and Wilschut, A.N. (1993) Database research at the University of Twente. SIGMOD record, 22 (4). pp. 87-91. ISSN 0163-5808 *** ISI Impact 0,698 ***
Bartoli, A. and Mullender, S.J. and van der Valk, M. (1993) Wide-address spaces-exploring the design space. Operating Systems Review, 27 (1). pp. 11-17.
Beemster, M. and Hartel, P.H. and Hertzberger, L.O. and Hofman, R.F.H. and Langendoen, K.G. and Li, L.L. and Milikowski, R. and Vree, W.G. and Barendregt, H.P. and Mulder, J.C. (1993) Experience with a clustered parallel reduction machine. Future Generation Computer Systems, 9 (3). pp. 175-200. ISSN 0167-739X *** ISI Impact 2,430 ***
ten Berge, P. and Lodder, J.C. and Plossl, R. and Chapman, J.N. (1993) Magnetic Microstructure of Sputtered Co-Cr Films. Journal of magnetism and magnetic materials, 120. pp. 362-365. ISSN 0304-8853 *** ISI Impact 2,357 ***
Cacace, F. and Ceri, S. and Houtsma, M.A.W. (1993) A survey of parallel execution strategies for transitive closure and logic programs. Distributed and Parallel Databases, 1 (4). pp. 337-382. ISSN 0926-8782 *** ISI Impact 0,800 ***
Choenni, R.S. and Blanken, H.M. and Chang, S.C. (1993) On the selection of Secondary Indices in Relational Databases. Data and Knowledge Engineering, 11 (3). pp. 207-233. ISSN 0169-023X *** ISI Impact 1,500 ***
Elwenspoek, M.C. (1993) On the mechanism of anisotropic etching of silicon. Journal of the Electrochemical Society, 140 (7). pp. 2075-2080. ISSN 0013-4651 *** ISI Impact 3,014 ***
Fredrikze, H. and de Haan, Poul and Lodder, J.C. and Rekveldt, M.T. (1993) Neutron Reflectometry on Co-Cr Layers. Journal of magnetism and magnetic materials, 120. pp. 369-371. ISSN 0304-8853 *** ISI Impact 2,357 ***
Grefen, P.W.P.J. and Apers, P.M.G. (1993) A Graph-Based Approach to Action Scheduling in a Parallel Database System. Journal on Computers and Artificial Intelligence, 12 (3). pp. 251-278. ISSN 0232-0274
Grefen, P.W.P.J. and Apers, P.M.G. (1993) Integrity Control in Relational Database Systems - An Overview. Data and knowledge engineering, 10 (2). pp. 187-223. ISSN 0169-023X *** ISI Impact 1,500 ***
Groenland, J.P.J. and van Engelen, G.J.P.P. and Bernards, J.P.C. and Cramer, H.A.J. (1993) Investigating Recording Patterns Using Magnetic Force Microscopy. Journal of magnetism and magnetic materials, 120. pp. 327-329. ISSN 0304-8853 *** ISI Impact 2,357 ***
Haverkort, B.R.H.M. (1993) Approximate Performability and Dependability Analysis using Generalized Stochastic Petri Nets. Performance evaluation, 18. pp. 61-78. ISSN 0166-5316 *** ISI Impact 0,944 ***
Hayashi, H. and Katayama, T. and Suzuki, Y. and Taninaka, M. and Thiavill, A. and Geerts, W.J.M.A. (1993) Magneto-optical Kerr Rotation Spectra in Fe Ultrathin Film on Noble Metals. Journal of magnetism and magnetic materials, 126. pp. 547-549. ISSN 0304-8853 *** ISI Impact 2,357 ***
Hoekstra, H.J.W.M. and Krijnen, G.J.M. and Lambeck, P.V. (1993) New formulation of the beam propagation method based on the slowly varying envelope approximation. Optics communications, 97 (5-6). pp. 301-303. ISSN 0030-4018 *** ISI Impact 1,480 ***
Joosten, S.M.M. and van den Berg, K.G. and van der Hoeven, G.F. (1993) Teaching functional programming to first-year students. Journal of Functional Programming, 3 (1). pp. 49-65. ISSN 0956-7968 *** ISI Impact 1,357 ***
Joosten, S.M.M. and van den Berg, K.G. and Weenk, W. (1993) Training in ontwerpen: opzet en evaluatie van het vak ontwerpmethoden [Training in Design. Outline and Evaluation of the Course Design Methods]. Tijdschrift voor informatica-onderwijs (TINFON), 1993 (2). pp. 124-129. ISSN 0927-8982
Kambersky, V. and de Haan, Poul and Lodder, J.C. and Simsova, J. and Gemperle, R. (1993) Domain Structures in Co/Pd Multilayers. IEEE Transactions on Magnetics, 29. pp. 3138-3140. ISSN 0018-9464 *** ISI Impact 1,277 ***
van Kooten, M. and de Haan, S. and Lodder, J.C. and Lyberatos, A. and Chantrell, R.W. and Miles, J.J. (1993) Simulations of the Magnetization Reversal of Clustered Co-Cr Particles. Journal of magnetism and magnetic materials, 120. pp. 145-148. ISSN 0304-8853 *** ISI Impact 2,357 ***
Kordecki, R. and Meckenstock, R. and Pelzl, J. and Nikitov, S. and Lodder, J.C. (1993) Investigations of Bulk and Surface Spin Wave Modes in FeNi Multilayers by Spin Wave Resonance. Journal of magnetism and magnetic materials, 126. pp. 524-527. ISSN 0304-8853 *** ISI Impact 2,357 ***
Kraan, W.H. and Rekveldt, M.T. and de Haan, Poul and Lodder, J.C. (1993) Domain Wall effects in Neutron Depolarization in Co-Cr Films. Journal of magnetism and magnetic materials, 120. pp. 372-374. ISSN 0304-8853 *** ISI Impact 2,357 ***
van Kranenburg, H. and Lodder, J.C. and Popma, T.J.A. (1993) Asymmetric Co-evaporated Co-Cr Films - Magnetic Parameters and Reversal Mechanism. Journal of magnetism and magnetic materials, 120. pp. 225-228. ISSN 0304-8853 *** ISI Impact 2,357 ***
van Kranenburg, H. and Lodder, J.C. and Popma, T.J.A. (1993) Morphology and Texture of Co-evaporated Co-Cr Films. Journal of magnetism and magnetic materials, 120. pp. 353-356. ISSN 0304-8853 *** ISI Impact 2,357 ***
Kuper, J. (1993) An Axiomatic Theory for Partial Functions. Information and computation, 107 (1). pp. 104-150. ISSN 0890-5401 *** ISI Impact 0,873 ***
Lammerink, T.S.J. and Tas, N.R. and Elwenspoek, M.C. and Fluitman, J.H.J. (1993) Micro-liquid flow sensor. Sensors and actuators A: Physical, 37-38. pp. 45-50. ISSN 0924-4247 *** ISI Impact 2,201 ***
Leslie, I.M. and McAuley, D. and Mullender, S.J. (1993) Pegasus - Operating System Support for Distributed Multimedia Systems. Operating Systems Review, 27 (1). pp. 69-78. ISSN 0163-5980
Lindberg, U. and Soderkvist, J. and Lammerink, T.S.J. and Elwenspoek, M.C. (1993) Quasi-buckling of micromachined beams. Journal of micromechanics and microengineering, 3 (4). pp. 183-186. ISSN 0960-1317 *** ISI Impact 1,768 ***
te Lintelo, J.G.T. and Streekstra, W. and Lodder, J.C. and Popma, T.J.A. (1993) The Influence of Demagnetization on the Magnetic After-Effect of Co-Cr Micro Structures. IEEE Transactions on Magnetics, 29. pp. 3748-3750. ISSN 0018-9464 *** ISI Impact 1,277 ***
Lodder, J.C. and de Haan, Poul and van Kranenburg, H. (1993) Giant Magnetoresistance in Obliquely Co-Evaporated Co-Ag Films. Journal of magnetism and magnetic materials, 128. pp. 219-228. ISSN 0304-8853 *** ISI Impact 2,357 ***
Lodder, J.C. and van Kranenburg, H. and Takei, K. and Maeda, Y. (1993) NMR measurements on obliquely evaporated Co-Cr films. Journal of magnetism and magnetic materials, 118. pp. 248-262. ISSN 0304-8853 *** ISI Impact 2,357 ***
Mes, M.H. and Lodder, J.C. and Takahata, T. and Moritani, I. and Imamura, N. (1993) CoNi/Pt Multilayers for Magneto-optical Recording. Journal of the Magnetics Society of Japan, 17. 44-4?. ISSN 0285-0192
Meyer, J.J.C. and Wieringa, R.J. (1993) Preface. Annals of Mathematics and Artificial Intelligence, 9 (1-2). ISSN 1012-2443 *** ISI Impact 0,944 ***
Porthun, S. and ten Berge, P. and Lodder, J.C. (1993) Bitter colloid obsevations of magnetic structures in perpendicular magnetic recording media. Journal of magnetism and magnetic materials, 123. pp. 199-208. ISSN 0304-8853 *** ISI Impact 2,357 ***
Rensink, A. (1993) Order isomorphism does not preserve global event independence. Bulletin of the European Association for Theoretical Computer Science, 51. pp. 228-235. ISSN 0252-9742
de Ridder, R.M. and Sander, A.F.M. and Driessen, A. and Fluitman, J.H.J. (1993) An integrated optic adiabatic TE/TM mode splitter on silicon. Journal of lightwave technology, 11 (11). pp. 1806-1811. ISSN 0733-8724 *** ISI Impact 2,567 ***
Samwel, E.O. and Bissell, P.R. and Lodder, J.C. (1993) Remanent Magnetic Measurements on Perpendicular Recording Materials with Compensation for Demagnetizing Fields. Journal of applied physics, 73. pp. 1353-1359. ISSN 0021-8979 *** ISI Impact 2,101 ***
Sikkel, K. (1993) Parallel On-line Parsing in Constant Time per Word. Theoretical computer science, 120. pp. 303-310. ISSN 0304-3975 *** ISI Impact 0,643 ***
Spiering, V.L. and Bouwstra, S. and Burger, J.F. and Elwenspoek, M.C. (1993) Membranes fabricated with a deep single corrugation for package stress reduction and residual stress relief. Journal of micromechanics and microengineering, 3 (4). pp. 243-246. ISSN 0960-1317 *** ISI Impact 1,768 ***
Spiering, V.L. and Bouwstra, S. and Fluitman, J.H.J. (1993) Realization of mechanical decoupling zones for package-stress reduction. Sensors and actuators A: Physical, 37-38. pp. 800-804. ISSN 0924-4247 *** ISI Impact 2,201 ***
Teeuw, W.B. and Blanken, H.M. (1993) Control versus Data Flow in Parallel Database Machines. IEEE Transactions on Parallel and Distributed Systems, 4 (11). pp. 1265-1279. ISSN 1045-9219 *** ISI Impact 2,661 ***
Tilmans, H.A.C. and Elwenspoek, M.C. (1993) Quasi-monolithic planar load cells using built-in resonant strain gauges. Journal of micromechanics and microengineering, 3 (4). pp. 193-197. ISSN 0960-1317 *** ISI Impact 1,768 ***
Wieringa, R.J. and Meyer, J.J.C. (1993) Actors, actions, and initiative in normative system specification. Annals of Mathematics and Artificial Intelligence, 7. pp. 289-346. ISSN 1662-4548
Wilschut, A.N. and Apers, P.M.G. (1993) Dataflow Query Execution in a Parallel, Main-memory Environment. Distributed and Parallel Databases, 1 (1). pp. 103-128. ISSN 0926-8782 *** ISI Impact 0,800 ***

Book

de Jong, F.M.G. and Nijholt, A., ed. (1993) Natural Language Interfaces: From Laboratory to Commercial and User Environment. Twente Workshop on Language Technology 5. University of Twente, Enschede. ISSN 0929-0672
Mullender, S.J., ed. (1993) Distributed Systems. Second edition. Addison Wesley, Reading, Massachusetts. ISBN 0-201-62427-3
Sikkel, K. and Nijholt, A., ed. (1993) Natural Language Parsing - Methods and Formalisms. Twente Workshop on Language Technology 6. University of Twente, Enschede. ISSN 0929-0672
Veldhuis, R.N.J. and Breeuwer, M. (1993) An Introduction to Source Coding. Prentice Hall, New York.

Review

Asveld, P.R.J. (1993) Review of "Y. Toyama, How to prove equivalence of term rewriting systems without induction, Theor. Comp. Sci. 90 (1991) 369-390". Mathematical reviews, MR1142324 / 93a:68070. pp. 399-399. ISSN 0025-5629
Asveld, P.R.J. (1993) Review of "G.J. Akkerman & J.C.M. Baeten, Term rewriting analysis in process algebra, CWI Quarterly 4 (1991) 257-267". Mathematical reviews, MR1168734 / 93f:68054. pp. 3330-3330. ISSN 0025-5629
Asveld, P.R.J. (1993) Review of "F. Mueller, Confluence of the lambda calculus with left-linear algebraic rewriting, Inform. Process. Lett. 41 (1991) 293-299". Mathematical reviews, MR1163040 / 93f:68055. pp. 3330-3330. ISSN 0025-5629
Asveld, P.R.J. (1993) Review of "G. Paun, M. Szijarto & S. Vicolov, Further remarks on reduced languages, Fund. Inform. 16 (19920 337-347". Mathematical reviews, MR1176890 / 93j:68102. pp. 5687-5687. ISSN 0025-5629

Book Section

Akşit, M. and Wakita, K. and Bosch, J. and Bergmans, L.M.J. and Yonezawa, A. (1993) Abstracting Object Interactions Using Composition Filters. In: Object-Based Distributed Processing. Lecture Notes in Computer Science 791. Springer Verlag, London, pp. 152-184. ISBN 3-540-57932-X
Hartel, P.H. and Glaser, H. and Wild, J.M. (1993) FAST compiler user's guide. In: FAST: Functional programming for arrays of transputers -- The collected papers. Department of Electronics and Computer Science, University of Southampton, Southampton, UK, pp. 247-264.
Lodder, J.C. (1993) Magnetic properties and preparation of thin-film magnetic recording media. In: High Density Digital Recording. Kluwer Academic Publishers, Dordrecht, pp. 59-99.
Lodder, J.C. (1993) Preparation, microstructure and magnetic properties of Co-Cr thin films. In: High Density Digital Recording. Kluwer Academic Publishers, Dordrecht, pp. 161-195.
Meyer, J.-J.C and Wieringa, R.J. (1993) Deontic Logic: A Concise Overview. In: Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, Chichester, UK, pp. 3-16. ISBN 0471937436
Wieringa, R.J. and Meyer, J.J.C. (1993) Applications of Deontic Logic in Computer Science: A Concise Overview. In: Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, Chichester, UK, pp. 17-40. ISBN 0471937436

Conference or Workshop Paper

d'Altan, P. and Meyer, J.J.C. and Wieringa, R.J. (1993) An integrated system for ought-to-be and ought-to-do constraints (extended abstract). In: AAAI 1993 Spring Symposium, 23-25 Mar 1993, Stanford University, Palo Alto, USA. pp. 48-57. AAAI Press. ISBN not assigned
Apt, K.R. and Etalle, S. (1993) On the unification free Prolog programs. In: Mathematical Foundations of Computer Science (MFCS), Gdansk, Poland. pp. 1-19. Springer-Verlag.
Bal, C.M.R. and Balsters, H. (1993) A Deductive and Typed Object-Oriented Language. In: Proceedings of the 2rd International Conference on Deductive and Object-Oriented Databases (DOOD 1993), 6-8 Dec 1993, Phoenix, Arizona. pp. 340-359. Lecture Notes in Computer Science 760. Springer Verlag. ISSN 0302-9743 ISBN 3-540-57530-8
Balsters, H. and de By, R.A. and Zicari, R. (1993) Typed Sets as a Basis for Object-Oriented Database Schemas. In: Proceedings of the 7th European Conference on Object-Oriented Programming (ECOOP 1993), 26-30 July 1993, Kaiserslautern, Germany. pp. 161-184. Lecture Notes in Computer Science 707. Springer Verlag. ISSN 0302-9743 ISBN 3-540-57120-5
van den Berg, K.G. and van den Broek, P.M. and van Petersen, G.M. (1993) Validation of Structure Metrics: A Case Study. In: First International Software Metrics Symposium, 21-22 May 1993, Baltimore, MD, USA. pp. 92-99. IEEE Computer Society. ISBN 0818637404
Choenni, R.S. and Blanken, H.M. and Chang, S.C. (1993) On the Automation of Physical Database Design. In: Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice (SAC 1993), 14-16 Feb 1993, Indianapolis, IN, USA. pp. 358-367. ACM Press. ISBN 0-89791-567-4
Choenni, R.S. and Blanken, H.M. and Chang, T. (1993) Index Selection in Relational Databases. In: Proceedings of the 5th International Conference on Computing and Information (ICCI 1993), 27-29 May 1993, Sudbury, Ont., Canada. pp. 491-496. IEEE Computer Society. ISBN 0-8186-4212-2
Elders, J. and Tilmans, H.A.C. and Bouwstra, S. and Elwenspoek, M.C. (1993) Mechanical parameter extraction using resonant structures. In: Proceedings of the 1993 Spring Meeting of the Materials Research Society, 12-16 April 1993, San Francisco, CA, USA. pp. 171-176. Materials Research Society. ISSN 0272-9172
Ferreira Pires, L. and van Sinderen, M.J. and Vissers, C.A. (1993) Advanced design concepts for open distributed systems. In: Proceedings of the Fourth Workshop on Future Trends on Distributed Computing Systems, 22-24 Sep 1993, Lisbon, Portugal. pp. 419-425. IEEE Computer Society. ISBN 0-8186-4430-3
Ferreira Pires, L. and Vissers, C.A. and van Sinderen, M.J. (1993) Advances in architectural concepts to support distributed systems design. In: Eleventh Brazilian Symposium on Computer Networks, SBRC 1993, May 1993, Campinas, Brazil. Universitária Unicamp. ISBN not assigned
Fokkinga, M.M. and Poel, M. and Zwiers, J. (1993) Modular Completeness for Communication Closed Layers. In: Proceedings of the 4th International Conference on Concurrency Theory (CONCUR 1993), 23-26 Aug 1993, Hildesheim, Germany. pp. 50-65. Lecture Notes in Computer Science 715. Springer Verlag. ISBN 3-540-57208-2
Grefen, P.W.P.J. (1993) Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem. In: Proceedings of the 19th International Conference on Very Large Data Bases (VLDB 1993), 24-27 Aug 1993, Dublin, Ireland. pp. 581-591. Morgan Kaufmann. ISBN 1-55860-152-X
Hartel, P.H. and Langendoen, K.G. (1993) Benchmarking implementations of lazy functional languages. In: 6th Functional programming languages and computer architecture (FPCA), Copenhagen, Denmark. pp. 341-349. ACM Press. ISBN 0-89791-595-X
Heijenk, G.J. and Jordense, M.A. and Niemegeers, I.G.M.M. (1993) Description of a multi-media multi-user service. In: Proceedings of the Second International Conference on Computer Communications and Networks, IC3N, 28 - 30 Jun 1993, San Diego, CA, USA. pp. 213-220. International Society for Computers & Their Applications. ISBN 1-880843-05-6
Houtsma, M.A.W. and Apers, P.M.G. and Schipper, G.L.V. (1993) Data fragmentation for parallel transitive closure strategies. In: Proceedings of the 9th International Conference on Data Engineering (ICDE 1993), 19-23 April 1993, Vienna, Austria. pp. 447-456. IEEE Computer Society. ISBN 0-8186-3570-3
Houtsma, M.A.W. and Wilschut, A.N. and Flokstra, Jan (1993) Implementation and Performance Evaluation of a Parallel Transitive Closure Algorithms on PRISMA/DB. In: Proceedings of the 19th International Conference on Very Large Data Bases (VLDB 1993), 24-27 Aug 1993, Dublin, Ireland. pp. 206-217. Morgan Kaufmann Publishers Inc.. ISBN 1-55860-152-X
Lammerink, T.S.J. and Elwenspoek, M.C. and Fluitman, J.H.J. (1993) Intergrated micro-liquid dosing system. In: Proceedings of the 1993 IEEE Micro Electro Mechanical Systems - MEMS, 7-10 Feb 1993, Fort Lauderdale, FL, USA. pp. 254-259. IEEE Computer Society. ISBN 0-7803-0958-8
Li, C.Z. and Lodder, J.C. and Szpunar, J.A. (1993) Experimental studies of texture development in Co-Cr. In: Textures of Materials ICOTOM 10, Clausthal, Germany. pp. 1387-1393. Materials Science Forum 157-162. Trans Tech Publications. ISSN 0255-5476
Li, C.Z. and Lodder, J.C. and Szpunar, J.A. (1993) The influence of tecture on the magnetic properties of Co-Cr films. In: Textures of Materials ICOTOM, Clausthal,. pp. 1941-1947. Materials Science Forum 157-162. Trans Tech Publications. ISSN 0255-5476
Miyake, R. and Lammerink, T.S.J. and Elwenspoek, M.C. and Fluitman, J.H.J. (1993) Micro mixer with fast diffusion. In: Proceedings of the 1993 IEEE Micro Electro Mechanical Systems - MEMS, 7-10 Feb 1993, Fort Lauderdale, FL, USA. pp. 248-253. IEEE Computer Society. ISBN 0-7803-0958-8
Nauta, D. and Nijholt, A. and Schaake, J. (1993) Pragmatics in language technology: Introduction. In: Pragmatics in Language Technology, 23 Sept 1992, Enschede. pp. 1-5. Twente Workshop on Language Technology 4. University of Twente. ISSN 0929-0672
Niemegeers, I.G.M.M. and Heijenk, G.J. and Hou, Xinli (1993) Signalling and control in B ISDN. In: Proceedings of the 4th International Conference on Advances in Communication and Control, COMCON 4, 14 - 18 Jun 1993, Rhodes, Greece. pp. 745-757. Optimization Software Inc. ISBN 0-911575-42-1
Nijholt, A. (1993) NN approaches to natural language: Context and trends. (Invited) In: International Conference on Artificial Neural Networks (ICANN) '93, 13-16 Sept 1993, Amsterdam. pp. 323-330. Springer Verlag. ISBN 0387198393
Nijholt, A. (1993) Natural language parsing: An introduction. In: Natural Language Parsing, 16-17 Dec 1993, Enschede. pp. 1-22. Twente Workshop on Language Technology 6. University of Twente. ISSN 0929-0672
Nijholt, A. and de Jong, F.M.G. (1993) Natural Language Interfaces: Introduction. In: Natural Language Interfaces: From Laboratory to Commercial and User Environment, 3-4 June 1993, Enschede. pp. 1-8. Twente Workshop on Language Technology 5. University of Twente. ISSN 0929-0672
Oude Luttighuis, P.H.W.M. and Sikkel, K. (1993) Generalized LR Parsing and Attribute Evaluation. In: 3rd International Workshop on Parsing Technologies, 10-13 Aug 1993, Tilburg, the Netherlands / Durbuy, Belgium. pp. 219-232. Katholieke Universiteit Brabant. ISBN not assigned
Sikkel, K. and op den Akker, H.J.A. (1993) Predictive Head-Corner Chart Parsing. In: Third International Workshop on Parsing Technologies (IWPT3), 10-13 Aug 1993, Tilburg, the Netherlands / Durbuy, Belgium. pp. 267-276. IWPT (3). Tilburg University. ISBN not assigned
Teeuw, W.B. and Rich, C. and Scholl, M.H. and Blanken, H.M. (1993) An Evaluation of Physical Disk I/Os for Complex Object Processing. In: Proceedings of the Ninth International Conference on Data Engineering (ICDE 1993), 19-23 Apr 1993, Vienna, Austria. pp. 363-371. IEEE Computer Society. ISBN 0-8186-3570-3
Veenhof, H.M. and Houtsma, M.A.W. and Apers, P.M.G. (1993) Query optimization for GIS using filters. In: Proceedings of The First ACM Workshop on Advances in Geographic Information Systems (ACM GIS 1993), Arlington, Virginia, USA. ACM Press.
Vissers, C.A. and van Sinderen, M.J. and Ferreira Pires, L. (1993) What makes industries believe in formal methods. In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV XIII, 25-28 May 1993, Liege, Belgium. pp. 3-26. IFIP Transactions C-16. North-Holland. ISBN 0-444-81648-8
Wieringa, R.J. and Jungclaus, R. and Hartel, P. and Saake, G. and Hartmann, T. (1993) OMTROLL - Object Modeling in Troll. In: International Worskshop on Information Systems - Correctness and Reusability, IS-CORE 1993, Sept 1993, Hannover, Germany. pp. 267-283. Informatik Berichte 01/93. Universität Hannover, Institut für Informatik. ISBN not assigned
Wilschut, A.N. and van Gils, S.A. (1993) A model for pipelined query execution. In: Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems (MASCOTS 1993), 17-20 Jan 1993, La Jolla, San Diego, CA, USA. pp. 225-232. Society for Computer Simulation. ISBN 1-56555-018-8

External Report

Holsheimer, M. and de By, R.A. and Ait-Kaci, H. (1993) A Database Interface for Complex Objects. Technical Report PRL-RR-27 Digital Equipment Corporation, Paris Research Laboratory, Avenue Victor Hugo 85, 92563 Rueil Malmaison Cedex, France.
Wieringa, R.J. (1993) Een analyse van methodes voor informatiesysteemontwikkeling. Technical Report IR-335 Faculteit Wiskunde en Informatica, Vrije Universiteit, Amsterdam. ISSN not assigned

Inaugural/Exaugural lecture

Internal Report

Asveld, P.R.J. (1993) An Alternative Formulation of Cocke-Younger-Kasami's Algorithm. Memorandum Informatica 93-48, Dept. of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Asveld, P.R.J. (1993) An Algebraic Approach to Incomparable Families of Formal Languages. Memorandum Informatica 93-48, Dept. of Computer Science, University of Twente. ISSN 0924-3755
van den Broek, P.M. and van den Berg, K.G. (1993) Modelling Software for Structure Metrics. Memorandum Memoranda Informatica INF-93-13, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Feenstra, R.B. and Wieringa, R.J. (1993) LCM 3.0: A Language for describing Conceptual Models. Technical report IR-344, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
Heijenk, G.J. and El Zarki, M. and Niemegeers, I.G.M.M. (1993) Customer creation and combination in queueing networks. Memoranda Informatica 93-35, University of Twente, Enschede, Netherlands. ISSN 0924-3755
Rensink, A. (1993) Order isomorphism does not preserve global event independence. Hildesheimer Informatik-Bericht 10/93, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014
Wieringa, R.J. (1993) A method for building and evaluating formal specifications of object-oriented conceptual models of database systems. Technical Report IR-340, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. and Feenstra, R.B. (1993) The university library document circulation system specified in LCM. Technical report IR-343, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned

Master's Thesis

Hokwerda, D. (1993) Characterization of multilayers for magneto-optical recording. Master's thesis, University of Twente.
Mes, M.H. (1993) Co-Ni/Pt multilayers for magneto-optical recording. Master's thesis, University of Twente.

PhD Thesis

Cramer, H.A.J. (1993) On the hystheresis and the recording process in magneticmedia. PhD thesis, University of Twente. ISBN 90 74445 06 3
te Lintelo, J.G.T. (1993) Magnetic stray fields of periodically arranged Co-Crmicro strips. PhD thesis, University of Twente. ISBN 90 900 6644 6
Oude Luttighuis, P.H.W.M. (1993) Parallel algorithms for parsing and attribute evaluation. PhD thesis, University of Twente. ISBN 90-9006247-5
Rensink, A. (1993) Models and Methods for Action Refinement. PhD thesis, University of Twente. ISBN 90-9006336-6
Scollo, G. (1993) On the engineering of logics. PhD thesis, University of Twente. ISBN 90-9005895-8
Sikkel, K. (1993) Parsing Schemata. PhD thesis, University of Twente. ISBN 90-9006688-8
Teeuw, W.B. (1993) Parallel Management Of Complex Objects. PhD thesis, University of Twente. ISBN 90-9006314-5
Wilschut, A.N. (1993) Parallel Query Execution In A Main-Memory Database System. PhD thesis, University of Twente. ISBN 90-9005857-5

This list was generated on Mon May 29 08:36:16 CEST 2017.