yusuke1997/dblp-id-title huggingface dataset:
Extracting Interval Temporal Logic Rules: A First Approach
Event Algebra for Transition Systems Composition - Application to Timed Automata
Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words
Temporal Query Languages Expressive Power: µTL versus T-WHILE
Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic
Reasoning about the Temporal Aspects of Interacting Agents
Symmetric Temporal Theorem Proving
A Lattice of Classes of User-Defined Symbolic Periodicities
A model to perform knowledge-based temporal abstraction over multiple signals
Automated Natural Deduction for Propositional Linear-Time Temporal Logic
Summarizability in Multiversion Data Warehouse
Measuring, monitoring and controlling software maintenance efforts
Prompting LLMs for the Run-Time Event Calculus (Short Paper)
14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain
Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001
Temporal Ensemble Logic for Integrative Representation of the Entirety of Clinical Trials
Investigation of Database Models for Evolving Graphs
Towards a Theory of Movie Database Queries
Undecidability and Temporal Logic: Some Landmarks from Turing to the Present
Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity
Case-based reasoning with temporal data
A New Approach to Abstract Reachability State Space of Time Petri Nets
A Trace Semantics for Positive Core XPath
Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case
Version Management and Historical Queries in Digital Libraries
Extracting Uncertain Temporal Relations from Mined Frequent Sequences
Adaptive Interpolation Algorithms for Temporal-Oriented Datasets
The Fully Hybrid mu-Calculus
Population Based Methods for Optimising Infinite Behaviours of Timed Automata
Verification of Time Ontologies with Points and Intervals
On the Freeze Quantifier in Constraint LTL: Decidability and Complexity
Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL
Temporal Relations of Intervals with a Gap
A Calculus of Macro-Events: Progress Report
Mining Significant Temporal Networks Is Polynomial
On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning
Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper)
Contingent Durations in Temporal CSPs: From Consistency to Controllabilities
Building Logical Specifications of Temporal Granularities through Algebraic Operators
5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998
Index Based Processing of Semi-Restrictive Temporal Joins
Deterministic CTL Query Solving
Gaining Efficiency and Flexibility in the Simple Temporal Problem
Towards Formal Verification of Distributed Algorithms
Ontology Based Spatial Planning for Human-Robot Interaction
An automaton-based approach to the verification of timed workflow schemas
Results on Alternating-Time Temporal Logics with Linear Past
Temporal Reasoning with Classes and Instances of Events
Automated Verification of Continuous Time Systems by Discrete Temporal Induction
Irrelevance in Uncertain Temporal Reasoning
An optimal tableau for Right Propositional Neighborhood Logic over Trees
Performance of Querying Temporal Attributes in Object-Relational Databases
Reasoning about Concurrent Actions within Features and Fluents
On-line transportation Scheduling using Spatio-Temporal Reasoning
Spatio-temporal Data Warehouses and Mobility Data: Current Status and Research Issues
Visit Probability in Space-Time Prisms for Moving Object Data (Short Paper)
Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation
A Temporal Object-Oriented Data Model with Multiple Granularities
Querying Multiple Temporal Granularity Data
Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora
Modal Logics of Knowledge and Tim
Decentralised Runtime Verification of Timed Regular Expressions
Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems
Interval Temporal Logics Model Checking
Knowledge-Based Temporal Interpolation
Linear Temporal Logic and Propositional Schemata, Back and Forth
Learning preferences on temporal constraints: a preliminary report
An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge
Dense Time Reasoning via Mosaics
Lean Index Structures for Snapshot Access in Transaction-Time Databases
Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract)
Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics
Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk)
Conceptual Modeling of Temporal Clinical Workflows
Metric Propositional Neighborhood Logic with an Equivalence Relation
Temporal Data Obsolescence: Modelling Problems
Visual Verification of Temporal Properties
Discovering Predictive Dependencies on Multi-Temporal Relations
k-Anonymity in Databases with Timestamped Data
Undecidability of Interval Temporal Logics with the Overlap Modality
Temporal Logic with Recursion
A Model for Time Granularity in Natural Language
An Executable Semantics of Flexible Plans in Terms of Timed Game Automata
Complexity of Model Checking over General Linear Time
Temporal Bayesian Networks
LOLA: Runtime Monitoring of Synchronous Systems
Temporal Considerations in DJ Mix Information Retrieval and Generation (Short Paper)
PMTV: A Schema Versioning Approach for Bi-Temporal Databases
TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings
Representing trends and trend dependencies with multiple granularities
Real-Time Higher-Order Recursion Schemes
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN
What Killed the Cat? Towards a Logical Formalization of Curiosity (And Suspense, and Surprise) in Narratives
Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty
Hybrid Logics on Linear Structures: Expressivity and Complexity
An Application-independent Support System for Integrated Assumption-based Temporal Reasoning
Checking Interval Properties of Computations
Conceptual and Metaphysical Origins and Relevance of Temporal Logic
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders
Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal Databases
Efficient Encoding of Temporal XML Documents
Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems
Window-Slicing Techniques Extended to Spanning-Event Streams
On the Decidability of a Fragment of preferential LTL
On Effective Data Clustering in Bitemporal Databases
Satisfying a Fragment of XQuery by Branching-Time Reduction
Is There a Future for Deductive Temporal Verification?
Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk)
Verification of Rewrite Rules for Computation Tree Logics
Learning Temporal Properties from Event Logs via Sequential Analysis
A One-Pass Tree-Shaped Tableau for Defeasible LTL
CME: A Temporal Relational Model for Efficient Coalescing
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner
Web services for time granularity reasoning
Good Friends are Hard to Find!
On the Representation of Temporal Object Roles in Object Oriented Databases
Definability and decidability of binary predicates for time granularity
Logical Data Expiration
13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary
The Expressive Power of the English Temporal Preposition System
Extended Time Constraints for Sequence Mining
Labeled Natural Deduction Systems for a Family of Tense Logics
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata
Querying Music Notation
Logic Programming with Temporal Constraints
Bounded Variability of Metric Temporal Logic
Configuration Logic: A Multi-site Modal Logic
Temporal Resolution: A Breadth-First Search Approach
Qualitative past Timeline-Based Games (Extended Abstract)
Introducing Interdependent Simple Temporal Networks with Uncertainty for Multi-Agent Temporal Planning
The Horn Fragment of Branching Algebra
Synthesising Classic and Interval Temporal Logic
Safety and Liveness on Finite Words
On the Complexity of Fragments of Horn Modal Logics
Qualitative Temporal Reasoning: Theory and Practice (Abstract)
1½-Player Stochastic StopWatch Games
15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Montréal, Canada, 16-18 June 2008
Merging Temporal Annotations
CTL-Like Fragments of a Temporal Logic of Robustness
From Quantified CTL to QBF
4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997
A Better Algorithm for Converting an STNU into Minimal Dispatchable Form
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
Compositional Refinement for Real-Time Systems with Priorities
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape
24th International Symposium on Temporal Representation and Reasoning, TIME 2017, Mons, Belgium, October 16-18, 2017
Possible and Certain Answers for Queries over Order-Incomplete Data
A Benchmark for Early Time-Series Classification (Extended Abstract)
A Relational Algebra for Streaming Tables Living in a Temporal Database World
On First-Order Query Rewriting for Incomplete Database Histories
A Note on C² Interpreted over Finite Data-Words
Navigating Through Multiple Temporal Granularity Objects
Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities (Invited Talk)
A Labeled Deduction System for the Logic UB
The Temporal Vadalog System (Short Paper)
Efficient Handling of Context Dependency in the Cached Event Calculus
Robust Execution of Probabilistic STNs
Propagating Possibilistic Temporal Constraints
Real-Time Model Checking: Algorithms and Complexity
Temporal Reasoning in Plan Management (Abstract)
On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic
Symbolic Representation of User-Defined Time Granularities
Model Checking for the Full Hybrid Computation Tree Logic
The AXML Artifact Model
Estimating Uncertain Relations between Indeterminate Points and Intervals
Kernel Machines in Time (Invited Talk)
Efficient Bit-Level Model Reductions for Automated Hardware Verification
Combining Simultaneous Values and Temporal Data Dependencies
Temporal Functional Dependencies Based on Interval Relations
Consistency of Qualitative Constraint Networks from Tree Decompositions
Entities and Relations for Historical Relational Databases
Practical Temporal Reasoning for Real Scheduling Applications
Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols
A Metric Temporal Logic for Dealing with Zero-Time Transitions
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa
Effective Data Integration in the Presence of Temporal Semantic Conflicts
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders
TVICS: An Efficient Traffic Video Information Converting System
istributed States Logic
Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topology
A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games
Optimization of Nonsequenced Queries Using Log-Segmented Timestamps
Strategic Reasoning Under Imperfect Information with Synchronous Semantics (Invited Talk)
Temporal Prepositions and Their Logic
Similarity Search for Spatial Trajectories Using Online Lower Bounding DTW and Presorting Strategies
Time Series Anomaly Detection Leveraging MSE Feedback with AutoEncoder and RNN
Compositional Reasoning Using Intervals and Time Reversal
Modelling Systems over General Linear Time
Time in Liverpool - An Overview of Temporal Research in the Logic and Computation Group
Unifying Sequenced and Non-sequenced Semantics
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015
Decidability via Mosaics for Bundled Ockhamist Logic
Monitoring Usage-Control Policies in Distributed Systems
Embedding a Timing System in TLC
A Quantitative Extension of Interval Temporal Logic over Infinite Words
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time
LSCPM: Communities in Massive Real-World Link Streams by Clique Percolation Method
Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic
Nonmonotonic Reasoning on a Constructive Time Structure
Temporal XML? SQL Strikes Back!
10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia
Intervals, Points, and Branching Time
Metric Linear-Time Temporal Logic with Strict First-Time Semantics
Temporal Arithmetic Mixing Months and Days
Compositional Temporal Logic Based on Partial Order
On the Computation of Nash Equilibria in Games on Graphs (Invited Talk)
A recursive temporal algebra and temporal completeness
Translating Temporal SQL to Nested SQL
Computing the Fourier Transformation over Temporal Data Streams (Invited Talk)
Interpolation and Separation Problems for Linear Temporal Logics (Invited Talk)
Relaxation of Temporal Planning Problems
Closure Properties of Classes of Spatio-Temporal Objects under Boolean Set Operations
Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk)
Robustness Analysis for Scheduling Problems Using the Inverse Method
Hierarchical Cost-Parity Games
A Possibility Theory-based Approach for Handling of Uncertain Relations Between Temporal Points
Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty
Interval Temporal Logics with Chop-Like Operators
Time-Aware Probabilistic Knowledge Graphs
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability
Temporal reasoning with aspectual adverbs
The Model Checking Fingerprints of CTL Operators
A Translation of Probabilistic Event Calculus into Markov Decision Processes (Short Paper)
Model Checking CTL is Almost Always Inherently Sequential
A Faster Algorithm for Finding Negative Cycles in Simple Temporal Networks with Uncertainty
Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models
Aggregation Estimation for 2D Moving Points
In time alone: on the computational power of querying the history
Mapping Temporal Planning Constraints into Timed Automata
Towards Temporal Controllabilities for Workflow Schemata
Moving Spaces
A General Framework and Reasoning Model for Time Granularity
Task Scheduling for a TemporalWorkflow Management System
Hybrid Temporal Reasoning for Planning and Scheduling
Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks
GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract)
Towards a Formal Framework for Spatio-Temporal Granularities
A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks
Combining Free Choice and Time in Petri Nets
Processing Disjunctions of Temporal Constraints
Temporal Relations with Signals: The Case of Italian Temporal Prepositions
Fairness with EXPTIME Bundled CTL Tableau
Extending the Range of Temporal Specifications of the Run-Time Event Calculus
Minimisation of Models Satisfying CTL Formulas
Specification of Evolving Privacy Policies for Online Social Networks
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
Reasoning about agents in the KARO framework
Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk)
Temporal Reasoning with Fuzzy Time-Objects
Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies
Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract)
A Greedy Approach Towards Parsimonious Temporal Aggregation
Temporal Implications of Database Information Accountability
Expiration of Historical Databases
Towards a Foundation of Data Currency
Parametric Model Checking Continuous-Time Markov Chains
DyST: Dynamic and Scalable Temporal Text Indexing
A Resolution Method For CTL Branching-Time Temporal Logic
Navigating through Hierarchical Change Propagation in Spatiotemporal Queries
A Clausal Resolution Method for Extended Computation Tree Logic ECTL
From Unstructured Data to Narrative Abstractive Summaries (Invited Talk)
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
Efficient Rectangle Indexing Algorithms Based on Point Dominance
Fast Feature Extraction for Time Series Analysis Using Least-Squares Approximations with Orthogonal Basis Functions
Modularity and Temporal Reasoning: A Logic Programming Approach
19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012
Efficient Regular Linear Temporal Logic Using Dualization and Stratification
Verifying Autonomous Robots: Challenges and Reflections (Invited Talk)
Temporal Modalities in Answer Set Programming (Invited Talk)
Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems
Modal Event Calculi with Preconditions
Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule
Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic
Time Aware Mining of Itemsets
An XML-Based Framework for Temporal Database Implementation
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report
Learning Qualitative Constraint Networks
Model Checking mu-Calculus in Well-Structured Transition Systems
Incremental, Inductive Model Checking
Ultimately Periodic Simple Temporal Problems (UPSTPs)
Analysis of Timed Recursive State Machines
Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description)
On Relaxing Metric Information in Linear Temporal Logic
Validation of long-term signatures
Analysis of Revocation Strategies for Anonymous Idemix Credentials
Communications and Multimedia Security, 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 - June 2, 2010. Proceedings
Multipoint-to-Multipoint Secure-Messaging with Threshold-Regulated Authorisation and Sabotage Detection
Communications and Multimedia Security - 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15-18, 2004, Windermere, The Lake District, United Kingdom
Towards authentication using mobile devices
Digital signatures and electronic documents: a cautionary tale
A Fair Anonymous Submission and Review System
A Scalable Wireless Routing Protocol Secure against Route Truncation Attacks
Privacy Management in Global Organisations
Attribute Delegation Based on Ontologies and Context Information
Transferability in Coin Systems with Observers
Attack Graph Based Evaluation of Network Security
Entropy of Graphical Passwords: Towards an Information-Theoretic Analysis of Face-Recognition Based Authentication
A Key Embedded Video Codec for Secure Video Multicast
Decentralised Access Control in 802.11 Networks
Systematic Engineering of Control Protocols for Covert Channels
Hardware Based Security Enhanced Direct Memory Access
Privacy-Preserving Scheduling Mechanism for eHealth Systems
Cryptanalysis of a Voting Scheme
Selective Encryption of the JPEG2000 Bitstream
ISDN LAN Access: Remote Access Security and User Profile Management
An Equivalent Access Based Approach for Building Collaboration Model between Distinct Access Control Models
Trustworthy Software Development
SocACL: An ASP-Based Access Control Language for Online Social Networks
Encryption System Based on Neutral Network
A Privacy Agent in Context-Aware Ubiquitous Computing Environments
A mac-layer security architecture for cable networks
Secure and anonymous multicast framework
From Panopticon to Fresnel, Dispelling a False Sense of Security
Personal Attributes and Privacy - How to ensure that private attribute management is not subverted by datamining
What You See Is What You Sign - Trustworthy Display of XML Documents for Signing and Verification
Local Management of Credits and Debits in Mobile Ad Hoc Networks
Virtual Hidden Network
TAO: Protecting Against Hitlist Worms Using Transparent Address Obfuscation
Document Authentication Using 2D Codes: Maximizing the Decoding Performance Using Statistical Inference
A Robust Audio Watermarking Scheme Based on MPEG 1 Layer 3 Compression
Dynamic Parameter Reconnaissance for Stealthy DoS Attack within Cloud Systems
A Federated Cloud Identity Broker-Model for Enhanced Privacy via Proxy Re-Encryption
Efficient Oblivious Proofs of Correct Exponentiation
SIP Proxies: New Reflectors in the Internet
An Elliptic Curve Random Number Generator
An Instruction Set Extension for Fast and Memory-Efficient AES Implementation
A Secure Perceptual Hash Algorithm for Image Content Authentication
No Tradeoff between Confidentiality and Performance: An Analysis on H.264/SVC Partial Encryption
Identity Based DRM: Personal Entertainment Domain
Integrating XML Linked Time-Stamps in OASIS Digital Signature Services
Adding Support to XACML for Dynamic Delegation of Authority in Multiple Domains
How to Make a Federation Manageable
A Generic Architecture for Web Applications to Support Threat Analysis of Infrastructural Components
Semantically Extended Digital Watermarking Model for Multimedia Content
Anonymous Authentication from Public-Key Encryption Revisited - (Extended Abstract)
E-Learning of IT Security Threats: A Game Prototype for Children
Threat Modelling for Web Services Based Web Applications
System Security Assessment through Specification Mutations and Fault Injection
From Protecting a System to Protecting a Global Ecosystem
A New Approach to Commutative Watermarking-Encryption
Large Scale distributed watermarking of multicast media through encryption
Towards an IPv6-Based Security Framework for Distributed Storage Resources
On the security of a structural proven signer ordering multisignature scheme
Compression of Encrypted Visual Data
Equivalence Analysis Among DIH, SPA, and RS Steganalysis Methods
Security Warnings for Children's Smart Phones: A First Design Approach
Theoretic Performance Analysis of a Watermarking System based on Bernoulli Chaotic Sequences
OOXML File Analysis of the July 22nd Terrorist Manual
Mobile Trust Negotiation - Authentication and Authorization in Dynamic Mobile Networks
A New Authentication Protocol for Portable Communication Systems
Watermarking and Secure Distribution for Encrypted Video
Predicate-Tree Based Pretty Good Privacy of Data
Some Critical Aspects of the PKIX TSP
A Modular Test Platform for Evaluation of Security Protocols in NFC Applications
Are 128 Bits Long Keys Possible in Watermarking?
Verifier-Tuple as a Classifier for Biometric Handwriting Authentication - Combination of Syntax and Semantics
Introduction to Attribute Based Searchable Encryption