| 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 | 42 | 2016 |
| Algorithmic introduction of quantified cuts S Hetzl, A Leitsch, G Reis, D Weller Theoretical Computer Science 549, 1-16, 2014 | 41 | 2014 |
| 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 | 40 | 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 | 26 | 2011 |
| The proof certifier checkers Z Chihani, T Libal, G Reis International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 22 | 2015 |
| Mechanizing Focused Linear Logic in Coq B Xavier, C Olarte, G Reis, V Nigam Electronic Notes in Theoretical Computer Science 338, 219-236, 2018 | 17 | 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 | 17 | 2017 |
| 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 |
| 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 | 9 | 2015 |
| Quati: An Automated Tool for Proving Permutation Lemmas V Nigam, G Reis, L Lima | 8 | 2014 |
| 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 |
| Checking Proof Transformations with ASP V NIGAM, L LIMA, G REIS | 6 | 2013 |
| Formalized meta-theory of sequent calculi for linear logics K Chaudhuri, L Lima, G Reis Theoretical Computer Science 781, 24-38, 2019 | 5 | 2019 |
| Sequoia: A Playground for Logicians G Reis, Z Naeem, M Hashim International Joint Conference on Automated Reasoning, 480-488, 2020 | 3 | 2020 |
| The ILLTP Library for Intuitionistic Linear Logic C Olarte, V de Paiva, E Pimentel, G Reis arXiv preprint arXiv:1904.06850, 2019 | 3 | 2019 |
| An Encyclopaedia of Proof Systems G Reis, BW Paleo College Publications, 2017 | 3 | 2017 |
| Towards the Automated Generation of Focused Proof Systems V Nigam, G Reis, L Lima arXiv preprint arXiv:1511.04177, 2015 | 3 | 2015 |
Vivek NigamHuaweiVerified email at huawei.com
