| |
Formal Methods and Software Engineering In Formal Methods and Software Engineering, Vol. 4789 (2007), pp. 151-170.
|
| |
Formal Methods and Software Engineering (2009), pp. 20-48.
|
| |
In WWW '09: Proceedings of the 18th international conference on World wide web (April 2009), pp. 351-360.
|
| |
In MM '09: Proceedings of the seventeen ACM international conference on Multimedia (2009), pp. 573-576.
|
| |
Multimedia and Expo, 2009. ICME 2009. IEEE International Conference on (18 August 2009), pp. 350-353.
|
| |
In WSMC '09: Proceedings of the 1st workshop on Web-scale multimedia corpus (2009), pp. 17-24.
|
| |
|
| |
B’98: Recent Advances in the Development and Use of the B Method In B’98: Recent Advances in the Development and Use of the B Method, Vol. 1393 (1998), pp. 46-65.
|
| |
FM 2009: Formal Methods (2009), pp. 579-595.
|
| |
Science of Computer Programming (2010)
|
| |
Information Processing Letters, Vol. 25, No. 2. (06 May 1987), pp. 71-76.
|
| |
Automated Technology for Verification and Analysis (2009), pp. 21-21.
|
| |
Algebra and Coalgebra in Computer Science (2009), pp. 367-382.
|
| |
Conceptual Modeling — ER '97 (1997), pp. 155-168.
|
| |
Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. 10th International Symposium on In 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Vol. 0 (18 September 2008), pp. 340-347.
|
| |
Proceedings of the National Academy of Sciences, Vol. 105, No. 51. (23 December 2008), pp. 20239-20244.
|
| |
Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 38-62.
|
| |
Annals of Mathematics and Artificial Intelligence (2009)
|
| |
Science of Computer Programming, Vol. 51, No. 1-2. (May 2004), pp. 23-45.
|
| |
Model Checking Software (2009), pp. 174-191.
|
| |
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on In Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2005), pp. 363-373.
|
| |
Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 43-59.
|
| |
|
| |
Nucleic Acids Res, Vol. 33, No. 14. (2005), pp. 4496-4506.
|
| |
Proteins: Structure, Function, and Bioinformatics, Vol. 59, No. 4. (01 June 2005), pp. 662-672.
by Aart J. Nederveen, Jurgen F. Doreleijers, Wim Vranken, et al.Zachary Miller, Chris A. E. M. Spronk, Sander B. Nabuurs, Peter Güntert, Miron Livny, John L. Markley, Michael Nilges, Eldon L. Ulrich, Robert Kaptein, Alexandre M. J. J. Bonvin
|
| |
Design Studies, Vol. 17, No. 1. (January 1996), pp. 19-33.
|
| |
Proteins: Structure, Function, and Bioinformatics, Vol. 76, No. 3. (15 August 2009), pp. 665-676.
|
| |
In Programming Methodology (2003), pp. 441-460.
|
| |
Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 60-74.
|
| |
Software and Systems Modeling, Vol. 6, No. 2. (1 June 2007), pp. 185-204.
|
| |
Integrated Formal Methods In Integrated Formal Methods, Vol. 5423 (2009), pp. 20-38.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 133-154.
|
| |
Formal Aspects of Computing, Vol. 21, No. 1. (1 February 2009), pp. 3-32.
|
| |
Software and Systems Modeling, Vol. 4, No. 4. (17 November 2005), pp. 355-357.
|
| |
Journal of Computational Physics (30 May 2009)
|
| |
Journal of Computational Physics (19 May 2009)
|
| |
Formal Aspects of Computing, Vol. 10, No. 3. (21 March 1998), pp. 267-289.
|
| |
IBM Journal of Research and Development, Vol. 31, No. 5. (1987), pp. 546-555.
|
| |
The Computer Journal, Vol. 35, No. 5. (1 October 1992), pp. 441-450.
|
| |
Journal of the ACM, Vol. 24, No. 1. (1977), pp. 44-67.
|
| |
In POPL '75: Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1975), pp. 54-66.
|
| |
Proteins: Structure, Function, and Bioinformatics, Vol. 77, No. 1. (24 March 2009), pp. 220-234.
|
| |
Software and Systems Modeling, Vol. 8, No. 1. (2009), pp. 45-65.
|
| |
IEEE Symposium on Security and Privacy In IEEE Symposium on Security and Privacy (1996), pp. 12-21.
|
| |
VDM '91 Formal Software Development Methods In VDM '91 Formal Software Development Methods, Vol. 552 (1991), pp. 79-140.
|
| |
ACM Transactions in Programming Languages and Systems, Vol. 10, No. 3. (1988), pp. 403-419.
|
| |
IEEE Transactions on Circuits and Systems for Video Technology, Vol. 14, No. 4. (April 2004), pp. 462-474.
|
| |
|
| |
Web Intelligence, 2005. Proceedings. The 2005 IEEE/WIC/ACM International Conference on In Web Intelligence, 2005. Proceedings. The 2005 IEEE/WIC/ACM International Conference on (2005), pp. 657-665.
|
| |
Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the In Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the (2004), pp. 168-177.
|
Search
