| |
Computer Aided Verification (2001), pp. 144-154.
|
| |
Computer Aided Verification (2000), pp. 85-98.
posted to smt by rhishi
on 2009-11-26 20:47:40
as 
|
| |
In DAC '01: Proceedings of the 38th annual Design Automation Conference (2001), pp. 530-535.
|
| |
Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794.
|
| |
Computer Aided Verification (2000), pp. 154-169.
|
| |
The Journal of Symbolic Logic, Vol. 22, No. 3. (September 1957), pp. 250-268.
|
| |
The Journal of Symbolic Logic, Vol. 22, No. 3. (September 1957), pp. 269-285.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2003), pp. 2-17.
|
| |
Computer Aided Verification (2003), pp. 1-13.
|
| |
Computer Aided Verification (2008), pp. 254-267.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 125, No. 3. (18 July 2005), pp. 13-23.
posted to smt by rhishi
on 2009-10-01 02:30:29
as
|
| |
Theoretical Computer Science, Vol. 345, No. 1. (21 November 2005), pp. 101-121.
|
| |
Computer Aided Verification (2009), pp. 248-262.
|
| |
No. UCB/EECS-2009-41. (Mar 2009)
|
| |
Computer Aided Verification (2009), pp. 462-476.
|
| |
Computer Aided Verification (2009), pp. 414-429.
by Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, et al.Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir Frolov, Erik Reeber, Armaghan Naik
|
| |
Computer Aided Verification (2009), pp. 1-15.
|
| |
Principles and Practice of Constraint Programming (1994), pp. 109-122.
|
| |
In PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation (2009), pp. 188-198.
|
| |
In ISSTA '09: Proceedings of the eighteenth international symposium on Software testing and analysis (2009), pp. 105-116.
|
| |
Formal Methods in System Design, Vol. 35, No. 1. (1 August 2009), pp. 73-97.
|
| |
Computer Aided Verification (2009), pp. 509-524.
|
| |
Model Checking Software (2009), pp. 68-87.
|
| |
Lecture Notes in Computer Science In Computer Aided Verification (2009), pp. 668-674.
|
| |
No. UCB/EECS-2009-95. (June 2009)
|
| |
Computer Aided Verification (2005), pp. 505-518.
|
| |
In FMCAD '07: Proceedings of the Formal Methods in Computer Aided Design (2007), pp. 101-108.
|
| |
In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 2-15.
|
| |
In ASPLOS '09: Proceeding of the 14th international conference on Architectural support for programming languages and operating systems (2009), pp. 25-36.
|
| |
In ASPLOS XIII: Proceedings of the 13th international conference on Architectural support for programming languages and operating systems (2008), pp. 329-339.
|
| |
Principles and Practice of Constraint Programming – CP 2003 (2003), pp. 1-18.
posted to sat by rhishi
on 2009-06-25 16:23:09
as
|
| |
In ICCAD '07: Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design (2007), pp. 258-265.
|
| |
Programming Languages and Systems (2009), pp. 394-409.
|
| |
Lecture Notes in Computer Science In Computer Aided Verification (2008), pp. 52-65.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2009), pp. 155-169.
|
| |
In PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation (June 2009)
|
| |
In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008), pp. 293-303.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 30, No. 4. (2008), pp. 1-53.
|
| |
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2004), pp. 256-267.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2009), pp. 174-177.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 58-70.
|
| |
ACM Trans. Comput. Syst., Vol. 17, No. 2. (1999), pp. 133-152.
|
| |
Formal Methods in System Design, Vol. 32, No. 3. (1 June 2008), pp. 175-205.
|
| |
Recent Advances in Parallel Virtual Machine and Message Passing Interface (2008), pp. 248-256.
|
| |
In PADTAD '07: Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging (2007), pp. 43-53.
|
| |
In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2005), pp. 110-121.
|
| |
In Proc. Workshop on Parallel and Distributed Algorithms (1989), pp. 215-226.
|
| |
Commun. ACM, Vol. 21, No. 7. (July 1978), pp. 558-565.
|
| |
In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 47-54.
|
| |
Theoretical Computer Science, Vol. In Press, Accepted Manuscript
|
Search
