Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Florian Rabe
2010 – today
- 2013
[j8]Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban: The Mizar Mathematical Library in OMDoc: Translation and Applications. J. Autom. Reasoning 50(2): 191-202 (2013)- [c25]Michael Kohlhase, Felix Mance, Florian Rabe: A Universal Machine for Biform Theory Graphs. MKM/Calculemus/DML 2013: 82-97
- [c24]
- [e2]Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (Eds.): Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013
- [i7]Michael Kohlhase, Felix Mance, Florian Rabe: A Universal Machine for Biform Theory Graphs. CoRR abs/1306.3198 (2013)
- [i6]
- 2012
- [j7]Michael Kohlhase, Florian Rabe: Semantics of OpenMath and MathML3. Mathematics in Computer Science 6(3): 235-260 (2012)
- [c23]Fulya Horozal, Michael Kohlhase, Florian Rabe: Extending MKM Formats at the Statement Level. AISC/MKM/Calculemus 2012: 65-80
- [c22]
- [c21]Mihnea Iancu, Florian Rabe: Management of Change in Declarative Languages. AISC/MKM/Calculemus 2012: 326-341
- [c20]Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe: Compiling Logics. WADT 2012: 111-126
- [i5]
- 2011
- [j6]Steven Awodey, Florian Rabe: Kripke Semantics for Martin-Löf's Extensional Type Theory. Logical Methods in Computer Science 7(3) (2011)
- [j5]Mihnea Iancu, Florian Rabe: Formalising foundations of mathematics. Mathematical Structures in Computer Science 21(4): 883-911 (2011)
- [j4]Fulya Horozal, Florian Rabe: Representing model theory in a type-theoretical logical framework. Theor. Comput. Sci. 412(37): 4919-4945 (2011)
- [c19]Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen: A Foundational View on Integration Problems. Calculemus/MKM 2011: 107-122
- [c18]Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe: Combining Source, Content, Presentation, Narration, and Relational Representation. Calculemus/MKM 2011: 212-227
- [c17]Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM 2011: 289-291
- [e1]James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (Eds.): Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Lecture Notes in Computer Science 6824, Springer 2011, ISBN 978-3-642-22672-4
- [i4]
- [i3]Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen: A Foundational View on Integration Problems. CoRR abs/1105.2725 (2011)
- 2010
- [c16]Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev: Towards MKM in the Large: Modular Representation and Scalable Software Architecture. AISC/MKM/Calculemus 2010: 370-384
- [c15]Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data. ESWC (2) 2010: 370-375
- [c14]Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT 2010: 118-138
- [c13]Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova: Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT 2010: 139-159
- [c12]
- [i2]Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev: Publishing Math Lecture Notes as Linked Data. CoRR abs/1004.3390 (2010)
- [i1]Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev: Towards MKM in the Large: Modular Representation and Scalable Software Architecture. CoRR abs/1005.5232 (2010)
2000 – 2009
- 2009
- [j3]Fulya Horozal, Florian Rabe: Representing Model Theory in a Type-Theoretical Logical Framework. Electr. Notes Theor. Comput. Sci. 256: 49-65 (2009)
- [j2]Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen: Solving the $100 modal logic challenge. J. Applied Logic 7(1): 113-130 (2009)
- [c11]
- [c10]Jana Giceva, Christoph Lange, Florian Rabe: Integrating Web Services into Active Mathematical Documents. Calculemus/MKM 2009: 279-293
- [c9]Steven Awodey, Florian Rabe: Kripke Semantics for Martin-Löf's Extensional Type Theory. TLCA 2009: 249-263
- 2008
- [b1]Florian Rabe: Representing logics and logic translations. Universität Bremen 2008, pp. 1-180
- [c8]Michael Kohlhase, Christine Müller, Florian Rabe: Notations for Living Mathematical Documents. AISC/MKM/Calculemus 2008: 504-519
- [c7]Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe: THF0 - The Core of the TPTP Language for Higher-Order Logic. IJCAR 2008: 491-506
- [c6]Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe: Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL 2008
- [c5]Florian Rabe: Representing Logics and Logic Translations. Ausgezeichnete Informatikdissertationen 2008: 201-210
- [c4]
- [c3]
- [c2]Kristina Sojakova, Florian Rabe: Translating a Dependently-Typed Logic to First-Order Logic. WADT 2008: 326-341
- 2007
- [j1]Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder: An Institutional View on Categorical Logic. Int. J. Software and Informatics 1(1): 129-152 (2007)
- 2006
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team