Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDJohann Gamper
Person information
- affiliation: Free University of Bozen-Bolzano, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j31]David B. Blumenthal
, Sébastien Bougleux, Anton Dignös, Johann Gamper:
Enumerating dissimilar minimum cost perfect and error-correcting bipartite matchings for robust data matching. Inf. Sci. 596: 202-221 (2022)- [j30]Anton Dignös, Michael H. Böhlen, Johann Gamper, Christian S. Jensen, Peter Moser:
Leveraging range joins for the computation of overlap joins. VLDB J. 31(1): 75-99 (2022) - [c74]Adam Charane, Matteo Ceccarello, Anton Dignös, Johann Gamper:
Efficient Computation of All-Window Length Correlations. DB&IS 2022: 251-266 - [i5]Matteo Ceccarello, Anton Dignös, Johann Gamper, Christina Khnaisser:
Indexing Temporal Relations for Range-Duration Queries. CoRR abs/2206.07428 (2022) - 2021
- [j29]Johann Gamper, Sophie Pinchinat, Guido Sciavicco:
Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning. Inf. Comput. 280: 104635 (2021) - [j28]David B. Blumenthal, Johann Gamper, Sébastien Bougleux, Luc Brun:
Upper Bounding Graph Edit Distance Based on Rings and Machine Learning. Int. J. Pattern Recognit. Artif. Intell. 35(8): 2151008:1-2151008:32 (2021) - [j27]David B. Blumenthal, Nicolas Boria, Sébastien Bougleux, Luc Brun, Johann Gamper, Benoit Gaüzère:
Scalable generalized median graph estimation and its manifold use in bioinformatics, clustering, classification, and indexing. Inf. Syst. 100: 101766 (2021) - [c73]Tong Liu, Paolo Coletti, Anton Dignös, Johann Gamper, Maurizio Murgia:
Correlation graph analytics for stock time series data. EDBT 2021: 666-669 - [c72]Michael Shekelyan, Anton Dignös, Johann Gamper, Minos N. Garofalakis:
Approximating Multidimensional Range Counts with Maximum Error Guarantees. ICDE 2021: 1595-1606 - [e6]Tomás Bures, Riccardo Dondi, Johann Gamper, Giovanna Guerrini, Tomasz Jurdzinski, Claus Pahl, Florian Sikora, Prudence W. H. Wong:
SOFSEM 2021: Theory and Practice of Computer Science - 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings. Lecture Notes in Computer Science 12607, Springer 2021, ISBN 978-3-030-67730-5 [contents] - 2020
- [j26]Johann Gamper, Mirjana Ivanovic, Robert Wrembel:
Guest editorial: Advances in databases and information systems. Comput. Sci. Inf. Syst. 17(3) (2020) - [j25]David B. Blumenthal, Johann Gamper:
On the exact computation of the graph edit distance. Pattern Recognit. Lett. 134: 46-57 (2020) - [j24]David B. Blumenthal, Nicolas Boria, Johann Gamper, Sébastien Bougleux, Luc Brun:
Comparing heuristics for graph edit distance computation. VLDB J. 29(1): 419-458 (2020) - [j23]Theodoros Chondrogiannis, Panagiotis Bouros, Johann Gamper, Ulf Leser, David B. Blumenthal:
Finding k-shortest paths with limited overlap. VLDB J. 29(5): 1023-1047 (2020) - [c71]Johann Gamper, Anton Dignös:
Processing Temporal and Time Series Data: Present State and Future Challenges. ADBIS 2020: 8-14
2010 – 2019
- 2019
- [j22]Danila Piatov, Sven Helmer, Anton Dignös, Johann Gamper:
Interactive and space-efficient multi-dimensional time series subsequence matching. Inf. Syst. 82: 121-135 (2019) - [j21]Michael Shekelyan, Anton Dignös, Johann Gamper:
Sparse prefix sums: Constant-time range sum queries over sparse multidimensional data cubes. Inf. Syst. 82: 136-147 (2019) - [j20]Vincenzo Del Fatto, Anton Dignös, Guerriero Raimato, Lorenzo Maccioni, Yuri Borgianni, Johann Gamper:
Visual time period analysis: a multimedia analytics application for summarizing and analyzing eye-tracking experiments. Multim. Tools Appl. 78(23): 32779-32804 (2019) - [j19]Anton Dignös, Boris Glavic, Xing Niu, Johann Gamper, Michael H. Böhlen:
Snapshot Semantics for Temporal Multiset Relations. Proc. VLDB Endow. 12(6): 639-652 (2019) - [c70]David B. Blumenthal, Sébastien Bougleux, Johann Gamper, Luc Brun:
GEDLIB: A C++ Library for Graph Edit Distance Computation. GbRPR 2019: 14-24 - [c69]Andreas Behrend, Anton Dignös, Johann Gamper, Philip Schmiegelt, Hannes Voigt, Matthias Rottmann, Karsten Kahl:
Period Index: A Learned 2D Hash Index for Range and Duration Queries. SSTD 2019: 100-109 - [c68]Necati Duran, Giovanni Mahlknecht, Anton Dignös, Johann Gamper:
HotPeriods: Visual Correlation Analysis of Interval Data. SSTD 2019: 178-181 - [e5]Tatjana Welzer, Johann Eder, Vili Podgorelec, Robert Wrembel, Mirjana Ivanovic, Johann Gamper, Mikolaj Morzy, Theodoros Tzouramanis, Jérôme Darmont, Aida Kamisalic Latific:
New Trends in Databases and Information Systems, ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings. Communications in Computer and Information Science 1064, Springer 2019, ISBN 978-3-030-30277-1 [contents] - [e4]Johann Gamper, Sophie Pinchinat, Guido Sciavicco:
26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. LIPIcs 147, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-127-6 [contents] - [i4]Anton Dignös, Boris Glavic, Xing Niu, Michael H. Böhlen, Johann Gamper:
Snapshot Semantics for Temporal Multiset Relations (Extended Version). CoRR abs/1902.04938 (2019) - [i3]David B. Blumenthal, Sébastien Bougleux, Johann Gamper, Luc Brun:
Upper Bounding GED via Transformations to LSAPE Based on Rings and Machine Learning. CoRR abs/1907.00203 (2019) - 2018
- [j18]David B. Blumenthal, Johann Gamper:
Improved Lower Bounds for Graph Edit Distance. IEEE Trans. Knowl. Data Eng. 30(3): 503-516 (2018) - [c67]Theodoros Chondrogiannis, Panagiotis Bouros, Johann Gamper, Ulf Leser, David B. Blumenthal:
Finding k-dissimilar paths with minimum collective length. SIGSPATIAL/GIS 2018: 404-407 - [c66]David B. Blumenthal, Évariste Daller, Sébastien Bougleux, Luc Brun, Johann Gamper:
Quasimetric Graph Edit Distance as a Compact Quadratic Assignment Problem. ICPR 2018: 934-939 - [c65]Vincenzo Del Fatto, Anton Dignös, Johann Gamper:
TIME°DIFF: A Visual Approach to Compare Period Data. IV 2018: 38-43 - [c64]David B. Blumenthal, Sébastien Bougleux, Johann Gamper, Luc Brun:
Ring Based Approximation of Graph Edit Distance. S+SSPR 2018: 293-303 - [c63]Michael H. Böhlen, Anton Dignös, Johann Gamper, Christian S. Jensen:
Database Technology for Processing Temporal Data (Invited Paper). TIME 2018: 2:1-2:7 - [e3]Dimitris Sacharidis, Johann Gamper, Michael H. Böhlen:
Proceedings of the 30th International Conference on Scientific and Statistical Database Management, SSDBM 2018, Bozen-Bolzano, Italy, July 09-11, 2018. ACM 2018 [contents] - [r4]Michael H. Böhlen, Johann Gamper, Christian S. Jensen, Richard T. Snodgrass:
SQL-Based Temporal Query Languages. Encyclopedia of Database Systems (2nd ed.) 2018 - [r3]Johann Gamper, Michael H. Böhlen, Christian S. Jensen:
Temporal Aggregation. Encyclopedia of Database Systems (2nd ed.) 2018 - [i2]Theodoros Chondrogiannis, Panagiotis Bouros, Johann Gamper, Ulf Leser, David B. Blumenthal:
Finding k-Dissimilar Paths with Minimum Collective Length. CoRR abs/1809.06831 (2018) - 2017
- [j17]Giovanni Mahlknecht, Anton Dignös, Johann Gamper:
A scalable dynamic programming scheme for the computation of optimal k-segments for ordered data. Inf. Syst. 70: 2-17 (2017) - [j16]Michael Shekelyan, Anton Dignös, Johann Gamper:
DigitHist: a Histogram-Based Data Summary with Tight Error Bounds. Proc. VLDB Endow. 10(11): 1514-1525 (2017) - [c62]Danila Piatov, Sven Helmer, Johann Gamper:
Interactive Time Series Subsequence Matching. ADBIS 2017: 73-87 - [c61]Michael Shekelyan, Anton Dignös, Johann Gamper:
Sparse Prefix Sums. ADBIS 2017: 120-135 - [c60]Michael H. Böhlen, Anton Dignös, Johann Gamper, Christian S. Jensen:
Temporal Data Management - An Overview. eBISS 2017: 51-83 - [c59]Kevin Wellenzohn, Michael H. Böhlen, Anton Dignös, Johann Gamper, Hannes Mitterer:
Continuous Imputation of Missing Values in Streams of Pattern-Determining Time Series. EDBT 2017: 330-341 - [c58]Theodoros Chondrogiannis, Panagiotis Bouros, Johann Gamper, Ulf Leser:
Exact and Approximate Algorithms for Finding k-Shortest Paths with Limited Overlap. EDBT 2017: 414-425 - [c57]David B. Blumenthal, Johann Gamper:
Exact Computation of Graph Edit Distance for Uniform and Non-uniform Metric Edit Costs. GbRPR 2017: 211-221 - [c56]David B. Blumenthal, Johann Gamper:
Correcting and Speeding-Up Bounds for Non-Uniform Graph Edit Distance. ICDE 2017: 131-134 - [c55]Nikolaus Krismer, Doris Silbernagl, Günther Specht, Johann Gamper:
Computing Isochrones in Multimodal Spatial Networks using Tile Regions. SSDBM 2017: 33:1-33:6 - [c54]Giovanni Mahlknecht, Michael H. Böhlen, Anton Dignös, Johann Gamper:
VISOR: Visualizing Summaries of Ordered Data. SSDBM 2017: 40:1-40:5 - [e2]Marite Kirikova, Kjetil Nørvåg, George A. Papadopoulos, Johann Gamper, Robert Wrembel, Jérôme Darmont, Stefano Rizzi:
New Trends in Databases and Information Systems - ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings. Communications in Computer and Information Science 767, Springer 2017, ISBN 978-3-319-67161-1 [contents] - 2016
- [j15]Nikolaus Krismer, Doris Silbernagl, Johann Gamper, Günther Specht:
osmPti2mmds - Erstellung von multimodalen Datensets aus OpenStreetMap und ÖPNV-Informationen. AGIT Journal Angew. Geoinformatik 2: 185-190 (2016) - [j14]Daniel Taliun, Johann Gamper, Ulf Leser, Cristian Pattaro:
Fast Sampling-Based Whole-Genome Haplotype Block Recognition. IEEE ACM Trans. Comput. Biol. Bioinform. 13(2): 315-325 (2016) - [j13]Anton Dignös, Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
Extending the Kernel of a Relational DBMS with Comprehensive Support for Sequenced Temporal Queries. ACM Trans. Database Syst. 41(4): 26:1-26:46 (2016) - [c53]Theodoros Chondrogiannis, Johann Gamper, Roberto Cavaliere, Patrick Ohnewein:
MoTrIS: a framework for route planning on multimodal transportation networks. SIGSPATIAL/GIS 2016: 82:1-82:4 - [c52]Theodoros Chondrogiannis, Johann Gamper:
ParDiSP: A Partition-Based Framework for Distance and Shortest Path Queries on Road Networks. MDM 2016: 242-251 - 2015
- [c51]Giovanni Mahlknecht, Anton Dignös, Johann Gamper:
Efficient Computation of Parsimonious Temporal Aggregation. ADBIS 2015: 320-333 - [c50]Theodoros Chondrogiannis, Panagiotis Bouros, Johann Gamper, Ulf Leser:
Alternative routing: k-shortest paths with limited overlap. SIGSPATIAL/GIS 2015: 68:1-68:4 - 2014
- [j12]Daniel Taliun, Johann Gamper, Cristian Pattaro:
Efficient haplotype block recognition of very long and dense genetic sequences. BMC Bioinform. 15: 10 (2014) - [c49]Bruno Cadonna, Johann Gamper, Michael H. Böhlen:
A Robust Skip-Till-Next-Match Selection Strategy for Event Pattern Matching. ADBIS 2014: 177-191 - [c48]Paolo Bolzoni, Sven Helmer, Kevin Wellenzohn, Johann Gamper, Periklis Andritsos:
Efficient itinerary planning with category constraints. SIGSPATIAL/GIS 2014: 203-212 - [c47]Nikolaus Krismer, Günther Specht, Johann Gamper:
Incremental Calculation of Isochrones Regarding Duration. Grundlagen von Datenbanken 2014: 41-46 - [c46]Theodoros Chondrogiannis, Johann Gamper:
Exploring Graph Partitioning for Shortest Path Queries on Road Networks. Grundlagen von Datenbanken 2014: 71-76 - [c45]Kevin Wellenzohn, Hannes Mitterer, Johann Gamper, Michael H. Böhlen, Mourad Khayati:
Missing Value Imputation in Time Series Using Top-k Case Matching. Grundlagen von Datenbanken 2014: 77-82 - [c44]Mourad Khayati, Michael H. Böhlen, Johann Gamper:
Memory-efficient centroid decomposition for long time series. ICDE 2014: 100-111 - [c43]Anton Dignös, Michael H. Böhlen, Johann Gamper:
Overlap interval partition join. SIGMOD Conference 2014: 1459-1470 - 2013
- [j11]Nikolaus Augsten, Michael H. Böhlen, Johann Gamper:
The address connector: noninvasive synchronization of hierarchical data sources. Knowl. Inf. Syst. 37(3): 639-663 (2013) - [c42]Christian Ammendola, Michael H. Böhlen, Johann Gamper:
Efficient Evaluation of Ad-Hoc Range Aggregates. DaWaK 2013: 46-59 - [c41]Anton Dignös, Michael H. Böhlen, Johann Gamper:
Query time scaling of attribute values in interval timestamped databases. ICDE 2013: 1304-1307 - [c40]Markus Innerebner, Michael H. Böhlen, Johann Gamper:
ISOGA: A System for Geographical Reachability Analysis. W2GIS 2013: 180-189 - [i1]Wolfgang Nejdl, Johann Gamper:
Model-Based Diagnosis with Qualitative Temporal Uncertainty. CoRR abs/1302.6832 (2013) - 2012
- [j10]Mourad Khayati, Jay Martin Anderson, Michael H. Böhlen, Johann Gamper, Manfred Mitterer:
Similarity of chemotherapy histories based on imputed values. Int. J. Medical Eng. Informatics 4(3): 282-298 (2012) - [j9]Juozas Gordevicius, Johann Gamper, Michael H. Böhlen:
Parsimonious temporal aggregation. VLDB J. 21(3): 309-332 (2012) - [j8]Nikolaus Augsten, Michael H. Böhlen, Curtis E. Dyreson, Johann Gamper:
Windowed pq-grams for approximate joins of data-centric XML. VLDB J. 21(4): 463-488 (2012) - [c39]Mouna Kacimi, Johann Gamper:
MOUNA: mining opinions to unveil neglected arguments. CIKM 2012: 2722-2724 - [c38]Arthur Pitman, Markus Zanker, Johann Gamper, Periklis Andritsos:
Individualized Hiking Time Estimation. DEXA Workshops 2012: 101-105 - [c37]Bruno Cadonna, Johann Gamper, Michael H. Böhlen:
Efficient event pattern matching with match windows. KDD 2012: 471-479 - [c36]Anton Dignös, Michael H. Böhlen, Johann Gamper:
Temporal alignment. SIGMOD Conference 2012: 433-444 - [c35]Johann Gamper, Michael H. Böhlen, Markus Innerebner:
Scalable Computation of Isochrones with Network Expiration. SSDBM 2012: 526-543 - 2011
- [j7]Michael O. Akinde, Michael H. Böhlen, Damianos Chatziantoniou, Johann Gamper:
theta-Constrained multi-dimensional aggregation. Inf. Syst. 36(2): 341-358 (2011) - [j6]Igor Timko, Michael H. Böhlen, Johann Gamper:
Sequenced spatiotemporal aggregation for coarse query granularities. VLDB J. 20(5): 721-741 (2011) - [c34]Mouna Kacimi, Johann Gamper:
Diversifying search results of controversial queries. CIKM 2011: 93-98 - [c33]Johann Gamper, Michael H. Böhlen, Willi Cometti, Markus Innerebner:
Defining isochrones in multimodal spatial networks. CIKM 2011: 2381-2384 - [c32]Bruno Cadonna, Johann Gamper, Michael H. Böhlen:
Sequenced event set pattern matching. EDBT 2011: 33-44 - 2010
- [j5]Nikolaus Augsten, Michael H. Böhlen, Johann Gamper:
The pq-gram distance between ordered labeled trees. ACM Trans. Database Syst. 35(1): 4:1-4:36 (2010) - [c31]Sarunas Marciuska, Johann Gamper:
Determining Objects within Isochrones in Spatial Network Databases. ADBIS 2010: 392-405 - [c30]Juozas Gordevicius, Francisco J. Estrada, Hyun Chul Lee, Periklis Andritsos, Johann Gamper:
Ranking of evolving stories through meta-aggregation. CIKM 2010: 1909-1912 - [c29]Romans Kasperovics, Michael H. Böhlen, Johann Gamper:
On the Efficient Construction of Multislices from Recurrences. SSDBM 2010: 42-59
2000 – 2009
- 2009
- [c28]Igor Timko, Michael H. Böhlen, Johann Gamper:
Sequenced spatio-temporal aggregation in road networks. EDBT 2009: 48-59 - [c27]Juozas Gordevicius, Johann Gamper, Michael H. Böhlen:
Parsimonious temporal aggregation. EDBT 2009: 1006-1017 - [c26]Romans Kasperovics, Michael H. Böhlen, Johann Gamper:
Evaluating Exceptions on Time Slices. ER 2009: 251-264 - [r2]Michael H. Böhlen, Johann Gamper, Christian S. Jensen, Richard T. Snodgrass:
SQL-Based Temporal Query Languages. Encyclopedia of Database Systems 2009: 2762-2768 - [r1]Johann Gamper, Michael H. Böhlen, Christian S. Jensen:
Temporal Aggregation. Encyclopedia of Database Systems 2009: 2924-2929 - 2008
- [c25]Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
Towards General Temporal Aggregation. BNCOD 2008: 257-269 - [c24]Veronika Bauer, Johann Gamper, Roberto Loperfido, Sylvia Profanter, Stefan Putzer, Igor Timko:
Computing isochrones in multi-modal, schedule-based transport networks. GIS 2008: 78 - [c23]Nikolaus Augsten, Michael H. Böhlen, Curtis E. Dyreson, Johann Gamper:
Approximate Joins for Data-Centric XML. ICDE 2008: 814-823 - [c22]Romans Kasperovics, Michael H. Böhlen, Johann Gamper:
Representing Public Transport Schedules as Repeating Trips. TIME 2008: 54-58 - [c21]Juozas Gordevicius, Johann Gamper, Michael H. Böhlen:
A Greedy Approach Towards Parsimonious Temporal Aggregation. TIME 2008: 88-92 - 2006
- [j4]Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
An algebraic framework for temporal attribute characteristics. Ann. Math. Artif. Intell. 46(3): 349-374 (2006) - [j3]Peter Brusilovsky, Judith Knapp, Johann Gamper:
Supporting teachers as content authors in intelligent educational systems. Int. J. Knowl. Learn. 2(3/4): 191-215 (2006) - [c20]Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
Multi-dimensional Aggregation for Temporal Data. EDBT 2006: 257-275 - [c19]Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
How Would You Like to Aggregate Your Temporal Data? TIME 2006: 121-136 - [c18]Nikolaus Augsten, Michael H. Böhlen, Johann Gamper:
An Incrementally Maintainable Index for Approximate Lookups in Hierarchical Data. VLDB 2006: 247-258 - 2005
- [c17]Nikolaus Augsten, Michael H. Böhlen, Johann Gamper:
Approximate Matching of Hierarchical Data Using pq-Grams. VLDB 2005: 301-312 - [e1]Michael H. Böhlen, Johann Gamper, Wolfgang Polasek, Maria A. Wimmer:
E-Government: Towards Electronic Democracy, International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005, Proceedings. Lecture Notes in Computer Science 3416, Springer 2005, ISBN 3-540-25016-6 [contents] - 2004
- [c16]Nikolaus Augsten, Michael H. Böhlen, Johann Gamper:
Reducing the Integration of Public Administration Databases to Approximate Tree Matching. EGOV 2004: 102-107 - [c15]Judith Knapp, Johann Gamper, Peter Brusilovsky:
Multiple Use of Content in a Web-Based Language Learning System. ICALT 2004 - 2003
- [c14]Johann Gamper, Nikolaus Augsten:
The Role of Web Services in Digital Government. EGOV 2003: 161-166 - [c13]Johann Gamper, Judith Knapp:
A Data Model and its Implementation for a Language Learning System. WWW (Alternate Paper Tracks) 2003 - 2002
- [j2]Johann Gamper, Judith Knapp:
Adaptation in a Vocabulary Acquisition System. Künstliche Intell. 16(3): 27-30 (2002) - [c12]Johann Gamper, Judith Knapp:
XML for an Electronic Learners' Dictionary. ICWI 2002: 427-435 - [c11]Johann Gamper, Judith Knapp:
A Web-Based Language Learning System. ICWL 2002: 106-118 - 2001
- [c10]Changtao Qu, Johann Gamper, Wolfgang Nejdl:
A Collaborative Courseware Generating System Based on WebDAV, XML, and JSP. ICALT 2001: 197-198 - 2000
- [c9]Johann Gamper, Judith Knapp:
Towards an Adaptive Learners' Dictionary. AH 2000: 311-314 - [c8]Johann Gamper:
A Parallel Corpus of Italian/German Legal Texts. LREC 2000
1990 – 1999
- 1999
- [c7]Johann Gamper:
Encoding a Parallel Corpus for Automatic Terminology Extraction. EACL 1999: 275-276 - 1997
- [j1]Johann Gamper, Wolfgang Nejdl:
Abstract temporal diagnosis in medical domains. Artif. Intell. Medicine 10(3): 209-234 (1997) - 1996
- [b1]Johann Gamper:
A temporal reasoning and abstraction framework for model-based diagnosis systems. RWTH Aachen University, Germany, DISKI 136, Infix 1996, ISBN 978-3-89601-136-7, pp. I-XII, 1-149 - 1995
- [c6]Johann Gamper, Wolfgang Nejdl:
Formalizing Reasoning About Change: A Temporal Diagnosis Approach. AI*IA 1995: 335-346 - [c5]Johann Gamper, Wolfgang Nejdl:
Proposing Measurements in Dynamic Systems. IJCAI (1) 1995: 784-790 - 1994
- [c4]Wolfgang Nejdl, Johann Gamper:
Harnessing the Power of Temporal Abstractions in Model-Based Diagnosis of Dynamic Systems. ECAI 1994: 667-671