18.1k citations
- The University of SydneyAU578 papers
- Australian National UniversityAU542 papers
- Commonwealth Scientific and Industrial Research OrganisationAU328 papers
- Centre National de la Recherche ScientifiqueFR319 papers
- Macquarie UniversityAU309 papers
- Data61AU267 papers
- University of CambridgeGB253 papers
- Australian Astronomical ObservatoryAU246 papers
- Centre for Quantum Computation and Communication TechnologyAU243 papers
- Australian Defence Force AcademyAU233 papers
- ARC Centre of Excellence for All-sky AstrophysicsAU232 papers
- Swinburne University of TechnologyAU209 papers
161 papers · 1 filter
Computation Tree Logic with Deadlock Detection
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X). This r…
Configuration Structures, Event Structures and Petri Nets
R. J. van Glabbeek, G. D. Plotkin
In this paper the correspondence between safe Petri nets and event structures, due to Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the coll…
Families of classical subgroup separable superintegrable systems
E. G. Kalnins, J. M. Kress, W. Miller
We describe a method for determining a complete set of integrals for a classical Hamiltonian that separates in orthogonal subgroup coordinates. As examples, we use it to determine…
Testing Local Lorentz and Position Invariance and Variation of Fundamental Constants by searching the Derivative of the Comparison Frequency Between a Cryogenic Sapphire Oscillator and Hydrogen Maser
Michael Edmund Tobar, Peter Wolf, Sebastien Bize +2
The cryogenic sapphire oscillator (CSO) at the Paris Observatory has been continuously compared to various Hydrogen Masers since 2001. The early data sets were used to test Local L…
Integration on locally compact noncommutative spaces
A. Carey, V. Gayral, A. Rennie +1
We present an ab initio approach to integration theory for nonunital spectral triples. This is done without reference to local units and in the full generality of semifinite noncom…
A long-period planet orbiting a nearby Sun-like star
Hugh R. A. Jones, R. Paul Butler, C. G. Tinney +10
The Doppler wobble induced by the extra-solar planet HD 134987b was first detected by data from the Keck Telescope nearly a decade ago, and was subsequently confirmed by data from…