Search results for "TIME"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò 0001	Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions.	TIME	2019	DBLP DOI BibTeX RDF
1	Melisachew Wudage Chekol, Heiner Stuckenschmidt	Time-Aware Probabilistic Knowledge Graphs.	TIME	2019	DBLP DOI BibTeX RDF
1	Estela Saquete Boró	From Unstructured Data to Narrative Abstractive Summaries (Invited Talk).	TIME	2019	DBLP DOI BibTeX RDF
1	Daniel Kernberger, Martin Lange	On the Expressive Power of Hybrid Branching-Time Logics.	TIME	2018	DBLP DOI BibTeX RDF
1	Przemyslaw Andrzej Walega	Computational Complexity of a Core Fragment of Halpern-Shoham Logic.	TIME	2018	DBLP DOI BibTeX RDF
1	Stéphane Demri	On Temporal and Separation Logics (Invited Paper).	TIME	2018	DBLP DOI BibTeX RDF
1	Julius Köpke, Johann Eder, Jianwen Su	GSM+T: A Timed Artifact-Centric Process Model.	TIME	2018	DBLP DOI BibTeX RDF
1	George Athanasopoulos, George Paliouras, Dimitrios Vogiatzis, Grigorios Tzortzis, Nikos Katzouris	Predicting the Evolution of Communities with Online Inductive Logic Programming.	TIME	2018	DBLP DOI BibTeX RDF
1	Michael H. Böhlen, Anton Dignös, Johann Gamper, Christian S. Jensen	Database Technology for Processing Temporal Data (Invited Paper).	TIME	2018	DBLP DOI BibTeX RDF
1	Laura Bozzelli, Aniello Murano, Loredana Sorrentino	Results on Alternating-Time Temporal Logics with Linear Past.	TIME	2018	DBLP DOI BibTeX RDF
1	Carlo Combi, Roberto Posenato	Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty.	TIME	2018	DBLP DOI BibTeX RDF
1	Malte S. Kließ, Catholijn M. Jonker, M. Birna van Riemsdijk	A Temporal Logic for Modelling Activities of Daily Living.	TIME	2018	DBLP DOI BibTeX RDF
1	Massimo Cairo, Luke Hunsberger, Romeo Rizzi	Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty.	TIME	2018	DBLP DOI BibTeX RDF
1	Andreas Dohr, Christiane Engels, Andreas Behrend	Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases.	TIME	2018	DBLP DOI BibTeX RDF
1	Georgios M. Santipantakis, Akrivi Vlachou, Christos Doulkeridis, Alexander Artikis, Ioannis Kontopoulos, George A. Vouros	A Stream Reasoning System for Maritime Monitoring.	TIME	2018	DBLP DOI BibTeX RDF
1	Marco Gavanelli, Alessandro Passantino, Guido Sciavicco	Deciding the Consistency of Branching Time Interval Networks.	TIME	2018	DBLP DOI BibTeX RDF
1		Front Matter, Table of Contents, Preface, Conference Organization.	TIME	2018	DBLP DOI BibTeX RDF
1	Luke Hunsberger, Roberto Posenato	Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty.	TIME	2018	DBLP DOI BibTeX RDF
1	Malek Mouhoub, Hamad Al Marri, Eisa Alanazi	Learning Qualitative Constraint Networks.	TIME	2018	DBLP DOI BibTeX RDF
1	Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek (eds.)	25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018	TIME	2018	DBLP BibTeX RDF
1	Carlo Comin, Romeo Rizzi	On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier.	TIME	2018	DBLP DOI BibTeX RDF
1	Lewis Tolonen, Tim French 0002, Mark Reynolds 0001	Population Based Methods for Optimising Infinite Behaviours of Timed Automata.	TIME	2018	DBLP DOI BibTeX RDF
1	Wojciech Jamroga	Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper).	TIME	2018	DBLP DOI BibTeX RDF
1	Pattreeya Tanisaro, Gunther Heidemann	An Empirical Study on Bidirectional Recurrent Neural Networks for Human Motion Recognition.	TIME	2018	DBLP DOI BibTeX RDF
1	Alexander Bolotov, Montserrat Hermo, Paqui Lucio	Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach.	TIME	2018	DBLP DOI BibTeX RDF
1	Luke Hunsberger, Roberto Posenato	Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking.	TIME	2018	DBLP DOI BibTeX RDF
1	Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco	Extracting Interval Temporal Logic Rules: A First Approach.	TIME	2018	DBLP DOI BibTeX RDF
1	Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds 0001	A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty.	TIME	2018	DBLP DOI BibTeX RDF
1	Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco	Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.	TIME	2017	DBLP DOI BibTeX RDF
1		Front Matter, Table of Contents, Preface, Organization, List of Authors.	TIME	2017	DBLP DOI BibTeX RDF
1	Przemyslaw Andrzej Walega	On Expressiveness of Halpern-Shoham Logic and its Horn Fragments.	TIME	2017	DBLP DOI BibTeX RDF
1	Etienne Thuillier, Laurent Moalic, Alexandre Caminada	Dynamic Purpose Decomposition of Mobility Flows Based on Geographical Data.	TIME	2017	DBLP DOI BibTeX RDF
1	Matteo Zavatteri	Conditional Simple Temporal Networks with Uncertainty and Decisions.	TIME	2017	DBLP DOI BibTeX RDF
1	Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev	Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).	TIME	2017	DBLP DOI BibTeX RDF
1	Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta	Collective Singleton-Based Consistency for Qualitative Constraint Networks.	TIME	2017	DBLP DOI BibTeX RDF
1	Marie Kiermeier, Martin Werner 0001	Similarity Search for Spatial Trajectories Using Online Lower Bounding DTW and Presorting Strategies.	TIME	2017	DBLP DOI BibTeX RDF
1	Sven Schewe, Thomas Schneider 0002, Jef Wijsen (eds.)	24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium	TIME	2017	DBLP BibTeX RDF
1	Massimo Cairo, Romeo Rizzi	Dynamic Controllability Made Simple.	TIME	2017	DBLP DOI BibTeX RDF
1	Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege	Timed-Automata-Based Verification of MITL over Signals.	TIME	2017	DBLP DOI BibTeX RDF
1	Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, Pierre Senellart	Possible and Certain Answers for Queries over Order-Incomplete Data.	TIME	2017	DBLP DOI BibTeX RDF
1	Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette	Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks.	TIME	2017	DBLP DOI BibTeX RDF
1	Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson	Time Dependent Policy-Based Access Control.	TIME	2017	DBLP DOI BibTeX RDF
1	Daniel Kernberger, Martin Lange	The Fully Hybrid mu-Calculus.	TIME	2017	DBLP DOI BibTeX RDF
1	Mathías Etcheverry, Dina Wonsever	Time Expressions Recognition with Word Vectors and Neural Networks.	TIME	2017	DBLP DOI BibTeX RDF
1	Valentin Goranko, Antti Kuusisto, Raine Rönnholm	CTL with Finitely Bounded Semantics.	TIME	2017	DBLP DOI BibTeX RDF
1	Massimo Cairo, Luke Hunsberger, Roberto Posenato, Romeo Rizzi	A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results.	TIME	2017	DBLP DOI BibTeX RDF
1	Sheila A. McIlraith	Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk).	TIME	2017	DBLP DOI BibTeX RDF
1	Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri	Incorporating Decision Nodes into Conditional Simple Temporal Networks.	TIME	2017	DBLP DOI BibTeX RDF
1	Michael Grüninger, Zhuojun Li	The Time Ontology of Allen's Interval Algebra.	TIME	2017	DBLP DOI BibTeX RDF
1	Fabio Grandi 0001, Federica Mandreoli, Riccardo Martoglia, Wilma Penzo	A Relational Algebra for Streaming Tables Living in a Temporal Database World.	TIME	2017	DBLP DOI BibTeX RDF
1	Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino	Hierarchical Cost-Parity Games.	TIME	2017	DBLP DOI BibTeX RDF
1	Javier Esparza	Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk).	TIME	2017	DBLP DOI BibTeX RDF
1	Gilles Geeraerts, Eythan Levy, Frédéric Pluquet	Models and Algorithms for Chronology.	TIME	2017	DBLP DOI BibTeX RDF
1	Angelo Montanari	Interval Temporal Logics Model Checking.	TIME	2016	DBLP DOI BibTeX RDF
1	Massimo Cairo, Carlo Comin, Romeo Rizzi	Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks.	TIME	2016	DBLP DOI BibTeX RDF
1	Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco	On the Complexity of Fragments of Horn Modal Logics.	TIME	2016	DBLP DOI BibTeX RDF
1	Paolo Terenziani	The Impact of the Telic\Atelic Dichotomy on Temporal Databases.	TIME	2016	DBLP DOI BibTeX RDF
1	David Jakobsen, Peter Øhrstrøm	Conceptual and Metaphysical Origins and Relevance of Temporal Logic.	TIME	2016	DBLP DOI BibTeX RDF
1	Raúl Pardo, Ivana Kellyerova, César Sánchez 0001, Gerardo Schneider	Specification of Evolving Privacy Policies for Online Social Networks.	TIME	2016	DBLP DOI BibTeX RDF
1	Zouhaier Brahmia, Fabio Grandi 0001, Rafik Bouaziz	tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework.	TIME	2016	DBLP DOI BibTeX RDF
1	Étienne André, Benoît Delahaye	Consistency in Parametric Interval Probabilistic Timed Automata.	TIME	2016	DBLP DOI BibTeX RDF
1	Raphaël Fournier-S'niehotta, Philippe Rigaux, Nicolas Travers	Querying Music Notation.	TIME	2016	DBLP DOI BibTeX RDF
1	Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak	Optimal Control for Simple Linear Hybrid Systems.	TIME	2016	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen	Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems.	TIME	2016	DBLP DOI BibTeX RDF
1	Jan Chomicki, Jef Wijsen	Consistent Query Answering for Atemporal Constraints over Temporal Databases.	TIME	2016	DBLP DOI BibTeX RDF
1	Curtis E. Dyreson, Venkata A. Rani	Translating Temporal SQL to Nested SQL.	TIME	2016	DBLP DOI BibTeX RDF
1	John Christopher McCabe-Dansted, Mark Reynolds 0001, Tim French 0002	Modelling Systems over General Linear Time.	TIME	2016	DBLP DOI BibTeX RDF
1	Runa Gulliksson, John J. Camilleri	A Domain-Specific Language for Normative Texts with Timing Constraints.	TIME	2016	DBLP DOI BibTeX RDF
1	Christian Herrera, Bernd Westphal	The Model Checking Problem in Networks with Quasi-Equal Clocks.	TIME	2016	DBLP DOI BibTeX RDF
1	Shota Matsumoto, Kazunori Ueda	Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic.	TIME	2016	DBLP DOI BibTeX RDF
1	Mattias Tiger, Fredrik Heintz	Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models.	TIME	2016	DBLP DOI BibTeX RDF
1	Massimo Cairo, Romeo Rizzi	Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete.	TIME	2016	DBLP DOI BibTeX RDF
1	Yong Li 0031, Lei Song, Yuan Feng 0001, Lijun Zhang 0001	Verify LTL with Fairness Assumptions Efficiently.	TIME	2016	DBLP DOI BibTeX RDF
1	Daniel Kernberger, Martin Lange	Model Checking for the Full Hybrid Computation Tree Logic.	TIME	2016	DBLP DOI BibTeX RDF
1	S. Akshay 0001, Loïc Hélouët, Ramchandra Phawade	Combining Free Choice and Time in Petri Nets.	TIME	2016	DBLP DOI BibTeX RDF
1	Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini	Timelines Are Expressive Enough to Capture Action-Based Temporal Planning.	TIME	2016	DBLP DOI BibTeX RDF
1	Curtis E. Dyreson, Michael R. Hansen, Luke Hunsberger (eds.)	23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016	TIME	2016	DBLP BibTeX RDF
1	Valentin Goranko, Louwe B. Kuijer	On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems.	TIME	2016	DBLP DOI BibTeX RDF
1	Carlo Combi, Romeo Rizzi, Pietro Sala	The Price of Evolution in Temporal Databases.	TIME	2015	DBLP DOI BibTeX RDF
1	Curtis E. Dyreson, Venkata A. Rani, Amani Shatnawi	Unifying Sequenced and Non-sequenced Semantics.	TIME	2015	DBLP DOI BibTeX RDF
1	Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco	Undecidability of Chop.	TIME	2015	DBLP DOI BibTeX RDF
1	Alberto Molinari, Angelo Montanari, Adriano Peron	Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS.	TIME	2015	DBLP DOI BibTeX RDF
1	Martin Lück, Arne Meier	LTL Fragments are Hard for Standard Parameterisations.	TIME	2015	DBLP DOI BibTeX RDF
1	Giuseppe De Giacomo	Temporal Reasoning in Bounded Situation Calculus.	TIME	2015	DBLP DOI BibTeX RDF
1	Andre Gensler, Thiemo Gruber, Bernhard Sick	Fast Feature Extraction for Time Series Analysis Using Least-Squares Approximations with Orthogonal Basis Functions.	TIME	2015	DBLP DOI BibTeX RDF
1	Alfredo Cuzzocrea	Temporal Aspects of Big Data Management: State-of-the-Art Analysis and Future Research Directions.	TIME	2015	DBLP DOI BibTeX RDF
1	Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino	On the Counting of Strategies.	TIME	2015	DBLP DOI BibTeX RDF
1	Daniel Hausmann 0001, Lutz Schröder	Global Caching for the Flat Coalgebraic µ-Calculus.	TIME	2015	DBLP DOI BibTeX RDF
1	Carlo Comin, Romeo Rizzi	Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking.	TIME	2015	DBLP DOI BibTeX RDF
1	Fabio Grandi 0001, Martin Lange, Alessio Lomuscio (eds.)	22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015	TIME	2015	DBLP BibTeX RDF
1	Carlo Zaniolo	Historical Queries on Wikipedia: A Usability-Driven Approach.	TIME	2015	DBLP DOI BibTeX RDF
1	Alberto Gatto	Decidability via Mosaics for Bundled Ockhamist Logic.	TIME	2015	DBLP DOI BibTeX RDF
1	Andreas Krebs, Arne Meier, Jonni Virtema	A Team Based Variant of CTL.	TIME	2015	DBLP DOI BibTeX RDF
1	Andreas Krebs, Arne Meier, Martin Mundhenk	The Model Checking Fingerprints of CTL Operators.	TIME	2015	DBLP DOI BibTeX RDF
1	Salih Durhan, Guido Sciavicco	Generalizing Allen's Theory of Time to Tree-Like Structures.	TIME	2015	DBLP DOI BibTeX RDF
1	Benedikt Bollig	Towards Formal Verification of Distributed Algorithms.	TIME	2015	DBLP DOI BibTeX RDF
1	Luke Hunsberger, Roberto Posenato, Carlo Combi	A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks.	TIME	2015	DBLP DOI BibTeX RDF
1	Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi 0001	Reachability Games on Recursive Hybrid Automata.	TIME	2015	DBLP DOI BibTeX RDF
1	Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin	Semantic Vacuity.	TIME	2015	DBLP DOI BibTeX RDF
1	Marta Cialdea Mayer, Andrea Orlandini	An Executable Semantics of Flexible Plans in Terms of Timed Game Automata.	TIME	2015	DBLP DOI BibTeX RDF

Publications at "TIME"( http://dblp.L3S.de/Venues/TIME )