Skip to main content
SpringerLink
Log in
Book cover

Algebraic Informatics

6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Andreas Maletti

    1. Institut für Maschinelle, Universität Stuttgart, Stuttgart, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CAI 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Learning Weighted Automata

    • Borja Balle, Mehryar Mohri
    Pages 1-21

  3. More Than 1700 Years of Word Equations

    • Volker Diekert
    Pages 22-28

  4. An Algebraic Geometric Approach to Multidimensional Words

    • Jarkko Kari, Michal Szabados
    Pages 29-42

  5. Why We Need Semirings in Automata Theory (Extended Abstract)

    • Werner Kuich
    Pages 43-44

  6. Unbordered Pictures: Properties and Construction

    • Marcella Anselmo, Dora Giammarresi, Maria Madonia
    Pages 45-57

  7. Effective Invariant Theory of Permutation Groups Using Representation Theory

    • Nicolas Borie
    Pages 58-69

  8. On Differential Uniformity of Maps that May Hide an Algebraic Trapdoor

    • Marco Calderini, Massimiliano Sala
    Pages 70-78

  9. On the Lower Block Triangular Nature of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions

    • Deepak Kumar Dalai
    Pages 79-89

  10. Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics

    • Manfred Droste, Doreen Heusel, Heiko Vogler
    Pages 90-102

  11. A New Partial Key Exposure Attack on Multi-power RSA

    • Muhammed F. Esgin, Mehmet S. Kiraz, Osmanbey Uzunkol
    Pages 103-114

  12. A Chomsky-Schützenberger Theorem for Weighted Automata with Storage

    • Luisa Herrmann, Heiko Vogler
    Pages 115-127

  13. EF+EX Forest Algebras

    • Andreas Krebs, Howard Straubing
    Pages 128-139

  14. On Near Prime-Order Elliptic Curves with Small Embedding Degrees

    • Duc-Phong Le, Nadia El Mrabet, Chik How Tan
    Pages 140-151

  15. Key-Policy Multi-authority Attribute-Based Encryption

    • Riccardo Longo, Chiara Marcolla, Massimiliano Sala
    Pages 152-164

  16. Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree

    • Atsuko Miyaji, Xiaonan Shi, Satoru Tanaka
    Pages 165-175

  17. Complexity of Uniform Membership of Context-Free Tree Grammars

    • Johannes Osterholzer
    Pages 176-188

  18. Attacking BEAR and LION Schemes in a Realistic Scenario

    • Matteo Piva, Marco Pizzato, Massimiliano Sala
    Pages 189-195

  19. Weighted Restarting Automata and Pushdown Relations

    • Qichao Wang, Norbert Hundeshagen, Friedrich Otto
    Pages 196-207

  20. Equivalence Checking Problem for Finite State Transducers over Semigroups

    • Vladimir A. Zakharov
    Pages 208-221
Back to top

Other volumes

  1. Algebraic Informatics

Keywords

About this book

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, held in Stuttgart, Germany, in September 2015.

The 15 revised full papers presented were carefully reviewed and selected from 25 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.






Editors and Affiliations

  • Institut für Maschinelle, Universität Stuttgart, Stuttgart, Germany

    Andreas Maletti

About the editor









Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation