Enrique Martin-Martin

FLOP, a free laboratory of programming

Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores · 2012 · 18 citations

Computing, Computer Science, Educational Assessment +8

May-Happen-in-Parallel Analysis for Actor-Based Concurrency

Elvira Albert, Antonio Flores-Montoya, Samir Genaim et al. · ACM Transactions on Computational Logic · 2015 · 16 citations

Computing, Computer Engineering, Computer Science +17

FlinkCheck: Property-Based Testing for Apache Flink

Cristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco et al. · IEEE Access · 2019 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +14

Resource Analysis driven by (Conditional) Termination Proofs

Elvira Albert, Cristina Borralleras, Enrique Martin-Martin et al. · Universitat de Girona Digital Repository (Universitat de Girona) · 11 citations

Computing, Computer Science, Algorithms +11

FLOP: A User-Friendly System for Automated Program Assessment

Cristóbal Pareja-Flores, Enrique Martin-Martin, J. Ángel Velázquez‐Iturbide et al. · TUGraz OPEN Library (Graz University of Technology) · 2020 · 10 citations · Full text

Education, Computer Science, Teaching +5