5k citations
- Australian Astronomical ObservatoryAU873 papers
- The University of SydneyAU566 papers
- Australian National UniversityAU467 papers
- Centre National de la Recherche ScientifiqueFR410 papers
- Australian Astronomical OpticsAU324 papers
- International Centre for Radio Astronomy ResearchAU318 papers
- UNSW SydneyAU309 papers
- Swinburne University of TechnologyAU299 papers
- University of CambridgeGB297 papers
- ARC Centre of Excellence for All-sky AstrophysicsAU289 papers
- University College LondonGB269 papers
- Princeton UniversityUS264 papers
165 papers · 1 filter
A Rigorous Analysis of AODV and its Variants
Peter Höfner, Rob van Glabbeek, Wee Lum Tan +3
In this paper we present a rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using a formal specification in AWN (Algebra for Wireless Networks), a…
On Optimal Pricing Model for Multiple Dealers in a Competitive Market
Wai-Ki Ching, Jia-Wen Gu, Qing-Qing Yang +1
In this paper, the optimal pricing strategy in Avellande-Stoikov's for a monopolistic dealer is extended to a general situation where multiple dealers are present in a competitive…
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.…
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…
The SLUGGS Survey: stellar kinematics, kinemetry and trends at large radii in 25 early-type galaxies
Caroline Foster, Nicola Pastorello, Joel Roediger +9
Due to longer dynamical timescales, the outskirts of early-type galaxies retain the footprint of their formation and assembly. Under the popular two-phase galaxy formation scenario…
Experimental quantum key distribution with simulated ground-to-satellite photon losses and processing limitations
Jean-Philippe Bourgoin, Nikolay Gigov, Brendon L. Higgins +5
Quantum key distribution (QKD) has the potential to improve communications security by offering cryptographic keys whose security relies on the fundamental properties of quantum ph…