Zum Inhalt springen

  2. Felli, Paolo [HerausgeberIn]; Montali, Marco [HerausgeberIn] ; 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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen, Germany: RWTH Aachen, [2018]

    Erschienen in: CEUR workshop proceedings ; 221400

  3. Batoulis, Kimon [VerfasserIn] ; Weske, Mathias [AkademischeR BetreuerIn]; Vanthienen, Jan [Sonstige Person, Familie und Körperschaft]; Montali, Marco [Sonstige Person, Familie und Körperschaft]

    Sound integration of process and decision models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Potsdam: Universität Potsdam, 2019

  4. Triebel, Marvin [VerfasserIn] ; Reisig, Wolfgang [Sonstige Person, Familie und Körperschaft]; Montali, Marco [Sonstige Person, Familie und Körperschaft]; Weske, Mathias [Sonstige Person, Familie und Körperschaft]

    Preserving Data Integrity in Distributed Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Humboldt-Universität zu Berlin, 2018

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture Notes in Business Information Processing ; 468

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature, 2023

    Erschienen in: Lecture Notes in Business Information Processing

  7. Abdulla, Parosh Aziz [VerfasserIn] ; Aiswarya, C. [Sonstige Person, Familie und Körperschaft]; Faouzi Atig, Mohamed [Sonstige Person, Familie und Körperschaft]; Montali, Marco [Sonstige Person, Familie und Körperschaft]

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

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: ACM SIGMOD, 2019

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

  8. Batoulis, Kimon [VerfasserIn] ; Weske, Mathias [AkademischeR BetreuerIn]; Vanthienen, Jan [AkademischeR BetreuerIn]; Montali, Marco [AkademischeR BetreuerIn] Universität Potsdam

    Sound integration of process and decision models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Potsdam, 2019

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

    Automated Reasoning for Reinforcement Learning Agents in Structured Environments

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen 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 [VerfasserIn]; Burattin, Andrea [VerfasserIn]; Montali, Marco [VerfasserIn]

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

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

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

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2018

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

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2019

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

  14. Calvanese, Diego [VerfasserIn] ; Kharlamov, Evgeny [Sonstige Person, Familie und Körperschaft]; Montali, Marco [Sonstige Person, Familie und Körperschaft]; Santoso, Ario [Sonstige Person, Familie und Körperschaft]; Zheleznyakov, Dmitriy [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

    Convergence Verification of Declarative Distributed Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

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

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

    Exploring the Conformance Space (Extended Abstract)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

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

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

    Process Mining with Common Sense

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen 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 [VerfasserIn]; Gianola, Alessandro [VerfasserIn]; Mazzullo, Andrea [VerfasserIn]; Montali, Marco [VerfasserIn]

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

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

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

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

    Expressing and Verifying Business Contracts with Abductive

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  20. Santoso, Ario [VerfasserIn] ; Calvanese, Diego [AkademischeR BetreuerIn]; Montali, Marco [AkademischeR BetreuerIn]; Baader, Franz [AkademischeR BetreuerIn]; Baader, Franz [Sonstige Person, Familie und Körperschaft]; Lespérance, Yves [Sonstige Person, Familie und Körperschaft]; Sardina, Sebastian [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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