Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/time/time2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/time/BasinCRV08,
author = {David A. Basin and
Carlos Caleiro and
Jaime Ramos and
Luca Vigan{\`{o}}},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {A Labeled Tableaux Systemfor the Distributed Temporal Logic {DTL}},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {101--109},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.21},
doi = {10.1109/TIME.2008.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BasinCRV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BelussiCP08,
author = {Alberto Belussi and
Carlo Combi and
Gabriele Pozzani},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Towards a Formal Framework for Spatio-Temporal Granularities},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {49--53},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.16},
doi = {10.1109/TIME.2008.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BelussiCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BouchyFL08,
author = {Florent Bouchy and
Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Decomposition of Decidable First-Order Logics over Integers and Reals},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {147--155},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.22},
doi = {10.1109/TIME.2008.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BouchyFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Bozzelli08,
author = {Laura Bozzelli},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {The Complexity of CaRet + Chop},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {23--31},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.27},
doi = {10.1109/TIME.2008.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Bozzelli08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMS08,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {An optimal tableau for Right Propositional Neighborhood Logic over
Trees},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.17},
doi = {10.1109/TIME.2008.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BrihayeMGR08,
author = {Thomas Brihaye and
Nicolas Markey and
Mohamed Ghannem and
Lionel Rieg},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Good Friends are Hard to Find!},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {32--40},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.10},
doi = {10.1109/TIME.2008.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BrihayeMGR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/DingTS08,
author = {Hui Ding and
Goce Trajcevski and
Peter Scheuermann},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Efficient Similarity Join of Large Sets of Moving Object Trajectories},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {79--87},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.25},
doi = {10.1109/TIME.2008.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/DingTS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/DixonFKL08,
author = {Clare Dixon and
Michael Fisher and
Boris Konev and
Alexei Lisitsa},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Practical First-Order Temporal Reasoning},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {156--163},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.15},
doi = {10.1109/TIME.2008.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/DixonFKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/DuntschW08,
author = {Ivo D{\"{u}}ntsch and
Michael Winter},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Moving Spaces},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {59--63},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.9},
doi = {10.1109/TIME.2008.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/DuntschW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/GordeviciusGB08,
author = {Juozas Gordevicius and
Johann Gamper and
Michael H. B{\"{o}}hlen},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {A Greedy Approach Towards Parsimonious Temporal Aggregation},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {88--92},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.24},
doi = {10.1109/TIME.2008.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/GordeviciusGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/HalleV08,
author = {Sylvain Hall{\'{e}} and
Roger Villemaire},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Satisfying a Fragment of XQuery by Branching-Time Reduction},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {72--76},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.20},
doi = {10.1109/TIME.2008.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/HalleV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Heinemann08,
author = {Bernhard Heinemann},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Regarding Overlapping as a Basic Concept of Subset Spaces},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {41--45},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.18},
doi = {10.1109/TIME.2008.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Heinemann08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/KanthHY08,
author = {Kothuri Venkata Ravi Kanth and
Robert Hanckel and
Aravind Yalamanchi},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal
Applications},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {15--18},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.29},
doi = {10.1109/TIME.2008.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/KanthHY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/KasperovicsBG08,
author = {Romans Kasperovics and
Michael H. B{\"{o}}hlen and
Johann Gamper},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Representing Public Transport Schedules as Repeating Trips},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {54--58},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.26},
doi = {10.1109/TIME.2008.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/KasperovicsBG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/LiuJQ08,
author = {Yuechang Liu and
Yunfei Jiang and
Hong Qian},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Topology-based Variable Ordering Strategy for Solving Disjunctive
Temporal Problems},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {129--136},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.23},
doi = {10.1109/TIME.2008.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/LiuJQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/LutzWZ08,
author = {Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Temporal Description Logics: {A} Survey},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {3--14},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.14},
doi = {10.1109/TIME.2008.14},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/LutzWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MarisR08,
author = {Frederic Maris and
Pierre R{\'{e}}gnier},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {{TLP-GP:} Solving Temporally-Expressive Planning Problems},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {137--144},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.19},
doi = {10.1109/TIME.2008.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MarisR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Nouioua08,
author = {Farid Nouioua},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {A Heuristic Approach to Order Events in Narrative Texts},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {67--71},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.13},
doi = {10.1109/TIME.2008.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Nouioua08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SalehM08,
author = {Bashar Saleh and
Florent Masseglia},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Time Aware Mining of Itemsets},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {93--97},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.12},
doi = {10.1109/TIME.2008.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/SalehM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/TverdyshevA08,
author = {Sergey Tverdyshev and
Eyad Alkassar},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Efficient Bit-Level Model Reductions for Automated Hardware Verification},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {164--172},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.11},
doi = {10.1109/TIME.2008.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/TverdyshevA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ViganoV08,
author = {Luca Vigan{\`{o}} and
Marco Volpe},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Labeled Natural Deduction Systems for a Family of Tense Logics},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {118--126},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.28},
doi = {10.1109/TIME.2008.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/ViganoV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Worrell08,
author = {James Worrell},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Real-Time Model Checking: Algorithms and Complexity},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {19},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.30},
doi = {10.1109/TIME.2008.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Worrell08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2008,
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://ieeexplore.ieee.org/xpl/conhome/4553273/proceeding},
isbn = {978-0-7695-3181-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-28 01:37 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
