Teaching
-
Students
-
Computational Logic
-
Formal Specifications
-
Artificial Intelligence
-
Model Checking
-
Logic Programming
Publications
2024
-
Pattern Models: A Dynamic Epistemic Logic for Distributed Systems,
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth and Diego A. Velázquez,
The Computer Journal,
in press.
2023
-
Communication Pattern Logic: Epistemic and Topological Views,
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth and Diego A. Velázquez,
Journal of Philosophical Logic,
article No. 9713.
-
Comparing the Update Expressivity of Communication Patterns and Action Models,
Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth and Diego A. Velázquez,
Theoretical Aspects of Rationality and Knowledge (TARK 2023)
Electronic Proceedings in Computer Science (ETAPCS) 379, 2023, pp. 157-172.
2022
-
Decentralized Asynchronous Crash-Resilient Runtime Verification,
Borzoo Bonadkarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth and Corentin Travers,
Journal of the ACM,
Vol. 69, No. 5, pp. 1-31, 2022.
2021
-
Random Networks with Quantum Boolean Functions,
Mario Franco, Octavio Zapata, David A. Rosenblueth and Carlos Gershenson,
Mathematics,
Vol. 9, No. 8, pp. 792, 2021.
-
Communication Pattern Models: an Extension of Action Models for Dynamic-Network Distributed Systems,
Diego A. Velázquez, Armando Castañeda and David A. Rosenblueth,
Theoretical Aspects of Rationality and Knowledge (TARK 2021),
Vol. 9, No. 8, pp. 792, 2021.
2020
-
Verification and Simulation of Time-Domain Properties for Models of Behaviour,
Miguel Carrillo, Vladimir Estivill-Castro and David A. Rosenblueth, chapter in:
Communications in Computer and Information Science,
Springer, 2020.
-
Model-to-Model Transformations for Efficient Time-Domain Verification of Concurrent Models by NuSMV Modules,
Miguel Carrillo, Vladimir Estivill-Castro and David A. Rosenblueth,
8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2020),
pp. 287-298, Valletta, Malta, 25-27 February, 2020.
2019
-
A Greedy Algorithm for Decomposing Large Clothing Orders into Lays,
David A. Rosenblueth,
Applied Computing Review.
Vol. 19, No. 3, pp. 45-51, 2019.
2018
-
Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks,
Stalin Muñoz, Miguel Carrillo, Eugenio Azpeitia and David A. Rosenblueth,
Frontiers in Genetics. Bioinformatics and Computational Biology,
Vol. 9, pp. 39, 2018.
-
Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors,
François Fages, Thierry Martinez, David A. Rosenblueth and Sylvain Soliman,
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers,
Vol. 15, No. 4, pp. 1138-1151, 2018.
2017
-
Deliberative Self-Organizing Traffic Lights with Elementary Cellular Automata,
Jorge L. Zapotecatl, David A. Rosenblueth and Carlos Gershenson,
Complexity,
Vol. 2017, Article ID 7691370, 2017.
-
The combination of the functionalities of feedback circuits is determinant for the attractors' number and size in pathway-like Boolean networks,
Eugenio Azpeitia, Stalin Muñoz, Daniel González-Tokman, Mariana Esther Martínez-Sánchez, Nathan Weinstein, Aurélien Naldi, Elena R. Alvarez-Buylla, David A. Rosenblueth and Luis Mendoza,
Scientific Reports, Vol. 7, pp. 42023, 2017.
2016
-
Editorial: Computational Methods for Understanding Complexity: the Use of Formal Methods in Biology,
David A. Rosenblueth,
Frontiers in Bioengineering and Biotechnology,
Vol. 4, article 68, 2016.
-
Influence Systems vs Reaction Systems,
François Fages, Thierry Martinez, David A. Rosenblueth and Sylvain Soliman,
14th International Conference on Computational Methods in Systems Biology (CMSB) 2016,
Lecture Notes in Bioinformatics (LNBI) Vol.\ 9859,
Springer, pp. 98-115,
Cambridge, U.K., 21-23 September, 2016.
-
Decentralized Asynchronous Crash-Resilient Runtime Verification,
Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth and Corentin Travers,
27th International Conference on Concurrency Theory (CONCUR) 2016,
pp. 16:1-16:14,
Québec, Canada, 23-26 August, 2016.
-
Configurable Mobile Robot Behaviors Implemented on FPGA Based Architectures,
Jesus Savage, Jesus Cruz, Mauricio Matamoros, David A. Rosenblueth y Stalin Muñoz,
IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) 2016,
pp. 317-322,
Bragança, Portugal, 4-6 May, 2016.
2015
- Fitness Landscape Epistasis and Recombination,
Manuel Beltrán del Río, Christopher Stephens and David A. Rosenblueth,
Advances in Complex Systems,
Vol. 18, Nos. 7,8, p. 1550026, 2015.
- A Model of the Regulatory Network Involved in the
Control of the Cell Cycle and Cell Differentiation in
the Caenorhabditis elegans Vulva,
Nathan Weinstein, Elizabeth Ortiz-Gutiérrez, Stalin Muñoz, David A. Rosenblueth, Elena R. Alvarez-Buylla and Luis Mendoza,
BMC Bioinformatics,
Vol. 16, No. 81, 2015.
- A Symbolic Shortest Path Algorithm for Computing Subgame
Perfect Nash Equilibria in Perfect Information Games,
Pedro A. Góngora y David A. Rosenblueth,
Journal of Applied Mathematics and Computer Science,
Vol. 25, No. 3, 2015.
- Marimba: A tool for verifying properties of hidden Markov models,
Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage and David A. Rosenblueth,
Automated Technology for Verification and Analysis (ATVA 2015)
Lecture Notes in Computer Science, Vol. 9364, Springer, pp. 201-206,
Finkbeiner, B., Pu, G., Zhang, L. (editors),
Shanghai, China, 12-15 October, 2015.
2014
- CTL Update of Kripke Models through Protections,
Miguel Carrillo and David A. Rosenblueth,
Artificial Intelligence,
Vol. 211, pp. 51-74, June 2014.
- Measuring the Complexity of Self-Organizing Traffic Lights,
Darío Zubillaga, Geovany Cruz, Luis Daniel Aguilar, Jorge Zapotécatl,
Nelson Fernández, José Aguilar, David A. Rosenblueth and Carlos
Gershenson,
Entropy,
Vol. 16, No. 5, pp. 2384-2407, 2014.
- Inference of Boolean Networks from Gene Interaction Graphs
Using a SAT Solver,
David A. Rosenblueth, Stalin Muñoz, Miguel Carrillo and Eugenio
Azpeitia,
1st International Conference on Algorithms for Computational
Biology (AlCoB 2014),
Lecture Notes in Bioinformatics (LNBI) Vol. 8542,
Springer, pp. 235-246,
Tarragona, Spain, 1-3 July, 2014.
2013
- The Dynamically Extended Mind: A Minimal Modeling Case Study,
Tom Froese, Carlos Gershenson, and David A. Rosenblueth,
2013 IEEE Congress on Evolutionary Computation (CEC 2013),
IEEE Press, pp. 1419-1426,
Cancun, Mexico, 20-23 June, 2013.
- Efficient Construction of Kripke Structures and Model Checking of
Logic-Labeled Sequential Finite State Machines,
Vladimir Estivill-Castro and David A. Rosenblueth,
Information,
Vol. 16, No. 2(B), pp. 1555-1560, 2013.
2012
- Efficient Modelling of Embedded Software Systems and Their Formal
Verification,
Vladimir Estivill-Castro, René Hexel, and David A. Rosenblueth,
The 19th Asia-Pacific Software Engineering Conference (APSEC
2012),
pp. 428-433,
(Karl R. P. H. Leung and Pornsiri Muenchaisri, eds.),
Hong Kong, 4-7 December, 2012.
- Efficient Model Checking and FMEA Analysis with Deterministic
Scheduling of Transition-Labeled Finite-State Machines
Vladimir Estivill-Castro, René Hexel, and David A. Rosenblueth,
3rd World Congress on Software Engineering (WCSE 2012),
pp. 65-72,
Wuhan, China, 6-8 November, 2012.
- Model Checking Applied to Humanoiod Robotic Soccer,
Adalberto Llarena and David A. Rosenblueth,
Advances in Autonomous Robotics. Joint Proceedings of the 13th
Annual TAROS Conference and the 15th Annual FIRA RoboWorld
Congress,
Lecture Notes in Artificial Intelligence, Vol. 7429,
Springer, pp. 256-269,
(Guido Herrmann, Matthew Studley, Martin Pearson, Andrew Conn, Chris
Melhuish, Mark Witkowski, Jong-Hwan Kim, and Prahlad Vadakkepat, eds.),
Bristol, U.K., 20-25 August, 2012.
- Life as Thermodynamic Evidence of Algorithmic Structure in
Natural Environments,
Hector Zenil, Carlos Gershenson, James A.R. Marshall, and David
A. Rosenblueth,
Entropy,
Vol. 14, No. 11, pp. 2173-2191, 2012.
- An overview of existing modeling tools making use of model checking
in the analysis of biochemical networks,
Miguel Carrillo, Pedro A. Góngora, and David A. Rosenblueth,
Frontiers in Plant Science
Vol. 3, No. 155, 2012.
- Adaptive Self-Organization vs. Static Optimization,
Carlos Gershenson and David A. Rosenblueth,
Kybernetes,
Vol. 41, No. 3/4, pp. 386-403, 2012.
2011
- Model Checking of Transition-Labeled Finite State Machines
Vladimir Estivill-Castro and David A. Rosenblueth,
Advanced Software Engineering and Its Applications (ASEA 2011)
Communications in Computer and Information Science, Vol. 257,
(Software Engineering, Business Continuity, and Education)
Springer, pp. 61-73,
(Tai-hoon Kim, Hojjat Adeli, Heang-kon Kim, Heau-jo Kang, Hyung Jung
Kim, Akingbehin Kiumi, and Byeong-Ho Kang, eds.),
Jeju Island, Korea, 8-10 December, 2011.
- Nondeterministic update of CTL models by
preserving satisfaction through protections,
Miguel Carrillo and David A. Rosenblueth,
Automated Technology for Verification and Analysis (ATVA 2011),
Lecture Notes in Computer Science, Vol. 6996, Springer, pp. 60-74,
(T. Bultan and P.-A. Hsiung, eds.),
Taipei, Taiwan, 11-14 October, 2011.
- “Antelope”: a Hybrid-Logic Model Checker for Branching-Time Boolean
GRN Analysis,
Gustavo Arellano, Julián Argil, Eugenio Azpeitia, Mariana Benítez,
Miguel Carrillo, Pedro Góngora, David A. Rosenblueth y Elena
R. Alvarez-Buylla,
BMC Bioinformatics,
Vol. 12, No. 490, 2011.
- Self-Organizing Traffic Lights at Multiple-Street Intersections,
Carlos Gershenson and David A. Rosenblueth,
Complexity,
Vol. 17, No. 4, pp. 23-39, 2011.
- A Model of City Traffic based on Elementary Cellular Automata,
David A. Rosenblueth and Carlos Gershenson,
Complex Systems,
Vol. 19, No. 4, pp. 305-322, 2011.
2009
- An Analysis of Recombination in Some Simple Landscapes,
David A. Rosenblueth and Christopher R. Stephens,
Proceedings of the 8th Mexican International Conference on Artificial
Intelligence (MICAI 2009),
Lecture Notes in Artificial Intelligence, Vol. 5845, Springer,
pp. 716-727, Guanajuato, Mexico, 9-13 November, 2009.
- A Characterization of Mixed-Strategy Nash Equilibria in PCTL
Augmented with a Cost Quantifier,
Pedro Arturo Gongora y David A. Rosenblueth,
Proceedings of the 10th International Workshop on Computational Logic
in Multi-Agent Systems 2009,
IfI Technical Report Series IfI-09-08,
Institut fur Informatik, Technische Universitat Clausthal, Germany,
pp. 139-155, Hamburg, Germany, 9-10 September, 2009.
- A Method for CTL Model Update, Representing Kripke
Structures as “Table Systems”,
Miguel Carrillo and David A. Rosenblueth,
International Journal of Pure and Applied Mathematics,
Vol. 52, No. 3, pp. 401-431, 2009.
2007
- Learning Models from Temporal-Logic Properties via Explanations,
Miguel Carrillo and David A. Rosenblueth,
Workshop on Explanation-Aware Computing,
Technical Report WS-07-06, AAAI Press, pp. 10-13,
Vancouver, Canada, 2007.
2006
- Development Reuse and the Logic Program Derivation of Two String-Matching Algorithms,
Manuel Hernandez and David A. Rosenblueth,
Principles and Practice of Declarative Programming '01,
pp.\ 38-48, Florence, Italy, 2001.
- A Multiple-Clause Folding Rule Using
Instantiation and Generalization,
David A. Rosenblueth,
Fundamenta Informaticae,
Vol. 69, No. 1,2, pp. 219-249, 2006.
2003
- Regulatory Network in Escherichia coli: Consistency Between
Literature Knowledge and Microarray Profiles,
Rosa Maria Gutierrez-Rios, David A. Rosenblueth, Jose Antonio Loza,
Araceli M. Huerta, Jeremy D. Glasner, Fred R. Blattner and Julio
Collado-Vides,
Genome Research,
Vol. 13, pp. 2435-2443, 2003.
- Classification of 2-(14,7,12) and 3-(14,7,5) Resolvable
Designs,
Petteri Kaski, Luis B. Morales, Patric R. J. Ostergard, David A.
Rosenblueth, and Carlos Velarde,
The Journal of Combinatorial Mathematics and Combinatorial
Computing,
Vol. 47, pp. 65-74, 2003.
- Disjunctive Partial Deduction of a
Right-to-Left String-Matching Algorithm,
Manuel Hernandez and David A. Rosenblueth,
Information Processing Letters,
Vol. 87, pp. 235-241, 2003.
2002
- Chain Programs For Writing
Deterministic Metainterpreters,
David A. Rosenblueth,
Theory and Practice of Logic Programming,
Vol. 2, No. 2, pp. 203-232, 2002.
1998
- An Exhaustive-Search Method using
Layered Streams Obtained through a Meta-Interpreter for Chain Programs
, David A. Rosenblueth,
International Workshop on Logic-Based Program Synthesis and Transformation,
Pre-Proceedings of LOPSTR'98,
Dept. of Computer Science, Universtiy of Manchester, Technical Report
UMCS-98-6-1,
pp. 55-62, Manchester, U.K., 1998.
- A Prolog Program for Decomposing
Clothing Orders into Lays, David A. Rosenblueth,
Applied Computing Review, Vol. 6, No. 1, pp. 26-32, 1998.
- SLR Inference: an Inference System for Fixed-Mode
Logic Programs, Based on SLR Parsing, David A. Rosenblueth and Julio
C. Peralta,
The Journal of Logic Programming, Vol. 34, No. 3, pp. 227-260, 1998.
1997
- Definite-Clause Grammars for the Analysis of
Cis-Regulatory Regions in E. coli,
Dennis Thieffry, David A. Rosenblueth, Araceli M. Huerta, Heladia Salgado, and
Julio Collado-Vides,
Proceedings of the Pacific Symposium on Biocomputing '97,
(Altman, R., Dunker, K., Hunter, L. and Klein, T., eds.)
pp. 441-452, 1997.
1996
- Chart Parsers as Inference Systems for
Fixed-Mode Logic Programs, David A. Rosenblueth,
New Generation Computing, Vol. 14, No. 4, pp. 429-458, 1996.
- Syntactic Recognition of Regulatory Regions in Escherichia Coli,
David A. Rosenblueth, Denis Thieffry, Araceli M. Huerta, Heladia
Salgado and Julio Collado-Vides,
Computer Applications in Biology, Vol. 12, No. 5, pp. 415-422, 1996.
1995
- Definite-Clause Grammars for 2D Shape Analysis,
Ernesto Bribiesca, David A. Rosenblueth and María Garza-Jinich,
Computers and Mathematics with Applications,
Vol. 30, No. 8, pp. 95-103, 1995.
1994
- LR Inference: Inference Systems for Fixed-Mode Logic Programs,
Based on LR Parsing,
David A. Rosenblueth and Julio C. Peralta,
International Logic Programming Symposium
(Maurice Bruynooghe, ed.)
pp. 439-453,
Ithaca, New York, U.S.A., 1994.
- An Interactive System for Scheduling Chemical Processes,
David A. Rosenblueth,
The Second International Conference on the Practical Application
of Prolog
(Leon Sterling, ed.)
pp. 423-440, London, U.K., 1994.
1993
- An Execution Mechanism for Nondeterministic, State-Oriented Programs
Based on a Chart Parser,
David A. Rosenblueth,
Information Processing Letters, Vol. 45, pp. 211-217, 1993.
1992
- Programación Lógica y Programación Basada en Estados,
David A. Rosenblueth,
Tercer Congreso Iberoamericano de Inteligencia Artificial,
pp. 181-199, La Habana, Cuba, 1992.
- Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs,
David A. Rosenblueth,
International Conference on Fifth Generation Computer Systems,
pp. 1125-1132, Tokyo, Japan, 1992.
Logica Computacional 2018-1