output
20022023
most citedThe Gaia mission

7.1k citations

Showing 2017Show all

75 papers · 1 filter

astro-ph.GA201726 cited

The continuous rise of bulges out of galactic disks

I. Breda, P. Papaderos

(abridged) This study revolves around dmB, a new distance- and extinction-independent measure of the contribution by stellar populations older than 9 Gyr to the mean r-band surface…

astro-ph.SR20173 cited

Using the phase shift to asymptotically characterize the dipolar mixed modes in post-main-sequence stars

C. Jiang, J. Christensen-Dalsgaard, M. Cunha

Mixed modes have been extensively observed in post-main-sequence stars by the Kepler and CoRoT space missions. The mixture of the p and g modes can be measured by the dimensionless…

cs.LO2017

Revisiting concurrent separation logic

Pedro Soares, António Ravara, Simão Melo de Sousa

We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary n…

math.DS20177 cited

Synchrony Branching Lemma for Regular Networks

Pedro Soares

Coupled cell systems are dynamical systems associated to a network and synchrony subspaces, given by balanced colorings of the network, are invariant subspaces for every coupled ce…

astro-ph.GA201720 cited

The MUSE 3D view of feedback in a high-metallicity radio galaxy at z = 2.9

M. Silva, A. Humphrey, P. Lagos +8

We present a detailed study of the kinematic, chemical and excitation properties of the giant Ly emitting nebula and the giant \ion{H}{I} absorber associated with the

astro-ph.EP20174 cited

Deriving High-Precision Radial Velocities

Pedro Figueira

This chapter describes briefly the key aspects behind the derivation of precise radial velocities. I start by defining radial velocity precision in the context of astrophysics in g…