Florian Rabe
Orcid: 0000-0003-3040-3655Affiliations:
- Friedrich Alexander University of Erlangen-Nuremberg, Erlangen, Germany
- Univerity of Paris-Sud, LRI, Orsay Cedex, France
- Jacobs University Bremen, School of Engineering and Science, Germany (PhD 2008)
According to our database1,
Florian Rabe
authored at least 91 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on kwarc.info
-
on github.com
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024
2023
Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401).
Dagstuhl Reports, 2023
CoRR, 2023
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
Proceedings of the Automated Deduction - CADE 29, 2023
2021
Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style.
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021
2020
CoRR, 2020
Proceedings of the Recent Trends in Algebraic Development Techniques, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020
2019
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019
CoRR, 2019
CoRR, 2019
Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation.
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019
2018
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2016
J. Formaliz. Reason., 2016
Proceedings of the Recent Trends in Algebraic Development Techniques, 2016
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016
Proceedings of the Joint Proceedings of the FM4M, 2016
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016
2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
2014
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
2013
Math. Struct. Comput. Sci., 2013
J. Autom. Reason., 2013
Proceedings of the Intelligent Computer Mathematics, 2013
Proceedings of the Intelligent Computer Mathematics, 2013
Proceedings of the Joint Proceedings of the MathUI, 2013
2012
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012
2011
Theor. Comput. Sci., 2011
Log. Methods Comput. Sci., 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011
2010
Proceedings of the Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010
Proceedings of the Semantic Web: Research and Applications, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
2009
Proceedings of the Intelligent Computer Mathematics, 2009
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009
2008
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), 2008
Proceedings of the LPAR 2008 Workshops, 2008
Repräsentation von Logiken und Logik-Übersetzungen [Representing Logics and Logic Translations].
Proceedings of the Ausgezeichnete Informatikdissertationen 2008, 2008
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
2007
2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006