Search dblp for Publications

export results for "toc:db/conf/time/time2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/time/AmarilliBDS17,
  author       = {Antoine Amarilli and
                  Mouhamadou Lamine Ba and
                  Daniel Deutch and
                  Pierre Senellart},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Possible and Certain Answers for Queries over Order-Incomplete Data},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {4:1--4:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.4},
  doi          = {10.4230/LIPICS.TIME.2017.4},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/time/AmarilliBDS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/ArtaleKKRWZ17,
  author       = {Alessandro Artale and
                  Roman Kontchakov and
                  Alisa Kovtunova and
                  Vladislav Ryzhikov and
                  Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Ontology-Mediated Query Answering over Temporal Data: {A} Survey (Invited
                  Talk)},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {1:1--1:37},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.1},
  doi          = {10.4230/LIPICS.TIME.2017.1},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/ArtaleKKRWZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/BehaegelCF17,
  author       = {Jonathan Behaegel and
                  Jean{-}Paul Comet and
                  Maxime Folschette},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Constraint Identification Using Modified Hoare Logic on Hybrid Models
                  of Gene Networks},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {5:1--5:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.5},
  doi          = {10.4230/LIPICS.TIME.2017.5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/BehaegelCF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/BozzelliMPS17,
  author       = {Laura Bozzelli and
                  Aniello Murano and
                  Giuseppe Perelli and
                  Loredana Sorrentino},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Hierarchical Cost-Parity Games},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {6:1--6:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.6},
  doi          = {10.4230/LIPICS.TIME.2017.6},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/BozzelliMPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/BrihayeGHM17,
  author       = {Thomas Brihaye and
                  Gilles Geeraerts and
                  Hsi{-}Ming Ho and
                  Benjamin Monmege},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Timed-Automata-Based Verification of {MITL} over Signals},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {7:1--7:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.7},
  doi          = {10.4230/LIPICS.TIME.2017.7},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/BrihayeGHM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/CairoCCHPRZ17,
  author       = {Massimo Cairo and
                  Carlo Combi and
                  Carlo Comin and
                  Luke Hunsberger and
                  Roberto Posenato and
                  Romeo Rizzi and
                  Matteo Zavatteri},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Incorporating Decision Nodes into Conditional Simple Temporal Networks},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {9:1--9:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.9},
  doi          = {10.4230/LIPICS.TIME.2017.9},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/CairoCCHPRZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/CairoHPR17,
  author       = {Massimo Cairo and
                  Luke Hunsberger and
                  Roberto Posenato and
                  Romeo Rizzi},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {A Streamlined Model of Conditional Simple Temporal Networks - Semantics
                  and Equivalence Results},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {10:1--10:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.10},
  doi          = {10.4230/LIPICS.TIME.2017.10},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/CairoHPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/CairoR17,
  author       = {Massimo Cairo and
                  Romeo Rizzi},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Dynamic Controllability Made Simple},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {8:1--8:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.8},
  doi          = {10.4230/LIPICS.TIME.2017.8},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/CairoR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/Esparza17,
  author       = {Javier Esparza},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets
                  (Invited Talk)},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {2:1--2:6},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.2},
  doi          = {10.4230/LIPICS.TIME.2017.2},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/Esparza17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/EtcheverryW17,
  author       = {Math{\'{\i}}as Etcheverry and
                  Dina Wonsever},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Time Expressions Recognition with Word Vectors and Neural Networks},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {12:1--12:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.12},
  doi          = {10.4230/LIPICS.TIME.2017.12},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/EtcheverryW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/GeeraertsLP17,
  author       = {Gilles Geeraerts and
                  Eythan Levy and
                  Fr{\'{e}}d{\'{e}}ric Pluquet},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Models and Algorithms for Chronology},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {13:1--13:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.13},
  doi          = {10.4230/LIPICS.TIME.2017.13},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/GeeraertsLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/GorankoKR17,
  author       = {Valentin Goranko and
                  Antti Kuusisto and
                  Raine R{\"{o}}nnholm},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {{CTL} with Finitely Bounded Semantics},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {14:1--14:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.14},
  doi          = {10.4230/LIPICS.TIME.2017.14},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/GorankoKR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/GrandiMMP17,
  author       = {Fabio Grandi and
                  Federica Mandreoli and
                  Riccardo Martoglia and
                  Wilma Penzo},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {A Relational Algebra for Streaming Tables Living in a Temporal Database
                  World},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {15:1--15:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.15},
  doi          = {10.4230/LIPICS.TIME.2017.15},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/GrandiMMP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/GruningerL17,
  author       = {Michael Gr{\"{u}}ninger and
                  Zhuojun Li},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {The Time Ontology of Allen's Interval Algebra},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {16:1--16:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.16},
  doi          = {10.4230/LIPICS.TIME.2017.16},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/GruningerL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/Kernberger017,
  author       = {Daniel Kernberger and
                  Martin Lange},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {The Fully Hybrid mu-Calculus},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {17:1--17:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.17},
  doi          = {10.4230/LIPICS.TIME.2017.17},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/Kernberger017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/KiermeierW17,
  author       = {Marie Kiermeier and
                  Martin Werner},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Similarity Search for Spatial Trajectories Using Online Lower Bounding
                  {DTW} and Presorting Strategies},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {18:1--18:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.18},
  doi          = {10.4230/LIPICS.TIME.2017.18},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/KiermeierW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/McIlraith17,
  author       = {Sheila A. McIlraith},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Plan and Program Synthesis: {A} New Look at Some Old Problems (Invited
                  Talk)},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {3:1--3:1},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.3},
  doi          = {10.4230/LIPICS.TIME.2017.3},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/McIlraith17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/MonicaFMMS17,
  author       = {Dario Della Monica and
                  David de Frutos{-}Escrig and
                  Angelo Montanari and
                  Aniello Murano and
                  Guido Sciavicco},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Evaluation of Temporal Datasets via Interval Temporal Logic Model
                  Checking},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {11:1--11:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.11},
  doi          = {10.4230/LIPICS.TIME.2017.11},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/MonicaFMMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/SioutisPC17,
  author       = {Michael Sioutis and
                  Anastasia Paparrizou and
                  Jean{-}Fran{\c{c}}ois Condotta},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Collective Singleton-Based Consistency for Qualitative Constraint
                  Networks},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {19:1--19:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.19},
  doi          = {10.4230/LIPICS.TIME.2017.19},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/SioutisPC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/ThuillierMC17,
  author       = {Etienne Thuillier and
                  Laurent Moalic and
                  Alexandre Caminada},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Dynamic Purpose Decomposition of Mobility Flows Based on Geographical
                  Data},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {20:1--20:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.20},
  doi          = {10.4230/LIPICS.TIME.2017.20},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/ThuillierMC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/VasilikosNN17,
  author       = {Panagiotis Vasilikos and
                  Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Time Dependent Policy-Based Access Control},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {21:1--21:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.21},
  doi          = {10.4230/LIPICS.TIME.2017.21},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/VasilikosNN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/Walega17,
  author       = {Przemyslaw Andrzej Walega},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {On Expressiveness of Halpern-Shoham Logic and its Horn Fragments},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {22:1--22:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.22},
  doi          = {10.4230/LIPICS.TIME.2017.22},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/Walega17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/X17,
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Front Matter, Table of Contents, Preface, Organization, List of Authors},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {0:i--0:xiv},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.0},
  doi          = {10.4230/LIPICS.TIME.2017.0},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/X17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/time/Zavatteri17,
  author       = {Matteo Zavatteri},
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {Conditional Simple Temporal Networks with Uncertainty and Decisions},
  booktitle    = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  pages        = {23:1--23:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2017.23},
  doi          = {10.4230/LIPICS.TIME.2017.23},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/Zavatteri17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/time/2017,
  editor       = {Sven Schewe and
                  Thomas Schneider and
                  Jef Wijsen},
  title        = {24th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2017, October 16-18, 2017, Mons, Belgium},
  series       = {LIPIcs},
  volume       = {90},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-052-1},
  isbn         = {978-3-95977-052-1},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/time/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.