• As Author
  • As Inventor
  • As Editor
  • As Reviewer
  • As Author

    1. Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401), A. Bauer, Katja Berčič, N. Thiéry, Florian Rabe, J. Taslak, 2024
      Dagstuhl Reports by Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 13(10):1-23
    2. A Logical Framework Perspective on Conservativity, Florian Rabe, 2024
      Intelligent Computer Mathematics, A. Kohlhase, L. Kovacs (eds.) , Lecture Notes in Computer Science, Springer
    3. Aligning Mathematical Concepts Across Libraries, Florian Rabe, 2024
      Dagstuhl Seminar on Automated mathematics, A. Bauer, Katja Berčič, N. Thiéry, Florian Rabe, J. Taslak (eds.), pp. 18-20 , volume 23401 of Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    4. Aspects of Knowledge for Next Generation Systems, Florian Rabe, 2024
      The Next Generation of Deduction Systems: From Composition to Compositionality, M. Bonacina, P. Fontaine, C. Nalon, C. Schon, M. Desharnais (eds.), pp. 144-145 , volume 23471 of Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    5. Extracting Theory Graphs from Aldor Libraries, Florian Rabe, S. Watt, 2023
      Intelligent Computer Mathematics, C. Dubois, M. Kerber (eds.), pp. 315-320 , volume 14101 of Lecture Notes in Computer Science, Springer
      Slides
    6. Morphism Equality in Theory Graphs, Florian Rabe, Franzika Weber, 2023
      Intelligent Computer Mathematics, C. Dubois, M. Kerber (eds.), pp. 174-189 , volume 14101 of Lecture Notes in Computer Science, Springer
      Slides
    7. Theorem Proving in Dependently Typed Higher-Order Logic, Colin Rothgang, Florian Rabe, C. Benzmüller, 2023
      Automated Dedution, B. Pientka, C. Tinelli (eds.), pp. 438-455 , volume 14132 of Lecture Notes in Computer Science, Springer
    8. Enhancing Proof Stability, S. McLaughlin, G. Jaloyan, T. Xiang, Florian Rabe, 2023
      Dafny 2024, J. Tassarotti, S. Zetzsche (eds.)
    9. The Potential of Answer Classes in Large-scale Written Computer Science Exams, D. Lohr, M. Berges, Michael Kohlhase, Florian Rabe, 2023
      Hochschuldidaktik Informatik (HDI), J. Desel, S. Opel (eds.)
    10. Three Case Studies on Realms, Florian Rabe, Franzika Weber, 2022
      Intelligent Computer Mathematics, Informal Proceedings, K. Buzzard, T. Kutsia (eds.), pp. 46-51 , volume 6584 of RISC Technical Report, Research Institute for Symbolic Computation
    11. Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge, J. Carette, W. Farmer, Michael Kohlhase, Florian Rabe, 2021
      The Mathematical Intelligencer, 43(1):78-87
    12. Experiences from Exporting Major Proof Assistant Libraries, Michael Kohlhase, Florian Rabe, 2021
      Journal of Automated Reasoning, 65(8):1265-1298
      Slides
    13. A Language with Type-Dependent Equality, Florian Rabe, 2021
      Intelligent Computer Mathematics, F. Kamareddine, C. Sacerdoti Coen (eds.), pp. 211-227 , volume 12833 of Lecture Notes in Computer Science, Springer
      Slides
    14. A New Export of the Mizar Mathematical Library, Colin Rothgang, A. Kornilowicz, Florian Rabe, 2021
      Intelligent Computer Mathematics, F. Kamareddine, C. Sacerdoti Coen (eds.), pp. 205-210 , volume 12833 of Lecture Notes in Computer Science, Springer
    15. Translating Formalizations of Type Theories from Intrinsic to Extrinsic Style, Florian Rabe, Navid Roux, 2021
      Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (LFMTP), E. Pimentel, E. Tassi (eds.), pp. 88-103 , volume 337 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association
    16. (Deep) FAIR Mathematics, Katja Berčič, Michael Kohlhase, Florian Rabe, 2020
      it - Information Technology, 62(1):7-17
    17. 3-Dimensional Graph Visualization of Mathematical Knowledge, Richard Marcus, Michael Kohlhase, Florian Rabe, 2020
      Intelligent Computer Mathematics, C. Benzmüller, B. Miller (eds.), pp. 290-296 , volume 12236 of Lecture Notes in Computer Science, Springer
    18. A Survey of Languages for Formalizing Mathematics, Cezary Kaliszyk, Florian Rabe, 2020
      Intelligent Computer Mathematics, C. Benzmüller, B. Miller (eds.), pp. 138-156 , volume 12236 of Lecture Notes in Computer Science, Springer
    19. Logic-Independent Proof Search in Logical Frameworks (short paper), Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer, 2020
      Automated Reasoning, N. Peltier, V. Sofronie-Stokkermans (eds.), pp. 395-401 , volume 12166 of Lecture Notes in Computer Science, Springer
    20. Representing Structural Language Features in Formal Meta-Languages, Dennis Müller, Colin Rothgang, Florian Rabe, Michael Kohlhase, 2020
      Intelligent Computer Mathematics, C. Benzmüller, B. Miller (eds.), pp. 206-221 , volume 12236 of Lecture Notes in Computer Science, Springer
    21. Structure-Preserving Diagram Operators, Florian Rabe, Navid Roux, 2020
      Recent Trends in Algebraic Development Techniques, M. Roggenbach (eds.), pp. 142-163 , volume 12669 of Lecture Notes in Computer Science, Springer
    22. Towards a Heterogeneous Query Language for Mathematical Knowledge, Katja Berčič, Michael Kohlhase, Florian Rabe, 2020
      Intelligent Computer Mathematics, C. Benzmüller, B. Miller (eds.), pp. 39-54 , volume 12236 of Lecture Notes in Computer Science, Springer
      Slides
    23. The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems, Katja Berčič, J. Carette, W. Farmer, Dennis Müller, Michael Kohlhase, Florian Rabe, Y. Sharoda, 2020
    24. Diagram Operators in MMT, Y. Sharoda, Florian Rabe, 2019
      Intelligent Computer Mathematics, C. Kaliszyk, E. Brady, A. Kohlhase, C. Sacerdoti Coen (eds.), pp. 211-226 , volume 11617 of Lecture Notes in Computer Science, Springer
    25. How to calculate with nondeterministic functions, R. Bird, Florian Rabe, 2019
      Mathematics of Program Construction, G. Hutton (eds.), pp. 138-154 , volume 11825 of Lecture Notes in Computer Science, Springer
      Slides
    26. Integrating Semantic Mathematical Documents and Dynamic Notebooks, Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing, 2019
      Intelligent Computer Mathematics, C. Kaliszyk, E. Brady, A. Kohlhase, C. Sacerdoti Coen (eds.), pp. 275-290 , volume 11617 of Lecture Notes in Computer Science, Springer
    27. Making Isabelle Content Accessible in Knowledge Representation Formats, Michael Kohlhase, Florian Rabe, M. Wenzel, 2019
      Types for Proofs and Programs (TYPES), M. Bezem, A. Mahboubi (eds.) , volume 175 of LIPIcs---Leibniz International Proceedings in Informatics, Schloss Dagstuhl--–Leibniz Center for Informatics
    28. MMTTeX: Connecting Content and Narration-Oriented Document Formats, Florian Rabe, 2019
      Intelligent Computer Mathematics, C. Kaliszyk, E. Brady, A. Kohlhase, C. Sacerdoti Coen (eds.), pp. 205-210 , volume 11617 of Lecture Notes in Computer Science, Springer
      Slides
    29. Relational Data Across Mathematical Libraries, A. Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, M. Wenzel, 2019
      Intelligent Computer Mathematics, C. Kaliszyk, E. Brady, A. Kohlhase, C. Sacerdoti Coen (eds.), pp. 61-76 , volume 11617 of Lecture Notes in Computer Science, Springer
    30. Structuring Theories with Implicit Morphisms, Dennis Müller, Florian Rabe, 2019
      Recent Trends in Algebraic Development Techniques, J. Fiadeiro, I. Tutu (eds.), pp. 154-173 , volume 11563 of Lecture Notes in Computer Science, Springer
    31. The Coq Library as a Theory Graph, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, 2019
      Intelligent Computer Mathematics, C. Kaliszyk, E. Brady, A. Kohlhase, C. Sacerdoti Coen (eds.), pp. 171-186 , volume 11617 of Lecture Notes in Computer Science, Springer
    32. Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation, Katja Berčič, Michael Kohlhase, Florian Rabe, 2019
      Intelligent Computer Mathematics, C. Kaliszyk, E. Brady, A. Kohlhase, C. Sacerdoti Coen (eds.), pp. 28-43 , volume 11617 of Lecture Notes in Computer Science, Springer
    33. Rapid Prototyping Formal Systems in MMT: Case Studies, Dennis Müller, Florian Rabe, 2019
      Logical Frameworks and Meta-languages: Theory and Practice, D. Miller, I. Scagnetto (eds.), pp. 40-54
    34. How to Leverage a Large Dataset of Formalized Mathematics with Machine Learning?, Dennis Müller, Michael Kohlhase, Florian Rabe, 2019
      Conference on Artificial Intelligence and Theorem Proving, T. Hales, C. Kaliszyk, R. Kumar, S. Schulz, J. Urban (eds.)
    35. A Modular Type Reconstruction Algorithm, Florian Rabe, 2018
      ACM Transactions on Computational Logic, 19(4):1-43
    36. Model pathway diagrams for the representation of mathematical models, T. Koprucki, Michael Kohlhase, K. Tabelow, Dennis Müller, Florian Rabe, 2018
      Optical and Quantum Electronics, 50(70)
    37. Automatically Finding Theory Morphisms for Knowledge Management, Dennis Müller, Michael Kohlhase, Florian Rabe, 2018
      Intelligent Computer Mathematics, F. Rabe, W. Farmer, G. Passmore, A. Youssef (eds.), pp. 209-224 , volume 11006 of Lecture Notes in Computer Science, Springer
    38. Theories as Types, Dennis Müller, Florian Rabe, Michael Kohlhase, 2018
      Automated Reasoning, D. Galmiche, S. Schulz, R. Sebastiani (eds.), pp. 575-590 , volume 10900 of Lecture Notes in Computer Science, Springer
    39. Structuring Theories with Implicit Morphisms, Dennis Müller, Florian Rabe, 2018
      Workshop on Algebraic Development Techniques, J. Fiadeiro, I. Tutu (eds.)
    40. Advice for Students, Florian Rabe, 2018
    41. How to Identify, Translate, and Combine Logics?, Florian Rabe, 2017
      Journal of Logic and Computation, 27(6):1753-1798
    42. Morphism Axioms, Florian Rabe, 2017
      Theoretical Computer Science, 691:55-80
    43. Universality of Proofs (Dagstuhl Seminar 16421), G. Dowek, C. Dubois, B. Pientka, F. Rabe, 2017
      Dagstuhl Reports by Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 6(10):75-98
    44. Canonical Selection of Colimits, Mihai Codescu, Till Mossakowski, Florian Rabe, 2017
      Recent Trends in Algebraic Development Techniques, P. James, M. Roggenbach (eds.), pp. 170-188 , volume 10644 of Lecture Notes in Computer Science, Springer
    45. Classification of Alignments between Concepts of Formal Mathematical Systems, Dennis Müller, T. Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe, 2017
      Intelligent Computer Mathematics, H. Geuvers, M. England, O. Hasan, F. Rabe, O. Teschke (eds.), pp. 83-98 , volume 10383 of Lecture Notes in Computer Science, Springer
    46. Knowledge-Based Interoperability for Mathematical Software Systems, Michael Kohlhase, Dennis Müller, M. Pfeiffer, Florian Rabe, N. Thiéry, V. Vasilyev, T. Wiesing, 2017
      Mathematical Aspects of Computer and Information Sciences, J. Blömer, I. Kotsireas, T. Kutsia, D. Simos (eds.), pp. 195-210 , volume 10693 of Lecture Notes in Computer Science, Springer
    47. Making PVS Accessible to Generic Services by Interpretation in a Universal Format, Michael Kohlhase, Dennis Müller, S. Owre, Florian Rabe, 2017
      Interactive Theorem Proving, M. Ayala-Rincon, C. Munoz (eds.), pp. 319-335 , volume 10499 of Lecture Notes in Computer Science, Springer
    48. Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases, T. Wiesing, Michael Kohlhase, Florian Rabe, 2017
      Mathematical Aspects of Computer and Information Sciences, J. Blömer, I. Kotsireas, T. Kutsia, D. Simos (eds.), pp. 243-257 , volume 10693 of Lecture Notes in Computer Science, Springer
    49. Alignment-based Translations Across Formal Systems Using Interface Theories, Dennis Müller, Colin Rothgang, Yufei Liu, Florian Rabe, 2017
      Proof eXchange for Theorem Proving, C. Dubois, B. Woltzenlogel Paleo (eds.), pp. 77-93 , volume 262 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association
    50. The MMT Perspective on Conservativity, Florian Rabe, 2017
      Logical and Semantic Frameworks, with Applications, S. Alves, R. Wassermann (eds.), pp. 17-33
      Slides
    51. Lecture Notes on Algorithms and Data Structures, Florian Rabe, 2017
    52. Lecture Notes on Secure and Dependable Systems, Florian Rabe, 2017
    53. QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge, Michael Kohlhase, Florian Rabe, 2016
      Journal of Formalized Reasoning, 9(1):201-234
    54. Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach, P. Dehaye, Mihnea Iancu, Michael Kohlhase, A. Konovalov, S. Lelièvre, Dennis Müller, M. Pfeiffer, Florian Rabe, N. Thiéry, Tom Wiesing, 2016
      Intelligent Computer Mathematics, Michael Kohlhase, L. de Moura, M. Johansson, B. Miller, F. Tompa (eds.), pp. 117-131 , volume 9791 of Lecture Notes in Computer Science, Springer
    55. TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism, Cezary Kaliszyk, Florian Rabe, Geoff Sutcliffe, 2016
      Workshop on Practical Aspects of Automated Reasoning, P. Fontaine, S. Schulz, J. Urban (eds.), pp. 41-55
    56. A Standard for Aligning Mathematical Concepts, Cezary Kaliszyk, Michael Kohlhase, Dennis Müller, Florian Rabe, 2016
      Work in Progress at CICM 2016, A. Kohlhase, M. Kohlhase, P. Libbrecht, B. Miller, F. Tompa, A. Naummowicz, W. Neuper, P. Quaresma, M. Suda (eds.), pp. 229-244 , volume 1785 of CEUR Workshop Proceedings, CEUR-WS.org
    57. Breakout session on A standard for system integration and proof interchange, R. Kumar, Florian Rabe, 2016
      Dagstuhl Seminar on Universality of Proofs, G. Dowek, C. Dubois, B. Pientka, Florian Rabe (eds.), pp. 94-94 , volume 16421 of Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    58. MMT: A UniFormal Approach to Knowledge Representation, Florian Rabe, 2016
      Dagstuhl Seminar on Universality of Proofs, G. Dowek, C. Dubois, B. Pientka, Florian Rabe (eds.), pp. 88-88 , volume 16421 of Dagstuhl Reports, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    59. Selecting Colimits for Parameterisation and Networks of Specifications, Mihai Codescu, Till Mossakowski, Florian Rabe, 2016
      Workshop on Algebraic Development Techniques, M. Roggenbach, P. James (eds.)
      Slides
    60. Integrated Lecture Notes on Logic (2008--2016), Florian Rabe, 2016
    61. Lax Theory Morphisms, Florian Rabe, 2015
      ACM Transactions on Computational Logic, 17(1)
    62. The Future of Logic: Foundation-Independence, Florian Rabe, 2015
      Logica Universalis, 10(1):1-20
      10.1007/s11787-015-0132-x; Winner of the Contest ``The Future of Logic'' at the World Congress on Universal Logic
      Slides
    63. Formal Logic Definitions for Interchange Languages, Fulya Horozal, Florian Rabe, 2015
      Intelligent Computer Mathematics, M. Kerber, J. Carette, C. Kaliszyk, Florian Rabe, V. Sorge (eds.), pp. 171-186 , volume 9150 of Lecture Notes in Computer Science, Springer
      Slides
    64. Generic Literals, Florian Rabe, 2015
      Intelligent Computer Mathematics, M. Kerber, J. Carette, C. Kaliszyk, Florian Rabe, V. Sorge (eds.), pp. 102-117 , volume 9150 of Lecture Notes in Computer Science, Springer
      Slides
    65. Flexary Operators for Formalized Mathematics, Fulya Horozal, Florian Rabe, Michael Kohlhase, 2014
      Intelligent Computer Mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka, J. Urban (eds.), pp. 312-327 , volume 8543 of Lecture Notes in Computer Science, Springer
      Slides
    66. Towards Knowledge Management for HOL Light, C. Kaliszyk, Florian Rabe, 2014
      Intelligent Computer Mathematics, S. Watt, J. Davenport, A. Sexton, P. Sojka, J. Urban (eds.), pp. 357-372 , volume 8543 of Lecture Notes in Computer Science, Springer
      Slides
    67. A Logic-Independent IDE, Florian Rabe, 2014
      Workshop on User Interfaces for Theorem Provers, C. Benzmüller, B. Woltzenlogel Paleo (eds.), pp. 48-60 , volume 167 of Electronic Notes in Theoretical Computer Science, Elsevier
      Slides
    68. MMT Objects, Florian Rabe, 2014
      Workshops and Work in Progress at CICM 2014: OpenMath Workshop, M. England, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. Sexton, P. Sojka, J. Urban, S. Watt (eds.) , volume 1186 of CEUR Workshop Proceedings, CEUR-WS.org
      Slides
    69. A Scalable Logical Framework, Florian Rabe, 2014
      Dr. habil. thesis, Jacobs University Bremen
    70. A Logical Framework Combining Model and Proof Theory, Florian Rabe, 2013
      Mathematical Structures in Computer Science, 23(5):945-1001
    71. A Scalable Module System, Florian Rabe, Michael Kohlhase, 2013
      Information and Computation, 230(1):1-54
    72. Logical Relations for a Logical Framework, Florian Rabe, Kristina Sojakova, 2013
      ACM Transactions on Computational Logic, 14(4):1-34
    73. The Mizar Mathematical Library in OMDoc: Translation and Applications, Mihnea Iancu, Michael Kohlhase, Florian Rabe, Josef Urban, 2013
      Journal of Automated Reasoning, 50(2):191-202
    74. A Universal Machine for Biform Theory Graphs, Michael Kohlhase, Felix Mance, Florian Rabe, 2013
      Intelligent Computer Mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka, W. Windsteiger (eds.), pp. 82-97 , volume 7961 of Lecture Notes in Computer Science, Springer
      Slides
    75. Compiling Logics, Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe, 2013
      Recent Trends in Algebraic Development Techniques 2012, N. Martí-Oliet, M. Palomino (eds.), pp. 111-126 , volume 7841 of Lecture Notes in Computer Science, Springer
    76. The MMT API: A Generic MKM System, Florian Rabe, 2013
      Intelligent Computer Mathematics, J. Carette, D. Aspinall, C. Lange, P. Sojka, W. Windsteiger (eds.), pp. 339-343 , volume 7961 of Lecture Notes in Computer Science, Springer
      Slides
    77. The Scala-REPL + MMT as a lightweight mathematical user interface, Mihnea Iancu, Felix Mance, Florian Rabe, 2013
      Workshops and Work in Progress at CICM 2013: Mathematical User Interfaces (MathUI), C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, Florian Rabe, P. Sojka, I. Whiteside, W. Windsteiger (eds.) , volume 1010 of CEUR Workshop Proceedings, CEUR-WS.org
    78. Semantics of OpenMath and MathML3, Michael Kohlhase, Florian Rabe, 2012
      Mathematics in Computer Science, 6(3):235-260
    79. A Proof Theoretic Interpretation of Model Theoretic Hiding, Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, 2012
      Recent Trends in Algebraic Development Techniques 2010, Till Mossakowski, H. Kreowski (eds.), pp. 118-138 , volume 7137 of Lecture Notes in Computer Science, Springer
    80. A Query Language for Formal Mathematical Libraries, Florian Rabe, 2012
      Intelligent Computer Mathematics, J. Campbell, J. Carette, G. Dos Reis, J. Jeuring, P. Sojka, V. Sorge, M. Wenzel (eds.), pp. 142-157 , volume 7362 of Lecture Notes in Computer Science, Springer
      Slides
    81. Extending MKM Formats at the Statement Level, Fulya Horozal, Michael Kohlhase, Florian Rabe, 2012
      Intelligent Computer Mathematics, J. Campbell, J. Carette, G. Dos Reis, J. Jeuring, P. Sojka, V. Sorge, M. Wenzel (eds.), pp. 64-79 , volume 7362 of Lecture Notes in Computer Science, Springer
    82. Management of Change in Declarative Languages, Mihnea Iancu, Florian Rabe, 2012
      Intelligent Computer Mathematics, J. Campbell, J. Carette, G. Dos Reis, J. Jeuring, P. Sojka, V. Sorge, M. Wenzel (eds.), pp. 325-340 , volume 7362 of Lecture Notes in Computer Science, Springer
    83. Towards Logical Frameworks in the Heterogeneous Tool Set Hets, Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova, 2012
      Recent Trends in Algebraic Development Techniques 2010, Till Mossakowski, H. Kreowski (eds.), pp. 139-159 , volume 7137 of Lecture Notes in Computer Science, Springer
    84. (Work-in-Progress) An MMT-Based User-Interface, Mihnea Iancu, Florian Rabe, 2012
      Workshop on User Interfaces for Theorem Provers, C. Kaliszyk, C. Lüth (eds.)
      Slides
    85. Compiling Logics, Mihai Codescu, Fulya Horozal, Till Mossakowski, Florian Rabe, 2012
      Workshop on Algebraic Development Techniques
    86. Mechanically Verifying Logic Translations, Florian Rabe, Kristina Sojakova, 2012
      Workshop on Algebraic Development Techniques
    87. Representing CASL in a Proof-Theoretical Logical Framework, Mihai Codescu, Fulya Horozal, Iulia Ignatov, Florian Rabe, 2012
      Workshop on Algebraic Development Techniques
    88. Representing Categories of Theories in a Proof-Theoretical Logical Framework, Fulya Horozal, Florian Rabe, 2012
      Workshop on Algebraic Development Techniques
    89. Formalizing Foundations of Mathematics, Mihnea Iancu, Florian Rabe, 2011
      Mathematical Structures in Computer Science, 21(4):883-911
    90. Kripke Semantics for Martin-Löf's Extensional Type Theory, Steve Awodey, Florian Rabe, 2011
      Logical Methods in Computer Science, 7(3)
    91. Representing Model Theory in a Type-Theoretical Logical Framework, Fulya Horozal, Florian Rabe, 2011
      Theoretical Computer Science, 412(37):4919-4945
    92. A Foundational View on Integration Problems, Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen, 2011
      Intelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, J. Urban (eds.), pp. 107-122 , volume 6824 of Lecture Notes in Computer Science, Springer
      Slides
    93. Combining Source, Content, Presentation, Narration, and Relational Representation, Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe, 2011
      Intelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, J. Urban (eds.), pp. 212-227 , volume 6824 of Lecture Notes in Computer Science, Springer
    94. Project Abstract: Logic Atlas and Integrator (LATIN), Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, 2011
      Intelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, J. Urban (eds.), pp. 289-291 , volume 6824 of Lecture Notes in Computer Science, Springer
      Slides
    95. Extending OpenMath with Sequences, Fulya Horozal, Michael Kohlhase, Florian Rabe, 2011
      Intelligent Computer Mathematics, Work-in-Progress Proceedings, A. Asperti, J. Davenport, W. Farmer, F. Rabe, J. Urban (eds.), pp. 58-72 , volume UBLCS-2011-04 of Technical Report, University of Bologna, University of Bologna
    96. Translating the Mizar Mathematical Library into OMDoc format, Mihnea Iancu, Michael Kohlhase, Florian Rabe, 2011
      TechReport KWARC Report-01/11, Jacobs University Bremen
    97. Advice for PC Chairs, Florian Rabe, 2011
    98. A [insert XML Format] Database for [insert cool application], Vyacheslav Zholudev, Michael Kohlhase, Florian Rabe, 2010
      XMLPrague 2010 , Proceedings of XMLPrague, XMLPrague.cz
    99. Publishing Math Lecture Notes as Linked Data, Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Vyacheslav Zholudev, 2010
      The Semantic Web: Research and Applications, L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, T. Tudorache (eds.), pp. 370-375 , volume 6089 of Lecture Notes in Computer Science, Springer
    100. Towards MKM in the Large: Modular Representation and Scalable Software Architecture, Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev, 2010
      Intelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. Ion, L. Rideau, R. Rioboo, A. Sexton (eds.), pp. 370-384 , volume 6167 of Lecture Notes in Computer Science, Springer
      Slides
    101. Representing Isabelle in LF, Florian Rabe, 2010
      Logical Frameworks and Meta-languages: Theory and Practice, K. Crary, M. Miculan (eds.), pp. 85-100 , volume 34 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association
      Slides
    102. A Proof Theoretic Interpretation of Model Theoretic Hiding, Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, 2010
      Workshop on Algebraic Development Techniques
    103. Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram|Alpha, Catalin David, Christoph Lange, Florian Rabe, 2010
      CALCULEMUS (Emerging Trends), D. Delahaye, R. Rioboo (eds.), pp. 13-30 , Technical Reports of CEDRIC (CNAM/ENSIIE), Centre d'Étude et de Recherche en Informatique du CNAM (Cédric)
    104. JOBAD/MMT -- Interactive Mathematics, Catalin David, Michael Kohlhase, Christoph Lange, Florian Rabe, Vyacheslav Zholudev, 2010
      AI Mashup Challenge at ESWC, A. Giurca, B. Endres-Niggemeyer, Christoph Lange, L. Maicher, P. Hitzler (eds.)
    105. Structuring Theories with Partial Morphisms, Stefania Dumbrava, Florian Rabe, 2010
      Workshop on Algebraic Development Techniques
    106. Towards Logical Frameworks in the Heterogeneous Tool Set Hets, Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova, 2010
      Workshop on Algebraic Development Techniques
    107. Integrating Web Services into Active Mathematical Documents, Jana Gičeva, Christoph Lange, Florian Rabe, 2009
      Intelligent Computer Mathematics, J. Carette, L. Dixon, C. Sacerdoti Coen, S. Watt (eds.), pp. 279-293 , volume 5625 of Lecture Notes in Computer Science, Springer
    108. Kripke Semantics for Martin-Löf's Extensional Type Theory, Steve Awodey, Florian Rabe, 2009
      Typed Lambda Calculi and Applications (TLCA), P. Curien (eds.), pp. 249-263 , volume 5608 of Lecture Notes in Computer Science, Springer
    109. Translating a Dependently-Typed Logic to First-Order Logic, Kristina Sojakova, Florian Rabe, 2009
      Recent Trends in Algebraic Development Techniques, A. Corradini, U. Montanari (eds.), pp. 326-341 , volume 5486 of Lecture Notes in Computer Science, Springer
    110. A Practical Module System for LF, Florian Rabe, Carsten Schürmann, 2009
      Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice (LFMTP), J. Cheney, A. Felty (eds.), pp. 40-48 , volume LFMTP'09 of ACM International Conference Proceeding Series, ACM Press
      Slides
    111. Representing Model Theory in a Type-Theoretical Logical Framework, Fulya Horozal, Florian Rabe, 2009
      Fourth Workshop on Logical and Semantic Frameworks, with Applications, M. Ayala-Rincón, F. Kamareddine (eds.), pp. 49-65 , volume 256 of Electronic Notes in Theoretical Computer Science, Elsevier
    112. A Better Role System for OpenMath, Florian Rabe, Michael Kohlhase, 2009
      Proceedings of the OpenMath workshop
    113. Notations for Active Mathematical Documents, Michael Kohlhase, Christoph Lange, Christine Müller, Normen Müller, Florian Rabe, 2009
      TechReport 2009-1, Jacobs University Bremen
    114. Semantics of OpenMath and MathML 3, Michael Kohlhase, Florian Rabe, 2009
      Proceedings of the OpenMath workshop
    115. Representing Logics and Logic Translations, Florian Rabe, 2009
      Ausgezeichnete Informatikdissertationen 2008, D. Wagner et al. (eds.), pp. 201-210 , volume D-9 of Lecture Notes in Informatics, Gesellschaft für Informatik e.V. (GI)
      English title: Outstanding Dissertations in Computer Science 2008
    116. Notations for Living Mathematical Documents, Michael Kohlhase, Christine Müller, Florian Rabe, 2008
      Mathematical Knowledge Management, S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, F. Wiedijk (eds.), pp. 504-519 , volume 5144 of Lecture Notes in Computer Science, Springer
    117. THF0 -- The core of the TPTP Language for Higher-Order Logic, Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe, 2008
      4th International Joint Conference on Automated Reasoning, A. Armando, P. Baumgartner, G. Dowek (eds.), pp. 491-506 , volume 5195 of Lecture Notes in Computer Science, Springer
    118. An Exchange Format for Modular Knowledge, Florian Rabe, Michael Kohlhase, 2008
      Proceedings of the LPAR Workshops on Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics, G. Sutcliffe, P. Rudnicki, R. Schmidt, B. Konev, S. Schulz (eds.), pp. 50-68 , volume 418 of CEUR Workshop Proceedings, CEUR-WS.org
    119. Flyspeck in a Semantic Wiki, Christoph Lange, Sean McLaughlin, Florian Rabe, 2008
      Semantic Wiki Workshop, C. Lange, S. Schaffert, H. Skaf-Molli, M. Völkel (eds.), pp. 67-81 , volume 360 of CEUR Workshop Proceedings, CEUR-WS.org
    120. Evaluation of Systems for Higher-order Logic (ESHOL), Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe, 2008
      Workshop on Practical Aspects of Automated Reasoning at IJCAR 2008, B. Konev, R. Schmidt, S. Schulz (eds.), pp. 22-23 , volume 373 of CEUR Workshop Proceedings, CEUR-WS.org
    121. Translating Dependently-Typed Logic to First-Order Logic, Kristina Sojakova, Florian Rabe, 2008
      Workshop on Algebraic Development Techniques, A. Corradini, U. Montanari (eds.)
    122. Representing Logics and Logic Translations, Florian Rabe, 2008
      Ph.D. thesis, Jacobs University Bremen
    123. Representing Logics and Logic Translations (Summary), Florian Rabe, 2008
      Ph.D. thesis, Jacobs University Bremen
    124. An Institutional View on Categorical Logic, Joseph Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder, 2007
      International Journal of Software and Informatics, 1(1):129-152
    125. Solving the $100 Modal Logic Challenge, Florian Rabe, P. Pudlák, Geoff Sutcliffe, W. Shen, 2007
      Journal of Applied Logic, 7(1):113-130
    126. OMDoc Theory Graphs Revisited, Florian Rabe, 2007
      Proceedings of the OpenMath/JEM workshop
    127. Presenting Mathematical Content with Flexible Elisions, Michael Kohlhase, Christoph Lange, Florian Rabe, 2007
      Proceedings of the OpenMath/JEM workshop
    128. First-Order Logic with Dependent Types, Florian Rabe, 2006
      Automated Reasoning, N. Shankar, U. Furbach (eds.), pp. 377-391 , volume 4130 of Lecture Notes in Computer Science, Springer
    129. Towards Determining the Subset Relation between Propositional Modal Logics, Florian Rabe, 2006
      Proceedings of the FLoC 06 Workshop on Empirically Successful Computerized Reasoning, 3rd International Joint Conference on Automated Reasoning, G. Sutcliffe, R. Schmidt, S. Schulz (eds.), pp. 126-140 , volume 192 of CEUR Workshop Proceedings, CEUR-WS.org
    130. A Sequent Calculus for a First-order Dynamic Logic with Trace Modalities for Promela$^+$, Florian Rabe, Steffen Schlager, Peter Schmitt, 2005
      Short Paper Proceedings of the International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, pp. 21-27
    131. A Sequent Calculus for a First-order Dynamic Logic with Trace Modalities for Promela$^+$, Florian Rabe, Steffen Schlager, Peter Schmitt, 2005
      Proceedings of the 17th Nordic Workshop on Programming Theory
    132. A Dynamic Logic with Temporal Operators for Promela, Florian Rabe, 2004
      M.Sc. thesis, Universität Karlsruhe, Germany
  • As Inventor

    1. Retaining Dafny Specifications, T. Xiang, S. McLaughlin, M. Rapoport, N. Runga, M. Schlaipfer, Florian Rabe, 2024
      United States Patent, No. US 11,921,616 B1
  • As Editor

    1. LFMTP 2024: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice, Florian Rabe, Claudio Sacerdoti Coen, 2024
      volume 404 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association
    2. Workshop Papers at CICM 2018, O. Hasan, Florian Rabe, 19 others, 2019
      volume 2307 of null, CEUR-WS.org
    3. Intelligent Computer Mathematics, Florian Rabe, W. Farmer, G. Passmore, A. Youssef, 2018
      volume 11006 of Lecture Notes in Computer Science, Springer
    4. Intelligent Computer Mathematics, H. Geuvers, M. England, O. Hasan, Florian Rabe, O. Teschke, 2017
      volume 10383 of Lecture Notes in Computer Science, Springer
    5. LFMTP: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice, M. Miculan, Florian Rabe, 2017
      ACM International Conference Proceeding Series, ACM
    6. LFMTP: Work-in-Progress Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice, M. Miculan, Florian Rabe, 2017
      null, University of Udine, Department of Science, Mathematics, Computer Science, and Physics
    7. Intelligent Computer Mathematics, M. Kerber, J. Carette, C. Kaliszyk, Florian Rabe, V. Sorge, 2015
      volume 9150 of Lecture Notes in Computer Science, Springer
    8. Workshops and Work in Progress at CICM 2013, C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, Florian Rabe, P. Sojka, I. Whiteside, W. Windsteiger, 2013
      volume 1010 of CEUR Workshop Proceedings, CEUR-WS.org
    9. Intelligent Computer Mathematics, J. Davenport, W. Farmer, Florian Rabe, Josef Urban, 2011
      volume 6824 of Lecture Notes in Computer Science, Springer
    10. Intelligent Computer Mathematics, Work-in-Progress Proceedings, A. Asperti, J. Davenport, W. Farmer, Florian Rabe, Josef Urban, 2011
      volume UBLCS-2011-04 of Technical Reports of University of Bologna, University of Bologna
    11. LFMTP 2011 - MLPA 2011 Informal Proceedings, H. Geuvers, G. Nadathur, Florian Rabe, Carsten Schürmann, 2011
    12. MLPA '10: Proceedings of the 2nd Workshop on Modules and Libraries for Proof Assistants, Florian Rabe, Carsten Schürmann, 2010
    13. MLPA '09: Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants, Florian Rabe, Carsten Schürmann, 2009
      volume 429 of ACM International Conference Proceeding Series, ACM
  • As Reviewer

    1. Review of ``Reasoning in Simple Type Theory -- Festschrift in Honor of Peter B. Andrews on His 70th Birthday'', Florian Rabe, 2010
      Bulletin of Symbolic Logic, 16(3):409-411