Albert Rubio
Orcid: 0000-0002-0501-9830
According to our database1,
Albert Rubio
authored at least 84 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Artifact for "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques".
Dataset, March, 2024
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques.
Proc. ACM Program. Lang., 2024
Proceedings of the IEEE Symposium on Security and Privacy, 2024
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
2023
IEEE Trans. Dependable Secur. Comput., 2023
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks.
IEEE Trans. Dependable Secur. Comput., 2023
CoRR, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
2021
Dataset, November, 2021
Dataset, November, 2021
J. Syst. Softw., 2021
J. Log. Algebraic Methods Program., 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Theory Pract. Log. Program., 2019
ACM Trans. Comput. Log., 2019
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
2015
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
J. Log. Comput., 2013
J. Autom. Reason., 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
2012
J. Autom. Reason., 2012
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012
2009
Proceedings of the Automated Deduction, 2009
2008
Proceedings of the Formal Methods in Computer-Aided Design, 2008
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007
Proceedings of the Logic for Programming, 2007
Proceedings of the Rewriting, 2007
2006
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
Proceedings of the Logic for Programming, 2006
2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
Proceedings of the Logic for Programming, 2005
2004
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004
2003
J. Autom. Reason., 2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
2002
Proceedings of the Automated Deduction, 2002
Proceedings of the Automated Deduction, 2002
2001
Proceedings of the Logic for Programming, 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
Proceedings of the Frontiers of Combining Systems, 2000
Proceedings of the Automated Deduction, 2000
1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999
1998
Rewrite Orderings for Higher-Order Terms in eta-Long beta-Normal Form and Recursive Path Ordering.
Theor. Comput. Sci., 1998
1997
J. Symb. Comput., 1997
1996
A Recursive Path Ordering for Higher-Order Terms in <i>eta</i>-Long <i>beta</i>-Normal Form.
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996
1995
J. Symb. Comput., 1995
Proceedings of the Proceedings, 1995
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995
Proceedings of the Computer Science Logic, 9th International Workshop, 1995
1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1993
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993
1992
Proceedings of the Automated Deduction, 1992
1990
Proceedings of the 10th International Conference on Automated Deduction, 1990