default search action
David A. Rosenblueth
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j23]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): 2421-2440 (2024) - [i8]Eugenio Azpeitia, Stan Muñoz Gutiérrez, David A. Rosenblueth, Octavio Zapata:
Bridging abstract dialectical argumentation and Boolean gene regulation. CoRR abs/2407.06106 (2024) - 2023
- [j22]Armando Castañeda, Hans van Ditmarsch
Communication Pattern Logic: Epistemic and Topological Views. J. Philos. Log. 52(5): 1445-1473 (2023) - [c25]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: 157-172 - 2022
- [j21]Borzoo Bonakdarpour
Decentralized Asynchronous Crash-resilient Runtime Verification. J. ACM 69(5): 34:1-34:31 (2022) - [i7]Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth, Diego A. Velázquez:
Communication Pattern Logic: Epistemic and Topological Views. CoRR abs/2207.00823 (2022) - 2021
- [c24]Mário Franco
Random Networks with Quantum Boolean Functions. ALIFE 2021: 94 - [c23]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: 307-321 - 2020
- [c22]Miguel Carrillo
Verification and Simulation of Time-Domain Properties for Models of Behaviour. MODELSWARD (Revised Selected Papers) 2020: 225-249 - [c21]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: 287-298
2010 – 2019
- 2019
- [j20]Jesus Savage, David A. Rosenblueth, Mauricio Matamoros, Marco Negrete
Semantic reasoning in service robots using expert systems. Robotics Auton. Syst. 114: 77-92 (2019) - 2018
- [j19]François Fages
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE ACM Trans. Comput. Biol. Bioinform. 15(4): 1138-1151 (2018) - 2017
- [j18]Jorge Zapotecatl
Deliberative Self-Organizing Traffic Lights with Elementary Cellular Automata. Complex. 2017: 7691370:1-7691370:15 (2017) - 2016
- [c20]François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
Influence Systems vs Reaction Systems. CMSB 2016: 98-115 - [c19]Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum
Decentralized Asynchronous Crash-Resilient Runtime Verification. CONCUR 2016: 16:1-16:15 - [c18]Jesus Savage, Jesus Cruz, Mauricio Matamoros
Configurable Mobile Robot Behaviors Implemented on FPGA Based Architectures. ICARSC 2016: 317-322 - 2015
- [j17]Manuel Beltrán del Río, Christopher R. Stephens, David A. Rosenblueth:
Fitness Landscape epistasis and Recombination. Adv. Complex Syst. 18(7-8): 1550026:1-1550026:3 (2015) - [j16]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): 577-596 (2015) - [j15]Nathan Weinstein
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: 81:1-81:21 (2015) - [c17]Noé Hernández
Marimba: A Tool for Verifying Properties of Hidden Markov Models. ATVA 2015: 201-206 - [e1]Adrian-Horia Dediu, Francisco Hernández Quiroz, Carlos Martín-Vide, David A. Rosenblueth:
Algorithms for Computational Biology - Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings. Lecture Notes in Computer Science 9199, Springer 2015, ISBN 978-3-319-21232-6 [contents] - [i6]Noé Hernández, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth:
Marimba: A Tool for Verifying Properties of Hidden Markov Models. CoRR abs/1507.05597 (2015) - 2014
- [j14]Miguel Carrillo
CTL update of Kripke models through protections. Artif. Intell. 211: 51-74 (2014) - [j13]Dario Zubillaga, Geovany Cruz, Luis Daniel Aguilar, Jorge Zapotecatl, Nelson Fernández, José Aguilar
Measuring the Complexity of Self-Organizing Traffic Lights. Entropy 16(5): 2384-2407 (2014) - [c16]David A. Rosenblueth, Stalin Muñoz
Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver. AlCoB 2014: 235-246 - [i5]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 abs/1402.0197 (2014) - 2013
- [c15]Tom Froese
The dynamically extended mind. IEEE Congress on Evolutionary Computation 2013: 1419-1426 - [i4]Tom Froese, Carlos Gershenson, David A. Rosenblueth:
The Dynamically Extended Mind -- A Minimal Modeling Case Study. CoRR abs/1305.1958 (2013) - 2012
- [j12]Carlos Gershenson
Self-organizing traffic lights at multiple-street intersections. Complex. 17(4): 23-39 (2012) - [j11]Héctor Zenil
Life as Thermodynamic Evidence of Algorithmic Structure in Natural Environments. Entropy 14(11): 2173-2191 (2012) - [j10]Carlos Gershenson
Adaptive self-organization vs static optimization: A qualitative comparison in traffic light coordination. Kybernetes 41(3): 386-403 (2012) - [c14]Vladimir Estivill-Castro
Efficient Modelling of Embedded Software Systems and their Formal Verification. APSEC 2012: 428-433 - [c13]Adalberto Llarena
Model Checking Applied to Humanoid Robotic Soccer. TAROS 2012: 256-269 - 2011
- [j9]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: 490 (2011) - [j8]David A. Rosenblueth, Carlos Gershenson:
A Model of City Traffic Based on Elementary Cellular Automata. Complex Syst. 19(4) (2011) - [c12]Miguel Carrillo, David A. Rosenblueth:
Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections. ATVA 2011: 60-74 - [c11]Vladimir Estivill-Castro
Model Checking of Transition-Labeled Finite-State Machines. FGIT-ASEA/DRBC/EL 2011: 61-73 - [i3]Carlos Gershenson, David A. Rosenblueth:
Self-organizing traffic lights at multiple-street intersections. CoRR abs/1104.2829 (2011)
2000 – 2009
- 2009
- [c10]Pedro Arturo Góngora, David A. Rosenblueth:
A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier. CLIMA 2009: 158-177 - [c9]David A. Rosenblueth, Christopher R. Stephens:
An Analysis of Recombination in Some Simple Landscapes. MICAI 2009: 716-727 - [i2]Carlos Gershenson, David A. Rosenblueth:
Modeling self-organizing traffic lights with elementary cellular automata. CoRR abs/0907.1925 (2009) - 2007
- [c8]Miguel Carrillo, David A. Rosenblueth:
Learning Models from Temporal-Logic Properties via Explanations. ExaCt 2007: 10-13 - 2006
- [j7]David A. Rosenblueth:
A Multiple-Clause Folding Rule Using Instantiation and Generalization. Fundam. Informaticae 69(1-2): 219-249 (2006) - 2005
- [c7]David A. Rosenblueth:
Incorporating a folding rule into inductive logic programming. IJCAI 2005: 1630-1631 - 2003
- [j6]Manuel Hernández, David A. Rosenblueth:
Disjunctive partial deduction of a right-to-left string-matching algorithm. Inf. Process. Lett. 87(5): 235-241 (2003) - [c6]David A. Rosenblueth:
A Distinct-Head Folding Rule. ICLP 2003: 505-506 - 2002
- [j5]David A. Rosenblueth:
Chain Programs for Writing Deterministic Metainterpreters. Theory Pract. Log. Program. 2(2): 203-232 (2002) - [c5]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: 103-128 - 2001
- [c4]Manuel Hernández, David A. Rosenblueth:
Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms. PPDP 2001: 38-48 - [i1]David A. Rosenblueth:
Chain Programs for Writing Deterministic Metainterpreters. CoRR cs.LO/0104003 (2001)
1990 – 1999
- 1998
- [j4]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): 227-259 (1998) - [c3]David A. Rosenblueth:
An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. LOPSTR 1998: 322-324 - 1996
- [j3]David A. Rosenblueth, Denis Thieffry
Syntactic recognition of regulatory regions in Escherichia coli. Comput. Appl. Biosci. 12(5): 415-422 (1996) - [j2]David A. Rosenblueth:
Chart Parsers as Inference Systems for Fixed-Mode Logic Programs. New Gener. Comput. 14(4): 429-458 (1996) - 1994
- [c2]David A. Rosenblueth, Julio C. Peralta:
LR Inference: Inference Systems for Fixed-Mode Logic Programs, Based on LR Parsing. ILPS 1994: 439-453 - 1993
- [j1]David A. Rosenblueth:
An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser. Inf. Process. Lett. 45(4): 211-217 (1993) - 1992
- [c1]David A. Rosenblueth:
Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs. FGCS 1992: 1125-1132
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: