Skapa en profil
Offentlig åtkomst
Visa alla37 artiklar
7 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerifierad e-postadress på illinois.edu
- Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Verifierad e-postadress på vrain.upv.es
- Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryVerifierad e-postadress på nrl.navy.mil
- Salvador LucasDSIC & VRAIN, Universitat Politècnica de ValènciaVerifierad e-postadress på dsic.upv.es
- Francisco DuránUniversity of MálagaVerifierad e-postadress på lcc.uma.es
- Narciso Martí-OlietFull professor, Facultad de Informática, Universidad Complutense de MadridVerifierad e-postadress på ucm.es
- Sonia SantiagoPhD. Student - Universidad Politecnica de ValenciaVerifierad e-postadress på dsic.upv.es
- Ralf SasseSenior Scientist in Computer Science, ETH ZurichVerifierad e-postadress på inf.ethz.ch
- Manuel ClavelSenior Lecturer, Vietnamese-German UniversityVerifierad e-postadress på vgu.edu.vn
- patrick lincolnSRIVerifierad e-postadress på sri.com
- Moreno FalaschiProfessor of Computer ScienceVerifierad e-postadress på unisi.it
- Mauricio Fernando Alba CastroUniversidad Autónoma de Manizales UAMVerifierad e-postadress på autonoma.edu.co
- Javier EspertUniversidad Politécnica de Valencia (DSIC)Verifierad e-postadress på dsic.upv.es
- Christopher LynchClarkson UniversityVerifierad e-postadress på clarkson.edu
- Deepak KapurUniversity of New MexicoVerifierad e-postadress på cs.unm.edu
- Antonio González-BurgueñoPh.D fellow, University of OsloVerifierad e-postadress på ifi.uio.no
- Kyungmin BaePOSTECHVerifierad e-postadress på postech.ac.kr
- Elena LloretUniversitat d'AlacantVerifierad e-postadress på dlsi.ua.es
- Carolyn TalcottSRI International
- Fan YangPhD Student University of CambridgeVerifierad e-postadress på cam.ac.uk
Följ
Santiago Escobar
VRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de València
Verifierad e-postadress på upv.es - Startsida