Find Research Output

Search in all content

Filters for Research Output

Search concepts
Selected filters
Report

Procesontwerp Luxor: een procesontwerp voor het Luxor-theater in de helft van de tijd

Al Hassan, F., Friedl, G., Reinarz, J. R., Rentenaar, R. P. P. & Verkooijen, E. C. H., 1999, Eindhoven: Technische Universiteit Eindhoven. 92 p. (ADMS-reeks; vol. 1999-02)

Research output: Book/ReportReportPopular

Open Access
File
62 Downloads (Pure)

Process algebra for dynamic system modeling

Baeten, J. C. M., Beek, van, D. A. & Rooda, J. E., 2006, Eindhoven: Technische Universiteit Eindhoven. 23 p. (Computer science reports; vol. 0603)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

Process algebra for hybrid systems

Bergstra, J. A. & Middelburg, C. A., 2003, Eindhoven: Technische Universiteit Eindhoven. 61 p. (Computer science reports; vol. 0306)

Research output: Book/ReportReportAcademic

Process algebra in PVS

Basten, T. & Hooman, J. J. M., 1998, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science reports; vol. 9810)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

Process algebra needs proof methodology

Fokkink, W. J., Groote, J. F. & Reniers, M. A., 2004, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 0404)

Research output: Book/ReportReportAcademic

Open Access
File
96 Downloads (Pure)

Process algebra with autonomous actions

Voorhoeve, M. & Basten, T., 1996, Eindhoven: Technische Universiteit Eindhoven. 12 p. (Computing science reports; vol. 9601)

Research output: Book/ReportReportAcademic

Open Access
File
36 Downloads (Pure)

Process algebra with a zero object

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

Research output: Book/ReportReportPopular

Open Access
File
66 Downloads (Pure)

Process algebra with conditionals in the presence of epsilon

Bergstra, J. A. & Middelburg, C. A., 2005, Eindhoven: Technische Universiteit Eindhoven. 41 p. (Computer science reports; vol. 0515)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

Process algebra with explicit termination

Baeten, J. C. M., 2000, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computing science reports; vol. 0002)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)

Process algebra with feedback

Baeten, J. C. M., Bergstra, J. A. & Stefanescu, G., 1994, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computing science notes; vol. 9430)

Research output: Book/ReportReportAcademic

Open Access
File
50 Downloads (Pure)

Process algebra with feedback

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

Research output: Book/ReportReportPopular

Open Access
File
24 Downloads (Pure)

Process algebra with interleaving probabilistic parallel composition

Andova, S., 1999, Eindhoven: Technische Universiteit Eindhoven. 82 p. (Computing science reports; vol. 9904)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

Process algebra with local communication

Weerdenburg, van, M. J., 2005, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computer science reports; vol. 0505)

Research output: Book/ReportReportAcademic

Open Access
File
26 Downloads (Pure)

Process algebra with nonstandard timing

Middelburg, C. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0206)

Research output: Book/ReportReportAcademic

Open Access
File
3 Citations (Scopus)
27 Downloads (Pure)

Process algebra with partial choice

Baeten, J. C. M. & Bergstra, J. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 16 p. (Computing science notes; vol. 9409)

Research output: Book/ReportReportAcademic

Open Access
File
69 Downloads (Pure)

Process algebra with partial choice

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

Research output: Book/ReportReportPopular

Open Access
File
62 Downloads (Pure)

Process algebra with pointers

Baeten, J. C. M., Bergstra, J. A. & Feijs, L. M. G., 2002, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 0203)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)

Process algebra with probabilistic choice

Andova, S., 1999, Eindhoven: Technische Universiteit Eindhoven. 38 p. (Computing science reports; vol. 9912)

Research output: Book/ReportReportAcademic

Open Access
File
121 Downloads (Pure)

Process algebra with propositional signals

Baeten, J. C. M. & Bergstra, J. A., 1994, Eindhoven: Technische Universiteit Eindhoven. 25 p. (Computing science reports; vol. 9449)

Research output: Book/ReportReportAcademic

Open Access
File
33 Downloads (Pure)

Process algebra with propositional signals

Baeten, J. C. M. & Bergstra, J. A., 1994, Utrecht: Utrecht University. 25 p. (Logic Group Preprint Series; vol. 123)

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)

