| |
|
| |
Formal Aspects of Computing, Vol. 10, No. 4. (21 April 1998), pp. 381-404.
|
| |
Model Checking Software (2009), pp. 174-191.
|
| |
Minds and Machines, Vol. 18, pp. 527-546.
|
| |
Central European History, Vol. 37, No. 01. (2004), pp. 49-90.
|
| |
Computer Security -- ESORICS 2005 In Computer Security -- ESORICS 2005, Vol. 3679 (2005), pp. 418-437.
|
| |
Computer Communications, Vol. 31, No. 5. (25 March 2008), pp. 962-979.
|
| |
In IWCMC 2006, International conference on Wireless Communications and Mobile Computing (3 June 2006), pp. 1447-1452.
|
| |
|
| |
Personal, Indoor and Mobile Radio Communications, 2005. PIMRC 2005. IEEE 16th International Symposium on In PIMRC 2005, 16th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Vol. 3 (11 September 2005), pp. 1747-1752.
|
| |
Perspectives on Psychological Science, Vol. 3, No. 3. (May 2008), pp. 173-192.
|
| |
Computer Aided Verification (1997), pp. 72-83.
|
| |
Verification, Model Checking, and Abstract Interpretation (2006), pp. 381-397.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2006), pp. 212-226.
|
| |
Verification, Model Checking, and Abstract Interpretation In VMCAI, Vol. 3855 (2006), pp. 126-141.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems In TACAS, Vol. 4963 (2008), pp. 33-47.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 5. (September 1994), pp. 1512-1542.
|
| |
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.
|
| |
Journal of the ACM, Vol. 50, No. 5. (01 September 2003), pp. 752-794.
|
| |
In HiPC '02: Proceedings of the 9th International Conference on High Performance Computing (2002), pp. 663-678.
|
| |
Commun. ACM, Vol. 9, No. 3. (March 1966), pp. 157-166.
|
| |
Algebraic Methodology and Software Technology (2006), pp. 338-352.
|
| |
Theoretical Aspects of Computing - ICTAC 2008 (2008), pp. 111-125.
|
| |
Journal of The Royal Society Interface, Vol. 6, No. Suppl 4. (6 August 2009), pp. S437-S450.
|
| |
Verification, Model Checking, and Abstract Interpretation (2008), pp. 248-262.
|
| |
Verification, Model Checking, and Abstract Interpretation (2005), pp. 216-232.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2004), pp. 546-560.
|
| |
Information and Computation, Vol. 206, No. 11. (November 2008), pp. 1313-1333.
|
| |
In Automatic Verification Methods for Finite State Systems, Vol. 407 (1989), pp. 232-246.
|
| |
Mathematics of Program Construction (2008), pp. 110-133.
|
| |
Commun. ACM, Vol. 50, No. 4. (April 2007), pp. 36-42.
|
| |
ACM Comput. Surv., Vol. 24, No. 2. (June 1992), pp. 131-183.
|
| |
|
| |
Cognitive Science: A Multidisciplinary Journal, Vol. 29, No. 1. (2005), pp. 103-134.
|
| |
Enterprise Distributed Object Computing Conference (EDOC '08) In Proceeding of the 12th Int'l IEEE Enterprise Distributed Object Computing Conference (EDOC '08) (2008), pp. 325-331.
|
| |
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS-03) (June 2003)
|
| |
In AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development (2007), pp. 135-148.
|
| |
Foundations of Intelligent Systems (2008), pp. 441-450.
|
| |
Trends in biotechnology, Vol. 26, No. 10. (October 2008), pp. 538-544.
|
| |
|
| |
Minds and Machines, Vol. 18, No. 3. (2008), pp. 303-329.
|
| |
FME 2002:Formal Methods—Getting IT Right (2002), pp. 1-3.
|
| |
Model Checking Software (2003), pp. 624-624.
|
| |
SIGPLAN Not., Vol. 39, No. 1. (January 2004), pp. 232-244.
|
| |
|
| |
In SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data (2008), pp. 1099-1110.
|
| |
Commun. ACM, Vol. 50, No. 4. (April 2007), pp. 36-42.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 314-343.
|
| |
|
| |
In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 203-213.
|
Search
