Florian Rabe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Polymorphism Meets DHOL. | Rhea Ranalter, Florian Rabe, Cezary Kaliszyk |
| 2026 | IJCAR | Semantics for Dependently-Typed HOL. | Florian Rabe |
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clment Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2023 | CADE | Theorem Proving in Dependently-Typed Higher-Order Logic. | Colin Rothgang, Florian Rabe, Christoph Benzmller |
| 2020 | CADE | Logic-Independent Proof Search in Logical Frameworks - (Short Paper). | Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer |
| 2019 | MPC | How to Calculate with Nondeterministic Functions. | Richard S. Bird, Florian Rabe |
| 2018 | CADE | Theories as Types. | Dennis Mller, Florian Rabe, Michael Kohlhase |
| 2017 | ITP | Making PVS Accessible to Generic Services by Interpretation in a Universal Format. | Michael Kohlhase, Dennis Mller, Sam Owre, Florian Rabe |
| 2016 | CADE | TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism. | Cezary Kaliszyk, Geoff Sutcliffe, Florian Rabe |
| 2016 | CIKM | A Standard for Aligning Mathematical Concepts. | Cezary Kaliszyk, Michael Kohlhase, Dennis Mller, Florian Rabe |
| 2012 | AISC | Extending MKM Formats at the Statement Level. | Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe |
| 2012 | AISC | Management of Change in Declarative Languages. | Mihnea Iancu, Florian Rabe |
| 2012 | AISC | A Query Language for Formal Mathematical Libraries. | Florian Rabe |
| 2010 | AISC | Towards MKM in the Large: Modular Representation and Scalable Software Architecture. | Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev |
| 2008 | AISC | Notations for Living Mathematical Documents. | Michael Kohlhase, Christine Mller, Florian Rabe |
| 2008 | CADE | THF0 - The Core of the TPTP Language for Higher-Order Logic. | Christoph Benzmller, Florian Rabe, Geoff Sutcliffe |
| 2008 | CADE | Evaluation of Systems for Higher-order Logic (ESHOL). | Christoph Benzmller, Florian Rabe, Carsten Schrmann, Geoff Sutcliffe |
| 2008 | LPAR | An Exchange Format for Modular Knowledge. | Florian Rabe, Michael Kohlhase |
| 2006 | CADE | First-Order Logic with Dependent Types. | Florian Rabe |