Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 7954 | 1165 |
h-index | 43 | 15 |
i10-indeks | 92 | 25 |
Offentlig adgang
Se alle11 artikler
6 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerificeret mail på illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaVerificeret mail på upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryVerificeret mail på nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiVerificeret mail på hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaVerificeret mail på dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerificeret mail på cmu.edu
- Christopher LynchClarkson UniversityVerificeret mail på clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationVerificeret mail på gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichVerificeret mail på inf.ethz.ch
- Deepak KapurUniversity of New MexicoVerificeret mail på cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichVerificeret mail på inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloVerificeret mail på ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityVerificeret mail på cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabVerificeret mail på nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryVerificeret mail på nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityVerificeret mail på bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantVerificeret mail på gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanVerificeret mail på lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteVerificeret mail på wpi.edu
- Carolyn TalcottSRI International
Følg
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Verificeret mail på nrl.navy.mil