1k citations
- University of OxfordGB52 papers
- Centre National de la Recherche ScientifiqueFR50 papers
- University of SussexGB42 papers
- University of California, BerkeleyUS39 papers
- Goddard Space Flight CenterUS38 papers
- The University of Texas at AustinUS32 papers
- University of ManchesterGB32 papers
- Rochester Institute of TechnologyUS31 papers
- Search for Extraterrestrial IntelligenceUS31 papers
- Texas A&M UniversityUS27 papers
- Deleted Institution26 papers
- Mitchell InstituteUS26 papers
8 papers · 1 filter
Distributed System Contract Monitoring
Adrian Francalanza Ph. D, Andrew Gauci M. Sc, Gordon Pace Ph. D
The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major ch…
Real-time, fast radio transient searches with GPU de-dispersion
Alessio Magro, Aris Karastergiou, Stefano Salvini +3
The identification, and subsequent discovery, of fast radio transients through blind-search surveys requires a large amount of processing power, in worst cases scaling as $\mathcal…
Permission-Based Separation Logic for Message-Passing Concurrency
Adrian Francalanza, Julian Rathke, Vladimiro Sassone
We develop local reasoning techniques for message passing concurrent programs based on ideas from separation logics and resource usage analysis. We extend processes with permission…
Rotating Charged Cylindrical Black Holes as Particle Accelerators
Jackson Levi Said, Kristian Zarb Adami
It has recently been pointed out that arbitrary center-of-mass energies may be obtained for particle collisions near the horizon of an extremal Kerr black hole. We investigate this…
The Problem of Inertia in Friedmann Universes
Joseph Sultana, Demosthenes Kazanas
In this paper we study the origin of inertia in a curved spacetime, particularly the spatially flat, open and closed Friedmann universes. This is done using Sciama's law of inertia…
Cross-intersecting sub-families of hereditary families
Peter Borg
Families of sets are said to be \emph{cross-intersecting} if for any and in with , any set i…