David A. Rosenblueth

2007
16		Miguel A. Carrillo, David A. Rosenblueth: Learning Models from Temporal-Logic Properties via Explanations. ExaCt 2007: 10-13
2006
15	EE	David A. Rosenblueth: A Multiple-Clause Folding Rule Using Instantiation and Generalization. Fundam. Inform. 69(1-2): 219-249 (2006)
2005
14	EE	David A. Rosenblueth: Incorporating a folding rule into inductive logic programming. IJCAI 2005: 1630-1631
2003
13	EE	David A. Rosenblueth: A Distinct-Head Folding Rule. ICLP 2003: 505-506
12	EE	Manuel Hernández, David A. Rosenblueth: Disjunctive partial deduction of a right-to-left string-matching algorithm. Inf. Process. Lett. 87(5): 235-241 (2003)
2002
11		Julio Collado-Vides, Gabriel Moreno-Hagelsieb, Ernesto Pérez-Rueda, Heladia Salgado, Araceli M. Huerta, Rosa María Gutiérrez, David A. Rosenblueth, Andrés Christen, Esperanza Benítez-Bellón, Arturo Medrano-Soto, Socorro Gama-Castro, Alberto Santos-Zavaleta, César Bonavides-Martínez, Edgar Díaz-Peredo, Fabiola Sánchez-Solano, Dulce María Millá: Genomics of Gene Regulation: The View from Escherichia coli. Gene Regulations and Metabolism 2002: 103-128
10		David A. Rosenblueth: Chain Programs for Writing Deterministic Metainterpreters. TPLP 2(2): 203-232 (2002)
2001
9		Manuel Hernández, David A. Rosenblueth: Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms. PPDP 2001: 38-48
8	EE	David A. Rosenblueth: Chain Programs for Writing Deterministic Metainterpreters CoRR cs.LO/0104003: (2001)
1998
7	EE	David A. Rosenblueth: An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. LOPSTR 1998: 322-324
6		David A. Rosenblueth, Julio C. Peralta: SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing. J. Log. Program. 34(3): 227-259 (1998)
1996
5		David A. Rosenblueth, Denis Thieffry, Araceli M. Huerta, Heladia Salgado, Julio Collado-Vides: Syntactic recognition of regulatory regions in Escherichia coli. Computer Applications in the Biosciences 12(5): 415-422 (1996)
4		David A. Rosenblueth: Chart Parsers as Inference Systems for Fixed-Mode Logic Programs. New Generation Comput. 14(4): 429-458 (1996)
1994
3		David A. Rosenblueth, Julio C. Peralta: LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. SLP 1994: 439-453
1993
2		David A. Rosenblueth: An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser. Inf. Process. Lett. 45(4): 211-217 (1993)
1992
1		David A. Rosenblueth: Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs. FGCS 1992: 1125-1132

Coauthor Index

1	Esperanza Benítez-Bellón	[11]
2	César Bonavides-Martínez	[11]
3	Miguel A. Carrillo	[16]
4	Andrés Christen	[11]
5	Julio Collado-Vides	[5] [11]
6	Edgar Díaz-Peredo	[11]
7	Socorro Gama-Castro	[11]
8	Rosa María Gutiérrez	[11]
9	Manuel Hernández	[9] [12]
10	Araceli M. Huerta	[5] [11]
11	Arturo Medrano-Soto	[11]
12	Dulce María Millá	[11]
13	Gabriel Moreno-Hagelsieb	[11]
14	Julio C. Peralta	[3] [6]
15	Ernesto Pérez-Rueda	[11]
16	Heladia Salgado	[5] [11]
17	Fabiola Sánchez-Solano	[11]
18	Alberto Santos-Zavaleta	[11]
19	Denis Thieffry	[5]

Colors in the list of coauthors