99 citations · 1.1k across the 52 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
astro-ph.SR2014★ 11 cited
Weak and Compact Radio Emission in Early Massive Star Formation Regions: An Ionized Jet Toward G11.11-0.12P1
V. Rosero, P. Hofner, M. McCoy +9
We report 1.3 cm and 6 cm continuum observations toward the massive proto-stellar candidate G11.11-0.12P1 using the Karl G. Jansky Very Large Array (VLA). We detect a string of fou…
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…