 | 2008 |
|---|
| 10 |       | Josep M. Miret,
R. Moreno,
D. Sadornil,
J. Tena,
Magda Valls:
Computing the height of volcanoes of l-isogenies of elliptic curves over finite fields.
Applied Mathematics and Computation 196(1): 67-76 (2008) |
| 2006 |
|---|
| 9 | | Santi Martínez,
R. Tomas,
C. Roig,
Magda Valls,
R. Moreno:
Parallel calculation of volcanoes for cryptographic uses.
IPDPS 2006 |
| 8 | | Josep M. Miret,
R. Moreno,
D. Sadornil,
J. Tena,
Magda Valls:
An algorithm to compute volcanoes of 2-isogenies of elliptic curves over finite fields.
Applied Mathematics and Computation 176(2): 739-750 (2006) |
| 1998 |
|---|
| 7 |  | E. Lastres,
R. Moreno:
A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas.
APPIA-GULP-PRODE 1998: 421-432 |
| 6 | | Roberta Gori,
E. Lastres,
R. Moreno,
Fausto Spoto:
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation.
APPIA-GULP-PRODE 1998: 433-442 |
| 1997 |
|---|
| 5 | | R. Moreno:
A Semantic Framework for the Analysis of Concurrent Constraint Programming.
APPIA-GULP-PRODE 1997: 57-68 |
| 4 | | R. Moreno,
Román Hermida,
Milagros Fernández,
Hortensia Mecha:
A unified approach for scheduling and allocation.
Integration 23(1): 1-35 (1997) |
| 1996 |
|---|
| 3 | | R. Moreno,
Román Hermida,
Milagros Fernández:
Register estimation in unscheduled dataflow graphs.
ACM Trans. Design Autom. Electr. Syst. 1(3): 396-403 (1996) |
| 1993 |
|---|
| 2 | | R. Moreno,
Román Hermida,
Daniel Mozos,
Katzalin Olcoz:
Global hardware synthesis guided by realistic probability computation.
Microprocessing and Microprogramming 39(2-5): 233-236 (1993) |
| 1 | | Katzalin Olcoz,
Francisco Tirado,
Daniel Mozos,
Julio Septién,
R. Moreno:
Data path structures and heuristics for testable allocation in high level synthesis.
Microprocessing and Microprogramming 39(2-5): 263-266 (1993) |
