Get my own profile
Public access
View all32 articles
4 articles
available
not available
Based on funding mandates
Co-authors
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Verified email at vrain.upv.es
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerified email at nrl.navy.mil
Salvador LucasDSIC & VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Francisco DuránUniversity of MálagaVerified email at uma.es
Narciso Martí-OlietFull professor, Facultad de Informática, Universidad Complutense de MadridVerified email at ucm.es
Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaVerified email at dsic.upv.es
Ralf SasseSenior Scientist in Computer Science, ETH ZurichVerified email at inf.ethz.ch
Manuel ClavelSenior Lecturer, Vietnamese-German UniversityVerified email at vgu.edu.vn
patrick lincolnSRIVerified email at sri.com
Moreno FalaschiProfessor of Computer ScienceVerified email at unisi.it
Javier EspertUniversidad Politécnica de Valencia (DSIC)Verified email at dsic.upv.es
Mauricio Fernando Alba CastroUniversidad Autónoma de Manizales UAMVerified email at autonoma.edu.co
Christopher LynchClarkson UniversityVerified email at clarkson.edu
Deepak KapurUniversity of New MexicoVerified email at cs.unm.edu
Kyungmin BaePOSTECHVerified email at postech.ac.kr
Antonio González-BurgueñoPh.D fellow, University of OsloVerified email at ifi.uio.no
Elena LloretUniversitat d'AlacantVerified email at dlsi.ua.es
Carolyn TalcottSRI International
Fan YangPhD Student University of CambridgeVerified email at cam.ac.uk
Follow
Santiago Escobar
VRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València
Verified email at upv.es - Homepage