2008 |
8 | EE | J. Miret,
R. Moreno,
D. Sadornil,
J. Tena,
M. 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 |
7 | EE | S. Martinez,
R. Tomas,
C. Roig,
M. Valls,
R. Moreno:
Parallel calculation of volcanoes for cryptographic uses.
IPDPS 2006 |
6 | EE | J. Miret,
R. Moreno,
D. Sadornil,
J. Tena,
M. 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 |
5 | | E. Lastres,
R. Moreno:
A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas.
APPIA-GULP-PRODE 1998: 421-432 |
4 | | 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 |
3 | | R. Moreno:
A Semantic Framework for the Analysis of Concurrent Constraint Programming.
APPIA-GULP-PRODE 1997: 57-68 |
2 | EE | R. Moreno,
Román Hermida,
Milagros Fernández,
Hortensia Mecha:
A unified approach for scheduling and allocation.
Integration 23(1): 1-35 (1997) |
1996 |
1 | EE | 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) |