Enrique Martin-Martin
Orcid: 0000-0002-1664-018X
According to our database1,
Enrique Martin-Martin
authored at least 38 papers
between 2009 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
6
7
1
1
2
3
2
1
1
2
3
1
1
1
2
1
3
4
3
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
J. Log. Algebraic Methods Program., April, 2023
Dataset, April, 2023
Dataset, April, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Dataset, November, 2022
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
2021
Inf. Softw. Technol., 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Theory Pract. Log. Program., 2020
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell.
Fundam. Informaticae, 2020
2019
Theory Pract. Log. Program., 2019
J. Log. Algebraic Methods Program., 2019
2018
J. Log. Algebraic Methods Program., 2018
IEEE Access, 2018
2017
J. Autom. Reason., 2017
2016
ACM Trans. Comput. Log., 2016
Proceedings of the Tests and Proofs - 10th International Conference, 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
2015
Sci. Comput. Program., 2015
Math. Struct. Comput. Sci., 2015
Proceedings of the FM 2015: Formal Methods, 2015
2014
Theory Pract. Log. Program., 2014
J. Univers. Comput. Sci., 2014
Inf. Comput., 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
2013
Proceedings of the Tests and Proofs - 7th International Conference, 2013
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Proceedings of the Principles and Practice of Declarative Programming, 2012
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012
Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 2012
2011
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011
2010
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010
2009
Proceedings of the Functional and Constraint Logic Programming, 2009