KWARC » publications » FRabe

Florian Rabe

Table of Contents

Articles in Journals

  1. S. Awodey, F. Rabe. Kripke Semantics for Martin-Löf's Extensional Type Theory; in Logical Methods in Computer Science (7:3); 2011. ¶
  2. F. Horozal, F. Rabe. Representing Model Theory in a Type-Theoretical Logical Framework; pp. 4919–4945 in Theoretical Computer Science (412:37); 2011. ¶
  3. M. Iancu, F. Rabe. Formalizing Foundations of Mathematics; pp. 883–911 in Mathematical Structures in Computer Science (21:4); 2011. ¶
  4. F. Rabe. Review of “Reasoning in Simple Type Theory – Festschrift in Honor of Peter B. Andrews on His 70th Birthday”; pp. 409–411 in Bulletin of Symbolic Logic (16:3); 2010. ¶
  5. Florian Rabe. Review of “Reasoning in Simple Type Theory – Festschrift in Honor of Peter B. Andrews on His 70th Birthday”; pp. 409–411 in Bulletin of Symbolic Logic (16:3); 2010. ¶
  6. J. Goguen, T. Mossakowski, V. Paiva, Florian Rabe, L. Schröder. An Institutional View on Categorical Logic; pp. 129–152 in International Journal of Software and Informatics (1:1); 2008. ¶
  7. Florian Rabe, P. Pudlák, G. Sutcliffe, W. Shen. Solving the $100 Modal Logic Challenge; in Journal of Applied Logic (1:1); 2007. ¶

