Carlos Varela

Identifiers

• name variant Carlos Varela 0.60 · backfill

Papers (6)

1. Equational and Inductive Reasoning for Maude in Athena cs.LO · 2026 · author #2
2. Verification of Autonomous Systems with Optimal Controllers eess.SY · 2026 · author #3
3. A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade cs.DC · 2017 · author #17
4. MilkyWay@home: Harnessing volunteer computers to constrain dark matter in the Milky Way astro-ph.GA · 2014 · author #6
5. A Spatial Characterization of the Sagittarius Dwarf Galaxy Tidal Tails astro-ph.GA · 2013 · author #7
6. Maximum Likelihood Fitting of Tidal Streams With Application to the Sagittarius Dwarf Tidal Tails astro-ph · 2008 · author #10

Mentions

• 0805.2121 #10 · backfill · confidence 0.70 Carlos Varela

Frequent Coauthors

• Boleslaw Szymanski 3 shared papers
• Heidi Jo Newberg 3 shared papers
• Malik Magdon-Ismail 3 shared papers
• Travis Desell 3 shared papers
• Benjamin Willett 2 shared papers
• Matthew Newby 2 shared papers
• Nathan Cole 2 shared papers
• Adel Nadjaran Toosi 1 shared papers
• Albert Y. Zomaya 1 shared papers
• Bahman Javadi 1 shared papers
• Blesson Varghese 1 shared papers
• Brian Yanny 1 shared papers
• Camilo Rocha 1 shared papers
• Dejan Milojicic 1 shared papers
• Dylan Le 1 shared papers
• Erol Gelenbe 1 shared papers
• Giuliano Casale 1 shared papers
• Hai Jin 1 shared papers
• Haiying Shen 1 shared papers
• Ignacio M. Llorente 1 shared papers