Faculteit

Voordrachten
Adan, I.J.B.F.:

- Analysing shortest expected delay routing for Erlang servers. 22nd Conference on Stochastic Processes and their Applications, Amsterdam, 21 - 25 juni 1993.

- Analysing E_k│E_r│c queues. DGOR/NSOR conference, Amsterdam, 25 - 27 augustus 1993.
Akker,J.M. van den:

- Facetten voor single-machine scheduling problemen. VVS-dag, Utrecht, 07 april 1993.

- Facet inducing inequalities for single-machine scheduling problems. Meeting European Doctoral Program in Quantitative Methods in Management, Londen, Engeland, 22 - 23 april 1993.

- Facet inducing inequalities for single-machine scheduling problems. Netflow93, San Miniato, Italië, 03 -07 oktober 1993.

Coolen, F.P.A.:

- Decision making with imprecise probabilities. DGOR/NSOR-conference, Amsterdam, augustus 1993.

- Bayesian decision theory with imprecise prior probabilities applied to replacement problems. SRE-conference, Arnhem, oktober 1993.

- A new updating theory for imprecise probabilities in a Bayesian framework. Statistics Seminar, University of Western Australia, 04 november 1993.

Eenige, M.J.A.:

- A matrix-geometric analysis of discrete time queueing systems with periodic service interruptions. 2nd Conference on Stochastic Processes and Their Applications, Amsterdam, 21 juni 1993.

- A matrix-geometric analysis of discrete time queueing systems with periodic service interruptions. DGOR/NSOR Tagung, Amsterdam, 25 augustus 1993.
Eijl, C.A. van:

- Het handelsreizigersprobleem met tijdvensters. VVS-dag, Utrecht, 07 april 1993.

Einmahl, J.H.J.:

- Maximal type test statistics based on conditional processes. Meeting on Mathematische Stochastik, Oberwolfach, maart 1993.

- Asymptotic results for the length of the shortt. Colloquium Universiteit Utrecht, mei 1993.

- Some results for the length of the shortt. Ninth International Conference on Probability in Banach Spaces, Sandbjerg, augustus 1993.

Habets, L.C.G.J.M.:

- Reachability test for systems over polynomial rings using Gröbner bases. 12th Benelux Meeting on Systems and Control, Houffalize, België, 04 maart 1993.

- A reachability test for systems over polynomial rings using Gröbner bases. American Control

Conference 1993, San Francisco, USA, 02 juni 1993.

- A reliable stability test for exponential polynomials. MTNS'93, Regensburg, Duitsland, 02 augustus 1993.

- Testing reachability and stabilizability of systems over polynamial rings using Gröbner bases. MTNS'93, Regensburg, Duitsland, 04 augustus 1993.

Hoogeveen, J.A.:

- Stronger Lagrangian bounds by use of slack variables: applications to machine scheduling problems. Workshop on solving hard combinatorial problems, New Brunswick, USA, 29 maart - 02 april 1993.

Houtum, G.J. van:

- The equilibrium distribution for a class of multi-dimensional random walks. 22nd Conference on Stochastic Processes and their Applications, Amsterdam, 25 juni 1993.

- The symmetric longest queue model. DGOR/NSOR Tagung 1993, Amsterdam, 25 augustus 1993.

- The compensation approach. University of Arizona, Tucson, Arizona, USA, 23 september 1993.

- The compensation approach for queueing systems. Colloquium LNMB, Utrecht, 01 november 1993.

- De compensatiemethode voor wachtrijsystemen. Vakgroepsdag van de vakgroep Besliskunde & Stochastiek, EUT, Eindhoven, 18 november 1993.

Huijberts, H.J.C.:

- Dynamic feedback for nonlinear systems. Colloquium Netwerk Systeem- en Regeltheorie, Utrecht, 01 februari 1993.

- Minimality of dynamic input-output decoupling for nonlinear systems. Ecole des Mines, Fontainebleau, Frankrijk, 22 februari 1993.

- Nonlinear disturbance decoupling and linearization. Laboratoire des Signaux et Systèmes, Gif-sur-Yvette, Frankrijk, 23 februari 1993.

- Nonlinear disturbance decoupling and linearization. 12th Benelux Meeting on Systems and Control, Houffalize, België, 04 maart 1993.

- Nonlinear disturbance decoupling and linearization. Mathematisches Institut, Technische Universität Ilmenau, Ilmenau, Duitsland, 10 juni 1993.

- Controlled invariance for nonlinear systems: an overview and generalized concepts. Mathematisches Institut, Technische Universität Ilmenau, Ilmenau, Duitsland, 10 juni 1993.

- Controlled invariance for nonlinear system: nonexact forms speak louder than exact forms. MTNS 1993, Regensburg, Duitsland, 03 augustus 1993.

- Everything you always wanted to know about nonlinearity, but were afraid to ask. Vakgroepsonderzoeksdag, vakgroep B&S, faculteit W&I, TUE, Eindhoven, 18 november 1993.

- Controlled invariance for nonlinear systems: an overview and generalized concepts. Department of Electrical and Computer Engineering, The John Hopkins University, Baltimore, USA, 13 december 1993.

- Nonlinear disturbance decoupling and linearization: a partial interpretation of integral feedback. 32nd Conference on Decicion and Control, San Francisco, USA, 17 december 1993.
Jong, J.L. de:

- A numerical method for the solution of state constrained optimal control problems by means of sequential quadratic programming. 2nd International IFAC Workshop On Nonsmooth and Discontinous Optimal Control Problems and Optimization, Chelybinsk, Russia, 24 - 30 mei 1993.

Kristiansen, G.K.:

- Two conjectures in infinite divisibility. Colloquium Kansrekening en Statistiek, EUT, Eindhoven, december 1993.

Laan, P. van der:

- Statistische selectie procedures: enkele eigenschappen en generalisaties. Sectie Mathematische Statistiek van de VVS, Vereniging voor Statistiek en Operations Research, 25 januari 1993.

- Subset selection with a generalized selection goal. ISI Conference, Firenze, Italië, 25 augustus - 03 september 1993.

- Some generalized subset selection procedures. 3rd Schwerin Conference on Mathematical Statistics-Statistical Selection, Bad Doberan, Duitsland, 05 - 10 september 1993.

- Besliskunde en Stochastiek variant en het bijzonder de Statistiek. P-Colloquium, EUT, Eindhoven, 11 mei 1993.

- Gemiste Kansen? D-Colloquium, EUT, Eindhoven, 28 april 1993.

- Afstuderen in de Statistiek. D-Colloquium, EUT, Eindhoven, 22 december 1993.
Lenstra, J.K.:

- Short schedules. DIMACS Workshop on Approximation Algorithms for Combinatorial Optimization, Rutgers University, New Brunswick, USA, 25 maart 1993.

- Job shop scheduling by local search. DIMACS Workshop on Solving Hard Combinatorial Optimization Problems, Rutgers University, New Brunswick, USA, 01 april 1993.

- Job shop scheduling by local search. Mathematisch Instituut, Universiteit van Linköping, Linköping, Zweden, 03 mei 1993.

- Complexity of approximation. NGB Seminar on Combinatorial Optimization, Utrecht, 14 mei 1993.

- Combinatorische optimalisering in produktie- en distributieplanning. Symposium Operations Research en Europese Logistiek, TUE, Eindhoven, 11 juni 1993.

- Approximation algorithms for job shop scheduling. Workshop on Models and Algorithms for Planning and Scheduling Problems, Menaggio, Italië, 17 juni 1993.

- Minimizing maximum cost in single-machine scheduling. Institute of Applied Mathematics, Academia Sinica, Beijing, China, 20 juli 1993.

- Short schedules and the complexity of approximation. Institute of Applied Mathematics, Academia Sinica, Beijing, China, 20 juli 1993.

- Job shop scheduling. Institute of Systems Sciences, Academia Sinica, Beijing, China, 22 juli 1993.

- Computational complexity. Institute for Computational and Applied Mathematics, Xi'an Jiaotong University, Xi'an, China, 26 juli 1993.

- Minimizing maximum lateness in single-machine scheduling. Institute for Computational and Applied Mathematics, Xi'an Jiaotong University, Xi'an, China, 26 juli 1993.

- Multiprocessor scheduling: identical and unrelated machines. Institute for Computational and Applied Mathematics, Xi'an Jiaotong University, Xi'an, China, 28 juli 1993.

- Job shop scheduling. Institute for Computational and Applied Mathematics, Xi'an Jiaotong University, Xi'an, China, 30 juli 1993.

- Job shop scheduling and local search. 18.Symposium über Operations Research, Keulen, Duitsland, 01 - 03 september 1993.

- Job shop scheduling and local search. AIRO'93 Annual Conference of the Operations Research Society of Italy, Capri, Italië, 28 september - 01 oktober 1993.

- Approximation algorithms for job shop scheduling. Netflow 93, San Miniato, Italië, 03 - 07 oktober 1993.

- Planningsoptimalisering van het produktieproces bij Van Geel Metal BV. IWDE Lustrumsymposium Wiskunde Werkt!, EUT, Eindhoven, 23 november 1993.

- Benaderingsalgoritmen voor schedulingproblemen. Philips Natuurkundig Laboratorium, Eindhoven, 24 november 1993.
Resing, J.A.C.:

- Wachtrijmodellen met meerdere aankomststromen. Kansrekening Colloquium, RUU, Utrecht, 10 maart 1993.

- Duality and Equivalencies in Closed Tandem Queueing Networks. INRIA/ORSA/TIMS/SMAI Conference on Applied Probability in Engineering, Computer and Communication Sciences, Parijs, Frankrijk, 16 juni 1993.

- Polling systems amd multitype branching processes. 22nd Conference on Stochastic Processes and their Applications, VU, Amsterdam, 25 juni 1993.

- Duality and Equivalencies in Closed Tandem Queueing Networks. Colloquium Wachtrijtheorie, CWI, Amsterdam, 21 december 1993.
Rijpkema, J.J.M.:

- The Eindhoven survey on needs for continuing education in mathematics with software-use. ECMI-meeting on continuing education in mathematics, Kaiserslautern, 15 - 17 januari 1993.

- 'Experimenteren' met Statgraphics. Jaarvergadering Statistische Programmatuur VVS, Utrecht, 03 februari 1993.

- Computers in het statistiekonderwijs, Jaarvergadering VVS, Utrecht, 07 april 1993.

- The impact of computers on the teaching of statistics. SEFI-7 Europeaan Seminar on Mathematics in Engineering Education, Eindhoven, 14 - 16 april 1993.

- Mathematics courses for industry: some experiences. The French-Norwegian Symposium on Computer-Aided Mathematics, Oslo, 02 - 05 september 1993.

- How courses change in this computer era. The French-Norwegian Symposium on Computer-Aided Mathematics, Oslo, 02 - 05 september 1993.

- A European perspective on using technology in mathematics and statistics courses. ICTCM-6 Conference, Parsippany, 04 - 07 november 1993.

Rossum, J. van:

- Powerspending in clinical trials using alpha-spending stopping rules. The Fourteenth Annual Meeting of the Society for Clinical Trials, Orlando, Florida, USA, 23 - 26 mei 1993.

Ruys, P.H.M.:

- Fiscal Principles and the Finance of Infrastruture. Virginia Tech, Department of Economics Seminar, Blacksburg VA. 10 februari 1993.

- Extensions of Choice Behavior. Virginia Tech, Mathematical Economics Seminar, 16 maart 1993.

- Hierarchical Public Goods Economies. Meeting of the Public Choice Society, New Orleans LA, 19 - 21 maart 1993.

- FinancingPublic Infrastruture. Meeting of the Public Choice Society, New Orleans LA, 19 -21 maart 1993.

- Efficient Commodity Taxation. Joint Seminar in Mathematical Economics, Dept. of Economics and Mathematics, Columbus OH, Ohio State U, 30 april 1993.

