Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 7945 | 1158 |
h-index | 43 | 15 |
i10-index | 92 | 25 |
Nyilvános hozzáférés
Összes megtekintése11 cikk
6 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignE-mail megerősítve itt: illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaE-mail megerősítve itt: upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryE-mail megerősítve itt: nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiE-mail megerősítve itt: hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaE-mail megerősítve itt: dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityE-mail megerősítve itt: cmu.edu
- Christopher LynchClarkson UniversityE-mail megerősítve itt: clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationE-mail megerősítve itt: gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichE-mail megerősítve itt: inf.ethz.ch
- Deepak KapurUniversity of New MexicoE-mail megerősítve itt: cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichE-mail megerősítve itt: inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloE-mail megerősítve itt: ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityE-mail megerősítve itt: cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabE-mail megerősítve itt: nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryE-mail megerősítve itt: nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityE-mail megerősítve itt: bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantE-mail megerősítve itt: gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanE-mail megerősítve itt: lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteE-mail megerősítve itt: wpi.edu
- Carolyn TalcottSRI International
Követés
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
E-mail megerősítve itt: nrl.navy.mil