Volume 389,
Numbers 1-2,
December 2007
- Ramtin Khosravi, Mohammad Ghodsi:
Query-point visibility constrained shortest paths in simple polygons.
1-11
Electronic Edition (link) BibTeX
- Julien Bernat, Zuzana Masáková, Edita Pelantová:
On a class of infinite words with affine factor complexity.
12-25
Electronic Edition (link) BibTeX
- James Aspnes, Joan Feigenbaum, Aleksandr Yampolskiy, Sheng Zhong:
Towards a theory of data entanglement.
26-43
Electronic Edition (link) BibTeX
- Ilan Gronau, Shlomo Moran:
On the hardness of inferring phylogenies from triplet-dissimilarities.
44-55
Electronic Edition (link) BibTeX
- Tomasz Jurdzinski:
On complexity of grammars related to the safety problem.
56-72
Electronic Edition (link) BibTeX
- Alexander Meduna, Jirí Techet:
Canonical scattered context generators of sentences with their parses.
73-81
Electronic Edition (link) BibTeX
- Minh Ha Le, Thi Ha Duong Phan:
Strict partitions and discrete dynamical systems.
82-90
Electronic Edition (link) BibTeX
- Caterina De Simone, Anna Galluccio:
Edge-colouring of regular graphs of large degree.
91-99
Electronic Edition (link) BibTeX
- Javier Herranz:
Identity-based ring signatures from RSA.
100-117
Electronic Edition (link) BibTeX
- Bo Tan:
Mirror substitutions and palindromic sequences.
118-124
Electronic Edition (link) BibTeX
- Dimitrios Michail:
Reducing rank-maximal to maximum weight matching.
125-132
Electronic Edition (link) BibTeX
- Fábio Viduani Martinez, José Coelho de Pina, José Soares:
Algorithms for terminal Steiner trees.
133-142
Electronic Edition (link) BibTeX
- Yinfeng Xu, Wenqiang Dai, Naoki Katoh, Makoto Ohsaki:
Triangulating a convex polygon with fewer number of non-standard bars.
143-151
Electronic Edition (link) BibTeX
- Oddvar Kloster:
A solution to the Angel Problem.
152-161
Electronic Edition (link) BibTeX
- Ryan C. Harkins, John M. Hitchcock:
Upward separations and weaker hypotheses in resource-bounded measure.
162-171
Electronic Edition (link) BibTeX
- Pascal Koiran, Sylvain Perifel:
The complexity of two problems on arithmetic circuits.
172-181
Electronic Edition (link) BibTeX
- Hsiao-Fei Liu, Kun-Mao Chao:
A tight analysis of the Katriel-Bodlaender algorithm for online topological ordering.
182-189
Electronic Edition (link) BibTeX
- Sanjay Jain, Efim B. Kinber:
Learning languages from positive data and a limited number of short counterexamples.
190-218
Electronic Edition (link) BibTeX
- Vladimir E. Alekseev, Rodica Boliac, Dmitry V. Korobitsyn, Vadim V. Lozin:
NP-hard graph problems and boundary classes of graphs.
219-236
Electronic Edition (link) BibTeX
- Vesa Halava, Tero Harju, Tomi Kärki:
Relational codes of words.
237-249
Electronic Edition (link) BibTeX
- Rui Wang, Francis C. M. Lau, Yan Yan Liu:
On the hardness of minimizing space for all-shortest-path interval routing schemes.
250-264
Electronic Edition (link) BibTeX
- Florin Manea, Robert Mercas:
Freeness of partial words.
265-277
Electronic Edition (link) BibTeX
- Dirk Strothmann:
The affix array data structure and its applications to RNA secondary structure analysis.
278-294
Electronic Edition (link) BibTeX
- Andreas Brandstädt, Chính T. Hoàng:
On clique separators, nearly chordal graphs, and the Maximum Weight Stable Set Problem.
295-306
Electronic Edition (link) BibTeX
- Yo-Sub Han, Yajun Wang, Derick Wood:
Prefix-free regular languages and pattern matching.
307-317
Electronic Edition (link) BibTeX
- Yossi Moshe:
On the subword complexity of Thue-Morse polynomial extractions.
318-329
Electronic Edition (link) BibTeX
Note
Volume 389,
Number 3,
December 2007
Semantic and Logical Foundations of Global Computing Preface
Contributions
- Alexander Ahern, Nobuko Yoshida:
Formalising Java RMI with explicit code mobility.
341-410
Electronic Edition (link) BibTeX
- David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano:
A program logic for resources.
411-445
Electronic Edition (link) BibTeX
- Paolo Baldan, Andrea Bracciali, Roberto Bruni:
A semantic framework for open processes.
446-483
Electronic Edition (link) BibTeX
- Sébastien Briais, Uwe Nestmann:
A formal semantics for protocol narrations.
484-511
Electronic Edition (link) BibTeX
- Konstantinos Chatzikokolakis, Catuscia Palamidessi:
A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange.
512-527
Electronic Edition (link) BibTeX
- Karl Krukow, Andrew Twigg:
The complexity of fixed point models of trust in distributed networks.
528-549
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:13 2009
by Michael Ley (ley@uni-trier.de)
