KWARC » publications » FRabe

Florian Rabe

Table of Contents

Articles in Journals

  1. J. Goguen, T. Mossakowski, V. Paiva, F. Rabe, L. Schröder. An Institutional View on Categorical Logic; pp. 129–152 in International Journal of Software and Informatics (1); 2008.
  2. F. Rabe, P. Pudlák, G. Sutcliffe, W. Shen. Solving the $100 Modal Logic Challenge; in Journal of Applied Logic (1); 2007.

Technical Reports

  1. Vyacheslav Zholudev, Michael Kohlhase, Florian Rabe. A [insert XML Format] Database for [insert cool application] (extended version); Technical Report , Jacobs University Bremen 2010.
  2. Michael Kohlhase, Christoph Lange, Christine Müller, Normen Müller, Florian Rabe. Notations for Active Mathematical Documents; KWARC Report 2009-1, Jacobs University Bremen February 2009.
  3. Michael Kohlhase, Christoph Lange, Christine Müller, Normen Müller, Florian Rabe. Adaptation of Notations in Living Mathematical Documents; KWARC Report 2008-2, Jacobs University Bremen April 2008.

Conference and Workshop Contributions

  1. Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev. Publishing Math Lecture Notes as Linked Data; in Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, eds.: ESWC; Lecture Notes in Computer Science, Springer June 2010.
  2. Vyacheslav Zholudev, Michael Kohlhase, Florian Rabe. A [insert XML Format] Database for [insert cool application]; in Proceedings of XML Prague 2010; 2010.
  3. Michael Kohlhase, Florian Rabe. Semantics of OpenMath and MathML3; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009.
  4. Florian Rabe, Michael Kohlhase. A better Role System for OpenMath; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009.
  5. Jana Giceva, Christoph Lange, Florian Rabe. Integrating Web Services into Active Mathematical Documents; pp. 279–293 in Jacques Carette, Lucas Dixon, Claudio Coen, Stephen M. Watt, eds.: MKM/Calculemus 2009 Proceedings; LNAI 5625, Springer Verlag July 2009.
  6. F. Rabe, C. Schürmann. A Practical Module System for LF; in Proceedings of the Workshop on Logical Frameworks Meta-Theory and Practice (LFMTP); 2009.
  7. F. Horozal, F. Rabe. Representing Model Theory in a Type-Theoretical Logical Framework; in Fourth Workshop on Logical and Semantic Frameworks, with Applications; 2009.
  8. S. Awodey, F. Rabe. Kripke Semantics for Martin-Löf's Extensional Type Theory; pp. 249–263 in P. Curien, ed.: Proceedings of Typed Lambda Calculi and Applications (TLCA); Lecture Notes in Computer Science 5608, Springer 2009.
  9. F. Rabe. Representing Logics and Logic Translations; in D. Wagner al., ed.: Ausgezeichnete Informatikdissertationen 2008; Gesellschaft für Informatik e.V. (GI) 2009.
  10. K. Sojakova, F. Rabe. Translating Dependently-Typed Logic to First-Order Logic; pp. 326–341 in A. Corradini, U. Montanari, eds.: Recent Trends in Algebraic Development Techniques; 2009.
  11. F. Horozal, F. Rabe. Representing Model Theory in a Type-Theoretical Logical Framework; in Workshop on Logical and Semantic Frameworks, with Applications; 2009.
  12. Christoph Lange, Sean McLaughlin, Florian Rabe. Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture; in Christoph Lange, Sebastian Schaffert, Hala Skaf-Molli, Max Völkel, eds.: Proceedings of the 3rd Workshop on Semantic Wikis, European Semantic Web Conference 2008; CEUR Workshop Proceedings 360, June 2008.
  13. Florian Rabe, Michael Kohlhase. An Exchange Format for Modular Knowledge; pp. 50–68 in G. Sutcliffe, P. Rudnicki, R. Schmidt, B. Konev, S. Schulz, eds.: Proceedings of the LPAR Workshops: Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics; CEUR Workshop Proceedings 418, 2008.
  14. Michael Kohlhase, Christine Müller, Florian Rabe. Notations for Living Mathematical Documents; pp. 504–519 in Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, eds.: Intelligent Computer Mathematics, 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings; LNAI 5144, Springer Verlag 2008.
  15. F. Rabe, M. Kohlhase. An Exchange Format for Modular Knowledge; pp. 50–68 in G. Sutcliffe, P. Rudnicki, R. Schmidt, B. Konev, S. Schulz, eds.: Proceedings of the LPAR Workshops on Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics; CEUR Workshop Proceedings 418, 2008.
  16. C. Benzmüller, F. Rabe, G. Sutcliffe. THF0 – The core of the TPTP Language for Higher-Order Logic; pp. 491–506 in A. Armando, P. Baumgartner, G. Dowek, eds.: 4th International Joint Conference on Automated Reasoning; Lecture Notes in Computer Science 5195, 2008.
  17. Michael Kohlhase, Christoph Lange, Florian Rabe. Presenting Mathematical Content With Flexible Elisions; in Olga Caprotti, Michael Kohlhase, Paul Libbrecht, eds.: OpenMath/JEM Workshop 2007; June 2007.
  18. F. Rabe. omdoc Theory Graphs Revisited; in Proceedings of the openmath/JEM workshop; 2007.
  19. F. Rabe. Towards Determining the Subset Relation between Propositional Modal Logics; pp. 126–140 in G. Sutcliffe, R. Schmidt, S. Schulz, eds.: Proceedings of the FLoC 06 Workshop on Empirically Successful Computerized Reasoning, 3rd International Joint Conference on Automated Reasoning; CEUR Workshop Proceedings 192, 2006.
  20. F. Rabe. First-Order Logic with Dependent Types; pp. 377–391 in Ulrich Furbach, Natarajan Shankar, eds.: Automated Reasoning — Third International Joint Conference, IJCAR 2006; LNAI 4130, Springer Verlag 2006.
  21. F. Rabe, S. Schlager, P. Schmitt. A Sequent Calculus for a First-order Dynamic Logic with Trace Modalities for Promela$^+$; pp. 21–27 in G. Sutcliffe, A. Voronkov, eds.: Short Paper Proceedings of the International Conference on Logic for Programming, Artificial Intelligence, and Reasoning; 2005.

Theses

  1. Florian Rabe. Representing Logics and Logic Translations; Ph.D. Thesis, Jacobs University Bremen 2008.

Unpublished

  1. Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen. A Foundational View on Integration Problems; in . CALCULEMUS 2010 CALCULEMUS 2010; 2010.
  2. Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev. Towards MKM in the Large: Modular Representation and Scalable Software Architecture; in . MKM 2010; 2010.
  3. Florian Rabe, Michael Kohlhase. A Web-Scalable Module System for Mathematical Theories; , 2010. Manuscript, to be submitted to the Journal of Symbolic Computation
  4. Florian Rabe. The MMT Language and System; , 2009.
  5. F. Rabe. Institutions with Proofs and their Representation in a Logical Framework; , 2008. Submitted, see http://kwarc.eecs.iu-bremen.de/frabe/Research/rabe_instlf_07.pdf
  6. S. Awodey, F. Rabe. Kripke Semantics for Martin-Löf Type Theory; , 2008. Submitted, see http://kwarc.eecs.iu-bremen.de/frabe/Research/LamKrip.pdf
© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package