Algebraic Informatics

5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

  • Traian Muntean
  • Dimitrios Poulakis
  • Robert Rolland
Conference proceedings CAI 2013

DOI: 10.1007/978-3-642-40663-8

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

Table of contents (24 papers)

  1. Front Matter
  2. Invited Speakers

  3. Contributed Papers

    1. Strong Prefix Codes of Pictures
      Marcella Anselmo, Dora Giammarresi, Maria Madonia
      Pages 47-59
    2. The Algebraic Theory of Parikh Automata
      Michaël Cadilhac, Andreas Krebs, Pierre McKenzie
      Pages 60-73
    3. Generalized AG Codes as Evaluation Codes
      Marco Calderini, Massimiliano Sala
      Pages 74-82
    4. On Sets of Numbers Rationally Represented in a Rational Base Number System
      Victor Marsault, Jacques Sakarovitch
      Pages 89-100
    5. A New Bound for Cyclic Codes Beating the Roos Bound
      Matteo Piva, Massimiliano Sala
      Pages 101-112
    6. On a Conjecture of Helleseth
      Yves Aubry, Philippe Langevin
      Pages 113-118
    7. Lattice Attacks on DSA Schemes Based on Lagrange’s Algorithm
      Konstantinos Draziotis, Dimitrios Poulakis
      Pages 119-131
    8. On the Efficient Generation of Generalized MNT Elliptic Curves
      Georgios Fotiadis, Elisavet Konstantinou
      Pages 147-159
    9. Stochastic Equationality
      Symeon Bozapalidis, George Rahonis
      Pages 173-185
    10. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers
      Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám
      Pages 186-198

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.

Keywords

algebraic groups automata theory comma codes complexity theory grammar systems

Editors and affiliations

  • Traian Muntean
    • 1
  • Dimitrios Poulakis
    • 2
  • Robert Rolland
    • 3
  1. 1.ERISCS Research Group, Parc Scientifique deAix-Marseille UniversityMarseille CEDEX 9France
  2. 2.Department of MathematicsAristotle University of ThessalonikiThessalonikiGreece
  3. 3.ERISCS Research Group and IML Research Laboratory, Parc Scientifique deAix-Marseille UniversityMarseilleFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-40662-1
  • Online ISBN 978-3-642-40663-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349