Process Analytics

  • AdresToon op kaart

    Groene Loper 5, Metaforum, room MF 7.065

    5612 AE Eindhoven

    Nederland

  • PostadresToon op kaart

    P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Nederland

Filter
Hoofdstuk

Zoekresultaten

  • 2002

    Mining for adaptive web sites

    Houben, G. J. P. M., 2002, Dealing with the data flood : mining data, text and multimedia. Meij, J. (uitgave). The Hague: STT Netherlands Study Center for Technology Trends, blz. 503-515 894 blz. (Stichting toekomstbeeld der techniek; vol. 65).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • 2000

    Adaptive workflow: On the interplay between flexibility and support

    Aalst, van der, W. M. P., Basten, T., Verbeek, H. M. W., Verkoulen, P. A. C. & Voorhoeve, M., 2000, Enterprise Information Systems. Filipe, J. (uitgave). Norwell: Kluwer Academic Publishers, blz. 63-70

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • Euclidian query languages

    Kuijpers, B., Kuper, G. M. & Paredaens, J., 2000, Constraint Databases. Kuper, G. M., Libkin, L. & Paredaens, J. (uitgave). Berlin: Springer, blz. 275-291

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • Introduction

    Kuper, G. M., Libkin, L. & Paredaens, J., 2000, Constraint Databases. Kuper, G. M., Libkin, L. & Paredaens, J. (uitgave). Berlin: Springer, blz. 1-16

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • Performance analysis of dataflow architectures using timed coloured Petri nets

    Witlox, B. R. T. M., Wolf, van der, P., Aarts, E. H. L. & Aalst, van der, W. M. P., 2000, Hardware design and Petri nets. Yakovlev, A., Gomes, L. & Lavagno, L. (uitgave). Dordrecht: Kluwer Academic Publishers, blz. 269-289

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    2 Downloads (Pure)

  • Using formal analysis techniques in busines process redesign

    Reijers, H. A. & Hee, van, K. M., 2000, Business Process Management : Models, Techniques, and Empirical Studies. Aalst, van der, W. M. P. & Oberweis, A. (uitgave). Berlin: Springer, blz. 142-160 19 blz. (Lecture Notes in Computer Science; vol. 1806).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    1 Downloads (Pure)

  • Workflow verification: Finding control-flow errors using Petri-net-based techniques

    Aalst, van der, W. M. P., 2000, Business Process Management: Models, Techniques, and Empirical Studies. Aalst, van der, W. M. P., Desel, J. & Oberweis, A. (uitgave). Berlin: Springer, blz. 161-183 (Lecture Notes in Computer Science; vol. 1806).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    2 Downloads (Pure)
  • 1999

    Electronic Commerce

    Dignum, F. P. M., 1999, Kantoorautomatisering ICT-zakboekje. Arnhem: PBNA, blz. 129-136 7 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

  • Kantoorautomatisering

    Houben, G. J. P. M., 1999, ICT-zakboekje. Arnhem: PBNA, blz. 299-314

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

  • Workflow management in ICT-Zakboekje

    Aalst, van der, W. M. P., 1999, ICT-Zakboekje. Bemelmans, T. M. A., Bra, de, P. M. E. & Looijen, A. (uitgave). Arnhem: Koninklijke PBNA, blz. 1042-1061

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

  • 1998

    AHAM: A reference model to support adaptive hypermedia authoring

    Houben, G. J. P. M., De Bra, P. M. E. & Wu, H., 1998, Informatiewetenschap 1998. Smet, de, E. (uitgave). blz. 51-76

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Application domains: Conclusion

    Aalst, van der, W. M. P., 1998, Systems engineering: A Petri net based approach to modelling, verification, and implementation. Girault, C. & Valk, R. (uitgave). Zaragoza: Kronos, blz. 597-599

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • Application domains: Introduction

    Aalst, van der, W. M. P., 1998, Systems engineering: A petri net based approach to modelling, verification, and implementation. Girault, C. & Valk, R. (uitgave). Zaragoza: Kronos, blz. 495-500

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • The role of deontic logic in the specification of information systems

    Meyer, J.-J., Wieringa, R. J. & Dignum, F. P. M., 1998, Logics for Databases and Information Systems. Chomicki, J. & Saake, G. (uitgave). Kluwer Academic Publishers, blz. 71-115 430 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Three good reasons for using a Petri-net-based workflow management system

    Aalst, van der, W. M. P., 1998, Information and process integration in enterprises: Rethinking documents. Wakayama, T. (uitgave). Norwell: Kluwer Academic Publishers, blz. 161-182 (The Kluwer International Series in Engineering and Computer).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Workflow management systems

    Graaf, van de, M. C. A. & Hee, van, K. M., 1998, ICT-thema's voor managers. blz. 74-85

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    1 Downloads (Pure)

  • Workflow systems

    Graaf, van de, M. C. A. & Aalst, van der, W. M. P., 1998, Systems engineering: A petri-net based approach to modelling, verification, and implementation. Girault, C. & Valk, R. (uitgave). Zaragoza: Kronos, blz. 531-568

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

  • 1997

    Cursus Zakelijk succes met Internet

    De Bra, P. M. E., 1997, International Management Forum, hoofdstuk 4 en 5: het gebruiken van Internet en zoeken op Internet.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

  • Defeasible deontic logic

    Royakkers, L. M. M. & Dignum, F. P. M., 1997, Defeasible deontic logic. Nute, D. (uitgave). Kluwer Academic Publishers, blz. 263-286

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Integrated semantics for information and communication systems

    Verharen, E., Weigand, H. & Dignum, F. P. M., 1997, Database Applications Semantics. Meersman, R. & Mark, L. (uitgave). Chapman & Hall, blz. 500-525

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • Performance modelling of real-time database schedulers

    Stok, van der, P. D. V., Sassen, S. A. E., Bodlaender, M. P., Wal, van der, J. & Aerts, A. T. M., 1997, Real-Time Database Systems: Issues and Applications. Bestavros, A., Lin, K. J. & Son, S. H. (uitgave). Boston: Kluwer Academic Publishers, blz. 251-276

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • 1996

    Informatie ontginnen op het Internet

    De Bra, P. M. E., 1996, Handboek informatica. blz. C 5415-1-C5415-29

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

    1 Downloads (Pure)

  • Three good reasons for using a Petri-net-based workflow management system

    Aalst, van der, W. M. P., 1996, Proceedings of the International Working Conference on Information and Process Integration in Enterprices, IPIC'96. Navathe, S. & Wakayama, T. (uitgave). blz. 179-201

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

  • 1994

    Koppelen van heterogene databases

    Bra, De, P. M. E., 1994, Handboek database systemen. Lans, van, R. F. & Pels, H. J. (uitgave). Alphen aan den Rijn: Array publications, blz. 3300-1/18

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Professioneel

  • 1991

    Modelling logistic systems with EXSPECT

    Aalst, van der, W. M. P. & Waltmans, A. W., 1991, Dynamic Modelling of Information Systems. Sol, H. G. & Hee, K. M. V. (uitgave). Amsterdam: Elsevier, blz. 269-288

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic › peer review

    1 Downloads (Pure)