Francisco Martins (University of Lisbon)

Identifiers

• name variant Francisco Martins (University of Lisbon) 0.60 · backfill

Papers (2)

1. Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language cs.PL · 2010 · author #2
2. Towards the Safe Programming of Wireless Sensor Networks cs.PL · 2010 · author #1

Mentions

• 1002.0942 #2 · backfill · confidence 0.70 Francisco Martins (University of Lisbon)
• 1002.0937 #1 · backfill · confidence 0.70 Francisco Martins (University of Lisbon)

Frequent Coauthors

• Jo\~ao Barros (University of Porto) 1 shared papers
• Lu\'is Lopes (University of Porto) 1 shared papers
• Tiago Cogumbreiro (University of Lisbon) 1 shared papers
• Vasco T. Vasconcelos (University of Lisbon) 1 shared papers