SOFSEM’99: Theory and Practice of Informatics
暂无分享,去创建一个
[1] Michael Conrad,et al. On design principles for a molecular computer , 1985, CACM.
[2] S. J. Goldsack,et al. INTEGRATED FORMAL and OBJECT-ORIENTED METHODS: The VDM ++ Approach , 1996 .
[3] Lucien Hardy. Disentangling Nonlocality and Teleportation , 1999 .
[4] Warren D. Smith. DNA computers in vitro and vivo , 1995, DNA Based Computers.
[5] Kevin Lano,et al. Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation , 1997, ECOOP.
[6] M. Horodecki,et al. Limits for entanglement measures. , 1999, Physical review letters.
[7] Peter Gorm Larsen,et al. The IFAD VDM-SL toolbox: a practical approach to formal specifications , 1994, SIGP.
[8] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[9] Sten Agerholm. Translating Specifications in VDM-SL to PVS , 1996, TPHOLs.
[10] Buzek,et al. Quantum copying: Beyond the no-cloning theorem. , 1996, Physical review. A, Atomic, molecular, and optical physics.
[11] Barenco,et al. Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.
[12] James L. Winkler,et al. Accessing Genetic Information with High-Density DNA Arrays , 1996, Science.
[13] I. Chuang,et al. Quantum Teleportation is a Universal Computational Primitive , 1999, quant-ph/9908010.
[14] L. Goldenberg,et al. Quantum Gambling , 1998, quant-ph/9808001.
[15] N. Seeman,et al. Design and self-assembly of two-dimensional DNA crystals , 1998, Nature.
[16] Sten Agerholm,et al. Formal specification and validation at work: a case study using VDM-SL , 1998, FMSP '98.
[17] John Fitzgerald. Modularity in model-oriented formal specifications and its interaction with formal reasoning , 1991, Technical report series : UMCS.
[18] V. Roychowdhury,et al. On Universal and Fault-Tolerant Quantum Computing , 1999, quant-ph/9906054.
[19] M. Horodecki,et al. Separability of mixed states: necessary and sufficient conditions , 1996, quant-ph/9605038.
[20] Brian Matthews,et al. MERILL: An Equational Reasoning System in Standard ML , 1993, RTA.
[21] Steve A. Schneider,et al. Test Case Preparation Using a Prototype , 1998, B.
[22] Dagmar Bruss. Entanglement splitting of pure bipartite quantum states , 1999 .
[23] Ken Barnes,et al. On Self-Assembling Graphs in vitro , 1999, GECCO.
[24] Brian Matthews,et al. The Specification and Proof of an EXPRESS to SQL "Compiler" , 1998, Proof in VDM.
[25] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[26] Natarajan Shankar,et al. PVS: Combining Specification, Proof Checking, and Model Checking , 1996, FMCAD.
[27] Max H. Garzon,et al. A DNA based artificial immune system for self-nonself discrimination , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.
[28] Martyn Amos,et al. The Complexity and Viability of DNA Computations , 1997, BCEC.
[29] M. Hillery,et al. Quantum copying: A network , 1997 .
[30] K. B. Whaley,et al. Robustness of Decoherence-Free Subspaces for Quantum Computation , 1999 .
[31] Charles H. Bennett,et al. The thermodynamics of computation—a review , 1982 .
[32] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[33] Jeremy Dick,et al. A Visual Approach to VDM , 1996, SOFSEM.
[34] Masami Hagiya. Towards Autonomous Molecular Computers , 1998 .
[35] R. Cleve. An Introduction to Quantum Complexity Theory , 1999, quant-ph/9906111.
[36] C. Cantor,et al. Biophysical chemistry. Part III, The behavior of biologicalmacromolecules , 1980 .
[37] Mark C. Paulk,et al. Capability Maturity Model for Software, Version 1.1 , 1993 .
[38] Peter W. Shor,et al. Quantum Information Theory , 1998, IEEE Trans. Inf. Theory.
[39] A. Richard Newton,et al. Formal methods into practice: case studies in the application of the B method , 1997, IEE Proc. Softw. Eng..
[40] Asher Peres,et al. Quantum and classical descriptions of a measuring apparatus , 1998 .
[41] Jeremy Dick,et al. Making the Most of Formal Specification Through Animation, Testing and Proof , 1997, Sci. Comput. Program..
[42] Peter Gorm Larsen,et al. The formal semantics of ISO VDM-SL , 1995 .
[43] Gilles Brassard,et al. Cost of Exactly Simulating Quantum Entanglement with Classical Communication , 1999 .
[44] M. Horodecki,et al. Entanglement and thermodynamical analogies , 1998, quant-ph/9805072.
[45] J. Gruska. Quantum challenges for descriptional complexity , 1999 .