• Libros y Monografías / Books and Monographs:

    1. Principios de Transferencia, Problema 17 y Nullstellensatz de Hilbert (BSc Thesis) Universidad Central de Venezuela, 1990
    2. On the existence of normal forms for logics that capture complexity classes (PhD Thesis) University of Wisconsin-Madison , 1997. (Resumen/Abstract PDF) y (Full Thesis PDF)
    3. Argimiro A. Arratia, Introducción a la Teoría Descriptiva de la Computabilidad, Escuela Venezolana de Matemáticas, AMV (ISBN 980-261-060-7), 115 pags., 2000.
    4. Argimiro Arratia, Métodos de Integración, Pub. del Depto. de Mat., USB, 2000.
    5. Argimiro Arratia, Algorítmica (14022), Depto. Matemática Aplicada, Universidad de Valladolid, 100 pags., 2004.

  • Artículos en Revistas / Journal articles:

    1. A. Arratia & C. Ortiz, Approximate formulae for a logic that capture classes of computational complexity, Logic Journal of IGPL, 2009.
    2. A. Arratia & I.A. Stewart, Program Schemes with Deep Pushdown Storage, Proceedings of Computation and Logic in the Real World, Fourth Conference on Computability in Europe (CiE 2008) (A. Beckmann, C. Dimitracopoulos, B. Lowe, eds.), Lecture Notes in Computer Science Vol. 5028, Springer, Berlin (2008) 11-21 (Here is Springer's version)

    3. A. Arratia & C. Ortiz, Syntactic approximation to computational complexity classes. In: Proceedings of Computation and Logic in the Real World, Third Conference on Computability in Europe (CiE 2007) (ed. S.B. Cooper, T.F. Kent, B. Lowe, A. Sorbi) June, 2007. (PDF. Long version 15 pag.)

    4. A. Arratia & C. Ortiz, Expressive power and complexity of a logic with quantifiers that count proportions of sets J. Logic and Computation, 16(6):817-840 (Oxford University Press, ISSN 0955-792X) 2006.

    5. Argimiro Arratia & Carlos Marijuán, Cómo mejorar el PageRank de un árbol, en E. M. Moro et al (eds.): V Jornadas de Matemática Discreta y Algoritmica (Memoria del Congreso), Pub. Univ. de Valladolid (ISBN: 84-8448-380-0), 53-60, 2006. (PDF).

    6. A. Arratia & C. Ortiz, On a syntactic approximation to logics that capture complexity classes, ECCC: Electronic Coloquium on Computational Complexity ISSN 1433-8092, TR06-014, 2006. (PDF).

    7. Argimiro Arratia & Carlos Ortiz, Counting proportions of sets: expressive power with almost order, en: J. R. Correa et al (eds.): LATIN 2006, Lecture Notes in Computer Sciences, vol. 3887, 105-117, (Springer, ISSN 0955-792X) 2006. (PDF).

    8. Argimiro Arratia & Carlos Ortiz, Approximating the expressive power of logics in finite models, Proceedings of LATIN 04: Theoretical Informatics (M. Farach-Colton, ed.) Lecture Notes in Computer Science 2976 (Springer), 540-556, 2004. (PDF).

    9. A. Arratia & I. A. Stewart, A note on first-order projections and games, Theoretical Computer Science, 290 (3) 2085 - 2093, 2003. (PDF, 199K).

    10. Argimiro Arratia. Una Presentación Uniforme de la Teoría Descriptiva de la Complejidad Computacional, (A Uniform Presentation of the Theory of Descriptive Computational Complexity -Spanish-) Acta Científica Venezolana, vol. 53, num. 2, 94-118, 2002. (PDF, 334K).

    11. Argimiro Arratia, On the descriptive complexity of a simplified game of Hex, Logic J. of the IGPL, vol. 10, num. 2, 2002, pp 105 - 122. (PDF).

    12. Argimiro Arratia & Carlos Ortiz. Métodos del Análisis No-estandar en la Teoría de Modelos Finitos (avance de investigación), Acta Científica Venezolana, vol 52, No. 2, 2001. (PDF).

    13. Argimiro Arratia. Algunas maneras juveniles de evaluar $\zeta(2k)$. Boletin Asociación Matemática Venezolana, vol. VI, num. 2, 1999. (PDF)

    14. A. Arratia-Quesada, S.R. Chauhan & I.A. Stewart. Hierarchies in classes of program schemes, J. Logic and Computation, Volume 9, Issue 6, pp. 915-957 (1999). (PDF)

    15. A. Arratia-Quesada and Iain A. Stewart . Generalized Hex and logical characterizations of polynomial space, Information Processing Letters, Volume 63, Issue 3, pp. 147-152 (1997). (PDF)

    16. Teorema de Incompletitud de Godel Analitica 2 123-130, 1991

  • AMS - Math Scinet Reviews de algunos de mis articulos hasta 2004

  • Reportes Técnicos / Technical Reports:

    1. A. Arratia, A logical characterization of various classes of regular languages, RT-Depto. Mat. USB, 01/2000. (PDF).
    2. Argimiro Arratia y Carlos Marijuán, Analysis of PageRank on trees, (en proceso) 2006.

  • Revisiones de libros / Book reviews:

    1. Argimiro Arratia, The Honors Class: Hilbert's Problems and Their Solver, por Benjamín H. Yandell. Boletin Asociación Matemática Venezolana, vol. IX, num. 2, 2002. (PDF).
    2. Argimiro Arratia, Fórmulas Elegantes: Grandes ecuaciones de la Ciencia Moderna, por Graham Farmelo (ed.). Boletin Asociación Matemática Venezolana, vol. XI, num. 1, 2004. (PDF).

  • Artículos en Periódicos y otros / Newspaper articles & other:

    1. XII Jornadas Matemáticas Venezolanas El Universal, 19/03/99
    2. El lugar de la Matemática venezolana El Universal, 25/05/99
    3. De la moribunda a la ilógica El Universal, 20/07/99
    4. Ciencias exactas para los constituyentistas El Universal, 13/08/99
    5. El Algebra según Cervantes El Universal, 24/09/99
    6. La YCeroK (o cómo estrellar un cohete en Marte) El Universal, 25/10/99
    7. La Hipótesis de Riemman para jóvenes estudiantes CENAMEC, calendario año 2000
    8. El futuro de la enseñanza de las ciencias El Universal, 27/03/00
    9. Introducción a la Lógica Matemática El Universal, 30/08/00
    10. Economía, sociedad y teoremas El Universal, 22/12/00
    11. Las dificultades para el fraude electrónico CENAMEC, calendario año 2001
    12. Geometría venezolana, El Papel de la Bolívar, año 1, num. 3, Octubre 2001
    13. Elogio a la locura de Cajigal de mi tío Caupolican El Nacional, Papel Literario, 2/03/02
    14. La imágen impresa de la USB, El Papel de la Bolívar, año 1, num. 7, Marzo 2002
    15. Campeones Olímpicos, El Papel de la Bolívar, año 2, num. 10, Octubre 2002