Natalia Sidorova

View Scopus Profile

Natalia Sidorova

dr.

  • 2550
    Citations - based on content available in repository [source: Scopus]
19992023

Content available in repository

Filter
Conference contribution

Search results

  • 2022

    Aligning Event Logs to Resource-Constrained ν -Petri Nets

    Sommers, D. (Corresponding author), Sidorova, N. & van Dongen, B., 13 Jun 2022, Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings. Bernardinello, L. & Petrucci, L. (eds.). Springer, p. 325-345 21 p. (Lecture Notes in Computer Science (LNCS); vol. 13288).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    14 Downloads (Pure)
  • 2021

    Designing Micro-intelligences for Situated Affective Computing

    Lövei, P., Nazarchuk, I., Aslam, S., Yu, B., Megens, C. J. P. G. & Sidorova, N., 11 Nov 2021, CHIIOT 2021: Workshops on Computer Human Interaction in IoT Applications. Liang, R.-H., Chiumento, A., Pawełczak, P. & Funk, M. (eds.).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)

  • Signal Phrase Extraction: Gateway to Information Retrieval Improvement in Law Texts

    van der Veen, M. & Sidorova, N., 2021, Legal Knowledge and Information Systems: JURIX 2021 : The 34th Annual Conference. Schweighofer, E. (ed.). IOS Press, p. 127-130 4 p. (Frontiers in Artificial Intelligence and Applications; vol. 346).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
  • 2019

    Data-driven usability test scenario creation

    van Eck, M. L., Markslag, E., Sidorova, N., Brosens-Kessels, A. & van der Aalst, W. M. P., 1 Jan 2019, Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Revised Selected Papers. Lárusdóttir, M. K., Winckler, M., Kuusinen, K., Palanque, P. & Bogdan, C. (eds.). Cham: Springer, p. 88-108 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11262 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    6 Citations (Scopus)
    3 Downloads (Pure)

  • Multi-instance mining: discovering synchronisation in artifact-centric processes

    van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 1 Jan 2019, Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (eds.). Cham: Springer, p. 18-30 13 p. (Lecture Notes in Business Information Processing; vol. 342).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)
    1 Downloads (Pure)
  • 2018

    Event abstraction for process mining using supervised learning techniques

    Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 2018, Proceedings of the SAI Intelligent Systems Conference (IntelliSys 2016), 21-22 September 2016, London, United Kingdom. Bi, Y., Kapoor, S. & Bhatia, R. (eds.). Berlin: Springer, p. 251-269 19 p. (Lecture Notes in Networks and Systems; vol. 15).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    41 Citations (Scopus)
    5 Downloads (Pure)

  • Local process model discovery: bringing petri nets to the pattern mining world

    Tax, N., Sidorova, N., van der Aalst, W. M. P. & Haakma, R., 1 Jan 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khohamenko, V. & Roux, O. H. (eds.). Dordrecht: Springer, p. 374-384 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10877 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    9 Citations (Scopus)
    2 Downloads (Pure)

  • Mining local process models with constraints efficiently: applications to the analysis of smart home data

    Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 27 Dec 2018, Proceedings - 2018 International Conference on Intelligent Environments, IE 2018. Piscataway: Institute of Electrical and Electronics Engineers, p. 56-63 8 p. 8595032

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    8 Citations (Scopus)
    1 Downloads (Pure)
  • 2017

    Guided interaction exploration in artifact-centric process models

    van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 14 Aug 2017, 2017 IEEE 19th Conference on Business Informatics (CBI), Business Informatics (CBI), 24-27 July 2017, Thessaloniki, Greece. Institute of Electrical and Electronics Engineers, p. 109-118 10 p. 8010712

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    16 Citations (Scopus)
    143 Downloads (Pure)

  • Heuristic approaches for generating local process models through log projections

    Tax, N., Sidorova, N., van der Aalst, W. M. P. & Haakma, R., 9 Feb 2017, Proceedings of IEEE Symposium on Computational Intelligence and Data Mining, December 6-9, 2016, Athens, Greece. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-8 7849948

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    17 Citations (Scopus)
    157 Downloads (Pure)

  • Local process models: pattern mining with process models

    Tax, N., Sidorova, N. & van der Aalst, W. M. P., 10 Jun 2017, Proceedings of the Twenty-Sixth Benelux Conference on Machine Learning (BENELEARN). Duivesteijn, W., Pechenizkiy, M., Fletcher, G., Menkovski, V., Postma, E., Vanschoren, J. & van der Putten, P. (eds.). p. 83-86

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    183 Downloads (Pure)
  • 2016

    Composite state machine miner: Discovering and exploring multi-perspective processes

    Van Eck, M. L., Sidorova, N. & Van Der Aalst, W. M. P., 2016, Proceedings of the BPM Demo Track 2016. Azevedo, L. & Cabanillas, C. (eds.). CEUR-WS.org, p. 73-77 5 p. (CEUR Workshop Proceedings; vol. 1789).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    131 Downloads (Pure)

  • Discovering and Exploring State-based Models for Multi-perspective Processes

    van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 2016, Business Process Management : 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18–22, 2016. Proceedings. La Rosa, M., Loos, P. & Pastor, O. (eds.). Dordrecht: Springer, p. 142-157 16 p. (Lecture notes in computer science; vol. 9850).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    26 Citations (Scopus)
    6 Downloads (Pure)

  • Enabling Process Mining on Sensor Data from Smart Products

    Van Eck, M. L., Sidorova, N. & Van Der Aalst, W. M. P., 23 Aug 2016, IEEE RCIS 2016 - IEEE 10th International Conference on Research Challenges in Information Science, 1-3 may 2016, Grenoble, France. Brussels: IEEE Computer Society, p. 1-12 12 p. 7549355

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    56 Citations (Scopus)
    844 Downloads (Pure)

  • On generation of time-based label refinements

    Tax, N., Alasgarov, E. E., Sidorova, N. & Haakma, R., 2016, Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, 28-30 September 2016, Rostock, Germany. p. 1-12

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    83 Downloads (Pure)
  • 2015

    KPI-based activity planning for people working in flexible processes

    Eck, van, M. L., Sidorova, N. & Aalst, van der, W. M. P., 2015, Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering (Stockholm, Sweden, June 10, 2015). Grabis, J. & Sandkuhl, K. (eds.). Aachen: CEUR-WS.org, p. 97-104 (CEUR Workshop Proceedings; vol. 1367).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    169 Downloads (Pure)
  • 2013

    Configurable declare : designing customisable flexible models

    Schunselaar, D. M. M., Maggi, F. M., Sidorova, N. & Aalst, van der, W. M. P., 2013, On the Move to Meaningful Internet Systems: OTM 2012 (Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I). Meersman, R. (ed.). Berlin: Springer, p. 20-37 (Lecture Notes in Computer Science; vol. 7565).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    14 Citations (Scopus)
    1 Downloads (Pure)

  • Enabling self-reflection with LifelogExplorer : generating simple views from complex data

    Kocielnik, R. D., Maggi, F. M. & Sidorova, N., 2013, 7th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2013, Venice, Italy, May 5-8, 2013). Institute of Electrical and Electronics Engineers, p. 184-191

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    15 Citations (Scopus)
    1 Downloads (Pure)

  • Interval soundness of resource-constrained workflow nets : decidability and repair

    Ramezani Taghiabadi, E., Sidorova, N. & Stahl, C., 2013, Fundamentals of Software Engineering (5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers). Arbab, F. & Sirjani, M. (eds.). Berlin: Springer, p. 150-167 (Lecture Notes in Computer Science; vol. 8161).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Smart technologies for long-term stress monitoring at work

    Kocielnik, R. D., Sidorova, N., Maggi, F. M., Ouwerkerk, M. & Westerink, J. H. D. M., 2013, Proceedings of the 26th IEEE Conference on Computer-Based Medical Systems (CBMS'13, Porto, Portugal, June 20-22, 2013). IEEE Computer Society, p. 53-58

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    126 Citations (Scopus)
    6 Downloads (Pure)

  • The right timing : reflections on the modeling and analysis of time

    Hee, van, K. M. & Sidorova, N., 2013, Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings). Colom, J. M. & Desel, J. (eds.). Berlin: Springer, p. 1-20 (Lecture Notes in Computer Science; vol. 7927).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    9 Citations (Scopus)
    2 Downloads (Pure)
  • 2012

    Patterns for a log-based strengthening of declarative compliance models

    Schunselaar, D. M. M., Maggi, F. M. & Sidorova, N., 2012, Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings). Derrick, J., Gnesi, S., Latella, D. & Treharne, H. (eds.). Berlin: Springer, p. 327-342 (Lecture Notes in Computer Science; vol. 7321).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    18 Citations (Scopus)

  • Stress@Work: from measuring stress to its understanding, prediction and handling with personalized coaching

    Bakker, J., Holenderski, L., Kocielnik, R. D., Pechenizkiy, M. & Sidorova, N., 2012, IHI'12 - Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (Miami FL, USA, January 28-30, 2012). New York NY: Association for Computing Machinery, Inc., p. 673-677

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    57 Citations (Scopus)

  • Stress analytics in education

    Kocielnik, R. D., Pechenizkiy, M. & Sidorova, N., 2012, Proceedings of the 5th International Conference on Educational Data Mining, EDM 2012 2012. Yacef, K., Zaïane, O. R., Hershkovitz, A., Yudelson, M. & Stamper, J. C. (eds.). p. 236-237

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)
    2 Downloads (Pure)

  • When can we trust a third party? : a soundness perspective

    Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2012, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012). Cabac, L., Duvigneau, M. & Moldt, D. (eds.). CEUR-WS.org, p. 47-59 (CEUR Workshop Proceedings; vol. 851).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Downloads (Pure)
  • 2011

    Cost-based fitness in conformance checking

    Adriansyah, A., Sidorova, N. & Dongen, van, B. F., 2011, Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011). Los Alamitos: IEEE Computer Society, p. 57-66

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    76 Citations (Scopus)
    332 Downloads (Pure)

  • Discovering characteristics of stochastic collections of process models

    Hee, van, K. M., La Rosa, M., Liu, Z. & Sidorova, N., 2011, Business Process Management (9th International Conference, BPM 2011, Clermont-Ferrand, France, August 28-September 2, 2011. Proceedings). Rinderle-Ma, S., Toumani, F. & Wolf, K. (eds.). Berlin: Springer, p. 298-312 (Lecture Notes in Computer Science; vol. 6896).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)
    4 Downloads (Pure)

  • Distributed genetic process mining using sampling

    Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2011, Parallel Computing Technologies (11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings). Malyshkin, V. (ed.). Berlin: Springer, p. 224-237 (Lecture Notes in Computer Science; vol. 6873).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    4 Citations (Scopus)

  • Is my event log complete? - A probabilistic approach to process mining

    Hee, van, K. M., Liu, Z. & Sidorova, N., 2011, Proceedings of the 5th IEEE International Conference on Research Challenges in Information Sciences (RCIS 2011, Gosier, Guadeloupe, May 19-21, 2011). Institute of Electrical and Electronics Engineers, p. 1-12

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    24 Citations (Scopus)
    258 Downloads (Pure)

  • Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!

    Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Applications and Theory of Petri Nets (32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings). Kristensen, L. M. & Petrucci, L. (eds.). Berlin: Springer, p. 149-168 (Lecture Notes in Computer Science; vol. 6709).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    5 Citations (Scopus)
    1 Downloads (Pure)

  • Soundness-preserving refinements of service compositions

    Hee, van, K. M., Mooij, A. J., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Web Services and Formal Methods (7th International Workshop, WS-FM 2010, Hoboken NJ, USA, September 16-17, 2010. Revised selected papers). Bravetti, M. & Bultan, T. (eds.). Berlin: Springer, p. 131-145 (Lecture Notes in Computer Science; vol. 6551).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

  • What's your current stress level? Detection of stress patterns from GSR sensor data

    Bakker, J., Pechenizkiy, M. & Sidorova, N., 2011, Proceedings 11th IEEE International Conference on Data Mining (ICDM'11, Vancouver BC, Canada, December 11-14, 2011). Institute of Electrical and Electronics Engineers, p. 573-580

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    240 Citations (Scopus)
    2 Downloads (Pure)
  • 2010

    Construction of asynchronous communicating systems: weak termination guaranteed!

    Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2010, Software Composition (9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings). Baudry, B. & Wohlstadter, E. (eds.). Berlin: Springer, p. 106-121 (Lecture Notes in Computer Science; vol. 6144).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    9 Citations (Scopus)
    1 Downloads (Pure)

  • Distributed genetic process mining

    Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2010, Proceedings 2010 IEEE World Congress on Computational Intelligence (IEEE CEC 2010, Barcelona, Spain, July 18-23, 2010). Institute of Electrical and Electronics Engineers, p. 1951-1958

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    22 Citations (Scopus)

  • Workflow soundness revisited : checking correctness in the presence of data while staying conceptual

    Sidorova, N., Stahl, C. & Trcka, N., 2010, Advanced Information Systems Engineering (22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings). Pernici, B. (ed.). Berlin: Springer, p. 530-544 (Lecture Notes in Computer Science; vol. 6051).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    29 Citations (Scopus)
  • 2009

    Petri nets with may/must semantics: Preserving properties through data refinements

    Kouchnarenko, O., Sidorova, N. & Trcka, N., 2009, Proceedings 18th Workshop on Concurrency and Specification (CS&P'09, Kraków-Przegorzaly, Poland, September 28-30, 2009). Czaja, L. (ed.). Warsaw: Institute of Informatics, Warsaw University, p. 291-302

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    98 Downloads (Pure)

  • Predicting service request rates for adaptive resource allocation in SOA

    Serebrenik, A. & Sidorova, N., 2009, Proceedings 5th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2009, Amsterdam, The Netherlands, June 8-9, 2009; in conjunction with CAiSE 2009). Barjis, J., Kinghorn, J., Ramaswamy, S., Dubois, E. & Johannesson, P. (eds.). Association for Computing Machinery, Inc., p. 4-1/14 (CEUR Workshop Proceedings; vol. 458).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Citation (Scopus)
    3 Downloads (Pure)

  • Workflow completion patterns

    Trcka, N., Aalst, van der, W. M. P. & Sidorova, N., 2009, Proceedings 5th Annual IEEE Conference on Automation Science and Engineering (CASE 2009, Bangalore, India, August 22-25, 2009). Institute of Electrical and Electronics Engineers, p. 7-12

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    10 Citations (Scopus)
    226 Downloads (Pure)
  • 2008

    Adaptive workflows for healthcare information systems

    Hee, van, K. M., Schonenberg, H., Serebrenik, A., Sidorova, N. & Werf, van der, J. M. E. M., 2008, Business Process Management Workshops (BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers). Hofstede, ter, A. H. M., Benatallah, B. & Paik, H. Y. (eds.). Berlin: Springer, p. 359-370 (Lecture Notes in Computer Science; vol. 4928).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    12 Citations (Scopus)
    1 Downloads (Pure)

  • A reference model for grid architectures and its analysis

    Bratosin, C. C., Aalst, van der, W. M. P., Sidorova, N. & Trcka, N., 2008, On the Move to Meaningful Internet Systems 2008: OTM 2008 Confederated International Conferences (Monterrey, Mexico, November 9-14, 2008), Part I. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 898-913 (Lecture Notes in Computer Science; vol. 5331).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    8 Citations (Scopus)
    2 Downloads (Pure)

  • Evaluating a data removal strategy for grid environments using colored Petri nets

    Trcka, N., Aalst, van der, W. M. P., Bratosin, C. C. & Sidorova, N., 2008, Principles of Distributed Systems (12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008, Proceedings). Baker, T. P., Bui, A. & Tixeuil, S. (eds.). Berlin: Springer, p. 538-541 (Lecture Notes in Computer Science; vol. 5401).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    1 Citation (Scopus)

  • Generation of database transactions with Petri nets

    Hee, van, K. M., Sidorova, N., Voorhoeve, M. & Werf, van der, J. M. E. M., 2008, Proceedings of Concurrency, Specification and Programming (CS&P 2008, Groß Väter See bei Berlin, Germany, September 29-October 1, 2008). Burkhard, H. D., Lindemann, G. & Schlingloff, H. (eds.). p. 488-499

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    204 Downloads (Pure)

  • Soundness and niceness as correctness criteria for grid workflows

    Trcka, N., Aalst, van der, W. M. P. & Sidorova, N., 2008, Proceedings of the IEEE Fourth International Conference on e-Science (Indianapolis IN, USA, December 7-12, 2008). IEEE Computer Society, p. 55-62

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Soundness of workflow nets with reset arcs is undecidable!

    Aalst, van der, W. M. P., Hee, van, K. M., Hofstede, ter, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M. & Wynn, M. T., 2008, Proceedings of the International Workshop on Concurrency Methods Issues and Applications (CHINA'08). Kleijn, J. & Koutny, M. (eds.). p. 57-72

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    1 Downloads (Pure)
  • 2007

    Adaptive workflow nets for grid computing

    Bratosin, C. C., Hee, van, K. M. & Sidorova, N., 2007, Proceedings of the 9th International Conference on Parallel Computing Technologies (PaCT 2007) 3-7 September 2007, Pereslavl-Zalessky, Russia. Malyshkin, V. E. (ed.). Springer, p. 15-21 (Lecture Notes in Computer Science; vol. 4671).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    161 Downloads (Pure)

  • Bug hunting with false negatives

    Calamé, J. R., Ioustinova, N., Pol, van de, J. C. & Sidorova, N., 2007, Proceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007) 2-5 July 2007, Oxford, United Kingdom. Davies, J. & Gibbons, J. (eds.). Berlin, Germany: Springer, p. 98-117 (Lecture Notes in Computer Science; vol. 4591).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    110 Downloads (Pure)

  • Constraint-based workflow models : change made easy

    Pesic, M., Schonenberg, M. H., Sidorova, N. & Aalst, van der, W. M. P., 2007, Proceedings of the Confederated International Conferences On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, ODBASE, and IS (OTM 2007) 25-30 November 2007, Vilamoura, Portugal. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 77-94 (Lecture Notes in Computer Science; vol. 4803).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    181 Citations (Scopus)
    368 Downloads (Pure)

  • Designing case handling systems

    Hee, van, K. M., Keiren, J., Post, R. D. J., Sidorova, N. & Werf, van der, J. M. E. M., 2007, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007) 25-26 June 2007, Siedlce, Poland. Moldt, D., Kordon, F., Hee, van, K. M., Colom, J. M. & Bastide, R. (eds.). p. 52-66

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • History-dependent Petri nets

    Van Hee, K., Serebrenik, A., Sidorova, N. & Van Aalst, W. D., 1 Dec 2007, Petri Nets and Other Models of Concurrency - ICATPN 2007 - 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Proceedings. Yakovlev, A. (ed.). Berlin: Springer, p. 164-183 20 p. (Lecture Notes in Computer Science; vol. 4546).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

  • Modeling a grid

    Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2007, Proceedings of the Concurrency, Specification and Programming Conference (CS&P 2007), 27-29 September 2007, Łagów, Poland. Czaja, L. (ed.). Vol. 1. p. 63-74

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review