- Modelling of Economies with Relational Constraints on Coalition Formation. European Meeting Econometric Society, Uppsala, 20 - 26 augustus 1993.

- Efficient commodity taxation. Meeting Erasmus Coordinators, Universidade Católica Portuguesa, Lissabon, 18 - 22 september 1993.

- Contexten van Interdisciplinariteit. SISWO-conferentie Integratie sociaal-culturele wetenschappen en economie, Rotterdam, 05 november 1993.

- Public Aspects of Trade Infrastructure in Large Economics. Workshop vakgroep Besliskunde en Stochastiek, EUT, Eindhoven, 18 november 1993.

Sol, M.:

- A column generation based heuristic for the complex assignment problem. EDPCQMM meeting, Londen, Engeland, 22 - 23 april 1993.

Steutel, F.W.:

- The number of maxima in a discrete sample. Conference on Stochastic Processes, Amsterdam, 23 juni 1993.

- Applications of probability in applied analysis. Conference on Applied Analysis, Hanoi, Vietnam, 30 augustus 1993.
Stoorvogel, A.A.:

- Differential metrics. Werkgroep Systeemtheorie, CWI, Amsterdam, 23 februari 1993.

- The discrete time minimum entropy H_ control problem. 12th Benelux meeting on system and control, Houffalize, België, 03 - 05 maart 1993.

- Squaring-down and the problems of almost zeros. Workshop on Robust Control, Lochem, 04 - 07 mei 1993.

- Non-square systems: the intricacies of squaring-down. Workshop on Robust Controller Designs and Differential Games, University of California at Santa Barbara, 28 - 29 mei 1993.

- Hamiltonian systems. Reconstruction Seminar, Universiteit Groningen, Groningen, 11 juni 1993.

- The discrete-time H_ control problem with measurement feedback. International symposium on the mathematical theory of networks and systems, Regensburg, 02 - 06 augustus 1993.
Vellinga, N.:

- Some Notes on the Concept of Green National Income. Seminar Wiskundige Economie, KUB, Tilburg, 09 februari 1993.

- Some Notes on the Concept of Green National Income. Jaarlijkse Conferentie van de EAERE, Fontainebleau, Frankrijk, 01 juli 1993.
Venema, W.Z.:

- SecurID tokens in een open netwerk omgeving. SURFnet gebruikers-groep bijeenkomst, Ede-Wageningen, 21 september 1993.

- Knock, knock, who's there? Bijeenkomst van de BUUG, Brussel, België, 01 oktober 1993.
Wal, J. van der:

- Assigning identical operators to different machines. DGOR Tagung, Amsterdam, 25 augustus 1993.

Wennink, M.:

- Towards a planning board generator. EDP-meeting, Londen, Engeland, 22 - 23 april 1993.

Wessels, J.:

- The applicability of neural nets for decision support. Congres EUFIT'93, Aken, Duitsland, 08 - 10 september 1993.

- The three graces (or: the beautiful Helen and her two ugly sisters?). Workshop on Advances in Methodology and Software for Decision Support 1993, Laxenburg, Oostenrijk, 26 - 29 september 1993.

- Neural nets and combinatorial optimisation. Workshop on the use of neural nets for decision support, Laxenburg, Oostenrijk, 26 - 29 september 1993.

- Simulatie. Workshop TASTE, Utrecht, oktober 1993.

- Using information for safety-improving decisions in international transpotation. Conference on Information Technology for safety in international transportation, -8 - 10 november 1993.

- Methodology of decision analysis. International Institute for Applied Systems Analysis, 11 - 30 november 1993.
Wilms, G.J.G.:

- Convergence and divergence of fractional parts of extreme order statistics. Conference on Extreme Value Theory and its applications, Gaithersburg, MD, USA, 02 - 07 mei 1993.

- Characterizations of shift-invariant distributions based on summation modulo one. 22nd

Conference on Stochastic Processes and their applications, Amsterdam, 21-25 juni 1993.

Withagen, C.:

- Macro and micro approaches in environmental economics. RMNO, mei 1993.

