David A. Rosenblueth

According to our database, David A. Rosenblueth authored at least 52 papers between 1992 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, 2025

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

Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, 2025

2024

Bridging abstract dialectical argumentation and Boolean gene regulation.

Eugenio Azpeitia, Stan Muñoz Gutiérrez, David A. Rosenblueth, Octavio Zapata

CoRR, 2024

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

2023

Communication Pattern Logic: Epistemic and Topological Views.

Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez

J. Philos. Log., October, 2023

Comparing the Update Expressivity of Communication Patterns and Action Models.

Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

2021

Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems.

Diego A. Velázquez, Armando Castañeda, David A. Rosenblueth

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Random Networks with Quantum Boolean Functions.

Mário Franco, Octavio Zapata, David A. Rosenblueth, Carlos Gershenson

Proceedings of the 2021 Conference on Artificial Life, 2021

2020

Verification and Simulation of Time-Domain Properties for Models of Behaviour.

Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth

Proceedings of the Model-Driven Engineering and Software Development, 2020

Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules.

Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2019

Semantic reasoning in service robots using expert systems.

Jesus Savage, David A. Rosenblueth, Mauricio Matamoros, Marco Negrete, Luis Contreras, Julio Cruz, Reynaldo Martell, Hugo Estrada, Hiroyuki Okada

Robotics Auton. Syst., 2019

2018

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

2017

Deliberative Self-Organizing Traffic Lights with Elementary Cellular Automata.

Jorge Zapotecatl, David A. Rosenblueth, Carlos Gershenson

Complex., 2017

2016

Configurable Mobile Robot Behaviors Implemented on FPGA Based Architectures.

Jesus Savage, Jesus Cruz, Mauricio Matamoros, David A. Rosenblueth, Stalin Muñoz, Marco Negrete

Proceedings of the 2016 International Conference on Autonomous Robot Systems and Competitions, 2016

Decentralized Asynchronous Crash-Resilient Runtime Verification.

Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Influence Systems vs Reaction Systems.

François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman

Proceedings of the Computational Methods in Systems Biology, 2016

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

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

Fitness Landscape epistasis and Recombination.

Manuel Beltrán del Río, Christopher R. Stephens, David A. Rosenblueth

Adv. Complex Syst., 2015

Marimba: A Tool for Verifying Properties of Hidden Markov Models.

Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Measuring the Complexity of Self-Organizing Traffic Lights.

Dario Zubillaga, Geovany Cruz, Luis Daniel Aguilar, Jorge Zapotecatl, Nelson Fernández, José Aguilar, David A. Rosenblueth, Carlos Gershenson

Entropy, 2014

CTL update of Kripke models through protections.

Miguel Carrillo, David A. Rosenblueth

Artif. Intell., 2014

Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver.

David A. Rosenblueth, Stalin Muñoz, Miguel Carrillo, Eugenio Azpeitia

Proceedings of the Algorithms for Computational Biology - First International Conference, 2014

2013

The Dynamically Extended Mind -- A Minimal Modeling Case Study

Tom Froese, Carlos Gershenson, David A. Rosenblueth

CoRR, 2013

The dynamically extended mind.

Tom Froese, Carlos Gershenson, David A. Rosenblueth

Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012

Adaptive self-organization vs static optimization: A qualitative comparison in traffic light coordination.

Carlos Gershenson, David A. Rosenblueth

Kybernetes, 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

Self-organizing traffic lights at multiple-street intersections.

Carlos Gershenson, David A. Rosenblueth

Complex., 2012

Model Checking Applied to Humanoid Robotic Soccer.

Adalberto Llarena, David A. Rosenblueth

Proceedings of the Advances in Autonomous Robotics, 2012

Efficient Modelling of Embedded Software Systems and their Formal Verification.

Vladimir Estivill-Castro, René Hexel, David A. Rosenblueth

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

A Model of City Traffic Based on Elementary Cellular Automata.

David A. Rosenblueth, Carlos Gershenson

Complex Syst., 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

Model Checking of Transition-Labeled Finite-State Machines.

Vladimir Estivill-Castro, David A. Rosenblueth

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections.

Miguel Carrillo, David A. Rosenblueth

Proceedings of the Automated Technology for Verification and Analysis, 2011

2009

Modeling self-organizing traffic lights with elementary cellular automata

Carlos Gershenson, David A. Rosenblueth

CoRR, 2009

An Analysis of Recombination in Some Simple Landscapes.

David A. Rosenblueth, Christopher R. Stephens

Proceedings of the MICAI 2009: Advances in Artificial Intelligence, 2009

A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier.

Pedro Arturo Góngora, David A. Rosenblueth

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

2007

Learning Models from Temporal-Logic Properties via Explanations.

Miguel Carrillo, David A. Rosenblueth

Proceedings of the Explanation-Aware Computing, 2007

2006

A Multiple-Clause Folding Rule Using Instantiation and Generalization.

David A. Rosenblueth

Fundam. Informaticae, 2006

2005

Incorporating a folding rule into inductive logic programming.

David A. Rosenblueth

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2003

Disjunctive partial deduction of a right-to-left string-matching algorithm.

Manuel Hernández, David A. Rosenblueth

Inf. Process. Lett., 2003

A Distinct-Head Folding Rule.

David A. Rosenblueth

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Chain Programs for Writing Deterministic Metainterpreters.

David A. Rosenblueth

Theory Pract. Log. Program., 2002

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, César Bonavides-Martínez, Edgar Díaz-Peredo, Fabiola Sánchez-Solano, Dulce María Millá

Proceedings of the Gene Regulations and Metabolism - Postgenomic Computational Approaches, 2002

2001

Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms.

Manuel Hernández, David A. Rosenblueth

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

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

An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs.

David A. Rosenblueth

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1996

Chart Parsers as Inference Systems for Fixed-Mode Logic Programs.

David A. Rosenblueth

New Gener. Comput., 1996

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

1994

LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing.

David A. Rosenblueth, Julio C. Peralta

Proceedings of the Logic Programming, 1994

1993

An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser.

David A. Rosenblueth

Inf. Process. Lett., 1993

1992

Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs.

David A. Rosenblueth

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992