Juan José Moreno-Navarro
发表
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
S. Muñoz-Hernández,
2004,
JELIA.
Juan José Moreno-Navarro,
Julio Mariño-Carballo,
Ángel Herranz-Nieva,
2000,
WFLP.
Rita Loogen,
Juan José Moreno-Navarro,
Herbert Kuchen,
1990,
ESOP.
Juan José Moreno-Navarro,
Julio Mariño-Carballo,
Ángel Herranz-Nieva,
2006,
Theory and Practice of Logic Programming.
Juan José Moreno-Navarro,
Manuel V. Hermenegildo,
Herbert Kuchen,
1992,
PLILP.
Juan José Moreno-Navarro,
Ángel Herranz-Nieva,
2003,
XP.
Juan José Moreno-Navarro,
Ángel Herranz-Nieva,
N. Maya,
2002,
WFLP.
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
2003,
ICLP.
Rita Loogen,
Juan José Moreno-Navarro,
Herbert Kuchen,
1990,
ALP.
Juan José Moreno-Navarro,
Manuel Carro,
Julio Mariño-Carballo,
2009,
FMICS.
Juan José Moreno-Navarro,
Herbert Kuchen,
Mario Rodríguez-Artalejo,
1992,
JICSLP.
Juan José Moreno-Navarro,
Ángel Herranz-Nieva,
Ángel Herranz-Nieva,
2000,
WFLP.
Juan José Moreno-Navarro,
1995,
Knowl. Eng. Rev..
Juan José Moreno-Navarro,
Ángel Herranz,
2003
.
Juan José Moreno-Navarro,
J. Moreno-Navarro,
1996,
ELP.
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
Julio Mariño-Carballo,
2008,
New Generation Computing.
Juan José Moreno-Navarro,
Pablo Nogueira,
2008,
WGP '08.
Lars-Åke Fredlund,
Juan José Moreno-Navarro,
Manuel Carro,
2007,
ArXiv.
Juan José Moreno-Navarro,
J. Moreno-Navarro,
1994,
ICLP.
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
Manuel V. Hermenegildo,
2001,
LPAR.
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns
Juan José Moreno-Navarro,
Manuel Carro,
Julio Mariño-Carballo,
2004,
TFM.
Juan José Moreno-Navarro,
Toufik Taibi,
Ángel Herranz-Nieva,
2009,
J. Object Technol..
Juan José Moreno-Navarro,
Ángel Herranz-Nieva,
Ángel Herranz-Nieva,
2000,
AADEBUG.
Juan José Moreno-Navarro,
Ángel Herranz,
2007
.
Juan José Moreno-Navarro,
Julio García Marrtín,
1992,
LPAR.
Juan José Moreno-Navarro,
Julio García-Martín,
A. del Pozo-Pietro,
1995,
GULP-PRODE.
Juan José Moreno-Navarro,
Julio Mariño-Carballo,
Julio Mariño-Carballo,
1999,
ICLP.
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
2004,
ICLP.
Juan José Moreno-Navarro,
Ángel Herranz-Nieva,
Ángel Herranz-Nieva,
2003,
14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings..
Juan José Moreno-Navarro,
Ángel Herranz-Nieva,
Ángel Herranz-Nieva,
2000,
JISBD.
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
Ángel Herranz-Nieva,
2008,
JISBD.
Juan José Moreno-Navarro,
Julio Mariño-Carballo,
Julio Mariño-Carballo,
1998,
APPIA-GULP-PRODE.
Juan José Moreno-Navarro,
Julio Mariño-Carballo,
Ángel Herranz-Nieva,
1996,
APPIA-GULP-PRODE.
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
2000,
PADL.
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
Julio Mariño-Carballo,
2004,
FLOPS.
Juan José Moreno-Navarro,
Mario Rodríguez-Artalejo,
M. Rodríguez-Artalejo,
1988,
ALP.
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
1998,
APPIA-GULP-PRODE.
Juan José Moreno-Navarro,
Julio García-Martín,
1993,
AADEBUG.
Werner Hans,
Juan José Moreno-Navarro,
Herbert Kuchen,
1993,
PLILP.
Lars-Åke Fredlund,
Juan José Moreno-Navarro,
Manuel Carro,
2009,
Electron. Notes Theor. Comput. Sci..
Rita Loogen,
Juan José Moreno-Navarro,
Herbert Kuchen,
2009,
New Generation Computing.
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order
Juan José Moreno-Navarro,
Pablo Nogueira,
Álvaro García-Pérez,
2013,
PPDP.
Juan José Moreno-Navarro,
Julio García-Martín,
1993,
AMAST.
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
2009,
Electron. Notes Theor. Comput. Sci..
Juan José Moreno-Navarro,
2005,
JISBD.
Juan José Moreno-Navarro,
Susana Muñoz-Hernández,
2002,
APPIA-GULP-PRODE.
Lars-Åke Fredlund,
Juan José Moreno-Navarro,
Manuel Carro,
2008,
PADL.
Juan José Moreno-Navarro,
Julio Mariño-Carballo,
José André Jimènez-Martin,
1992,
LOPSTR.
Juan José Moreno-Navarro,
2001
.
Juan José Moreno-Navarro,
Ángel Herranz,
Ángel Herranz,
2003
.
Juan José Moreno-Navarro,
Juan Jose Moreno-navarro,
J. Moreno-Navarro,
1994
.
Juan José Moreno-Navarro,
JUAN JOSE MORENO-NAVARRO,
MARIO RODRIGUEZ-ARTALEJO,
1992,
J. Log. Program..
Juan José Moreno-Navarro,
Andriasian Es,
J. Jos,
1994,
PASCO.