LIPIcs, Volume 355, TIME 2025, Complete Volume

Vidal, Thierry; Wałęga, Przemysław Andrzej

doi:10.4230/LIPIcs.TIME.2025

Document

LIPIcs, Volume 355, TIME 2025, Complete Volume

Authors Thierry Vidal , Przemysław Andrzej Wałęga

Part of: Volume: 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Symposium on Temporal Representation and Reasoning (TIME)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2025-10-13

PDF

File

PDF

LIPIcs.TIME.2025.pdf

Filesize: 12.5 MB
242 pages

Document Identifiers

DOI: 10.4230/LIPIcs.TIME.2025
URN: urn:nbn:de:0030-drops-248904

Subject Classification

ACM Subject Classification

Computing methodologies → Temporal reasoning
Information systems → Spatial-temporal systems
Theory of computation → Modal and temporal logics
Information systems → Temporal data
Mathematics of computing → Time series analysis
Theory of computation → Timed and hybrid models
Computing methodologies → Discrete-event simulation

Keywords

LIPIcs, Volume 355, TIME 2025, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

LIPIcs, Volume 355, TIME 2025, Complete Volume

Cite As Get BibTex

32nd International Symposium on Temporal Representation and Reasoning (TIME 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 355, pp. 1-242, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.TIME.2025

Author Details

Thierry Vidal

Technological University of Tarbes, France

Przemysław Andrzej Wałęga

Queen Mary University of London, UK

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail