Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/time/AcamporaGGM23,
  author       = {Renato Acampora and
                  Luca Geatti and
                  Nicola Gigante and
                  Angelo Montanari},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Qualitative past Timeline-Based Games (Extended Abstract)},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {22:1--22:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.22},
  doi          = {10.4230/LIPICS.TIME.2023.22},
  timestamp    = {Mon, 18 Sep 2023 16:35:37 +0200},
  biburl       = {https://dblp.org/rec/conf/time/AcamporaGGM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/AmicoCRS23,
  author       = {Beatrice Amico and
                  Carlo Combi and
                  Romeo Rizzi and
                  Pietro Sala},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Discovering Predictive Dependencies on Multi-Temporal Relations},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {4:1--4:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.4},
  doi          = {10.4230/LIPICS.TIME.2023.4},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/AmicoCRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ArtaleGGMM23,
  author       = {Alessandro Artale and
                  Luca Geatti and
                  Nicola Gigante and
                  Andrea Mazzullo and
                  Angelo Montanari},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {{LTL} over Finite Words Can Be Exponentially More Succinct Than Pure-Past
                  LTL, and vice versa},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {2:1--2:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.2},
  doi          = {10.4230/LIPICS.TIME.2023.2},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/ArtaleGGMM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BaudinTM23,
  author       = {Alexis Baudin and
                  Lionel Tabourier and
                  Cl{\'{e}}mence Magnien},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {{LSCPM:} Communities in Massive Real-World Link Streams by Clique
                  Percolation Method},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {3:1--3:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.3},
  doi          = {10.4230/LIPICS.TIME.2023.3},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/BaudinTM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BregoliRSSM23,
  author       = {Alessandro Bregoli and
                  Karin Rathsman and
                  Marco Scutari and
                  Fabio Stella and
                  S{\o}ren Wengel Mogensen},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Analyzing Complex Systems with Cascades Using Continuous-Time Bayesian
                  Networks},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {8:1--8:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.8},
  doi          = {10.4230/LIPICS.TIME.2023.8},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/BregoliRSSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BruseKLM23,
  author       = {Florian Bruse and
                  Marit Kastaun and
                  Martin Lange and
                  S{\"{o}}ren M{\"{o}}ller},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {The Calculus of Temporal Influence},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {10:1--10:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.10},
  doi          = {10.4230/LIPICS.TIME.2023.10},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/BruseKLM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ConradieMMSS23,
  author       = {Willem Conradie and
                  Riccardo Monego and
                  Emilio Mu{\~{n}}oz{-}Velasco and
                  Guido Sciavicco and
                  Ionel Eduard Stan},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's
                  Interval Temporal Logic},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {9:1--9:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.9},
  doi          = {10.4230/LIPICS.TIME.2023.9},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/ConradieMMSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Dyreson23,
  author       = {Curtis E. Dyreson},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Optimization of Nonsequenced Queries Using Log-Segmented Timestamps},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {13:1--13:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.13},
  doi          = {10.4230/LIPICS.TIME.2023.13},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/Dyreson23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/GeattiGG23,
  author       = {Luca Geatti and
                  Alessandro Gianola and
                  Nicola Gigante},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Torwards Infinite-State Verification and Planning with Linear Temporal
                  Logic Modulo Theories (Extended Abstract)},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {21:1--21:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.21},
  doi          = {10.4230/LIPICS.TIME.2023.21},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/GeattiGG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Giatrakos23,
  author       = {Nikos Giatrakos},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {{SSTRESED:} Scalable Semantic Trajectory Extraction for Simple Event
                  Detection over Streaming Movement Data (Extended Abstract)},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {15:1--15:4},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.15},
  doi          = {10.4230/LIPICS.TIME.2023.15},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/Giatrakos23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/HoM23,
  author       = {Hsi{-}Ming Ho and
                  Khushraj Madnani},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {7:1--7:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.7},
  doi          = {10.4230/LIPICS.TIME.2023.7},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/HoM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/HunsbergerP23,
  author       = {Luke Hunsberger and
                  Roberto Posenato},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Converting Simple Temporal Networks with Uncertainty into Dispatchable
                  Form - Faster (Extended Abstract)},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {20:1--20:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.20},
  doi          = {10.4230/LIPICS.TIME.2023.20},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/HunsbergerP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/KamberiKA23,
  author       = {Petro{-}Foti Kamberi and
                  Evgenios Kladis and
                  Charilaos Akasiadis},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {A Benchmark for Early Time-Series Classification (Extended Abstract)},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {18:1--18:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.18},
  doi          = {10.4230/LIPICS.TIME.2023.18},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/KamberiKA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/KatzourisP23,
  author       = {Nikos Katzouris and
                  Georgios Paliouras},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Answer Set Automata: {A} Learnable Pattern Specification Framework
                  for Complex Event Recognition (Extended Abstract)},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {17:1--17:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.17},
  doi          = {10.4230/LIPICS.TIME.2023.17},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/KatzourisP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Mantenoglou23,
  author       = {Periklis Mantenoglou},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {An Event Calculus for Run-Time Reasoning (Extended Abstract)},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {14:1--14:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.14},
  doi          = {10.4230/LIPICS.TIME.2023.14},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/Mantenoglou23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MisraK23,
  author       = {Anshuman Misra and
                  Ajay D. Kshemkalyani},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Detecting Causality in the Presence of Byzantine Processes: The Synchronous
                  Systems Case},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {11:1--11:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.11},
  doi          = {10.4230/LIPICS.TIME.2023.11},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/MisraK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Nenzi23,
  author       = {Laura Nenzi},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Learning Temporal Logic Formulas from Time-Series Data (Invited Talk)},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {1:1--1:2},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.1},
  doi          = {10.4230/LIPICS.TIME.2023.1},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/Nenzi23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SalhiS23,
  author       = {Yakoub Salhi and
                  Michael Sioutis},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Prime Scenarios in Qualitative Spatial and Temporal Reasoning},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {5:1--5:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.5},
  doi          = {10.4230/LIPICS.TIME.2023.5},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/SalhiS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SalhiS23a,
  author       = {Yakoub Salhi and
                  Michael Sioutis},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {A Decomposition Framework for Inconsistency Handling in Qualitative
                  Spatial and Temporal Reasoning (Extended Abstract)},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {16:1--16:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.16},
  doi          = {10.4230/LIPICS.TIME.2023.16},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/SalhiS23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SalzerB23,
  author       = {Marco S{\"{a}}lzer and
                  Silvia Beddar{-}Wiesing},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction
                  (Extended Abstract)},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {19:1--19:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.19},
  doi          = {10.4230/LIPICS.TIME.2023.19},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/SalzerB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ShankarPJ23,
  author       = {Saumya Shankar and
                  Srinivas Pinisetty and
                  Thierry J{\'{e}}ron},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Bounded-Memory Runtime Enforcement of Timed Properties},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {6:1--6:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.6},
  doi          = {10.4230/LIPICS.TIME.2023.6},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/ShankarPJ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Sioutis23,
  author       = {Michael Sioutis},
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint
                  Networks},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {12:1--12:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.12},
  doi          = {10.4230/LIPICS.TIME.2023.12},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/Sioutis23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/X23,
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  pages        = {0:1--0:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TIME.2023.0},
  doi          = {10.4230/LIPICS.TIME.2023.0},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/X23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2023,
  editor       = {Alexander Artikis and
                  Florian Bruse and
                  Luke Hunsberger},
  title        = {30th International Symposium on Temporal Representation and Reasoning,
                  {TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
  series       = {LIPIcs},
  volume       = {278},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-298-3},
  isbn         = {978-3-95977-298-3},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/time/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics