Author:
Albert Elvira,Arenas Puri,Genaim Samir,Zanardini Damiano
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analysing Parallel Complexity of Term Rewriting;Logic-Based Program Synthesis and Transformation;2022
2. Peak Cost Analysis of Distributed Systems;Static Analysis;2014
3. On the Inference of Resource Usage Upper and Lower Bounds;ACM Transactions on Computational Logic;2013-08
4. Automatic Inference of Bounds on Resource Consumption;Formal Methods for Components and Objects;2013
5. Automatic Inference of Resource Consumption Bounds;Logic for Programming, Artificial Intelligence, and Reasoning;2012