David A. Rosenblueth

Research Interests

Model Checking, Artificial Intelligence, Gene Regulatory Networks

Conference Publications

• Nondeterministic update of CTL models by preserving satisfaction through protections, Miguel Carrillo and David A. Rosenblueth, Automated Technology for Verification and Analysis (ATVA 2011), Lecture Notes in Computer Science, Vol. 6996, Springer, pp. 60-74, T. Bultan and P.-A. Hsiung (eds)., Taipei, Taiwan, 11-14 October 2011.
• An Analysis of Recombination in Some Simple Landscapes, David A. Rosenblueth and Christopher R. Stephens, Proceedings of the 8th Mexican International Conference on Artificial Intelligence (MICAI 2009), Lecture Notes in Artificial Intelligence, Vol. 5845, Springer, pp. 716-727, Guanajuato, Mexico, 9-13 November 2009.
• A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier, Pedro Arturo Gongora y David A. Rosenblueth, Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems 2009, IfI Technical Report Series IfI-09-08, Institut fur Informatik, Technische Universitat Clausthal, Germany, pp. 139-155, Hamburg, Germany, 9-10 September 2009.
• Learning Models from Temporal-Logic Properties via Explanations, Miguel Carrillo and David A. Rosenblueth, Workshop on Explanation-Aware Computing, Technical Report WS-07-06, AAAI Press pp. 10-13, Vancouver, Canada, 2007.
• Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms, Manuel Hernandez and David A. Rosenblueth, Principles and Practice of Declarative Programming '01, pp.\ 38-48, Florence, Italy, 2001.
• An Exhaustive-Search Method using Layered Streams Obtained through a Meta-Interpreter for Chain Programs , David A. Rosenblueth, International Workshop on Logic-Based Program Synthesis and Transformation, Pre-Proceedings of LOPSTR'98, Dept. of Computer Science, Universtiy of Manchester, Technical Report UMCS-98-6-1, pp. 55-62, Manchester, U.K., 1998.
• Definite-Clause Grammars for the Analysis of Cis-Regulatory Regions in E. coli, Dennis Thieffry, David A. Rosenblueth, Araceli M. Huerta, Heladia Salgado, and Julio Collado-Vides, Proceedings of the Pacific Symposium on Biocomputing '97, (Altman, R., Dunker, K., Hunter, L. y Klein, T. eds.) pp. 441-452, 1997.
• LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing, David A. Rosenblueth and Julio C. Peralta, International Logic Programming Symposium (Maurice Bruynooghe ed.) pp. 439-453, Ithaca, New York, U.S.A., 1994.
• An Interactive System for Scheduling Chemical Processes, David A. Rosenblueth, The Second International Conference on the Practical Application of Prolog (Leon Sterling ed.) pp. 423-440, London, U.K., 1994.
• Programación Logica y Programacion Basada en Estados, David A. Rosenblueth, Tercer Congreso Iberoamericano de Inteligencia Artificial, pp. 181-199, La Habana, Cuba, 1992.
• Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs, David A. Rosenblueth, International Conference on Fifth Generation Computer Systems, pp. 1125-1132, Tokyo, Japan, 1992.

Journal Publications

• Self-Organizing Traffic Lights at Multiple-Street Intersections, Carlos Gershenson and David A. Rosenblueth, Complexity, to appear
• A Model of City Traffic based on Elementary Cellular Automata, David A. Rosenblueth and Carlos Gershenson, Complex Systems, Vol. 19, No. 4, pp. 305-322, 2011.
• A Method for CTL Model Update, Representing Kripke Structures as ''Table Systems'', Miguel Carrillo and David A. Rosenblueth, International Journal of Pure and Applied Mathematics, Vol. 52, No. 3, pp. 401-431, 2009.
• A Multiple-Clause Folding Rule Using Instantiation and Generalization, David A. Rosenblueth, Fundamenta Informaticae, Vol. 69, No. 1,2, pp. 219-249, 2006.
• Regulatory Network in Escherichia coli: Consistency Between Literature Knowledge and Microarray Profiles, Rosa Maria Gutierrez-Rios, David A. Rosenblueth, Jose Antonio Loza, Araceli M. Huerta, Jeremy D. Glasner, Fred R. Blattner and Julio Collado-Vides, Genome Research , Vol. 13, pp. 2435-2443, 2003.
• Classification of 2-(14,7,12) and 3-(14,7,5) Resolvable Designs, Petteri Kaski, Luis B. Morales, Patric R. J. Ostergard, David A. Rosenblueth, and Carlos Velarde, The Journal of Combinatorial Mathematics and Combinatorial Computing, Vol. 47, pp. 65-74, 2003.
• A Greedy Algorithm for Decomposing Large Clothing Orders into Lays, David A. Rosenblueth, accepted in: Applied Computing Review.
• Disjunctive Partial Deduction of a Right-to-Left String-Matching Algorithm, Manuel Hernandez and David A. Rosenblueth, Information Processing Letters, Vol. 87, pp. 235-241, 2003.
• Chain Programs For Writing Deterministic Metainterpreters, David A. Rosenblueth, Theory and Practice of Logic Programming, Vol. 2, No. 2, pp. 203-232, 2002.
• A Prolog Program for Decomposing Clothing Orders into Lays, David A. Rosenblueth, Applied Computing Review, Vol. 6, No. 1, pp. 26-32, 1998.
• SLR Inference: an Inference System for Fixed-Mode Logic Programs, Based on SLR Parsing, David A. Rosenblueth and Julio C. Peralta, The Journal of Logic Programming, Vol. 34, No. 3, pp. 227-260, 1998.
• Chart Parsers as Inference Systems for Fixed-Mode Logic Programs, David A. Rosenblueth, New Generation Computing, Vol. 14, No. 4, pp. 429-458, 1996.
• Syntactic Recognition of Regulatory Regions in Escherichia Coli, David A. Rosenblueth, Denis Thieffry, Araceli M. Huerta, Heladia Salgado and Julio Collado-Vides, Computer Applications in Biology, Vol. 12, No. 5, pp. 415-422, 1996.
• Definite-Clause Grammars for 2D Shape Analysis, Ernesto Bribiesca, David A. Rosenblueth and María Garza-Jinich, Computers and Mathematics with Applications, Vol. 30, No. 8, pp. 95-103, 1995.
• An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser, David A. Rosenblueth, Information Processing Letters, Vol. 45, pp. 211-217, 1993.