Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2468 | 948 |
h-indeks | 31 | 16 |
i10-indeks | 43 | 26 |
Dostęp publiczny
Wyświetl wszystko37 artykułów
7 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
- Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Zweryfikowany adres z vrain.upv.es
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryZweryfikowany adres z nrl.navy.mil
- Salvador LucasDSIC & VRAIN, Universitat Politècnica de ValènciaZweryfikowany adres z dsic.upv.es
- Francisco DuránUniversity of MálagaZweryfikowany adres z lcc.uma.es
- Narciso Martí-OlietFull professor, Facultad de Informática, Universidad Complutense de MadridZweryfikowany adres z ucm.es
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaZweryfikowany adres z dsic.upv.es
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichZweryfikowany adres z inf.ethz.ch
- Manuel ClavelSenior Lecturer, Vietnamese-German UniversityZweryfikowany adres z vgu.edu.vn
- patrick lincolnSRIZweryfikowany adres z sri.com
- Moreno FalaschiProfessor of Computer ScienceZweryfikowany adres z unisi.it
- Mauricio Fernando Alba CastroUniversidad Autónoma de Manizales UAMZweryfikowany adres z autonoma.edu.co
- Javier EspertUniversidad Politécnica de Valencia (DSIC)Zweryfikowany adres z dsic.upv.es
- Christopher LynchClarkson UniversityZweryfikowany adres z clarkson.edu
- Deepak KapurUniversity of New MexicoZweryfikowany adres z cs.unm.edu
- Antonio González-BurgueñoPh.D fellow, University of OsloZweryfikowany adres z ifi.uio.no
- Kyungmin BaePOSTECHZweryfikowany adres z postech.ac.kr
- Elena LloretUniversitat d'AlacantZweryfikowany adres z dlsi.ua.es
- Carolyn TalcottSRI International
- Fan YangPhD Student University of CambridgeZweryfikowany adres z cam.ac.uk
Obserwuj
Santiago Escobar
VRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València
Zweryfikowany adres z upv.es - Strona główna