Refereed Publications
Computational Geometry and Topology

(with A. Aaron and X. Zhao) ICU Mortality Data Analysis. In preparation.

(with E. Ferragut) A New Classifier Based on Computational Topology. In preparation.

(with R. Bridges) Topological methods for the market of organs. In preparation.

(with M. Barrett) Breast cancer dynamics and computational topology. In preparation.
Geometric Flows

(with A. Freire)
Masscapacity inequalities
for conformally flat manifolds with boundary.
Comm. PDE 39 (2014), 98119.
In this paper we prove a masscapacity inequality and a volumetric Penrose inequality for conformally flat manifolds, in arbitrary dimensions. As a byproduct of the proofs, capacity and AleksandrovFenchel inequalities for meanconvex Euclidean domains are obtained. For each inequality, the case of equality is characterized.

(with E. CabezasRivas) On the Shrinkwrap Principle. In preparation.

Hawking mass can decrease along highdimensional inverse mean
curvature flow.
In preparation.
Mathematical Relativity

A volumetric Penrose inequality
for conformally flat manifolds,
Ann. Henri Poincaré 12 (2011), 6776.
We consider asymptotically flat Riemannian manifolds with nonnegative scalar curvature that are conformal to R^{n}&Omega,n&ge 3, and so that their boundary is a minimal hypersurface. (Here, &Omega is an open bounded subset of R^{n} with smooth meanconvex boundary.) We prove that the ADM mass of any such manifold is bounded below by (V/&beta_{n})^{(n2)/n}, where V is the Euclidean volume of &Omega and &beta_{n} is the volume of the Euclidean unit nball. This gives a partial proof to a conjecture of Bray and Iga. Surprisingly, we do not require the boundary to be outermost.

Existence of outermost apparent horizons with product of spheres topology,
Comm. Anal. Geom.,
16 (2008) 799817.
In this paper we construct the first examples of (n+m+2)dimensional asymptotically flat Riemannian manifolds with nonnegative scalar curvature that have outermost minimal hypersurfaces with nonspherical topology for n, m ≥ 1. The outermost minimal hypersurfaces are, topologically, S^{n}xS^{m+1}. In the context of general relativity these hypersurfaces correspond to outermost apparent horizons of black holes.
Minimal Surfaces

(with D. Maximo and I. Nunes)
Rigidity of freeboundary minimal surfaces.
In preparation. 
Inequalities for the ADMmass and Capacity of Asymptotically Flat Manifolds with Minimal Boundary.
Geometric Analysis, Mathematical Relativity, and Nonlinear PDE. Contemp. Math. 599 (2013) 199212.
Nonlinear PDE

A note on the Yamabe constant of an
outermost minimal hypersurface,
Proc. Amer. Math. Soc. 138 (2010), 41034107.
Using an elementary argument we find an upper bound on the Yamabe constant of the outermost minimal hypersurface of an asymptotically flat manifold with nonnegative scalar curvature that satisfies the Riemannian Penrose Inequality. Provided the manifold satisfies the Riemannian Penrose Inequality with rigidity, we show that equality holds in the inequality if and only if the manifold is the Riemannian Schwarzschild manifold.

The zero scalar curvature Yamabe problem on noncompact manifolds with boundary,
Indiana Univ. Math. J., 55 (2006) 14491459.
Let (M^{n},g), n ≥ 3 be a noncompact complete Riemannian manifold with compact boundary and f a smooth function on ∂M. In this paper we show that for a large class of such manifolds, there exists a metric within the conformal class of g that is complete, has zero scalar curvature on M and has mean curvature f on the boundary. The problem is equivalent to finding a positive solution to an elliptic equation with a nonlinear boundary condition with critical Sobolev exponent.
Topology

Monotonicity of the Yamabe invariant under connect sum over the boundary,
Ann. Global Anal. Geom., 35 (2009) 115131.
We show that the Yamabe invariant of manifolds with boundary satisfies a monotonicity property with respect to connected sums along the boundary, similar to the one in the closed case. A consequence of our result is that handlebodies have maximal invariant.
Symbolic Dynamics
 (with P. Dartnell
and
A. Maass)
Combinatorial constructions associated to the dynamics of onesided
cellular automata,
Theoret. Comput. Sci., 304 (2003) 485497.
In this paper we study combinatorial constructions which lead to onesided invertible cellular automata with different dynamical behavior: equicontinuity, existence of equicontinuous points but not equicontinuity, sensitivity and expansivity. In particular, we provide a simple characterization of the class of equicontinuous invertible onesided cellular automata and we construct families of expansive onesided cellular automata.
Books Edited
Contemporary Mathematics  AMS
 Geometric Analysis, Mathematical Relativity, and Nonlinear Partial Differential Equations. Contemporary Mathematics v. 599 (2013). Edited by M. Ghomi, J. Li, J. McCuan, V. Oliker, F. Schwartz (*) and G.Weinstein.
Book Chapters
Mathematical Relativity  MSRI Volume
 On the Riemannian Penrose Inequality. Chapter for MSRI Publications Series volume entitled Aspects of Mathematical Relativity. In preparation.