Conference and Workshop Contributions

  1. Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe. Project Abstract: Logic Atlas and Integrator (LATIN); pp. 289–291 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  2. Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe. Combining Source, Content, Presentation, Narration, and Relational Representation; pp. 212–227 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  3. Michael Kohlhase, Florian Rabe, Claudio Coen. A Foundational View on Integration Problems; pp. 107–122 in James Davenport, William Farmer, Florian Rabe, Josef Urban, eds.: Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  4. F. Rabe, M. Kohlhase, C. Sacerdoti Coen. A Foundational View on Integration Problems; pp. 106–121 in J. Davenport, W. Farmer, F. Rabe, J. Urban, eds.: Intelligent Computer Mathematics; Lecture Notes in Computer Science (6824), Springer 2011. ¶
  5. M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe. A Proof Theoretic Interpretation of Model Theoretic Hiding; in H. Kreowski, T. Mossakowski, eds.: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science (7137), Springer 2011. ¶
  6. F. Horozal, A. Iacob, C. Jucovschi, M. Kohlhase, F. Rabe. Combining Source, Content, Presentation, Narration, and Relational Representation; pp. 211–226 in J. Davenport, W. Farmer, F. Rabe, J. Urban, eds.: Intelligent Computer Mathematics; Lecture Notes in Computer Science (6824), Springer 2011. ¶
  7. F. Horozal, M. Kohlhase, F. Rabe. Extending OpenMath with Sequences; pp. 58–72 in A. Asperti, J. Davenport, W. Farmer, F. Rabe, J. Urban, eds.: Intelligent Computer Mathematics, Work-in-Progress Proceedings; Technical Report, University of Bologna (UBLCS-2011-04), University of Bologna 2011. ¶
  8. M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe. Project Abstract: Logic Atlas and Integrator (LATIN); pp. 287–289 in J. Davenport, W. Farmer, F. Rabe, J. Urban, eds.: Intelligent Computer Mathematics; Lecture Notes in Computer Science (6824), Springer 2011. ¶
  9. M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe, K. Sojakova. Towards Logical Frameworks in the Heterogeneous Tool Set Hets; in H. Kreowski, T. Mossakowski, eds.: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science (7137), Springer 2011. ¶
  10. Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Vyacheslav Zholudev. JOBAD/MMT – Interactive Mathematics; in Adrian Giurca, Brigitte Endres-Niggemeyer, Christoph Lange, Lutz Maicher, Pascal Hitzler, eds.: AI Mashup Challenge at ESWC; June 2010. ¶
  11. Catalin David, Christoph Lange, Florian Rabe. Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram|Alpha; pp. 13–30 in David Delahaye, Renaud Rioboo, eds.: CALCULEMUS (Emerging Trends); Centre d'Étude et de Recherche en Informatique du CNAM (Cédric) 2010. ¶
  12. Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev. Towards MKM in the Large: Modular Representation and Scalable Software Architecture; pp. 370–384 in Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton, eds.: Intelligent Computer Mathematics; LNAI 6167, Springer Verlag 2010. ¶
  13. Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Nikita Zhiltsov, Vyacheslav Zholudev. Publishing Math Lecture Notes as Linked Data; pp. 370–375 in Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache, eds.: The Semantic Web: Research and Applications (Part II), 7th Extended Semantic Web Conference (ESWC), 2010-05-30/2010-06-03 in Hersonissos, Crete, Greece; Lecture Notes in Computer Science 6089, Springer Verlag 2010. ¶
  14. Vyacheslav Zholudev, Michael Kohlhase, Florian Rabe. A [insert XML Format] Database for [insert cool application]; pp. 317–339 in Proceedings of XML Prague 2010; 2010. ¶
  15. V. Zholudev, M. Kohlhase, F. Rabe. A [insert XML Format] Database for [insert cool application]; in XMLPrague 2010; Proceedings of XMLPrague, XMLPrague.cz 2010. ¶
  16. M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe. A Proof Theoretic Interpretation of Model Theoretic Hiding; in Workshop on Algebraic Development Techniques; 2010. ¶
  17. C. David, C. Lange, F. Rabe. Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram|Alpha; pp. 13–30 in D. Delahaye, R. Rioboo, eds.: CALCULEMUS (Emerging Trends); Technical Reports of CEDRIC (CNAM/ENSIIE), Centre d'Étude et de Recherche en Informatique du CNAM (Cédric) 2010. ¶
  18. C. David, M. Kohlhase, C. Lange, F. Rabe, V. Zholudev. Publishing Math Lecture Notes as Linked Data; pp. 370–375 in L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, T. Tudorache, eds.: The Semantic Web: Research and Applications; Lecture Notes in Computer Science (6089), Springer 2010. ¶
  19. F. Rabe. Representing Isabelle in LF; pp. 85–100 in K. Crary, M. Miculan, eds.: Logical Frameworks and Meta-languages: Theory and Practice; Electronic Proceedings in Theoretical Computer Science (34), Electronic Proceedings in Theoretical Computer Science 2010. ¶
  20. S. Dumbrava, F. Rabe. Structuring Theories with Partial Morphisms; in Workshop on Algebraic Development Techniques; 2010. ¶
  21. M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe, K. Sojakova. Towards Logical Frameworks in the Heterogeneous Tool Set Hets; in Workshop on Algebraic Development Techniques; 2010. ¶
  22. M. Kohlhase, F. Rabe, V. Zholudev. Towards MKM in the Large: Modular Representation and Scalable Software Architecture; pp. 370–384 in S. Autexier, J. Calmet, D. Delahaye, P. Ion, L. Rideau, R. Rioboo, A. Sexton, eds.: Intelligent Computer Mathematics; Lecture Notes in Computer Science (6167), Springer 2010. ¶
  23. Michael Kohlhase, Florian Rabe. Semantics of OpenMath and MathML3; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009. ¶
  24. Florian Rabe, Michael Kohlhase. A better Role System for OpenMath; in James H. Davenport, ed.: 22nd OpenMath Workshop; July 2009. ¶
  25. 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 Proceedings; LNAI 5625, Springer Verlag July 2009. ¶
  26. F. Rabe, M. Kohlhase. A Better Role System for OpenMath; in Proceedings of the OpenMath workshop; 2009. ¶
  27. F. Rabe, C. Schürmann. A Practical Module System for LF; pp. 40–48 in J. Cheney, A. Felty, eds.: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (LFMTP); ACM International Conference Proceeding Series (LFMTP'09), ACM Press 2009. ¶
  28. J. Givceva, C. Lange, F. Rabe. Integrating Web Services into Active Mathematical Documents; pp. 279–293 in J. Carette, L. Dixon, C. Sacerdoti Coen, S. Watt, eds.: Intelligent Computer Mathematics; Lecture Notes in Computer Science (5625), Springer 2009. ¶
  29. S. Awodey, F. Rabe. Kripke Semantics for Martin-Löf's Extensional Type Theory; pp. 249–263 in P. Curien, ed.: Typed Lambda Calculi and Applications (TLCA); Lecture Notes in Computer Science (5608), Springer 2009. ¶
  30. F. Rabe. Representing Logics and Logic Translations; pp. 201–210 in D. Wagner et al., ed.: Ausgezeichnete Informatikdissertationen 2008; Lecture Notes in Informatics (D-9), Gesellschaft für Informatik e.V. (GI) 2009. ¶
  31. F. Horozal, F. Rabe. Representing Model Theory in a Type-Theoretical Logical Framework; pp. 49–65 in M. Ayala-Rincón, F. Kamareddine, eds.: Fourth Workshop on Logical and Semantic Frameworks, with Applications; Electronic Notes in Theoretical Computer Science (256), Elsevier 2009. ¶
  32. M. Kohlhase, F. Rabe. Semantics of OpenMath and MathML 3; in Proceedings of the OpenMath workshop; 2009. ¶
  33. 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; Lecture Notes in Computer Science (5486), Springer 2009. ¶
  34. 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. ¶
  35. 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.: 3rd Workshop on Semantic Wikis, , 2008-06-02 in Costa Adeje, Tenerife, Spain; CEUR Workshop Proceedings 360, 2008. ¶
  36. 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, 15th Symposium, Calculemus, 7th International Conference MKM, 2008-07-28/2008-08-01 in Birmingham, UK; LNAI 5144, Springer Verlag 2008. ¶
  37. 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), CEUR-WS.org 2008. ¶
  38. C. Benzmüller, Florian 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. ¶
  39. 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. ¶
  40. Florian Rabe. omdoc Theory Graphs Revisited; in Proceedings of the openmath/JEM workshop; 2007. ¶
  41. Florian 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. ¶
  42. Florian 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. ¶
  43. Florian 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. ¶

