Räim, Margus, Di Ciccio, Claudio, Maria Maggi, Fabrizio, Mecella, Massimo, Mendling, Jan. 2014. Log-Based Understanding of Business Processes through Temporal Logic
Query Checking. In On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014, Hrsg. Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis, 75-92. Amantea, Italy: Springer.
BibTeX
Tags
Press 'enter' for creating the tagPublication's profile
Status of publication | Published |
---|---|
Affiliation | WU |
Type of publication | Contribution to conference proceedings |
Language | English |
Title | Log-Based Understanding of Business Processes through Temporal Logic Query Checking |
Title of whole publication | On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014 |
Editor | Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis |
Page from | 75 |
Page to | 92 |
Location | Amantea, Italy |
Publisher | Springer |
Year | 2014 |
URL | http://dx.doi.org/10.1007/978-3-662-45563-0_5 |
Associations
- Projects
- European Wide Service Platform for Green European Transportation
- People
- Di Ciccio, Claudio (Former researcher)
- Mendling, Jan (Former researcher)
- External
- Maria Maggi, Fabrizio
- Mecella, Massimo
- Räim, Margus
- Organization
- Institute for Data, Process and Knowledge Management (AE Mendling) (Details)
- Research areas (ÖSTAT Classification 'Statistik Austria')
- 1105 Computer software (Details)
- 1108 Informatics (Details)
- 1109 Information and data processing (Details)
- 1122 Artificial intelligence (Details)
- 1127 Information science (Details)
- 1161 Human-computer interaction (Details)
- 5367 Management information systems (Details)