Skip to main content
SpringerLink
Log in

Algebraic Informatics

9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Dimitrios Poulakis

    1. Aristotle University of Thessaloniki, Thessaloniki, Greece

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. George Rahonis

    1. Aristotle University of Thessaloniki, Thessaloniki, Greece

    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 13706)

Included in the following conference series:

Conference proceedings info: CAI 2022.

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 EPUB and 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

About this book

This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–29, 2022.

The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in this volume were carefully reviewed and selected from 17 submissions. The papers contain original and unpublished research; the topics of them lie in automata theory, cryptography, coding theory, DNA computation, computer algebra, and theory of software architectures.

Similar content being viewed by others

Keywords

Table of contents (15 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  3. Contributed Papers

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change

      • Valentin Bakoev
      Pages 43-54

    3. Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity

      • Danai Balla, Pourandokht Behrouz, Panagiotis Grontas, Aris Pagourtzis, Marianna Spyrakou, Giannis Vrettos
      Pages 55-68

    4. Finding Points on Elliptic Curves with Coppersmith’s Method

      • Virgile Dossou-Yovo, Abderrahmane Nitaj, Alain Togbé
      Pages 69-80

    5. Weighted Propositional Configuration Logic over De Morgan Algebras

      • Leonidas Efstathiadis
      Pages 81-100

    6. Weighted Two-Way Transducers

      • Fan Feng, Andreas Maletti
      Pages 101-114

    7. A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures

      • Christina Chrysovalanti Fountoukidou, Maria Pittou
      Pages 115-135

    8. Watson-Crick Powers of a Word

      • Lila Kari, Kalpana Mahalingam
      Pages 136-148

    9. A Normal Form for Matrix Multiplication Schemes

      • Manuel Kauers, Jakob Moosbauer
      Pages 149-160

    10. Bideterministic Weighted Automata

      • Peter Kostolányi
      Pages 161-174

    11. How to Decide Functionality of Compositions of Top-Down Tree Transducers

      • Sebastian Maneth, Helmut Seidl, Martin Vu
      Pages 175-191

    12. Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations

      • Ivana Micić, Zorana Jančić, Stefan Stanimirović
      Pages 192-202

    13. When Variable-Length Codes Meet the Field of Error Detection

      • Jean Néraud
      Pages 203-222

  4. Back Matter

    Pages 223-223
    Download chapter PDF
Back to top

Other volumes

  1. Algebraic Informatics

Editors and Affiliations

  • Aristotle University of Thessaloniki, Thessaloniki, Greece

    Dimitrios Poulakis, George Rahonis

Bibliographic Information

  • Book Title: Algebraic Informatics

  • Book Subtitle: 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings

  • Editors: Dimitrios Poulakis, George Rahonis

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-19685-0

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022

  • Softcover ISBN: 978-3-031-19684-3Published: 18 October 2022

  • eBook ISBN: 978-3-031-19685-0Published: 17 October 2022

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 223

  • Number of Illustrations: 18 b/w illustrations, 1 illustrations in colour

  • Topics: Logics and Meanings of Programs

  • Industry Sectors: Aerospace, Electronics, IT & Software, Telecommunications

Publish with us

Policies and ethics

Back to top

Search

Navigation