Publicaciones en colaboración con investigadores/as de University of Dundee (8)

2014

  1. A certified reduction strategy for homological image processing

    ACM Transactions on Computational Logic, Vol. 15, Núm. 3, pp. 23

  2. ACL2(ml): Machine-learning for ACL2

    Electronic Proceedings in Theoretical Computer Science, Vol. 152, pp. 61-75

  3. Exploiting parallelism in coalgebraic logic programming

    Electronic Notes in Theoretical Computer Science, Vol. 303, pp. 121-148

  4. Recycling Proof Patterns in Coq: Case Studies

    Mathematics in Computer Science, Vol. 8, Núm. 1, pp. 99-116

2013

  1. Computing persistent homology within coq/ssreflect

    ACM Transactions on Computational Logic, Vol. 14, Núm. 4

  2. ML4PG in computer Algebra verification

    Lecture Notes in Computer Science, Vol. 7961 LNAI, pp. 354-358

  3. Proof-pattern recognition and lemma discovery in ACL2

    Lecture Notes in Computer Science, Vol. 8312 LNCS, pp. 389-406

  4. Verifying a plaftorm for digital imaging: A multi-tool strategy

    Lecture Notes in Computer Science, Vol. 7961 LNAI, pp. 66-81