- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j8 |      | Arturo Jaime, César Domínguez, Ana Sánchez, José Miguel Blanco: Interuniversity telecollaboration to improve academic results and identify preferred communication tools. Computers & Education 64: 63-69 (2013) |
| 2012 | ||
| j7 | | César Domínguez, Dominique Duval: A Parameterization Process: from a Functorial Point of View. Int. J. Found. Comput. Sci. 23(1): 225-242 (2012) |
| 2011 | ||
| j6 | | César Domínguez, Julio Rubio: Effective homology of bicomplexes, formalized in Coq. Theor. Comput. Sci. 412(11): 962-970 (2011) |
| 2010 | ||
| j5 | | César Domínguez, Arturo Jaime: Database design learning: A project-based approach organized through a course management system. Computers & Education 55(3): 1312-1320 (2010) |
| j4 | | Jesús Aransay, César Domínguez: A case-study in algebraic manipulation using mechanized reasoning tools. Int. J. Comput. Math. 87(9): 1936-1949 (2010) |
| j3 | | César Domínguez, Dominique Duval: Diagrammatic logic applied to a parameterisation process. Mathematical Structures in Computer Science 20(4): 639-654 (2010) |
| c6 | | César Domínguez, Julio Rubio: Computing in Coq with Infinite Algebraic Data Structures. AISC/MKM/Calculemus 2010: 204-218 |
| i4 | | César Domínguez, Julio Rubio: Computing in Coq with Infinite Algebraic Data Structures. CoRR abs/1004.4998 (2010) |
| 2009 | ||
| c5 | | Jesús Aransay, César Domínguez: Modelling Differential Structures in Proof Assistants: The Graded Case. EUROCAST 2009: 203-210 |
| i3 | | Dominique Duval, César Domínguez: A parameterization process as a categorical construction. CoRR abs/0908.3634 (2009) |
| i2 | | César Domínguez, Dominique Duval: Diagrammatic logic applied to a parameterization process. CoRR abs/0908.3737 (2009) |
| i1 | | César Domínguez, Dominique Duval: A parameterization process, functorially. CoRR abs/0908.4491 (2009) |
| 2008 | ||
| c4 | | César Domínguez: Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems. AISC/MKM/Calculemus 2008: 270-284 |
| 2007 | ||
| j2 | | César Domínguez, Laureano Lambán, Julio Rubio: Object oriented institutions to specify symbolic computation systems. ITA 41(2): 191-214 (2007) |
| 2006 | ||
| j1 | | César Domínguez, Julio Rubio, Francis Sergeraert: Modeling Inheritance as Coercion in the Kenzo System. J. UCS 12(12): 1701-1730 (2006) |
| 2005 | ||
| c3 | | César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia: Towards Diagrammatic Specifications of Symbolic Computation Systems. Mathematics, Algorithms, Proofs 2005 |
| 2001 | ||
| c2 | | César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio: Hidden Specification of a Functional System. EUROCAST 2001: 555-569 |
| c1 | | César Domínguez, Julio Rubio: Modeling inheritance as coercion in a symbolic computation system. ISSAC 2001: 109-115 |
| 1 | Jesús Aransay | |
| 2 | José Miguel Blanco | |
| 3 | Dominique Duval | |
| 4 | Arturo Jaime | |
| 5 | Laureano Lambán | |
| 6 | Vico Pascual | |
| 7 | Julio Rubio (Julio Rubio Garcia) | |
| 8 | Francis Sergeraert | |
| 9 | Ana Sánchez |
Colors in the list of coauthors
Last update Tue May 21 17:53:33 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page