↓ Skip to main content

Perspectives of System Informatics

Overview of attention for book
Cover of 'Perspectives of System Informatics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Quantitative Analysis of Collective Adaptive Systems
  3. Altmetric Badge
    Chapter 2 What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms
  4. Altmetric Badge
    Chapter 3 Applying MDA to Generate Hadoop Based Scientific Computing Applications
  5. Altmetric Badge
    Chapter 4 Site-Level Web Template Extraction Based on DOM Analysis
  6. Altmetric Badge
    Chapter 5 Verification Support for a State-Transition-DSL Defined with Xtext
  7. Altmetric Badge
    Chapter 6 Towards Using Exact Real Arithmetic for Initial Value Problems
  8. Altmetric Badge
    Chapter 7 Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
  9. Altmetric Badge
    Chapter 8 Behavioural Analysis of Sessions Using the Calculus of Structures
  10. Altmetric Badge
    Chapter 9 Using Refinement in Formal Development of OS Security Model
  11. Altmetric Badge
    Chapter 10 Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
  12. Altmetric Badge
    Chapter 11 Maximally-Polyvariant Partial Evaluation in Polynomial Time
  13. Altmetric Badge
    Chapter 12 Dynamics Security Policies and Process Opacity for Timed Process Algebras
  14. Altmetric Badge
    Chapter 13 Estimating Development Effort for Software Architectural Tactics
  15. Altmetric Badge
    Chapter 14 Clone Detection in Reuse of Software Technical Documentation
  16. Altmetric Badge
    Chapter 15 Modeling Actor Systems Using Dynamic I/O Automata
  17. Altmetric Badge
    Chapter 16 RSSA: A Reversible SSA Form
  18. Altmetric Badge
    Chapter 17 Checking Several Requirements at once by CEGAR
  19. Altmetric Badge
    Chapter 18 Unifying Requirements and Code: An Example
  20. Altmetric Badge
    Chapter 19 Program Schemata Technique to Solve Propositional Program Logics Revised
  21. Altmetric Badge
    Chapter 20 Automated Two-Phase Composition of Timed Web Services
  22. Altmetric Badge
    Chapter 21 Equivalence of Finite-Valued Symbolic Finite Transducers
  23. Altmetric Badge
    Chapter 22 Relaxed Parsing of Regular Approximations of String-Embedded Languages
  24. Altmetric Badge
    Chapter 23 Branching Processes of Timed Petri Nets
  25. Altmetric Badge
    Chapter 24 Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic
  26. Altmetric Badge
    Chapter 25 Hybrid Lustre
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

1 tweeter

Readers on

2 Mendeley
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.
Perspectives of System Informatics
Published by
Springer International Publishing, January 2016
DOI 10.1007/978-3-319-41579-6
978-3-31-941578-9, 978-3-31-941579-6

Manuel Mazzara, Andrei Voronkov

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 50%
Student > Master 1 50%
Readers by discipline Count As %
Computer Science 2 100%