Francisco Martins (LaSIGE

Identifiers

• name variant Francisco Martins (LaSIGE 0.60 · backfill

Papers (3)

1. Inferring Types for Parallel Programs cs.PL · 2017 · author #1
2. Deductive Verification of Parallel Programs Using Why3 cs.PL · 2015 · author #5
3. Types for X10 Clocks cs.PL · 2011 · author #1

Mentions

• 1110.4165 #1 · backfill · confidence 0.70 Francisco Martins (LaSIGE

Frequent Coauthors

• Faculty of Sciences 2 shared papers
• Portugal) 2 shared papers
• University of Lisbon 2 shared papers
• Vasco Thudichum Vasconcelos (Lasige 2 shared papers
• Aalborg University) 1 shared papers
• C\'esar Santos (Lasige 1 shared papers
• Hans H\"uttel (Department of Computer Science 1 shared papers
• Tiago Cogumbreiro (LaSIGE 1 shared papers
• University of Lisbon) 1 shared papers
• Vasco T. Vasconcelos (LaSIGE 1 shared papers