The Satisfiability of Temporal Constraint Networks. - Raúl E. Valdés-Pérez (AAAI, 1987)

Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry. - Jean Jourdan; Raúl E. Valdés-Pérez (NACLP, 1990)

Machine Discovery of Chemical Reaction Pathways. - Raúl E. Valdés-Pérez (AI Mag., 1991)

A canonical representation of multistep reactions. - Raúl E. Valdés-Pérez (J. Chem. Inf. Comput. Sci., 1991)

Theory-Driven Discovery of Reaction Pathways in the MECHEM System. - Raúl E. Valdés-Pérez (AAAI, 1992)

Scientific Model-Building as Search in Matrix Spaces. - Raúl E. Valdés-Pérez; Jan M. Zytkow; Herbert A. Simon (AAAI, 1993)

Algorithm to test the structural plausibility of a proposed elementary reaction. - Raúl E. Valdés-Pérez (J. Comput. Chem., 1993)

A Powerful Heuristic for the Discovery of Complex Patterned Behaviour. - Raúl E. Valdés-Pérez; Aurora Pérez (ICML, 1994)

Conjecturing Hidden Entities by Means of Simplicity and Conservation Laws: Machine Discovery in Chemistry. - Raúl E. Valdés-Pérez (Artif. Intell., 1994)

Algorithm to Infer the Strucutres of Molecular Formulas within a Reaction Pathway. - Raúl E. Valdés-Pérez (J. Comput. Chem., 1994)

Heuristics for systematic elucidation of reaction pathways. - Raúl E. Valdés-Pérez (J. Chem. Inf. Comput. Sci., 1994)

Algebraic Reasoning about Reactions: Discovery of Conserved Properties in Particle Physics. - Raúl E. Valdés-Pérez (Mach. Learn., 1994)

Machine Discovery in Chemistry: New Results. - Raúl E. Valdés-Pérez (Artif. Intell., 1995)

Some Recent Human-Computer Discoveries in Science and What Accounts for Them. - Raúl E. Valdés-Pérez (AI Mag., 1995)

A New Theorem in Particle Physics Enabled by Machine Discovery. - Raúl E. Valdés-Pérez (Artif. Intell., 1996)

Computer science research on scientific discovery. - Raúl E. Valdés-Pérez (Knowl. Eng. Rev., 1996)

Maximally Parsimonious Discrimination: A Generic Task from Linguistic Discovery. - Raúl E. Valdés-Pérez; Vladimir Pericliev (AAAI/IAAI, 1997)

Scientific Discovery and Simplicity of Method. - Herbert A. Simon; Raúl E. Valdés-Pérez; Derek H. Sleeman (Artif. Intell., 1997)

A Procedure for Multi-Class Discrimination and some Linguistic Applications. - Vladimir Pericliev; Raúl E. Valdés-Pérez (COLING-ACL, 1998)

Systematic prediction of the products and intermediates of isotopic labeling in reaction pathway studies. - Andrew V. Zeigarnik; Raúl E. Valdés-Pérez (J. Comput. Chem., 1998)

Principles of Human Computer Collaboration for Knowledge Discovery in Science. - Raúl E. Valdés-Pérez (Artif. Intell., 1999)

Discovery Tools for Science Apps. - Raúl E. Valdés-Pérez (Commun. ACM, 1999)

Introduction/Editorial: Machine Discovery. - Derek H. Sleeman; Vincent Corruble; Raúl E. Valdés-Pérez (Int. J. Hum. Comput. Stud., 2000)

Concise, intelligible, and approximate profiling of multiple classes. - Raúl E. Valdés-Pérez; Francisco Pereira 001; Vladimir Pericliev (Int. J. Hum. Comput. Stud., 2000)

How Hard Is Mechanism Elucidation in Catalysis? Combinatorial Analysis of C1 Chemistry. - Raúl E. Valdés-Pérez; Andrew V. Zeigarnik (J. Chem. Inf. Comput. Sci., 2000)

Note on generalization in experimental algorithmics. - Naren Ramakrishnan; Raúl E. Valdés-Pérez (ACM Trans. Math. Softw., 2000)

Demonstration of hierarchical document clustering of digital library retrieval results. - Christopher R. Palmer; J. Pesenti; Raúl E. Valdés-Pérez; Michael G. Christel; Alexander G. Hauptmann; Tobun Dorbin Ng; Howard D. Wactlar (JCDL, 2001)