Search results for "TIME"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Zouhaier Brahmia, Fabio Grandi 0001, Barbara Oliboni, Rafik Bouaziz	High-Level Operations for Creation and Maintenance of Temporal and Conventional Schema in the tauXSchema Framework.	TIME	2014	DBLP DOI BibTeX RDF
1	Carlo Comin, Roberto Posenato, Romeo Rizzi	A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games.	TIME	2014	DBLP DOI BibTeX RDF
1	Alessio R. Lomuscio	Advances in Symbolic Model Checking for Multi-agent Systems.	TIME	2014	DBLP DOI BibTeX RDF
1	Fabio Grandi 0001	Lean Index Structures for Snapshot Access in Transaction-Time Databases.	TIME	2014	DBLP DOI BibTeX RDF
1	John Christopher McCabe-Dansted, Mark Reynolds 0001	Fairness with EXPTIME Bundled CTL Tableau.	TIME	2014	DBLP DOI BibTeX RDF
1	Marta Cialdea Mayer, Andrea Orlandini, Alessandro Umbrico	A Formal Account of Planning with Flexible Timelines.	TIME	2014	DBLP DOI BibTeX RDF
1	Alberto Belussi, Sara Migliorini	A Framework for Managing Temporal Dimensions in Archaeological Data.	TIME	2014	DBLP DOI BibTeX RDF
1	Pietro Sala	Approximate Interval-Based Temporal Dependencies: The Complexity Landscape.	TIME	2014	DBLP DOI BibTeX RDF
1	Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri	Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation.	TIME	2014	DBLP DOI BibTeX RDF
1	Angelo Montanari, Marco Pazzaglia, Pietro Sala	Metric Propositional Neighborhood Logic with an Equivalence Relation.	TIME	2014	DBLP DOI BibTeX RDF
1	John Christopher McCabe-Dansted, Mark Reynolds 0001	Verification of Rewrite Rules for Computation Tree Logics.	TIME	2014	DBLP DOI BibTeX RDF
1	Amedeo Cesta, Carlo Combi, François Laroussinie (eds.)	21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014	TIME	2014	DBLP BibTeX RDF
1	Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron	Checking Interval Properties of Computations.	TIME	2014	DBLP DOI BibTeX RDF
1	Carlo A. Furia, Paola Spoletini	Bounded Variability of Metric Temporal Logic.	TIME	2014	DBLP DOI BibTeX RDF
1	Alejandro Sánchez, César Sánchez 0001	Parametrized Verification Diagrams.	TIME	2014	DBLP DOI BibTeX RDF
1	Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya	Partially Punctual Metric Temporal Logic is Decidable.	TIME	2014	DBLP DOI BibTeX RDF
1	Calin Belta	Formal Methods for Dynamical Systems.	TIME	2014	DBLP DOI BibTeX RDF
1	Inès Zouari Turki, Faiza Ghozzi Jedidi, Rafik Bouaziz	Summarizability in Multiversion Data Warehouse.	TIME	2014	DBLP DOI BibTeX RDF
1	Mikael Nilsson, Jonas Kvarnström, Patrick Doherty 0001	Incremental Dynamic Controllability in Cubic Worst-Case Time.	TIME	2014	DBLP DOI BibTeX RDF
1	Anshul Gupta, Sven Schewe	Quantitative Verification in Rational Environments.	TIME	2014	DBLP DOI BibTeX RDF
1	Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001	An Algebraic System of Temporal Structures.	TIME	2013	DBLP DOI BibTeX RDF
1	Marcello M. Bersani, Matteo Rossi 0001, Pierluigi San Pietro	A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic.	TIME	2013	DBLP DOI BibTeX RDF
1	Piero Campalani, Dimitar Misev, Alan Beccati, Peter Baumann 0001	Making Time Just Another Axis in Geospatial Services.	TIME	2013	DBLP DOI BibTeX RDF
1	Ouri Wolfson	Spatio-temporal Competition for Transportation Resources.	TIME	2013	DBLP DOI BibTeX RDF
1	Viktor Schuppan	Extracting Unsatisfiable Cores for LTL via Temporal Resolution.	TIME	2013	DBLP DOI BibTeX RDF
1	James F. Allen	Rethinking Logics of Action and Time.	TIME	2013	DBLP DOI BibTeX RDF
1	Carlos Caleiro, Luca Viganò 0001, Marco Volpe 0001	A Labeled Deduction System for the Logic UB.	TIME	2013	DBLP DOI BibTeX RDF
1	Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001	Complexity of Model Checking over General Linear Time.	TIME	2013	DBLP DOI BibTeX RDF
1	Aaron R. Bradley	Incremental, Inductive Model Checking.	TIME	2013	DBLP DOI BibTeX RDF
1	César Sánchez 0001, Kristen Brent Venable, Esteban Zimányi (eds.)	2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013	TIME	2013	DBLP BibTeX RDF
1	Martin C. Cooper, Frederic Maris, Pierre Régnier	Relaxation of Temporal Planning Problems.	TIME	2013	DBLP DOI BibTeX RDF
1	Elie Fares, Jean-Paul Bodeveix, Mamoun Filali	Event Algebra for Transition Systems Composition - Application to Timed Automata.	TIME	2013	DBLP DOI BibTeX RDF
1	Mark Reynolds 0001	A New Metric Temporal Logic for Hybrid Systems.	TIME	2013	DBLP DOI BibTeX RDF
1	Romeo Rizzi, Roberto Posenato	Optimal Design of Consistent Simple Temporal Networks.	TIME	2013	DBLP DOI BibTeX RDF
1	Kais Klai, Naim Aber, Laure Petrucci	A New Approach to Abstract Reachability State Space of Time Petri Nets.	TIME	2013	DBLP DOI BibTeX RDF
1	Luke Hunsberger	A Faster Execution Algorithm for Dynamically Controllable STNUs.	TIME	2013	DBLP DOI BibTeX RDF
1	Jean-François Condotta, Souhila Kaci	Minimal Consistency Problem of Temporal Qualitative Constraint Networks.	TIME	2013	DBLP DOI BibTeX RDF
1	Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco	A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.	TIME	2013	DBLP DOI BibTeX RDF
1	Jianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He 0001	LTL Satisfiability Checking Revisited.	TIME	2013	DBLP DOI BibTeX RDF
1	César Sánchez 0001, Julián Samborski-Forlese	Efficient Regular Linear Temporal Logic Using Dualization and Stratification.	TIME	2012	DBLP DOI BibTeX RDF
1	Angelo Montanari, Pietro Sala	An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals.	TIME	2012	DBLP DOI BibTeX RDF
1	Kyriacos E. Pavlou, Richard T. Snodgrass	Temporal Implications of Database Information Accountability.	TIME	2012	DBLP DOI BibTeX RDF
1	Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi 0001	A Metric Temporal Logic for Dealing with Zero-Time Transitions.	TIME	2012	DBLP DOI BibTeX RDF
1	Hubie Chen, Michal Wrona	Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction.	TIME	2012	DBLP DOI BibTeX RDF
1	Willem Conradie, Salih Durhan, Guido Sciavicco	An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders.	TIME	2012	DBLP DOI BibTeX RDF
1	Amir Niknafs-Kermani, Boris Konev, Michael Fisher 0001	Symmetric Temporal Theorem Proving.	TIME	2012	DBLP DOI BibTeX RDF
1	Renata C. B. Madeo, Clodoaldo Ap. M. Lima, Sarajane Marques Peres	A Review on Temporal Reasoning Using Support Vector Machines.	TIME	2012	DBLP DOI BibTeX RDF
1	John Christopher McCabe-Dansted	A Tableau for the Combination of CTL and BCTL*.	TIME	2012	DBLP DOI BibTeX RDF
1	Hector Llorens, Naushad UzZaman, James F. Allen	Merging Temporal Annotations.	TIME	2012	DBLP DOI BibTeX RDF
1	Valentin Goranko	Undecidability and Temporal Logic: Some Landmarks from Turing to the Present.	TIME	2012	DBLP DOI BibTeX RDF
1	Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali	Compositional Refinement for Real-Time Systems with Priorities.	TIME	2012	DBLP DOI BibTeX RDF
1	Omar I. Al-Bataineh, Tim French 0002, Terry Woodings	Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL.	TIME	2012	DBLP DOI BibTeX RDF
1	Carlo A. Furia, Paola Spoletini	Automata-based Verification of Linear Temporal Logic Models with Bounded Variability.	TIME	2012	DBLP DOI BibTeX RDF
1	Natasha Alechina	Reasoning about Plan Revision in Agent Programs.	TIME	2012	DBLP DOI BibTeX RDF
1	Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro	Robustness Analysis for Scheduling Problems Using the Inverse Method.	TIME	2012	DBLP DOI BibTeX RDF
1	Esteban Zimányi	Spatio-temporal Data Warehouses and Mobility Data: Current Status and Research Issues.	TIME	2012	DBLP DOI BibTeX RDF
1	Ben C. Moszkowski, Mark Reynolds 0001, Paolo Terenziani (eds.)	19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012	TIME	2012	DBLP BibTeX RDF
1	Chongsheng Zhang, Florent Masseglia, Xiangliang Zhang 0001	Modeling and Clustering Users with Evolving Profiles in Usage Streams.	TIME	2012	DBLP DOI BibTeX RDF
1	Hang Yue, Peter Z. Revesz	TVICS: An Efficient Traffic Video Information Converting System.	TIME	2012	DBLP DOI BibTeX RDF
1	Carlo A. Furia, Paola Spoletini	On Relaxing Metric Information in Linear Temporal Logic.	TIME	2011	DBLP DOI BibTeX RDF
1	Carlo Combi, Martin Leucker, Frank Wolter (eds.)	Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011	TIME	2011	DBLP BibTeX RDF
1	Nir Piterman	p-Automata and Obligation Games.	TIME	2011	DBLP DOI BibTeX RDF
1	Nikolay V. Shilov 0002	Algorithm Design Template Base on Temporal ADT.	TIME	2011	DBLP DOI BibTeX RDF
1	Jef Wijsen	Towards a Foundation of Data Currency.	TIME	2011	DBLP DOI BibTeX RDF
1	Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier	Linear Temporal Logic and Propositional Schemata, Back and Forth.	TIME	2011	DBLP DOI BibTeX RDF
1	Michael R. Hansen, Aske Wiid Brekling	On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic.	TIME	2011	DBLP DOI BibTeX RDF
1	Sven Schewe, Cong Tian	Synthesising Classic and Interval Temporal Logic.	TIME	2011	DBLP DOI BibTeX RDF
1	Mark Reynolds 0001	A Tableau for Until and Since over Linear Time.	TIME	2011	DBLP DOI BibTeX RDF
1	Jean-François Condotta, Dominique D'Almeida	Consistency of Qualitative Constraint Networks from Tree Decompositions.	TIME	2011	DBLP DOI BibTeX RDF
1	David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu	Monitoring Usage-Control Policies in Distributed Systems.	TIME	2011	DBLP DOI BibTeX RDF
1	Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.	TIME	2011	DBLP DOI BibTeX RDF
1	Gerhard Schellhorn	Extending ITL with Interleaved Programs for Interactive Verification.	TIME	2011	DBLP DOI BibTeX RDF
1	Kristen Brent Venable	Temporal Preferences.	TIME	2011	DBLP DOI BibTeX RDF
1	Stefan Rigo, Alberto Lavelli	MulTiSEX - A Multi-language Timex Sequential Extractor.	TIME	2011	DBLP DOI BibTeX RDF
1	Ben C. Moszkowski	Compositional Reasoning Using Intervals and Time Reversal.	TIME	2011	DBLP DOI BibTeX RDF
1	Régis Gascon, Frédéric Mallet, Julien Deantoni	Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL.	TIME	2011	DBLP DOI BibTeX RDF
1	Mohamed Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo	Efficient Encoding of Temporal XML Documents.	TIME	2011	DBLP DOI BibTeX RDF
1	Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco	The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.	TIME	2011	DBLP DOI BibTeX RDF
1	Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif	Interleaved Programs and Rely-Guarantee Reasoning with ITL.	TIME	2011	DBLP DOI BibTeX RDF
1	Alexei Lisitsa 0001	Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics.	TIME	2011	DBLP DOI BibTeX RDF
1	Carlo Combi, Pietro Sala	Temporal Functional Dependencies Based on Interval Relations.	TIME	2011	DBLP DOI BibTeX RDF
1	Michael Grüninger, Darren Ong	Verification of Time Ontologies with Points and Intervals.	TIME	2011	DBLP DOI BibTeX RDF
1	Rajeev Goré, Jimmy Thomson 0001, Florian Widmann	An Experimental Comparison of Theorem Provers for CTL.	TIME	2011	DBLP DOI BibTeX RDF
1	Ian M. Hodkinson	Interval Temporal Logics with Chop-Like Operators.	TIME	2010	DBLP DOI BibTeX RDF
1	François Laroussinie, Antoine Meyer, Eudes Petonnet	Counting LTL.	TIME	2010	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Frederic Maris, Pierre Régnier	Solving Temporally-Cyclic Planning Problems.	TIME	2010	DBLP DOI BibTeX RDF
1	John Christopher McCabe-Dansted, Clare Dixon	CTL-Like Fragments of a Temporal Logic of Robustness.	TIME	2010	DBLP DOI BibTeX RDF
1	Sandie Balaguer, Thomas Chatain, Stefan Haar	A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata.	TIME	2010	DBLP DOI BibTeX RDF
1	Kostas Patroumpas, Timos K. Sellis	Multi-granular Time-Based Sliding Windows over Data Streams.	TIME	2010	DBLP DOI BibTeX RDF
1	Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala	Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders.	TIME	2010	DBLP DOI BibTeX RDF
1	Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi 0001, Pierluigi San Pietro	Bounded Reachability for Temporal Logic over Constraint Systems.	TIME	2010	DBLP DOI BibTeX RDF
1	Béatrice Bérard, Serge Haddad, Mathieu Sassolas	Real Time Properties for Interrupt Timed Automata.	TIME	2010	DBLP DOI BibTeX RDF
1	Luke Hunsberger	A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks.	TIME	2010	DBLP DOI BibTeX RDF
1	Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan	Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic.	TIME	2010	DBLP DOI BibTeX RDF
1	Lamia Belouaer, Maroua Bouzid, Abdel-Illah Mouaddib	Ontology Based Spatial Planning for Human-Robot Interaction.	TIME	2010	DBLP DOI BibTeX RDF
1	Philippe Balbiani	Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints.	TIME	2010	DBLP DOI BibTeX RDF
1	Martin Leucker, César Sánchez 0001	Regular Linear-Time Temporal Logic.	TIME	2010	DBLP DOI BibTeX RDF
1	Sergios Petridis, Georgios Paliouras, Stavros J. Perantonis	Allen's Hourglass: Probabilistic Treatment of Interval Relations.	TIME	2010	DBLP DOI BibTeX RDF
1	Massimo Benerecetti, Stefano Minopoli, Adriano Peron	Analysis of Timed Recursive State Machines.	TIME	2010	DBLP DOI BibTeX RDF
1	Carlo Combi, Roberto Posenato	Towards Temporal Controllabilities for Workflow Schemata.	TIME	2010	DBLP DOI BibTeX RDF

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