Filter
Article in proceedings

Search results

  • 2024

    Foundations of Reactive Synthesis for Declarative Process Specifications

    Geatti, L., Montali, M. & Rivkin, A., 2024, Proceedings of the 38th AAAI Conference on Artificial Intelligence. 16 ed. AAAI Press, Vol. 38. p. 17416-17425 (Proceedings of the Aaai Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Generating Event Logs from Hybrid Process Models

    Alman, A., Maggi, F. M., Montali, M. & Rivkin, A., 2024, Business Process Management Workshops - BPM 2023 International Workshops. De Weerdt, J. & Pufahl, L. (eds.). Springer, p. 289-301 (Lecture Notes in Business Information Processing, Vol. 492 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Typed Petri Nets with Variable Arc Weights

    Lomazova, I. A., Mitsyuk, A. A. & Rivkin, A., 2024, Business Process Management Workshops - BPM 2023 International Workshops. De Weerdt, J. & Pufahl, L. (eds.). Springer, p. 483-495 (Lecture Notes in Business Information Processing, Vol. 492 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2023

    Foundations of Collaborative DECLARE

    Geatti, L., Montali, M. & Rivkin, A., 2023, Proceedings of Business Process Management Forum 2023 . Di Francescomarino, C., Burattin, A., Janiesch, C. & Sadiq, S. (eds.). Springer, p. 55-72 (Lecture Notes in Business Information Processing, Vol. 490 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Safety Verification and Universal Invariants for Relational Action Bases

    Ghilardi, S., Gianola, A., Montali, M. & Rivkin, A., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. International Joint Conferences on Artificial Intelligence Organization, p. 3248-3257 (Proceedings of the International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • There and Back Again: On the Reconstructability and Rediscoverability of Typed Jackson Nets

    Barenholz, D., Montali, M., Polyvyanyy, A., Reijers, H. A., Rivkin, A. & van der Werf, J. M. E. M., 2023, Proceedings of the 44th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2023. Springer, Vol. 13929. p. 37-58

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review