A Closed Form for Datalog Queries with Integer Order

Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information

STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management

How to Compose Presburger-Accelerations: Applications to Broadcast Protocols

FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science

Model Checking for Timed Logic Processes

CL '00 Proceedings of the First International Conference on Computational Logic

Real-Counter automata and their decision problems

FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science