Guillermo Rodriguez-Navas

Identifiers

• name variant Guillermo Rodriguez-Navas 0.60 · backfill

Papers (3)

1. Towards Classification of Lightweight Formal Methods cs.SE · 2018 · author #3
2. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults cs.DC · 2017 · author #4
3. The Karlskrona manifesto for sustainability design cs.SE · 2014 · author #7

Mentions

• 1410.6968 #7 · backfill · confidence 0.70 Guillermo Rodriguez-Navas

Frequent Coauthors

• Anna Zamansky 1 shared papers
• Birgit Penzenstadler 1 shared papers
• Camille Salinesi 1 shared papers
• Christoph Becker 1 shared papers
• Colin Venters 1 shared papers
• Coral Calero 1 shared papers
• Guy Avni 1 shared papers
• Jan Olaf Blech 1 shared papers
• Leticia Duboc 1 shared papers
• Maria Spichkova 1 shared papers
• Martin Mahaux 1 shared papers
• Norbert Seyff 1 shared papers
• Peter Herrmann 1 shared papers
• Ruzanna Chitchyan 1 shared papers
• Sedef Akinli Kocak 1 shared papers
• Shubham Goel 1 shared papers
• Stefanie Betz 1 shared papers
• Steve Easterbrook 1 shared papers
• Thomas A. Henzinger 1 shared papers