Crea il mio profilo
Accesso pubblico
Visualizza tutto17 articoli
2 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignEmail verificata su illinois.edu
- Aravinda Prasad SistlaProfessor of Computer Science, University of Illinois at ChicagoEmail verificata su uic.edu
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalEmail verificata su math.ist.utl.pt
- Steve KremerInriaEmail verificata su inria.fr
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaEmail verificata su math.upenn.edu
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaEmail verificata su tecnico.ulisboa.pt
- Matthew S. BauerUniversity of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
- Stefan CiobacaAlexandru Ioan Cuza UniversityEmail verificata su info.uaic.ro
- Vladimiro SassoneUniversity of SouthamptonEmail verificata su ecs.soton.ac.uk
- Vincent ChevalUniversity of Oxford, United KingdomEmail verificata su cs.ox.ac.uk
- Umang MathurPresidential Young Professor at National University of SingaporeEmail verificata su comp.nus.edu.sg
- John C MitchellProfessor of Computer Science, Stanford UniversityEmail verificata su Stanford.edu
- Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonEmail verificata su ist.utl.pt
- Luís Cruz-FilipeUniversity of Southern DenmarkEmail verificata su imada.sdu.dk
- Gergei BanaUniversity of MIssouriEmail verificata su math.upenn.edu
- Ajay Kumar EerallaDepartment of Computer Science, University of MissouriEmail verificata su mail.missouri.edu
- Stéphanie DelauneUniv Rennes, CNRS, IRISAEmail verificata su irisa.fr
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
- Dileep KiniUniversity of Illinois at Urbana-ChampaignEmail verificata su illinois.edu
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalEmail verificata su tecnico.ulisboa.pt