The complexity of linear problems in fields
Journal of Symbolic Computation
The complexity of almost linear diophantine problems
Journal of Symbolic Computation
Complexity and uniformity of elimination in Presburger arithmetic
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
REDLOG: computer algebra meets computer logic
ACM SIGSAM Bulletin
Nonlinear control system design by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Robust multi-objective feedback design by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Simulation and optimization by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
Computational Geometry Problems in REDLOG
Selected Papers from the International Workshop on Automated Deduction in Geometry
Deciding linear-trigonometric problems
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Deciding linear-exponential problems
ACM SIGSAM Bulletin
Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Decidable Classes of the Verification Problem in a Timed Predicate Logic
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Computer algebra handbook
Information flow in hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
An effective decision procedure for linear arithmetic over the integers and reals
ACM Transactions on Computational Logic (TOCL)
Efficient path conditions in dependence graphs for software safety analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Bounds on the automata size for Presburger arithmetic
ACM Transactions on Computational Logic (TOCL)
Durations and parametric model-checking in timed automata
ACM Transactions on Computational Logic (TOCL)
Proof Synthesis and Reflection for Linear Arithmetic
Journal of Automated Reasoning
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Don't care words with an application to the automata-based approach for real addition
Formal Methods in System Design
Expressive power of hybrid systems with real variables, integer variables and arrays
Journal of Automata, Languages and Combinatorics
Combining logical and algebraic techniques for natural style proving in elementary analysis
Mathematics and Computers in Simulation
A Generalization of Semenov's Theorem to Automata over Real Numbers
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Ordered sets in the calculus of data structures
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Simulator for real-time abstract state machines
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
The power of hybrid acceleration
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Verifying mixed real-integer quantifier elimination
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Verification in predicate logic with time: algorithmic questions
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Quantifier elimination for constraint logic programming
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Real-Counter automata and their decision problems
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Automatic parallelization of recursive functions using quantifier elimination
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Hi-index | 0.00 |