Wetenschappelijke publicaties

The object-oriented paradigm.

Computing Science Report 94/01, EUT. Eindhoven, 1994, pp. 28.
Backhouse, R.C.; Doornbos, H.:

Mathematical induction made calculational.

Computing Science Report 94/16, EUT, Eindhoven, 1994, pp. 36.
Backhouse, R.C.; Bijsterveld. M.:

Category theory as coherently constructive lattice theory: an illustration.

Computing Science Report 94/43, EUT, Eindhoven, 1994, pp. 35.
Bijlsma, A.; Scholten, C.S.:

Point-free substitution.

Computing Science Report 94/38, EUT, Eindhoven, 1994, pp. 10.

Bloo, R.; Kamareddine, F.; Nederpelt, R.P.:

Beyond beta-reduction in Church's lambda-arrow,

Computing Science Report 94/20, EUT. Eindhoven, 1994, pp. 22.

The Barendregt cube with definitions and generalized reduction.

Computing Science Report 94/34, EUT, Eindhoven, 1994, pp. 37.
Bloo, R.; Kamareddine, F.; Nederpelt, R.P.:

The lambda-cube with classes of terms modulo conversion.

Computing Science Report 94/46, EUT, Eindhoven, 1994, pp. 16.
Bloo, R.; Kamareddine, F.; Nederpelt, R.P.:

On Pi-conversion in type theory.

Computing Science Report 94/47, EUT, Eindhoven, 1994, pp. 12.
Geuvers, J.H.

A short and flexible proof of strong Normalization for the Calculus of Constructions.

Computing Science Report 94/50, EUT, Eindhoven, 1994, pp. 27.
Hoogerwoord, R.R.:

On the foundations of functional programming: a programmer's point of view.

Computing Science Report 94/26, EUT, Eindhoven, 1994, pp. 54.
Kamareddine, F.; Nederpelt, R.P.:

Canonical typing and Pi-conversion.

Computing Science Report 94/02, EUT, Eindhoven, 1994, pp. 51.
Kamareddine, F.; Nederpelt, R.P.:

Refining reduction in the lambda calculus.

Computing Science Report 94/18, EUT, Eindhoven, 1994, pp. 15.
Kamareddine, F.; Nederpelt, R.P.:

Canonical typing and Pi-conversion in the Baredregt cube.

Computing Science Report 94/36, EUT, Eindhoven, 1994, pp. 19.
Laan, T.:

A formalization of the Ramified type theory.

Computing Science Report 94/33, EUT, Eindhovene, 1994, pp. 40.
Mathematics of Program Construction Group:

Fixed-Point Calculus.

Computing Science Report 94/48, EUT, Eindhoven, pp. 11.
Peremans, W.:

Ups and downs of type theory. Computing Science Report 94/14, EUT, Eindhoven, 1994, pp. 9.

Relational Theory of Datatypes.

In: Finance, J.P., Jaehnichen, S., Loeckx, J., Smith, D., Wirsing, M. (eds.), Logical Theory of Program Construction, Dagstuhl-seminar report 9410, 1994, p. 6.
Backhouse, R.C.; Doornbos, H.:

Induction and Recursion on Datatypes.

In: Ch. Brink, G. Schmidt (eds.) Relational Methods in Computer Science, Dagstuhl-seminar report 9403, 1994, p. 2.
Hoogendijk, P.:

Membership of Datatypes.

In: Ch. Brink, G. Schmidt (eds.) Relational Methods in Computer Science, Dagstuhl-seminar report 9403, 1994, p. 6.
Woude, J. van der:

Relational Datatypes with laws.

In: Ch. Brink, G. Schmidt (eds.) Relational Methods in Computer Science, Dagstuhl-seminar report 9403, 1994, p. 24.
1.5

VF-code: TUE.INF.302.90.26

VF-programma: PARALLELLISME
Dissertaties
Coenen, J.A.A.:

Formalisms for program reification and fault tolerance.

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

Eindhoven, 18 mei 1994, pp. 87. (I)

A theory of delay-insensitive systems.

Promotor: prof.dr. M. Rem. Co-promotor: dr.ir. J.T. Udding.

Eindhoven, 20 mei 1994, pp. 150. (I)

On sequential composition, action prefixes and process prefix.

Formal Aspects of Computing 6 (3), 1994, pp. 250-268.
Baeten, J.C.M.; Bergstra, J.A.:

Real time process algebra with infinitesimals.

In: Ponse, A., Verhoef, C., Vlijmen, S.F.M. van (eds.), Algebra of Communicating Processes,

Proceedings ACP94, Utrecht, Workshop in Computing, Springer Verlag 1995, 1994, pp. 148-187.

Graph isomorphism models for non interleaving process algebra.

In: Ponse, A., Verhoef, C., Vlijmen, S.F.M. van (eds.), Algebra of Communicating Processes, Proceedings ACP94, Utrecht, Workshop in Computing, Springer Verlag 1995, 1994, pp. 299-318.

Rapport P9401, Vakgroep Programmatuur, Universiteit Amsterdam, 1994.

Computing Science Report 94/04, EUT, Eindhoven, 1994, pp. 18.
Baeten, J.C.M.; Bergstra, J.A.:

Process algebra with partial choice.

In: Jonsson, B., Parrow, J. (eds.), Proceedings CONCUR'94, Uppsala, Lecture Notes in Computing Science 836, Springer Verlag, 1994, pp. 465-480.

Rapport P9405, vakgroep Programmatuur, Amsterdam, 1994.

Computing Science Report 94/09, EUT, Eindhoven, 1994, pp. 16.
Baeten, J.C.M.; Bergstra, J.A.; Bol, R.N.:

A real time process logic.

In: Gabbay, D.M., Ohlbach, H.J., (eds.), Proceedings ICTL'94, Bonn, Lecture Notes in Artificial Intelligence, LNCS 827, Springer Verlag, 1994, pp. 30-47.
Baeten, J.C.M.; Mauw, S.:

Delayed choice: an operator for joining Message Sequence Charts.

Formal Description Techniques, VII, Participants's Proceedings, 1994, pp. 327-342.

Computing Science Report 94/35, vakgroep Informatica, EUT, Eindhoven, 1994, pp. 15.

ITU-TS Q9/10 Temporary Document 58, Study group 10 meeting, oktober 1994, pp. 15.
Bailey, A.M.:

Modelling, Design and Analysis of Digital Circuits Using CIRCAL.

Proefschrift, University of Strathclyde, UK, 1994, pp. 195.
Bailey, A.M.; McCaskill, G.A.; Milne, G.J.:

An Exercise in the Automatic Verification of Asynchronous designs.

Formal Methods in System Design, 4, 1994, pp. 213-242.
Berkel, K. van; Burgess, R.; Kessels, J.; Peeters. A.; Roncken, M. Schalij, F.:

Asynchronous Circuits for Low-Power: A DCC error Corrector.

IEEE Design and Tests of Computers 11, (2), 1994, pp. 22-32.
Berkel, K. van; Burgess, R.; Kessels, J.; Peeters. A.; Roncken, M. Schalij, F.:

A Fully Asynchronous Low-Power Error Corrector for the DCC Player.

IEEE Journal of solid-State Circuits 29, (12), 1994, pp. 1429-1439.
Berkel, K. van; Burgess, R.; Kessels, J.; Peeters. A.; Roncken, M. Schalij, F.:

A Fully Asynchronous Low-Power Error Corrector for the DCC Player.

Proceedings of International Solid State Circuits Conference (ISSCC), 1994, pp. 88-89

Blanco, J.O.:

Definability with the state operator in process algebra.

Proceedings ACP94, Utrecht, Workshops in Computing, Springer Verlag 1995, 1994, pp. 218-241.

Normed BPP and BPA.

Proceedings ACP94, Utrecht, Workshops in Computing, Springer Verlag 1995, 1994, pp. 242-251.
Brunekreef, J.J.; Katoen, J.P.; Koymans, R.; Mauw, S.:

Algebraic specification of dynamic leader election protocols in broadcast networks.

In: Ponse, A.; Verhoef, C.; Vlijmen, S.F.M. van, (eds.), Algebra of Communicating Processes Proceedings of ACP94, Springer Verlag, 1994, pp. 338-358.
Codish, M.; Dams, D.; Yardeni, E.:

Bottom-up abstract interpretation of logic programs.

Theoretical Computer Science 1, 1994, pp. 93-125.
Dams, D.; Grumberg, O.; Gerth, R.:

Abstract Interpretation of Reactive Systems: abstractions preserving CTL*,CTL* and CTL.

Proceedings of the IFIP TC 2 Working Conference on Programming Concepts, Methods and Calculi, (PROCOMET), San Miniato, Italië. North-Holland, 1994, pp. 573-592.

Computing Science Report 94/24, EUT, Eindhoven, 1994, pp. 28.

Model Checking Using Adaptive State and Data Abstraction.

Proceedings of the 6th int. Conference on Computer Aided Verification, CAV, Stanford, CA, USA, LNCS 818, Springer Verlag, 1994, pp. 455-468.
Esselink, K.; Hilbers, P.A.J.; Os, N.M. van; Smit, B.; Karaborni, S.:

Molecular dynamics simulations of model oil/water/surfactant systems colloids ans surfaces A. Physicochemical and engineering aspects, Vol.91, 1994, pp. 155-167.

Molecular dynamics study of nucleation and melting of n-alkanes.

Journal of Chemical Physics, Vol.101, no. 10, 1994, pp. 9033-9041.
Hooman, J.J.M.:

Compositional Verification of a Distributed Real-Time Arbitration Protocol.

Real-Time System, Vol. 6, no. 2, 1994, pp. 173-205.
Hooman, J.J.M.:

Correctness of Real Time Systems by Construction.

Symposium on Formal Techniques in Real-Time and Fault-Tolerant System, LNCS, Vol. 863, Springer Verlag, 1994, pp. 19-40.

Computing Science Report 94/29, EUT, Eindhoven, 1994, pp. 22.

Hooman, J.J.M.:

An Assertional Method for Real-Time Hybrid systems.

Symposium ADPM '94 Automation of Mixed Processes: Dynamical Hybrid Systems, IBRA, 1994, pp. 67-75.
Hooman, J.J.M.:

Extending Hoare Logic to Real-Time.

Formal Aspects of Computing no. 6A, 1994, pp. 801-825.
Karaborni, S.; Esselink, K.; Hilbers, P.A.J.; Smit, B.:

Simulating surfactant self-assembly.

Journal of Physics: Condensed Matter 6, 1994, pp. A351-356.
Karaborni, S.; Esselink, K.; Hilbers, P.A.J.; Smit, B.; Karthäuser, J.; Os, N.M. van; Zana, R.:

Simulating the self-assembly of Gemini (Dimeric) surfactants.

Science, Vol.266, 1994, pp. 254-256.
Lakhneche, Y.: Hooman, J.J.M.:

Reasoning about Durations in Metric Temporal Logic.

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, Vol. 863, Springer Verlag, 1994, pp. 488-510.
Lukkien, J.:

Operational Semantics and Generalized Weakest Preconditions.

Science of Computer Progamming 22, 1994, pp. 137-155.
Mauw, S.; Mulder, J.C.:

Regularity of BPA-systems is decidable.

In: Jonsson, B; Parrow, J. (eds.), Proceedings CONCUR'94, Springer Verlag LNCS 836, 1994, pp. 34-47.

Computing Science Report 94/27, EUT, Eindhoven, 1994, pp. 14.

An Algebraic Semantics of Basic Message Sequence Charts.

The Computer Journal, Vol. 37, no. 4, 1994, pp. 269-277.

Computing Science Report 94/17, EUT, Eindhoven, 1994, pp. 9.

ITU-TS Q9/10 Temporary Document 9008, joint rapporteurs meeting, april 1994, pp. 9.
Penczek, W.; Gerth, R.; Kuiper, R.; Peled, D.:

Partial Order Approach to Branching Time Logic Model Checking.

Proceedings of the Israeli conference on theoretical computer science, IEEE Computer Society Press, 1994, pp. 130-139.
Penczek, W.; Kwiatkowska, M; Peled, D.:

A hierarchy of partial order properties.

Proceedings of the first international conference on Temporal Logic, ICTL'94, Bonn, Duits­land, Springer Verlag, LNAI 827,

1994, pp. 398-414.

Penczek, W.; Kuiper, R.:

Verification by hand using linear time temporal logic, chapter 35.

Automated verification using branching time temporal logic, chapter 36.

In: De Swart, H.S., (ed.), 'Logic: Mathematics, Language, Computer science and Philosophy', Vol. II, publ, Peter Lang Gmbh, 1994, pp. 229-262.

Algebra of Communicating Processes.

Proceedings ACP94,Utrecht, Workshop in Computing, Springer Verlag 1995, 1994, pp. 359.
Schepers, H.; Hooman, J.J.M.:

A Trace-based Compositional Proof Theory for Fault Tolerant Distributed Systems.

Theoretical Computer Science, Vol.128, 1994, pp. 127-157.
Veltkamp, J.P.; Damme, R. van:

Fixed point iteration on pointsymmetric interference graphs.

Perfomance Evaluation 19, 1994, pp. 279-302.
Verhoef, C.:

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

In: Jonsson, B., Parrow, J. (eds.), Proceedings CONCUR'94, Uppsala, Springer LNCS 836, 1994, pp. 433-448.
Verhoef, C.:

A general conservative extension theorem in proces algebra.

