↓ Skip to main content

SOFSEM 2007: Theory and Practice of Computer Science

Overview of attention for book
Cover of 'SOFSEM 2007: Theory and Practice of Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Graphs from Search Engine Queries
  3. Altmetric Badge
    Chapter 2 Model-Checking Large Finite-State Systems and Beyond
  4. Altmetric Badge
    Chapter 3 Interaction and Realizability
  5. Altmetric Badge
    Chapter 4 A Short Introduction to Computational Social Choice
  6. Altmetric Badge
    Chapter 5 Distributed Models and Algorithms for Mobile Robot Systems
  7. Altmetric Badge
    Chapter 6 Point-to-Point Shortest Path Algorithms with Preprocessing
  8. Altmetric Badge
    Chapter 7 Games, Time, and Probability: Graph Models for System Design and Analysis
  9. Altmetric Badge
    Chapter 8 Agreement Technologies
  10. Altmetric Badge
    Chapter 9 Automatic Testing of Object-Oriented Software
  11. Altmetric Badge
    Chapter 10 Architecture-Based Reasoning About Performability in Component-Based Systems
  12. Altmetric Badge
    Chapter 11 Multimedia Retrieval Algorithmics
  13. Altmetric Badge
    Chapter 12 Size of Quantum Finite State Transducers
  14. Altmetric Badge
    Chapter 13 Weighted Nearest Neighbor Algorithms for the Graph Exploration Problem on Cycles
  15. Altmetric Badge
    Chapter 14 Straightening Drawings of Clustered Hierarchical Graphs
  16. Altmetric Badge
    Chapter 15 Improved Upper Bounds for λ -Backbone Colorings Along Matchings and Stars
  17. Altmetric Badge
    Chapter 16 About the Termination Detection in the Asynchronous Message Passing Model
  18. Altmetric Badge
    Chapter 17 Fast Approximate Point Set Matching for Information Retrieval
  19. Altmetric Badge
    Chapter 18 A Software Architecture for Shared Resource Management in Mobile Ad Hoc Networks
  20. Altmetric Badge
    Chapter 19 Compressed Prefix Sums
  21. Altmetric Badge
    Chapter 20 On Optimal Solutions for the Bottleneck Tower of Hanoi Problem
  22. Altmetric Badge
    Chapter 21 Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs
  23. Altmetric Badge
    Chapter 22 Exact Max 2-Sat : Easier and Faster
  24. Altmetric Badge
    Chapter 23 Maximum Finding in the Symmetric Radio Networks with Collision Detection
  25. Altmetric Badge
    Chapter 24 An Approach to Modelling and Verification of Component Based Systems
  26. Altmetric Badge
    Chapter 25 Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages
  27. Altmetric Badge
    Chapter 26 On the (High) Undecidability of Distributed Synthesis Problems
  28. Altmetric Badge
    Chapter 27 Maximum Rigid Components as Means for Direction-Based Localization in Sensor Networks
  29. Altmetric Badge
    Chapter 28 Online Service Management Algorithm for Cellular/WALN Multimedia Networks
  30. Altmetric Badge
    Chapter 29 A Simple Algorithm for Stable Minimum Storage Merging
  31. Altmetric Badge
    Chapter 30 Generating High Dimensional Data and Query Sets
  32. Altmetric Badge
    Chapter 31 Partial vs. Complete Domination: t -Dominating Set
  33. Altmetric Badge
    Chapter 32 Estimates of Data Complexity in Neural-Network Learning
  34. Altmetric Badge
    Chapter 33 Concurrent and Located Synchronizations in π -Calculus
  35. Altmetric Badge
    Chapter 34 Efficient Group Key Agreement for Dynamic TETRA Networks
  36. Altmetric Badge
    Chapter 35 Algorithmic Aspects of Minimum Energy Edge-Disjoint Paths in Wireless Networks
  37. Altmetric Badge
    Chapter 36 The P k Partition Problem and Related Problems in Bipartite Graphs
  38. Altmetric Badge
    Chapter 37 Spatial Selection of Sparse Pivots for Similarity Search in Metric Spaces
  39. Altmetric Badge
    Chapter 38 A Model of an Amorphous Computer and Its Communication Protocol
  40. Altmetric Badge
    Chapter 39 A Branch-and-Bound Algorithm to Solve Large Scale Integer Quadratic Multi-Knapsack Problems
  41. Altmetric Badge
    Chapter 40 Indexing Factors with Gaps
  42. Altmetric Badge
    Chapter 41 Information Efficiency
  43. Altmetric Badge
    Chapter 42 Deterministic Simulation of a NFA with k –Symbol Lookahead
  44. Altmetric Badge
    Chapter 43 Mobility Management Using Virtual Domain in IPv6-Based Cellular Networks
  45. Altmetric Badge
    Chapter 44 Restarting Tree Automata
  46. Altmetric Badge
    Chapter 45 A Polynomial Time Constructible Hitting Set for Restricted 1-Branching Programs of Width 3
  47. Altmetric Badge
    Chapter 46 Formal Translation Directed by Parallel LLP Parsing
  48. Altmetric Badge
    Chapter 47 Self-adaptive Lagrange Relaxation Algorithm for Aggregated Multicast
  49. Altmetric Badge
    Chapter 48 A Language for Reliable Service Composition
  50. Altmetric Badge
    Chapter 49 Operational Semantics of Framed Temporal Logic Programs
  51. Altmetric Badge
    Chapter 50 Constraints for Argument Filterings
  52. Altmetric Badge
    Chapter 51 Performance Analysis of a Multiagent Architecture for Passenger Transportation
  53. Altmetric Badge
    Chapter 52 Teacher-Directed Learning with Mixture of Experts for View-Independent Face Recognition
  54. Altmetric Badge
    Chapter 53 FTTH-Enhanced Mini-System m TBCP-Based Overlay Construction and Evaluation
  55. Altmetric Badge
    Chapter 54 On Efficient Resource Allocation in Communication Networks
  56. Altmetric Badge
    Chapter 55 Protecting Agent from Attack in Grid Computing III
  57. Altmetric Badge
    Chapter 56 Incremental Learning of Planning Operators in Stochastic Domains
  58. Altmetric Badge
    Chapter 57 Competitive Contract Net Protocol
  59. Altmetric Badge
    Chapter 58 Agent Oriented Methodology Construction and Customization with HDA
  60. Altmetric Badge
    Chapter 59 Building an Ontological Base for Experimental Evaluation of Semantic Web Applications
  61. Altmetric Badge
    Chapter 60 Semantic Web Approach in Designing a Collaborative E-Item Bank System
  62. Altmetric Badge
    Chapter 61 A Hybrid Region Weighting Approach for Relevance Feedback in Region-Based Image Search on the Web
  63. Altmetric Badge
    Chapter 62 Rapid Development of Web Interfaces to Heterogeneous Systems
  64. Altmetric Badge
    Chapter 63 Enhancing Security by Embedding Biometric Data in IP Header
  65. Altmetric Badge
    Chapter 64 Runtime-Efficient Approach for Multiple Continuous Filtering in XML Message Brokers
  66. Altmetric Badge
    Chapter 65 A Semantic Peer-to-Peer Overlay for Web Services Discovery
  67. Altmetric Badge
    Chapter 66 Multi-document Summarization Based on Cluster Using Non-negative Matrix Factorization
  68. Altmetric Badge
    Chapter 67 A Program Slicing Based Method to Filter XML/DTD Documents
  69. Altmetric Badge
    Chapter 68 A Hybrid Approach for XML Similarity
  70. Altmetric Badge
    Chapter 69 Personalized Presentation in Web-Based Information Systems
  71. Altmetric Badge
    Chapter 70 Immune-Inspired Online Method for Service Interactions Detection
  72. Altmetric Badge
    Chapter 71 Separation of Concerns and Consistent Integration in Requirements Modelling
  73. Altmetric Badge
    Chapter 72 Checking Interaction Consistency in MARMOT Component Refinements
  74. Altmetric Badge
    Chapter 73 Towards a Versatile Contract Model to Organize Behavioral Specifications
  75. Altmetric Badge
    Chapter 74 Improved Processing of Textual Use Cases: Deriving Behavior Specifications
  76. Altmetric Badge
    Chapter 75 A Dialogue-Based NLIDB System in a Schedule Management Domain
  77. Altmetric Badge
    Chapter 76 Experimental Assessment of the Practicality of a Fault-Tolerant System
  78. Altmetric Badge
    Chapter 77 A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
  79. Altmetric Badge
    Chapter 78 Extracting Zing Models from C Source Code
  80. Altmetric Badge
    Chapter 79 Parameterised Extra-Functional Prediction of Component-Based Control Systems – Industrial Experience
  81. Altmetric Badge
    Chapter 80 Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
2 patents

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
64 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.
Title
SOFSEM 2007: Theory and Practice of Computer Science
Published by
Springer Science & Business Media, January 2007
DOI 10.1007/978-3-540-69507-3
ISBNs
978-3-54-069506-6, 978-3-54-069507-3
Editors

van Leeuwen, Jan, Italiano, Giuseppe F., van der Hoek, Wiebe, Meinel, Christoph, Sack, Harald, Plášil, František

Mendeley readers

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

Geographical breakdown

Country Count As %
France 2 3%
Austria 1 2%
Zambia 1 2%
Italy 1 2%
Czechia 1 2%
Slovakia 1 2%
United States 1 2%
Unknown 56 88%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 18 28%
Student > Master 14 22%
Professor 6 9%
Professor > Associate Professor 5 8%
Student > Bachelor 5 8%
Other 15 23%
Unknown 1 2%
Readers by discipline Count As %
Computer Science 41 64%
Engineering 7 11%
Physics and Astronomy 5 8%
Social Sciences 2 3%
Arts and Humanities 2 3%
Other 4 6%
Unknown 3 5%