Luis Pedrosa

Luis Pedrosa

INESC-ID, Instituto Superior Técnico, University of Lisbon
Verified email at tecnico.ulisboa.pt
Cited by 2804
System and Networking Program analysis and verification Network verification Distributed systems Software Networking
Markus Theil

Markus Theil

TU Ilmenau
Verified email at tu-ilmenau.de
Cited by 36
Wireless Mesh Networks Software Networking
Karanjot Singh Ghuman

Karanjot Singh Ghuman

Software Engineer (MASc.)
Verified email at uottawa.ca
Cited by 12
SDN Software Networking