Research Output

2019

Tool support for correctness-by-construction

Runge, T., Schaefer, I., Cleophas, L., Thüm, T., Kourie, D. & Watson, B. W., 1 Jan 2019, Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Hähnle, R. & van der Aalst, W. (eds.). Springer, p. 25-42 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11424 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1 Citation (Scopus)
22 Downloads (Pure)
1997

Geheugenmodel met bewustzijn : biologische basis van een associatief geheugen

Bruijn, de, N. G., 1997, In : Spiegeloog. 24, 234, p. 10-13

Research output: Contribution to journalArticlePopular

Open Access
File
54 Downloads (Pure)
1996

Modelling polymer melt flow instabilities

Molenaar, J. & Koopmans, R. J., 1996, Progress in Industrial Mathematics at ECMI 94 (Proceedings 8th ECMI Conference, Kaiserslautern, Germany, September 6-10, 1994). Neunzert, H. (ed.). Chichester/Stuttgart: Wiley-Teubner, p. 224-232 (European Consortium for Mathematics in Industry; vol. 13).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1995

Algebraic specification of dynamic leader election protocols in broadcast networks

Brunekreef, J. J., Katoen, J. P., Koymans, R. L. C. & Mauw, S., 1995, Algebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994). Ponse, A. J., Verhoef, C. & Vlijmen, van, S. F. M. (eds.). Berlin: Springer, p. 338-358

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Concrete process algebra

Baeten, J. C. M. & Verhoef, C., 1995, Semantic modelling / ed. by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum. Oxford: Clarendon Press, p. 149-268 (Handbook of logic in computer science; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
30 Downloads (Pure)

Definability with the state operator in process algebra

Blanco, J. O., 1995, Algebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994). Ponse, A. J., Verhoef, C. & Vlijmen, van, S. F. M. (eds.). Berlin: Springer, p. 148-187

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Discrete non-Euclidean geometry

Seidel, J. J., 1995, Handbook of Incidence Geometry. Buekenhout, F. (ed.). Amsterdam: North-Holland Publishing Company, p. 843-920

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

7 Downloads (Pure)

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)

Graph isomorphism models for non interleaving process algebra

Baeten, J. C. M. & Bergstra, J. A., 1995, Algebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994). Ponse, A. J., Verhoef, C. & Vlijmen, van, S. F. M. (eds.). Berlin: Springer, p. 299-318 (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
58 Downloads (Pure)

Normed BPP and BPA

Blanco, J. O., 1995, Algebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994). Ponse, A. J., Verhoef, C. & Vlijmen, van, S. F. M. (eds.). Berlin: Springer, p. 242-251

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

On optimally scaled systems for second-order scalar singularly perturbed problems

Kalachev, L. V. & Mattheij, R. M. M., 1995, In : Applied Mathematics and Computation. 68, 1, p. 71-93 23 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

On the roles of types in mathematics

Bruijn, de, N. G., 1995, The Curry-Howard isomorphism / ed. by P. de Groote. Louvain-la-Neuve: Academia-Erasme, p. 27-54 (Cahiers du centre de logique; vol. 8).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
79 Downloads (Pure)

Process algebra with feedback

Baeten, J. C. M., Bergstra, J. A. & Stefanescu, G., 1995, Modal logic and process algebra : a bisimulation perspective / ed. by Alban Ponse, Maarten de Rijke and Yde Venema. Stanford: Center for the Study of Language and Information, p. 13-37 (CSLI lecture notes; vol. 53).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
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)

Real time process algebra with infinitesimals

Baeten, J. C. M. & Bergstra, J. A., 1995, Algebra of communicating processes, proceedings of ACP94, Utrecht, 16-17 May 1994. Ponse, A. J., Verhoef, C. & Vlijmen, van, S. F. M. (eds.). Berlin: Springer, p. 148-187 (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
74 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)

Van de redactie

Baeten, J. C. M., 1995, In : Informatie. 37, 6, p. 347

Research output: Contribution to journalArticlePopular

Open Access
File
28 Downloads (Pure)
1994

$H_\infty$ optimal control

Stoorvogel, A. A., 1994, In : International Journal of Robust and Nonlinear Control. 4, 4, p. 417-630

Research output: Contribution to journalArticlePopular

$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 BEM solution to simulate the curvature driven deformation of a profile that is pressed into a plate of hot glass

Vorst, van de, G. A. L., 1994, Boundary Element Methods in Fluid Dynamics II (Proceedings 2nd International Workshop, Southampton, UK, July 1994). Power, H., Brebbia, C. A. & Ingham, D. B. (eds.). Southampton: Computational Mechanics Publications, p. 11-20

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

Dams, D. R., Gerth, R. T. & Grumberg, O., 1994, Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994). Olderog, E. R. (ed.). Amsterdam: North-Holland Publishing Company, p. 573-592

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 characterization of some graphs which do not contain 3-claws

