Volume 53
From CERES
A list of all pages that have property "Volume" with value "53".
Since there have been only a few results, also nearby values are displayed.
- Publications:Rule Formats for Distributivity + (458)
- Publications:Impossibility results for the equational theory of timed CCS + (4624)
- Publications:Symmetry and partial order reduction techniques in model checking Rebeca + (47)
- Publications:Lifting non-finite axiomatizability results to extensions of process algebras + (47)
- Publications:Operational and epistemic approaches to protocol analysis : bridging the gap + (4790)
- Publications:Long-run order-independence of vector-based transition systems + (5)
- Publications:Vehicular Delay-Tolerant Networks? A Novel Solution for Vehicular Communications + (5)
- Publications:Chaotic Time Series Prediction Using Brain Emotional Learning Based Recurrent Fuzzy System (BELRFS) + (5)
- Publications:Coordinating aerial robots and unattended ground sensors for intelligent surveillance systems + (5)
- Publications:Towards reliable wireless industrial communication with real-time guarantees + (5)
- Publications:A rule format for associativity + (5201)
- Publications:Guaranteed real-time communication in packet-switched networks with FCFS queuing + (53)
- Publications:MAC-level Forward Error Correction mechanism for minimum error recovery overhead and retransmission + (53)
- Publications:Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks + (54)
- Publications:Verification of Multipair Copper Cable Model by Measurements + (56)
- Publications:Energy-saving by Low-Power Modes in ADSL2 + (56)
- Publications:Performance Analysis of CSMA/CA Protocols with Multi-packet Transmission + (57)
- Publications:Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures + (58)
- Publications:Robust Dynamic Spectrum Management for DMT-Based Systems + (58)
- Publications:A new measure of movement symmetry in early Parkinson's disease patients using symbolic processing of inertial sensor data + (58)
- Publications:Formal analysis of non-determinism in Verilog cell library simulation models + (5825)
- Publications:Implicitly Heterogeneous Multi-Stage Programming for FPGAs + (6)