Ivan Perez

Cited by

	All	Since 2019
Citations	423	309
h-index	11	9
i10-index	12	9

200820092010201120122013201420152016201720182019202020212022202320244 5 5 3 8 9 11 9 10 19 29 35 49 30 49 80 65

Public access

View all

13 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Alwyn GoodloeResearch Computer Engineer, NASAVerified email at nasa.gov
Henrik NilssonAssociate Professor, School of Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Oscar CorchoOntology Engineering Group, Departamento de Inteligencia Artificial, UPMVerified email at fi.upm.es
Tom PressburgerNASA Ames Research CenterVerified email at nasa.gov
catherine rousseyMISTEA INRAE Occitanie, MontpellierVerified email at inrae.fr
Luis M. Vilches-BlázquezOntology Engineering Group - Universidad Politécnica de MadridVerified email at upm.es
Jesús Martínez MateoUniversidad Politécnica de MadridVerified email at upm.es
Kerianne HobbsResearch Aerospace Engineer, Air Force Research LaboratoryVerified email at us.af.mil
Eric FeronProfessor of Electrical EngineeringVerified email at kaust.edu.sa
Patrick J. MartinUniversity of RichmondVerified email at fastmail.com
William EdmonsonNC A&TVerified email at ncat.edu
Ángel HerranzUniversidad Politécnica de MadridVerified email at upm.es
Johann SchumannSGT, Inc. NASA AmesVerified email at nasa.gov
Mike DoddsGalois Inc.Verified email at galois.com
Irfan ŠljivoKBR / NASA Ames Research CenterVerified email at nasa.gov
Susana Muñoz HernándezUniversidad Politécnica de MadridVerified email at fi.upm.es
Juan José Moreno NavarroUniversdad Politécnica de MadridVerified email at fi.upm.es
Lee PikeAWS Automated ReasoningVerified email at amazon.com
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Lauren PickThe Chinese University of Hong KongVerified email at cse.cuhk.edu.hk

Ivan Perez

Other namesIvan Perez Dominguez

Principal Research Scientist, KBR/NASA ARC. Ex: NASA LaRC, IMDEA, Keera Studios, HLRS, UoN, UPM

Verified email at nasa.gov - Homepage

Functional Reactive Programming Haskell Functional Programming Aerospace Game Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Functional reactive programming, refactored I Perez, M Bärenz, H Nilsson Proceedings of the 9th International Symposium on Haskell 51 (12), 33-44, 2016	68	2016
Pattern-based OWL ontology debugging guidelines O Corcho, C Roussey, LM Vilches-Blázquez, I Perez Dominguez CEUR Workshop Proceedings, 2009	58	2009
Copilot 3 I Perez, F Dedden, A Goodloe https://ntrs.nasa.gov/citations/20200003164, 2020	51	2020
Testing and debugging functional reactive programming I Perez, H Nilsson Proceedings of the ACM on Programming Languages 1 (ICFP), 1-27, 2017	33	2017
Rhine: FRP with type-level clocks M Bärenz, I Perez ACM SIGPLAN Notices 53 (7), 145-157, 2018	31	2018
Automated translation of natural language requirements to runtime monitors I Perez, A Mavridou, T Pressburger, A Goodloe, D Giannakopoulou International Conference on Tools and Algorithms for the Construction and …, 2022	25	2022
From requirements to autonomous flight: an overview of the monitoring ICAROUS project A Dutle, C Muñoz, E Conrad, A Goodloe, I Perez, S Balachandran, ... Formal Methods for Autonomous Systems, 2020 329, 23--30, 2020	19	2020
Bridging the GUI gap with reactive values and relations I Perez, H Nilsson Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell 50 (12), 47-58, 2015	19	2015
Back to the Future: Time travel in FRP I Perez Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell 52 …, 2017	15	2017
Monitoring ROS2: from Requirements to Autonomous Robots I Perez, A Mavridou, T Pressburger, A Will, PJ Martin Proceedings of the 4th Workshop on Formal Methods for Autonomous Systems, 2022	12	2022
Fault-Tolerant Swarms I Perez, A Goodloe, W Edmonson 2019 IEEE International Conference on Space Mission Challenges for …, 2019	11	2019
Fault tolerant functional reactive programming (functional pearl) I Perez Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018	10	2018
Fault-tolerant functional reactive programming (extended version) I Perez, AE Goodloe Journal of Functional Programming 30, e12, 2020	9	2020
Thin client technology in the academic environment J Martınez, I Pérez, S Munoz, D Lancho	7	2008
Trustworthy runtime verification via bisimulation (Experience Report) RG Scott, M Dodds, I Perez, AE Goodloe, R Dockins Proceedings of the ACM on Programming Languages 7 (ICFP), 305-321, 2023	6	2023
Runtime verification and validation of functional reactive systems I Perez, H Nilsson Journal of Functional Programming 30, E28, 2020	6	2020
Formal verification of system states for spacecraft automatic maneuvering KL Hobbs, I Perez, A Fifarek, EM Feron AIAA Scitech 2019 Forum, 1187, 2019	6	2019
GALE: a functional graphic adventure library and engine I Perez Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art …, 2017	5	2017
On the Mathematical Properties of Monadic Stream Functions M Bärenz, I Perez, H Nilsson	5	2016
Mobile game programming in haskell C Zeller, I Perez Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art …, 2019	4	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors