David A. Rosenblueth

59 papers A* 1B 7C 7Journal 31Unranked 12

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