| Algorithmic introduction of quantified cuts S Hetzl, A Leitsch, G Reis, D Weller Theoretical Computer Science 549, 1-16, 2014 | 41 | 2014 |
| System Description: GAPT 2.0 G Ebner, S Hetzl, G Reis, M Riener, S Wolfsteiner, S Zivota International Joint Conference on Automated Reasoning, 293-301, 2016 | 39 | 2016 |
| An extended framework for specifying and reasoning about proof systems V Nigam, E Pimentel, G Reis Journal of Logic and Computation 26 (2), 539-576, 2016 | 32 | 2016 |
| Introducing quantified cuts in logic with equality S Hetzl, A Leitsch, G Reis, J Tapolczai, D Weller International Joint Conference on Automated Reasoning, 240-254, 2014 | 29 | 2014 |
| Specifying proof systems in linear logic with subexponentials V Nigam, E Pimentel, G Reis Electronic Notes in Theoretical Computer Science 269, 109-123, 2011 | 25 | 2011 |
| The proof certifier checkers Z Chihani, T Libal, G Reis International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 20 | 2015 |
| Importing SMT and Connection proofs as expansion trees G Reis arXiv preprint arXiv:1507.08715, 2015 | 17 | 2015 |
| On the generation of quantified lemmas G Ebner, S Hetzl, A Leitsch, G Reis, D Weller Journal of Automated Reasoning 63 (1), 95-126, 2019 | 14 | 2019 |
| Mechanizing Focused Linear Logic in Coq B Xavier, C Olarte, G Reis, V Nigam Electronic Notes in Theoretical Computer Science 338, 219-236, 2018 | 11 | 2018 |
| Formalized meta-theory of sequent calculi for substructural logics K Chaudhuri, L Lima, G Reis Electronic Notes in Theoretical Computer Science 332, 57-73, 2017 | 11 | 2017 |
| An adequate compositional encoding of bigraph structure in linear logic with subexponentials K Chaudhuri, G Reis Logic for Programming, Artificial Intelligence, and Reasoning, 146-161, 2015 | 8 | 2015 |
| Towards CERes in intuitionistic logic A Leitsch, G Reis, B Woltzenlogel Paleo Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012 | 8 | 2012 |
| Cut-elimination by resolution in intuitionistic logic G Reis PhD thesis, Vienna University of Technology, 2014 | 7 | 2014 |
| Quati: An Automated Tool for Proving Permutation Lemmas V Nigam, G Reis, L Lima | 7 | 2014 |
| Checking Proof Transformations with ASP V NIGAM, L LIMA, G REIS | 5 | 2013 |
| The ILLTP Library for Intuitionistic Linear Logic C Olarte, V de Paiva, E Pimentel, G Reis arXiv preprint arXiv:1904.06850, 2019 | 3 | 2019 |
| Towards the Automated Generation of Focused Proof Systems V Nigam, G Reis, L Lima arXiv preprint arXiv:1511.04177, 2015 | 3 | 2015 |
| Formalization of Automated Trading Systems in a Concurrent Linear Framework I Cervesato, S Khan, G Reis, D Žunić arXiv preprint arXiv:1904.06844, 2019 | 2 | 2019 |
| Ceres in intuitionistic logic D Cerna, A Leitsch, G Reis, S Wolfsteiner Annals of Pure and Applied Logic 168 (10), 1783-1836, 2017 | 2 | 2017 |
| Formalized meta-theory of sequent calculi for linear logics K Chaudhuri, L Lima, G Reis Theoretical Computer Science 781, 24-38, 2019 | 1 | 2019 |
Vivek NigamHuaweiVerified email at huawei.com
