Parosh Abdulla

Uppsala University - Uppsala / Sweden

Engineering & Technology / Computer Science

AD Scientific Index ID: 1147543

Uppsala Universitet

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Uppsala University

Parosh Abdulla's MOST POPULAR ARTICLES

1-) General decidability theorems for infinite-state systems Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE …, 1996

2-) Verifying programs with unreliable channels information and computation 127 (2), 91-101, 1996

3-) Symbolic reachability analysis based on SAT-solvers International Conference on Tools and Algorithms for the Construction and …, 2000

4-) Algorithmic analysis of programs with well quasi-ordered domains Information and Computation 160 (1), 109-127, 2000

5-) Optimal dynamic partial order reduction ACM SIGPLAN Notices 49 (1), 373-384, 2014

ARTICLES

Add your articles