Departamento

Departamento de Ingeniería Informática

Cursos que dicta

Pregrado

  • Lógica y Estr. Discretas.
  • Autómatas y Leng. Formales.
  • Estructuras de Datos

Producción Científica

Publicaciones

  • Maldonado, A. Gajardo, C. Rojas, P. Valdebenito, and C. Cantergiani, “Cellular automata model for the urban growth of the metropolitan area of concepción (camac),” in Proceedings of CAMUSS, the International Symposium on Cellular Automata Modeling for Urban and Spatial Systems (N. Pinto, J. Dourado, and A. Natálio, eds.), pp. 309–312, Department of Civil Engineering of the University of Coimbra, 2012.
  • Maldonado, A. Moreira, and A. Gajardo, “Universal time-symmetric number-conserving celular automaton,” in Cellular Automata and Discrete Complex Systems – 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings, pp. 155–168, 2015.
  • Goles, D. Maldonado, P. Montealegre, and N. Ollinger, “On the computational complexity of the freezing non-strict majority automata,” in Cellular Automata and Discrete Complex Systems-23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings, pp. 109–119, 2017.
  • Becker, D. Maldonado, N. Ollinger, and G. Theyssier, “Universality in freezing celular automata,” in Sailing Routes in the World of Computation – 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings, pp. 50–59, 2018.
  • Goles, D. Maldonado, P. Montealegre-Barba, and N. Ollinger, “Fast-parallel algorithms for freezing totalistic asynchronous cellular automata,” in Cellular Automata – 13th International Conference onCellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018, Proceedings, pp. 406–415, 2018.
  • Maldonado, A. Gajardo, B. H. de Menibus, and A. Moreira, “Nontrivial turmites are turing-universal,”J. Cellular Automata, vol. 13, no. 5-6, pp. 373–392, 2018.
  • Goles, D. Maldonado, P. Montealegre, and N. Ollinger, “On the complexity of the stability problem of binary freezing totalistic cellular automata,” Information and Computation, p. 104535, 03 2020.

Líneas de Investigación

  • Complejidad Computacional.
  • Sistemas Dinamicos Discretos.
  • Automatas Celulares.