Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 7946 | 1159 |
indice h | 43 | 15 |
indice i10 | 92 | 25 |
Accès public
Tout afficher11 articles
6 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignAdresse e-mail validée de illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaAdresse e-mail validée de upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryAdresse e-mail validée de nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiAdresse e-mail validée de hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaAdresse e-mail validée de dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de cmu.edu
- Christopher LynchClarkson UniversityAdresse e-mail validée de clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationAdresse e-mail validée de gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
- Deepak KapurUniversity of New MexicoAdresse e-mail validée de cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloAdresse e-mail validée de ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityAdresse e-mail validée de cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabAdresse e-mail validée de nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryAdresse e-mail validée de nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityAdresse e-mail validée de bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantAdresse e-mail validée de gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanAdresse e-mail validée de lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteAdresse e-mail validée de wpi.edu
- Carolyn TalcottSRI International
Suivre
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Adresse e-mail validée de nrl.navy.mil