Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 7953 | 1164 |
h-index | 43 | 15 |
i10-index | 92 | 25 |
Acces public
Afișați-le pe toate11 articole
6 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignAdresă de e-mail confirmată pe illinois.edu
- Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaAdresă de e-mail confirmată pe upv.es
- Paul SyversonMathematician, U.S. Naval Research LaboratoryAdresă de e-mail confirmată pe nrl.navy.mil
- dusko pavlovicProfessor at University of HawaiiAdresă de e-mail confirmată pe hawaii.edu
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaAdresă de e-mail confirmată pe dsic.upv.es
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityAdresă de e-mail confirmată pe cmu.edu
- Christopher LynchClarkson UniversityAdresă de e-mail confirmată pe clarkson.edu
- Sushil JajodiaUniversity Professor, BDM International Professor, and Director, Center for Secure InformationAdresă de e-mail confirmată pe gmu.edu
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichAdresă de e-mail confirmată pe inf.ethz.ch
- Deepak KapurUniversity of New MexicoAdresă de e-mail confirmată pe cs.unm.edu
- David BasinProfessor of Computer Science, ETH ZurichAdresă de e-mail confirmată pe inf.ethz.ch
- Antonio González-BurgueñoPh.D fellow, University of OsloAdresă de e-mail confirmată pe ifi.uio.no
- Cas CremersCISPA Helmholtz Center for Information SecurityAdresă de e-mail confirmată pe cispa.de
- John McLeanSuperintendent of Information Technology Division, Naval Research LabAdresă de e-mail confirmată pe nrl.navy.mil
- John T. SampleSuperintendent, Ocean Sciences Division, Naval Research LaboratoryAdresă de e-mail confirmată pe nrlssc.navy.mil
- Ran CanettiProfessor of Computer Science, Boston UniversityAdresă de e-mail confirmată pe bu.edu
- Carl E. LandwehrUniversity of Michigan, George Washington University and Independent ConsultantAdresă de e-mail confirmată pe gwu.edu
- Hubert Comon-LundhComputer Science professor, ENS CachanAdresă de e-mail confirmată pe lsv.ens-cachan.fr
- Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteAdresă de e-mail confirmată pe wpi.edu
- Carolyn TalcottSRI International
Urmăriți
Catherine Meadows
Head, Formal Methods Section, Naval Research Laboratory
Adresă de e-mail confirmată pe nrl.navy.mil