@Proceedings{schewe_et_al:LIPIcs.TIME.2017,
title = {{LIPIcs, Volume 90, TIME'17, Complete Volume}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017},
URN = {urn:nbn:de:0030-drops-80233},
doi = {10.4230/LIPIcs.TIME.2017},
annote = {Keywords: Distributed Systems, Design Tools and Techniques, Software/Program Verification, Security and Protection, Models of Computation, Specifying and Verifying and Reasoning about Programs, Mathematical Logic, \lbrackNumerical Linear Algebra\rbrack Linear Systems, Graph Theory}
}
@InProceedings{schewe_et_al:LIPIcs.TIME.2017.0,
author = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
title = {{Front Matter, Table of Contents, Preface, Organization, List of Authors}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {0:i--0:xiv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.0},
URN = {urn:nbn:de:0030-drops-79117},
doi = {10.4230/LIPIcs.TIME.2017.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Organization, List of Authors}
}
@InProceedings{artale_et_al:LIPIcs.TIME.2017.1,
author = {Artale, Alessandro and Kontchakov, Roman and Kovtunova, Alisa and Ryzhikov, Vladislav and Wolter, Frank and Zakharyaschev, Michael},
title = {{Ontology-Mediated Query Answering over Temporal Data: A Survey}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {1:1--1:37},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.1},
URN = {urn:nbn:de:0030-drops-79338},
doi = {10.4230/LIPIcs.TIME.2017.1},
annote = {Keywords: Description Logic, Temporal Logic, Ontology Mediated Query Answering, Data Complexity}
}
@InProceedings{esparza:LIPIcs.TIME.2017.2,
author = {Esparza, Javier},
title = {{Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {2:1--2:6},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.2},
URN = {urn:nbn:de:0030-drops-79266},
doi = {10.4230/LIPIcs.TIME.2017.2},
annote = {Keywords: Free-choice Petri Nets, concurrency theory, quantitative verification}
}
@InProceedings{mcilraith:LIPIcs.TIME.2017.3,
author = {McIlraith, Sheila A.},
title = {{Plan and Program Synthesis: A New Look at Some Old Problems}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {3:1--3:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.3},
URN = {urn:nbn:de:0030-drops-79343},
doi = {10.4230/LIPIcs.TIME.2017.3},
annote = {Keywords: planning, program synthesis, linear temporal logic, regular expressions}
}
@InProceedings{amarilli_et_al:LIPIcs.TIME.2017.4,
author = {Amarilli, Antoine and Ba, Mouhamadou Lamine and Deutch, Daniel and Senellart, Pierre},
title = {{Possible and Certain Answers for Queries over Order-Incomplete Data}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {4:1--4:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.4},
URN = {urn:nbn:de:0030-drops-79311},
doi = {10.4230/LIPIcs.TIME.2017.4},
annote = {Keywords: certain answer, possible answer, partial order, uncertain data}
}
@InProceedings{behaegel_et_al:LIPIcs.TIME.2017.5,
author = {Behaegel, Jonathan and Comet, Jean-Paul and Folschette, Maxime},
title = {{Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {5:1--5:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.5},
URN = {urn:nbn:de:0030-drops-79203},
doi = {10.4230/LIPIcs.TIME.2017.5},
annote = {Keywords: Hoare logic, weakest precondition, linear hybrid automata, constraint synthesis, gene networks}
}
@InProceedings{bozzelli_et_al:LIPIcs.TIME.2017.6,
author = {Bozzelli, Laura and Murano, Aniello and Perelli, Giuseppe and Sorrentino, Loredana},
title = {{Hierarchical Cost-Parity Games}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {6:1--6:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.6},
URN = {urn:nbn:de:0030-drops-79175},
doi = {10.4230/LIPIcs.TIME.2017.6},
annote = {Keywords: Parity Games, Cost-Parity Games, Hierarchical Systems, System Verification}
}
@InProceedings{brihaye_et_al:LIPIcs.TIME.2017.7,
author = {Brihaye, Thomas and Geeraerts, Gilles and Ho, Hsi-Ming and Monmege, Benjamin},
title = {{Timed-Automata-Based Verification of MITL over Signals}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {7:1--7:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.7},
URN = {urn:nbn:de:0030-drops-79126},
doi = {10.4230/LIPIcs.TIME.2017.7},
annote = {Keywords: real-time temporal logic, timed automata, real-time systems}
}
@InProceedings{cairo_et_al:LIPIcs.TIME.2017.8,
author = {Cairo, Massimo and Rizzi, Romeo},
title = {{Dynamic Controllability Made Simple}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {8:1--8:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.8},
URN = {urn:nbn:de:0030-drops-79136},
doi = {10.4230/LIPIcs.TIME.2017.8},
annote = {Keywords: Simple Temporal Network with Uncertainty, Dynamic controllability}
}
@InProceedings{cairo_et_al:LIPIcs.TIME.2017.9,
author = {Cairo, Massimo and Combi, Carlo and Comin, Carlo and Hunsberger, Luke and Posenato, Roberto and Rizzi, Romeo and Zavatteri, Matteo},
title = {{Incorporating Decision Nodes into Conditional Simple Temporal Networks}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {9:1--9:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.9},
URN = {urn:nbn:de:0030-drops-79155},
doi = {10.4230/LIPIcs.TIME.2017.9},
annote = {Keywords: Conditional Simple Temporal Networks with Decisions, Dynamic Consistency, SAT Solver, Hyper Temporal Networks, PSPACE}
}
@InProceedings{cairo_et_al:LIPIcs.TIME.2017.10,
author = {Cairo, Massimo and Hunsberger, Luke and Posenato, Roberto and Rizzi, Romeo},
title = {{A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {10:1--10:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.10},
URN = {urn:nbn:de:0030-drops-79145},
doi = {10.4230/LIPIcs.TIME.2017.10},
annote = {Keywords: Conditional Simple Temporal Networks, Dynamic Consistency, Temporal Constraints}
}
@InProceedings{dellamonica_et_al:LIPIcs.TIME.2017.11,
author = {Della Monica, Dario and de Frutos-Escrig, David and Montanari, Angelo and Murano, Aniello and Sciavicco, Guido},
title = {{Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {11:1--11:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.11},
URN = {urn:nbn:de:0030-drops-79280},
doi = {10.4230/LIPIcs.TIME.2017.11},
annote = {Keywords: Dataset Evaluation, Temporal Databases, Model Checking, Interval Temporal Logics}
}
@InProceedings{etcheverry_et_al:LIPIcs.TIME.2017.12,
author = {Etcheverry, Mathias and Wonsever, Dina},
title = {{Time Expressions Recognition with Word Vectors and Neural Networks}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {12:1--12:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.12},
URN = {urn:nbn:de:0030-drops-79253},
doi = {10.4230/LIPIcs.TIME.2017.12},
annote = {Keywords: Natural Language Processing, Time Expressions, Word Embeddings, Neural Networks}
}
@InProceedings{geeraerts_et_al:LIPIcs.TIME.2017.13,
author = {Geeraerts, Gilles and Levy, Eythan and Pluquet, Fr\'{e}d\'{e}ric},
title = {{Models and Algorithms for Chronology}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {13:1--13:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.13},
URN = {urn:nbn:de:0030-drops-79294},
doi = {10.4230/LIPIcs.TIME.2017.13},
annote = {Keywords: Chronology, Algorithms, Archaeology, Formal methods}
}
@InProceedings{goranko_et_al:LIPIcs.TIME.2017.14,
author = {Goranko, Valentin and Kuusisto, Antti and R\"{o}nnholm, Raine},
title = {{CTL with Finitely Bounded Semantics}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {14:1--14:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.14},
URN = {urn:nbn:de:0030-drops-79325},
doi = {10.4230/LIPIcs.TIME.2017.14},
annote = {Keywords: CTL, finitely bounded semantics, tableaux, decidability}
}
@InProceedings{grandi_et_al:LIPIcs.TIME.2017.15,
author = {Grandi, Fabio and Mandreoli, Federica and Martoglia, Riccardo and Penzo, Wilma},
title = {{A Relational Algebra for Streaming Tables Living in a Temporal Database World}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {15:1--15:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.15},
URN = {urn:nbn:de:0030-drops-79185},
doi = {10.4230/LIPIcs.TIME.2017.15},
annote = {Keywords: Continuous queries, Data streams, Relational algebra, Temporal DB}
}
@InProceedings{gruninger_et_al:LIPIcs.TIME.2017.16,
author = {Gr\"{u}ninger, Michael and Li, Zhuojun},
title = {{The Time Ontology of Allen's Interval Algebra}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {16:1--16:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.16},
URN = {urn:nbn:de:0030-drops-79271},
doi = {10.4230/LIPIcs.TIME.2017.16},
annote = {Keywords: time ontology, intervals, composition table, first-order logic, synonymy}
}
@InProceedings{kernberger_et_al:LIPIcs.TIME.2017.17,
author = {Kernberger, Daniel and Lange, Martin},
title = {{The Fully Hybrid mu-Calculus}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {17:1--17:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.17},
URN = {urn:nbn:de:0030-drops-79244},
doi = {10.4230/LIPIcs.TIME.2017.17},
annote = {Keywords: mu-calculus, hybrid logics, model checking, bisimulation invariance}
}
@InProceedings{kiermeier_et_al:LIPIcs.TIME.2017.18,
author = {Kiermeier, Marie and Werner, Martin},
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)},
pages = {18:1--18:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.18},
URN = {urn:nbn:de:0030-drops-79190},
doi = {10.4230/LIPIcs.TIME.2017.18},
annote = {Keywords: Trajectory Computing, Similarity Search, Dynamic Time Warping, Lower Bounds, k Nearest Neighbor Search, Spatial Presorting}
}
@InProceedings{sioutis_et_al:LIPIcs.TIME.2017.19,
author = {Sioutis, Michael and Paparrizou, Anastasia and Condotta, Jean-Fran\c{c}ois},
title = {{Collective Singleton-Based Consistency for Qualitative Constraint Networks}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {19:1--19:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.19},
URN = {urn:nbn:de:0030-drops-79237},
doi = {10.4230/LIPIcs.TIME.2017.19},
annote = {Keywords: Qualitative constraint network, qualitative spatial and temporal reasoning, partial singleton path-consistency, local consistency, minimal labeling pr}
}
@InProceedings{thuillier_et_al:LIPIcs.TIME.2017.20,
author = {Thuillier, Etienne and Moalic, Laurent and Caminada, Alexandre},
title = {{Dynamic Purpose Decomposition of Mobility Flows Based on Geographical Data}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {20:1--20:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.20},
URN = {urn:nbn:de:0030-drops-79221},
doi = {10.4230/LIPIcs.TIME.2017.20},
annote = {Keywords: Human mobility, Purpose decomposition, Information extraction, Linear model}
}
@InProceedings{vasilikos_et_al:LIPIcs.TIME.2017.21,
author = {Vasilikos, Panagiotis and Nielson, Flemming and Nielson, Hanne Riis},
title = {{Time Dependent Policy-Based Access Control}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {21:1--21:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.21},
URN = {urn:nbn:de:0030-drops-79219},
doi = {10.4230/LIPIcs.TIME.2017.21},
annote = {Keywords: Access Control, Timed Automata, Time-Dependent Policies, UPPAAL}
}
@InProceedings{walega:LIPIcs.TIME.2017.22,
author = {Walega, Przemyslaw Andrzej},
title = {{On Expressiveness of Halpern-Shoham Logic and its Horn Fragments}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {22:1--22:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.22},
URN = {urn:nbn:de:0030-drops-79307},
doi = {10.4230/LIPIcs.TIME.2017.22},
annote = {Keywords: Temporal Logic, Interval Logic, Expressiveness, Hybrid Logic}
}
@InProceedings{zavatteri:LIPIcs.TIME.2017.23,
author = {Zavatteri, Matteo},
title = {{Conditional Simple Temporal Networks with Uncertainty and Decisions}},
booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
pages = {23:1--23:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-052-1},
ISSN = {1868-8969},
year = {2017},
volume = {90},
editor = {Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.23},
URN = {urn:nbn:de:0030-drops-79169},
doi = {10.4230/LIPIcs.TIME.2017.23},
annote = {Keywords: cstnud, dynamic controllability, timed game automata, controller synthesis, advanced temporal planning under uncertainty}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing