Ruben Martins
According to our database1,
Ruben Martins
authored at least 47 papers
between 2010 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2021
2020
überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms.
ACM SIGOPS Oper. Syst. Rev., 2020
Proc. ACM Program. Lang., 2020
CoRR, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
2019
J. Satisf. Boolean Model. Comput., 2019
J. Satisf. Boolean Model. Comput., 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
An Android Malware Detection Framework Using Graph Embeddings and Convolutional Neural Networks.
Proceedings of the Artificial Intelligence Research and Development, 2019
2018
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2017
Formal Aspects Comput., 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Component-based synthesis of table consolidation and transformation tasks from examples.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017
2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
2015
J. Exp. Theor. Artif. Intell., 2015
Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the Formal Methods for Industrial Critical Systems, 2015
Proceedings of the Principles and Practice of Constraint Programming, 2015
2014
J. Satisf. Boolean Model. Comput., 2014
CoRR, 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010