Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 7948 | 1159 |
h-indeks | 43 | 15 |
i10-indeks | 92 | 25 |
Dostęp publiczny
Wyświetl wszystko11 artykułów
6 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignZweryfikowany adres z illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaZweryfikowany adres z upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryZweryfikowany adres z nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiZweryfikowany adres z hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaZweryfikowany adres z dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityZweryfikowany adres z cmu.edu
- Christopher LynchClarkson UniversityZweryfikowany adres z clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationZweryfikowany adres z gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichZweryfikowany adres z inf.ethz.ch
- Deepak KapurUniversity of New MexicoZweryfikowany adres z cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichZweryfikowany adres z inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloZweryfikowany adres z ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityZweryfikowany adres z cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabZweryfikowany adres z nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryZweryfikowany adres z nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityZweryfikowany adres z bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantZweryfikowany adres z gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanZweryfikowany adres z lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteZweryfikowany adres z wpi.edu
- Carolyn TalcottSRI International
Obserwuj
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Zweryfikowany adres z nrl.navy.mil