Sergio Tessaris
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
16
Active years
2000–2024
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CaiSE | Making Sense of Temporal Event Data:A Framework for Comparing Techniques for the Discovery of Discriminative Temporal Patterns. | Chiara Di Francescomarino, Ivan Donadello, Chiara Ghidini, Fabrizio Maria Maggi, Williams Rizzi, Sergio Tessaris |
| 2022 | EDOC | Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris |
| 2022 | LPNMR | Optimising Business Process Discovery Using Answer Set Programming. | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris |
| 2017 | AAAI | Add Data into Business Process Verification: Bridging the Gap between Theory and Practice. | Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris |
| 2017 | BPM | Enhancing Workflow-Nets with Data for Trace Completion. | Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris |
| 2016 | ECAI | Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. | Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris |
| 2015 | CaiSE | Completing Workflow Traces Using Action Languages. | Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vzquez Sandoval |
| 2015 | ICAART | Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies. | Ife Adebara, Vernica Dahl, Sergio Tessaris |
| 2015 | ICAART | Parsing with Partially Known Grammar. | Ife Adebara, Vernica Dahl, Sergio Tessaris |
| 2015 | IJCAI | Imperfect Querying through Womb Grammars plus Ontologies. | Vernica Dahl, Sergio Tessaris, Thom W. Frhwirth |
| 2014 | ICSOC | Reasoning on Incomplete Execution Traces Using Action Languages - A First Report. | Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vzquez Sandoval |
| 2013 | ICSOC | Verification of Artifact-Centric Systems: Decidability and Modeling Issues. | Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis |
| 2011 | RE | Vote verification through open standard: A roadmap. | Ali Fawzi Najm Al-Shammari, Komminist Weldemariam, Adolfo Villafiorita, Sergio Tessaris |
| 2009 | DEXA | Automatic Extraction of Ontologies Wrapping Relational Data Sources. | Lina Lubyte, Sergio Tessaris |
| 2008 | FOIS | Complexity of Reasoning With Expressive Ontology Mappings. | Chiara Ghidini, Luciano Serafini, Sergio Tessaris |
| 2006 | ISDA | Leveraging Systemic-Functional Linguistics to Enhance Intelligent Database Querying. | Paolo Dongilli, Sergio Tessaris, John A. Bateman |
| 2006 | PODS | The logic of RDF and SPARQL: a tutorial. | Enrico Franconi, Sergio Tessaris |
| 2004 | ECAI | An Ontology Based Visual Tool for Query Formulation Support. | Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris |
| 2002 | KR | Evaluating a Modular Abox Algorithm. | Sergio Tessaris, Ian Horrocks, Graham Gough |
| 2002 | LPAR | Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. | Sergio Tessaris, Ian Horrocks |
| 2000 | AAAI | A Conjunctive Query Language for Description Logic Aboxes. | Ian Horrocks, Sergio Tessaris |
| 2000 | LPAR | How to Decide Query Containment Under Constraints Using a Description Logic. | Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies |