CAI

Keyphrases

Publications

2022

Leonidas Efstathiadis
Weighted Propositional Configuration Logic over De Morgan Algebras. CAI (2022)
Manuel Kauers, Jakob Moosbauer
A Normal Form for Matrix Multiplication Schemes. CAI (2022)
Sebastian Maneth, Helmut Seidl, Martin Vu
How to Decide Functionality of Compositions of Top-Down Tree Transducers. CAI (2022)
Jean Néraud
When Variable-Length Codes Meet the Field of Error Detection. CAI (2022)
Peter Kostolányi
Bideterministic Weighted Automata. CAI (2022)
Yuri Matiyasevich
On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function. CAI (2022)
Jean-Éric Pin
Shuffle Product of Regular Languages: Results and Open Problems. CAI (2022)
Christina Chrysovalanti Fountoukidou, Maria Pittou
A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures. CAI (2022)
Danai Balla, Pourandokht Behrouz, Panagiotis Grontas, Aris Pagourtzis, Marianna Spyrakou, Giannis Vrettos
Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity. CAI (2022)
Fan Feng, Andreas Maletti
Weighted Two-Way Transducers. CAI (2022)
Stéphane Ballet, Robert Rolland
Chaining Multiplications in Finite Fields with Chudnovsky-Type Algorithms and Tensor Rank of the k-Multiplication. CAI (2022)
Valentin P. Bakoev
Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change. CAI (2022)
Virgile Dossou-Yovo, Abderrahmane Nitaj, Alain Togbé
Finding Points on Elliptic Curves with Coppersmith's Method. CAI (2022)
Ivana Micic, Zorana Jancic, Stefan Stanimirovic
Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations. CAI (2022)
Lila Kari, Kalpana Mahalingam
Watson-Crick Powers of a Word. CAI (2022)

volume 13706, 2022

Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings CAI 13706 (2022)

2019

volume 11545, 2019

Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings CAI 11545 (2019)

2015

volume 9270, 2015

Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings CAI 9270 (2015)