On deciding stability of scheduling policies in queueing systems
SODA '00 Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms
On deciding stability of constrained random walks and queueing systems
ACM SIGMETRICS Performance Evaluation Review
On the presence of periodic configurations in Turing machines and in counter machines
Theoretical Computer Science
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
ICDT '03 Proceedings of the 9th International Conference on Database Theory
The Stability of Saturated Linear Dynamical Systems Is Undecidable
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
On a Conjecture of Kurka. A Turing Machine with No Periodic Configurations
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Theoretical Computer Science - Database theory
A Decidable Class of Planar Linear Hybrid Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
On the undecidability of the tiling problem
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Termination of linear programs with nonlinear constraints
Journal of Symbolic Computation
Computation in one-dimensional piecewise maps and planar pseudo-billiard systems
UC'05 Proceedings of the 4th international conference on Unconventional Computation
Termination of integer linear programs
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
The discrete time behavior of lazy linear hybrid automata
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
On the termination of integer loops
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
On the Termination of Integer Loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 5.23 |