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

Carlos Rodriguez

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

2008
11EEGeorge 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
10EEGeorge Lee, Carlos Rodriguez, Anant Madabhushi: An Empirical Comparison of Dimensionality Reduction Methods for Classifying Gene and Protein Expression Datasets. ISBRA 2007: 170-181
2005
9EECarlos Rodriguez: Metalinguistic Information Extraction for Terminology CoRR abs/cs/0504074: (2005)
2003
8EEHeng 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
7EEJulie 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
5EEJean-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

Coauthor Index

1S. Ayache [6]
2M. Baptista [3]
3Ahmed Bouajjani [4]
4Stephen J. Buckley [8]
5Heng Cao [8]
6Feng Cheng [8]
7Eric Conquet [6]
8Markus Ettl [8]
9Jean-Claude Fernandez [4] [5]
10Hubert Garavel [5]
11R. Gerlich [6]
12Susanne Graf [2] [3] [4]
13Philippe Humbert [6]
14George Lee [10] [11]
15Anant Madabhushi [10] [11]
16Julie Mason [7]
17Steve Mitchell [7]
18Margaret Mooney [7]
19Laurent Mounier [5]
20Anne Rasse [5]
21Lynne Reasoner [7]
22Jean-Luc Richier [1] [2] [3]
23Luís Rodrigues [3]
24Joseph Sifakis [1] [4] [5] [6]
25Paulo Veríssimo [3]
26Jacques Voiron [1] [2] [3]
27Haifeng Xi [8]

Colors in the list of coauthors

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