Process algebra with signals and conditions

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

Research output: Book/ReportReportPopular

Open Access
File
68 Downloads (Pure)

Process algebra with timing : real time and discrete time

Baeten, J. C. M. & Middelburg, C. A., 1999, Utrecht: Utrecht University. 53 p. (Logic Group Preprint Series; vol. 198)

Research output: Book/ReportReportPopular

Open Access
File
76 Downloads (Pure)

Process algebra with timing : real time and discrete time

Baeten, J. C. M. & Middelburg, C. A., 1999, Eindhoven: Technische Universiteit Eindhoven. 50 p. (Computing science reports; vol. 9911)

Research output: Book/ReportReportAcademic

Open Access
File
173 Downloads (Pure)

Process algebra with zero object and non-determinacy

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

Research output: Book/ReportReportPopular

Open Access
File
27 Downloads (Pure)

Process cubes : slicing, dicing, rolling up and drilling down event data for process mining

Aalst, van der, W. M. P., 2013, BPMcenter. org. 23 p. (BPM reports; vol. 1323)

Research output: Book/ReportReportAcademic

Open Access
File
729 Downloads (Pure)

Process damping in metal cutting

Kals, H. J. J., 1971, Eindhoven: Technische Hogeschool Eindhoven. 50 p. (TH Eindhoven. Afd. Werktuigbouwkunde, Laboratorium voor mechanische technologie en werkplaatstechniek : WT rapporten; vol. WT0278)

Research output: Book/ReportReportPopular

Open Access
File
66 Downloads (Pure)

Process discovery and conformance checking using passages

Aalst, van der, W. M. P. & Verbeek, H. M. W., 2012, BPMcenter. org. 35 p. (BPM reports; vol. 1221)

Research output: Book/ReportReportAcademic

Process discovery using integer linear programming

Werf, van der, J. M. E. M., Dongen, van, B. F., Hee, van, K. M., Hurkens, C. A. J. & Serebrenik, A., 2008, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0804)

Research output: Book/ReportReportAcademic

Open Access
File
133 Citations (Scopus)
751 Downloads (Pure)

Processen en procesexpressies

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

Research output: Book/ReportReportPopular

Open Access
File
26 Downloads (Pure)

Processen uit het dagelijks leven

Wessels, J. & van Nunen, J. A. E. E., 1982, Eindhoven: Technische Hogeschool Eindhoven. 18 p. (Memorandum COSOR; vol. 8204)

Research output: Book/ReportReportAcademic

Open Access
File
84 Downloads (Pure)

Process equivalence in the context of genetic mining

Aalst, van der, W. M. P., Alves De Medeiros, A. K. & Weijters, A. J. M. M., 2006, Eindhoven: BPMcenter. org. 21 p. (BPM reports; vol. 0615)

Research output: Book/ReportReportAcademic

Open Access
File
47 Downloads (Pure)

Processes in the internet economy, the view of electronic business processes

Mandorf, S., 2008, Munich: Grin Academic Publishing House. 35 p.

Research output: Book/ReportReportAcademic

Process flexibility patterns

Mulyar, N. A., Aalst, van der, W. M. P. & Russell, N. C., 2008, Eindhoven: Technische Universiteit Eindhoven. 112 p. (BETA publicatie : working papers; vol. 251)

Research output: Book/ReportReportAcademic

Open Access
File
105 Downloads (Pure)
87 Downloads (Pure)

Processing networks : introduction and basis structure

Koene, J., 1981, Eindhoven: Technische Hogeschool Eindhoven. 19 p. (Memorandum COSOR; vol. 8106)

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)

Processing of reviewers marks: a computer program for the TPC of the 11th European microwave conference

Kwaspen, J. J. M., 1981, Eindhoven: Technische Hogeschool Eindhoven. 32 p.

Research output: Book/ReportReportPopular

Open Access
File
33 Downloads (Pure)

Process mining : A two-step approach to balance between underfitting and overfitting

Aalst, van der, W. M. P., Rubin, V. A., Verbeek, H. M. W., Dongen, van, B. F., Kindler, E. & Günther, C. W., 2008, Eindhoven/Brisbane: BPMcenter. org. (BPM reports; vol. 0801)

Research output: Book/ReportReportAcademic

