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 .