Florian Rabe

Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing

Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. CICM (2016)

Michael Kohlhase, Florian Rabe

QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge. J. Formaliz. Reason. 9 (1) (2016)

Till Mossakowski, Florian Rabe, Mihai Codescu

Canonical Selection of Colimits. WADT (2016)

Cezary Kaliszyk, Geoff Sutcliffe, Florian Rabe

TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism. PAAR@IJCAR (2016)

Florian Rabe

The Future of Logic: Foundation-Independence. Logica Universalis 10 (1) (2016)

Florian Rabe

Generic Literals. CICM (2015)

Chonhyon Park, Florian Rabe, Shashank Sharma, Christian Scheurer, Uwe E. Zimmermann, Dinesh Manocha

Parallel cartesian planning in dynamic environments using constrained trajectory planning. Humanoids (2015)

Feryal Fulya Horozal, Florian Rabe

Formal Logic Definitions for Interchange Languages. CICM (2015)

Florian Rabe

Lax Theory Morphisms. ACM Trans. Comput. Log. 17 (1) (2015)

Feryal Fulya Horozal, Florian Rabe, Michael Kohlhase

Flexary Operators for Formalized Mathematics. CICM (2014)

Florian Rabe

MMT Objects. CICM Workshops (2014)

Florian Rabe

A Logic-Independent IDE. UITP (2014)

Cezary Kaliszyk, Florian Rabe

Towards Knowledge Management for HOL Light. CICM (2014)

Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban

The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom. Reason. 50 (2) (2013)

Florian Rabe

A logical framework combining model and proof theory. Math. Struct. Comput. Sci. 23 (5) (2013)

Michael Kohlhase, Felix Mance, Florian Rabe

A Universal Machine for Biform Theory Graphs. CoRR (2013)

Michael Kohlhase, Felix Mance, Florian Rabe

A Universal Machine for Biform Theory Graphs. MKM/Calculemus/DML (2013)

Florian Rabe, Kristina Sojakova

Logical relations for a logical framework. ACM Trans. Comput. Log. 14 (4) (2013)

Florian Rabe

The MMT API: A Generic MKM System. MKM/Calculemus/DML (2013)

Mihnea Iancu, Felix Mance, Florian Rabe

The Scala-REPL + MMT as a lightweight mathematical user interface. CICM Workshops (2013)

Florian Rabe

The MMT API: A Generic MKM System. CoRR (2013)

Florian Rabe, Michael Kohlhase

A scalable module system. Inf. Comput. 230 (2013)

Michael Kohlhase, Florian Rabe

Semantics of OpenMath and MathML3. Math. Comput. Sci. 6 (3) (2012)

Florian Rabe

A Query Language for Formal Mathematical Libraries. AISC/MKM/Calculemus (2012)

Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe

Compiling Logics. WADT (2012)

Mihnea Iancu, Florian Rabe

Management of Change in Declarative Languages. AISC/MKM/Calculemus (2012)

Florian Rabe

A Query Language for Formal Mathematical Libraries CoRR (2012)

Feryal Fulya Horozal, Michael Kohlhase, Florian Rabe

Extending MKM Formats at the Statement Level. AISC/MKM/Calculemus (2012)

Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe

Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM (2011)

Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen

A Foundational View on Integration Problems. Calculemus/MKM (2011)

Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen

A Foundational View on Integration Problems CoRR (2011)

Steven Awodey, Florian Rabe

Kripke Semantics for Martin-Löf's Extensional Type Theory Log. Methods Comput. Sci. 7 (3) (2011)

Feryal Fulya Horozal, Florian Rabe

Representing model theory in a type-theoretical logical framework. Theor. Comput. Sci. 412 (37) (2011)

Florian Rabe, Michael Kohlhase

A Scalable Module System CoRR (2011)

Mihnea Iancu, Florian Rabe

Formalising foundations of mathematics. Math. Struct. Comput. Sci. 21 (4) (2011)

Feryal Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe

Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM (2011)

Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev

Towards MKM in the Large: Modular Representation and Scalable Software Architecture CoRR (2010)

Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev

Publishing Math Lecture Notes as Linked Data. ESWC (2) (2010)

Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe

A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT (2010)

Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev

Towards MKM in the Large: Modular Representation and Scalable Software Architecture. AISC/MKM/Calculemus (2010)

Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova

Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT (2010)

Florian Rabe

Representing Isabelle in LF LFMTP (2010)

Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev

Publishing Math Lecture Notes as Linked Data CoRR (2010)

Feryal Fulya Horozal, Florian Rabe

Representing Model Theory in a Type-Theoretical Logical Framework. LSFA (2009)

Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen

Solving the $100 modal logic challenge. J. Appl. Log. 7 (1) (2009)

Jana Giceva, Christoph Lange, Florian Rabe

Integrating Web Services into Active Mathematical Documents. Calculemus/MKM (2009)

Florian Rabe, Carsten Schürmann

A practical module system for LF. LFMTP (2009)

Steven Awodey, Florian Rabe

Kripke Semantics for Martin-Löf's Extensional Type Theory. TLCA (2009)

Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe

Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL (2008)

Michael Kohlhase, Christine Müller, Florian Rabe

Notations for Living Mathematical Documents. AISC/MKM/Calculemus (2008)

Christoph Lange, Sean McLaughlin, Florian Rabe

Flyspeck in a Semantic Wiki. SemWiki (2008)

Florian Rabe

Representing Logics and Logic Translations. Ausgezeichnete Informatikdissertationen (2008)

Kristina Sojakova, Florian Rabe

Translating a Dependently-Typed Logic to First-Order Logic. WADT (2008)

Florian Rabe, Michael Kohlhase

An Exchange Format for Modular Knowledge. LPAR Workshops (2008)

Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe

THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR (2008)

Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder

An Institutional View on Categorical Logic. Int. J. Softw. Informatics 1 (1) (2007)

Florian Rabe

First-Order Logic with Dependent Types. IJCAR (2006)

Publication Activity (10 Years)

Top Topics