Skip to contents

  2. Felli, Paolo [Editor]; Montali, Marco [Editor] ; Italian Conference on Computational Logic 33. 2018 Bozen

    CILC 2018, Italian Conference on Computational Logic : proceedings of the 33rd Italian Conference on Computational Logic : Bolzano, Italy, September 20-22, 2018

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Aachen, Germany: RWTH Aachen, [2018]

    Published in: CEUR workshop proceedings ; 221400

  5. Montali, Marco [Editor]; Senderovich, Arik [Editor]; Weidlich, Matthias [Editor]

    Process Mining Workshops : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers - [1st ed. 2023.]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

    Published in: Lecture Notes in Business Information Processing ; 468

  6. Montali, Marco [Editor]; Senderovich, Arik [Editor]; Weidlich, Matthias [Editor]

    Process Mining Workshops : ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer Nature, 2023

    Published in: Lecture Notes in Business Information Processing

  7. Abdulla, Parosh Aziz [Author] ; Aiswarya, C. [Other]; Faouzi Atig, Mohamed [Other]; Montali, Marco [Other]

    Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding

    Videos
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: ACM SIGMOD, 2019

    Published in: SIGMOD 2019 ; (Jan. 2019) -

  9. Gianola, Alessandro [Author]; Montali, Marco [Author]; Papini, Matteo [Author]

    Automated Reasoning for Reinforcement Learning Agents in Structured Environments

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (3. : 2021 : Padua; Online): 3rd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, Padua (Italy), September 22, 2021 ; (2021), Seite 43-48

  10. Federico, Gemma Di [Author]; Burattin, Andrea [Author]; Montali, Marco [Author]

    Human Behavior as a Process Model: Which Language to Use?

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: ITBPM (1. : 2021 : Rom; Online): ITBPM 2021: Italian Forum on Business Process Management 2021 ; (2021), Seite 18-25

  11. Solomakhin, Dmitry [Author]; Montali, Marco [Author]; Tessaris, Sergio [Author]

    Formalizing guard-stage-milestone meta-modelsas data-centric dynamic systems

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Bozen-Bolzano BZ, Italy: KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano, December 2012

    Published in: KRDB Research Centre technical report ; KRDB 12-4

  12. Weske, Mathias [Editor]; Montali, Marco [Editor]; Weber, Ingo [Editor]; Vom Brocke, Jan [Editor]

    Business Process Management : 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2018

    Published in: Information Systems and Applications, incl. Internet/Web, and HCI ; 11080- Springer eBook Collection- SpringerLink ; Bücher

  13. Fodor, Paul [Editor]; Montali, Marco [Editor]; Calvanese, Diego [Editor]; Roman, Dumitru [Editor]

    Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings - [1st ed. 2019]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, 2019

    Published in: Programming and Software Engineering ; 11784- Springer eBooks ; Computer Science

  14. Calvanese, Diego [Author] ; Kharlamov, Evgeny [Other]; Montali, Marco [Other]; Santoso, Ario [Other]; Zheleznyakov, Dmitriy [Other]

    Verification of inconsistency-aware knowledge and action bases (extended version)

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Bolzano, Italy: KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano, [2013]

    Published in: KRDB Research Centre technical report ; KRDB 13, 2

  15. Calvanese, Diego [Author]; Cosmo, Francesco Di [Author]; Lobo, Jorge [Author]; Montali, Marco [Author]

    Convergence Verification of Declarative Distributed Systems

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: Italian Conference on Computational Logic (36. : 2021 : Parma; Online): CILC 2021: Italian Conference on Computational Logic ; (2021), Seite 62-76

  16. Burattin, Andrea [Author]; Gianola, Alessandro [Author]; López, Hugo A. [Author]; Montali, Marco [Author]

    Exploring the Conformance Space (Extended Abstract)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: ITBPM (1. : 2021 : Rom; Online): ITBPM 2021: Italian Forum on Business Process Management 2021 ; (2021), Seite 62-67

  17. Calvanese, Diego [Author]; Lukumbuzya, Sanja [Author]; Montali, Marco [Author]; Simkus, Mantas [Author]

    Process Mining with Common Sense

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: International Workshop on BPM Problems to Solve Before We Die (2021 : Rom): PROBLEMS 2021: BPM Problems to Solve Before We Die 2021 ; (2021), Seite 45-50

  18. Calvanese, Diego [Author]; Gianola, Alessandro [Author]; Mazzullo, Andrea [Author]; Montali, Marco [Author]

    SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: International Workshop on Description Logics (34. : 2021 : Bratislava; Online): DL 2021: Description Logics 2021 ; 2021

  19. Alberti, Marco [Author]; Chesani, Federico [Author]; Gavanelli, Marco [Author]; Lamma, Evelina [Author]; Mello, Paola [Author]; Montali, Marco [Author]; Torroni, Paolo [Author] ; Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Marco Montali and Paolo Torroni [Contributor]

    Expressing and Verifying Business Contracts with Abductive

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007

  20. Santoso, Ario [Author] ; Calvanese, Diego [Degree supervisor]; Montali, Marco [Degree supervisor]; Baader, Franz [Degree supervisor]; Baader, Franz [Other]; Lespérance, Yves [Other]; Sardina, Sebastian [Other]

    Verification of Data-aware Business Processes in the Presence of Ontologies

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2016