| 2008 |
|---|
| 11 | EE | George Lee,
Carlos Rodriguez,
Anant Madabhushi:
Investigating the Efficacy of Nonlinear Dimensionality Reduction Schemes in Classifying Gene and Protein Expression Studies.
IEEE/ACM Trans. Comput. Biology Bioinform. 5(3): 368-384 (2008) |
| 2007 |
|---|
| 10 | EE | George Lee,
Carlos Rodriguez,
Anant Madabhushi:
An Empirical Comparison of Dimensionality Reduction Methods for Classifying Gene and Protein Expression Datasets.
ISBRA 2007: 170-181 |
| 2005 |
|---|
| 9 | EE | Carlos Rodriguez:
Metalinguistic Information Extraction for Terminology
CoRR abs/cs/0504074: (2005) |
| 2003 |
|---|
| 8 | EE | Heng Cao,
Feng Cheng,
Haifeng Xi,
Markus Ettl,
Stephen J. Buckley,
Carlos Rodriguez:
Supply chain simulation: a simulation-based tool for inventory analysis in a server computer manufacturing environment.
Winter Simulation Conference 2003: 1313-1318 |
| 2000 |
|---|
| 7 | EE | Julie Mason,
Steve Mitchell,
Margaret Mooney,
Lynne Reasoner,
Carlos Rodriguez:
INFOMINE: Promising Directions in Virtual Library Development.
First Monday 5(6): (2000) |
| 1996 |
|---|
| 6 | | S. Ayache,
Eric Conquet,
Philippe Humbert,
Carlos Rodriguez,
Joseph Sifakis,
R. Gerlich:
Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft.
FTCS 1996: 353-357 |
| 1992 |
|---|
| 5 | EE | Jean-Claude Fernandez,
Hubert Garavel,
Laurent Mounier,
Anne Rasse,
Carlos Rodriguez,
Joseph Sifakis:
A Toolbox for the Verification of LOTOS Programs.
ICSE 1992: 246-259 |
| 1991 |
|---|
| 4 | | Ahmed Bouajjani,
Jean-Claude Fernandez,
Susanne Graf,
Carlos Rodriguez,
Joseph Sifakis:
Safety for Branching Time Semantics.
ICALP 1991: 76-92 |
| 1990 |
|---|
| 3 | | M. Baptista,
Susanne Graf,
Jean-Luc Richier,
Luís Rodrigues,
Carlos Rodriguez,
Paulo Veríssimo,
Jacques Voiron:
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
FORTE 1990: 345-352 |
| 1989 |
|---|
| 2 | | Susanne Graf,
Jean-Luc Richier,
Carlos Rodriguez,
Jacques Voiron:
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?
Automatic Verification Methods for Finite State Systems 1989: 275-285 |
| 1987 |
|---|
| 1 | | Jean-Luc Richier,
Carlos Rodriguez,
Joseph Sifakis,
Jacques Voiron:
Verification in XESAR of the Sliding Window Protocol.
PSTV 1987: 235-248 |
