Concepedia

Ricardo Peña

RP

11

Publications

395

Citations

10

H-Index

1996

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Philipps University of Marburg

Ricardo Peña is an author at Universidad Complutense de Madrid specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationComputer EngineeringAutomated ReasoningComputer ArchitectureLanguageCompilers

Publications per year

1996–2009

11

Publications

11

Parallel functional programming in Eden

Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña · Journal of Functional Programming · 2005 · 161 citations · Full text

Mathematical Programming, Parallel Evaluation, Engineering +22

Comparing Parallel Functional Languages: Programming and Performance

Hans Loidl, Fernando Rubio, Norman Scaife et al. · LISP and Symbolic Computation · 2003 · 73 citations

The Eden coordination model for distributed memory systems

Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén et al. · 2002 · 36 citations

Cluster Computing, Engineering, Maximum Parallelism +19

A new look at pattern matching in abstract data types

Pedro Palao Gostanza, Ricardo Peña, Manuel Núñez · 1996 · 25 citations · Full text

Engineering, Semantic Web, Formal Verification +20

A type system for safe memory management and its proof of correctness

Manuel Montenegro, Ricardo Peña, Clara Segura · 2008 · 20 citations

Engineering, Information Security, Verification +25

Rows per page

1–5 of 11