Publications

List of Publications::

Robust stabulization of differential systems with state delays Author: Rigoberto Medina L., Carlos Martínez M.
IMA Journal of Mathematical Control and Information, Octubre 2015.
Exponential Stability Criteria for Discrete Time-Delay Systems Author: Rigoberto Medina L., Carlos Martínez M.
International Journal of Robust and Nonlinear Control, Agosto 2015.

Type Isomorphisms and Program Isomorphisms. Author: Carlos C. Martínez
AMS-MAA Joint Mathematics Meeting. San Antonio, TX, U.S.A. Enero 2006. In Abstracts of Papers Presented to the American Mathematical, Volume 27, Number 1. Abstract
Unification and Matching Modulo Type Isomorphism. Author: Carlos C. Martínez
AMS-MAA Joint Mathematics Meeting. Atlanta, GA, U.S.A., Enero 2005. In Abstracts of Papers Presented to the American Mathematical Society, Volume 26, Number 1, Issue 139. pp176. Abstract
Unification and Matching Modulo Type Isomorphism. Author: Dan Dougherty and Carlos C. Martínez
In Proceedings of II International Workshop of Higher Order Rewriting, Aachen, Germany, Junio 2004. Abstract in the Technical report of the Computer Science Department of RWTH Aachen, pp 65 – 71 Abstract
Notas en Unificación y Correspondencia de Orden Superior. Author: Carlos C. Martínez
In Proceedings of II Encuentro de Lógica y Ciencias de la Computación, Colombia, Diciembre 2002. Abstract

Algebraizable Non-normal Modal Logic. Author: Carlos C. Martínez
In Proceedings of XI Simposio Latinoamericano de Lógica Matemática, Mérida, Venezuela. Abstract in the Bulletin of Symbolic Logic, pp 510, 1999. Abstract
Commutation Lemma. Author: Carlos C. Martínez & Guillermo Ortiz R.
In Proceedings of XI Simposio Latinoamericano de Lógica Matemática, Mérida, Venezuela. Abstract in the Bulletin of Symbolic Logic, pp 511, 1999. Abstract
Algebrazibilidad de Lógicas Bimodales. Author: Carlos C. Martínez
Tesis de Magister en Ciencias Exactas Mención Matemáticas, Pontificia Universidad Católica de Chile, Diciembre 1997. Abstract
Lema de Conmutación. Author: Carlos C. Martínez & Guillermo Ortiz R.
Technical Report PUC/FM-97/10, Facultad de Matemáticas, Pontificia Universidad Católica de Chile, Octubre 1997. Abstract

Please refer to the following documents for further details and complete research experiences description:: Invited Talks || Contributed Talks ||Outreach, Notes and Others.