Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 7946 | 1159 |
h-індекс | 43 | 15 |
i10-індекс | 92 | 25 |
Доступні для всіх
Переглянути всі11 статей
6 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignПідтверджена електронна адреса в illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaПідтверджена електронна адреса в upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryПідтверджена електронна адреса в nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiПідтверджена електронна адреса в hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaПідтверджена електронна адреса в dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityПідтверджена електронна адреса в cmu.edu
- Christopher LynchClarkson UniversityПідтверджена електронна адреса в clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationПідтверджена електронна адреса в gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichПідтверджена електронна адреса в inf.ethz.ch
- Deepak KapurUniversity of New MexicoПідтверджена електронна адреса в cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichПідтверджена електронна адреса в inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloПідтверджена електронна адреса в ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityПідтверджена електронна адреса в cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabПідтверджена електронна адреса в nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryПідтверджена електронна адреса в nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityПідтверджена електронна адреса в bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantПідтверджена електронна адреса в gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanПідтверджена електронна адреса в lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteПідтверджена електронна адреса в wpi.edu
- Carolyn TalcottSRI International
Підписатись
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Підтверджена електронна адреса в nrl.navy.mil