Skip to content

International Symposium on Temporal Representation and Reasoning

TIME

C

CORE rank

CORE rank (raw)

C

Fields of research

Artificial Intelligence

Papers indexed

711

1994–2025

Papers per year

199435 peak2025

TIME papers

711 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2006Measuring, monitoring and controlling software maintenance efforts.Markus Zanker, Sergiu Gordea
2006Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora.Estela Saquete, Patricio Martnez-Barco, Rafael Muoz, Matteo Negri, Manuela Speranza, Renzo Sprugnoli
2006Temporal Arithmetic Mixing Months and Days.Feng Pan, Jerry R. Hobbs
2006DyST: Dynamic and Scalable Temporal Text Indexing.Kjetil Nrvg, Albert Overskeid Nyb
2006Conditional and Composite Temporal Constraints with Preferences.Malek Mouhoub, Amrudee Sukpan
2006Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic.Antonio Morales, Guido Sciavicco
2006k-Anonymity in Databases with Timestamped Data.Sergio Mascetti, Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia
2006An automaton-based approach to the verification of timed workflow schemas.Elisabetta De Maria, Angelo Montanari, Marco Zantoni
2006Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN.Achraf Makni, Rafik Bouaziz, Faez Gargouri
2006A Spatiotemporal Database for Ozone in the Conterminous U.S.Lixin Li, Xingyou Zhang, Reinhard Piltner
2006In time alone: on the computational power of querying the history.Alexei Lisitsa, Igor Potapov
2006A Decidable Temporal Logic for Events and States.Savas Konur
2006From Language to Time: A Temporal Expression Anchorer.Benjamin Han, Donna Gates, Lori S. Levin
2006CTL Model Checking for Labelled Tree Queries.Sylvain Hall, Roger Villemaire, Omar Cherkaoui
2006Extracting Uncertain Temporal Relations from Mined Frequent Sequences.Francisco Guil, Roque Marn
2006Automated Verification of Continuous Time Systems by Discrete Temporal Induction.Angelo Gargantini, Angelo Morzenti
2006Adaptive Interpolation Algorithms for Temporal-Oriented Datasets.Jun Gao
2006Processes as Continuants (Abstract).Antony Galton
2006Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives.Robert J. Gaizauskas, Henk Harkema, Mark Hepple, Andrea Setzer
2006Is There a Future for Deductive Temporal Verification?Clare Dixon, Michael Fisher, Boris Konev
2006A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi.Jean-Franois Condotta, Mahmoud Saade, Gerard Ligozat
2006Ultimately Periodic Simple Temporal Problems (UPSTPs).Jean-Franois Condotta, Grard Ligozat, Mahmoud Saade, Stavros Tripakis
2006Representing trends and trend dependencies with multiple granularities.Carlo Combi, Rosalba Rossato
2006Task Scheduling for a TemporalWorkflow Management System.Carlo Combi, Giuseppe Pozzi
2006How Would You Like to Aggregate Your Temporal Data?Michael H. Bhlen, Johann Gamper, Christian S. Jensen
401425 of 711← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.