Searching for authors named "Akash Lal" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Research Statement
- …Research Statement Akash Lal akash@(email omitted); In the modern world, not only is software getting…
- 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
-
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
-
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
-
Solving Multiple Dataflow Queries Using
- …Solving Multiple Dataflow Queries Using WPDSs Akash Lal 1 and Thomas Reps 1,2 1 University…
- 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
-
Noname manuscript No. (will be inserted by the editor) Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
- … Context Bound to Sequential Analysis Akash Lal · Thomas Reps the date of receipt and acceptance should…
- Add To MetaCart
-
Improving Pushdown System Model Checking
- …Improving Pushdown System Model Checking ⋆ Akash Lal 1 and Thomas Reps 1,2 1 University…
- Add To MetaCart
-
Weighted Pushdown Systems and Weighted Transducers
- …Weighted Pushdown Systems and Weighted Transducers Akash Lal 1 , Tayssir Touili 2 , Nicholas Kidd…
- 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 →
