| |
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 
|
| |
Computer Aided Verification (2009), pp. 715-720.
|
| |
Logic for Programming, Artificial Intelligence, and Reasoning In Lecture Notes in Computer Science, Vol. 4246 (2006), pp. 497-511.
|
| |
Logic for Programming, Artificial Intelligence, and Reasoning In Lecture Notes in Computer Science, Vol. 5330 (2008), pp. 258-273.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2009), pp. 174-177.
|
| |
In Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP (August 2009), pp. 163-171.
|
| |
In Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing (August 2009), pp. 1418-1427.
|
| |
In Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP (August 2009), pp. 567-575.
|
| |
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. 462-476.
|
| |
Principles and Practice of Constraint Programming (1994), pp. 109-122.
|
| |
In ISSTA '09: Proceedings of the eighteenth international symposium on Software testing and analysis (2009), pp. 105-116.
|
| |
Computer Aided Verification (2009), pp. 509-524.
|
| |
In ACL-44: Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics (2006), pp. 721-728.
|
| |
Comput. Linguist., Vol. 30, No. 2. (2004), pp. 205-225.
|
| |
Theory and Applications of Satisfiability Testing - SAT 2006 (2006), pp. 170-183.
posted to smt by gkatsi
on 2009-07-21 15:21:08
as
|
| |
Computer Aided Verification (2006), pp. 81-94.
|
| |
Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International In Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International (2005), pp. 44b-44b.
|
| |
Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International In Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International (2006), 10 pp..
|
| |
In VLDB '05: Proceedings of the 31st international conference on Very large data bases (2005), pp. 49-60.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 198, No. 2. (06 May 2008), pp. 37-49.
posted to smt by rhishi
on 2009-03-04 23:08:40
as
|
| |
Automated Deduction – CADE-21 (2007), pp. 183-198.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2008), pp. 337-340.
|
| |
Automated Reasoning (2008), pp. 410-425.
|
| |
Automated Reasoning (2008), pp. 475-490.
posted to smt by rhishi
on 2009-03-04 22:44:15
as
|
| |
In Proceedings of ACL-08: HLT (June 2008), pp. 97-105.
|
| |
In Proceedings of the 2008 Conference on Empirical Methods in Natural Language Processing (October 2008), pp. 108-116.
|
| |
In ISSTA '07: Proceedings of the 2007 international symposium on Software testing and analysis (2007), pp. 151-162.
|
| |
In MICRO 35: Proceedings of the 35th annual ACM/IEEE international symposium on Microarchitecture (2002), pp. 419-429.
|
| |
Machine Translation, Vol. 20, No. 1. (March 2006), pp. 43-65.
posted to smt by markusd
on 2008-11-11 12:58:31
as
|
| |
Computer Aided Verification (2005), pp. 335-349.
posted to smt by rhishi
on 2008-11-03 23:34:55
as
|
| |
Journal of Manipulative and Physiological Therapeutics, Vol. 29, No. 9. (November 2006), pp. 726-761.
|
| |
Extremophiles, Vol. 11, No. 4. (July 2007), pp. 637-646.
|
| |
Extremophiles, Vol. 11, No. 1. (1 January 2007), pp. 191-202.
|
| |
Appl. Environ. Microbiol., Vol. 73, No. 7. (1 April 2007), pp. 2110-2117.
|
| |
In ISSTA '08: Proceedings of the 2008 international symposium on Software testing and analysis (2008), pp. 249-260.
|
| |
In Proceedings of the 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics (July 2006), pp. 65-72.
|
| |
In Supercomputing '99: Proceedings of the 1999 ACM/IEEE conference on Supercomputing (CDROM) (1999)
posted to smt tlp by myui
on 2008-05-26 03:03:49
as
|
| |
High-Performance Computer Architecture, 2005. HPCA-11. 11th International Symposium on In High-Performance Computer Architecture, 2005. HPCA-11. 11th International Symposium on (2005), pp. 248-252.
|
| |
In EuroSys '07: Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007 (2007), pp. 47-58.
|
| |
Computer Architecture, 1996 23rd Annual International Symposium on (1996), pp. 191-191.
|
| |
J. Supercomput., Vol. 44, No. 1. (April 2008), pp. 64-97.
|
| |
In ICPP '06: Proceedings of the 2006 International Conference on Parallel Processing (2006), pp. 45-54.
|
| |
In Proceedings of the Second Workshop on Statistical Machine Translation (June 2007), pp. 112-119.
posted to smt by markusd
on 2008-02-26 18:55:28
as
|
| |
In Proceedings on the Workshop on Statistical Machine Translation (June 2006), pp. 31-38.
|
| |
In Human Language Technologies 2007: The Conference of the North American Chapter of the Association for Computational Linguistics; Companion Volume, Short Papers (April 2007), pp. 21-24.
|
| |
In Human Language Technologies 2007: The Conference of the North American Chapter of the Association for Computational Linguistics; Companion Volume, Short Papers (April 2007), pp. 209-212.
|
| |
|
Search
