Accepted Papers

We accepted 5 regular research papers and 1 invited paper for presentation and inclusion in the KiBP 2012 proceedings.

  • Nick van Beest, Eirini Kaldeli, Pavel Bulanov, Hans Wortmann and Alexander Lazovik
    Automatic Detection of Business Process Interference (Invited Paper)
    Download the slides

  • Laura Giordano, Alberto Martelli, Matteo Spiotta and Daniele Theseider Duprč
    Business Processes Verification with Temporal Answer Set Programming
    Download the slides

  • Shahab Tasharrofi and Eugenia Ternovska
    Modular Representation of a Business Process Planner
    Download the slides

  • Shamila Mafazi, Wolfgang Mayer, Georg Grossmann and Markus Stumptner
    A knowledge-based approach to the configuration of business process model abstractions
    Download the slides

  • Claudio Di Ciccio, Andrea Marrella and Alessandro Russo
    Knowledge-intensive Processes: An Overview of Contemporary Approaches
    Download the slides

  • Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali and Ario Santoso
    Semantically-Governed Data-Aware Processes
    Download the slides

The KiBP 2012 proceedings are available online at