Searching for authors named "Akash Lal" – sorted by Number of Citations
19 documents found, showing 1 through 10.
Next 10 →
-
Extended weighted pushdown systems
- …Extended Weighted Pushdown Systems Akash Lal, Thomas Reps, and Gogul Balakrishnan University…
- Cited by 18 (14 self) – Add To MetaCart
-
Improving Pushdown System Model Checking
- …Improving Pushdown System Model Checking ⋆ Akash Lal 1 and Thomas Reps 1,2 1 University…
- Cited by 9 (6 self) – Add To MetaCart
-
Path optimization in programs and its application to debugging
- … Path Optimization in Programs and its Application to Debugging ? Akash Lal, Junghee Lim, Marina…
- Cited by 7 (4 self) – Add To MetaCart
-
Interprocedural analysis of concurrent programs under a context bound
- …Interprocedural Analysis of Concurrent Programs Under a Context Bound ⋆ Akash Lal 1⋆⋆ , Tayssir…
- Cited by 5 (4 self) – Add To MetaCart
-
A Constraint Programming Approach to Cutset Problems
- …A Constraint Programming Approach to Cutset Problems François Fages ⋆ and Akash Lal ⋆⋆ Projet…
- Cited by 4 (0 self) – Add To MetaCart
-
Abstract error projection
- …Abstract Error Projection Akash Lal 1 , Nicholas Kidd 1 , Thomas Reps 1 , and Tayssir Touili 2 1…
- Cited by 4 (4 self) – Add To MetaCart
-
A Global Constraint for Cutset Problems
- …Proceedings CPAIOR'03 A Global Constraint for Cutset Problems Francois Fages and Akash Lal…
- Cited by 2 (0 self) – Add To MetaCart
-
Program Analysis Using Weighted Pushdown Systems ⋆
- …Program Analysis Using Weighted Pushdown Systems ⋆ Thomas Reps, Akash Lal, and Nick Kidd Comp. Sci…
- Cited by 2 (2 self) – Add To MetaCart
-
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
- …Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis Akash Lal and Thomas…
- Cited by 2 (2 self) – Add To MetaCart
-
B.: BTRACE: Path optimization for debugging
- …BTrace: Path Optimization for Debugging ∗
Akash Lal
<akash@(email omitted);>
Marina Polishchuk
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
