César Domínguez

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modeling inheritance as coercion in a symbolic computation system Proceedings of the 2001 international symposium on Symbolic and algebraic computation	2017-02-03	Paper
A certified reduction strategy for homological image processing ACM Transactions on Computational Logic	2015-09-17	Paper
scientific article; zbMATH DE number 6271652 (Why is no real title available?)	2014-03-19	Paper
scientific article; zbMATH DE number 6118174 (Why is no real title available?)	2012-12-23	Paper
A parameterization process: from a functorial point of view International Journal of Foundations of Computer Science	2012-08-30	Paper
Effective homology of bicomplexes, formalized in Coq Theoretical Computer Science	2011-03-14	Paper
Formalizing simplicial topology in Isabelle/HOL and Coq	2011-01-03	Paper
A project-based experience in database design learning	2011-01-03	Paper
Diagrammatic logic applied to a parameterisation process Mathematical Structures in Computer Science	2010-08-26	Paper
Computing in Coq with infinite algebraic data structures Lecture Notes in Computer Science	2010-08-24	Paper
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems Lecture Notes in Computer Science	2009-01-27	Paper
Object oriented institutions to specify symbolic computation systems RAIRO - Theoretical Informatics and Applications	2008-02-15	Paper
Object oriented institutions to specify symbolic computation systems RAIRO - Theoretical Informatics and Applications	2008-02-15	Paper
scientific article; zbMATH DE number 2000439 (Why is no real title available?)	2003-11-03	Paper

Research outcomes over time

This page was built for person: César Domínguez