El quehacer cotidiano de los investigadores y estudiantes que forman parte de la comunidad académica del Centro de Investigación en Computación (CIC) se traduce en la generación de diversos productos, entre los que destaca la publicación de artículos de investigación de calidad internacional indexados en JCR e ISI, la publicación de libros y capítulos de libros derivados de proyectos de investigación, presentación de trabajos en congresos internacionales, así como la generación de solicitudes de formas de protección de propiedad intelectual, como patentes, derechos de autor, y modelos de utilidad, entre otros.
Título ↨ | Tipo↨ | Subtipo↨ | Descripción↨ | Año↨ |
---|---|---|---|---|
Axiomatization, computability and stability for discrete event time algorithms | Revista | CONACYT | Computación y Sistemas | 2020 |
Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability | Revista | CONACYT | Computación y Sistemas | 2021 |
Modeling and verification analysis of ecological systems via a first order logic approach | Revista | CONACYT | Computacion y Sistemas | 2021 |
Modelling and verification analysis of cooperative and non-cooperative games via a modal logic approach | Revista | CONACYT | Computación y Sistemas | 2021 |
A Logical Deductive Approach to Analyze and Synthesize a Class of Linguistic Expressions Using Rabbi Moshe Chaim Luzzatto 21 Logical Names | Revista | CONACYT | Computación y Sistemas | 2023 |