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

Marcio Teixeira

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

2005
4EEJ. Ross Beveridge, David S. Bolme, Bruce A. Draper, Marcio Teixeira: The CSU Face Identification Evaluation System. Mach. Vis. Appl. 16(2): 128-138 (2005)
2003
3EEDavid S. Bolme, J. Ross Beveridge, Marcio Teixeira, Bruce A. Draper: The CSU Face Identification Evaluation System: Its Purpose, Features, and Structure. ICVS 2003: 304-313
2EEA. Jacquemard, Marcio Teixeira: Computer analysis of periodic orbits of discontinuous vector fields. J. Symb. Comput. 35(5): 617-636 (2003)
1999
1EESérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke: Model Checking Semi-Continuous Time Models Using BDDs. Electr. Notes Theor. Comput. Sci. 23(2): (1999)

Coauthor Index

1J. Ross Beveridge [3] [4]
2David S. Bolme [3] [4]
3Sérgio Vale Aguiar Campos [1]
4Edmund M. Clarke [1]
5Bruce A. Draper [3] [4]
6A. Jacquemard [2]
7Andreas Kuehlmann [1]
8Marius Minea [1]

Colors in the list of coauthors

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