Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs. - David A. Rosenblueth (FGCS, 1992)

An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser. - David A. Rosenblueth (Inf. Process. Lett., 1993)

LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. - David A. Rosenblueth; Julio C. Peralta (ILPS, 1994)

Syntactic recognition of regulatory regions in Escherichia coli. - David A. Rosenblueth; Denis Thieffry; Araceli M. Huerta; Heladia Salgado; Julio Collado-Vides (Comput. Appl. Biosci., 1996)

Chart Parsers as Inference Systems for Fixed-Mode Logic Programs. - David A. Rosenblueth (New Gener. Comput., 1996)

An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. - David A. Rosenblueth (LOPSTR, 1998)

SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing. - David A. Rosenblueth; Julio C. Peralta (J. Log. Program., 1998)

Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms. - Manuel Hernández; David A. Rosenblueth (PPDP, 2001)

Genomics of Gene Regulation: The View from Escherichia coli. - 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; et al. (Gene Regulations and Metabolism, 2002)

Chain Programs for Writing Deterministic Metainterpreters. - David A. Rosenblueth (Theory Pract. Log. Program., 2002)

A Distinct-Head Folding Rule. - David A. Rosenblueth (ICLP, 2003)

Disjunctive partial deduction of a right-to-left string-matching algorithm. - Manuel Hernández; David A. Rosenblueth (Inf. Process. Lett., 2003)

Incorporating a folding rule into inductive logic programming. - David A. Rosenblueth (IJCAI, 2005)

A Multiple-Clause Folding Rule Using Instantiation and Generalization. - David A. Rosenblueth (Fundam. Informaticae, 2006)

Learning Models from Temporal-Logic Properties via Explanations. - Miguel Carrillo; David A. Rosenblueth (ExaCt, 2007)

A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier. - Pedro Arturo Góngora; David A. Rosenblueth (CLIMA, 2009)

An Analysis of Recombination in Some Simple Landscapes. - David A. Rosenblueth; Christopher R. Stephens (MICAI, 2009)

Modeling self-organizing traffic lights with elementary cellular automata - Carlos Gershenson; David A. Rosenblueth (CoRR, 2009)

Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. - Miguel Carrillo; David A. Rosenblueth (ATVA, 2011)

Model Checking of Transition-Labeled Finite-State Machines. - Vladimir Estivill-Castro; David A. Rosenblueth (FGIT-ASEA/DRBC/EL, 2011)

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis. - Gustavo Arellano; Julián Argil; Eugenio Azpeitia; Mariana Benítez; Miguel Carrillo; Pedro Arturo Góngora; David A. Rosenblueth; Elena R. Álvarez-Buylla (BMC Bioinform., 2011)

A Model of City Traffic Based on Elementary Cellular Automata. - David A. Rosenblueth; Carlos Gershenson (Complex Syst., 2011)

Efficient Modelling of Embedded Software Systems and their Formal Verification. - Vladimir Estivill-Castro; René Hexel; David A. Rosenblueth (APSEC, 2012)

Model Checking Applied to Humanoid Robotic Soccer. - Adalberto Llarena; David A. Rosenblueth (TAROS, 2012)

Self-organizing traffic lights at multiple-street intersections. - Carlos Gershenson; David A. Rosenblueth (Complex., 2012)

Life as Thermodynamic Evidence of Algorithmic Structure in Natural Environments. - Héctor Zenil; Carlos Gershenson; James A. R. Marshall; David A. Rosenblueth (Entropy, 2012)

Adaptive self-organization vs static optimization: A qualitative comparison in traffic light coordination. - Carlos Gershenson; David A. Rosenblueth (Kybernetes, 2012)

The dynamically extended mind. - Tom Froese; Carlos Gershenson; David A. Rosenblueth (IEEE Congress on Evolutionary Computation, 2013)

The Dynamically Extended Mind – A Minimal Modeling Case Study - Tom Froese; Carlos Gershenson; David A. Rosenblueth (CoRR, 2013)

Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver. - David A. Rosenblueth; Stalin Muñoz; Miguel Carrillo; Eugenio Azpeitia (AlCoB, 2014)

CTL update of Kripke models through protections. - Miguel Carrillo; David A. Rosenblueth (Artif. Intell., 2014)