Process mining : extending the alpha-algorithm to mine short loops

Alves De Medeiros, A. K., Dongen, van, B. F., Aalst, van der, W. M. P. & Weijters, A. J. M. M., 2004, Eindhoven: Technische Universiteit Eindhoven. 25 p. (BETA publicatie : working papers; vol. 113)

Research output: Book/ReportReportAcademic

Open Access
File
906 Downloads (Pure)

Process mining and verification of properties : an approach based on temporal logic

Aalst, van der, W. M. P., Beer, de, H. T. & Dongen, van, B. F., 2005, Eindhoven: Technische Universiteit Eindhoven. 18 p. (BETA publicatie : working papers; vol. 136)

Research output: Book/ReportReportAcademic

Open Access
File
541 Downloads (Pure)

Process mining and visual analytics : breathing life into business process models

Aalst, van der, W. M. P., Leoni, de, M. & Hofstede, ter, A. H. M., 2011, BPMcenter. org. 31 p. (BPM reports; vol. 1116)

Research output: Book/ReportReportAcademic

3 Downloads (Pure)

Process mining applied to the BPI Challenge 2012 : divide and conquer while discerning resources

Jagadeesh Chandra Bose, R. P. & Aalst, van der, W. M. P., 2012, BPMcenter. org. 30 p. (BPM reports; vol. 1216)

Research output: Book/ReportReportAcademic

2 Downloads (Pure)

Process mining framework for software processes

Rubin, V. A., Günther, C. W., Aalst, van der, W. M. P., Kindler, E., Dongen, van, B. F. & Schäfer, W., 2007, Eindhoven: BPMcenter. org. 20 p. (BPM reports; vol. 0701)

Research output: Book/ReportReportAcademic

Open Access
File
154 Downloads (Pure)

Process mining in case handling systems

Günther, C. W. & Aalst, van der, W. M. P., 2005, Eindhoven: Technische Universiteit Eindhoven. 18 p. (BETA publicatie : working papers; vol. 150)

Research output: Book/ReportReportAcademic

Open Access
File
42 Downloads (Pure)

Process mining in healthcare : opportunities beyond the ordinary

Mans, R. S., Aalst, van der, W. M. P. & Vanwersch, R. J. B., 2013, BPMcenter. org. 52 p. (BPM reports; vol. 1326)

Research output: Book/ReportReportAcademic

Open Access
File
268 Downloads (Pure)

Process mining of test processes : a case study

Rozinat, A., Jong, de, I. S. M., Günther, C. W. & Aalst, van der, W. M. P., 2007, Eindhoven: Technische Universiteit Eindhoven. 36 p. (BETA publicatie : working papers; vol. 220)

Research output: Book/ReportReportAcademic

Open Access
File
428 Downloads (Pure)

Process mining using BPMN : relating event logs and process models

Kalenkova, A. A., Aalst, van der, W. M. P., Lomazova, I. A. & Rubin, V. A., 2015, BPMcenter. org. (BPM reports; vol. 1501)

Research output: Book/ReportReportAcademic

Open Access
File
446 Downloads (Pure)

Process mining with the HeuristicsMiner algorithm

Weijters, A. J. M. M., Aalst, van der, W. M. P. & Alves De Medeiros, A. K., 2006, Eindhoven: Technische Universiteit Eindhoven. 34 p. (BETA publicatie : working papers; vol. 166)

Research output: Book/ReportReportAcademic

Open Access
File
155 Downloads (Pure)

Process modeling quality : a framework and research agenda

Mendling, J., Recker, J. & Reijers, H. A., 2009, Eindhoven: BPMcenter. org. 18 p. (BPM reports; vol. 0902)

Research output: Book/ReportReportAcademic

2 Downloads (Pure)

Process monitoring and control

Mal, van, H. H., Rovers, E. P., Ven, van de, W. J., Welij, van, J. S. & Zwanenburg, G. D., 1993, Eindhoven: Philips Centre for Manufacturing Technology. (Report CTR597-93-0013)

Research output: Book/ReportReportAcademic

Processor propositiecalculus voor Automath

Bruijn, de, N. G., 1968, Eindhoven: Technische Hogeschool Eindhoven. 12 p.

Research output: Book/ReportReportPopular

Open Access
File
25 Downloads (Pure)