EEMCS

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

EEMCS EPrints Service


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

Number of items: 174.

Article

Bedö, S. and Pollnau, M. and Lüthy, W. and Weber, H.P. (1995) Saturation of the 2.71 µm laser output in erbium doped ZBLAN fibers. Optics communications, 116 (1-3). pp. 81-86. ISSN 0030-4018 *** ISI Impact 1,480 ***
van den Berg, K.G. (1995) Meten aan software: ook in het informatica-onderwijs [Measurement of Software: also in Computer Science Courses]. Tijdschrift voor informatica-onderwijs (TINFON), 4 (2). pp. 48-53. ISSN 0927-8982
van den Berg, K.G. and van den Broek, P.M. (1995) Static Analysis of Functional Programs. Information and Software Technology, 37 (4). pp. 213-224. ISSN 0950-5849 *** ISI Impact 1,569 ***
Berkhoff, A.P. and van den Berg, P.M. and Thijssen, J.M. (1995) Iterative calculation of reflected and transmitted acoustic waves at a rough interface. IEEE transactions on ultrasonics, ferroelectrics and frequency control, 42 (4). pp. 663-671. ISSN 0885-3010 *** ISI Impact 2,287 ***
Bijker, M.D. and van Drent, W.P. and Lodder, J.C. (1995) Stress measurements on magnetic multilayers. Journal of magnetism and magnetic materials, 148. pp. 160-162. ISSN 0304-8853 *** ISI Impact 2,357 ***
Botchev, M.A. (1995) On the stability of nonselfadjoint difference schemes with M-matrices for evolution boundary value problems with an elliptic operator with respect to space. Russian Mathematics (Izvestiya VUZ. Matematika), 39 (9). pp. 13-20. ISSN 1066-369X
Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1995) A stochastic causality-based process algebra. The Computer journal, 38 (7). pp. 552-565. ISSN 0010-4620 *** ISI Impact 1,000 ***
Brinksma, H. and Langerak, R. (1995) Functionality Decomposition by Compositional Correctness Preserving Transformation. South African Computer Journal, 13. pp. 2-13. ISSN 1015-7999
van den Broek, P.M. and van den Berg, K.G. (1995) A Generalised Approach to Software Structure Metrics. IEE Software Engineering Journal, 10 (2). pp. 61-67. ISSN 0268-6961
Craciun, V. and Amirhaghi, S. and Craciun, D. and Elders, J. and Gardeniers, J.G.E. and Boyd, I.W. (1995) Effects of laser wavelength and fluence on the growth of ZnO thin films by pulsed laser deposition. Applied surface science, 86 (1). pp. 99-106. ISSN 0169-4332 *** ISI Impact 3,150 ***
Craciun, V. and Elders, J. and Gardeniers, J.G.E. and Geretovsky, J. and Boyd, I.W. (1995) Growth of ZnO thin films on GaAs by pulsed laser deposition. Thin solid films, 259 (1). pp. 1-4. ISSN 0040-6090 *** ISI Impact 1,761 ***
Ctyroky, J. and Hoekstra, H.J.W.M. and Krijnen, G.J.M. and Lambeck, P.V. and Joannes, L. and Decoster, D. and Leite, A.P. and Pregla, R. and Ahlers, E. and Vinchant, J.F. and Andrade, M.A. (1995) Modelling of self-aligned total internal reflection waveguide mirrors: an interlaboratory comparison. Optical and Quantum Electronics, 27 (10). pp. 935-942. ISSN 0306-8919 *** ISI Impact 1,290 ***
Donnet, D.M. and Tsutsumi, K. and de Haan, Poul and Lodder, J.C. (1995) The effect of sputtergas on the physical and magnetic microstructure of Co/Cu Multilayers. NVEM Symposium, Jaarboek 1995. pp. 8586-8586.
Gardeniers, J.G.E. and Smith, A. and Cobianu, C. (1995) Characterisation of sol-gel PZT films on Pt-coated substrates. Journal of micromechanics and microengineering, 5 (2). pp. 153-155. ISSN 0960-1317 *** ISI Impact 1,768 ***
Ghisler, C. and Pollnau, M. and Bunea, G. and Bunea, M. and Lüthy, W. and Weber, H.P. (1995) Up-conversion cascade laser at 1.7 µm with simultaneous 2.7 µm lasing in erbium ZBLAN fibre. Electronics letters, 31 (5). pp. 373-374. ISSN 0013-5194 *** ISI Impact 0,854 ***
van Gilst, F.A. and van den Broek, P.M. (1995) A new programming technique for lazy functional languages. Science of Computer Programming, 24 (1). pp. 63-81. ISSN 0167-6423 *** ISI Impact 0,828 ***
van de Graaf, A. and Fredrikze, H. and de Haan, Poul and Rekveldt, M.T. and Lodder, J.C. (1995) Polarized neutron reflectometry on Co-Cr. Journal of magnetism and magnetic materials, 140-144. pp. 695-696. ISSN 0304-8853 *** ISI Impact 2,357 ***
Gui, C. and Legtenberg, R. and Elwenspoek, M.C. and Fluitman, J.H.J. (1995) Q-factor dependence of one-port encapsulated polysilicon resonator on reactive sealing pressure. Journal of micromechanics and microengineering, 5 (2). pp. 183-185. ISSN 0960-1317 *** ISI Impact 1,768 ***
Hartel, P.H. and Hertzberger, L.O. (1995) Paradigms and laboratories in the core computer science curriculum: An overview. ACM SIGCSE bulletin, 27 (4). pp. 13-20. ISSN 0097-8418
Hartel, P.H. and Hofman, R.F.H. and Langendoen, K.G. and Muller, H.L. and Vree, W.G. and Hertzberger, L.O. (1995) A toolkit for parallel functional programming. Concurrency: Practice and experience, 7 (8). pp. 765-793. ISSN 1040-3108
Hartel, P.H. and Plasmeijer, M.J. (1995) State-of-the-art applications of pure functional programming languages (editorial). Journal of Functional Programming, 5 (3). pp. 279-281. ISSN 0956-7968 *** ISI Impact 1,357 ***
Haverkort, B.R.H.M. and Meeuwissen, A.M.H. (1995) Sensitivity and Uncertainty Analysis of Markov Reward Models. IEEE Transactions on Reliability, 44 (1). pp. 147-154. ISSN 0018-9529 *** ISI Impact 2,287 ***
Haydarlou, A.R. and Hartel, P.H. (1995) Thunk-lifting: Reducing heap usage in an implementation of a lazy functional language. Journal of Functional Programming, 1 (1). ISSN 0956-7968 *** ISI Impact 1,357 ***
Heideman, R.G. and Lambeck, P.V. and Gardeniers, J.G.E. (1995) High quality ZnO layers with adjustable refractive indices for integrated optics applications. Optical materials, 4 (6). pp. 741-755. ISSN 0925-3467 *** ISI Impact 2,183 ***
van der Heijden, F. (1995) Edge and line feature extraction based on covariance models. IEEE Transactions on Pattern Analysis and Machine Intelligence, 17 (PAMI-17 No 1.). pp. 16-33. ISSN 0162-8828 *** ISI Impact 6,077 ***
van der Hoeven, G.F. and Andernach, J.A. and van de Burgt, S.P. and Kruijff, G.-J.M. and Nijholt, A. and Schaake, J. and de Jong, F.M.G. (1995) SCHISMA: A Natural Language Accessible Theatre Information and Booking System. KPN Research Review, 5 (2). pp. 88-114.
Houtsma, M.A.W. and Swami, A. (1995) Set-oriented data mining in relational databases. Data and knowledge engineering, 17 (3). pp. 245-262. ISSN 0169-023X *** ISI Impact 1,500 ***
Imai, S. and Tokuyama, M. and Hirose, S. and Burger, G.J. and Lammerink, T.S.J. and Fluitman, J.H.J. (1995) Thin-film piezoelectric impact sensor array fabricated on a Si slider for measuring head-disk interaction. IEEE transactions on magnetics, 31 (6). pp. 3009-3011. ISSN 0018-9464 *** ISI Impact 1,277 ***
Jansen, H.V. and de Boer, M.J. and Burger, J.F. and Legtenberg, R. and Elwenspoek, M.C. (1995) Black silicon method II: the effect of mask material and loading on the reactive ion etching of deep silicon trenches. Microelectronic engineering, 27 (1-4). pp. 475-480. ISSN 0167-9317 *** ISI Impact 1,277 ***
Jansen, H.V. and de Boer, M.J. and Legtenberg, R. and Elwenspoek, M.C. (1995) 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. Journal of micromechanics and microengineering, 5 (2). pp. 115-120. ISSN 0960-1317 *** ISI Impact 1,768 ***
Kemner, K.M. and Harris, V.G. and Elam, W.T. and Lodder, J.C. (1995) Exafs studies and simulations of local anisotropy in Co-Cr films. Mater Res Soc Symp Proc, 375. 21-2?.
Kim, Phan Le and Lodder, J.C. and Than, D.H. and Nguyen, Long Thang (1995) The Influence of Sputtering Parameters on Magnetic and Structural Properties of Co-Cr-Ta Magnetic Thin Films. Proc Second Int Workshop on Materials Science (IWONS'95), part II. pp. 299-302.
van Kuijk, J.C.C. and Lammerink, T.S.J. and de Bree, H.E. and Elwenspoek, M.C. and Fluitman, J.H.J. (1995) Multi-parameter detection in fluid flows. Sensors and actuators A: Physical, 47 (1-3 pt 4). pp. 369-372. ISSN 0924-4247 *** ISI Impact 2,201 ***
Lammerink, T.S.J. and Dijkstra, F. and Houkes, Z. and van Kuijk, J.C.C. (1995) Intelligent gas-mixture flow sensor. Sensors and actuators A: Physical, 47 (n 1-3 pt 4). pp. 380-384. ISSN 0924-4247 *** ISI Impact 2,201 ***
Legtenberg, R. and Jansen, H.V. and de Boer, M.J. and Elwenspoek, M.C. (1995) Anisotropic reactive ion etching of silicon using SF6/O2/CHF3 gas mixtures Journal of the Electrochemical Society, 142 (6). pp. 2020-2028. ISSN 0013-4651 *** ISI Impact 3,014 ***
te Lintelo, J.G.T. and Lodder, J.C. (1995) Influence of demagnetization in remanence curves of magnetic thin films. Journal of applied physics, 77. pp. 6416-6425. ISSN 0021-8979 *** ISI Impact 2,101 ***
Lodder, J.C. (1995) Magnetic microstructures of perpendicular magnetic-recording media. MRS bulletin, 20. pp. 59-63.
Lodder, J.C. (1995) MSJ and the Internationalization. Journal of the Magnetics Society of Japan, 19. 898. ISSN 0285-0192
Lodder, J.C. and Guo, Y.X. and van Drent, W.P. and Meng, Q. and Ruhrig, M. (1995) Sputtered CoNi/Pt multilayers for M.O. application. Journal of the Magnetics Society of Japan, 19. 57. ISSN 0285-0192
Monsma, D.J. and Lodder, J.C. and Popma, T.J.A. and Dieny, B. (1995) Perpendicular hot electron spin-valve effect in a new magnetic field sensor: The spin-valve transistor. Physical review letters, 74. pp. 5260-5263. ISSN 0031-9007 *** ISI Impact 7,645 ***
Oomen, A.W.J. and Groenewegen, M.E. and van der Waal, R.G. and Veldhuis, R.N.J. (1995) A variable-bit-rate buried data channel for compact disc. Journal of the Audio Engineering Society, 43 (1/2). pp. 23-28.
Pollnau, M. and Ghisler, C. and Bunea, G. and Bunea, M. and Lüthy, W. and Weber, H.P. (1995) 150 mW unsaturated output power at 3 µm from a single-mode-fiber erbium cascade laser. Applied physics letters, 66 (26). pp. 3564-3566. ISSN 0003-6951 *** ISI Impact 3,142 ***
Pollnau, M. and Heumann, E. and Danger, T. and Huber, G. (1995) Experimental determination of radiative-transition rates and quantum efficiencies in Er3+:YAlO3 Optics communications, 118 (3-4). pp. 250-254. ISSN 0030-4018 *** ISI Impact 1,480 ***
Pollnau, M. and Lüthy, W. and Weber, H.P. (1995) Population mechanisms of the green Er3+:LiYF4 laser Journal of applied physics, 77 (12). pp. 6128-6134. ISSN 0021-8979 *** ISI Impact 2,101 ***
van Rijn, C.J.M. and Nijdam, W. and Elwenspoek, M.C. (1995) High flow rate microsieve for bio medical applications. Proceedings of the ASME Dynamic Systems and Control Division, 57-2. pp. 995-1000. ISSN 0022-0434 *** ISI Impact 0,975 ***
van Sinderen, M.J. and Ferreira Pires, L. and Vissers, C.A. and Katoen, J.P. (1995) A design model for open distributed processing systems. Computer networks and ISDN systems, 27 (8). pp. 1263-1285. ISSN 0169-7552
Spiering, V.L. and Berenschot, J.W. and Elwenspoek, M.C. (1995) Planarization and fabrication of bridges across deep grooves or holes in silicon using a dry film photoresist followed by an etch back. Journal of micromechanics and microengineering, 5 (2). pp. 189-192. ISSN 0960-1317 *** ISI Impact 1,768 ***
Spiering, V.L. and Berenschot, J.W. and Elwenspoek, M.C. and Fluitman, J.H.J. (1995) Sacrificial wafer bonding for planarization after very deep etching. Journal of microelectromechanical systems, 4 (3). pp. 151-157. ISSN 1057-7157 *** ISI Impact 1,939 ***
Spreeuwers, L.J. (1995) Training Neural Networks for minimum average risk with a special application to context dependent learning. Pattern recognition letters, 16 (12). pp. 1221-1236. ISSN 0167-8655 *** ISI Impact 1,586 ***
Spruit, P.A. and Wieringa, R.J. and Meyer, J.J.C. (1995) Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. Journal of Logic and Computation, 5 (1). pp. 27-70. ISSN 0955-792X *** ISI Impact 0,585 ***
Vermes, I. and Haanen, C. and Steffens-Nakken, H. and Reutelingsperger, C. (1995) A novel assay for apoptosis: Flow cytometric detection of phosphatidylserine expression on early apoptotic cells using fluorescein labelled Annexine V. Journal of immunological methods, 184 (1). pp. 39-51. ISSN 0022-1759 *** ISI Impact 1,858 ***
Vree, W.G. and Hartel, P.H. (1995) Communication lifting: fixed point computation for parallelism. Journal of Functional Programming, 5 (4). pp. 549-581. ISSN 0956-7968 *** ISI Impact 1,357 ***
Wieringa, R.J. (1995) Combining static and dynamic modelling methods: a comparison of four methods. The Computer Journal, 38 (1). pp. 17-30. ISSN 0010-4620 *** ISI Impact 1,000 ***
Wieringa, R.J. (1995) Een analyse van methodes voor informatiesysteemontwikkeling. Informatie, 37. pp. 23-30. ISSN 0019-9907
Wieringa, R.J. and de Jonge, W. (1995) Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited. Theory and Practice of Object Systems, 1 (2). pp. 101-114. ISSN 1074-3227
Wieringa, R.J. and de Jonge, W. and Spruit, P.A. (1995) Using Dynamic Classes and Role Classes to Model Object Migration. Theory and Practice of Object Systems, 1 (1). pp. 61-83. ISSN 1074-3227
Wijnands, F.H.G.M. and Hoekstra, H.J.W.M. and Krijnen, G.J.M. and de Ridder, R.M. (1995) Numerical solution method of nonlinear guided modes with a finite difference complex axis beam propagation method. IEEE journal of quantum electronics, 31 (5). pp. 782-790. ISSN 0018-9197 *** ISI Impact 1,843 ***

Book

Andernach, J.A. and van de Burgt, S.P. and van der Hoeven, G.F., ed. (1995) Corpus-based Approaches to Dialogue Modelling (TWLT9). Twente Workshop on Language Technology 9. University of Twente, Enschede. ISSN 0929-0672
Andernach, J.A. and Moll, M. and Nijholt, A., ed. (1995) CLIN V: Computational Linguistics in the Netherlands ’94. Neslia Paniculata, Enschede. ISBN 90-75296-03-7
Hartel, P.H. and Plasmeijer, M.J., ed. (1995) 1st Functional Programming languages in Education (FPLE). Springer-Verlag, Berlin. ISBN 3 540 60675 0
Nijholt, A. and Scollo, G. and Steetskamp, R., ed. (1995) Algebraic Methods in Language Processing. Twente Workshop on Language Technology 10. University of Twente, Enschede. ISSN 0929-0672

Review

Asveld, P.R.J. (1995) Review of "G. Paun, On Nebesky $\xi$-grammars, Bull. Math. Soc. Sci. Roumanie (N.S.) 34(82) (1990) 335-342". Mathematical reviews, MR1309533 / 95m:68106. pp. 7661-7661. ISSN 0025-5629
Asveld, P.R.J. (1995) Review of "K. Fine, Transparent grammars". Mathematical reviews, MR1236008 / 95f:68131. pp. 3632-3632. ISSN 0025-5629
Asveld, P.R.J. (1995) Review of "K. Madlener, A. Sattler-Klein & F. Otto, On the problem of generating small convergent systems, J. Symbolic Comput. 16 (1993) 167-187". Mathematical reviews, MR1253911 / 95j:68079. pp. 6213-6213. ISSN 0025-5629
Asveld, P.R.J. (1995) Review of "J. Dassow, G. Paun & S. Vicolov, On the power of cooperating/distributed grammar systems, Found. Comput. Decision Sci. 18 (1993) 83-108". Mathematical reviews, MR1258670 / 95c:68136. pp. 1754-1754. ISSN 0025-5629
Asveld, P.R.J. (1995) Review of "J. Engelfriet & L. Heyker, Hypergraph languages of bounded degree, J. Comput. System Sci. 48 (1994) 58-89". Mathematical reviews, MR1259651 / 95g:68063. pp. 4274-4274. ISSN 0025-5629
Asveld, P.R.J. (1995) Review of "A. Monti & A. Roncato, On the complexity of some reachability problems. Lect. Notes in Comp. Sci. 778 (1994) 192-202". Mathematical reviews, MR1286076 / 95h:68064. pp. 4896-4896. ISSN 0025-5629
Asveld, P.R.J. (1995) Review of "F. Otto & P. Narendran, Codes modulo finite monadic string-rewriting systems. Theoret. Comput. Sci. 134 (1994) 175-188". Mathematical reviews, MR1299372 / 95j:68081. pp. 6213-6214. ISSN 0025-5629
Asveld, P.R.J. (1995) Review of "G. Paun & G. Rozenberg, Prescribed teams of grammars. Acta Inform. 31 (1994) 525-537". Mathematical reviews, MR1300054 / 95k:68118. pp. 6954-6954. ISSN 0025-5629
Asveld, P.R.J. (1995) Review of "Y. Shemesh & N. Francez, Finite-state unification automata and relational languages. Inform. and Comput. 114 (1994) 192-213". Mathematical reviews, MR1302822 / 95k:68159. pp. 6961-6961. ISSN 0025-5629

Book Section

van den Berg, K.G. and van den Broek, P.M. (1995) Axiomatic Validation in the Software Metric Development Process. In: Software Measurement. International Thomson Computer Press, London, UK, pp. 157-177. ISBN 18503271787
Elwenspoek, M.C. (1995) Physical chemistry of wet chemical anisotropic etching of silicon. In: Proceedings of the ASME Dynamic Systems and Control Division. ASME, New York, NY, USA, pp. 901-907. ISBN 0791817466
Heijenk, G.J. and Niemegeers, I.G.M.M. (1995) Modelling the reassembly buffer in a connectionless server. In: Performance Modelling and Evaluation of ATM Networks. Chapman & Hall, London, pp. 573-595. ISBN 0-412-71140-0
Lodder, J.C. (1995) Information Storage Material, Magnetic. In: Kirk-Othmer Encyclopedia of Chemical Technology. 4th edition 14. Publisher UNSPECIFIED, pp. 340-378.
Michiels, E.F. (1995) Abstract Syntax Notation One (ASN.1). In: Handboek Telematica II 4163. Samsom BedrijfsInformatie, Alphen aan de Rijn, pp. 1-15. ISBN 90-6500-759-8
Michiels, E.F. (1995) Presentatielaag. In: Handboek Telematica II 4160. Samsom BedrijfsInformatie, Alphen aan de Rijn, pp. 1-27. ISBN 90-6500-759-8
Muller, H.L. and Hartel, P.H. and Hertzberger, L.O. (1995) Using a functional notation to specify abstract simulation models. In: Abstract machine models for highly parallel computers. Oxford Univ. Press, Oxford, UK, pp. 243-258. ISBN 0 19 853796 4
Porthun, S. and Ruhrig, M. and Lodder, J.C. (1995) Magnetic force microscopy on thin film magnetic recording media. In: Forces in scanning probe microscopy. NATO ASI Series: Applied Sciences. Kluwer Academic Publishers, Dordrecht, pp. 471-476.
Turner, K.J. and van Sinderen, M.J. (1995) LOTOS specification style for OSI. In: LOTOShere - Software development using LOTOS - Results of the LOTOShere project. Kluwer Academic Publishers, Dordrecht, pp. 137-159. ISBN 0-7923-9529-8
Veldhuis, R.N.J. and Kohlrausch, A. (1995) Waveform coding and auditory masking. In: Speech Coding and Synthesis. Elsevier Science Publishers, Amsterdam, pp. 101-133.
Wieringa, R.J. (1995) Integration of formal and informal techniques for requirements engineering. In: Modelling Languages for Knowledge-Based Systems. Vrije Universiteit Amsterdam, Amsterdam, The Netherlands. ISBN not assigned

Conference or Workshop Paper

op den Akker, H.J.A. and ter Doest, H.W.L. and Moll, M. and Nijholt, A. (1995) Parsing in dialogue systems using typed feature structures. In: Proceedings 3rd International Workshop on Parsing Technologies (IWPT'95), 20-23 September 2007, Prague. pp. 10-11. University of Prague.
Andernach, J.A. and ter Doest, H.W.L. and op den Akker, H.J.A. and van der Hoeven, G.F. and Schaake, J. and van de Burgt, S.P. and Nijholt, A. (1995) Language analysis for dialogue management in a theatre information and booking system. In: Proceedings of Artificial Intelligence'95: Fifteenth International Conference (Language Engineering 95), Montpellier, France. pp. 351-362. University of Montpellier.
Asveld, P.R.J. (1995) A Fuzzy Approach to Erroneous Inputs in Context-Free Language Recognition. In: Proceedings of the Fourth International Workshop on Parsing Technologies IWPT'95, September 20 -24, 1995, Prague & Karlovy Vary, Czech Republik. pp. 14-25. Institute of Formal and Applied Linguistics, Charles University. ISBN not assigned
Best, E. and Devillers, R. and Pelz, E. and Rensink, A. and Silva, M. and Teruel, E. (1995) CALIBAN - Esprit Basic Research WG 6067. In: Structures in Concurrency Theory, Berlin, Germany. pp. 2-31. Workshops in Computing. Springer Verlag. ISBN 3-540-19982-9
de Boer, M.J. and Jansen, H.V. and Elwenspoek, M.C. (1995) The black silicon method V: a study of the fabricating of movable structures for micro electromechanical systems. In: Proceedings of the 1995 8th International Conference on Solid-State Sensors and Actuators and Eurosensors IX. Part 1 (of 2), 25-29 June 1995, Stockholm, Sweden. pp. 565-568. IEEE Computer Society. ISBN 91-630-3473-5
Bossi, A. and Cocco, N. and Etalle, S. (1995) Transformation of Left Terminating Programs: The reordering problem. In: 5th Int. Logic Program Synthesis and Transformation (LOPSTR), Utrecht, The Netherlands. pp. 33-45. Springer-Verlag. ISBN 3-540-60939-3
de Bree, H.E. and Leussink, P.J. and Korthorst, M.T. and Backlund, Y. and Jansen, H.V. (1995) The Wheatstone Gadget : a simple ciruit for the measuring differential resistance variations. In: Sixth Workshop on Micromachining Micromechanics and Microsystems, MME 1995, 3-5 Sept 1995, Copenhagen. pp. 1-4. MicroMechanics Europe. ISBN 8789935004
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. (1995) The μ-flown: Novel device measuring acoustical flows. In: Proceedings of the 1995 8th International Conference on Solid-State Sensors and Actuators and Eurosensors IX. Part 1 (of 2), 25-29 June 1995, Stockholm, Sweden. pp. 536-539. IEEE Computer Society. ISBN 91-630-3473-5
Brinksma, H. and Rensink, A. and Vogler, W. (1995) Fair Testing. In: Concurrency Theory (CONCUR), Long Island, USA. pp. 313-327. Lecture Notes in Computer Science 962. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-60218-7
Burger, G.J. and Lammerink, T.S.J. and Fluitman, J.H.J. and Imai, S. and Tokuyama, M. and Hirose, S. (1995) Piezoelectric impact force sensor array for tribological research on rigid disk storage media. In: Proceedings of the 1995 IEEE Micro Electro Mechanical Systems Conference, 29 Jan - 2 Feb 1995, Amsterdam, Netherlands. pp. 294-299. IEEE Computer Society. ISBN 0-7803-2503-6
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. (1995) High resolution shadow mask patterning in deep holes and its application to an electrical wafer feed-through. In: Transducers '95 - Eurosensors XI Proceedings of the 1995 8th International Conference on Solid-State Sensors and Actuators and Eurosensors IX. Part 1 (of 2), 25-29 June 1995, Stockholm, Sweden. pp. 573-576. IEEE Computer Society. ISBN 91-630-3473-5
de By, R.A. and Even, S.J. and Verkoulen, P.A.C. (1995) Functionally Specified Distributed Transactions in Co-operative Scenarios. In: Proceedings of the 5th International Workshop on Research Issues in Data Engineering - Distributed Object Management (RIDE-DOM '95), 6-7 Mar 1995, Taipei, Taiwan. pp. 116-121. IEEE Computer Society. ISBN 0-8186-7056-8
Cederquist, J.G. and Negri, S. (1995) A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals. In: 3rd Int. Workshop on Types for Proofs and Programs (TYPES), Torino, Italy. pp. 62-75. Springer-Verlag. ISBN 3-540-61780-9
Choenni, R.S. and Wagterveld, H. and Blanken, H.M. and Chang, S.C. (1995) TOPYDE: A Tool for Physical Database Design. In: Proceedings of the 6th International Conference on Database and Expert Systems Applications (DEXA 1995), 4-8 Sep 1995, London, United Kingdom. pp. 502-511. Lecture Notes in Computer Science 978. Springer Verlag. ISSN 0302-9743 ISBN 3-540-60303-0
D'Argenio, P.R. and Mauw, S. (1995) Delayed choice for process algebra with abstraction. In: Proceedings of the 6th International Conference on Concurrency Theory CONCUR 95, Philadelphia,United States. pp. 501-515. Lecture Notes in Computer Science 962. Springer Verlag. ISBN 3-540-60218-6
Elders, J. and Jansen, H.V. and Elwenspoek, M.C. and Ehrfeld, W. (1995) DEEMO: a new technology for the fabrication of microstructures. In: Proceedings of the IEEE Micro Electro Mechanical Systems (MEMS), 29 Jan - 2 Feb 1995, Amsterdam, Netherlands. pp. 238-243. IEEE Computer Society. ISBN 0-7803-2503-6
Elwenspoek, M.C. and Weustink, M. and Legtenberg, R. (1995) Static and dynamic properties of active joints. In: Proceedings of the 1995 8th International Conference on Solid-State Sensors and Actuators, and Eurosensors IX. Part 2 (of 2), 25-29 June 1995, Stockholm, Sweden. pp. 412-415. IEEE Computer Society. ISBN 91-630-3473-5
Etalle, S. (1995) A Transformation System for Modular CLP Programs. In: 12th Int. Conf. on Logic Programming (ICLP), Tokyo, Japan. pp. 681-695. MIT Press. ISBN 0-262-69177-9
Etalle, S. and Gabbrielli, M. (1995) The replacement operation for CLP modules. In: Partial evaluation and semantics-based program manipulation (PEPM), La Jolla, California. pp. 168-177. ACM Press. ISBN 0-89791-720-0
Feenstra, R.B. and Wieringa, R.J. (1995) Validating database constraints and updates using automated reasoning techniques. In: Proceedings of the Workshop on Semantics in Databases, Jan 1995, Prague, Czech Republic. pp. 24-32. Technische Universitat Cottbus. ISBN not assigned
Feenstra, R.B. and Wieringa, R.J. (1995) Validating specifications of dynamic systems using automated reasoning techniques. In: NAIC'95: Proceedings of the Seventh Dutch Conference on Artificial Intelligence, NAIC '95, 22-23 June 1995. pp. 105-114. ISBN not assigned
Gui, C. and Legtenberg, R. and Tilmans, H.A.C. and Fluitman, J.H.J. and Elwenspoek, M.C. (1995) Nonlinearity and hysteresis of resonant strain gauges. In: Micro Electro Mechanical Systems, 1995, MEMS '95, Proceedings. IEEE, 29 Jan - 2 Feb 1995, Amsterdam, Netherlands. pp. 157-162. IEEE Computer Society. ISBN 0-7803-2503-6
Hamberg, M.W. and Neagu, C.R. and Gardeniers, J.G.E. and IJntema, D.J. and Elwenspoek, M.C. (1995) Electrochemical micro actuator. In: Micro Electro Mechanical Systems, 1995, MEMS '95, Proceedings. IEEE, 29 Jan - 2 Feb 1995, Amsterdam, Netherlands. pp. 106-110. IEEE Computer Society. ISBN 0-7803-2503-6
Hartel, P.H. (1995) Benchmarking implementations of lazy functional languages II -- Two years later. In: 7th Implementation of Functional Languages, Marstrand, Sweden. pp. 63-68. Dept. of Comp. Sci.
Hartel, P.H. and van Es, B. and Tromp, T.J.M. (1995) Basic proof skills of computer science students. In: 1st Functional Programming languages in Education (FPLE), Nijmegen, The Netherlands. pp. 269-287. Springer-Verlag. ISBN 3-540-60675-0
van der Hoeven, G.F. and Andernach, J.A. and van de Burgt, S.P. and Kruijff, G.-J.M. and Nijholt, A. and Schaake, J. and de Jong, F.M.G. (1995) SCHISMA: A Natural Language Accessible Theatre Information and Booking System. In: Proceedings First Workshop on Applications of Natural Language to Data Bases, 28-29 June 1995, Versailles, France. pp. 271-285. AFCET. ISBN 2-903677139-3
Jansen, H.V. and de Boer, M.J. and Otter, B. and Elwenspoek, M.C. (1995) The black silicon method IV: the fabrication of three-dimensional structures in silicon with high aspect ratios for scanning probe microscopy and other applications. In: Micro Electro Mechanical Systems, 1995, MEMS '95, Proceedings. IEEE, 29 Jan - 2 Feb 1995, Amsterdam, Netherlands. pp. 88-93. IEEE Computer Society. ISBN 0-7803-2503-6
Jansen, H.V. and Gardeniers, J.G.E. and Fluitman, J.H.J. (1995) A survey on the reactive ion etching of silicon in microtechnology. In: Sixth Workshop on Micromachining Micromechanics and Microsystems, MME 1995, 3-5 Sept 1995, Copenhagen. pp. 1-13. MicroMechanics Europe. ISBN 8789935004
Katoen, J.P. (1995) Causal Behaviours and Nets. In: Application and Theory of Petri Nets 1995, 16th International Conference, June 26-30, 1995, Turin, Italy. pp. 258-278. Lecture Notes in Computer Science 935. Springer-Verlag. ISBN 3-540-60029-9
van Keulen, M. and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and de By, R.A. and Flokstra, Jan (1995) A Framework for Representation, Validation and Implementation of Databases Application Semantics. In: Proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6), May 30 - June 2, 1995, Stone Mountain, Atlanta, Georgia, USA. pp. 526-546. IFIP Advances in Information and Communication Technology. Springer Verlag. ISSN 1868-4238 ISBN 978-1-5041-2946-6
Kuper, J. (1995) Proving the genericity lemma by leftmost reduction is simple. In: Rewriting Techniques and Applications, 5-7 April 1995, Kaiserslautern, Germany. pp. 271-278. Lecture Notes in Computer Science 914. Springer Verlag. ISBN 3-540-59200-8
Kuper, J. (1995) Usability: Formalising (un)definedness in typed lambda calculi. In: Selected Papers from the 8th International Workshop on Computer Science Logic (CSL'94), 25-30 September 1994, Kazimierz, Poland. pp. 76-90. Lecture Notes in Computer Science 933. Springer Verlag. ISBN 3-540-60017-5
Lammerink, T.S.J. and Tas, N.R. and Berenschot, J.W. and Elwenspoek, M.C. and Fluitman, J.H.J. (1995) Micromachined hydraulic astable multivibrator. In: Micro Electro Mechanical Systems, 1995, MEMS '95, Proceedings. IEEE, 29 Jan - 2 Feb 1995, Amsterdam, Netherlands. pp. 13-18. IEEE Computer Society. ISBN 0-7803-2503-6
Legtenberg, R. and Berenschot, J.W. and van Baar, J.J.J. and Lammerink, T.S.J. and Elwenspoek, M.C. (1995) An electrostatic lower stator axial gap wobble motor: design and fabrication. In: Proceedings of the 1995 8th International Conference on Solid-State Sensors and Actuators, and Eurosensors IX. Part 2 (of 2), 25-29 June 1995, Stockholm, Sweden. pp. 404-407. IEEE Computer Society. ISBN 91-630-3473-5
Legtenberg, R. and Berenschot, J.W. and Elwenspoek, M.C. and Fluitman, J.H.J. (1995) Electrostatic curved electrode actuators. In: : Micro Electro Mechanical Systems, 1995, MEMS '95, Proceedings. IEEE, 29 Jan - 2 Feb 1995, Amsterdam, Netherlands. pp. 37-42. IEEE Computer Society. ISBN 0-7803-2503-6
Linnenbank, G.R.J. and Havinga, P.J.M. and Mullender, S.J. and Smit, G.J.M. (1995) Request-TDMA: A multiple-access protocol for wireless multimedia networks. In: 3rd Symp. on Communications and Vehicular Technology in the Benelux, Eindhoven, The Netherlands. pp. 20-27. IEEE Computer Society.
Lodder, J.C. (1995) Magnetic Recording Hard Disc Thin Film Media: Actual Status and Future. (Invited) In: Proc. 2nd Int Workshop on Material Science (IWONS'95) part 1, Oct 1995, Hanoi. pp. 57-82.
Mader, A.H. (1995) Modal µ-Calculus, Model Checking and Gauß Elimination. In: 1st Int. Workshop Tools and Algorithms for Construction and Analysis of Systems (TACAS), Aarhus, Denmark. pp. 72-88. Springer-Verlag. ISBN 3-540-60630-0
McEvoy, H.E. and Hartel, P.H. (1995) Local Linear Logic for Locality Consciousness in Multiset Transformation. In: 7th Programming Languages: Implementations, Logics and Programs (PLILP), Utrecht, The Netherlands. pp. 357-379. Springer-Verlag. ISBN 3-540-60359-X
Pollnau, M. and Bedö, S. and Lüthy, W. and Weber, H.P. (1995) On the saturation of the 791 nm pumped erbium 3 µm fiber laser. In: Advanced Solid State Lasers, 30 January - 1 February 1995, Memphis, TN. pp. 388-391. OSA Proceedings on Advanced Solid-State Lasers 24. Optical Society of America. ISBN 1-55752-370-3
Pollnau, M. and Lüthy, W. and Weber, H.P. (1995) The possibilities and limits of avalanche lasing on the green Er3+:LiYF4 transition In: Advanced Solid State Lasers, 30 January - 1 February 1995, Memphis, TN. pp. 523-527. OSA Proceedings on Advanced Solid-State Lasers 24. Optical Society of America. ISBN 1-55752-370-3
Popescu, D.S. and Dascalu, D.C. and Elwenspoek, M.C. and Lammerink, T.S.J. (1995) Silicon active microvalves using buckled membranes for actuation. In: The 8th International Conference on Solid-State Sensors and Actuators, 1995 and Eurosensors IX.. Transducers '95., 25-29 June 1995, Stockholm, Sweden. pp. 305-308. IEEE Computer Society. ISBN 91-630-3473-5
Rensink, A. (1995) An Event-Based SOS for a Language with Refinement. In: Structures in Concurrency Theory, Berlin, Germany. pp. 294-309. Workshops in Computing. Springer Verlag. ISBN 3-540-19982-9
Rensink, A. (1995) A Theory of Deterministic Event Structures. In: Concurrency Theory (CONCUR), Long Island, USA. pp. 160-174. Lecture Notes in Computer Science 962. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-60218-7
van Rijn, C.J.M. and Elwenspoek, M.C. (1995) Micro filtration membrane sieve with silicon micro machining for industrial and biomedical applications. In: Micro Electro Mechanical Systems, 1995, MEMS '95, Proceedings. IEEE, 29 Jan - 2 Feb 1995, Amsterdam, Netherlands. pp. 83-87. IEEE Computer Society. ISBN 0-7803-2503-6
van Rijssen, E. and Widya, I.A. and Michiels, E.F. (1995) Multimedia Teleservices Modelled with the OSI Application Layer Structure. In: 2nd Int. COST 237 Workshop on Teleservices Multimedia Communications, Copenhagen, Denmark. pp. 99-117. Springer-Verlag. ISBN 3-540-61028-6
Scholten, J. and Heijmans, M. and Bloem, G.-J. (1995) Helicon - A Distributed Multimedia Framework (Abstract). In: Int. Conf. on Multimedia Networking (MmNet), Aizu, Japan. 74. IEEE Computer Society. ISBN 0-8186-7090-8
Sijben, P.G.A. and Mullender, S.J. (1995) An architecture for Scheduling and QoS management in multimedia. In: Proc. NGI/SION Symp., Utrecht, The Netherlands. pp. 229-240. Stichting Mathematisch centrum. ISBN 90-6196-460-1
Spreeuwers, L.J. and Schutte, K. and Houkes, Z. (1995) A solution to the correspondence problem in multi-view imagery. In: Proceedings of the 1st Annual Conference of the Advanced School for Computing and Imaging, ASCI '95, May 16-18, 1995, Heijen, The Netherlands. pp. 313-322. ASCI. ISBN 9789090083445
Spreeuwers, L.J. and van der Zwaag, B.J. and van der Heijden, F. (1995) Context dependent learning in neural networks. In: Fifth International Conference on Image Processing and Its Applications, 4-6 July 1995, Edinburgh, U.K.. pp. 632-636. IEE. ISBN 0 85296 642 3
Tretmans, G.J. (1995) Testing Labelled Transition Systems with Inputs and Outputs. In: Participants Proceedings of the Int. Workshop on Protocol Test Systems VIII --- COST 247 Session, 4-6 Sept 1995, Evry, France. pp. 461-476. Institut National des Télécommunications. ISBN not assigned
Veenhof, H.M. and Apers, P.M.G. and Houtsma, M.A.W. (1995) Optimization of Spatial Joins Using Filters. In: Proceedings of the 13th British National Conference on Databases: Advances in Databases (BNCOD 1995), 12-14 Jul 1995, Manchester, UK. pp. 136-154. Lecture Notes in Computer Science 940. Springer Verlag. ISSN 0302-9743 ISBN 3-540-60100-7
Verkoulen, P.A.C. and Faase, F.J. and Selders, A.W. and Oude Egberink, P.J.J. (1995) Requirements for an Advanced Database Transaction Model to Support Design for Manufacturing. In: International Conference on Flexible Automation and Intelligent Manufacturing (FAIM 1995), 28-30 June 1995, Stuttgart, Germany. Begell House Inc. ISBN 1-56700-030-4
Vermeer, W.W.M. and Apers, P.M.G. (1995) Reverse engineering of relational database applications. In: Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling (OOER 1995), 12-15 Dec 1995, Gold Coast, Australia. pp. 89-100. Lecture Notes in Computer Science 1021. Springer Verlag. ISSN 0302-9743 ISBN 3-540-60672-6
Vermeer, W.W.M. and Apers, P.M.G. (1995) Object-oriented views of relational databases incorporating behaviour. In: Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA 1995), 11-13 Apr 1995, Singapore. pp. 26-35. Advanced Database Research and Development Series 5. World Scientific Press. ISBN 981-02-2220-3
Wilschut, A.N. and Flokstra, Jan and Apers, P.M.G. (1995) Parallel evaluation of multi-join queries. In: ACM SIGMOD International Conference on Management of Data (SIGMOD 1995), 22-25 May 1995, San Jose, CA, USA. pp. 115-126. ACM Press. ISBN 0-89791-731-6

External Report

Wieringa, R.J. (1995) An Introduction to Requirements Traceability. Technical Report IR-389 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. (1995) An Analysis of Method Bridging in Euromethod Version 0. Technical report IR-390 Faculty of Mathematics and Computer Science, Free University, Amsterdam. ISSN not assigned

Internal Report

op den Akker, H.J.A. and ter Doest, H.W.L. and Moll, M. and Nijholt, A. (1995) Parsing in Dialogue Systems using Typed Feature Structures. Memorandum Informatica 95-25, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Akşit, M. and Marcelloni, F. and Tekinerdogan, B. and Vuijst, C. and Bergmans, L.M.J. (1995) Designing Software Architectures As a Composition of Specializations of Knowledge Domains. Memoranda Informatica 95-44, University of Twente, Enschede. ISSN 0924-3755
Asveld, P.R.J. (1995) Towards Robustness in Parsing -- Fuzzifying Context-Free Language Recognition. Memorandum INF-95-08, Dept. of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Asveld, P.R.J. (1995) A Fuzzy Approach to Erroneous Inputs in Context-Free Language Recognition. Memorandum Informatica 95-29, Dept. of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Asveld, P.R.J. (1995) A Bibliography on Fuzzy Automata, Grammars and Lanuages. Memorandum INF-95-46, Dept. of Computer Science, University of Twente, Enschede. ISSN 0924-3755
van den Berg, K.G. and van den Broek, P.M. (1995) Validation in the Software Metric Development Process. Memorandum Memoranda Informatica INF-95-10, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755
van den Berg, K.G. and van den Broek, P.M. (1995) Programmers Performance on Structured versus Nonstructured Function Definitions. Memorandum Memoranda Informatica INF-95-11, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Heijenk, G.J. (1995) Simulation of a connectionless server for B-ISDN. Memoranda Informatica 95-06, University of Twente, Enschede, Netherlands. ISSN 0924-3755
van Keulen, M. and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and de By, R.A. and Flokstra, Jan (1995) A Framework for Representation, Validation and Implementation of Database Application Semantics. INF Memorandum INF 95-37, University of Twente, Enschede, The Netherlands. ISSN 0924-3755
van Keulen, M. and Skowronek, J. and Apers, P.M.G. and Balsters, H. and Blanken, H.M. and de By, R.A. and Flokstra, Jan (1995) Design and Validation of Reliable Complex Computer Systems. INF Memorandum INF 95-38, University of Twente, Enschede, The Netherlands. ISSN 0924-3755
Rensink, A. (1995) Causal Traces. Hildesheimer Informatik-Bericht 39/95, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Rensink, A. (1995) Denotational, Causal, and Operational Determinism in Event Structures. Hildesheimer Informatik-Bericht 29/95, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014
Rensink, A. and Gorrieri, R. (1995) Vertical Bisimulation. Hildesheimer Informatik-Bericht 9/98, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014
Wieringa, R.J. and Saake, G. (1995) A Comparison of the Notations Used in the Shlaer/Mellor Method and in TCM. Technical report IR-393, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned

Master's Thesis

Braam, J.J. (1995) Improvement of resolution of magnetic force microscope. Master's thesis, University of Twente.
Dikkers, M.P.J.M. (1995) Micromachined force sensors for magnetic force microscopy. Master's thesis, University of Twente.
Immink, A.H.J. (1995) Rapid thermal processing of CoNi/Pt multilayers for magnetic recording. Master's thesis, University of Twente.
Ruys, T.C. (1995) A Simple and a Retargetable Code Generator for TCGS. Master's thesis, University of Twente, Enschede, The Netherlands.
Veldkamp, R. (1995) Electrical characterisation of TaxOy-based tunnel junctions. Master's thesis, University of Twente.

Patent

Jansen, H.V. and de Boer, M.J. and Legtenberg, R. and Elders, J. and Elwenspoek, M.C. and Fluitman, J.H.J. (1995) Process for producing micromechanical structures by means of reactieve ion etching. Patent WO1995NL00221 (Application).
Nauta, B. (1995) Single-to-differential converter. Patent US005404050A (Assigned).

PhD Thesis

van den Berg, K.G. (1995) Software Measurement and Functional Programming. PhD thesis, University of Twente, Enschede, the Netherlands. ISBN 9090082514
Choenni, R.S. (1995) On The Automation Of Physical Database Design. PhD thesis, University of Twente. ISBN 90-9008135-6
van Drent, W.P. (1995) CoNi/Pt multilayers for magneto-optical recording. PhD thesis, University of Twente. ISBN 90 900 7985 8
Drossaers, M.F.J. (1995) Little Linguistic Creatures: Closed Systems of Solvable Neural Networks for Integrated Linguistic Analysis. PhD thesis, University of Twente. ISBN 90-75296-02-9
Etalle, S. (1995) Transformation and analysis of (constraint) logic programs. PhD thesis, ILLC Dissertation series 1995-7, Univ. of Amsterdam.
Heijenk, G.J. (1995) Connectionless communications using the Asynchronous Transfer Mode. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 95-03 ISBN 90-365-0733-2
Lodder, J.C. (1995) Co-Cr-(X) thin films for high density recording. PhD thesis, University of Twente. ISBN 90 900 7901 7
Pras, A. (1995) Network Management Architectures. PhD thesis, University of Twente, Enschede, The Netherlands. CTIT Ph.D.-thesis series No. 95-02 ISBN 90-365-0728-6
Samwel, E.O. (1995) Magnetic characterisation of recording materials: design, instrumentation and experimental methods. PhD thesis, University of Twente. ISBN 90 900 8790 7
van Sinderen, M.J. (1995) On the design of application protocols. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 95-04 ISBN 90-365-0730-8
Steenhagen, H.J. (1995) Optimization Of Object Query Languages. PhD thesis, University of Twente. ISBN 90-9008745-1

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