Brouwer, A. E. & Numata, M., 1994, In : Discrete Mathematics. 124, 1-3, p. 49-54 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
7 Citations (Scopus)

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 comparative study in DSS development (Editorial)

Hee, van, K. M. & Lenstra, J. K., 1994, In : European Journal of Operational Research. 79, 2, p. 153-157

Research output: Contribution to journalArticleProfessional

2 Citations (Scopus)
1 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 various methods for assesment of fungal growth on interior finishes

Adan, O. C. G., Samson, R. A. & Wijnen, J. T. M., 1994, Health implications of fungi in indoor environments. Samson, R. A., Flanning, B., Flanning, M. E., Adan, O. C. G., Verhoeff, A. P. & Hoekstra, E. S. (eds.). Amsterdam: Elsevier, p. 415-437 (Air Quality Monographs; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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 computational model for generic graph functions

Gemis, M., Peelman, P., Paredaens, J. & Van den Bussche, J., 1994, Graph Transformations in Computer Science (Proceedings International Workshop, Dagstuhl Castle, Germany, January 1993). Schneider, H. J. & Ehrig, H. (eds.). Berlin: Springer, p. 170-188 (Lecture Notes in Computer Science; vol. 776).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

A computational study of constraint satisfaction for multiple capacitated job shop scheduling

Nuijten, W. P. M. & Aarts, E. H. L., 1994, Proceedings 4th International Workshop on Project Management and Scheduling (Leuven, Belgium, 1994). p. 166-173

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A computational study of local search algorithms for job shop scheduling

Aarts, E. H. L., Laarhoven, van, P. J. M., Lenstra, J. K. & Ulder, N. L. J., 1994, In : ORSA Journal on Computing. 6, 2, p. 118-125

Research output: Contribution to journalArticleAcademicpeer-review

A conceptual model of a business transaction management system

Hofman, W. J., 1994, 's-Hertogenbosch: UTN Publishers. 163 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
515 Downloads (Pure)

A congruence theorem for structured operational semantics with predicates and negative

Verhoef, C., 1994, CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994). Jonsson, B. & Parrow, J. (eds.). Berlin: Springer, p. 433-448 (Lecture Notes in Computer Science; vol. 836).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)

A deontic system with actors

Royakkers, L. M. M. & Dignum, F. P. M., 1994, Working papers of the International workshop on information systems : correctness and reusability (Amsterdam, The Netherlands, 1994), Report IR-357. Amsterdam: Vrije Universiteit Amsterdam, p. 408-422

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Advances in database systems : implementations and applications

Paredaens, J. (ed.) & Tenenbaum, L. (ed.), 1994, Wien: Springer. 377 p. (CISM courses and lectures; vol. 347)

Research output: Book/ReportBook editingProfessional

A dynamic logic for reasoning about sub-ideal states

Dignum, F. P. M., Meyer, J-JC. & Wieringa, R. J., 1994, Proceedings ECAI Workshop on Articicial Normative Reasoning (Amsterdam, The Netherlands, 1994). Breuker, J. (ed.). Breuker, p. 79-92

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A formal approach to analyzing the browsing semantics of hypertext

De Bra, P. M. E., Houben, G. J. P. M. & Kornatzky, Y., 1994, Computing Science in the Netherlands (CSN'94, Utrecht, The Netherlands, November 21-22, 1994). Amsterdam: Centrum voor Wiskunde en Informatica, p. 78-89

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 general conservative extension theorem in process algebra

Verhoef, C., 1994, Programming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994). Olderog, E. R. (ed.). Amsterdam: North-Holland Publishing Company, p. 149-168 (IFIP Transactions A : Computer science and technology; vol. 56).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A grammar-based approach towards unifying hierarchical data models

Gyssens, M., Paredaens, J. & Van Gucht, D., 1994, In : SIAM Journal on Computing. 23, 6, p. 1093-1137

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
9 Citations (Scopus)
195 Downloads (Pure)

A graph-oriented object database model

Gyssens, M., Paredaens, J., Van den Bussche, J. & Van Gucht, D., 1994, In : IEEE Transactions on Knowledge and Data Engineering. 6, 4, p. 572-586

Research output: Contribution to journalArticleAcademicpeer-review

80 Citations (Scopus)

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 hierarchical membership protocol for synchronous distributed systems

Stok, van der, P. D. V., Claessen, M. M. M. P. J. & Alstein, D., 1994, Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994). Echtle, K., Hammer, D. K. & Powell, D. (eds.). Springer, p. 599-616 (Lecture Notes in Computer Science; vol. 852).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

A hierarchy of partial order properties

Kwiatkowska, M., Peled, D. & Penczek, W., 1994, Temporal Logic (Proceedings First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994). Gabbay, D. M. & Ohlbach, H. J. (eds.). Berlin: Springer, p. 398-414 (Lecture Notes in Computer Science; vol. 827).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

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