Algebraic Informatics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642406621, 9783642406638

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proofs of Storage: Theory, Constructions and Applications

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_4 ◽

2013 ◽

pp. 7-8 ◽

Cited By ~ 2

Author(s):

Seny Kamara

Keyword(s):

Storage Theory

Download Full-text

Strong Prefix Codes of Pictures

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_6 ◽

2013 ◽

pp. 47-59 ◽

Cited By ~ 9

Author(s):

Marcella Anselmo ◽

Dora Giammarresi ◽

Maria Madonia

Keyword(s):

Prefix Codes

Download Full-text

Approximation of Large Probabilistic Networks by Structured Population Protocols

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_19 ◽

2013 ◽

pp. 199-210

Author(s):

Michel de Rougemont ◽

Mathieu Tracol

Keyword(s):

Probabilistic Networks ◽

Population Protocols ◽

Structured Population

Download Full-text

Generalized AG Codes as Evaluation Codes

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_8 ◽

2013 ◽

pp. 74-82

Author(s):

Marco Calderini ◽

Massimiliano Sala

Keyword(s):

Evaluation Codes ◽

Ag Codes

Download Full-text

Stochastic Equationality

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_17 ◽

2013 ◽

pp. 173-185

Author(s):

Symeon Bozapalidis ◽

George Rahonis

Download Full-text

Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_1 ◽

2013 ◽

pp. 1-3 ◽

Cited By ~ 1

Author(s):

Gul Agha

Keyword(s):

Model Checking ◽

Probabilistic Systems ◽

Quantitative Properties

Download Full-text

On the Efficient Generation of Generalized MNT Elliptic Curves

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_15 ◽

2013 ◽

pp. 147-159 ◽

Cited By ~ 3

Author(s):

Georgios Fotiadis ◽

Elisavet Konstantinou

Keyword(s):

Elliptic Curves ◽

Efficient Generation

Download Full-text

A Selection-Quotient Process for Packed Word Hopf Algebra

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_21 ◽

2013 ◽

pp. 223-234

Author(s):

Gérard H. E. Duchamp ◽

Nguyen Hoang-Nghia ◽

Adrian Tanasa

Keyword(s):

Hopf Algebra

Download Full-text

The Algebraic Theory of Parikh Automata

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_7 ◽

2013 ◽

pp. 60-73 ◽

Cited By ~ 1

Author(s):

Michaël Cadilhac ◽

Andreas Krebs ◽

Pierre McKenzie

Keyword(s):

Algebraic Theory

Download Full-text

Characterizations of Weighted First-Order Logics over Semirings

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_23 ◽

2013 ◽

pp. 247-259 ◽

Cited By ~ 1

Author(s):

Eleni Mandrali ◽

George Rahonis

Keyword(s):

First Order

Download Full-text

Algebraic Informatics - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Proofs of Storage: Theory, Constructions and Applications

Strong Prefix Codes of Pictures

Approximation of Large Probabilistic Networks by Structured Population Protocols

Generalized AG Codes as Evaluation Codes

Stochastic Equationality

Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems

On the Efficient Generation of Generalized MNT Elliptic Curves

A Selection-Quotient Process for Packed Word Hopf Algebra

The Algebraic Theory of Parikh Automata

Characterizations of Weighted First-Order Logics over Semirings

Algebraic Informatics - Lecture Notes in Computer Science
Latest Publications