Monographs and Proceedings

  1. J. Davenport, W. Farmer, F. Rabe, J. Urban. ; Lecture Notes in Computer Science (6824), Springer 2011. ¶
  2. A. Asperti, J. Davenport, W. Farmer, F. Rabe, J. Urban. ; Technical Reports of University of Bologna (UBLCS-2011-04), University of Bologna 2011. ¶
  3. H. Geuvers, G. Nadathur, F. Rabe, C. Schürmann. ; 2011. ¶
  4. James Davenport, William Farmer, Florian Rabe, Josef Urban. Intelligent Computer Mathematics; LNAI 6824, Springer Verlag 2011. ¶
  5. James Davenport, William Farmer, Florian Rabe, Josef Urban. Intelligent Computer Mathematics – Work in Progress Papers; 2011. ¶
  6. F. Rabe, C. Schürmann. ; 2010. ¶
  7. F. Rabe, C. Schürmann. ; ACM International Conference Proceeding Series (429), ACM 2009. ¶

Theses

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

Technical Reports

  1. Mihnea Iancu, Michael Kohlhase, Florian Rabe. Translating the Mizar Mathematical Library into OMDoc format; KWARC Report , Jacobs University Bremen 2011. ¶
  2. M. Iancu, M. Kohlhase, F. Rabe. Translating the Mizar Mathematical Library into OMDoc format; Technical Report KWARC Report-01/11, Jacobs University Bremen 2011. ¶
  3. Vyacheslav Zholudev, Michael Kohlhase, Florian Rabe. A [insert XML Format] Database for [insert cool application] (extended version); Technical Report , Jacobs University Bremen 2010. ¶
  4. 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. ¶
  5. M. Kohlhase, C. Lange, C. Müller, N. Müller, F. Rabe. Notations for Active Mathematical Documents; Technical Report 2009-1, Jacobs University Bremen 2009. ¶
  6. 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. ¶

Unpublished

  1. Michael Kohlhase, Florian Rabe. Semantics of OpenMath and MathmML3; , 2012. submitted to MCS ¶
  2. Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban. The Mizar Mathematical Library in OMDoc: Translation and Applications; , 2011. submitted to JAR ¶
  3. Florian Rabe, Michael Kohlhase. A Scalable Module System; , 2011. Manuscript, submitted to Information & Computation ¶
  4. Fulya Horozal, Michael Kohlhase, Florian Rabe, Kristina Sojakova. Towards an Atlas of Logics; , 2010. ¶
  5. F. Rabe, M. Iancu. A Formalized Set-Theoretical Semantics of Isabelle/HOL; , 2010. see http://kwarc.info/frabe/Research/rabeEA_isabelle_10.pdf ¶
  6. F. Rabe. A Logical Framework Combining Model and Proof Theory; , 2010. see http://kwarc.info/frabe/Research/rabe_combining_09.pdf ¶
  7. M. Kohlhase, F. Rabe. Semantics of OpenMath and MathmML3; , 2010. see http://kwarc.info/frabe/Research/KR_omsemantics_10.pdf ¶
  8. S. Awodey, F. Rabe. Kripke Semantics for Martin-Löf's Extensional Type Theory; , 2009. see http://kwarc.info/frabe/Research/LamKrip.pdf ¶
  9. M. Kohlhase, C. Lange, C. Müller, N. Müller, F. Rabe. Notations for Active Mathematical Documents; , 2009. ¶
  10. F. Rabe. The MMT Language; , 2009. ¶
  11. Florian Rabe. Institutions with Proofs and their Representation in a Logical Framework; , 2008. Submitted, see http://kwarc.info/frabe/Research/rabe_instlf_07.pdf ¶

Miscellaneous

  1. M. Iancu, F. Rabe. A Formal Semantics of Isabelle/HOL; , 2010. see https://svn.kwarc.info/repos/twelf/projects/isabelle ¶
  2. Stefania Dumbrava, Florian Rabe. Structuring Theories with Partial Morphisms; , 2010. Workshop on Abstract Development Techniques ¶
  3. F. Horozal, F. Rabe. A Formal Proof of the Soundness of First-order Logic; , 2009. see https://svn.kwarc.info/repos/twelf/fol-soundness.cfg ¶
  4. F. Rabe, C. Schürmann. A Module System for Twelf; , 2009. see https://cvs.concert.cs.cmu.edu/twelf/branches/twelf-mod ¶
  5. M. Kohlhase, T. Mossakowski, F. Rabe. The LATIN Project; , 2009. see https://trac.omdoc.org/LATIN/ ¶
  6. Florian Rabe. The MMT Language and System;  ¶
  7. Florian Rabe. MMT – A Module system for Mathematical Theories;  ¶
  8. . JOBAD Framework – JavaScript API for OMDoc-based active documents;  ¶

(last regeneration: 2012-02-03+01:00)

© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package