output
19932026
researchers with a paper here
collaborating institutions
Showing 2015Show all

161 papers · 1 filter

cs.NI2015★ 48 cited

Modelling and Verifying the AODV Routing Protocol

Rob van Glabbeek, Peter Höfner, Marius Portmann +1

This paper presents a formal specification of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process algebra which…

quant-ph2015★ 26 cited

Microphotonic Forces From Superfluid Flow

D. L. McAuslan, G. I. Harris, C. Baker +4

In cavity optomechanics, radiation pressure and photothermal forces are widely utilized to cool and control micromechanical motion, with applications ranging from precision sensing…

cs.NI2015★ 53 cited

Automated Analysis of AODV using UPPAAL

Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3

This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.…

cs.LO2015★ 77 cited

A Process Algebra for Wireless Mesh Networks

Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3

We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the…

quant-ph2015★ 49 cited

Quantum Zeno effect in the strong measurement regime of circuit quantum electrodynamics

D. H. Slichter, C. Müller, R. Vijay +3

We observe the quantum Zeno effect -- where the act of measurement slows the rate of quantum state transitions -- in a superconducting qubit using linear circuit quantum electrodyn…

quant-ph2015★ 261 cited

Quantum causal modelling

Fabio Costa, Sally Shrapnel

Causal modelling provides a powerful set of tools for identifying causal structure from observed correlations. It is well known that such techniques fail for quantum systems, unles…