Faculteit

Nagekomen publicaties
Koolen, J.H.:

On subgraphs in distance-regular graphs.

Journal of Algebraic Combinatorics 1, 1993, pp 353-362. (DW)
Lint, J.H. van:

Recycling van ponskaarten.

Euclides 67, 1991-1992, pp. 132-135. (DW)
Lint, J.H. van:

Stochastisch koelen en de voetbalpool.

KNAW verslag afd. Nat. 101 (4), 1992, pp. 39-44. (DW)

Lint, J.H. van:

Introduction to Coding Theory. (tweede editie).

Springer Verlag, Berlijn, 1992, pp. 183. (DW)

Lint, J.H. van:

De Ivoren Toren.

Rede opening academisch jaar 1992/1993, TUE, Eindhoven, 1992, pp. 18. (DW)
Lint, J.H. van:

Cryptography and Data Protection.

KNAW Verhandelingen, Afdeling Natuurkunde; R. Tijdeman (ed.), Eerste reeks, 38, 1992, pp. 1-104. (DW)
Lint, J.H. van:

Algebraic-geometric codes.

M.A. Tsfasman and S.G. Vladut (eds.), Essay-book review in Bull A.M.S. 27, 1992, pp. 306-310. (DW)
Lint, J.H. van; Wilson, R.M.:

A course in Combinatorics.

Cambridge University Press, Cambridge, 1992, pp. 530. (DW)
Seidel, J.J.; Neumaier, A.:

Measures of strenght 2e and optimal designs of degree e.

Sankhya, The Indian Journal of Statistics 54, 1992, pp. 299-309. (DW)
Abstracts
Dijk, M. van:

On the information rate of perfect sharing schemes.

In: Proceedings of the 2nd International Winter meeting on Coding and Information Theory, 1993,

p. 27. (DW)

Vakpublicaties
Peremans, W.; Peters, H.; Stel, H. van der; Storcken, T.:

Strategy-proofness on euclidean spaces.

Research Memorandum Rijksuniversiteit Limburg, Fac. der Economische Wetenschappen, RM 93-054, 1993, pp. 31. (DW)
Tilborg, H.C.A. van:

Beschermde berichten.

Natuur & Techniek 61, 1993, pp. 828-837. (DW)
1.4

VF-code: TUE.INF.301.90.26

VF-programma: PROGRAMMEREN
Dissertaties
Augusteijn, A.:

Functional Programming, Program Transformations and Compiler Construction.

Promotoren: prof.dr. F.E.J. Kruseman Aretz, prod.dr. S.D. Swierstra.

Eindhoven, 7 oktober 1993, pp. 247.

Geuvers, J.H.:

Logics and Type Systems.

Promotor: prof.dr. H.P. Barendregt.

Nijmegen, 1993, pp. 209.

Kloks, A.J.J.:

Treewidth.

Promotor: prof.dr. J. van Leeuwen. Co-promotor: H. Bodlaender.

Utrecht, juni 1993, pp. 183.

Wetenschappelijke publicaties
Backhouse, R.C.; Gasteren, A.J.M. van:

Calculating a path algorithm.

Mathematics of Program Construction, 2nd International Conference, R.S. Bird, C.C. Morgan, J.C.P. Woodcock, (eds.). Springer Verlag, Lecture Notes in Computer Science, Vol. 669, 1993, pp. 32-44.
Backhouse, R.C.; Hoogendijk, P.:

Elements of a Relational Theory of Datatypes.

Formal Program Developments. Proceedings IFIP TC2/WG 2.1 State of the Art Seminar, B. Möller, H.A. Partsch, S.A. Schuman (eds.), Rio de Janeiro. Springer Verlag, Vol. 755, 1993, pp. 7-42.
Backhouse, R.C.; Woude, J. van der:

Demonic operators and Monotype Factors.

Mathematic Structures in Computer Science, Vol. 3, no. 4, 1993, pp. 417-433.
Benthem Jutting, L.S. van:

Typing in Pure Type Systems.

Information and Computation 105, 1993, pp. 30-41.
Bijlsma, A.:

Calculating with procedure calls.

Information Processing Letters 46, 1993, pp. 211-217.
Bijlsma, A.:

Quasi-boolean equivalence.

Information Processing Letters 45, 1993, pp. 243-247.
Bodleander, H.; Kloks, T.; Kratsch, D.:

Treewidth and pathwidth of permutation graphs.

Proceedings of the 20th International colloquium on Automata, Languages and Programming, Springer Verlag, Lecture Notes in Computer Science 700, 1993, pp. 114-125.
Boiten, E.A.; Geerling, A.M.; Partsch, H.A.:

Transformational derivation of (parallel) programs using skeletons.

In: Computing Science in the Netherlands 1993; H. Wijshoff (ed.), 1993, pp. 97-108.
Boiten, E.A.:

Parsing in ISBES.

In: Formal Methods in Programming and Their Applications, D. Bjorner, M. Broy, I.V. Pottosin,

(eds.), Lectures Notes in Computing Science, Vol. 735, Springer Verlag, 1993, pp. 423-433.

Eijnde, J.P.H.W.:

Conservative Fixpoint Functions on a Graph.

In: Mathematics of Program Construction, 2nd International Conference, R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.), Springern Verlag, Lecture Notes of Computing Science, Vol. 669, 1993, pp. 80-100.
Feijen, W.H.J.:

Phase Synchronization for two machines.

In: Programming and Mathematical Method, Proceedings of the International Summer School of Marktoberdorf, NATO ASI Series, Series F, Vol. 88, pp. 27-31.
Feijen, W.H.J.:

The lexicographic minimum of a cyclic array.

In: Programming and Mathematical Method, Proceedings of the International Summer School of Marktoberdorf, NATO ASI Series, Series F, Vol. 88, pp. 33-42.
Hoogendijk, P.:

(Relational) Programming laws in the Boom hierarchy of types.

Mathematics of Program Construction. 2nd International Conference, 1992, R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.). Vol. 669, Lecture Notes in Computer Science, Springer Verlag, 1993, pp. 163-190.

Extended version to appear in Science of Computer Programming.

Hoogerwoord, R.R.

A logarithmic implementation of flexible arrays.

In: Mathematica of Program Construction, R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.), Springer Verlag, Lecture Notes in Computing Science Vol. 669, 1993, pp. 191-201.
Hoogerwoord, R.R.:

A derivation of Huffman's algorithm.

In: Mathematica of Program Construction, R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.), Springer Verlag, Lecture Notes in Computing Science Vol. 669, 1993, pp. 375-378.
Kaldewaij, A.:

Programmeren: deel 3, Datastructuren en standaardalgoritmen.

Bohn, Stafleu, Van Loghhum, 1993, pp. 1-171.
Kaldewaij, A.:

Docentenhandleiding Programmeren: deel 3, Datastructuren en standaardalgoritmen.

Bohn, Stafleu, Van Loghhum, 1993, pp. 1-20.
Kamareddine, F.; Nederpelt, R.:

On stepwise explicit substitution.

International Journal of Foundations of Computer Science 4(3), 1993, pp. 197-240.
Kloks, T.:

Treewidth in circle graphs.

4th International Symposium, ISAAC'93, Springer Verlag, Lecture Notes in Computer Science 762, 1993, pp. 108-117.
Kloks, T.; Bodlaender, H.; Müller, H.; Kratsch, D.:

Computing treewidth and minimum fill-in: All you need are the minimal separators.

Proceeding of the first Annual European Symposium on Algorithms, Springer Verlag, Lecture Notes in Computing Science, Vol. 726, 1993, pp. 260-271.
Kloks, T.; Kratsch, D.:

Treewidth of chordal bipartite graphs.

10th Annual Symposium on Theoretical Aspects of Computer Science, Springer Verlag, Lecture Note in Computer Science 665, 1993, pp. 80-89.
Kruseman Aretz, F.E.J.:

Binair-decimaal-conversie.

In: Bouwen op Wetenschap, E. Aarts, P. America (eds.), Philips Research, 1993, pp. 27.
Poll, E; Hemerik, C.; Eikelder, H.M.M. ten:

CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping.

Information théorique et Applications/Theoretical Informatics and Applications, Vol 27, no. 3, 1993, pp. 221-260.
Watson, B.W.; Zwaan, G.:

A Taxonomy of Keyword Pattern Matching Algoritms.

Procs. CSN'93 (Computing Science in the Netherlands); H.A. Wijshoff (ed.), 1993, pp. 25-39.
Abstract
Vakpublicaties
Backhouse, R.C.; Woude, J. van der:

Domain operators and domain kinds.

STOP workshop on Galois connections, Utrecht, 1993, pp. 18.
Bijlsma, A.:

Temporal operators viewed as predicate transformers.

