David A. Rosenblueth

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 21

Top Topics

Boolean Functions

Distributed Systems

Dynamic Epistemic Logic

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Eugenio Azpeitia, Stan Muñoz Gutiérrez, David A. Rosenblueth, Octavio Zapata
Bridging abstract dialectical argumentation and Boolean gene regulation. CoRR (2024)
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez
Pattern Models: A Dynamic Epistemic Logic For Distributed Systems. Comput. J. 67 (7) (2024)
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez
Communication Pattern Logic: Epistemic and Topological Views. J. Philos. Log. 52 (5) (2023)
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez
Comparing the Update Expressivity of Communication Patterns and Action Models. TARK (2023)
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez
Communication Pattern Logic: Epistemic and Topological Views. CoRR (2022)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers
Decentralized Asynchronous Crash-resilient Runtime Verification. J. ACM 69 (5) (2022)
Mário Franco, Octavio Zapata, David A. Rosenblueth, Carlos Gershenson
Random Networks with Quantum Boolean Functions. ALIFE (2021)
Diego A. Velázquez, Armando Castañeda, David A. Rosenblueth
Communication Pattern Models: An Extension of Action Models for Dynamic-Network Distributed Systems. TARK (2021)
Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth
Verification and Simulation of Time-Domain Properties for Models of Behaviour. MODELSWARD (Revised Selected Papers) (2020)
Miguel Carrillo, Vladimir Estivill-Castro, David A. Rosenblueth
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules. MODELSWARD (2020)
Jesus Savage, David A. Rosenblueth, Mauricio Matamoros, Marco Negrete, Luis Contreras, Julio Cruz, Reynaldo Martell, Hugo Estrada, Hiroyuki Okada
Semantic reasoning in service robots using expert systems. Robotics Auton. Syst. 114 (2019)
François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
Jorge Zapotecatl, David A. Rosenblueth, Carlos Gershenson
Deliberative Self-Organizing Traffic Lights with Elementary Cellular Automata. Complex. 2017 (2017)
François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
Influence Systems vs Reaction Systems. CMSB (2016)
Jesus Savage, Jesus Cruz, Mauricio Matamoros, David A. Rosenblueth, Stalin Muñoz, Marco Negrete
Configurable Mobile Robot Behaviors Implemented on FPGA Based Architectures. ICARSC (2016)
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers
Decentralized Asynchronous Crash-Resilient Runtime Verification. CONCUR (2016)
Noé Hernández, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth
Marimba: A Tool for Verifying Properties of Hidden Markov Models. CoRR (2015)
Pedro Arturo Góngora, David A. Rosenblueth
A Symbolic Shortest Path Algorithm for Computing Subgame-Perfect Nash Equilibria. Int. J. Appl. Math. Comput. Sci. 25 (3) (2015)
Manuel Beltrán del Río, Christopher R. Stephens, David A. Rosenblueth
Fitness Landscape epistasis and Recombination. Adv. Complex Syst. 18 (7-8) (2015)
Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth
Marimba: A Tool for Verifying Properties of Hidden Markov Models. ATVA (2015)
Nathan Weinstein, Elizabeth Ortiz-Gutiérrez, Stalin Muñoz, David A. Rosenblueth, Elena R. Álvarez-Buylla, Luis Mendoza
A model of the regulatory network involved in the control of the cell cycle and cell differentiation in the Caenorhabditis elegans vulva. BMC Bioinform. 16 (2015)
Dario Zubillaga, Geovany Cruz, Luis Daniel Aguilar, Jorge Zapotecatl, Nelson Fernández, José Aguilar, David A. Rosenblueth, Carlos Gershenson
Measuring the Complexity of Self-organizing Traffic Lights. CoRR (2014)
Miguel Carrillo, David A. Rosenblueth
CTL update of Kripke models through protections. Artif. Intell. 211 (2014)
Dario Zubillaga, Geovany Cruz, Luis Daniel Aguilar, Jorge Zapotecatl, Nelson Fernández, José Aguilar, David A. Rosenblueth, Carlos Gershenson
Measuring the Complexity of Self-Organizing Traffic Lights. Entropy 16 (5) (2014)
David A. Rosenblueth, Stalin Muñoz, Miguel Carrillo, Eugenio Azpeitia
Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver. AlCoB (2014)
Tom Froese, Carlos Gershenson, David A. Rosenblueth
The Dynamically Extended Mind -- A Minimal Modeling Case Study CoRR (2013)
Tom Froese, Carlos Gershenson, David A. Rosenblueth
The dynamically extended mind. IEEE Congress on Evolutionary Computation (2013)
Carlos Gershenson, David A. Rosenblueth
Self-organizing traffic lights at multiple-street intersections. Complex. 17 (4) (2012)
Vladimir Estivill-Castro, René Hexel, David A. Rosenblueth
Efficient Modelling of Embedded Software Systems and their Formal Verification. APSEC (2012)
Héctor Zenil, Carlos Gershenson, James A. R. Marshall, David A. Rosenblueth
Life as Thermodynamic Evidence of Algorithmic Structure in Natural Environments. Entropy 14 (11) (2012)
Carlos Gershenson, David A. Rosenblueth
Adaptive self-organization vs static optimization: A qualitative comparison in traffic light coordination. Kybernetes 41 (3) (2012)
Adalberto Llarena, David A. Rosenblueth
Model Checking Applied to Humanoid Robotic Soccer. TAROS (2012)
Vladimir Estivill-Castro, David A. Rosenblueth
Model Checking of Transition-Labeled Finite-State Machines. FGIT-ASEA/DRBC/EL (2011)
David A. Rosenblueth, Carlos Gershenson
A Model of City Traffic Based on Elementary Cellular Automata. Complex Syst. 19 (4) (2011)
Miguel Carrillo, David A. Rosenblueth
Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. ATVA (2011)
Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez, Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth, Elena R. Álvarez-Buylla
"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis. BMC Bioinform. 12 (2011)
Carlos Gershenson, David A. Rosenblueth
Self-organizing traffic lights at multiple-street intersections CoRR (2011)
Pedro Arturo Góngora, David A. Rosenblueth
A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier. CLIMA (2009)
David A. Rosenblueth, Christopher R. Stephens
An Analysis of Recombination in Some Simple Landscapes. MICAI (2009)
Carlos Gershenson, David A. Rosenblueth
Modeling self-organizing traffic lights with elementary cellular automata CoRR (2009)
Miguel Carrillo, David A. Rosenblueth
Learning Models from Temporal-Logic Properties via Explanations. ExaCt (2007)
David A. Rosenblueth
A Multiple-Clause Folding Rule Using Instantiation and Generalization. Fundam. Informaticae 69 (1-2) (2006)
David A. Rosenblueth
Incorporating a folding rule into inductive logic programming. IJCAI (2005)
Manuel Hernández, David A. Rosenblueth
Disjunctive partial deduction of a right-to-left string-matching algorithm. Inf. Process. Lett. 87 (5) (2003)
David A. Rosenblueth
A Distinct-Head Folding Rule. ICLP (2003)
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)
David A. Rosenblueth
Chain Programs for Writing Deterministic Metainterpreters. Theory Pract. Log. Program. 2 (2) (2002)
Manuel Hernández, David A. Rosenblueth
Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms. PPDP (2001)
David A. Rosenblueth
Chain Programs for Writing Deterministic Metainterpreters CoRR (2001)
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) (1998)
David A. Rosenblueth
An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. LOPSTR (1998)
David A. Rosenblueth, Denis Thieffry, Araceli M. Huerta, Heladia Salgado, Julio Collado-Vides
Syntactic recognition of regulatory regions in Escherichia coli. Comput. Appl. Biosci. 12 (5) (1996)
David A. Rosenblueth
Chart Parsers as Inference Systems for Fixed-Mode Logic Programs. New Gener. Comput. 14 (4) (1996)
David A. Rosenblueth, Julio C. Peralta
LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. ILPS (1994)
David A. Rosenblueth
An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser. Inf. Process. Lett. 45 (4) (1993)
David A. Rosenblueth
Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs. FGCS (1992)