Limit search to available items
Book Cover
Author CAI (Conference) (5th : 2013 : Porquerolles Island, France)

Title Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings / Traian Muntean, Dimitrios Poulakis, Robert Rolland (eds.)
Published Berlin : Springer, [2013]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (x, 275 pages) : 14 illustrations
Series Lecture notes in computer science, 0302-9743 ; 8080
Lecture notes in computer science ; 8080
Contents Invited Speakers -- Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems / Gul Agha -- Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata / Christel Baier -- On Elliptic Curve Paillier Schemes / Marc Joye -- Proofs of Storage: Theory, Constructions and Applications / Seny Kamara -- Code Based Cryptography and Steganography / Pascal Véron -- Contributed Papers -- Strong Prefix Codes of Pictures / Marcella Anselmo, Dora Giammarresi, Maria Madonia -- The Algebraic Theory of Parikh Automata / Michaël Cadilhac, Andreas Krebs, Pierre McKenzie -- Generalized AG Codes as Evaluation Codes / Marco Calderini, Massimiliano Sala -- Osculating Spaces of Varieties and Linear Network Codes / Johan P. Hansen -- On Sets of Numbers Rationally Represented in a Rational Base Number System / Victor Marsault, Jacques Sakarovitch -- A New Bound for Cyclic Codes Beating the Roos Bound / Matteo Piva, Massimiliano Sala -- On a Conjecture of Helleseth / Yves Aubry, Philippe Langevin -- Lattice Attacks on DSA Schemes Based on Lagrange's Algorithm / Konstantinos Draziotis, Dimitrios Poulakis -- Side Channel Attacks against Pairing over Theta Functions / Nadia El Mrabet -- On the Efficient Generation of Generalized MNT Elliptic Curves / Georgios Fotiadis, Elisavet Konstantinou -- Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication in any Finite Field / Stéphane Ballet, Jean Chaumine, Julia Pieltant -- Stochastic Equationality / Symeon Bozapalidis, George Rahonis -- On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers / Sebastian Junges [and others] -- Approximation of Large Probabilistic Networks by Structured Population Protocols / Michel de Rougemont, Mathieu Tracol -- Model-Checking by Infinite Fly-Automata / Bruno Courcelle, Irène Durand -- A Selection-Quotient Process for Packed Word Hopf Algebra / Gérard H.E. Duchamp, Nguyen Hoang-Nghia, Adrian Tanasa -- Synchronous Forest Substitution Grammars / Andreas Maletti -- Characterizations of Weighted First-Order Logics over Semirings / Eleni Mandrali, George Rahonis -- Linear Induction Algebra and a Normal Form for Linear Operators / Laurent Poinsot
Summary This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling
Bibliography Includes bibliographical references and index
Notes Online resource; title from PDF title page (SpringerLink, viewed October 3, 2013)
Subject Programming languages (Electronic computers) -- Semantics -- Congresses.
Algebra -- Data processing -- Congresses.
Electronic Data Processing.
Programming Languages.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Muntean, Traian, editor
Poulakis, Dimitrios, editor
Rolland, Robert, editor
ISBN 9783642406638 (electronic bk.)
3642406637 (electronic bk.)