Computing Science Note 93/41, EUT, Eindhoven, 1993, pp. 11.
Boiten, E.A.; Geerling, A.M.; Partsch, H.A.:

Transformational derivation of (parallel) programs using skeletons.

Technical Report no. 93-20, Computing Science Institute, Katholieke Universiteit Nijmegen, 1993, pp. 15.
Deogun, .S.; Kloks, T.; Kratsch, D.; Müller, H.:

On vertex ranking for permutation and other graphs.

Computing Science Note 93/30, EUT, Eindhoven, 1993, pp. 11. To appear in Proceedings STACS'94.
Eikelder, H.M.M. ten; Geldrop, H.P.J. van:

On the Correctness of some Algoritms to Generate finite Automata for regular expressions.

Computing Science Note 93/32, EUT, Eindhoven, 1993, pp. 17.

Ferrer, W.; Severi, P.:

Abstract Reduction and Topology.

Computing Science Note 93/35, EUT, Eindhoven. 1993, pp. 28.

Geldrop, H.P.J. van:

Deriving the Aho-Corasick algoritms: A Case study into the synergy of Programming Methods.

Computing Science Note 93/01, EUT, Eindhoven, 1993, pp. 36.

Geuvers, J.H.:

Conservativity between logics and typed lambda calculi.

In: Informal Proceedings of the BRA 'Types for Proofs and Programs', Workshop, Nijmegen, 1993, pp. 131-156.

Kamareddine, F; Nederpelt, R.:

A semantics for a fine lambda-calculus with de Bruijn-indices.

Computing Science Note 93/28, EUT, Eindhoven, pp. 49.
Kloks, T.:

Minimum fill-in for chordal bipartite graphs.

Technical Report RUU-CS-93-11, Department of Computer Science, Utrecht University, Utrecht, 1993, pp. 10.
Kloks, T.; Kratsch, D.:

Finding all minimal separators of a graph.

Computing Science Note 93/27, EUT, Eindhoven, 1993, pp. 11. To appear in Proceedings STACS'94.
Kloks, T.; Kratsch, D.; Spinrad, J.:

Treewidth and pathwidth of co-comparability graphs of bounded dimension.

Computing Science Notes 93/46, EUT, Eindhoven, 1993, pp. 12.
Kogel, E. de:

Relational Algebra and Equational Proofs.

Computing Science Note 93/23, EUT, Eindhoven, 1993, pp. 23.
Moerland, P.D.:

Exercises in multiprogramming.

Computing Science Note 93/07, 1993, pp. 97.
Poll, E.:

A Typechecker for Bijective Pure Type Systems.

Computing Science Note 93/22, EUT, Eindhoven, 1993, pp. 28.
Poll, E.; Severi, P.:

Pure Type Systems with Definitions.

Computing Science Note 93/24, EUT, Eindhoven, 1993, pp. 38.
Watson, B.W.:

A Taxonomy of Finite Automata Construction Algoritms.

Computing Science Note 93/43, EUT, Eindhoven, 1993, pp. 87.
Watson, B.W.:

A Taxonomy of Finite Automata Mininization Algoritms.

Computing Science Note 93/44, EUT, Eindhoven, 1993, pp. 23.
Woude, J. van der:

Fusion and all that jazz.

Handout, 1993, pp. 9.
Woude, J. van der:

A relational perspective on types with laws.

Handout bij workshop, 1993, pp. 19.

Software
Mathpad (Mathematical document preparation system), opgesteld door R. Backhouse en R. Verhoeven.
1.5

VF-code: TUE.INF.302.90.26

VF-programma: PARALLELLISME
Dissertaties
Klusener, A.S.:

Models and axioms for a fragment of real time process algebra.

Promotoren: prof.dr. J.C.M. Baeten, prof.dr. J.A. Bergstra.

Eindhoven, 1993, pp. 216.

Koster, G.J.P.:

Modelling Industrial Systems: Theory and Applications.

Promotoren: prof.dr. M.Rem, prof.dr.ir. J.E. Roorda.

Eindhoven, 1993, pp. 161.

Körver, W.H.F.J.:

A Discrete Switch-Level Circuit Model that uses 4-valued nodes.

Promotoren: prof.dr. M. Rem, prof.dr.ing. J.A.G. Jess.

Eindhoven, 1993, pp. 222.

Mortel-Fronczak, J.M. van de:

Models of Trace Theory Systems.

Promoter: prof.dr. M. Rem.

Eindhoven, 1993, pp. 202.

Zhou, P.:

Clocks, communications, and correctness.

Promotoren: prof.dr. W.P. de Roever, prof.dr. J.C.M. Baeten. Co-promotor: dr. J.J.M. Hooman.

Eindhoven, 1993, pp. 165.

Wetenschappelijke publicaties
Baeten, J.C.M.:

The total order assumption.

In: Proceedings First North American Process Algebra Workshop, Stony Brooks, NY 1992; S. Purushothaman, A.Zwarico (eds.).

Workshop in Computing, Springer Verlag, 1993, pp. 231-240.

Baeten, J.C.M.:

Informatica als wetenschap (formele specificatie en wiskundige verificatie).

Informatie 35 (7/8), 1993, pp. 493-499.
Baeten, J.C.M.; Bergstra, J.A.:

Non interleaving process algebra.

In: Proceedings CONCUR'93, Hildesheim; E. Best (ed.), Lecture Notes In Computer Science 715, Springer Verlag, 1993, pp. 308-323.
Baeten, J.C.M.; Bergstra, J.A.:

Real space process algebra.

Formal Aspects of Computing 5 (6), 1993, pp. 481-529.
Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.:

Decidability of bisimulation equivalence for processes generating context-free languages.

Journal of the ACM 40 (3), 1993, pp. 653-682.
Baeten, J.C.M.; Verhoef, C.:

A congruence theorem for structured operational semantics with predicates.

In: Proceedings CONCUR'93, Hildesheim; E.Best (ed.), Lecture Notes in Computer Science 715, Springer Verlag, 1993, pp. 477-492.
Bailey, A.:

Automatic Verification of Speed-Independent Circuit Designs Using the Circal System.

In: Proceedings Correct Hardware Design and Verification Methods; G.J. Milne, L. Pierre (eds.), Springer Verlag, LNCS 683, 1993, pp. 167-178.
Boer, F. de; Coenen, J.; Gerth, R.:

A Proces Algebra for Fault Tolerancy.

In: Proceedings 1st North American Process Algebra Workshop, NAPAW, Workshop in Computing Series, Springer Verlag, London, 1993, pp. 86-100.
Bol, R.N.:

Loop Checking and Negation.

Journal of Logic Programming 15 (2), 1993, pp. 147-175.
Bol, R.N.:

Loop Checking in Partial Deduction.

Journal of Logic Programming 16 (1), 1993, pp. 25-46.
Bol, R.N.; Degerstedt, L.:

The Underlying Search for Magic Templates and Tabulation.

Tenth International Conference on Logic Programming, Budapest, Hungary, 1993, pp. 793-811.
Bol, R.N.; Degerstedt, L.:

Tabulated Resolution for Well Founded Semantics.

International Logic Programming Symposium, Vancouver, Canada, 1993, pp. 199-219.
Borghuis, T.:

Interpreting modal natural deduction in type theory Diamonds and Defaults, M. de Rijke (ed.).

Kluwer Academic Publishers, 1993, pp. 67-102.
Coenen, J.; Hooman, J.:

Parameterized Semantics for Fault Tolerant Real-Time Systems.

In: Formal Techniques in Real-Time and Fault Tolerant Systems, J. Vytopil (ed.).

Kluwer Academic Publishers, 1993, pp. 51-78.

Dams, D.R.; Grumberg, O.; Gerth, R.:

Generation on Reduced Models for Checking Fragments of CTL.

In: Proceedings 5th International Conference on Computer Aided Verification, CAV'93, 1993, pp. 479-490.
Ebergen, J.C.; Peeters, A.M.G.;

Design and Analysis of Delay-Insensitive Modulo-N Counters.

Formal Methods in System Design, 3 (3), 1993, pp. 211-232.
Esselink, K.; Smit, B.; Hilbers, P.A.J.:

Efficient Parallel Implementation of Molecular Dynamics on a Toroidal Network, Part 1: Parallelizing Strategy.

Journal of Computational Physics. Vol. 106, No. 1, 1993, pp. 101-107.
Esselink, K.; Hilbers, P.A.J.:

Efficient Parallel Implementation of Molecular Dynamics on a Toroidal Network, Part II: Multi-Particle Potentials.

Journal of Computational Physics, Vol. 106, no. 1, 1993, pp. 108-114.
Haans, J.; Berkel, K. van; Peeters, A.; Schalij, F.:

Asynchronous Multipliers as Combinational Hansshake Circuits.

Proceedings of IFIP Working Conference on Asynchronous Design Methodologies; S. Furber and M. Edwards (eds.). IFIP Transactions A-28, Elsevier Science Publishers, 1993, pp. 149-163.
Hilbers, P.A.J.; Esselink, K.:

Parallel Computing and Molecular Dynamics Simulations.

In: Computer Simulations in Chemical Physics; M.P. Allen, Tildesley (eds.), Kluwer, Amsterdam, 1993, pp. 473-495.
Hooman, J.:

A Compositional Approch to the Design of Hybrid Systems.

Proceedings Workshop on Hybrid Systems.

Lecture Notes in Computer Science, Vol. 736, Springer Verlag, 1993, pp. 121-148.

Hooman, J.:

Specification and Verification of a Distributed Real-Time Arbitration Protocol.

Proceedings 14th IEEE Real-Time Systems Symposium.

IEEE Computer Society Press, 1993, pp. 284-293.

Josephs, M.B.; Mak, R.H. (eds.):

Proceedings of the ACID-WG/EXCT Workshop on Asynchronous Data Processing, 1993,

EUT Technical Report EXACT/D.2/EUT/m6/D2, pp. 266.
Katoen, J.P.; Rem, M.:

Recognizing k-rotated segments.

International Journal of High Speed Computing 5, 1993, pp. 293-305.
Lukkien, J.:

An operational semantics for the guarded command language.

In: Mathematics of Program Construction; R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.).

LNCS Vol. 669, Springer Verlag, 1993, pp. 233-249.

Mak, R.H.:

Evaluation Report Task C.1.

EXACT document 071/REP, 1993, pp. 14.
Mauw, S.; Veltink, G.J. (eds.):

Algebraic specification of communication protocols.

Cambridge Tracts in Theoretical Computer Science 36, Cambridge University Press, 1993, pp. 197.

Mauw, S.; Wijk, M. van; Winter, T.:

A formal semantics of synchronous Interworkings.

In: SDL'93 Using Objects, Proceedings of the Sixth SDL Forum Darmstadt; O. Faergemand, A. Sarma, (eds.), North-Holland, 1993, pp. 167-178.

Penczek, W.:

Temporal Logics for Trace Systems: On Automated Verification.

International Journal of Foundation of Computer Science 4, 1993, pp. 31-67.
Penczek, W.:

