Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yuri V. Matiyasevich |
On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 15-25, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Virgile Dossou-Yovo, Abderrahmane Nitaj, Alain Togbé |
Finding Points on Elliptic Curves with Coppersmith's Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 69-80, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers, Jakob Moosbauer |
A Normal Form for Matrix Multiplication Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 149-160, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ivana Micic, Zorana Jancic, Stefan Stanimirovic |
Computation of Solutions to Certain Nonlinear Systems of Fuzzy Relation Inequations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 192-202, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jean Néraud |
When Variable-Length Codes Meet the Field of Error Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 203-222, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Peter Kostolányi |
Bideterministic Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 161-174, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Valentin P. Bakoev |
Ordering the Boolean Cube Vectors by Their Weights and with Minimal Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 43-54, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lila Kari, Kalpana Mahalingam |
Watson-Crick Powers of a Word. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 136-148, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Éric Pin |
Shuffle Product of Regular Languages: Results and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 26-39, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fan Feng, Andreas Maletti |
Weighted Two-Way Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 101-114, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 55-68, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-031-19684-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christina Chrysovalanti Fountoukidou, Maria Pittou |
A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 115-135, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Leonidas Efstathiadis |
Weighted Propositional Configuration Logic over De Morgan Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 81-100, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Maneth, Helmut Seidl, Martin Vu |
How to Decide Functionality of Compositions of Top-Down Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 175-191, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 9th International Conference, CAI 2022, Virtual Event, October 27-29, 2022, Proceedings, pp. 3-14, 2022, Springer, 978-3-031-19684-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anton Betten, Svetlana Topalova, Stela Zhelezova |
Parallelisms of \mathrmPG(3, 4) Invariant Under Cyclic Groups of Order 4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 88-99, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-030-21362-6 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marios Adamoudis, Konstantinos A. Draziotis, Dimitrios Poulakis |
Enhancing an Attack to DSA Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 13-25, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | James Garrett, Natasa Jonoska, Hwee Kim, Masahico Saito |
Algebraic Systems Motivated by DNA Origami. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 164-176, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hoffmann 0001 |
Commutative Regular Languages - Properties and State Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 151-163, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Charles J. Colbourn, Violet R. Syrotiuk |
Detecting Arrays for Main Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 112-123, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Trocado, Laureano González-Vega, José Manuel Dos Santos |
Intersecting Two Quadrics with GeoGebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 237-248, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marko D. Petkovic, Predrag S. Stanimirovic |
Zeroing Neural Network Based on the Equation AXA = A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 213-224, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 225-236, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar Trokicic, Branimir Todorovic |
Randomized Nyström Features for Fast Regression: An Error Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 249-257, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 64-75, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Milan Basic, Aleksandar Ilic, Aleksandar Stamenkovic |
Maximal Diameter on a Class of Circulant Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 76-87, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Regular Languages as Local Functions with Small Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 124-137, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Loebl |
The Precise Complexity of Finding Rainbow Even Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 190-201, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 100-111, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Valentin P. Bakoev |
Fast Computing the Algebraic Degree of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 50-63, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 38-49, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 177-189, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Mechkaroska, Aleksandra Popovska-Mitrovikj, Verica Bakeva |
New Cryptcodes for Burst Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 202-212, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paul Gastin |
Modular Descriptions of Regular Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 3-9, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 138-150, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohsen Bahrami, Bane Vasic |
Constraint Satisfaction Through GBP-Guided Deliberate Bit Flipping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings, pp. 26-37, 2019, Springer, 978-3-030-21362-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Longo, Chiara Marcolla, Massimiliano Sala |
Key-Policy Multi-authority Attribute-Based Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 152-164, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir A. Zakharov |
Equivalence Checking Problem for Finite State Transducers over Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 208-221, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Borie |
Effective Invariant Theory of Permutation Groups Using Representation Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 58-69, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert |
More Than 1700 Years of Word Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 22-28, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 90-102, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Krebs, Howard Straubing |
EF+EX Forest Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 128-139, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Qichao Wang, Norbert Hundeshagen, Friedrich Otto |
Weighted Restarting Automata and Pushdown Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 196-207, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 140-151, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jarkko Kari, Michal Szabados |
An Algebraic Geometric Approach to Multidimensional Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 29-42, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Unbordered Pictures: Properties and Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 45-57, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Osterholzer |
Complexity of Uniform Membership of Context-Free Tree Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 176-188, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Borja Balle, Mehryar Mohri |
Learning Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 1-21, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Muhammed F. Esgin, Mehmet Sabir Kiraz, Osmanbey Uzunkol |
A New Partial Key Exposure Attack on Multi-power RSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 103-114, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 79-89, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti (eds.) |
Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-319-23020-7 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Werner Kuich |
Why We Need Semirings in Automata Theory (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 43-44, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Piva, Marco Pizzato, Massimiliano Sala |
Attacking BEAR and LION Schemes in a Realistic Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 189-195, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Atsuko Miyaji, Xiaonan Shi, Satoru Tanaka |
Extended Explicit Relations Between Trace, Definition Field, and Embedding Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 165-175, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Calderini, Massimiliano Sala |
On Differential Uniformity of Maps that May Hide an Algebraic Trapdoor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 70-78, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luisa Herrmann 0001, Heiko Vogler |
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings, pp. 115-127, 2015, Springer, 978-3-319-23020-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti |
Synchronous Forest Substitution Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 235-246, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johan P. Hansen |
Osculating Spaces of Varieties and Linear Network Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 83-88, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marc Joye |
On Elliptic Curve Paillier Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 6, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Calderini, Massimiliano Sala |
Generalized AG Codes as Evaluation Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 74-82, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Victor Marsault, Jacques Sakarovitch |
On Sets of Numbers Rationally Represented in a Rational Base Number System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 89-100, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Piva, Massimiliano Sala |
A New Bound for Cyclic Codes Beating the Roos Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 101-112, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 160-172, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gul Agha |
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 1-3, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Seny Kamara |
Proofs of Storage: Theory, Constructions and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 7-8, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nadia El Mrabet |
Side Channel Attacks against Pairing over Theta Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 132-146, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yves Aubry, Philippe Langevin |
On a Conjecture of Helleseth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 113-118, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eleni Mandrali, George Rahonis |
Characterizations of Weighted First-Order Logics over Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 247-259, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Courcelle, Irène Durand |
Model-Checking by Infinite Fly-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 211-222, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-642-40662-1 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michel de Rougemont, Mathieu Tracol |
Approximation of Large Probabilistic Networks by Structured Population Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 199-210, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 186-198, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Cadilhac, Andreas Krebs, Pierre McKenzie |
The Algebraic Theory of Parikh Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 60-73, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier |
Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 4-5, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Draziotis, Dimitrios Poulakis |
Lattice Attacks on DSA Schemes Based on Lagrange's Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 119-131, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Fotiadis, Elisavet Konstantinou |
On the Efficient Generation of Generalized MNT Elliptic Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 147-159, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Symeon Bozapalidis, George Rahonis |
Stochastic Equationality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 173-185, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
Strong Prefix Codes of Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 47-59, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Véron |
Code Based Cryptography and Steganography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 9-46, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 223-234, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Poinsot |
Linear Induction Algebra and a Normal Form for Linear Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings, pp. 260-273, 2013, Springer, 978-3-642-40662-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 127-139, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Franz Winkler 0001 (eds.) |
Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![Springer, 978-3-642-21492-9 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Behle, Andreas Krebs, Stephanie Reifferscheid |
Typed Monoids - An Eilenberg-Like Theorem for Non Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 97-114, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Karagiorgos, Dimitrios Poulakis |
An Algorithm for Computing a Basis of a Finite Abelian Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 174-184, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sicun Gao, André Platzer, Edmund M. Clarke |
Quantifier Elimination over Finite Fields Using Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 140-157, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Kop |
Simplifying Algebraic Functional Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 201-215, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christos Koukouvinos, Dimitris E. Simos, Zlatko Varbanov |
Hadamard Matrices, Designs and Their Secret-Sharing Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 216-229, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anna Benini, Achille Frigeri, Fiorenza Morini |
Codes and Combinatorial Structures from Circular Planar Nearrings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 115-126, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Éric Pin |
Theme and Variations on the Concatenation Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 44-64, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lajos Rónyai, Tamás Mészáros 0001 |
Some Combinatorial Applications of Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 65-83, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marcella Anselmo, Maria Madonia |
Comparing Necessary Conditions for Recognizability of Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 84-96, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ondrej Klíma 0001, Miroslav Korbelár, Libor Polák |
Rewriting in Varieties of Idempotent Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 185-200, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mamadou Moustapha Kanté, Michaël Rao |
\mathbb F\mathbb F-Rank-Width of (Edge-Colored) Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 158-173, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Padawitz |
From Grammars and Automata to Algebras and Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 21-43, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 1-20, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Loup, Erika Ábrahám |
I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 230-246, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Irini-Eleftheria Mens, George Rahonis |
Variable Tree Automata over Infinite Ranked Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 247-260, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|