Lecture Notes in Computer Science - Theory and Applications of Models of Computation
Latest Publications

TOTAL DOCUMENTS

51

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540792277, 9783540792284

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Derandomizing Graph Tests for Homomorphism

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_9 ◽

2008 ◽

pp. 105-115

Author(s):

Angsheng Li ◽

Linqing Tang

Download Full-text

A Logic for Distributed Higher Order π-Calculus

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_31 ◽

2008 ◽

pp. 351-363

Author(s):

Zining Cao

Keyword(s):

Higher Order ◽

Download Full-text

A Characterisation of the Relations Definable in Presburger Arithmetic

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_23 ◽

2008 ◽

pp. 258-269 ◽

Author(s):

Mathias Barra

Keyword(s):

Presburger Arithmetic

Download Full-text

Extensions of Embeddings in the Computably Enumerable Degrees

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_18 ◽

2008 ◽

pp. 204-211

Author(s):

Jitai Zhao

Keyword(s):

Computably Enumerable

Download Full-text

Distance Constrained Labelings of Trees

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_11 ◽

2008 ◽

pp. 125-135 ◽

Author(s):

Jiří Fiala ◽

Petr A. Golovach ◽

Jan Kratochvíl

Download Full-text

Quantum Walk Based Search Algorithms

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_3 ◽

2008 ◽

pp. 31-46 ◽

Author(s):

Miklos Santha

Keyword(s):

Quantum Walk ◽

Search Algorithms

Download Full-text

Approximating Border Length for DNA Microarray Synthesis

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_36 ◽

2008 ◽

pp. 410-422 ◽

Author(s):

Cindy Y. Li ◽

Prudence W. H. Wong ◽

Qin Xin ◽

Fencol C. C. Yung

Keyword(s):

Download Full-text

Genome Rearrangement Algorithms for Unsigned Permutations with O(logn) Singletons

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_5 ◽

2008 ◽

pp. 59-69

Author(s):

Xiaowen Lou ◽

Daming Zhu

Keyword(s):

Genome Rearrangement

Download Full-text

Search Space Reductions for Nearest-Neighbor Queries

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_48 ◽

2008 ◽

pp. 554-567 ◽

Author(s):

Micah Adler ◽

Brent Heeringa

Keyword(s):

Nearest Neighbor ◽

Search Space ◽

Nearest Neighbor Queries

Download Full-text

Speeding up Dynamic Programming for Some NP-Hard Graph Recoloring Problems

Lecture Notes in Computer Science - Theory and Applications of Models of Computation ◽

10.1007/978-3-540-79228-4_43 ◽

2008 ◽

pp. 490-501 ◽

Author(s):

Oriana Ponta ◽

Falk Hüffner ◽

Rolf Niedermeier

Keyword(s):

Dynamic Programming ◽

Download Full-text