Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 7962 | 1174 |
Índice h | 43 | 15 |
Índice i10 | 92 | 25 |
Acceso público
Ver todo11 artículos
6 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaDirección de correo verificada de upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryDirección de correo verificada de nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiDirección de correo verificada de hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaDirección de correo verificada de dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cmu.edu
- Christopher LynchClarkson UniversityDirección de correo verificada de clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationDirección de correo verificada de gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
- Deepak KapurUniversity of New MexicoDirección de correo verificada de cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloDirección de correo verificada de ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabDirección de correo verificada de nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryDirección de correo verificada de nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityDirección de correo verificada de bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantDirección de correo verificada de gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanDirección de correo verificada de lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteDirección de correo verificada de wpi.edu
- Carolyn TalcottSRI International
Seguir
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Dirección de correo verificada de nrl.navy.mil