↓ Skip to main content
What is this page? Embed badge

Algebraic Informatics

Overview of attention for book
Cover of 'Algebraic Informatics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On Generalizations of Weighted Finite Automata and Graphics Applications
  3. Altmetric Badge
    Chapter 2 Sturmian and Episturmian Words
  4. Altmetric Badge
    Chapter 3 From Tree-Based Generators to Delegation Networks
  5. Altmetric Badge
    Chapter 4 Bifinite Chu Spaces
  6. Altmetric Badge
    Chapter 5 Tiling Recognizable Two-Dimensional Languages
  7. Altmetric Badge
    Chapter 6 Algebraic Methods in Quantum Informatics
  8. Altmetric Badge
    Chapter 7 Recognizable vs. Regular Picture Languages
  9. Altmetric Badge
    Chapter 8 From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
  10. Altmetric Badge
    Chapter 9 Deterministic Two-Dimensional Languages over One-Letter Alphabet
  11. Altmetric Badge
    Chapter 10 Recognizable Picture Languages and Polyominoes
  12. Altmetric Badge
    Chapter 11 An Algebra for Tree-Based Music Generation
  13. Altmetric Badge
    Chapter 12 Aperiodicity in Tree Automata
  14. Altmetric Badge
    Chapter 13 The Syntactic Complexity of Eulerian Graphs
  15. Altmetric Badge
    Chapter 14 Learning Deterministically Recognizable Tree Series — Revisited
  16. Altmetric Badge
    Chapter 15 The Second Eigenvalue of Random Walks On Symmetric Random Intersection Graphs
  17. Altmetric Badge
    Chapter 16 Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques
  18. Altmetric Badge
    Chapter 17 Nonassociativity à la Kleene
  19. Altmetric Badge
    Chapter 18 Restarting Tree Automata and Linear Context-Free Tree Languages
Attention for Chapter 16: Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques
Chapter number 16
Book title
Algebraic Informatics
Published by
Springer Berlin Heidelberg, January 2007
DOI 10.1007/978-3-540-75414-5_16
Book ISBNs
978-3-54-075413-8, 978-3-54-075414-5
Authors

Iakovos Ouranos, Petros Stefaneas

Editors

Symeon Bozapalidis, George Rahonis

View on publisher site

This page is provided by Altmetric.