EEMCS

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

EEMCS EPrints Service


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

Number of items: 42.

Article

Admon, U. and Dariel, M.P. and Grunbaum, E. and Lodder, J.C. (1987) Magnetic properties of electrodeposited Co-W thin films. Journal of applied physics, 62. pp. 1943-1947. ISSN 0021-8979 *** ISI Impact 2,101 ***
Asveld, P.R.J. (1987) A Family of Fibonacci-like Sequences. The Fibonacci Quarterly, 25. pp. 81-83. ISSN 0015-0517
Asveld, P.R.J. (1987) Another Family of Fibonacci-like Sequences. The Fibonacci Quarterly, 25. pp. 361-364. ISSN 0015-0517
Barendregt, H.P. and van Eekelen, M.C.J.D. and Hartel, P.H. and Hertzberger, L.O. and Plasmeijer, M.J. and Vree, W.G. (1987) The Dutch parallel reduction machine project. Future Generation Computer Systems, 3 (4). pp. 261-270. ISSN 0167-739X *** ISI Impact 2,430 ***
Fokkinga, M.M. (1987) A correctness proof of sorting by means of formal procedures. Science of Computer Programming, 9 (3). pp. 263-269. ISSN 0167-6423 *** ISI Impact 0,828 ***
Hemmes, K. and Lodder, J.C. and Popma, T.J.A. (1987) Surface and volume hysteresis of sputtered CoCr. IEEE Transactions on Magnetics, MAG-23. pp. 150-152. ISSN 0018-9464 *** ISI Impact 1,277 ***
Kraan, W.H. and Rekveldt, M.T. and Hemmes, K. and Lodder, J.C. (1987) Domains in CoCr investigated by neutron depolarization. IEEE Transactions on Magnetics, MAG-23. pp. 65-67. ISSN 0018-9464 *** ISI Impact 1,277 ***
Li, C.Z. and Lodder, J.C. (1987) Magnetization reversal mechanism in CoCr media for perpendicular recording. IEEE Transactions on Magnetics, MAG-23. pp. 2260-2262. ISSN 0018-9464 *** ISI Impact 1,277 ***
Lodder, J.C. and Wind, D. and van Dorssen, G. and Popma, T.J.A. and Hubert, A. (1987) Domains and magnetic reversals in CoCr. IEEE Transactions on Magnetics, MAG-23. pp. 214-216. ISSN 0018-9464 *** ISI Impact 1,277 ***
Lodder, J.C. and Wind, D. and Popma, T.J.A. and Hubert, A. (1987) Domain studies of CoCr with perpendicular anisotropy. IEEE Transactions on Magnetics, MAG-23. pp. 2055-2057. ISSN 0018-9464 *** ISI Impact 1,277 ***
Mullender, S.J. (1987) Report on the Second European SIGOPS Workshop "Making Distributed Systems Work". Operating Systems Review, 21 (1). pp. 49-84.
Mullender, S.J. (1987) Distributed Operating Systems. Computer Standards & Interfaces, 6 (1). pp. 37-44. ISSN 0920-5489 *** ISI Impact 1,268 ***
Stam, M.T.H.C.W. and Gerritsma, G.J. and Lodder, J.C. and Popma, T.J.A. (1987) CoCr/NiFe double layers studied by FMR and VSM. IEEE Transactions on Magnetics, MAG-23. pp. 128-130. ISSN 0018-9464 *** ISI Impact 1,277 ***
Swaving, S. and Gerritsma, G.J. and Lodder, J.C. and Popma, T.J.A. (1987) 3D analysis of magnetic anisotropies in OI and CVI films. Journal of magnetism and magnetic materials, 67. pp. 155-164. ISSN 0304-8853 *** ISI Impact 2,357 ***

Book

Asveld, P.R.J. and Nijholt, A., ed. (1987) Essays on Concepts, Formalisms, and Tools -- A Collection of Papers Dedicated to Leo A. M. Verbeek. CWI Tract 42. Centre for Mathematics and Computer Science, Amsterdam. ISBN 90-6196-326-5
Wieringa, R.J. (1987) Machine Intelligence and Explication. Filosofische reeks 21. Eburon, Delft. ISBN 9051660057

Book Section

op den Akker, H.J.A. (1987) On Covers and Left-Corner Parses. In: Essays on concepts, formalisms, and tools. CWI Tract (42). Stichting Mathematisch Centrum, Amsterdam, pp. 107-127. ISBN 90 6196 326 5
Asveld, P.R.J. (1987) Complexity Aspects of Iterated Rewriting -- A Survey. In: Essays on Concepts, Formalisms, and Tools. CWI (Centrum voor Wiskunde en Informatica), Amsterdam, pp. 89-105. ISBN 90-6196-326-5
Asveld, P.R.J. and Nijholt, A. (1987) Introduction. In: Essays on Concepts, Formalisms, and Tools - A Collection of Papers Dedicated to Leo A.M. Verbeek. CWI Tract 42. CWI (Centrum voor Wiskunde en Informatica), Amsterdam, pp. 1-7. ISBN 90-6196-326-5
Fokkinga, M.M. (1987) Programming Language Concepts - The Lambda Calculus Approach. In: Essays on concepts, formalisms, and tools. CWI Tract 42. CWI (Centrum voor Wiskunde en Informatica), Amsterdam, The Netherlands, pp. 129-162. ISBN 90 6196 326 5
Fokkinga, M.M. (1987) Transformatie van Specificatie tot Implementatie. In: Colloquium Software Specificatie Technieken. Academic Service, Schoonhoven, The Netherlands, pp. 53-86. ISBN 90-6233-269-2
Hogendorp, J.A. (1987) Nonterminal Separating Macro Grammars. In: Essays on Concepts, Formalisms, and Tools. CWI Tract 42. Centre for Mathematics and Computer Science, Amsterdam, pp. 77-87. ISBN 90-6196-326-5
de Jong, F.M.G. (1987) The Compositional Nature of (In)Definiteness. In: The Representation of (In)definitenss. Current Studies in Linguistics Series 14. MIT Press, Cambridge, Mass., pp. 270-285. ISBN 9780262181266
Nijholt, A. (1987) From mechanical to theoretical - Aspects of the origins of Theoretical Computer Science. In: Essays on Concepts, Formalisms, and Tools. CWI-Tract 42. Center for Mathematics and Computer Science, Amsterdam, pp. 9-42. ISBN 90-6196-326-5
Vissers, C.A. and van Sinderen, M.J. and Pras, A. (1987) Computernetwerken. In: Poly-automatiserings zakboekje. Koninklijke PBNA bv, Arnhem, B2/1-B2/39. ISBN 90 6228 086 2

Conference or Workshop Paper

Fokkinga, M.M. (1987) Backtracking and Branch-and-Bound Functionally Expressed. In: Computing Science in the Netherlands (CSN 1987), Amsterdam, The Netherlands. pp. 207-224. SION. ISSN 1388-5987
Houtsma, M.A.W. and Apers, P.M.G. (1987) Data and Knowledge model: A proposal. In: Advances in Database Programming Languages, Papers from DBPL-1, Sep 1987, Roscoff, France. pp. 387-402. ACM Press and Addison Wesley. ISBN 0-201-50257-7
de Jong, F.M.G. and Appelo, L. (1987) Synonymy and Translation. In: Proceedings of the 6th Amsterdam Colloquium, 13-16 April 1987, Amsterdam. pp. 65-86. ITLI. ISBN not assigned
Mullender, S.J. (1987) Process Management in Distributed Operating Systems. In: Int. Workshop Experiences with Distributed Systems, Kaiserslautern, West Germany. pp. 38-51. Springer-Verlag.
Scollo, G. and van Sinderen, M.J. (1987) On the architectural design of the formal specification of the session standards in LOTOS. In: Proceedings of the IFIP WG6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification, 10-13 Jun 1986, Montreal, Quebec, Canada. pp. 3-14. Elsevier. ISBN 0444701265

Internal Report

Mullender, S.J., ed. (1987) The Amoeba Distributed Operating System: Selected papers 1984 - 1987. Report Type UNSPECIFIED Number UNSPECIFIED,
Asveld, P.R.J. (1987) Complexity Aspects of Iterated Rewriting -- A Survey. Memorandum INF-87-25, Dept. of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Fokkinga, M.M. (1987) An Elementary Semantics for Cardelli's System of Multiple Inheritance. Memoranda Informatica 87-33, Department of Computer Science, University of Twente, Enschede, The Netherlands. ISSN 0924-3755
Hogendorp, J.A. (1987) Nonterminal Separating Macro Grammars. Memorandum INF-87-13, Dept. of Computer Science, University of Twente, Enschede. ISSN 0923-1714
Verbeek, L.A.M. and Nijholt, A. and Asveld, P.R.J. (1987) Theoretische Informatica. Memorandum Informatica 87-08, University of Twente, Enschede. ISSN 0923-1714
Wieringa, R.J. (1987) Axiomatic Specification of Database Domain Statics. Technical Report IR-133, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. (1987) Machine Intelligence and Explication. Technical Report IR-129, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned

Master's Thesis

Huysmans, G.T.A. (1987) Magnetiche eigenschappen van Alumite; invloed van magnetische interactie op het deeltjes gedrag. Master's thesis, University of Twente.

PhD Thesis

Alblas, H. (1987) Pass-Oriented Attributed Evaluation and Attributed Tree Transformations. PhD thesis, University of Twente. ISBN not assigned
Beusekamp, M.F. (1987) Simulation of the perpendicular magnetic recording process. PhD thesis, University of Twente. ISBN 90 900 1655 4

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