{"id":"https://openalex.org/W79843527","doi":"https://doi.org/10.1007/978-3-662-45563-0_5","title":"Log-Based Understanding of Business Processes through Temporal Logic Query Checking","display_name":"Log-Based Understanding of Business Processes through Temporal Logic Query Checking","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W79843527","doi":"https://doi.org/10.1007/978-3-662-45563-0_5","mag":"79843527"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-45563-0_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-45563-0_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002287827","display_name":"Margus R\u00e4im","orcid":null},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":true,"raw_author_name":"Margus R\u00e4im","raw_affiliation_strings":["University of Tartu, Estonia"],"affiliations":[{"raw_affiliation_string":"University of Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007015446","display_name":"Claudio Di Ciccio","orcid":"https://orcid.org/0000-0001-5570-0475"},"institutions":[{"id":"https://openalex.org/I102248843","display_name":"Vienna University of Economics and Business","ror":"https://ror.org/03yn8s215","country_code":"AT","type":"education","lineage":["https://openalex.org/I102248843"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Claudio Di Ciccio","raw_affiliation_strings":["Vienna University of Economics and Business, Austria"],"affiliations":[{"raw_affiliation_string":"Vienna University of Economics and Business, Austria","institution_ids":["https://openalex.org/I102248843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078031491","display_name":"Fabrizio Maria Maggi","orcid":"https://orcid.org/0000-0002-9089-6896"},"institutions":[{"id":"https://openalex.org/I56085075","display_name":"University of Tartu","ror":"https://ror.org/03z77qz90","country_code":"EE","type":"education","lineage":["https://openalex.org/I56085075"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Fabrizio Maria Maggi","raw_affiliation_strings":["University of Tartu, Estonia"],"affiliations":[{"raw_affiliation_string":"University of Tartu, Estonia","institution_ids":["https://openalex.org/I56085075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068425882","display_name":"Massimo Mecella","orcid":"https://orcid.org/0000-0002-9730-8882"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Massimo Mecella","raw_affiliation_strings":["Sapienza Universit\u00e0 di Roma, Italy"],"affiliations":[{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062764959","display_name":"Jan Mendling","orcid":"https://orcid.org/0000-0002-7260-524X"},"institutions":[{"id":"https://openalex.org/I102248843","display_name":"Vienna University of Economics and Business","ror":"https://ror.org/03yn8s215","country_code":"AT","type":"education","lineage":["https://openalex.org/I102248843"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Jan Mendling","raw_affiliation_strings":["Vienna University of Economics and Business, Austria"],"affiliations":[{"raw_affiliation_string":"Vienna University of Economics and Business, Austria","institution_ids":["https://openalex.org/I102248843"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5002287827"],"corresponding_institution_ids":["https://openalex.org/I56085075"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":5.2353,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.96161335,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"75","last_page":"92"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8145003318786621},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.7949429750442505},{"id":"https://openalex.org/keywords/business-process-discovery","display_name":"Business process discovery","score":0.7697968482971191},{"id":"https://openalex.org/keywords/process-mining","display_name":"Process mining","score":0.7508866786956787},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6524213552474976},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.5790196657180786},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.576880693435669},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.5593262314796448},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5447171926498413},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5313948392868042},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.5245309472084045},{"id":"https://openalex.org/keywords/knowledge-extraction","display_name":"Knowledge extraction","score":0.4360389709472656},{"id":"https://openalex.org/keywords/business-process-management","display_name":"Business process management","score":0.42490503191947937},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3753701448440552},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3557348847389221},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.3552946448326111},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.29736852645874023},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0932198166847229}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8145003318786621},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.7949429750442505},{"id":"https://openalex.org/C93453677","wikidata":"https://www.wikidata.org/wiki/Q1017580","display_name":"Business process discovery","level":5,"score":0.7697968482971191},{"id":"https://openalex.org/C124670913","wikidata":"https://www.wikidata.org/wiki/Q2608526","display_name":"Process mining","level":5,"score":0.7508866786956787},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6524213552474976},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5790196657180786},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.576880693435669},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5593262314796448},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5447171926498413},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5313948392868042},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.5245309472084045},{"id":"https://openalex.org/C120567893","wikidata":"https://www.wikidata.org/wiki/Q1582085","display_name":"Knowledge extraction","level":2,"score":0.4360389709472656},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.42490503191947937},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3753701448440552},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3557348847389221},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.3552946448326111},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.29736852645874023},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0932198166847229},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-662-45563-0_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-45563-0_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:alma.39UBZ_INST:11293718870001241","is_oa":false,"landing_page_url":"https://link.springer.com/chapter/10.1007/978-3-662-45563-0_5","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:iris.uniroma1.it:11573/650792","is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/650792","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:research.wu.ac.at:openaire_cris_publications/07d5d987-4a7d-433d-822b-e16e1da3b00f","is_oa":false,"landing_page_url":"https://research.wu.ac.at/de/publications/07d5d987-4a7d-433d-822b-e16e1da3b00f","pdf_url":null,"source":{"id":"https://openalex.org/S7407055123","display_name":"WU Research","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"R\u00e4im, M, Di Ciccio, C, Maria Maggi, F, Mecella, M & Mendling, J 2014, Log-Based Understanding of Business Processes through Temporal Logic Query Checking. in Robert Meersman, Herv\u00e9 Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis (ed.), On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014. Springer, Amantea, Italy, pp. 75 - 92. https://doi.org/10.1007/978-3-662-45563-0_5","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:unibz.it:11293718870001241","is_oa":false,"landing_page_url":"https://bia.unibz.it/esploro/outputs/conferenceProceeding/Log-based-understanding-of-business-processes-through/991006503698601241","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W81200208","https://openalex.org/W124909259","https://openalex.org/W166818797","https://openalex.org/W790410956","https://openalex.org/W1480053192","https://openalex.org/W1555544970","https://openalex.org/W1592359484","https://openalex.org/W1700264732","https://openalex.org/W1933906947","https://openalex.org/W1988808695","https://openalex.org/W2009636439","https://openalex.org/W2023808162","https://openalex.org/W2034102118","https://openalex.org/W2096998948","https://openalex.org/W2099873140","https://openalex.org/W2104537183","https://openalex.org/W2110279509","https://openalex.org/W2116117396","https://openalex.org/W2117189826","https://openalex.org/W2142079217","https://openalex.org/W2143962534","https://openalex.org/W2156131568","https://openalex.org/W2160967540","https://openalex.org/W2340735175","https://openalex.org/W2405800102","https://openalex.org/W2497180905","https://openalex.org/W2507030177","https://openalex.org/W2913459036","https://openalex.org/W2946553200"],"related_works":["https://openalex.org/W2808742510","https://openalex.org/W2150478723","https://openalex.org/W4365511202","https://openalex.org/W4300560926","https://openalex.org/W2989593792","https://openalex.org/W2970064447","https://openalex.org/W2929527918","https://openalex.org/W2908424020","https://openalex.org/W2972124102","https://openalex.org/W2136447190"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}