David A. Rosenblueth

发表

Development reuse and the logic program derivation of two string-matching algorithms

Manuel Hernández, David A. Rosenblueth, 2001, PPDP '01.

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

David A. Rosenblueth, D. Rosenblueth, 1993, Inf. Process. Lett..

Algorithms for Computational Biology

Carlos Martín-Vide, David A. Rosenblueth, Adrian-Horia Dediu, 2015, Lecture Notes in Computer Science.

Semantic reasoning in service robots using expert systems

Hiroyuki Okada, David A. Rosenblueth, Hugo Estrada-Esquivel, 2019, Robotics Auton. Syst..

A Distinct-Head Folding Rule

David A. Rosenblueth, 2003, ICLP.

Genomics of Gene Regulation: The View from Escherichia coli

César Bonavides-Martínez, Socorro Gama-Castro, David A. Rosenblueth, 2002, Gene Regulations and Metabolism.

Marimba: A Tool for Verifying Properties of Hidden Markov Models

Evgeni Magid, Kerstin Eder, David A. Rosenblueth, 2015, ATVA.

Failure mode and effects analysis (FMEA) and model-checking of software for embedded systems by sequential scheduling of vectors of logic-labelled finite-state machines

Rene Hexel, Vladimir Estivill-Castro, David A. Rosenblueth, 2012 .

Model Checking Applied to Humanoid Robotic Soccer

David A. Rosenblueth, Adalberto Llarena, D. Rosenblueth, 2012, TAROS.

An Analysis of Recombination in Some Simple Landscapes

Christopher R. Stephens, David A. Rosenblueth, 2009, MICAI.

The Dynamically Extended Mind -- A Minimal Modeling Case Study pdf

Tom Froese, Carlos Gershenson, David A. Rosenblueth, 2013, ArXiv.

A Model of City Traffic Based on Elementary Cellular Automata

Carlos Gershenson, David A. Rosenblueth, C. Gershenson, 2010, Complex Syst..

A Multiple-Clause Folding Rule Using Instantiation and Generalization

David A. Rosenblueth, D. Rosenblueth, 2006, Fundam. Informaticae.

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

David A. Rosenblueth, Pedro Arturo Góngora, D. Rosenblueth, 2009, CLIMA.

The combination of the functionalities of feedback circuits is determinant for the number and size of attractors of molecular networks

Aurélien Naldi, David A. Rosenblueth, Eugenio Azpeitia, 2016, bioRxiv.

Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections

David A. Rosenblueth, Miguel Carrillo, 2011, ATVA.

Chart parsers as inference systems for fixed-mode logic programs

David A. Rosenblueth, D. Rosenblueth, 1996, New Generation Computing.

A model of the regulatory network involved in the control of the cell cycle and cell differentiation in the Caenorhabditis elegans vulva

Luis Mendoza, David A. Rosenblueth, Nathan Weinstein, 2015, BMC Bioinformatics.

Chain programs for writing deterministic metainterpreters

David A. Rosenblueth, D. Rosenblueth, 2001, Theory and Practice of Logic Programming.

Algorithms for Computational Biology: Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings

Carlos Martín-Vide, David A. Rosenblueth, Adrian-Horia Dediu, 2015 .

Configurable Mobile Robot Behaviors Implemented on FPGA Based Architectures

David A. Rosenblueth, Jesús Savage, Marco Negrete, 2016, 2016 International Conference on Autonomous Robot Systems and Competitions (ICARSC).

An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

David A. Rosenblueth, Miguel Carrillo, Pedro A. Góngora, 2012, Front. Plant Sci..

Efficient Construction of Kripke Structures and Model Checking of Logic- Labeled Sequential Finite State Machines

Vladimir Estivill-Castro, David A. Rosenblueth, 2013 .

Self-organizing traffic lights at multiple-street intersections pdf

Carlos Gershenson, David A. Rosenblueth, C. Gershenson, 2011, Complex..

Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors

Sylvain Soliman, David A. Rosenblueth, Thierry Martinez, 2018, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

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

David A. Rosenblueth, Eugenio Azpeitia, Stalin Muñoz, 2014, AlCoB.

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

David A. Rosenblueth, Eugenio Azpeitia, Mariana Benítez, 2011, BMC Bioinformatics.

Syntactic recognition of regulatory regions in Escherichia coli

Denis Thieffry, Julio Collado-Vides, David A. Rosenblueth, 1996, Comput. Appl. Biosci..

Deliberative Self-Organizing Traffic Lights with Elementary Cellular Automata

Carlos Gershenson, David A. Rosenblueth, Jorge Zapotecatl, 2017, Complex..

Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology

David A. Rosenblueth, 2016, Front. Bioeng. Biotechnol..

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

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

Decentralized Asynchronous Crash-Resilient Runtime Verification

Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, 2016, CONCUR.

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

David A. Rosenblueth, Julio C. Peralta, 1994, ILPS.

A greedy algorithm for decomposing large clothing orders into lays

David A. Rosenblueth, 2019, SIAP.

Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks

David A. Rosenblueth, Eugenio Azpeitia, Stalin Muñoz, 2018, Front. Genet..

Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs

David A. Rosenblueth, 1992, FGCS.

The dynamically extended mind

Tom Froese, Carlos Gershenson, David A. Rosenblueth, 2013, 2013 IEEE Congress on Evolutionary Computation.

Model Checking of Transition-Labeled Finite-State Machines

Vladimir Estivill-Castro, David A. Rosenblueth, V. Estivill-Castro, 2011, FGIT-ASEA/DRBC/EL.

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

David A. Rosenblueth, 1998, LOPSTR.

A prolog program for decomposing clothing orders into lays

David A. Rosenblueth, 1998, SIAP.

Learning Models from Temporal-Logic Properties via Explanations

David A. Rosenblueth, Miguel Carrillo, 2007, ExaCt.

Life as Thermodynamic Evidence of Algorithmic Structure in Natural Environments

Hector Zenil, James A. R. Marshall, Carlos Gershenson, 2012, Entropy.

A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria

David A. Rosenblueth, Pedro Arturo Góngora, D. Rosenblueth, 2015, Int. J. Appl. Math. Comput. Sci..

SLR Inference an Inference System for Fixed-Mode Logic Programs Based on SLR Parsing

David A. Rosenblueth, Julio C. Peralta, D. Rosenblueth, 1998, J. Log. Program..

Efficient Modelling of Embedded Software Systems and their Formal Verification

Vladimir Estivill-Castro, David A. Rosenblueth, René Hexel, 2012, 2012 19th Asia-Pacific Software Engineering Conference.

CTL update of Kripke models through protections

David A. Rosenblueth, Miguel Carrillo, 2014, Artif. Intell..

Incorporating a folding rule into inductive logic programming

David A. Rosenblueth, 2005, IJCAI.

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

Manuel Hernández, David A. Rosenblueth, 2003, Inf. Process. Lett..

Fitness Landscape epistasis and Recombination

Christopher R. Stephens, David A. Rosenblueth, Manuel Beltrán del Río, 2015, Adv. Complex Syst..

Influence Systems vs Reaction Systems

François Fages, Sylvain Soliman, David A. Rosenblueth, 2016, CMSB.

Modeling self-organizing traffic lights with elementary cellular automata pdf

Carlos Gershenson, David A. Rosenblueth, C. Gershenson, 2009, ArXiv.

Erratum: The combination of the functionalities of feedback circuits is determinant for the attractors’ number and size in pathway-like Boolean networks

Aurélien Naldi, Elena R. Alvarez-Buylla, Luis Mendoza, 2017, Scientific Reports.

The combination of the functionalities of feedback circuits is determinant for the attractors’ number and size in pathway-like Boolean networks

Aurélien Naldi, Luis Mendoza, David A. Rosenblueth, 2017, Scientific Reports.

Measuring the Complexity of Self-Organizing Traffic Lights pdf

Carlos Gershenson, José Aguilar, David A. Rosenblueth, 2014, Entropy.

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

Carlos Gershenson, David A. Rosenblueth, C. Gershenson, 2012, Kybernetes.

Proceedings of the Second International Conference on Algorithms for Computational Biology - Volume 9199

Carlos Martín-Vide, David A. Rosenblueth, Adrian-Horia Dediu, 2015 .

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

Armando Castaneda, David A. Rosenblueth, Diego A. Vel'azquez, 2021, TARK.

Random Networks with Quantum Boolean Functions

Octavio Zapata, Carlos Gershenson, David A. Rosenblueth, 2021, ALIFE.

Random Networks with Quantum Boolean Functions

Octavio Zapata, Carlos Gershenson, David A. Rosenblueth, 2021, The 2021 Conference on Artificial Life.

Definite-clause grammars for 2D shape analysis

David A. Rosenblueth, Ernesto Bribiesca, M. Garza-Jinich, 1995 .