Nicholas Ng (Imperial College London)

Identifiers

• name variant Nicholas Ng (Imperial College London) 0.60 · backfill

Papers (2)

1. Multiparty Session Type-safe Web Development with Static Linearity cs.PL · 2019 · author #2
2. Towards deductive verification of MPI programs against session types cs.DC · 2013 · author #7

Mentions

• 1312.2705 #7 · backfill · confidence 0.70 Nicholas Ng (Imperial College London)

Frequent Coauthors

• Eduardo R. B. Marques (LASIGE/FCUL 1 shared papers
• Francisco Martins (LASIGE/FCUL 1 shared papers
• Jonathan King (Imperial College London & Habito) 1 shared papers
• Nobuko Yoshida (Imperial College London) 1 shared papers
• Nuno Martins (LASIGE/FCUL 1 shared papers
• Universidade of Lisbon) 1 shared papers
• Vasco T. Vasconcelos (LASIGE/FCUL 1 shared papers