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/time2021.bht:"
download as .bib file
@inproceedings{DBLP:conf/time/ApricenoPS21,
author = {Gianluca Apriceno and
Andrea Passerini and
Luciano Serafini},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {A Neuro-Symbolic Approach to Structured Event Recognition},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {11:1--11:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.11},
doi = {10.4230/LIPICS.TIME.2021.11},
timestamp = {Thu, 16 Sep 2021 15:36:49 +0200},
biburl = {https://dblp.org/rec/conf/time/ApricenoPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BedardH21,
author = {Alexis B{\'{e}}dard and
Sylvain Hall{\'{e}}},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Model Checking of Stream Processing Pipelines},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {5:1--5:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.5},
doi = {10.4230/LIPICS.TIME.2021.5},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BedardH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliMPS21,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.9},
doi = {10.4230/LIPICS.TIME.2021.9},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BozzelliMPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BruseL21,
author = {Florian Bruse and
Martin Lange},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Model Checking Timed Recursive {CTL}},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {12:1--12:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.12},
doi = {10.4230/LIPICS.TIME.2021.12},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BruseL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CashmoreCMMZ21,
author = {Michael Cashmore and
Alessandro Cimatti and
Daniele Magazzeni and
Andrea Micheli and
Parisa Zehtabi},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Efficient Anytime Computation and Execution of Decoupled Robustness
Envelopes for Temporal Plans},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {13:1--13:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.13},
doi = {10.4230/LIPICS.TIME.2021.13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/CashmoreCMMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ChafikACV21,
author = {Anasse Chafik and
Fahima Cheikh Alili and
Jean{-}Fran{\c{c}}ois Condotta and
Ivan Varzinczak},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {A One-Pass Tree-Shaped Tableau for Defeasible {LTL}},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {16:1--16:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.16},
doi = {10.4230/LIPICS.TIME.2021.16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/ChafikACV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Cuzzocrea21,
author = {Alfredo Cuzzocrea},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Temporal Big Data Analytics: New Frontiers for Big Data Analytics
Research (Panel Description)},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {4:1--4:7},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.4},
doi = {10.4230/LIPICS.TIME.2021.4},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/Cuzzocrea21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/DyresonA21,
author = {Curtis E. Dyreson and
M. A. Manazir Ahsan},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Achieving a Sequenced, Relational Query Language with Log-Segmented
Timestamps},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {14:1--14:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.14},
doi = {10.4230/LIPICS.TIME.2021.14},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/DyresonA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/GeattiGMV21,
author = {Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Gabriele Venturato},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Past Matters: Supporting LTL+Past in the {BLACK} Satisfiability Checker},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {8:1--8:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.8},
doi = {10.4230/LIPICS.TIME.2021.8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/GeattiGMV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/HunsbergerP21,
author = {Luke Hunsberger and
Roberto Posenato},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Simple Temporal Networks: {A} Practical Foundation for Temporal Representation
and Reasoning (Invited Talk)},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {1:1--1:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.1},
doi = {10.4230/LIPICS.TIME.2021.1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/HunsbergerP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ManzellaPSS21,
author = {Federico Manzella and
Giovanni Pagliarini and
Guido Sciavicco and
Ionel Eduard Stan},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Interval Temporal Random Forests with an Application to {COVID-19}
Diagnosis},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {7:1--7:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.7},
doi = {10.4230/LIPICS.TIME.2021.7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/ManzellaPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Pedersen21,
author = {Torben Bach Pedersen},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited
Talk)},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {2:1--2:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.2},
doi = {10.4230/LIPICS.TIME.2021.2},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/Pedersen21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/RibeiroLCM021,
author = {Tom{\'{a}}s Ribeiro and
Oscar Lima and
Michael Cashmore and
Andrea Micheli and
Rodrigo Ventura},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Olisipo: {A} Probabilistic Approach to the Adaptable Execution of
Deterministic Temporal Plans},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {15:1--15:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.15},
doi = {10.4230/LIPICS.TIME.2021.15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/RibeiroLCM021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Roychowdhury21,
author = {Sparsa Roychowdhury},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {1{\textonehalf}-Player Stochastic StopWatch Games},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {17:1--17:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.17},
doi = {10.4230/LIPICS.TIME.2021.17},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/Roychowdhury21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/RyzhikovSZ21,
author = {Vladislav Ryzhikov and
Yury Savateev and
Michael Zakharyaschev},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal
Logic},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {10:1--10:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.10},
doi = {10.4230/LIPICS.TIME.2021.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/RyzhikovSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SpitalasGTK21,
author = {Alexandros Spitalas and
Anastasios Gounaris and
Kostas Tsichlas and
Andreas Kosmatopoulos},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Investigation of Database Models for Evolving Graphs},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {6:1--6:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.6},
doi = {10.4230/LIPICS.TIME.2021.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/SpitalasGTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Suykens21,
author = {Johan A. K. Suykens},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Kernel Machines in Time (Invited Talk)},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {3:1--3:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.3},
doi = {10.4230/LIPICS.TIME.2021.3},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/Suykens21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/X21,
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {0:1--0:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.0},
doi = {10.4230/LIPICS.TIME.2021.0},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/X21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2021,
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-206-8},
isbn = {978-3-95977-206-8},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/2021.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-05-19 08:23 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:
