Model Checking Semi-Continuous Time Models Using BDDs. - Sérgio Vale Aguiar Campos; Marcio Teixeira; Marius Minea; Andreas Kuehlmann; Edmund M. Clarke (SMC@FLoC, 1999)

The CSU Face Identification Evaluation System: Its Purpose, Features, and Structure. - David S. Bolme; J. Ross Beveridge; Marcio Teixeira; Bruce A. Draper (ICVS, 2003)

The CSU Face Identification Evaluation System. - J. Ross Beveridge; David S. Bolme; Bruce A. Draper; Marcio Teixeira (Mach. Vis. Appl., 2005)