Concepedia

Juan José Moreno-Navarro

JJ

4

Publications

203

Citations

4

H-Index

1992

Active since

Affiliations

Universidad Politécnica de Madrid(Current)

Juan José Moreno-Navarro is an author at Universidad Politécnica de Madrid specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningSyntaxLanguageSemanticsLinguisticsComputer ScienceProgram AnalysisLogic Programming

Publications per year

1992–2013

4

Publications

4

Logic programming with functions and predicates: The language Babel

Juan José Moreno-Navarro, Mario Rodríguez-Artalejo · The Journal of Logic Programming · 1992 · 163 citations

Engineering, Automated Reasoning, Formal Methods +7

Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order

Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro · 2013 · 16 citations

Engineering, Computational Model Theory, Chomsky Hierarchy +21

Implementing a Lazy Functional Logic Language with Disequality Constraints

Herbert Kuchen, Francisco J. López-Fraguas, Juan José Moreno-Navarro et al. · 1992 · 14 citations

Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker.

Toufik Taibi, Ángel Herranz, Juan José Moreno-Navarro · The Journal of Object Technology · 2009 · 10 citations · Full text

Rows per page

1–4 of 4