| 1 | Pattern Models: A Dynamic Epistemic Logic for Distributed Systems | Coautor: Rosenblueth D.A., Castañeda A., Van Ditmarsch H., Velázquez D.A. | 2024 | COMPUT J | WoS-id: 001164246500001
Scopus-id: 2-s2.0-85199515630
| 0 | 0 |
| 2 | Communication Pattern Logic: Epistemic and Topological Views | Coautor: Rosenblueth, David A., Castañeda A., van Ditmarsch, Hans, Velazquez, Diego A. | 2023 | Journal of Philosophical Logic | WoS-id: 001039841000001
Scopus-id: 2-s2.0-85173273778
| 3 | 3 |
| 3 | Comparing the Update Expressivity of Communication Patterns and Action Models | Coautor: Rosenblueth, David A., Castañeda A., van Ditmarsch, Hans, Velazquez, Diego A. | 2023 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | WoS-id: 001048648700015
Scopus-id: 2-s2.0-85168704423
| 1 | 2 |
| 4 | Decentralized Asynchronous Crash-resilient Runtime Verification | Coautor: Rosenblueth, David, Bonakdarpour, Borzoo, Fraigniaud, Pierre, Rajsbaum, Sergio, et al. | 2022 | JOURNAL OF THE ACM | WoS-id: 000885828900004
Scopus-id: 2-s2.0-85163974275
| 3 | 5 |
| 5 | Random Networks with Quantum Boolean Functions | Coautor: Rosenblueth, David A., Franco, Mario, Zapata, Octavio, Gershenson, Carlos | 2021 | Mathematics | WoS-id: 000644515200001
Scopus-id: 2-s2.0-85104258124
| 6 | 6 |
| 6 | Communication pattern models: An extension of action models for dynamic-network distributed systems | Coautor y autor de correspondencia: Rosenblueth D.A., Velázquez D.A., Castañeda A. | 2021 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | WoS-id: 001161440300021
Scopus-id: 2-s2.0-85109010491
| 5 | 8 |
| 7 | Verification and Simulation of Time-Domain Properties for Models of Behaviour | Coautor y autor de correspondencia: Rosenblueth D.A., Carrillo M., Estivill-Castro V. | 2021 | Communications in Computer and Information Science | Scopus-id: 2-s2.0-85101348809
| 0 | 3 |
| 8 | Semantic reasoning in service robots using expert systems | 2ᵒ autor: Rosenblueth, David A., Savage, Jesus, Matamoros, Mauricio, Negrete, Marco, et al. | 2019 | ROBOTICS AND AUTONOMOUS SYSTEMS | WoS-id: 000461268200007
Scopus-id: 2-s2.0-85060983455
| 20 | 34 |
| 9 | A Greedy Algorithm for Decomposing Large Clothing Orders into Lays | 1ᵉʳ autor y autor de correspondencia: Rosenblueth, David A. | 2019 | Applied Computing Review | WoS-id: 000497187500004
| 1 | 0 |
| 10 | Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks | Coautor: Rosenblueth D.A., Muñoz S., Carrillo M., Azpeitia E. | 2018 | Frontiers in Genetics | WoS-id: 000426747100001
Scopus-id: 2-s2.0-85043400808
| 7 | 9 |
| 11 | Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors | Coautor: Rosenblueth D., Fages F., Martinez T., Soliman S. | 2018 | IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS | WoS-id: 000441443500012
Scopus-id: 2-s2.0-85042065589
| 2 | 5 |
| 12 | The combination of the functionalities of feedback circuits is determinant for the attractors' number and size in pathway-like Boolean networks | Coautor: Rosenblueth, David A., Azpeitia, Eugenio, Munoz, Stalin, Gonzalez-Tokman, Daniel, et al. | 2017 | SCIENTIFIC REPORTS | WoS-id: 000393660300001
Scopus-id: 2-s2.0-85012100242
| 13 | 15 |
| 13 | Erratum: The combination of the functionalities of feedback circuits is determinant for the attractors' number and size in pathway-like Boolean networks | Coautor: Rosenblueth D.A., Azpeitia E., Muñoz S., González-Tokman D., et al. | 2017 | SCIENTIFIC REPORTS | WoS-id: 000396979000001
Scopus-id: 2-s2.0-85076358594
| 0 | 0 |
| 14 | Deliberative self-organizing traffic lights with elementary cellular automata | 2ᵒ autor: Rosenblueth, David A., Zapotecatl, Jorge L., Gershenson, Carlos | 2017 | Complexity | WoS-id: 000403372500001
Scopus-id: 2-s2.0-85021689149
| 12 | 16 |
| 15 | Editorial: Computational methods for understanding complexity: The use of formal methods in biology | 1ᵉʳ autor y autor de correspondencia: Rosenblueth, David A. | 2016 | Frontiers in Bioengineering and Biotechnology | WoS-id: 000390444500001
Scopus-id: 2-s2.0-85046235106
| 1 | 1 |
| 16 | Influence systems vs reaction systems | Coautor: Rosenblueth, David A., Fages, Francois, Martinez, Thierry, Soliman, Sylvain | 2016 | Lecture Notes in Computer Science | WoS-id: 000460685100007
Scopus-id: 2-s2.0-84988517465
| 5 | 5 |
| 17 | Decentralized asynchronous crash-resilient Runtime Verification | Coautor: Rosenblueth, D.A., Bonakdarpour, B., Fraigniaud, P., Rajsbaum, S., et al. | 2016 | Leibniz International Proceedings in Informatics, LIPIcs | Scopus-id: 2-s2.0-85012929020
| 0 | 21 |
| 18 | A model of the regulatory network involved in the control of the cell cycle and cell differentiation in the Caenorhabditis elegans vulva | Coautor: Rosenblueth D.A., Weinstein N., Ortiz-Gutiérrez E., Muñoz S., et al. | 2015 | Bmc Bioinformatics | WoS-id: 000351816600002
Scopus-id: 2-s2.0-84928254244
| 7 | 8 |
| 19 | A Symbolic Shortest Path Algorithm for Computing Subgame-Perfect Nash Equilibria | 2ᵒ autor y autor de correspondencia: Rosenblueth, DA, Gongora, PA | 2015 | INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE | WoS-id: 000362229500011
Scopus-id: 2-s2.0-84943799567
| 1 | 2 |
| 20 | Fitness landscape epistasis and recombination | Coautor y autor de correspondencia: Rosenblueth D.A., Del Río M.B., Stephens C.R. | 2015 | ADVANCES IN COMPLEX SYSTEMS | WoS-id: 000371331000006
Scopus-id: 2-s2.0-84975678750
| 1 | 2 |
| 21 | Marimba: A tool for verifying properties of hidden markov models | Coautor: Rosenblueth D.A., Hernández N., Eder K., Magid E., et al. | 2015 | Lecture Notes in Computer Science | WoS-id: 000374241600014
Scopus-id: 2-s2.0-84951731312
| 0 | 1 |
| 22 | Preface | Coautor: Rosenblueth D.A., Dediu A.-H., Hernández-Quiroz F., Martín-Vide C. | 2015 | Lecture Notes in Computer Science | Scopus-id: 2-s2.0-84951177867
| 0 | 0 |
| 23 | Algorithms for Computational Biology: Second international conference, AlCoB 2015 Mexico City, Mexico, August 4-5, 2015 proceedings | Coautor: Rosenblueth D.A., Dediu A.-H., Hernández-Quiroz F., Martín-Vide C. | 2015 | Lecture Notes in Computer Science | Scopus-id: 2-s2.0-84951205412
| 0 | 0 |
| 24 | CTL update of Kripke models through protections | 2ᵒ autor y autor de correspondencia: Rosenblueth, DA, Carrillo, M | 2014 | ARTIFICIAL INTELLIGENCE | WoS-id: 000335637100003
Scopus-id: 2-s2.0-84897556304
| 9 | 10 |
| 25 | Measuring the Complexity of Self-Organizing Traffic Lights | Coautor: Rosenblueth D.A., Zubillaga D., Cruz G., Aguilar L.D., et al. | 2014 | ENTROPY | WoS-id: 000337252400001
Scopus-id: 2-s2.0-84901428187
| 35 | 45 |
| 26 | Inference of Boolean Networks from Gene Interaction Graphs Using a SAT Solver | 1ᵉʳ autor: Rosenblueth D.A., Muñoz S., Carrillo M., Azpeitia E. | 2014 | Lecture Notes in Computer Science | WoS-id: 000352635300019
Scopus-id: 2-s2.0-84903973920
| 14 | 14 |
| 27 | Efficient construction of kripke structures and model checking of Logic-labeled sequential finite state machines | 2ᵒ autor y autor de correspondencia: Rosenblueth D.A., Vladimir E.-C. | 2013 | INFORMATION-TOKYO | Scopus-id: 2-s2.0-84876159187
| 0 | 0 |
| 28 | An overview of existing modeling tools making use of model checking in the analysis of biochemical networks | Coautor y autor de correspondencia: Rosenblueth, DA, Carrillo, M, Gongora, PA | 2012 | Frontiers in Plant Science | WoS-id: 000208837900152
Scopus-id: 2-s2.0-84885676246
| 22 | 23 |
| 29 | Self-organizing traffic lights at multiple-street intersections | 2ᵒ autor y autor de correspondencia: Rosenblueth, DA, Gershenson, C | 2012 | Complexity | WoS-id: 000301536000004
Scopus-id: 2-s2.0-84858441717
| 42 | 55 |
| 30 | Adaptive self-organization vs static optimization A qualitative comparison in traffic light coordination | 2ᵒ autor y autor de correspondencia: Rosenblueth, DA, Gershenson, C | 2012 | Kybernetes | WoS-id: 000306446600008
Scopus-id: 2-s2.0-84861542574
| 13 | 17 |
| 31 | Life as Thermodynamic Evidence of Algorithmic Structure in Natural Environments | Coautor: Rosenblueth D.A., Zenil H., Gershenson C., Marshall, JAR | 2012 | ENTROPY | WoS-id: 000311423000008
Scopus-id: 2-s2.0-84870759582
| 16 | 19 |
| 32 | Efficient model checking and FMEA analysis with deterministic scheduling of transition-labeled finite-state machines | Coautor y autor de correspondencia: Rosenblueth D.A., Estivill-Castro V., Hexel R. | 2012 | Proceedings Of The 2012 3rd World Congress On Software Engineering, Wcse 2012 | WoS-id: 000315353200011
Scopus-id: 2-s2.0-84873686788
| 8 | 16 |
| 33 | Efficient modelling of embedded software systems and their formal verification | Coautor y autor de correspondencia: Rosenblueth D.A., Estivill-Castro V., Hexel R. | 2012 | Proceedings - Asia-Pacific Software Engineering Conference, APSEC | WoS-id: 000332765100059
Scopus-id: 2-s2.0-84874629026
| 9 | 17 |
| 34 | Model checking applied to humanoid robotic soccer | 2ᵒ autor y autor de correspondencia: Rosenblueth D.A., Llarena A. | 2012 | Lecture Notes in Computer Science | Scopus-id: 2-s2.0-84864982867
| 0 | 2 |
| 35 | "Antelope": a hybrid-logic model checker for branching- time Boolean GRN analysis | Coautor: Rosenblueth D.A., Arellano G., Argil J., Azpeitia E., et al. | 2011 | Bmc Bioinformatics | WoS-id: 000302435200001
Scopus-id: 2-s2.0-84055213967
| 24 | 36 |
| 36 | Nondeterministic update of CTL models by preserving satisfaction through protections | 2ᵒ autor y autor de correspondencia: Rosenblueth D.A., Carrillo M. | 2011 | Lecture Notes in Computer Science | Scopus-id: 2-s2.0-80054058756
| 0 | 4 |
| 37 | Model checking of transition-labeled finite-state machines | 2ᵒ autor y autor de correspondencia: Rosenblueth D.A., Estivill-Castro V. | 2011 | Communications in Computer and Information Science | Scopus-id: 2-s2.0-83755206318
| 0 | 10 |
| 38 | A characterization of mixed-strategy nash equilibria in PCTL augmented with a cost quantifier | 2ᵒ autor y autor de correspondencia: Rosenblueth D.A., Góngora P.A. | 2010 | Lecture Notes in Computer Science | Scopus-id: 2-s2.0-78649945310
| 0 | 1 |
| 39 | An analysis of recombination in some simple landscapes | 1ᵉʳ autor: Rosenblueth D.A., Stephens C.R. | 2009 | Lecture Notes in Computer Science | Scopus-id: 2-s2.0-70549088111
| 0 | 1 |
| 40 | A method for ctl model update, representing kripke structures as "table systems" | 2ᵒ autor y autor de correspondencia: Rosenblueth D.A., Carrillo M. | 2009 | International Journal of Pure and Applied Mathematics | Scopus-id: 2-s2.0-78649786132
| 0 | 6 |
| 41 | A multiple-clause folding rule using instantiation and generalization | 1ᵉʳ autor y autor de correspondencia: Rosenblueth D.A. | 2006 | FUNDAMENTA INFORMATICAE | Scopus-id: 2-s2.0-33644612911
| 0 | 0 |
| 42 | Incorporating a folding rule into inductive logic programming | 1ᵉʳ autor y autor de correspondencia: Rosenblueth D.A. | 2005 | IJCAI International Joint Conference on Artificial Intelligence | Scopus-id: 2-s2.0-84880728270
| 0 | 0 |
| 43 | Disjunctive partial deduction of a right-to-left string-matching algorithm | 2ᵒ autor y autor de correspondencia: Rosenblueth D.A., Hernández M. | 2003 | INFORMATION PROCESSING LETTERS | WoS-id: 000184727600002
Scopus-id: 2-s2.0-0043093778
| 4 | 3 |
| 44 | Regulatory network of Escherichia coli: Consistency between literature knowledge and microarray profiles | 2ᵒ autor: Rosenblueth D.A., Gutiérrez-Ríos R.M., Loza J.A., Huerta A.M., et al. | 2003 | GENOME RESEARCH | WoS-id: 000186357000009
Scopus-id: 2-s2.0-0242407438
| 94 | 96 |
| 45 | A distinct-head folding rule | 1ᵉʳ autor y autor de correspondencia: Rosenblueth D.A. | 2003 | Lecture Notes in Computer Science | WoS-id: 000188243600044
Scopus-id: 2-s2.0-0348155852
| 0 | 0 |
| 46 | Chain programs for writing deterministic metainterpreters | 1ᵉʳ autor y autor de correspondencia: Rosenblueth D.A. | 2002 | THEOR PRACT LOG PROG | WoS-id: 000174320900003
Scopus-id: 2-s2.0-0346041982
| 0 | 2 |
| 47 | SLR inference: An inference system for fixed-mode logic programs, based on slr parsing | 1ᵉʳ autor: Rosenblueth D.A., Peralta J.C. | 1998 | J LOGIC PROGRAM | WoS-id: 000071536000003
Scopus-id: 2-s2.0-0040532030
| 4 | 3 |
| 48 | An exhaustive-search method using layered streams obtained through a meta-interpreter for chain programs | 1ᵉʳ autor y autor de correspondencia: Rosenblueth D.A. | 1998 | Lecture Notes in Computer Science | Scopus-id: 2-s2.0-84947923269
| 0 | 0 |
| 49 | Definite-clause grammars for the analysis of cis-regulatory regions in E. coli. | 2ᵒ autor: Rosenblueth D.A., Thieffry D., Huerta A.M., Salgado H., et al. | 1997 | Pacific Symposium On Biocomputing. Pacific Symposium On Biocomputing | Scopus-id: 2-s2.0-0031305541
| 0 | 3 |
| 50 | Chart parsers as inference systems for fixed-mode logic programs | 1ᵉʳ autor y autor de correspondencia: Rosenblueth D.A. | 1996 | NEW GENERAT COMPUT | WoS-id: A1996VL52700002
Scopus-id: 2-s2.0-0030410145
| 3 | 5 |
| 51 | Syntactic recognition of regulatory regions in escherichia coli | 1ᵉʳ autor: Rosenblueth D.A., Thieffry D., Huerta A.M., Salgado H., et al. | 1996 | Bioinformatics | WoS-id: A1996WA43400009
Scopus-id: 2-s2.0-0030474940
| 29 | 29 |
| 52 | Definite-clause grammars for 2D shape analysis | 2ᵒ autor: Rosenblueth D.A., Bribiesca E., Garza-Jinich M. | 1995 | COMPUTERS & MATHEMATICS WITH APPLICATIONS | WoS-id: A1995RW58100011
Scopus-id: 2-s2.0-58149323021
| 1 | 1 |
| 53 | An execution mechanism for nondeterministic, state-oriented programs based on a chart parser | 1ᵉʳ autor y autor de correspondencia: Rosenblueth D.A. | 1993 | INFORMATION PROCESSING LETTERS | WoS-id: A1993KV01400008
Scopus-id: 2-s2.0-28144449413
| 0 | 0 |
ID's SCOPUS 