Theoretical Computer Science, Volume 283

Volume 283, Number 1, June 2002

Discrete Geometry for Computer Imagery

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BertrandM02
- ask others
Gilles Bertrand, Rémy Malgouyres: Discrete Geometry for Computer Imagery - Preface. 1
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Kong02
- ask others
T. Yung Kong: Topological adjacency relations on Zn. 3-28
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/AyalaDFQ02
- ask others
Rafael Ayala, Eladio Domínguez, Angel R. Francés, Antonio Quintero: Weak lighting functions and strong 26-surfaces. 29-66
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/MalgouyresM02
- ask others
Rémy Malgouyres, Malika More: On the computational complexity of reachability in 2D binary images and some basic problems of 2D digital topology. 67-108
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/FoureyM02
- ask others
Sébastien Fourey, Rémy Malgouyres: Intersection number and topology preservation within digital surfaces. 109-150
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BrimkovB02
- ask others
Valentin E. Brimkov, Reneta P. Barneva: Graceful planes and lines. 151-170
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Gerard02
- ask others
Yan Gérard: Periodic graphs and connectivity of the rational digital hyperplanes. 171-182
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Col02
- ask others
Marie-Andrée Jacob-Da Col: About local configurations in arithmetic planes. 183-201
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/DevillersG02
- ask others
Olivier Devillers, Pierre-Marie Gandoin: Rounding Voronoi diagram. 203-221
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/KubaB02
- ask others
Attila Kuba, Emese Balogh: Reconstruction of convex 2D discrete sets in polynomial time. 223-242
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/TajineR02
- ask others
Mohamed Tajine, Christian Ronse: Topological properties of Hausdorff discretization, and comparison to other discretization schemes. 243-268

Volume 283, Number 2, June 2002

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Gorrieri02
- ask others
Roberto Gorrieri: Editorial. 269-270
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BodeiDFP02
- ask others
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami: Primitives for authentication in process algebras. 271-304
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/DenneyJ02
- ask others
Ewen Denney, Thomas P. Jensen: Correctness of Java card method lookup via logical relations. 305-331
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/GuttmanT02
- ask others
Joshua D. Guttman, F. Javier Thayer: Authentication tests and the structure of bundles. 333-380
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/NielsonNH02
- ask others
Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen: Validating firewalls using flow logics. 381-418
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/ShmatikovM02
- ask others
Vitaly Shmatikov, John C. Mitchell: Finite-state analysis of two contract signing protocols. 419-450