Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 50 results in range #1 to #50.
- Coping with selfishness in congestion games. Analysis and design via LP duality: Label: en
- Key Management in Sensor Networks: Label: en
- Security and Trust in Sensor Networks: Label: en
- Computing by Mobile Robotic Sensors: Label: en
- Self-Stabilizing and Self-Organizing Virtual Infrastructures for Mobile Networks: Label: en
- Information Spreading in Dynamic Networks: An Analytical Approach: Label: en
- Prolong the Lifetime of Wireless Sensor Networks Through Mobility: A General Optimization Framework: Label: en
- Dense, Concentric, and Non-uniform Multi-hop Sensor Networks: Label: en
- Energy-Balanced Data Propagation inWireless Sensor Networks: Label: en
- Position-Based Routing in Wireless Ad Hoc and Sensor Networks: Label: en
- Scheduling Algorithms for Tree-Based Data Collection in Wireless Sensor Networks: Label: en
- Oblivious Routing for Sensor Network Topologies: Label: en
- Coordination Problems in Ad Hoc Radio Networks: Label: en
- The Spatial Smoothing Method of Clock Synchronization in Wireless Networks: Label: en
- Networked Distributed Source Coding: Label: en
- Theoretical Aspects of Graph Models for MANETs: Label: en
- Population Protocols and Related Models: Label: en
- Optimal Placement of Ad Hoc Devices Under a VCG-Style Routing Protocol: Label: en
- Maintaining Connectivity in Sensor Networks Using Directional Antennae: Label: en
- Scheduling and Power Assignments in the Physical Model: Label: en
- Applications of Weighted Automata in Natural Language Processing: Label: en
- Model Checking Linear-Time Properties of Probabilistic Systems: Label: en
- Fuzzy Languages: Label: en
- Digital Image Compression: Label: en
- Algebraic Systems and Pushdown Automata: Label: en
- Weighted Automata and Weighted Logics: Label: en
- Rational and Recognisable Power Series: Label: en
- Finite Automata: Label: en
- Semirings and Formal Power Series: Label: en
- Graph and model transformation. General framework and applications: Label: en
- Fundamentals of algebraic graph transformation: Label: en
- Logics of specification languages: Label: en
- Unfoldings: A partial-order approach to model checking.: Label: en
- Process algebras for Petri nets. The alphabetization of distributed systems: Label: en
- Theoretical aspects of distributed computing in sensor networks.: Label: en
- Deterministic extraction from weak random sources.: Label: en
- Process algebra with timing: Label: en
- Theory of reversible computing: Label: en
- Petri net algebra: Label: en
- Restricted-orientation convexity.: Label: en
- Duration calculus. A formal approach to real-time systems.: Label: en
- Semantic integration of heterogeneous software specifications.: Label: en
- Stochastic coalgebraic logic: Label: en
- Time-dependent scheduling: Label: en
- Words and graphs: Label: en
- Theoretical aspects of local search.: Label: en
- Handbook of weighted automata: Label: en
- Models and algorithms of time-dependent scheduling: Label: en
- Modeling time in computing.: Label: en
- Patterns in permutations and words.: Label: en