2. UMC 2000: Brussel, Belgium

Ioannis Antoniou, Cristian Calude, Michael J. Dinneen (Eds.): Unconventional Models of Computation, UMC'2K, Proceedings of the Second International Conference, Brussel, Belgium, 13-16 December 2000. Springer 2001, ISBN 1-85233-415-0 BibTeX

@proceedings{DBLP:conf/umc/2000,
  editor    = {Ioannis Antoniou and
               Cristian Calude and
               Michael J. Dinneen},
  title     = {Unconventional Models of Computation, UMC'2K, Proceedings of
               the Second International Conference, Brussel, Belgium, 13-16
               December 2000},
  booktitle = {UMC},
  publisher = {Springer},
  year      = {2001},
  isbn      = {1-85233-415-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited papers

Luigi Accardi, Ruben Sabbadini: On the Ohya-Masuda Quantum SAT Algorithm. 1-9 BibTeX
Ioannis Antoniou, Viktor V. Ivanov: Compuatational Methods and Tools for Modeling and Analysis of Complex Processes. 10-24 BibTeX
Symeon Bozapalidis: Quantum Recognizable Tree Functions. 25-47 BibTeX
Karl Gustafson: An Unconventional Computational Linear Algebra: Operator Trigonometry. 48-67 BibTeX
Tom Head: Splicing Systems, Aqueous Computing, and Beyond. 68-84 BibTeX
Takeyuki Hida: Some Methods of Computation in White Noise Calculus. 85-93 BibTeX
Gheorghe Paun: Computing with Membranes: Attacking NP-Complete Problems. 94-115 BibTeX
Grzegorz Rozenberg: DNA Processing in Ciliates - the Wonders of DNA Computing in vivo. 116-118 BibTeX
Hava T. Siegelmann, Asa Ben-Hur: Macroscopical Molecular Computation with Gene Networks. 119-120 BibTeX
Erik Winfree: In-vitro Transcriptional Circuits. 121-122 BibTeX

Contributed papers

Hideaki Abe, Shao Chin Sung: Parallelizing with Limited Number of Ancillae. 123-134 BibTeX
Manuel Lameiras Campagnolo, Cristopher Moore: Upper and Lower Bounds on Continuous-Time Computation. 135-153 BibTeX
Carlos Martín-Vide, Victor Mitrana: P Systems with Valuations. 154-166 BibTeX
Anna B. Mikhaylova, Boris S. Pavlov: The Quantum Domain As a Triadic Relay. 167-186 BibTeX
Andrei Paun: On P Systems with Active Membranes. 187-201 BibTeX
Ferdinand Peper: Spatial Computing on Self-Timed Cellular Automata. 202-214 BibTeX
Asaki Saiton, Kunihiko Kaneko: Inaccessibility in Decision Procedures. 215-233 BibTeX
Yuzuru Sato, Makoto Taiji, Takashi Ikegami: On the Power of Nonlinear Mappings in Switching Map Systems. 234-247 BibTeX
Karl Svozil: Quantum Information: The New Frontier. 248-272 BibTeX
Christino Tamon, Tomoyuki Yamakami: Quantum Computation Relative to Oracles. 273-288 BibTeX
Claudio Zandron, Claudio Ferretti, Giancarlo Mauri: Solving NP-Complete Problems Using P Systems with Active Membranes. 289-301 BibTeX