| |
|
| |
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.
|
| |
In MM '09: Proceedings of the seventeen ACM international conference on Multimedia (2009), pp. 573-576.
|
| |
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.
|
| |
1995 Asia Pacific Software Engineering Conference In 1995 Asia Pacific Software Engineering Conference (1995), pp. 498-507.
|
| |
In Abstract State Machines, B and Z, Vol. 5238 (2008)
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 309-329.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 277-307.
|
| |
|
Search