Axiomatizations of Temporal Logics on Trace Systems.

Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, (STACS'93), Wurzburg 1993; P. Enjalbert, A. Finkel, K.W. Wagner (eds.), LNCS 665, 1993, pp. 452-462.
Zhou, S.; Gerth, R.; Kuiper, R.:

Transformations preserving properties and properties preserved by transformations in fair transition systems.

In: Proceedings of the Fourth International Conference on Concurrency Theory, CONCUR, Springer Verlag, New York, LNCS 715, 1993, pp. 353-367.
Abstracts
Vakpublicaties
Baeten, J.C.M.:

Praktijk weigert theorie.

Automatiseringsgids 27 (10), 1993, pp. 9.
Baeten, J.C.M.; Bergstra, J.A.:

Real time process algebra with infinitesimals.

Rapport P9325, Vakgroep Programmatuur, Universiteit van Amsterdam, 1993.

Computing Science Note 93/34, Vakgroep Informatica, EUT, Eindhoven, 1993, pp. 39.

Baeten, J.C.M.; Bergstra, J.A.:

Non interlaeving process algebra.

Rapport P9326, Vakgroep Programmatuur, Universiteit van Amsterdam, 1993.

Computing Science Note 93/36, Vakgroep Informatica, EUT, Eindhoven, 1993, pp. 17.

Baeten, J.C.M.; Bergstra, J.A.:

On sequential composition, action prefixes and process prefix.

Rapport P9325, Vakgroep Programmatuur, Universiteit van Amsterdam, 1993.

Computing Science Note 93/14, Vakgroep Informatica, EUT, Eindhoven, 1993, pp. 21.

To appear in Formal aspects of Computing 6(3).
Baeten, J.C.M.; Bergstra, J.A.; Bol, R.N.:

A real time process logic.

Rapport P9309, Vakgroep Programmatuur, Universiteit van Amsterdam, 1993.

Computing Science Note 93/15, Vakgroep Informatica, EUT, Eindhoven, 1993, pp. 31.

Baeten, J.C.M.; Verhoef, C.:

A congruence theorem for structured operational semantics with predicates.

Computing Science Note 93/05, Vakgroep Informatica, EUT, Eindhoven, 1993, pp. 18.

Boer, F.S. de:

A process Algebra of Concurrent Constrain Programming.

Computing Science Note 93/20, EUT, Eindhoven, 1993, pp. 15.

Brunekreef, J.; Katoen, J.P.; Koymans, R.; Mauw, S.:

Design and analysis of dynamic leader election protocols in broadcast networks.

Computing Science Note 93/37, EUT, Eindhoven, 1993, pp. 73.
Codish, M.; Dams, D.; Filé, G.; Bruynooghe, M.:

Freeness Analysis for Logic Programs - And Correctness?

Computing Science Note 93/21, EUT, Eindhoven, 1993, pp. 24.
Esselink, K.; Hilbers, P.A.J.:

Parallel Molecular Dynamics on a Torus Network.

SIAM news, 1993, pp. 12-15.
Gast, E. de; Hooman, J.; Zhou, P.:

Compositional Verification of a Membership Protocol.

Proceedings Second Workshop on Protocol Verification, 1993, p. 19.
Gerth, R.:

Sequential Consistency as Interface Refinement.

Computing Science Note 93/48, EUT, Eindhoven, 1993, pp. 20.
Körver, W.:

Derivation of delay insensitive and speed independent CMOS circuits, using directed commands and production rule sets.

Computing Science Note 93/31, EUT, Eindhoven, 1993, pp. 40.
Loyens, L.; Moonen, J.:

ILIAS, a sequential language for parallel matrix computations.

Computing Science Note 93/33, EUT, Eindhoven, pp. 20.
Mauw, S.; Reniers, M.:

An algebraic semantics for Message Sequence Charts.

ITU-TS Q.9/10 Temporary Document 40, 1993, pp. 27.
Mauw, S.; Reniers, M.:

A classification of Message Sequence Charts.

ITU-TS Q.9/10, Temporary Document 41, 1993, pp. 9.
Schepers, H.; Hooman, J.:

Trace-Based Compositional Reasoning about Fault Tolerant Distributed Systems.

Proceedings Second Workshop on Protocol Verification, 1993, p. 22.
Veltkamp, J.P.:

On the unavoidability of metastable behaviour.

Computing Science Note 93/06, EUT, Eindhoven, 1993, pp. 29.
Verhoef, C.:

A congruence theorem for structured operational semantics with predicates and negative premises.

Computing Science Note 93/18, EUT, Eindhoven, 1993, pp. 22.

Verhoef, C.:

A general conservative extension theorem in process algebra.

Computing Science Note 93/38, EUT, Eindhoven, 1993, pp. 17.

Verhoeff, T.:

A Continuous Version of the Prisoner's Dilemma.

Computing Science Note 93/02, EUT. Eindhoven, 1993, pp. 17.
Verhoeff, T.:

ACM: Internationaal en breed.

VIEtaal 6, no. 1, 1993, pp.3.
Verhoeff, T.:

Puzzling Computers.

Cubism for Fun, no. 31, 1993, pp. 10-17.
Verhoeff, T.:

Quicksort for Linked Lists.

Computing Science Note 93/03, EUT, Eindhoven, 1993, pp. 8.

Submitted to Software: Practice and Experience.

Verhoeff, T.:

Constant-Space Quicksort.

Technical Note, 1993, pp. 14.
Verhoeff, T.:

Z Specification for DCC Decoder,

EXACT document, 1993, pp. 16.
Verhoeff, T.:

The Laws of Large Compared.

Technical Note, 1993. pp. 7.
1.6

VF-code: TUE.INF.303.90.26

VF-programma: INFORMATIESYSTEMEN 2
Dissertaties
Dijk, G.J.W. van:

The Design of the EMPS Multiprocessor Executive for Distributed Computing.

Promotoren: prof.dr.ing. D.K. Hammer; prof.dr. S. Mullender.

Eindhoven, 16 maart 1993, pp. 160.

Veltman, B.:

Multiprocessor scheduling with communication delays.

Promotor: prof.dr. J.K. Lenstra.

Eindhoven, 1993, pp. 114. (BS)

Verkoulen, P.A.C.:

Integrated Information Systems Design - An Approach Based on Object-Oriented Concepts and Petri Nets.

Promotoren: prof.dr. K.M. van Hee; prof.dr. J.J.E.L. Paredaens.

Eindhoven, 1993, pp. 184.