Hipercomputación desde la computación cuántica
        (Hypercomputation based on quantum computation)
Andrés
        Sicard Ramírez, Mario Elkin Vélez Ruiz and Juan Fernando Ospina
        Giraldo
Universidad EAFIT–COLCIENCIAS. Grant:
        1216-05-13576. 2004. [ pdf
        ]
Computación cuántica geométrica no abeliana (Non-abelian
        geometric quantum computation)
Mario Elkin Vélez Ruiz
        and Andrés Sicard Ramírez
Universidad EAFIT. Grant:
        PY0017. 2002. [ tar.gz
        ]
Computación paraconsistente (Paraconsistent
        computation)
Andrés Sicard Ramírez
Universidad EAFIT. Grant: PY0084. 2001
        [ pdf ]
Computación cuántica geométrica (Geometric quantum
        computation)
Mario Elkin Vélez Ruiz and Andrés Sicard
        Ramírez
Universidad EAFIT. Grant:
        817431. 2001. [ tar.gz
        ]
Prototipo de un modelo de computación cuántica continua
        (A continuous quantum computation model)
Andrés Sicard
        Ramírez and Mario Elkin Vélez Ruiz
Universidad
        EAFIT. Grant:
        817424. 2000. [ tar.gz
        ]
¿Máquina de Turing cuántica autorrefencial: Una
        posibilidad? (Self-referential quantum Turing machine)
        
Andrés Sicard Ramírez and Mario Elkin Vélez Ruiz
        
Universidad EAFIT. Grant:
        817407. 1999. [ tar.gz
        ]
Lenguaje subyacente a la noción de máquina cuántica
        (Underline language for quantum computation)
Andrés
        Sicard Ramírez, María Eugenia Puerta Yepes and Mario Elkin Vélez
        Ruiz
Universidad EAFIT. Grant:
        817405. 1998. [ pdf
        ]
Máquinas de Turing dinámicas: Historia y desarrollo de
        una idea (Dynamic Turing machines)
Andrés Sicard
        Ramírez
Universidad EAFIT. Grant:
        PY0084. 1997. [ pdf
        ]