- Pollution and exhaustibility of fossil fuels. Congres European Association of Environmental and Resource Economists, Fontainebleau, Frankrijk, juli 1993.

- Some notes on the concept of green national income. Congres European Association of Environmental and Resource Economists, Fontainebleau, Frankrijk, juli 1993.

- Natural capital and sustainability. Congres European Association of Environmental and Resource Economists, Fontainebleau, Frankrijk, juli 1993.

- Equilibrium in L₁-economies. The Hebrew University, Jeruzalem, november 1993.

5

VAKGROEP INFORMATICA (I)
Dissertaties
Wetenschappelijke publicaties
Abstracts
Vakpublicaties
Technische rapporten
Boekbesprekingen
Aarts, E.H.L.:

Boekbespreking van Benveniste, A.; Métivier, M.; Priouret, P.: Adaptive algorithms and stochastic approximations.

Med. Wisk. Gen. 36, mei 1993, pp. 265-266.
Bijlsma, A.:

Boekbespreking van Erdös, P; Gruber, P.M.; Hammer, J.: Lattice points.

Med. Wisk. Gen. 36, 1993, pp. 345-346.
Hemerik, C.:

Boekbespreking van Meyer, B.: Introduction to the theory of programming languages.

Med. Wisk. Gen. 36, februari 1993, pp. 111-113.
Hoogerwoord, R.R.:

Boekbespreking van Huet, G.: Logical Foundations of Functional Programming.

Med. Wisk. Gen. 36, 1993, p. 175.
Hooman, J.:

Boekbespreking van Andrews, G.R.: Concurrent programming: Principles and practice.

Informatie 35, november 1993, pp. 704-705.
Overige producten van wetenschapplijke activiteit
Aalst, W.M.P. van der; Hee, K.M. van; Tréves, N.; Giovanni, R. di:

PROOFS: formalism and methods.

Intern rapport TUE-TR-oo35-V4.0-WP1, Eindhoven, 1993, pp. 78.

Aerts, A.T.M.; Hofman, W.J.; Koop, C.; Somers, L.J.:

Controlling Message Flows, Design and Simulation of an EDI-message handler.

Submitted to the Distributed and Parallel Databases, 1993.

Aerts, A.T.M.; Hofman, W.J.; Koop, C.; Somers, L.J.:

Prototyping Transaction Protocols. Design and Simulation of an EDI-message handler.

Submitted.
Alstein, D.; Stok, P.D.V. van der:

Reliable Multicast protocols for Shared-memory Multiprocessors.

3rd International workshop on responsive Computer Systems, New Hampshire, USA, 1993, pp. 217-228, preprint.
Bijlsma, A.:

A case of context dependence in predicate calculus.

AB36a, EUT, Eindhoven, 1993, pp. 4.

An equation without a strongest solution.

AB40a, EUT, Eindhoven, 1993, pp. 3.

A property of binary operators.

AB41, EUT, Eindhoven, 1993, pp. 5.

Pointer assignments and abstraction functions.

AB42, EUT, Eindhoven, 1993, pp. 6.

Construction of a witness for Girard's theorem.

AB43a, EUT, Eindhoven, 12, 1993, pp. 8.

A constructive proof of the First Supplement.

AB44, EUT, Eindhoven, 1993, pp. 2.

Punctuality, conjunctivity, and monotonicity.

AB45, EUT, Eindhoven, 1993, pp. 8.

Punctual monotonicity implies positive junctivity.

AB46, EUT, Eindhoven, 1993, pp. 3.
Bergen. G. van den; Kaldewaij, A.; Dielissen, V.J.:

Delta-tree: an optimal datastructure for union-of-interval maintenance.

Submitted to Journal of Algorithms, 1993.
Berkel, K. van; Burgess, R.; Kessels, J.; Peeters. A.; Roncken, M.; Schalij, F.:

A Fully Asynchronous Low-Power Error Correctorfor the DCC Player.

Accepted for International Solid State Circuits Conference, ISSCC.
Berkel, K. van; Burgess, R.; Kessel, J.; Peters, A.; Roncken, M.; Schalij, F.:

VLSI Programming of a Fully Asynchronous Low-Power Error Corrector for the DCC Player.

Accepted for IEEE Design and Test.
Bird, R.; Hoogendijk, P.; Moor, O. de:

Generic programming with relators and functors.

Submitted to Journal of Functional Programming, 1993.
Bra, P. de:

Navigational Search, algoritme voor Mosaic.

Intern rapport beschikbaar via ftp.win.tue.nl., 1993.
Feijen, W.H.J.:

A trifle on the stability of f.x  g.y.

WF149, EUT, Eindhoven, 1993, pp. 2.

Phase Synchronization for two machines.

WF150, EUT, Eindhoven, 1993, pp. 10.

rh133a.

WF151, EUT, Eindhoven, 1993, pp. 2.

ETAC's exploration of JANN177.

WF152, EUT, Eindhoven, 1993, pp. 22.

To my fellow teachers of programming.

WF153, EUT, Eindhoven, 1993, pp. 2.

The two-sided Linear Search.

WF154, EUT, Eindhoven, 1993, pp. 2.

On the ascendingness-test and on tail invariants.

WF155, EUT, Eindhoven, 1993, pp. 4.

A formal derivation of a mutual inclusion algorithm, and some more.

WF156, EUT, Eindhoven, 1993, pp. 14.

A note on the Kaldewaij Schemes for longest and shortest segments.

WF157, EUT, Eindhoven, 1993, pp. 9.

On "stricness" for monotonic predicate transformers.

WF158, EUT, Eindhoven, 1993, pp. 2.

A bagatelle from multiprogramming.

WF160, EUT, Eindhoven, 1993, pp. 3.

On some underemployed formulae from the predicate calculus.

WF161, EUT, Eindhoven, 1993, pp. 3.

On two well-known rewrites of x  y.

WF162, EUT, Eindhoven, 1993, pp. 2.

Phase Synchronization according to F. van der Sommen.

WF164, EUT, Eindhoven, 1993, pp. 5.

A high-tech calculation.

WF165, EUT, Eindhoven, 1993, pp. 1.

Three characterizations of extreme solutions.

WF166, EUT, Eindhoven, 1993, pp. 1.

A note on equation x: [ t v s;x = x]

WF167, EUT. Eindhoven, 1993, pp. 2.

Jaap van der Woude's reply to WF167.

WF168, EUT, Eindhoven, 1993, pp. 4.

Courtesy AJM van Gasteren - and Fusion Lemmata -.

WF169, EUT, Eindhoven, 1993, pp. 2.

A note on guarded skips in multiprograms.

WF171, EUT, Eindhoven, 1993, pp. 2.

A trifle on the deferment of acknowledgements.

WF172, EUT, Eindhoven, 1993, pp. 2.

How even the simplest multiprogramm transformations need not work.

WF173, EUT, Eindhoven, 1993, pp. 1.

ETAC's proof of a relational theorem of C.A.R. Hoare's, and some more.

WF174, EUT, Eindhoven, 1993, pp. 4.

An exotic theorem!?

WF177, EUT, Eindhoven, 1993, pp. 5.
Freyd, P.; Hoogendijk, P.; Moor, O. de:

Membership of datatypes.

Submitted to LICS, 1993.
Gasteren, A.J.M. van:

Geometry proofs.

Intern rapport, EUT, Eindhoven, 1993, pp. 4.

Gasteren, A.J.M. van:

U-fusion, for my record.

Intern rapport, EUT, Eindhoven, 1993, pp. 6.

Gasteren, A.J.M. van:

U-fusion can be too weak.

Intern rapport, EUT, Eindhoven, 1993, pp. 2.
Geuvers, J.H.: (ed.)

Informal Proceedings of the BRA 'Types for Proofs and Programs'.

Workshop, Nijmegen, 1993, pp. 397, beschikbaar via ftp.
Hammer, D.K.; Verhoosel, J.P.C.; Ecker, K.:

Refinement of Resource Constrained Activities for Modeling Dynamics System Aspects.