Measuring the Complexity of Self-Organizing Traffic Lights. - Dario Zubillaga; Geovany Cruz; Luis Daniel Aguilar; Jorge Zapotecatl; Nelson Fernández; José Aguilar 001; David A. Rosenblueth; Carlos Gershenson (Entropy, 2014)

Marimba: A Tool for Verifying Properties of Hidden Markov Models. - Noé Hernández; Kerstin Eder; Evgeni Magid; Jesús Savage; David A. Rosenblueth (ATVA, 2015)

Fitness Landscape epistasis and Recombination. - Manuel Beltrán del Río; Christopher R. Stephens; David A. Rosenblueth (Adv. Complex Syst., 2015)

A Symbolic Shortest Path Algorithm for Computing Subgame-Perfect Nash Equilibria. - Pedro Arturo Góngora; David A. Rosenblueth (Int. J. Appl. Math. Comput. Sci., 2015)

A model of the regulatory network involved in the control of the cell cycle and cell differentiation in the Caenorhabditis elegans vulva. - Nathan Weinstein; Elizabeth Ortiz-Gutiérrez; Stalin Muñoz; David A. Rosenblueth; Elena R. Álvarez-Buylla; Luis Mendoza (BMC Bioinform., 2015)

Influence Systems vs Reaction Systems. - François Fages; Thierry Martinez; David A. Rosenblueth; Sylvain Soliman (CMSB, 2016)

Decentralized Asynchronous Crash-Resilient Runtime Verification. - Borzoo Bonakdarpour; Pierre Fraigniaud; Sergio Rajsbaum; David A. Rosenblueth; Corentin Travers (CONCUR, 2016)

Configurable Mobile Robot Behaviors Implemented on FPGA Based Architectures. - Jesus Savage; Jesus Cruz; Mauricio Matamoros; David A. Rosenblueth; Stalin Muñoz; Marco Negrete (ICARSC, 2016)

Deliberative Self-Organizing Traffic Lights with Elementary Cellular Automata. - Jorge Zapotecatl; David A. Rosenblueth; Carlos Gershenson (Complex., 2017)

Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. - François Fages; Thierry Martinez; David A. Rosenblueth; Sylvain Soliman (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

Semantic reasoning in service robots using expert systems. - Jesus Savage; David A. Rosenblueth; Mauricio Matamoros; Marco Negrete; Luis Contreras 001; Julio Cruz; Reynaldo Martell; Hugo Estrada 002; Hiroyuki Okada (Robotics Auton. Syst., 2019)

Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. - Miguel Carrillo; Vladimir Estivill-Castro; David A. Rosenblueth (MODELSWARD, 2020)

Verification and Simulation of Time-Domain Properties for Models of Behaviour. - Miguel Carrillo; Vladimir Estivill-Castro; David A. Rosenblueth (MODELSWARD (Revised Selected Papers), 2020)

Random Networks with Quantum Boolean Functions. - Mário Franco; Octavio Zapata; David A. Rosenblueth; Carlos Gershenson (ALIFE, 2021)

Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems. - Diego A. Velázquez; Armando Castañeda; David A. Rosenblueth (TARK, 2021)

Comparing the Update Expressivity of Communication Patterns and Action Models. - Armando Castañeda; Hans van Ditmarsch; David A. Rosenblueth; Diego A. Velázquez (TARK, 2023)

Communication Pattern Logic: Epistemic and Topological Views. - Armando Castañeda; Hans van Ditmarsch; David A. Rosenblueth; Diego A. Velázquez (J. Philos. Log., 2023)

Pattern Models: A Dynamic Epistemic Logic For Distributed Systems. - Armando Castañeda; Hans van Ditmarsch; David A. Rosenblueth; Diego A. Velázquez (Comput. J., 2024)

Bridging abstract dialectical argumentation and Boolean gene regulation. - Eugenio Azpeitia; Stan Muñoz Gutiérrez; David A. Rosenblueth; Octavio Zapata (CoRR, 2024)

LLFSMs to TLA+: A Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent Systems. - Vladimir Estivill-Castro; Miguel Carrillo; David A. Rosenblueth (MODELSWARD, 2025)

Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification. - Vladimir Estivill-Castro; Miguel Carrillo; David A. Rosenblueth (MODELSWARD, 2025)