2. CAI 2007: Thessaloniki, Greece

Symeon Bozapalidis, George Rahonis (Eds.): Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4728 Springer/Springer 2007, ISBN 978-3-540-75413-8 BibTeX

Invited Papers

Jürgen Albert, German Tischler:
On Generalizations of Weighted Finite Automata and Graphics Applications. 1-22
Electronic Edition (link) BibTeX
Jean Berstel:
Sturmian and Episturmian Words. 23-47
Electronic Edition (link) BibTeX
Frank Drewes:
From Tree-Based Generators to Delegation Networks. 48-72
Electronic Edition (link) BibTeX
Manfred Droste, Guo-Qiang Zhang:
Bifinite Chu Spaces. 73-74
Electronic Edition (link) BibTeX
Dora Giammarresi:
Tiling Recognizable Two-Dimensional Languages. 75-86
Electronic Edition (link) BibTeX
Jozef Gruska:
Algebraic Methods in Quantum Informatics. 87-111
Electronic Edition (link) BibTeX
Oliver Matz:
Recognizable vs. Regular Picture Languages. 112-121
Electronic Edition (link) BibTeX
Ulrike Prange, Hartmut Ehrig:
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. 122-146
Electronic Edition (link) BibTeX

Marcella Anselmo, Maria Madonia:
Deterministic Two-Dimensional Languages over One-Letter Alphabet. 147-159
Electronic Edition (link) BibTeX
Giusi Castiglione, Roberto Vaglica:
Recognizable Picture Languages and Polyominoes. 160-171
Electronic Edition (link) BibTeX
Frank Drewes, Johanna Högberg:
An Algebra for Tree-Based Music Generation. 172-188
Electronic Edition (link) BibTeX
Zoltán Ésik, Szabolcs Iván:
Aperiodicity in Tree Automata. 189-207
Electronic Edition (link) BibTeX
Antonios Kalampakas:
The Syntactic Complexity of Eulerian Graphs. 208-217
Electronic Edition (link) BibTeX
Andreas Maletti:
Learning Deterministically Recognizable Tree Series - Revisited. 218-235
Electronic Edition (link) BibTeX
Sotiris E. Nikoletseas, Christoforos Raptopoulos, Paul G. Spirakis:
The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs. 236-246
Electronic Edition (link) BibTeX
Iakovos Ouranos, Petros S. Stefaneas:
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. 247-259
Electronic Edition (link) BibTeX
Jean Marcel Pallo:
Nonassociativity à la Kleene. 260-274
Electronic Edition (link) BibTeX
Heiko Stamer, Friedrich Otto:
Restarting Tree Automata and Linear Context-Free Tree Languages. 275-289
Electronic Edition (link) BibTeX