"A finite model property for gödel modal logics" (2013) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. 20th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2013. 8071 LNCS:226-237

"A data model and query language for spatio-temporal decision support" (2011) Gómez, L.; Kuijpers, B.; Vaisman, A. GeoInformatica. 15(3):455-496

"Domain-averaged Fermi hole and domain-restricted reduced density matrices: A critical comparison" (2011) Alcoba, D.R.; Bochicchio, R.C.; Lain, L.; Torre, A. International Journal of Quantum Chemistry. 111(2):256-262

"Cancellation exponents in helical and non-helical flows" (2010) Imazio, P.R.; Mininni, P.D. Journal of Fluid Mechanics. 651:241-250

"DKAL and Z3: A logic embedding experiment" (2010) Mera, S.; Bjørner, N. 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, and 19th EACSL Annual Conference on Computer Science Logic, CSL 2010. 6300 LNCS:504-528

"Determination of energies and electronic densities of functional groups according to partitionings in the physical space" (2008) Alcoba, D.R.;Oña, O.;Torre, A. (...)Bochicchio, R.C. Journal of Physical Chemistry A. 112(40):10023-10028

"The rohf extension of the statistical population analysis of electron and spin densities" (1993) Medrano, J.A.; Bochicchio, R.C.; Das, S.G. Journal of Physics B: Atomic, Molecular and Optical Physics. 26(5):827-833