Založit si vlastní profil
Veřejný přístup
Zobrazit všechny17 článků
2 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignE-mailová adresa ověřena na: illinois.edu
- Aravinda Prasad SistlaProfessor of Computer Science, University of Illinois at ChicagoE-mailová adresa ověřena na: uic.edu
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalE-mailová adresa ověřena na: math.ist.utl.pt
- Steve KremerInriaE-mailová adresa ověřena na: inria.fr
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaE-mailová adresa ověřena na: math.upenn.edu
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaE-mailová adresa ověřena na: tecnico.ulisboa.pt
- Matthew S. BauerUniversity of Illinois at Urbana-ChampaignE-mailová adresa ověřena na: illinois.edu
- Stefan CiobacaAlexandru Ioan Cuza UniversityE-mailová adresa ověřena na: info.uaic.ro
- Vladimiro SassoneUniversity of SouthamptonE-mailová adresa ověřena na: ecs.soton.ac.uk
- Vincent ChevalUniversity of Oxford, United KingdomE-mailová adresa ověřena na: cs.ox.ac.uk
- Umang MathurPresidential Young Professor at National University of SingaporeE-mailová adresa ověřena na: comp.nus.edu.sg
- John C MitchellProfessor of Computer Science, Stanford UniversityE-mailová adresa ověřena na: Stanford.edu
- Pedro BaltazarInstituto de Telecomunicações, Technical University of LisbonE-mailová adresa ověřena na: ist.utl.pt
- Luís Cruz-FilipeUniversity of Southern DenmarkE-mailová adresa ověřena na: imada.sdu.dk
- Gergei BanaUniversity of MIssouriE-mailová adresa ověřena na: math.upenn.edu
- Ajay Kumar EerallaDepartment of Computer Science, University of MissouriE-mailová adresa ověřena na: mail.missouri.edu
- Stéphanie DelauneUniv Rennes, CNRS, IRISAE-mailová adresa ověřena na: irisa.fr
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignE-mailová adresa ověřena na: illinois.edu
- Dileep KiniUniversity of Illinois at Urbana-ChampaignE-mailová adresa ověřena na: illinois.edu
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalE-mailová adresa ověřena na: tecnico.ulisboa.pt