Workshop on Parallel Processing, 1993.
Hoogerwoord, R.R.:

Sometimes auxiliary variables are necessary.

RH185, EUT, Eindhoven, 1993, pp. 3.
Hoogerwoord, R.R.:

Listing the leaves of a tree: theme plus variations.

RH191, EUT, Eindhoven, 1993, pp. 7.

Transposing an infinite matrix.

RH192, EUT, Eindhoven, 1993, pp. 7.

Avoiding real-time requirements: a case study.

RH195a, EUT, Eindhoven, 1993, pp. 7.

Cantor's diagonalisation principle.

RH196, EUT, Eindhoven, 1993, pp. 8.

Concurrent processing and procedure invocations.

RH197, EUT, Eindhoven, 1993, pp. 7.

The function "reverse".

RH199, EUT, Eindhoven, 1993, pp. 5.

Seperating my concerns: a sequel to RH199.

RH200, EUT, Eindhoven, 1993, pp. 6.
Hooman, J.J.M.:

Compositional Verification of a Distributed Real-Time Arbitration Protocol.

To appear in Real-Time Systems 1994, pp. 34.
Kloks, T.

Separators in graph.

To appear in the proceedings of the Oberwolfach meeting Algoritmische Methoden der Diskreten Mathematik, 1993.
Lakhneche, Y.; Hooman, J.:

Metric Temporal Logic with Durations.

Submitted, preprint, 1993, pp. 31.
Schepers, H.:

Compositional reasoning about responsive systems with limited resources.

To appear in Real-Time Systems, 1993.
Schepers, H.:

Timed Executions with real uncertainties.

Proc. 1st Workshop on Parallel and Distributed Real-Time Systems, Newport Beach, USA, april 1993, pp. 216-220.
Schepers, H.:

Trace-based compositional reasoning about fault tolerant systems: The formalism.

Proc. 1st. Workshop on Reliability in Distributed Systems, Eindhoven, januari 1993.
Schepers, H.; Hooman, J.:

Trace-based compositional reasoning about fault tolerant distributed systems.

Proc. 2nd Workshop on Protocol Verification, Mierlo, 1993, pp. 22.
Schepers, H.; Hooman, J.:

A trace-based compositional proof for fault tolerant distributed systems.

To appear in Theoretical Computer Science A, Vol. 129, pp. 24.
Veltkamp, J.P.; Damme, R. van:

Fixed Point Iteration on Pointsymmetric Interference Graphs.

Accepted for Performance Evaluation, 1993, pp. 21.
Veltkamp, J.P.:

Comment on the Unavoidability of Metastable Behavior.

Submitted for publication in: IEEE Transactions on Computers, 1993, pp. 12.
Verhoeven, M.G.A.; Aarts, E.H.L.:

A Parallel Lin-Kernighan algorithm for the Traveling Salesman Problem.

To appear in Proceedings of the International Conference on Parallel Computing (ParCo93), 1993.
Weir, P.; Thijssen, P.; Stok, P.D.V. van der:

Requirements on Cabinet Monitoring aspects in IMA context.

Task 2 working document for BRITE-EURAM project IMAGES-2000.

Pub: British Aerospace, BAe-001-WD-2.d, 1993, pp. 47.

Zhou, P.; Hooman, J.:

Formal Specification and Compositional Verification of an Atomic Broadcast Protocol.

Technical Report, preprint, 1993, pp. 22.
Zhou, P.; Hooman, J.:

Specification and Verification of an Atomic Broadcast Protocol.

Proceedings 4th IFIP Conference on Dependable Computing for Critical Applications 1994, pp. 12, preprint.
Zhou, P.; Hooman, J.:

Formal Specification and Compositional Verification of an Atomic Broadcast Protocol.

Technical Report, 1993. pp. 22, preprint.
Zhou, P.; Hooman, J.; Kuiper, R.:

Compositional Verification of Real-Time Systems with Explicit Clock Temporal Logic.

Accepted for Formal Aspects of Computing, preprint, 1993, pp. 32.