Giselle Reis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2012–2021
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CADE | Proof Search and Certificates for Evidential Transactions. | Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess |
| 2020 | CADE | Sequoia: A Playground for Logicians - (System Description). | Giselle Reis, Zan Naeem, Mohammed Hashim |
| 2016 | CADE | System Description: GAPT 2.0. | Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota |
| 2015 | LICS | A Note on the Complexity of Classical and Intuitionistic Proofs. | Matthias Baaz, Alexander Leitsch, Giselle Reis |
| 2015 | LPAR | An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. | Kaustuv Chaudhuri, Giselle Reis |
| 2015 | TABLEAUX | The Proof Certifier Checkers. | Zakaria Chihani, Tomer Libal, Giselle Reis |
| 2014 | CADE | Introducing Quantified Cuts in Logic with Equality. | Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller |
| 2014 | CADE | Quati: An Automated Tool for Proving Permutation Lemmas. | Vivek Nigam, Giselle Reis, Leonardo Lima |
| 2012 | CSL | Towards CERes in intuitionistic logic. | Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo |