Research Output

Filter
Report
1995

Discrete time process algebra

Baeten, J. C. M. & Bergstra, J. A., 1995, Rev. version ed. Eindhoven: Eindhoven University of Technology. 20 p. (Computing science reports; vol. 9509)

Research output: Book/ReportReportPopular

Open Access
File
6 Citations (Scopus)
69 Downloads (Pure)

Discrete time process algebra

Baeten, J. C. M. & Bergstra, J. A., 1995, Amsterdam: Universiteit van Amsterdam. 20 p. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam; vol. P9208c)

Research output: Book/ReportReportPopular

Open Access
File
6 Citations (Scopus)
28 Downloads (Pure)

Proving a conjecture of V. Strehl on necklaces

Bruijn, de, N. G., 1995, S.l.: s.n. 1 p. (Publicaties de Bruijn; vol. M36)

Research output: Book/ReportReportPopular

Open Access
File
38 Downloads (Pure)

Treewidth and minimum fill-in on d-trapezoid graphs

Bodlaender, H. L., Kloks, A. J. J., Kratsch, D. & Müller, H., 1995, Utrecht: Utrecht University. 23 p. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9534)

Research output: Book/ReportReportPopular

Open Access
File
82 Downloads (Pure)
1994

$H_2$ almost disturbance decoupling problem with internal stability

Saberi, A., Lin, Z. & Stoorvogel, A. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 13 p. (Memorandum COSOR; vol. 9423)

Research output: Book/ReportReportAcademic

Open Access
File
58 Downloads (Pure)

$H_2$ optimal controllers with observer based architecture for continuous-time systems : separation principle

Saberi, A., Sannuti, P. & Stoorvogel, A. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Memorandum COSOR; vol. 9441)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

A Boyer-Moore type algorithm for regular expression pattern matching

Watson, B. W. & Watson, R. E., 1994, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9431)

Research output: Book/ReportReportAcademic

Open Access
File
148 Downloads (Pure)

A branch-and-price algorithm for the pickup and delivery problem with time windows

Sol, M. & Savelsbergh, M. W. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Memorandum COSOR; vol. 9422)

Research output: Book/ReportReportAcademic

Open Access
File
107 Downloads (Pure)

Abstract interpretation of reactive systems : abstractions preserving $\forall$CTL*, $\exists$CTL* and CTL*

Dams, D. R., Grumberg, O. & Gerth, R. T., 1994, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computing science notes; vol. 9424)

Research output: Book/ReportReportAcademic

Open Access
File
37 Downloads (Pure)

A collection of modelling problems carried out in the academic year 1991-1992 by the ECMI-students at the Eindhoven University of Technology

Boer, den, A., Bonekamp, J. G., Brand, P., du Croo De Jongh, R. J. H., Hendriksen, A. H. M., Herczog, A., Pruis, G. W. & Tijink, P. J. A., 1994, Eindhoven: Eindhoven University of Technology. 81 p. (Opleiding wiskunde voor de industrie Eindhoven : student report; vol. 9401)

Research output: Book/ReportReportPopular

Open Access
File
111 Downloads (Pure)

A comparison of the local defect correction iteration and the fast adaptive composite grid iteration

Ferket, P. J. J. & Reusken, A. A., 1994, Eindhoven: Eindhoven University of Technology. 27 p. (RANA : reports on applied and numerical analysis; vol. 9412)

Research output: Book/ReportReportPopular

Open Access
File
34 Downloads (Pure)

A comparison of Ward & Mellor's transformation schema with state & activitycharts

Peleska, J., Huizing, C. & Petersohn, C., 1994, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computing science notes; vol. 9411)

Research output: Book/ReportReportAcademic

Open Access
File
51 Downloads (Pure)

A formalization of the ramified type theory

Laan, T. D. L., 1994, Eindhoven: Technische Universiteit Eindhoven. 40 p. (Computing science reports; vol. 9433)

Research output: Book/ReportReportAcademic

Open Access
File
82 Downloads (Pure)

A Fortran subroutine for column reduction of polynomial matrices

Geurts, A. J. & Praagman, C., 1994, Eindhoven: Technische Universiteit Eindhoven. 70 p. (EUT report. WSK, Dept. of Mathematics and Computing Science; vol. 94-WSK-01)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)

A hierarchical diagrammatic representation of class structure

Roosmalen, van, O. S., 1994, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9408)

Research output: Book/ReportReportAcademic

Open Access
File
41 Downloads (Pure)

A measurement for the aesthetics of graphs with broken edges

Ray, S., Gemis, M. & Paredaens, J., 1994, Antwerpen: Universitaire Instellingen Antwerpen. 19 p. (Report UIA; vol. 94-18)

Research output: Book/ReportReportAcademic

An algebraic semantics of basic message sequence charts

Mauw, S. & Reniers, M. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 9 p. (Computing science notes; vol. 9417)

Research output: Book/ReportReportAcademic

Open Access
File
77 Citations (Scopus)
105 Downloads (Pure)

An algebraic semantics of message sequence charts

Mauw, S. & Reniers, M. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 43 p. (Computing science notes; vol. 9423)

Research output: Book/ReportReportAcademic

Open Access
File
50 Downloads (Pure)

Analysis of a 2-phase model for optimization of condition monitoring intervals

Coolen, F. P. A. & Dekker, R., 1994, Rotterdam: Erarsmus Universiteit Rotterdam, Econometric Institute. 22 p. (Report; vol. 9428/A)

Research output: Book/ReportReportAcademic

A new method for integrity constraint checking in deductive databases

Seljée, R. R., 1994, Eindhoven: Technische Universiteit Eindhoven. 31 p. (Computing science notes; vol. 9413)

Research output: Book/ReportReportAcademic

Open Access
File
77 Downloads (Pure)

An extended sensitivity analysis in linear programming problems

Inuiguchi, M. & Wessels, J., 1994, Laxenburg, Austria: IIASA. 20 p. (Working Paper; vol. 94-105)

Research output: Book/ReportReportAcademic

An introduction to the FIRE engine : a C++ toolkit for finite automata and regular expressions

Watson, B. W., 1994, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computing science notes; vol. 9421)

Research output: Book/ReportReportAcademic

Open Access
File
225 Downloads (Pure)

An M|Ph|1 queueing system subject to breakdowns with non-homogeneous interarrival, service, life and repair times

Eenige, van, M. J. A. & Wal, van der, J., 1994, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Memorandum COSOR; vol. 9413)

Research output: Book/ReportReportAcademic

Open Access
File
20 Downloads (Pure)

A partial order approach to branching time logic model checking

Gerth, R. T., Kuiper, R., Peled, D. & Penczek, W., 1994, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computing science reports; vol. 9453)

Research output: Book/ReportReportAcademic

Open Access
File
121 Downloads (Pure)

Application of Markov decision processes to search problems

Hartman, L. B. & Hee, van, K. M., 1994, Eindhoven: Eindhoven University of Technology. 21 p. (Computing science notes; vol. 9403)

Research output: Book/ReportReportPopular

Open Access
File
119 Downloads (Pure)

A short and flexible proof of strong normalization for the calculus of constructions

Geuvers, J. H., 1994, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computing science reports; vol. 9450)

Research output: Book/ReportReportAcademic

Open Access
File
308 Downloads (Pure)

Axiomatizing probabilistic processes : ACP with generative probabilities

Baeten, J. C. M., Bergstra, J. A. & Smolka, S. A., 1994, Amsterdam: Universiteit van Amsterdam. 37 p. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam; vol. P9218b)

Research output: Book/ReportReportPopular

Open Access
File
52 Downloads (Pure)

Beyond Beta-reduction in Church's lambda-arrow

Bloo, R., Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9420)

Research output: Book/ReportReportAcademic

Open Access
File
45 Downloads (Pure)

C0-groups on sequentially complete, locally convex, topological vector spaces in particular on strict LF-spaces

Eijndhoven, van, S. J. L., 1994, Eindhoven: Eindhoven University of Technology. 36 p. (RANA : reports on applied and numerical analysis; vol. 9415)

Research output: Book/ReportReportPopular

Open Access
File
40 Downloads (Pure)

Canonical typing and pi-conversion

Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 51 p. (Computing science notes; vol. 9402)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Canonical typing and pi-conversion in the Barendregt cube

Kamareddine, F. & Nederpelt, R. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computing science reports; vol. 9436)

Research output: Book/ReportReportAcademic

Open Access
File
62 Downloads (Pure)

Category theory as coherently constructive lattice theory : an illustration

Backhouse, R. C. & Bijsterveld, M. L. L., 1994, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computing science reports; vol. 9443)

Research output: Book/ReportReportAcademic

Open Access
File
215 Downloads (Pure)

Code voor positionering van een as

Tilborg, van, H. C. A., Rienstra, S. W. & Bussemaker, F. C., 1994, Eindhoven: Technische Universiteit Eindhoven. 16 p. (IWDE report; vol. 9402)

Research output: Book/ReportReportAcademic

Open Access
File
29 Downloads (Pure)

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

Kloks, A. J. J. & Kratsch, D., 1994, Eindhoven: Technische Universiteit Eindhoven. 6 p. (Computing science reports; vol. 9441)

Research output: Book/ReportReportAcademic

Open Access
File
103 Downloads (Pure)

Computing near-optimal schedules

Lenstra, J. K. & Shmoys, D. B., 1994, Eindhoven: Technische Universiteit Eindhoven. 13 p. (Memorandum COSOR; vol. 9421)

Research output: Book/ReportReportAcademic

Open Access
File
42 Downloads (Pure)

Concatenation of graphs

Engelfriet, J. & Vereijken, J. J., 1994, Eindhoven: Technische Universiteit Eindhoven. 7 p. (Computing science reports; vol. 9442)

Research output: Book/ReportReportAcademic

Open Access
File
51 Downloads (Pure)

Correctness of real time systems by construction

Hooman, J. J. M., 1994, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9429)

Research output: Book/ReportReportAcademic

Open Access
File
80 Downloads (Pure)

Delayed choice : an operator for joining Message Sequence Charts

Baeten, J. C. M. & Mauw, S., 1994, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computing science reports; vol. 9435)

Research output: Book/ReportReportAcademic

Open Access
File
80 Downloads (Pure)

Distributed consensus and hard real-time systems

Alstein, D., 1994, Eindhoven: Technische Universiteit Eindhoven. 34 p. (Computing science reports; vol. 9440)

Research output: Book/ReportReportAcademic

Open Access
File
80 Downloads (Pure)

Distributional and efficiency results for subset selection

Laan, van der, P., 1994, Eindhoven: Eindhoven University of Technology. 16 p. (Memorandum COSOR; vol. 9403)

Research output: Book/ReportReportPopular

Open Access
File
24 Downloads (Pure)

Dominoes

Kloks, A. J. J., Kratsch, D. & Müller, H., 1994, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computing science notes; vol. 9412)

Research output: Book/ReportReportAcademic

Open Access
File
48 Downloads (Pure)

Exact solution and learning of binary classification problems with simple perceptrons

Matla, J. A., Stehouwer, H. P. & Wessels, J., 1994, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Memorandum COSOR; vol. 9410)

Research output: Book/ReportReportAcademic

Open Access
File
90 Downloads (Pure)

Factorization and input-output decoupling by static output feedback for nonlinear control systems

Huijberts, H. J. C., Colpier, L. & Moreau, P-E., 1994, Eindhoven: Technische Universiteit Eindhoven. 28 p. (Memorandum COSOR; vol. 9428)

Research output: Book/ReportReportAcademic

Open Access
File
22 Downloads (Pure)

Fischer's protocol in timed process algebra

Vereijken, J. J., 1994, Eindhoven: Technische Universiteit Eindhoven. 38 p. (Computing science reports; vol. 9432)

Research output: Book/ReportReportAcademic

Open Access
File
140 Downloads (Pure)

Fitting discrete distributions on the first two moments

Adan, I. J. B. F., Eenige, van, M. J. A. & Resing, J. A. C., 1994, Eindhoven: Technische Universiteit Eindhoven. 7 p. (Memorandum COSOR; vol. 9436)

Research output: Book/ReportReportAcademic

Open Access
File
227 Downloads (Pure)

Fixed modes in quasi-static state feedback decoupling

Andiarti, R., Moog, C. H. & Huijberts, H. J. C., 1994, Eindhoven: Technische Universiteit Eindhoven. 7 p. (Memorandum COSOR; vol. 9430)

Research output: Book/ReportReportAcademic

Open Access
File
24 Downloads (Pure)

Formal specification and compositional verification of an atomic broadcast protocol

Zhou, P. & Hooman, J. J. M., 1994, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9405)

Research output: Book/ReportReportAcademic

Open Access
File
76 Downloads (Pure)

Further analysis of the local defect correction method

Ferket, P. J. J. & Reusken, A. A., 1994, Eindhoven: Eindhoven University of Technology. 18 p. (RANA : reports on applied and numerical analysis; vol. 9425)

Research output: Book/ReportReportPopular

Open Access
File
90 Downloads (Pure)

GCLPROD : an interactive personal computer program for the optimization of the SNC Glycol production

Jong, de, J. L., 1994, Eindhoven: Technische Universiteit Eindhoven. 47 p. (IWDE Report; vol. 94-04)

Research output: Book/ReportReportAcademic

Open Access
File
36 Downloads (Pure)

Graph isomorphism models for non interleaving process algebra

Baeten, J. C. M. & Bergstra, J. A., 1994, Amsterdam: Universiteit van Amsterdam. 18 p. (Reports of the programming research group, University of Amsterdam = Rapporten van de vakgroep programmatuur, Universiteit van Amsterdam; vol. P9401)

Research output: Book/ReportReportPopular

Open Access
File
64 Downloads (Pure)