| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuri V. Matiyasevich |
On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function.  |
CAI  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgile Dossou-Yovo, Abderrahmane Nitaj, Alain Togbé |
Finding Points on Elliptic Curves with Coppersmith's Method. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Kauers, Jakob Moosbauer |
A Normal Form for Matrix Multiplication Schemes. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivana Micic, Zorana Jancic, Stefan Stanimirovic |
Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Néraud |
When Variable-Length Codes Meet the Field of Error Detection. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Kostolányi |
Bideterministic Weighted Automata. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin P. Bakoev |
Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Kalpana Mahalingam |
Watson-Crick Powers of a Word. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Éric Pin |
Shuffle Product of Regular Languages: Results and Open Problems. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fan Feng, Andreas Maletti |
Weighted Two-Way Transducers. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Danai Balla, Pourandokht Behrouz, Panagiotis Grontas, Aris Pagourtzis, Marianna Spyrakou, Giannis Vrettos |
Designated-Verifier Linkable Ring Signatures with Unconditional Anonymity. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Poulakis, George Rahonis (eds.) |
Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christina Chrysovalanti Fountoukidou, Maria Pittou |
A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonidas Efstathiadis |
Weighted Propositional Configuration Logic over De Morgan Algebras. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth, Helmut Seidl, Martin Vu |
How to Decide Functionality of Compositions of Top-Down Tree Transducers. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Ballet, Robert Rolland |
Chaining Multiplications in Finite Fields with Chudnovsky-Type Algorithms and Tensor Rank of the k-Multiplication. |
CAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Betten, Svetlana Topalova, Stela Zhelezova |
Parallelisms of \mathrmPG(3, 4) Invariant Under Cyclic Groups of Order 4. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Ciric 0001, Manfred Droste, Jean-Éric Pin (eds.) |
Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marios Adamoudis, Konstantinos A. Draziotis, Dimitrios Poulakis |
Enhancing an Attack to DSA Schemes. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | James Garrett, Natasa Jonoska, Hwee Kim, Masahico Saito |
Algebraic Systems Motivated by DNA Origami. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hoffmann 0001 |
Commutative Regular Languages - Properties and State Complexity. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles J. Colbourn, Violet R. Syrotiuk |
Detecting Arrays for Main Effects. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Trocado, Laureano González-Vega, José Manuel Dos Santos |
Intersecting Two Quadrics with GeoGebra. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko D. Petkovic, Predrag S. Stanimirovic |
Zeroing Neural Network Based on the Equation AXA = A. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Predrag S. Stanimirovic, Yiming Wei 0001, Dejan Kolundzija, Juan Rafael Sendra, Juana Sendra |
An Application of Computer Algebra and Dynamical Systems. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Trokicic, Branimir Todorovic |
Randomized Nyström Features for Fast Regression: An Error Analysis. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Ballet, Alexis Bonnecaze, Thanh-Hung Dang |
On the Scalar Complexity of Chudnovsky ^2 Multiplication Algorithm in Finite Fields. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Basic, Aleksandar Ilic, Aleksandar Stamenkovic |
Maximal Diameter on a Class of Circulant Graphs. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Regular Languages as Local Functions with Small Alphabets. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Loebl |
The Precise Complexity of Finding Rainbow Even Matchings. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | André Guerino Castoldi, Emerson Luiz do Monte Carmelo, Lucia Moura, Daniel Panario, Brett Stevens |
Bounds on Covering Codes in RT Spaces Using Ordered Covering Arrays. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin P. Bakoev |
Fast Computing the Algebraic Degree of Boolean Functions. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsonka Baicheva, Svetlana Topalova |
On the Diffusion Property of the Improved Generalized Feistel with Different Permutations for Each Round. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, Evgeny Zhereshchin |
Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Mechkaroska, Aleksandra Popovska-Mitrovikj, Verica Bakeva |
New Cryptcodes for Burst Channels. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gastin |
Modular Descriptions of Regular Functions. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp 0001, Heiko Vogler |
Rational Weighted Tree Languages with Storage and the Kleene-Goldstine Theorem. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohsen Bahrami, Bane Vasic |
Constraint Satisfaction Through GBP-Guided Deliberate Bit Flipping. |
CAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Longo, Chiara Marcolla, Massimiliano Sala |
Key-Policy Multi-authority Attribute-Based Encryption. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir A. Zakharov |
Equivalence Checking Problem for Finite State Transducers over Semigroups. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Borie |
Effective Invariant Theory of Permutation Groups Using Representation Theory. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert |
More Than 1700 Years of Word Equations. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Doreen Heusel, Heiko Vogler |
Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Krebs, Howard Straubing |
EF+EX Forest Algebras. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Qichao Wang, Norbert Hundeshagen, Friedrich Otto |
Weighted Restarting Automata and Pushdown Relations. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc-Phong Le, Nadia El Mrabet, Chik How Tan |
On Near Prime-Order Elliptic Curves with Small Embedding Degrees. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarkko Kari, Michal Szabados |
An Algebraic Geometric Approach to Multidimensional Words. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Unbordered Pictures: Properties and Construction. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Osterholzer |
Complexity of Uniform Membership of Context-Free Tree Grammars. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Borja Balle, Mehryar Mohri |
Learning Weighted Automata. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammed F. Esgin, Mehmet Sabir Kiraz, Osmanbey Uzunkol |
A New Partial Key Exposure Attack on Multi-power RSA. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kumar Dalai |
On the Lower Block Triangular Nature of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti (eds.) |
Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Kuich |
Why We Need Semirings in Automata Theory (Extended Abstract). |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Piva, Marco Pizzato, Massimiliano Sala |
Attacking BEAR and LION Schemes in a Realistic Scenario. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsuko Miyaji, Xiaonan Shi, Satoru Tanaka |
Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Calderini, Massimiliano Sala |
On Differential Uniformity of Maps that May Hide an Algebraic Trapdoor. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luisa Herrmann 0001, Heiko Vogler |
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage. |
CAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti |
Synchronous Forest Substitution Grammars. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan P. Hansen |
Osculating Spaces of Varieties and Linear Network Codes. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Joye |
On Elliptic Curve Paillier Schemes. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Calderini, Massimiliano Sala |
Generalized AG Codes as Evaluation Codes. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Marsault, Jacques Sakarovitch |
On Sets of Numbers Rationally Represented in a Rational Base Number System. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Piva, Massimiliano Sala |
A New Bound for Cyclic Codes Beating the Roos Bound. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Ballet, Jean Chaumine, Julia Pieltant |
Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite Field. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha |
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Seny Kamara |
Proofs of Storage: Theory, Constructions and Applications. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia El Mrabet |
Side Channel Attacks against Pairing over Theta Functions. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Aubry, Philippe Langevin |
On a Conjecture of Helleseth. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleni Mandrali, George Rahonis |
Characterizations of Weighted First-Order Logics over Semirings. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Courcelle, Irène Durand |
Model-Checking by Infinite Fly-Automata. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.) |
Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel de Rougemont, Mathieu Tracol |
Approximation of Large Probabilistic Networks by Structured Population Protocols. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám |
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaël Cadilhac, Andreas Krebs, Pierre McKenzie |
The Algebraic Theory of Parikh Automata. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier |
Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Draziotis, Dimitrios Poulakis |
Lattice Attacks on DSA Schemes Based on Lagrange's Algorithm. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Fotiadis, Elisavet Konstantinou |
On the Efficient Generation of Generalized MNT Elliptic Curves. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Symeon Bozapalidis, George Rahonis |
Stochastic Equationality. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Strong Prefix Codes of Pictures. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Véron |
Code Based Cryptography and Steganography. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Henry Edmond Duchamp, Nguyen Hoang Nghia, Adrian Tanasa |
A Selection-Quotient Process for Packed Word Hopf Algebra. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Poinsot |
Linear Induction Algebra and a Normal Form for Linear Operators. |
CAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Deneufchâtel, Gérard Duchamp, Vincel Hoang Ngoc Minh, Allan I. Solomon |
Independence of Hyperlogarithms over Function Fields via Algebraic Combinatorics. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Winkler 0001 (eds.) |
Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Behle, Andreas Krebs, Stephanie Reifferscheid |
Typed Monoids - An Eilenberg-Like Theorem for Non Regular Languages. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Karagiorgos, Dimitrios Poulakis |
An Algorithm for Computing a Basis of a Finite Abelian Group. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sicun Gao, André Platzer, Edmund M. Clarke |
Quantifier Elimination over Finite Fields Using Gröbner Bases. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Kop |
Simplifying Algebraic Functional Systems. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Koukouvinos, Dimitris E. Simos, Zlatko Varbanov |
Hadamard Matrices, Designs and Their Secret-Sharing Schemes. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Benini, Achille Frigeri, Fiorenza Morini |
Codes and Combinatorial Structures from Circular Planar Nearrings. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Éric Pin |
Theme and Variations on the Concatenation Product. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lajos Rónyai, Tamás Mészáros 0001 |
Some Combinatorial Applications of Gröbner Bases. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcella Anselmo, Maria Madonia |
Comparing Necessary Conditions for Recognizability of Two-Dimensional Languages. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Klíma 0001, Miroslav Korbelár, Libor Polák |
Rewriting in Varieties of Idempotent Semigroups. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mamadou Moustapha Kanté, Michaël Rao |
\mathbb F\mathbb F-Rank-Width of (Edge-Colored) Graphs. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Padawitz |
From Grammars and Automata to Algebras and Coalgebras. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl |
Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Loup, Erika Ábrahám |
I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Irini-Eleftheria Mens, George Rahonis |
Variable Tree Automata over Infinite Ranked Alphabets. |
CAI |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license