Nuno P. Lopes

Identifiers

• name variant Nuno P. Lopes 0.60 · backfill

Papers (3)

1. Future Directions for Optimizing Compilers cs.PL · 2018 · author #1
2. Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability cs.LO · 2010 · author #1
3. Applying Prolog to Develop Distributed Systems cs.PL · 2010 · author #1

Mentions

• 1011.2685 #1 · backfill · confidence 0.70 Nuno P. Lopes
• 1007.3835 #1 · backfill · confidence 0.70 Nuno P. Lopes

Frequent Coauthors

• Andrey Rybalchenko 1 shared papers
• Atul Singh 1 shared papers
• John Regehr 1 shared papers
• Jos\'e Monteiro 1 shared papers
• Juan A. Navarro 1 shared papers
• Levent Aksoy 1 shared papers
• Vasco Manquinho 1 shared papers