In: Olderog, E.R. (ed.) Programming concepts, Methods and Calculi (PROCOMET'94), San Miniato, IFIP Transaction A-56, North-Holland, 1994, pp. 149-168.
Zhou, P.; Hooman, J.J.M.:

Specification and Verification of an Atomic Broadcast Protocol.

Proceedings 4th IFIP Conference on Dependable Computing for Critical Applications, 1994, pp. 196-207.
Wetenschappelijke publicaties (niet gerefereerd)
Baeten, J.C.M.:

Process algebra: special issue editorial.

The Computer Journal 37 (5), 1994, pp. 474-475.
Baeten, J.C.M.:

Fundamenteel onderzoek in Europa.

Informatie 36 (6), 1994, pp. 375-377.
Baeten, J.C.M.; Bergstra, J.A.:

Process algebra with propositional signals.

Rapport LGPS 123, vakgroep Toegepaste Logica, Universiteit Utrecht, 1994.

Computing Science Report 94/49, vakgroep Informatica, EUT, Eindhoven, 1994, pp. 25.

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

Process algebra with feedback.

Rapport P9419, vakgroep Programmatuur, Universiteit van Amsterdam, 1994.

Computing Science Report 94/30, vakgroep Informatica, EUT, Eindhoven, 1994, pp. 22.

VSLI programming of asynchronous circuits for low power.

Nat. Lab Technical Note UR 005/94, Philips Electronics, 1994, pp. 62.
Bloo, R.; Kamareddine, F.; Nederpelt, R.:

Beyond beta-reduction in Church's simply typed lambda calculus.

Computing Science Report 94/20, EUT, Eindhoven, 1994, pp.
Bloo, R.; Kamareddine, F.; Nederpelt, R.:

The Barendregt cube with definitions and generalised reduction.

Computing Science Report 94/34, EUT, Eindhoven, 1994, pp. 37.
Bloo, R.; Kamareddine, F.; Nederpelt, R.:

The lambda cube with classes of terms modulo conversion.

Computing Science Report 94/46, EUT, Eindhoven, 1994, pp. 16.
Bloo, R.:

On Pi-conversion in type theory.

Computing Science Report 94/47, EUT, Eindhoven, 1994, pp.12.
Bol, R.; Apt, K.R.:

Logic Programming and Negation: A Survey.

Journal of Logic Programming 19-29, 1994, pp. 9-71.

Computing Science Report 94/07, EUT, Eindhoven, 1994, pp. 62.

Syntax and Static Semantics of Interlocking Design and Application Language.

Technical Report P9422, Universiteit van Amsterdam, 1994.
Engelfriet, J.; Vereijken, J.J.:

Concatenation of Graphs.

Computing Science Report 94/42, EUT, Eindhoven, 1994, pp. 7.
Gerth, R.:

Verifying sequential consistent memory.

Computing Science Report 94/44, EUT, Eindhoven, 1994, pp. 160.
Gerth, R.; Kuiper, R.; Peled, D.; Penczek, W.:

A Partial Order Approach to Branching Time Logic Model Checking.

Computing Science Report 94/53, EUT, Eindhoven, 1994, pp. 20.
Josephs, M.B.; Lucassen, P.G.; Udding, J.T.; Verhoeff, T.:

Formal Design of an Asynchronous DSP Counterflow Pipeline: A Case Study in Handshake

Algebra.

Technical Report SBU-CISM-94-06, South Bank University, School of Computing, Informa­tion Systems, and Mathematics, 1994, pp. 15.

Proceedings Async94.
Kessels, J.; Berkel, K. van; Burgess, R.; Peeters, A.; Roncken, M.; Schalij, F.:

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

Technical Report TN 023/94, Philips Research Laboratories, Eindhoven, 1994, pp. 1-16.
Kloks, T.; Kratsch, D.; Müller, H.:

Dominoes.

Computing Science Reports 94/12, EUT, Eindhoven, 1994, pp. 14.
Kloks, T.:

K1,3-free and W4-free graphs.

Computing Science Report 94/25, EUT, Eindhoven, 1994, pp. 10
Kloks, T.; Kratsch, D.:

Computing a perfect edge without vertex elimination ordering of a chordal bipartite graph.

Computing Science Report 94/41, EUT, Eindhoven, 1994, pp. 6.
Kloks, T.; Kratsch, D.; Müller, H.:

Listing simplicial vertices and recognizing.

Computer Science Report 94/51, EUT, Eindhoven, 1994, pp. 4.
Laan, T.:

A Formalization of the Ramified Type Theory.

Computing Science Report 94/33, EUT, Eiondhoven, 1994, pp. 40.
Mauw, S.; Reniers, M.:

An Algebraic Semantics of Message Sequence Charts.

Computing Science Report 94/23, EUT, Eindhoven, 1994, pp. 43.

ITU-TS Q.9/10 Temporary Documemt 9009, joint rapporteurs meeting april 1994, pp. 43.

Formalization of static requirements for Message Sequence Charts.

ITU-TS Q.9/10 Temporary Document 9010, joint rapporteurs meeting april 1994, pp. 21.
Mauw, S.; Reniers, M.:

Modifications to requirements.

ITU-TS Q.9/10 Temporary Document 9011, joint rapporteurs meeting april 1994, pp. 2.
Mauw, S.; Meulen, E.A. van der:

Generating tools for Message Sequence Charts.

ITU-TS Q.9/10 Temporary Document 60, study group 10 meeting, oktober 1994, pp. 34.
Mauw, S.; Mulder, H.:

Regularity of BPA-systems is decidable.

Computing Science Report 94/27, EUT, Eindhoven, 1994, pp. 14.
Penczek, W,; Kuiper, R.:

Traces and Logic.

Computing Science Report 94/52, EUT, Eindhoven, 1994, pp. 81.

To appear as a chapter of The Trace Book, Editors V. Diekert, G. Rozenberg.

Algebra of communicating processes.

Proc. ACP94, Utrecht 1994, Progr. report P9413, UvA, 1994, pp. 349.
Rem, M.:

Low-power programming.

In: Groenboom, H.M., Klijn Hesselink, H.W., Lankhorst, M.M. (eds.), GRONICS-94.

Report CS-N 9401, Rijksuniversiteit Groningen, 1994, pp. 6.

Fischer's Protocol in Timed Process Algebra.

Computing Science Report 94/32, EUT, Eindhoven, 1994, pp. 38.
Verhoeff, T.:

Quicksort for Linked Lists.

Computing Science Report 94/03, EUT, Eindhoven, 1994, pp. 8.

Submitted to Software: Practice and Experience.

The Testing Paradigm Applied to Network Structure.

Computing Science Report 94/10, EUT, Eindhoven, 1994, pp. 34.
Watson, B.W.:

The performance of single-keyword and multiple-keyword pattern matching algorithms.

Computing Science Report 94/19, EUT. Eindhoven, 1994, pp. 46.
Watson, B.W.:

An introduction to the FIRE engine: A C++ toolkit for FInite automata and regular expressi­ons.

Computing Science Report 94/21, EUT, Eindhoven, 1994, pp. 15.
Watson, B.W.:

The design and implementation of the FIRE engine: A C++ toolkit for FInite automata an regular expressions.

Computing Science Report 94/22, EUT, Eindhoven, 1994, pp. 179.
Watson, B.W.; Watson, R.E.:

A Boyer-Moore type algorithm for regular expression pattern matching.

Computing Science Report 94/31, EUT, Eindhoven, 1994, pp. 22.
Zhou, P.; Hooman, J.J.M.:

Formal Specification and Compositional Verification of an Atomic Broadcast Protocol.

Computing Science Report 94/05, EUT, Eindhoven, 1994, pp. 22.

Accepted for Real-Time Systems.

Eindig versus oneindig.

In: Aarts, E., America, P.(eds.) Bouwen op wetenschap, Philips Research, Eindhoven, 1993, pp. 7-13.

Populariserende publicaties
Rem, M.:

Energie-zuinig rekenen.

Diesrede EUT, Eindhoven, 1994, pp. 16.
Software/vakpublicaties
Baily, A.M.; Josephs, M.B.; Peeters, A.M.G.; Vercauteren, S.; Ykman-Couvreur, C.:

Optimisation of Handshake Control Circuits; EXACT Deliverable: EXACT/C.3/EUT/m30/D1, 1994.

The PSF-Toolkit, version 0.9.4, nieuwe release van de verzameling programma's ter onder­steuning van de specificatietaal PSF (Process Specification Formalism)

The Eindhoven Pattern Matching Kit. A tool of keyword pattern matching algorithms, written in the C programming language.

The FIRE engine. A class library of finite automata algorithms, written in the C++ program­ming language.

The 'Asynchronous' Bibliography. Database with publications on Asynchronous Circuit Theory and Design, containing 600 items. Available for anonymous ftp on Internet.

Uniform Resource Locator (URL) {\ttftp://ftp.win.nl/pub/tex/async.bib.Z}.
H. Schols, V. Huijgen, H. Schot, J. Langenberg, R. Engbers:

Ontwikkeling DEDIC (Design Environment for Delay-Insensitive Circuits) versie 1.

Doel: De analyse van de problemen en mogelijke oplossingen die zich voordoen bij het maken van een ontwikkelomgeving voor circuits die asynchroon - i.h.b vertragingsongevoelig - communiceren. Documentatie: A Software Environment for Designing Delay-Insensititve Circuits II, door R. Engbers en J. Langenberg.
T. Verhoeff:

The Eindhoven Pattern Matching Kit. A toolkit of keyword pattern matching algorithms, written in the C programming language. Available for ftp from ftp.win.tue.nl in directory /pub/techreports/pi/pattm/.

The Fire. A class library of finite algorithms, written in the C++ programming language. It is available for ftp from ftp.win.tue.nl. in directory /pub/techreports/pi/automata/.

Conceptual Model of a Business Transaction Management System.

Promotoren: prof.dr. K.M. van Hee, prof.dr. J.A.E.E. van Nunen.

Eindhoven, 13 september 1994, 1994, pp. 163. (II)

Time and Resource Constrained Scheduling: A ConstraintSatisfaction Approach.

Promotoren: prof.dr. K.M. van Hee, prof.dr. E.H.L. Aarts.

Eindhoven, 9 december 1994, pp. 157. (I)

Decomposition and Protocols in High-Level Petri-Nets.

Promotoren: prof.dr. K.M. van Hee, prof.dr. G. Rozenberg.

Eindhoven, 20 september 1994, pp. 241. (I)

Fault Tolerance and Timing of Distributed Systems: Compositional Specification and Verifi­cation.

Promotoren: prof.dr.dipl.ing. D.K. Hammer, prof.dr. M. Joseph. Co-promotor: dr. R.T. Gerth.

Eindhoven, 26 mei 1994, pp. 194. (I)

The complexity of Multi-Layered Perceptrons.

Promotoren: prof.dr. J. Wessels, prof.dr. E.H.L. Aarts.

Eindhoven, 15 april 1994, pp. 223. I (BS)

Putting Petri nets to work in industry.

Computers in Industry 25 (1), 1994, pp. 45-54.
Aalst, W.M.P. van der:

Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds.

In: Haring, G., Kotsis, G. (eds.), Proceedings of the 7th International Conference of Model­ling Techniques and Tools for Computer Performance Evaluation, Vol. 794, LNCS, Springer Verlag, New York, 1994, pp. 425-444.
Aalst, W.M.P. van der:

Procesmodelleren met behulp van Petri-netten.

Informatie 36, (4), 1994, pp. 244-252.
Aalst, W.M.P. van der:

Modelling and analysis of production systems using a Petri net based approach.

In: Boucher, T.O., Jafari, M.A., Elsayed, E.A. (eds.), Proceedings of the conference on Computer Integrated Manufacturing in the Process Industries, East Brunswick, USA, 1994, pp. 179-193.
Aalst, W.M.P. van der; Houben, G.J.; Toorn, P. van der; Vlist, P. van de:

Formele specificatie en simulatie: de RODOS-case.

Informatie 36 (10), 1994, pp. 609-615.
Aalst, W.M.P. van der; Hee, K.M. van; Houben, G.J.:

Modelling workflow management systems with high-level Petri nets.

In: Michelis, G. de., Ellis, C., Memmi, G. (eds.) Proceedings of the second Workshop on Computer Supported Cooperative Work, Petri nets and related formalisms, 1994, pp. 31-50.
Aalst, W.M.P. van der; Hee, K.M. van:

Integrated systems modelling: an object oriented approach. In: Dubois, E., Hartel, P., Saake, G. (eds.), Proceedings of the workshop on Formal methods for Information System Dyna­mics, Vol. 94-33, Memoranda Informatica, Universiteit van Twente, 1994, pp. 1-12.

The DONS Rail Scheduling System.

In: Case Studies Tutorial, 15th International Conference on Application and Theory of Petri Nets, 1994, pp. 1-12.
Aarts, E.H.L.; Laarhoven, P.J.M. van; Lenstra, J.K.; Ulder, N.L.J.:

A computational study of local search algorithms for job shop scheduling.

ORSA Journal on Computing 6, 1994, pp. 118-125.
Aarts, E.H.L.; Stehouwer, H.P.; Wessels, J.; Zwietering, P.J.:

Neural networks for combinatorial optimization.

In: Proceedings New Developments in Neural Nets and their Applications, The Japan Institute of Systems Research, 1994, pp. 39-54. (BS)
Aerts, A.T.M.; Jansen, A.; Klieb, L.; Noorlander, C.; Wolf, G.:

PLATE, A decision support system for resource constrained scheduling problems.

European Journal of Operational Research, Vol. 79, 1994, pp. 158-166.
Basten, A.A.:

Event Abstraction in Modeling Distributed Computations.

In: Ecker and Krämer (eds.), Proceedings Workshop über Parallelverarbeitung, Lessach, Oostenrijk, 1993, pp. 46-65.

Informatik-Bericht 94/1, Technische Universität Clausthal, Institut für Informatik, Clausthal-Zellerfeld, Duitsland, 1994.

Breakpoints and Time in Distributed Computations.

In: Tel and Vitányi (eds.), Proceedings Distributed Algorithms, 8th International Workshop, WDAG'94, Terschelling, Vol.857, LNCS, Springer Verlag, Berlijn, 1994, pp. 340-355.
Bra, P. de; Post, R.:

Information Retrieval in the World-Wide Web: making Client-Based Searching Feasible.

First WWW Conference, Geneva.

Journal on Computers Networks and ISDN Systems, no. 27, Elsevier Science BV., 1994, pp. 183-192. Beschikbaar via http://www.cern.ch/Paperswww94/reinpost.ps.

Searching for Arbitrary Information in the World-Wide Web: the Fish-Search for Mosaic.

Second WWW Conference, Chicago., 1994.

Beschikbaar via h­ttp://www.ncsa.uiuc.edu/SDG/IT94/Proceedings/Searching/debra/article.html

A Formal Approach to Analyzing the Browsing Semantics of Hypertext.

In. Proceedings CSN-94 Conference, Utrecht, 1994, pp. 78-89.
Bra, P. de; Houben, G.J.; Kornatzky, Y.; Post, R.:

Information Retrieval in Distributed Hypertexts.

In: Proceedings RIAO-94 Conference, New York, 1994, pp. 481-492.
Bra, P. de; Houben, G.J.; Vocht, J. de; Kornatzky, Y.:

Retrieval of Hypertext Structures.

In: Proceedings Stinfon-94 Conference, Tilburg, 1994, pp. 103-118.
Dignum, F.; Meyer, J.J.Ch.; Wieringa, R.:

Contextual permission, a solution to the free choice paradox.

In: Jones, A., Sergot, M., (eds.), Second International Workshop on Deontic logic in Compu­ter Science, Oslo, 1994, pp. 107-135.
Dignum, F.; Meyer, J.J.Ch.; Wieringa, R.:

A dynamic logic for reasoning about sub-ideal states.

In: Breuker, J. (ed.), ECAI workshop on Artifical Normative Reasoning, Amsterdam, 1994, pp. 79-92.
Dignum, F.; Weigand, H.:

Communication and deontic logic.

In: Wieringa, R., Feenstra, R. (eds.), Working papers of the international Workshop on Information Systems- Correctness and Reusability, Amsterdam, 1994, pp. 408-422.

Vu-report IR-357.

Simulating robotic assembly cells: a general model using Coloured Petri nets.

International Conference on Data and Knowledge Systems for Manufacturing and Enginee­ring, 1994, pp. 368-382.
Ecker, K.H.; Hammer, D.K.:

A Polynomial Time Scheduling Algorithm based on Refinement of Schedules.

International Conference of the Institute for Management Sciences (TIMS XXXII), Anchora­ge, Alaska, 1994, pp. 14.
Gemis, M.; Peelman, P.; Paredaens, J.; Bussche, J. van den:

A Computational Model for Generic Graph Functions.

Workshop in Graph Transformations in Computer Science, LNCS 776, 1994, pp. 170-188.
Gyssens, M.; Paredaens, J.; Gucht, D. van:

A Grammar-Based Approach towards Unifying Hierarchical Data Models.

SIAM Computing, Vol. 23, no. 6, 1994, pp. 1093-1137.
Gyssens, M.; Paredaens, J.; Bussche, J. van den; Gucht, D. van:

A Graph-Oriented Object Database Model.

IEEE Transaction on Knowledge and Data Engineering, Vol. 6, no. 4, 1994, pp. 572-586.

Technical report 327 CSD, Indiana University, 1994.

The development of large and complex (software) systems: A purely technical question?

Workshop on the Development of Large and Complex Software Applications in Engineering at the 17th Annual Enery-Sources Technology Conference & Exhibition (ETCE 94), New Orleans, USA, 1994, pp. 9.
Hammer, D.K.; Pels, H.J.; Timmermans , P.J.M.:

On the Design of Manufacturing Systems for Fault Tolerance.

In: Walter, C., Kliemann, F.J.; Oliveira, J.P.M. (eds.), Proceedings IFIP WG5.7 Conference on Evaluation of Production Management Systems, Gramado - Porte Allegre, Brazil, North Holland 1994, pp. 325-334.
Hammer, D.K.; Luit, E.J.; Roosmalen, O.S. van; Stok, P.D.V. van der; Verhoosel, J.P.C.:

DEDOS: A Distributed Real-Time Environment.

IEEE Journal of Parallel and Distributed Technology, Winter 1994, Vol.2, no. 4, 1994, pp. 32-47.
Hammer, D.K.; Lemmens, P.; Luit, E.; Roosmalen, O.S. van; Stok, P.D.V. van der; Verhoos­el, J.:

DEDOS: A Distributed Environment for Object-Oriented Real-Time Systems.

1st Workshop on Concurrent Object-Based Systems in conjunction with the 6th IEEESympo­sium on Parallel and Distributed Processing, Dallas, Texas, 1994, pp. 32-47.

Hee, K.M. van:

Information Systems Engineering: a formal approach.

Cambridge University Press, 1994, pp. 421.

Editorial: A comparative study in DSS development.

European Journal of Operational Research 79, 1994, pp. 153-157.
Hengeveld, W.; Houben G.J.; Toorn, P. van der:

Using formal specification and simulation: Practical experience with distributed applications.

In: CAISE Conference workshop, Utrecht, 1994, pp. 131-142.
Hengeveld, W.; Toorn, P. van der; Houben, G.J.:

Using formal specification and simulation: Practical experience with distributed applications.

In: FORTE'94 Seventh International Conference on Formal Description Techniques, Bern, Chapman and Hall, 1994, pp. 131-142.
Hidders, J.; Paredaens, J.:

GOAL, A graph-based Object and Association Language.

Advances in Database Systems, Implementation and Applications, CISM, LNCS 347, Spring­er Verlag, 1994, pp. 247-265.
Hoesel, C.P.M. van; Kolen, A.:

A linear description of the discrete lot-sizing and scheduling problem.

European Journal of Operation Research 75, 1994, pp. 342-353. (BS)
Hoesel, C.P.M. van; Wagelmans, A.; Moerman, B.:

Using geometric techniques to improve dynamic programming algorithms for the economic lot-sizing problem and extensions.

European Journal on Operations Research 75, 1994, pp. 312-331. (BS)
Hoogeveen, J.A.; Oosterhout, H.; Velde, S.L. van de:

New lower and upper bounds for scheduling around a small common due date.

Operations Research 42, 1994, pp. 102-110. (BS)
Korst, J.H.M.; Aarts, E.H.L.; Lenstra, J.K.; Wessels, J.:

Periodic assignment and graph colouring.

Discrete Applied Mathematics 51, 1994, pp. 291-305. (BS)
Luit, E.; Martin, J.M.M.:

A Convergence Function for Clock Synchronization Protocols.

In: Proceedings 2nd Workshop on Parallel and Distributed Real-Time Systems, Cancun, Mexico, 1994, pp. 9-16.
Nuijten, W.P.M.; Aarts, E.H.L.:

Constraint satisfaction for multicapacitated job shop scheduling.

In: Cohn, A. (ed.) Dings of the lith European Conference on Artificial Intelligence, Wiley, 1994, pp. 635-639

Nuijten, W.M.P.; Aarts, E.H.L.:

A computational study of constraint satisfaction for multicapacitated job shop scheduling.

In: Proceedings of the Fourth International Workshop on Project Management and Schedu­ling, Leuven, 1994, pp. 166-173.

Examination time tabling: a case study for constraint satisfaction.

In: Schiex, T. (ed.), Proceedings ICAI'94, Workshop on Constraint Satifaction Issues Raised by Practical Applications, 1994, pp. 11-19.
Odijk, M.A.; Aalst, W.M.P. van der:

A Petri net based simulation tool to evaluate the performance of railway stations. In: Guasch, A., Huber, M. (eds.), Proceedings of the 1994 European Simulation Multiconference, Barce­lona, SCS, 1994, pp. 207-211.

A simple approximation to Rigid Body Dynamics for Computer Animation.

The journal of visualization and computer animation, Vol. 5, 1994, pp. 17-36.
Overveld, C.W.A.M. van; Ee, J. van:

Casting shadows with approximated object space accuracy by means of a modified Z-buffer.

The Visual Computer 10, 1994, pp. 243-254.
Overveld, C.W.A.M. van; Ko, H. van:

Small steps for mankind: toward a kinematically driven dynamic simulation of curved path walking.

The Journal of Visualization and Computer Animation 5, 1994, pp. 143-165.
Paredaens, J.:

Generic Database Transformations.

In: Dassow, J., Gordon and Breach (eds.), Developments in Theoretical Computer Science, 1994, pp. 71-82.
Paredaens, J.:

Foundation of Database Systems.

An Introductory Tutorial, Advances in Database Systems, Implementation and Applications, CISM Courses and Lectures 347, Springer Verlag, 1994, pp. 29-48.
Paredaens, J.:

On the Foundations of Spatial Databases.

Dixiemes Journees de Bases de Donnees Avancees, Clermont-Ferrant, 1994, pp. 297-302.
Paredaens, J.; Bussche, J. van den; Gucht, D. van:

Towards a theory of Spatial database Queries.

Principles of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Minneapolis, 1994, pp. 267-278.
Pelachau, C.; Overveld, C.W.A.M. van; Shea, C.:

Modelling and Animating the Human Tongue During Speech Production.

In: Proceedings of the 7th International Conference on computer Animation, Geneva, IEEE Computer Society Press, 1994, pp. 25-27.
Petersen, B.; Sers, J.; Thijssen, P.T.A.; Stok, P.D.V. van der:

Guidelines for Numerical Communication Implementation.

IMAGES 2000 Official Document Task 4, Sub task 4.4; doc BGT_001_OD_4.d, in opdracht van EEG, 1994.
Petersohn, C.; Huizing, C.; Peleska, J.; Roever, W.P. de:

Formal Semantics for Ward & Mellor's TRANSFORMATION SCHEMA and the Specificati­on of Fault Tolerant Systems.

In: Echtle, K., Hammer, D., Powell, D. (eds.), Proceedings of Dependable Computing -- EDCC-1 (First Dependable Computing Conference, LNCS 852, Springer Verlag, 1994, pp. 59-76.
Petersohn, C.; Roever, W.P. de; Huizing, C.; Peleska, J.:

Formal Semantics for Ward & Mellor's TRANSFORMATION SCHEMAs.

In: Till, D. (ed.), Proceedings of the Sixth Refinement Workshop of the BCS FACS Groep, Springer Verlag, 1994, pp. 28.
Ray, S.; Peelman, P.; Paredaens, J.:

Clarifying the Structure of Complex Venn Diagrams.

International Workshop on Advanced Visual Interfaces, Bari, 1994, pp. 216-218.
Royakkers, L.; Dignum, F.:

Deontic inconsistencies and authorities.

In: Breuker, J. (ed.), ECAI workshop Artifical Normative Reasoning, Amsterdam, 1994, pp. 93-105.
Royakkers, L.; Dignum, F.:

A deontic system with actors.

In: Feenstra, R. (ed.), Working papers of the International Workshop on Information System- Correctness and Reusability, Amsterdam, 1994, pp. 408-422.

Vu-report IR-357.

Object-Oriented Design for Accelerator Control.

8th Conference on Real-Time Computer Applications in Nuclear, Particle and Plasma Phy­sics, IEEE Transactions on Nuclear Science, Vol.41, no. 1, 1994, pp. 200-208.
Stok, P.D.V. van der; Claessen, M.M.M.P.J.; Alstein, D.:

A hierarchial membership protocol for synchronous distributed systems.

1st European Dependable Computing Conference, Berlijn, LNCS 852, Springer Verlag, 1994, pp. 597-616.
Stok, P.D.V. van der; Thijssen, P.T.A.:

Simulation of distributed Real-Time transactions.

2nd Workshop on Parallel and Distributed Real-Time Systems, Cancun, Mexico, 1994, pp. 82-87.
Stok, P.D.V. van der; Lierop, M.L.P. van; Vermeulen, R.:

The workshop; a teaching tool for software development.

In. Proceedings of the 2nd International Symposium in Engineering Education, Limerick, Engeland, 1994, pp. 45-50.
Suciu, D.; Paredaens, J.:

Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure.

Principles of the Thirteenth ACM SIGACT-SIMOD-SIGART Symposium on Principles of Database Systems, Minneapolis, 1994, pp. 201-210.

UPenn Technical Report MS-CIS-94-04, 1994.

Advances in Database System, Implementation and Applications.

CISM Courses and lectures 347, 1994, pp. 377.
Veltkamp, R.C.:

Closed Objects Boundaries from Scattered Points.

Lecture Notes in Computer Science 885,, Springer Verlag, 1994, pp. 144.
Veltkamp, R.C.; Blake, E.H.:

Event-based.constraints: cordinate.satisfaction –› object. solution.

Proceedings 4th Eurographics Workshop on Object-Oriented Graphics, Sintra, Portugal, 1994, pp. 251-262.
Verhoosel, J.P.C.; Hammer, D.K.; Yu, G.; Welch, L.R.:

Pre-Runtime Scheduling for Object-Based, Concurrent, Real-Time Applications.

2nd IEEE Workshop on Real-Time Applications, Washington D.C., 1994, pp. 8-11.
Verhoosel, J.P.C.; Hammer, D.K.; Luit, E.; Welch, L.R.:

Assignment and Pre-Runtime Scheduling of Object-Based, Parallel Real-Time Processes.

6th IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, 1994, pp. 8.
Vries, B. de; Somers, L.:

Simulation of the Building Process.

1st European Conference on Product and Process Modelling in the Building Industry, Dres­den, 1994.
Weir, P.; Stok, P.D.V. van der; Thijssen, P.:

Requirements on Cabinet Monitoring aspects in IMA context.

British Aerospace, Ref SDF/B67/A/108/2308, Brite-Euram, Images2000, in opdracht van EEG, 1994, pp. 69.
Werf, A. van der; Meerbergen, J.L. van; Aarts, E.H.L.; Verhaegh, W.F.J.; Lippens, P.E.R.:

Efficient timing constraint derivation for optimally retiming high speed processing units.

In: Proceedings Seventh International Symposium on High-Level Synthesis, 1994, pp. 48-53.
Wesselink, W.; Veltkamp, R.C.:

Interactive Variational Curve Design.

In: Proceedings Computer Science in the Netherlands '94, Stichting Mathematisch Centrum, Amsterdam, 1994, pp. 318-331.
Wetering, H.M.M.; Overveld, C.W.A.M.:

Chain coding and their application in curve design.

Proceedings CSN'94, 1994, pp. 18-29.
Zwietering, P.J.; Aarts, E.H.L.; Wessels, J.:

The minimal number of layers of a perceptron that sorts.

Journal of Parallel and Distributed Computing 20, 1994, pp. 380-387. (BS)