Advertisement

Theoretical Computer Science

8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings

  • Carlo Blundo
  • Cosimo Laneve
Conference proceedings ICTCS 2003

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2841)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Martin Gairing, Thomas Lücking, Marios Mavronicolas, Burkhard Monien, Paul Spirakis
      Pages 1-20
    2. Martin Hofmann
      Pages 21-21
    3. Gérard Boudol
      Pages 22-22
  3. Program Design, Models and Analysis

    1. Harry G. Mairson, Kazushige Terui
      Pages 23-36
    2. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
      Pages 58-71
    3. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
      Pages 72-85
    4. Alberto Bertoni, Carlo Mereghetti, Beatrice Palano
      Pages 86-96
    5. Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
      Pages 97-110
  4. Algorithms and Complexity

    1. Qiwei Huang, Errol Lloyd
      Pages 111-124
    2. Alan A. Bertossi, Cristina M. Pinotti, Romea Rizzi, Anil M. Shende
      Pages 150-162
    3. Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen
      Pages 174-187
    4. K. Subramani
      Pages 188-201
  5. Semantics and Formal Languages

    1. Steffen van Bakel, Ugo de’Liguoro
      Pages 202-215
    2. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
      Pages 228-241
    3. Felice Cardone, Mario Coppo
      Pages 242-255
    4. Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
      Pages 256-270
    5. Daniela Cancila, Furio Honsell
      Pages 271-283
    6. Davide Ancona, Sonia Fagorzi, Elena Zucca
      Pages 284-301
    7. Giovanni Lagorio
      Pages 302-315
  6. Security and Cryptography

    1. Stelvio Cimato, Paolo D’Arco, Ivan Visconti
      Pages 316-328
    2. Anna Lisa Ferrara, Barbara Masucci
      Pages 342-354
    3. Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
      Pages 355-368
    4. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
      Pages 369-382
    5. Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
      Pages 383-396
  7. Back Matter

About these proceedings

Keywords

Java algorithms automata complexity computer science discrete mathematics formal language logic mathematical foundations mathematical logic programming theory theoretical computer science theoretical informatics theory of computing verification

Editors and affiliations

  • Carlo Blundo
    • 1
  • Cosimo Laneve
    • 2
  1. 1.Dipartimento di Informatica e ApplicazioniUniversità degli Studi di SalernoFiscianoItaly
  2. 2.Department of Computer ScienceUniversity of Bologna 

Bibliographic information

  • DOI https://doi.org/10.1007/b13810
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20216-5
  • Online ISBN 978-3-540-45208-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site