Crea il mio profilo
Accesso pubblico
Visualizza tutto3 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaEmail verificata su math.upenn.edu
- Rebecca N. WrightBarnard CollegeEmail verificata su barnard.edu
- Vijay RamachandranAssociate Professor of Computer Science, Colgate UniversityEmail verificata su colgate.edu
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su cmu.edu
- Joan FeigenbaumGrace Murray Hopper Professor of Computer Science, Yale UniversityEmail verificata su yale.edu
- Michael SchapiraProfessor of Computer Science, The Hebrew University of JerusalemEmail verificata su huji.ac.il
- Paul SyversonMathematician, U.S. Naval Research LaboratoryEmail verificata su nrl.navy.mil
- Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information SecurityEmail verificata su cispa.saarland
- Aaron JohnsonU.S. Naval Research LaboratoryEmail verificata su nrl.navy.mil
- Bruno BlanchetSenior researcher, INRIA, ParisEmail verificata su inria.fr
- Alex FabrikantStaff research scientist, Google ResearchEmail verificata su google.com
- Timothy G. GriffinSenior Lecturer, University of CambridgeEmail verificata su cl.cam.ac.uk
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryEmail verificata su nrl.navy.mil
- Michael MisloveTulane UniversityEmail verificata su tulane.edu
- Roberto SegalaUniversità di VeronaEmail verificata su univr.it