dblp.uni-trier.dewww.uni-trier.de

Mirian Andrés

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEMirian Andrés, Laureano Lambán, Julio Rubio: Executing in Common Lisp, Proving in ACL2. Calculemus/MKM 2007: 1-12
2005
3EEMirian Andrés, Vico Pascual, Ana Romero, Julio Rubio: Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. International Conference on Computational Science (3) 2005: 635-642
2003
2 Raúl Izquierdo Castanedo, Francisco José García Izquierdo, Mirian Andrés, Aquilino A. Juan Fuente, P. Manrubia: JST: Towards a Usable Web Site Development Method. ICWI 2003: 515
1 Mirian Andrés, Francisco José García Izquierdo, Vico Pascual, Julio Rubio: XML-Based Interoperability Among Symbolic Computation Systems. ICWI 2003: 925-928

Coauthor Index

1Raúl Izquierdo Castanedo [2]
2Aquilino A. Juan Fuente [2]
3Francisco José García Izquierdo [1] [2]
4Laureano Lambán [4]
5P. Manrubia [2]
6Vico Pascual [1] [3]
7Ana Romero [3]
8Julio Rubio (Julio Rubio Garcia) [1] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)