13 citations · 42 across the 7 of their papers we have counts for
7 papers
Relational Algebra and Calculus with SQL Null Values
Enrico Franconi, Sergio Tessaris
The logic of nulls in databases has been subject of investigation since their introduction in Codd's Relational Model, which is the foundation of the SQL standard. We show a logica…
Process discovery on deviant traces and other stranger things
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini +5
As the need to understand and formalise business processes into a model has grown over the last years, the process discovery research field has gained more and more importance, dev…
Reporting Revenge Porn: a Preliminary Expert Analysis
A. De Angeli, M. Falduti, M. Menendez Blanco +1
In our research, we focus on the response to the non-consensual distribution of intimate or sexually explicit digital images of adults, also referred as revenge porn, from the poin…
Solving reachability problems on data-aware workflows
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini +1
Recent advances in the field of Business Process Management have brought about several suites able to model complex data objects along with the traditional control flow perspective…
Enhancing workflow-nets with data for trace completion
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini +1
The growing adoption of IT-systems for modeling and executing (business) processes or services has thrust the scientific investigation towards techniques and tools which support mo…
Abducing Compliance of Incomplete Event Logs
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino +4
The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the ass…
Verification of Artifact-Centric Systems: Decidability and Modeling Issues
Dmitry Solomakhin, Marco Montali, Sergio Tessaris +1
Artifact-centric business processes have recently emerged as an approach in which processes are centred around the evolution of business entities, called artifacts, giving equal im…