Bove, A., Dybjer, P., Sicard-Ramírez, A.. Combining interactive and automatic reasoning in first order theories of functional programs. LECT NOTES COMPUT SC 7213 LNCS 104-118. 1 ene 2012. . . F.I.:0,000 [doi:10.1007/978-3-642-28729-9_7]

Sicard, Andrés. Hipercomputación desde la computación cuántica. Revista Colombiana De Computación -. 1 dic 2006. . . F.I.: 
Sicard, A., Ospina, J., Vélez, M.. Quantum hypercomputation based on the dynamical algebra su(1, 1). J PHYS A-MATH GEN 39 12539-12558. 6 oct 2006. . . F.I.:1,000 [doi:10.1088/0305-4470/39/40/018]

Sicard, Andrés. Poschl-Teller potentials based solution to Hilbert's tenth problem. Ingeniería y Ciencia -. 1 sep 2006. . . F.I.: 
Sicard, Andrés. Quantum algorithm of hypercomputation based on the Poschl-Teller potencial. Revista Colombiana de Fisica -. 1 mar 2006. . . F.I.: 
Sicard, A, Velez, M, Ospina, J. A possible hypercomputational quantum algorithm. PROC SPIE 5815 219-226. 1 ene 2005. . . F.I.: [doi:10.1117/12.602254]
Sicard, Andrés. Universalidad de la computación cuántica geométrica: modelo de tres estados. Ingeniería y Ciencia -. 1 ene 2005. . . F.I.: 
Sicard, Andrés. Computación cuántica geométrica: modelo de 3 estados. Revista Colombiana de Fisica -. 1 ene 2004. . . F.I.: 
Sicard, Andrés. Universalidad de la computación cuántica geométrica: modelo del medio Kerr. Revista Colombiana de Fisica -. 1 ene 2004. . . F.I.: 
Sicard, Andrés. El formalismo de la teoría gauge en la computación cuántica. Revista Colombiana de Fisica -. 1 ene 2001. . . F.I.: