The following pages link to Ashish Kumar Tiwari (Q1611409):
Displaying 20 items.
- Automated Reasoning (Q5307051) (← links)
- Hybrid Systems: Computation and Control (Q5307955) (← links)
- Hybrid Systems: Computation and Control (Q5307959) (← links)
- Computer Aided Verification (Q5312938) (← links)
- Computer Aided Verification (Q5312946) (← links)
- Two-Restricted One Context Unification is in Polynomial Time (Q5351971) (← links)
- Rewriting in Practice (Q5389065) (← links)
- Computer Science Logic (Q5394581) (← links)
- Computer Science Logic (Q5394600) (← links)
- Automated Deduction – CADE-20 (Q5394612) (← links)
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software (Q5429331) (← links)
- Analyzing Pathways Using SAT-Based Approaches (Q5429360) (← links)
- Termination of Rewriting with Right-Flat Rules (Q5432342) (← links)
- Assertion Checking Unified (Q5452620) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465863) (← links)
- Hybrid Systems: Computation and Control (Q5703954) (← links)
- Computing Procedure Summaries for Interprocedural Analysis (Q5756498) (← links)
- Programming Languages and Systems (Q5899021) (← links)
- A self-similar solution for unsteady isothermal and adiabatic flows behind the shock wave in a dusty non-ideal rotating medium under the action of magnetic field (Q6118154) (← links)
- Linear Invariants for Linear Systems (Q6373322) (← links)