The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Enrique Martin-Martin" ( http://dblp.L3S.de/Authors/Enrique_Martin-Martin )

URL (Homepage):  https://orcid.org/0000-0002-1664-018X  Author page on DBLP  Author page in RDF  Community of Enrique Martin-Martin in ASPL-2

Publication years (Num. hits)
2009-2014 (17) 2015-2019 (15)
Publication types (Num. hits)
article(16) inproceedings(16)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 33 publication records. Showing 32 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Cristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco 0001, Juan Rodríguez-Hortalá FlinkCheck: Property-Based Testing for Apache Flink. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio Resource Analysis driven by (Conditional) Termination Proofs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin A Transformational Approach to Resource Analysis with Typed-norms Inference. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit A core Erlang semantics for declarative debugging. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio Resource Analysis driven by (Conditional) Termination Proofs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit Declarative debugging of concurrent Erlang programs. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Enrique Martin-Martin, Adrián Riesco 0001, Manuel Rodriguez A Language-Independent Technique for Assessing Tweet Success: An Experience Report. Search on Bibsonomy IEEE Access The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin May-Happen-in-Parallel Analysis for Actor-Based Concurrency. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Salvador Tamarit, Adrián Riesco 0001, Enrique Martin-Martin, Rafael Caballero 0001 Debugging Meets Testing in Erlang. Search on Bibsonomy TAP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá A liberal type system for functional logic programs. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit A zoom-declarative debugger for sequential Erlang programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez Resource Analysis: From Sequential to Concurrent and Distributed Programs. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide FLOP: A User-Friendly System for Automated Program Assessment. Search on Bibsonomy J. UCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández Rewriting and narrowing for constructor systems with call-time choice semantics. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá Safe typing of functional logic programs with opaque patterns and local bindings. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez Static Inference of Transmission Data Sizes in Distributed Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez SACO: Static Analyzer for Concurrent Objects. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit EDD: A Declarative Debugger for Sequential Erlang Programs. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Enrique Martin-Martin May-Happen-in-Parallel Analysis for Priority-Based Scheduling. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Enrique Martin-Martin Typing as functional-logic evaluation. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin Termination and Cost Analysis of Loops with Concurrent Interleavings. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit A Declarative Debugger for Sequential Erlang Programs. Search on Bibsonomy TAP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández Rewriting and narrowing for constructor systems with call-time choice semantics Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá Well-typed narrowing with extra variables in functional-logic programming. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores FLOP, a free laboratory of programming. Search on Bibsonomy Koli Calling The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Enrique Martin-Martin, Juan Rodríguez-Hortalá Transparent function types: clearing up opacity. Search on Bibsonomy PPDP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Enrique Martin-Martin Type classes in functional logic programming. Search on Bibsonomy PEPM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá Liberal Typing for Functional Logic Programs. Search on Bibsonomy APLAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá New Results on Type Systems for Functional Logic Programming. Search on Bibsonomy WFLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #32 of 32 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license