default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. CAI 2013: Porquerolles, France
- Traian Muntean, Dimitrios Poulakis, Robert Rolland
:
Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings. Lecture Notes in Computer Science 8080, Springer 2013, ISBN 978-3-642-40662-1
Invited Speakers
- Gul Agha:
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. 1-3 - Christel Baier:
Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata. 4-5 - Marc Joye:
On Elliptic Curve Paillier Schemes. 6 - Seny Kamara:
Proofs of Storage: Theory, Constructions and Applications. 7-8 - Pascal Véron:
Code Based Cryptography and Steganography. 9-46
Contributed Papers
- Marcella Anselmo, Dora Giammarresi, Maria Madonia:
Strong Prefix Codes of Pictures. 47-59 - Michaël Cadilhac, Andreas Krebs, Pierre McKenzie:
The Algebraic Theory of Parikh Automata. 60-73 - Marco Calderini, Massimiliano Sala:
Generalized AG Codes as Evaluation Codes. 74-82 - Johan P. Hansen:
Osculating Spaces of Varieties and Linear Network Codes. 83-88 - Victor Marsault, Jacques Sakarovitch:
On Sets of Numbers Rationally Represented in a Rational Base Number System. 89-100 - Matteo Piva, Massimiliano Sala:
A New Bound for Cyclic Codes Beating the Roos Bound. 101-112 - Yves Aubry, Philippe Langevin:
On a Conjecture of Helleseth. 113-118 - Konstantinos Draziotis, Dimitrios Poulakis:
Lattice Attacks on DSA Schemes Based on Lagrange's Algorithm. 119-131 - Nadia El Mrabet:
Side Channel Attacks against Pairing over Theta Functions. 132-146 - Georgios Fotiadis, Elisavet Konstantinou:
On the Efficient Generation of Generalized MNT Elliptic Curves. 147-159 - Stéphane Ballet, Jean Chaumine, Julia Pieltant:
Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite Field. 160-172 - Symeon Bozapalidis, George Rahonis:
Stochastic Equationality. 173-185 - 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. 186-198 - Michel de Rougemont, Mathieu Tracol:
Approximation of Large Probabilistic Networks by Structured Population Protocols. 199-210 - Bruno Courcelle, Irène Durand:
Model-Checking by Infinite Fly-Automata. 211-222 - Gérard Henry Edmond Duchamp, Nguyen Hoang Nghia, Adrian Tanasa:
A Selection-Quotient Process for Packed Word Hopf Algebra. 223-234 - Andreas Maletti:
Synchronous Forest Substitution Grammars. 235-246 - Eleni Mandrali, George Rahonis:
Characterizations of Weighted First-Order Logics over Semirings. 247-259 - Laurent Poinsot:
Linear Induction Algebra and a Normal Form for Linear Operators. 260-273
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
