Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cai/cai2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/cai/Agha13,
author = {Gul Agha},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Euclidean Model Checking: {A} Scalable Method for Verifying Quantitative
Properties in Probabilistic Systems},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {1--3},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_1},
doi = {10.1007/978-3-642-40663-8\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/Agha13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/AnselmoGM13,
author = {Marcella Anselmo and
Dora Giammarresi and
Maria Madonia},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Strong Prefix Codes of Pictures},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {47--59},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_6},
doi = {10.1007/978-3-642-40663-8\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/AnselmoGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/AubryL13,
author = {Yves Aubry and
Philippe Langevin},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {On a Conjecture of Helleseth},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {113--118},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_12},
doi = {10.1007/978-3-642-40663-8\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/AubryL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/Baier13,
author = {Christel Baier},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Quantitative Analysis of Randomized Distributed Systems and Probabilistic
Automata},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {4--5},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_2},
doi = {10.1007/978-3-642-40663-8\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/Baier13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/BalletCP13,
author = {St{\'{e}}phane Ballet and
Jean Chaumine and
Julia Pieltant},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Shimura Modular Curves and Asymptotic Symmetric Tensor Rank of Multiplication
in any Finite Field},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {160--172},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_16},
doi = {10.1007/978-3-642-40663-8\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/BalletCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/BozapalidisR13,
author = {Symeon Bozapalidis and
George Rahonis},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Stochastic Equationality},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {173--185},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_17},
doi = {10.1007/978-3-642-40663-8\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/BozapalidisR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/CadilhacKM13,
author = {Micha{\"{e}}l Cadilhac and
Andreas Krebs and
Pierre McKenzie},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {The Algebraic Theory of Parikh Automata},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {60--73},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_7},
doi = {10.1007/978-3-642-40663-8\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/CadilhacKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/CalderiniS13,
author = {Marco Calderini and
Massimiliano Sala},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Generalized {AG} Codes as Evaluation Codes},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {74--82},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_8},
doi = {10.1007/978-3-642-40663-8\_8},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/CalderiniS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/CourcelleD13,
author = {Bruno Courcelle and
Ir{\`{e}}ne Durand},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Model-Checking by Infinite Fly-Automata},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {211--222},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_20},
doi = {10.1007/978-3-642-40663-8\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/CourcelleD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/DraziotisP13,
author = {Konstantinos Draziotis and
Dimitrios Poulakis},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Lattice Attacks on {DSA} Schemes Based on Lagrange's Algorithm},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {119--131},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_13},
doi = {10.1007/978-3-642-40663-8\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/DraziotisP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/DuchampNT13,
author = {G{\'{e}}rard Henry Edmond Duchamp and
Nguyen Hoang Nghia and
Adrian Tanasa},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {A Selection-Quotient Process for Packed Word Hopf Algebra},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {223--234},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_21},
doi = {10.1007/978-3-642-40663-8\_21},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cai/DuchampNT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/FotiadisK13,
author = {Georgios Fotiadis and
Elisavet Konstantinou},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {On the Efficient Generation of Generalized {MNT} Elliptic Curves},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {147--159},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_15},
doi = {10.1007/978-3-642-40663-8\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/FotiadisK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/Hansen13,
author = {Johan P. Hansen},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Osculating Spaces of Varieties and Linear Network Codes},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {83--88},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_9},
doi = {10.1007/978-3-642-40663-8\_9},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/Hansen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/Joye13,
author = {Marc Joye},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {On Elliptic Curve Paillier Schemes},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {6},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_3},
doi = {10.1007/978-3-642-40663-8\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/Joye13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/JungesLCA13,
author = {Sebastian Junges and
Ulrich Loup and
Florian Corzilius and
Erika {\'{A}}brah{\'{a}}m},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {On Gr{\"{o}}bner Bases in the Context of Satisfiability-Modulo-Theories
Solving over the Real Numbers},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {186--198},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_18},
doi = {10.1007/978-3-642-40663-8\_18},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/JungesLCA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/Kamara13,
author = {Seny Kamara},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Proofs of Storage: Theory, Constructions and Applications},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {7--8},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_4},
doi = {10.1007/978-3-642-40663-8\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/Kamara13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/Maletti13,
author = {Andreas Maletti},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Synchronous Forest Substitution Grammars},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {235--246},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_22},
doi = {10.1007/978-3-642-40663-8\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/Maletti13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/MandraliR13,
author = {Eleni Mandrali and
George Rahonis},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Characterizations of Weighted First-Order Logics over Semirings},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {247--259},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_23},
doi = {10.1007/978-3-642-40663-8\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/MandraliR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/MarsaultS13,
author = {Victor Marsault and
Jacques Sakarovitch},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {On Sets of Numbers Rationally Represented in a Rational Base Number
System},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {89--100},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_10},
doi = {10.1007/978-3-642-40663-8\_10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/MarsaultS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/Mrabet13,
author = {Nadia El Mrabet},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Side Channel Attacks against Pairing over Theta Functions},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {132--146},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_14},
doi = {10.1007/978-3-642-40663-8\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/Mrabet13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/PivaS13,
author = {Matteo Piva and
Massimiliano Sala},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {A New Bound for Cyclic Codes Beating the Roos Bound},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {101--112},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_11},
doi = {10.1007/978-3-642-40663-8\_11},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/PivaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/Poinsot13,
author = {Laurent Poinsot},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Linear Induction Algebra and a Normal Form for Linear Operators},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {260--273},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_24},
doi = {10.1007/978-3-642-40663-8\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/Poinsot13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/RougemontT13,
author = {Michel de Rougemont and
Mathieu Tracol},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Approximation of Large Probabilistic Networks by Structured Population
Protocols},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {199--210},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_19},
doi = {10.1007/978-3-642-40663-8\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/RougemontT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/Veron13,
author = {Pascal V{\'{e}}ron},
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Code Based Cryptography and Steganography},
booktitle = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
pages = {9--46},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8\_5},
doi = {10.1007/978-3-642-40663-8\_5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cai/Veron13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cai/2013,
editor = {Traian Muntean and
Dimitrios Poulakis and
Robert Rolland},
title = {Algebraic Informatics - 5th International Conference, {CAI} 2013,
Porquerolles, France, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8080},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40663-8},
doi = {10.1007/978-3-642-40663-8},
isbn = {978-3-642-40662-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cai/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 18:58 CEST from data curated 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:
