Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 7942 | 1158 |
Índice h | 43 | 15 |
Índice i10 | 92 | 25 |
Acesso público
Ver tudo11 artigos
6 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignEmail confirmado em illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaEmail confirmado em upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryEmail confirmado em nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiEmail confirmado em hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaEmail confirmado em dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityEmail confirmado em cmu.edu
- Christopher LynchClarkson UniversityEmail confirmado em clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationEmail confirmado em gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichEmail confirmado em inf.ethz.ch
- Deepak KapurUniversity of New MexicoEmail confirmado em cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichEmail confirmado em inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloEmail confirmado em ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityEmail confirmado em cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabEmail confirmado em nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryEmail confirmado em nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityEmail confirmado em bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantEmail confirmado em gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanEmail confirmado em lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteEmail confirmado em wpi.edu
- Carolyn TalcottSRI International
Seguir
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Email confirmado em nrl.navy.mil