


Остановите войну!
for scientists:


default search action
Carlo Combi
Person information

- affiliation: University of Verona, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j57]Carlo Combi
, Barbara Oliboni
, Francesca Zerbato
:
Integrated Exploration of Data-Intensive Business Processes. IEEE Trans. Serv. Comput. 16(1): 383-397 (2023) - 2022
- [j56]Carlo Combi, Beatrice Amico, Riccardo Bellazzi
, Andreas Holzinger, Jason H. Moore, Marinka Zitnik, John H. Holmes:
A manifesto on explainability for artificial intelligence in medicine. Artif. Intell. Medicine 133: 102423 (2022) - [j55]Roberto Posenato
, Carlo Combi:
Adding flexibility to uncertainty: Flexible Simple Temporal Networks with Uncertainty (FTNU). Inf. Sci. 584: 784-807 (2022) - [c117]Beatrice Amico, Carlo Combi
:
A 3-Window Framework for the Discovery and Interpretation of Predictive Temporal Functional Dependencies. AIME 2022: 299-309 - [c116]Stela Golovco, Matteo Mantovani
, Carlo Combi, John H. Holmes:
Acute Kidney Injury Prediction with Gradient Boosting Decision Trees enriched with Temporal Features. ICHI 2022: 669-676 - [c115]Evelina Rakhmetova, Marco Garosi, Carlo Combi:
A comprehensive approach to conceptual modelling and visual representation of log files. SAC 2022: 385-388 - [c114]Carlo Combi, Barbara Oliboni, Francesca Zerbato
:
Integrated Exploration of Data-Intensive Business Processes [Extended Abstract]. SERVICES 2022: 25 - 2021
- [j54]Edward H. Shortliffe, Mor Peleg, Carlo Combi, Anthony C. Chang, Justyna Vinci:
Publishing Artificial Intelligence Research Papers: A Tale of Three Journals. Artif. Intell. Medicine 113: 102037 (2021) - [j53]Carlo Combi, Barbara Oliboni
, Mathias Weske, Francesca Zerbato
:
Seamless conceptual modeling of processes with transactional and analytical data. Data Knowl. Eng. 134: 101895 (2021) - [j52]Carlo Combi, Romeo Rizzi, Pietro Sala
:
Checking Sets of Pure Evolving Association Rules. Fundam. Informaticae 178(4): 283-313 (2021) - [j51]Matteo Zavatteri
, Carlo Combi, Romeo Rizzi, Luca Viganò:
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way. Inf. Comput. 280: 104637 (2021) - [j50]Edward H. Shortliffe, Mor Peleg, Carlo Combi, Anthony C. Chang, Justyna Vinci:
Publishing artificial intelligence research papers: A tale of three journals. J. Biomed. Informatics 115: 103708 (2021) - [j49]Matteo Zavatteri
, Carlo Combi, Luca Viganò:
Resource Controllability of Business Processes Under Conditional Uncertainty. J. Data Semant. 10(1-2): 19-39 (2021) - [c113]Isabela A. Chiorean, Beatrice Amico, Carlo Combi, John H. Holmes:
A Reproducible ETL Approach for Window-based Prediction of Acute Kidney Injury in Critical Care Unit and Some Preliminary Results with Support Vector Machines. BIBM 2021: 3532-3539 - [c112]Evelina Rakhmetova, Carlo Combi, Andrea Fruggi:
Conceptual Modelling of Log Files: From a UML-based Design to JSON Files. ER Demos/Posters 2021: 13-18 - [c111]Carlo Combi, Giuseppe Pozzi:
Health Informatics: Clinical Information Systems and Artificial Intelligence to Support Medicine in the CoViD-19 Pandemic. ICHI 2021: 480-488 - [c110]Matilde Tanaglia, Valentina Ientile, Luca L'Abbate, Carlo Combi, Salvatore Scondotto, Gianluca Trifirò:
Multidimensional Design and Analysis of a Data Mart Related to Healthcare Treatments with Biologic Drugs. ISCC 2021: 1-7 - [c109]Matteo Mantovani
, Beatrice Amico, Carlo Combi:
Discovering predictive trend-event patterns in temporal clinical data. SAC 2021: 570-579 - [c108]Carlo Combi, Francesca Galetto, Hirenkumar Chandrakant Nakawala, Giuseppe Pozzi, Francesca Zerbato:
Enriching surgical process models by BPMN extensions for temporal durations. SAC 2021: 586-593 - [e6]Carlo Combi
, Johann Eder
, Mark Reynolds
:
28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria. LIPIcs 206, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-206-8 [contents] - 2020
- [j48]Carlo Combi
, Barbara Oliboni
, Giuseppe Pozzi, Alberto Sabaini, Esteban Zimányi:
Enabling instant- and interval-based semantics in multidimensional data models: the T+MultiDim Model. Inf. Sci. 518: 413-435 (2020) - [j47]Pietro Sala, Carlo Combi, Matteo Mantovani
, Romeo Rizzi:
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases. SN Comput. Sci. 1(3): 153 (2020) - [c107]John H. Holmes, Riccardo Bellazzi, Carlo Combi, Jason H. Moore, Niels Peek:
Explainable Artificial Intelligence (XAI): Current Approaches and Paths to the Future. AMIA 2020
2010 – 2019
- 2019
- [j46]Carlo Combi, Barbara Oliboni, Francesca Zerbato
:
A modular approach to the specification and management of time duration constraints in BPMN. Inf. Syst. 84: 111-144 (2019) - [j45]Carlo Combi, Roberto Posenato
, Luca Viganò
, Matteo Zavatteri
:
Conditional Simple Temporal Networks with Uncertainty and Resources. J. Artif. Intell. Res. 64: 931-985 (2019) - [j44]Roberto Posenato
, Andreas Lanz, Carlo Combi, Manfred Reichert:
Managing time-awareness in modularized processes. Softw. Syst. Model. 18(2): 1135-1154 (2019) - [j43]Carlo Combi
, Margherita Zorzi, Gabriele Pozzani
, Elena Arzenton, Ugo Moretti:
Normalizing Spontaneous Reports Into MedDRA: Some Experiments With MagiCoder. IEEE J. Biomed. Health Informatics 23(1): 95-102 (2019) - [c106]Matteo Mantovani
, Carlo Combi, Milos Hauskrecht:
Mining Compact Predictive Pattern Sets Using Classification Model. AIME 2019: 386-396 - [c105]Matteo Zavatteri
, Carlo Combi, Luca Viganò:
Resource Controllability of Workflows Under Conditional Uncertainty. Business Process Management Workshops 2019: 68-80 - [c104]Sara Migliorini, Mauro Gambini, Alberto Belussi, Carlo Combi:
The Blockchain Role in Ethical Data Acquisition and Provisioning. PIE@CAiSE 2019 - [c103]Sara Migliorini
, Mauro Gambini
, Carlo Combi
, Marcello La Rosa
:
The Rise of Enforceable Business Processes from the Hashes of Blockchain-Based Smart Contracts. BPMDS/EMMSAD@CAiSE 2019: 130-138 - [c102]Matteo Mantovani
, Carlo Combi, Matteo Zeggiotti:
Discovering and Analyzing Trend-Event Patterns on Clinical Data. ICHI 2019: 1-10 - [c101]Carlo Combi, Barbara Oliboni, Pietro Sala
:
Customizing BPMN Diagrams Using Timelines. TIME 2019: 5:1-5:17 - [c100]Matteo Zavatteri
, Carlo Combi
, Romeo Rizzi
, Luca Viganò:
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. TIME 2019: 16:1-16:17 - 2018
- [j42]Carlo Combi
, Andrea Masini, Barbara Oliboni, Margherita Zorzi:
A hybrid logic for XML reference constraints. Data Knowl. Eng. 115: 94-115 (2018) - [j41]Carlo Combi
, Margherita Zorzi, Gabriele Pozzani
, Ugo Moretti, Elena Arzenton:
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions. J. Biomed. Informatics 84: 184-199 (2018) - [c99]Carlo Combi, Pietro Sala
, Francesca Zerbato
:
A Logical Formalization of Time-Critical Processes with Resources. BPM (Forum) 2018: 20-36 - [c98]Roberto Posenato
, Francesca Zerbato
, Carlo Combi:
Managing Decision Tasks and Events in Time-Aware Business Process Models. BPM 2018: 102-118 - [c97]Carlo Combi, Barbara Oliboni, Mathias Weske, Francesca Zerbato
:
Conceptual Modeling of Processes and Data: Connecting Different Perspectives. ER 2018: 236-250 - [c96]Carlo Combi, Barbara Oliboni, Mathias Weske, Francesca Zerbato
:
Conceptual modeling of inter-dependencies between processes and data. SAC 2018: 110-119 - [c95]Carlo Combi, Roberto Posenato
:
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. TIME 2018: 9:1-9:16 - [r2]Carlo Combi:
Temporal Object-Oriented Databases. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j40]Carlo Combi:
Guest Editorial: Temporal representation and reasoning. Ann. Math. Artif. Intell. 80(3-4): 171-173 (2017) - [j39]Carlo Combi:
Editorial from the new Editor-in-Chief: Artificial Intelligence in Medicine and the forthcoming challenges. Artif. Intell. Medicine 76: 37-39 (2017) - [j38]Carlo Combi, Barbara Oliboni, Alessandro Zardini
, Francesca Zerbato
:
A Methodological Framework for the Integrated Design of Decision-Intensive Care Pathways - an Application to the Management of COPD Patients. J. Heal. Informatics Res. 1(2): 157-217 (2017) - [c94]Margherita Zorzi
, Carlo Combi, Gabriele Pozzani
, Elena Arzenton, Ugo Moretti:
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results. AIME 2017: 215-220 - [c93]Carlo Combi, Barbara Oliboni, Francesca Zerbato
:
Towards Dynamic Duration Constraints for Therapy and Monitoring Tasks. AIME 2017: 223-233 - [c92]Margherita Zorzi
, Carlo Combi, Gabriele Pozzani
, Ugo Moretti:
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions. BCB 2017: 27-35 - [c91]Matteo Zavatteri
, Carlo Combi, Roberto Posenato
, Luca Viganò:
Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty. BPM 2017: 235-251 - [c90]Bernardo Cánovas-Segura
, Francesca Zerbato
, Barbara Oliboni, Carlo Combi, Manuel Campos
, Antonio Morales Nicolás
, Jose M. Juarez, Francisco Palacios, Roque Marín:
A Decision Support Visualization Tool for Infection Management Based on BMPN and DMN. CITI 2017: 158-168 - [c89]Carlo Combi, Roberto Posenato
, Luca Viganò
, Matteo Zavatteri
:
Access Controlled Temporal Networks. ICAART (2) 2017: 118-131 - [c88]Bernardo Cánovas-Segura
, Francesca Zerbato
, Barbara Oliboni, Carlo Combi, Manuel Campos
, Antonio Morales Nicolás
, Jose M. Juarez, Roque Marín, Francisco Palacios:
A Process-Oriented Approach for Supporting Clinical Decisions for Infection Management. ICHI 2017: 91-100 - [c87]Carlo Combi, Matteo Mantovani
, Pietro Sala
:
Discovering Quantitative Temporal Functional Dependencies on Clinical Data. ICHI 2017: 248-257 - [c86]Carlo Combi, Barbara Oliboni, Francesca Zerbato
:
Modeling and handling duration constraints in BPMN 2.0. SAC 2017: 727-734 - [c85]Carlo Combi, Pietro Sala
, Francesca Zerbato
:
Driving time-dependent paths in clinical BPMN processes. SAC 2017: 743-750 - [c84]Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato
, Romeo Rizzi, Matteo Zavatteri
:
Incorporating Decision Nodes into Conditional Simple Temporal Networks. TIME 2017: 9:1-9:18 - 2016
- [j37]Carlo Combi
, Gabriele Pozzani
, Giuseppe Pozzi:
Telemedicine for Developing Countries. Appl. Clin. Inform. 07(04): 1025-1050 (2016) - [j36]Carlo Combi
, Pietro Sala
:
Mining approximate interval-based temporal dependencies. Acta Informatica 53(6-8): 547-585 (2016) - [c83]Andreas Lanz, Roberto Posenato
, Carlo Combi
, Manfred Reichert:
Controlling Time-Awareness in Modularized Processes. BMMDS/EMMSAD 2016: 157-172 - [c82]Carlo Combi
, Luca Viganò
, Matteo Zavatteri
:
Security Constraints in Temporal Role-Based Access-Controlled Workflows. CODASPY 2016: 207-218 - [c81]Carlo Combi, Barbara Oliboni, Alessandro Zardini
, Francesca Zerbato
:
Seamless Design of Decision-Intensive Care Pathways. ICHI 2016: 35-45 - [i4]Carlo Combi, Margherita Zorzi, Gabriele Pozzani, Ugo Moretti:
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions. CoRR abs/1612.03762 (2016) - 2015
- [j35]Niels Peek
, Carlo Combi
, Roque Marín
, Riccardo Bellazzi
:
Thirty years of artificial intelligence in medicine (AIME) conferences: A review of research themes. Artif. Intell. Medicine 65(1): 61-73 (2015) - [j34]Jose M. Juarez, Jose M. Ochotorena, Manuel Campos
, Carlo Combi
:
Spatiotemporal data visualisation for homecare monitoring of elderly people. Artif. Intell. Medicine 65(2): 97-111 (2015) - [j33]Carlo Combi
, Matteo Mantovani
, Alberto Sabaini, Pietro Sala
, Francesco Amaddeo
, Ugo Moretti, Giuseppe Pozzi:
Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases. Comput. Biol. Medicine 62: 306-324 (2015) - [j32]Carlo Combi
, Jiming Liu:
Introduction to the ACM TIST Special Issue on Intelligent Healthcare Informatics. ACM Trans. Intell. Syst. Technol. 6(4): 51:1-51:3 (2015) - [c80]Carlo Combi
, Barbara Oliboni, Alberto Gabrieli:
Conceptual Modeling of Clinical Pathways: Making Data and Processes Connected. AIME 2015: 57-62 - [c79]Carlo Combi
, Andrea Masini, Barbara Oliboni, Margherita Zorzi
:
A Logical Framework for XML Reference Specification. DEXA (2) 2015: 258-267 - [c78]Alberto Sabaini, Esteban Zimányi, Carlo Combi:
Extending the Multidimensional Model for Linking Cubes. EDA 2015: 17-32 - [c77]Andreas Lanz, Roberto Posenato, Carlo Combi, Manfred Reichert:
Simple Temporal Networks with Partially Shrinkable Uncertainty. ICAART (2) 2015: 370-381 - [c76]Margherita Zorzi
, Carlo Combi
, Riccardo Lora, Marco Pagliarini, Ugo Moretti:
Automagically Encoding Adverse Drug Reactions in MedDRA. ICHI 2015: 90-99 - [c75]Pietro Sala
, Carlo Combi
, Matteo Cuccato, Andrea Galvani, Alberto Sabaini:
A Framework for Mining Evolution Rules and Its Application to the Clinical Domain. ICHI 2015: 293-302 - [c74]Francesca Zerbato
, Barbara Oliboni, Carlo Combi
, Manuel Campos
, Jose M. Juarez:
BPMN-Based Representation and Comparison of Clinical Pathways for Catheter-Related Bloodstream Infections. ICHI 2015: 346-355 - [c73]Carlo Combi
, Gabriele Pozzani
, Giuseppe Pozzi:
Design, Development, Deployment of a Telemedicine System in a Developing Country: Dealing with Organizational and Social Issues. ICHI 2015: 545-554 - [c72]Luke Hunsberger, Roberto Posenato
, Carlo Combi
:
A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. TIME 2015: 4-18 - [c71]Carlo Combi
, Romeo Rizzi, Pietro Sala
:
The Price of Evolution in Temporal Databases. TIME 2015: 47-58 - [i3]Carlo Combi, Riccardo Lora, Ugo Moretti, Marco Pagliarini, Margherita Zorzi:
Automagically encoding Adverse Drug Reactions in MedDRA. CoRR abs/1506.08052 (2015) - [i2]Carlo Combi, Luca Viganò, Matteo Zavatteri:
Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version). CoRR abs/1512.06404 (2015) - 2014
- [j31]Carlo Combi
, Pietro Sala
:
Interval-based temporal functional dependencies: specification and verification. Ann. Math. Artif. Intell. 71(1-3): 85-130 (2014) - [j30]Carlo Combi
, Mauro Gambini
, Sara Migliorini
, Roberto Posenato
:
Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways. IEEE Trans. Syst. Man Cybern. Syst. 44(9): 1182-1203 (2014) - [c70]Carlo Combi, Pietro Sala:
Keeping Interval-Based Functional Dependencies Up-to-Date. CILC 2014: 330-334 - [c69]Alberto Sabaini, Esteban Zimányi, Carlo Combi
:
An OLAP-Based Approach to Modeling and Querying Granular Temporal Trends. DaWaK 2014: 69-77 - [e5]Amedeo Cesta, Carlo Combi, François Laroussinie:
21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-4228-2 [contents] - 2013
- [j29]Mor Peleg
, Carlo Combi
:
Artificial intelligence in medicine AIME 2011. Artif. Intell. Medicine 57(2): 87-89 (2013) - [c68]Carlo Combi
, Alberto Sabaini:
Extraction, Analysis, and Visualization of Temporal Association Rules from Interval-Based Clinical Data. AIME 2013: 238-247 - [c67]Carlo Combi, Luke Hunsberger, Roberto Posenato:
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty. ICAART (2) 2013: 144-156 - [c66]Carlo Combi
, Luke Hunsberger, Roberto Posenato
:
An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited. ICAART (Revised Selected Papers) 2013: 314-331 - [c65]Carlo Combi
, Paolo Parise, Pietro Sala
, Giuseppe Pozzi:
Mining Approximate Temporal Functional Dependencies Based on Pure Temporal Grouping. ICDM Workshops 2013: 258-265 - [c64]Jose M. Juarez, Jose M. Ochotorena, Manuel Campos
, Carlo Combi
:
Multiple Temporal Axes for Visualising the Behaviour of Elders Living Alone. ICHI 2013: 387-395 - [c63]Andreas Lanz, Roberto Posenato
, Carlo Combi
, Manfred Reichert:
Controllability of Time-Aware Processes at Run Time. OTM Conferences 2013: 39-56 - 2012
- [j28]Carlo Combi
, Barbara Oliboni
:
Visually defining and querying consistent multi-granular clinical temporal abstractions. Artif. Intell. Medicine 54(2): 75-101 (2012) - [j27]Carlo Combi
, Giuseppe Pozzi, Rosalba Rossato:
Querying temporal clinical databases on granular trends. J. Biomed. Informatics 45(2): 273-291 (2012) - [j26]Carlo Combi
, Barbara Oliboni
, Elisa Quintarelli
:
Modeling temporal dimensions of semistructured data. J. Intell. Inf. Syst. 38(3): 601-644 (2012) - [j25]Carlo Combi
, Matteo Gozzi, Roberto Posenato
, Giuseppe Pozzi:
Conceptual modeling of flexible temporal workflows. ACM Trans. Auton. Adapt. Syst. 7(2): 19:1-19:29 (2012) - [c62]Alberto Belussi
, Carlo Combi
, Gabriele Pozzani
, Francesco Amaddeo
, Gianluca Rambaldelli
, Damiano Salazzari:
Dealing with multigranular spatio-temporal databases to manage psychiatric epidemiology data. CBMS 2012: 1-4 - [c61]Riccardo Lora, Alberto Sabaini, Carlo Combi
, Ugo Moretti:
Designing the reconciled schema for a pharmacovigilance data warehouse through a temporally-enhanced ER model. SHB 2012: 17-24 - [c60]Christopher C. Yang, Hsinchun Chen, Howard D. Wactlar, Carlo Combi
, Xuning Tang:
SHB 2012: international workshop on smart health and wellbeing. CIKM 2012: 2762-2763 - [c59]Gabriele Pozzani
, Carlo Combi
:
On the semantics of ST4SQL, a multidimensional spatio-temporal query language. IDEAS 2012: 222-229 - [c58]Carlo Combi
, Mauro Gambini
, Sara Migliorini
, Roberto Posenato
:
Modelling temporal, data-centric medical processes. IHI 2012: 141-150 - [c57]Gabriele Pozzani
, Carlo Combi
:
ST4SQL: a spatio-temporal query language dealing with granularities. SAC 2012: 23-25 - [c56]Carlo Combi
, Roberto Posenato
:
On the complexity of temporal controllabilities for workflow schemata. SAC 2012: 60-66 - [e4]Christopher C. Yang, Hsinchun Chen, Howard D. Wactlar, Carlo Combi, Xuning Tang:
Proceedings of the 2012 International Workshop on Smart Health and Wellbeing, SHB 2012, October 29, 2012, Maui, HI, USA. ACM 2012, ISBN 978-1-4503-1712-2 [contents] - [i1]Luke Hunsberger, Roberto Posenato, Carlo Combi:
The Dynamic Controllability of Conditional STNs with Uncertainty. CoRR abs/1212.2005 (2012) - 2011
- [j24]Riccardo Bellazzi
, Carlo Combi, Silvana Quaglini:
Mario Stefanelli, 1945-2010. Artif. Intell. Medicine 52(2): 53-55 (2011) - [j23]Yuval Shahar
, Carlo Combi
:
Artificial Intelligence in Medicine AIME 2009. Artif. Intell. Medicine 52(2): 57-58 (2011) - [j22]Gabriele Pozzani, Carlo Combi:
ST4SQL: A Spatio-Temporal Query Language Dealing with Granularities. J. Multim. Process. Technol. 2(3): 140-157 (2011) - [c55]Carlo Combi, Mauro Gambini, Sara Migliorini:
Towards Structured Business Process Modeling Languages. ADBIS (2) 2011: 1-10 - [c54]Carlo Combi, Sara Degani:
Seamless (and Temporal) Conceptual Modeling of Business Process Information. ADBIS (2) 2011: 23-32 - [c53]Carlo Combi
, Mauro Gambini
, Sara Migliorini
:
The NestFlow Interpretation of Workflow Control-Flow Patterns. ADBIS 2011: 316-332 - [c52]Gabriele Pozzani
, Carlo Combi
:
An inference system for relationships between spatial granularities. GIS 2011: 429-432 - [c51]Carlo Combi
, Angelo Montanari, Pietro Sala
:
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. SSTD 2011: 404-421 - [c50]Carlo Combi, Pietro Sala
:
Temporal Functional Dependencies Based on Interval Relations. TIME 2011: 23-30 - [e3]Mor Peleg
, Nada Lavrac, Carlo Combi
:
Artificial Intelligence in Medicine - 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011. Proceedings. Lecture Notes in Computer Science 6747, Springer 2011, ISBN 978-3-642-22217-7 [contents] - [e2]Carlo Combi, Martin Leucker, Frank Wolter:
Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. IEEE 2011, ISBN 978-1-4577-1242-5 [contents] - 2010
- [c49]