UNSW Sydney

output

20022015

most citedThe Kernel Polynomial Method

1.1k citations

researchers with a paper here

V. Flambaum45 · h 66
K. Bekki30 · h 50
V. V. Flambaum3 profiles24 · h 17
T. Walsh22 · h 71
A. Hamilton19 · h 37
M. Burton2 profiles18 · h 46
J. Webb3 profiles16 · h 38
S. Longmore16 · h 54
V. Dzuba16 · h 47
O. Sushkov15 · h 36
Toby Walsh2 profiles15 · h 3
W. Couch2 profiles14 · h 81

collaborating institutions

Data61AU61 papers
Commonwealth Scientific and Industrial Research OrganisationAU45 papers
Australia Telescope National FacilityAU31 papers
Australian National UniversityAU28 papers
Centre for Quantum Computation and Communication TechnologyAU27 papers
The University of SydneyAU27 papers
Centre National de la Recherche ScientifiqueFR23 papers
Swinburne University of TechnologyAU23 papers
Australian Defence Force AcademyAU18 papers
The University of MelbourneAU18 papers
The University of QueenslandAU17 papers
Australian Research CouncilAU15 papers

Showing 2014 · cs.LOShow all

1 paper · 2 filters

cs.LO2014★ 3 cited

Showing invariance compositionally for a process algebra for network protocols

Timothy Bourke, Robert J. van Glabbeek, Peter Höfner

This paper presents the mechanization of a process algebra for Mobile Ad hoc Networks and Wireless Mesh Networks, and the development of a compositional framework for proving invar…