Author:
Giesl Jürgen,Rubio Albert,Sternagel Christian,Waldmann Johannes,Yamada Akihisa
Publisher
Springer International Publishing
Reference52 articles.
1. Lecture Notes in Computer Science;B Alarcón,2011
2. Albert, E., Gordillo, P., Rubio, A., Sergey, I.: GASTAP: a gas analyzer for smart contracts. CoRR abs/1811.10403 (2018).
https://arxiv.org/abs/1811.10403
3. Arts, T., Giesl, J.: Termination of term rewriting using dependency pairs. Theoret. Comput. Sci. 236(1–2), 133–178 (2000).
https://doi.org/10.1016/S0304-3975(99)00207-8
4. Avanzini, M., Moser, G.: A combination framework for complexity. Inf. Comput. 248, 22–55 (2016).
https://doi.org/10.1016/j.ic.2015.12.007
5. Avanzini, M., Moser, G., Schaper, M.:
Tyrolean complexity tool. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 407–423. Springer, Heidelberg (2016).
https://doi.org/10.1007/978-3-662-49674-9_24
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献