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

Perspectives of Systems Informatics

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Games, Interaction and Computation
  3. Altmetric Badge
    Chapter 2 Rôle of Domain Engineering in Software Development—Why Current Requirements Engineering Is Flawed !
  4. Altmetric Badge
    Chapter 3 Compositional and Quantitative Model Checking (Extended Abstract)
  5. Altmetric Badge
    Chapter 4 Invariants, Modularity, and Rights
  6. Altmetric Badge
    Chapter 5 Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction
  7. Altmetric Badge
    Chapter 6 Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+
  8. Altmetric Badge
    Chapter 7 A Two-Level Approach for Modeling and Verification of Telecommunication Systems
  9. Altmetric Badge
    Chapter 8 SVM Paradoxes
  10. Altmetric Badge
    Chapter 9 Indexing Dense Nested Metric Spaces for Efficient Similarity Search
  11. Altmetric Badge
    Chapter 10 On the Containment Problem for Queries in Conjunctive Form with Negation
  12. Altmetric Badge
    Chapter 11 Towards a Scalable, Pragmatic Knowledge Representation Language for the Web
  13. Altmetric Badge
    Chapter 12 An Experiment with the Fourth Futamura Projection
  14. Altmetric Badge
    Chapter 13 Extracting the Essence of Distillation
  15. Altmetric Badge
    Chapter 14 Establishing Linux Driver Verification Process
  16. Altmetric Badge
    Chapter 15 A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules
  17. Altmetric Badge
    Chapter 16 A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols
  18. Altmetric Badge
    Chapter 17 Proving the Equivalence of Higher-Order Terms by Means of Supercompilation
  19. Altmetric Badge
    Chapter 18 Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
  20. Altmetric Badge
    Chapter 19 Applicability of the BLAST Model Checker: An Industrial Case Study
  21. Altmetric Badge
    Chapter 20 Σ K –constraints for Hybrid Systems
  22. Altmetric Badge
    Chapter 21 A Complete Invariant Generation Approach for P-solvable Loops
  23. Altmetric Badge
    Chapter 22 Standardization and Testing of Mathematical Functions
  24. Altmetric Badge
    Chapter 23 Using AOP for Discovering and Defining Executable Test Cases
  25. Altmetric Badge
    Chapter 24 Cryptographic Protocols Analysis in Event B
  26. Altmetric Badge
    Chapter 25 A Query Language for Logic Architectures
  27. Altmetric Badge
    Chapter 26 Planet Map Generation by Tetrahedral Subdivision
  28. Altmetric Badge
    Chapter 27 Towards Checking Parametric Reachability for UML State Machines
  29. Altmetric Badge
    Chapter 28 A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems
  30. Altmetric Badge
    Chapter 29 A Technique for Information Retrieval from Microformatted Websites
  31. Altmetric Badge
    Chapter 30 From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research
  32. Altmetric Badge
    Chapter 31 History-Dependent Stochastic Petri Nets
  33. Altmetric Badge
    Chapter 32 Privacy Preserving Modules for Ontologies
  34. Altmetric Badge
    Chapter 33 Symbolic Bounded Conformance Checking of Model Programs
  35. Altmetric Badge
    Chapter 34 Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture
  36. Altmetric Badge
    Chapter 35 Anti-unification Algorithms and Their Applications in Program Analysis
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages

Readers on

mendeley
7 Mendeley
Summary X Wikipedia
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.
Title
Perspectives of Systems Informatics
Published by
Springer Science & Business Media, February 2010
DOI 10.1007/978-3-642-11486-1
ISBNs
978-3-64-211485-4, 978-3-64-211486-1
Editors

Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei

View on publisher site Google Preview
X Demographics

X Demographics

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

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 7 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 2 29%
Unknown 5 71%
Readers by discipline Count As %
Agricultural and Biological Sciences 1 14%
Earth and Planetary Sciences 1 14%
Unknown 5 71%

This page is provided by Altmetric.