×

zbMATH — the first resource for mathematics

Rabe, Florian

Compute Distance To:
Author ID: rabe.florian Recent zbMATH articles by "Rabe, Florian"
Published as: Rabe, Florian
Homepage: https://kwarc.info/people/frabe/
External Links: MGP · ORCID · dblp
Documents Indexed: 63 Publications since 2006, including 4 Books

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 179 times in 75 Documents Cited by Year
A scalable module system. Zbl 1358.68283
Rabe, Florian; Kohlhase, Michael
26
2013
The MMT API: a generic MKM system. Zbl 1390.68626
Rabe, Florian
15
2013
The Mizar Mathematical Library in OMDoc: translation and applications. Zbl 1260.68375
Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef
12
2013
Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
12
2011
Formalising foundations of mathematics. Zbl 1242.03031
Iancu, Mihnea; Rabe, Florian
11
2011
A logical framework combining model and proof theory. Zbl 1326.03082
Rabe, Florian
9
2013
Representing model theory in a type-theoretical logical framework. Zbl 1236.03027
Horozal, Fulya; Rabe, Florian
7
2011
Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina
6
2012
A foundational view on integration problems. Zbl 1278.68289
Rabe, Florian; Kohlhase, Michael; Sacerdoti Coen, Claudio
6
2011
Towards MKM in the large: modular representation and scalable software architecture. Zbl 1278.68297
Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav
6
2010
Notations for living mathematical documents. Zbl 1166.00304
Kohlhase, Michael; Müller, Christine; Rabe, Florian
6
2008
THF0 – the core of the TPTP language for higher-order logic. Zbl 1165.68447
Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff
6
2008
How to identify, translate and combine logics? Zbl 1444.03121
Rabe, Florian
5
2017
Flexary operators for formalized mathematics. Zbl 1304.68171
Horozal, Fulya; Rabe, Florian; Kohlhase, Michael
5
2014
Extending MKM formats at the statement level. Zbl 1278.68293
Horozal, Fulya; Kohlhase, Michael; Rabe, Florian
5
2012
Integrating web services into active mathematical documents. Zbl 1247.68314
Giceva, Jana; Lange, Christoph; Rabe, Florian
5
2009
Generic literals. Zbl 1417.68216
Rabe, Florian
3
2015
Towards knowledge management for HOL Light. Zbl 1304.68158
Kaliszyk, Cezary; Rabe, Florian
3
2014
A query language for formal mathematical libraries. Zbl 1359.68272
Rabe, Florian
3
2012
Virtual theories – a uniform interface to mathematical knowledge bases. Zbl 07036055
Wiesing, Tom; Kohlhase, Michael; Rabe, Florian
2
2017
Classification of alignments between concepts of formal mathematical systems. Zbl 1367.68309
Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian
2
2017
Interoperability in the OpenDreamKit project: the math-in-the-middle approach. Zbl 1344.68268
Dehaye, Paul-Olivier; Iancu, Mihnea; Kohlhase, Michael; Konovalov, Alexander; Lelièvre, Samuel; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiéry, Nicolas M.; Wiesing, Tom
2
2016
Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015
Kerber, Manfred (ed.); Carette, Jacques (ed.); Kaliszyk, Cezary (ed.); Rabe, Florian (ed.); Sorge, Volker (ed.)
2
2015
Logical relations for a logical framework. Zbl 1353.68252
Rabe, Florian; Sojakova, Kristina
2
2013
A universal machine for biform theory graphs. Zbl 1278.68267
Kohlhase, Michael; Mance, Felix; Rabe, Florian
2
2013
Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1237.03007
Awodey, Steve; Rabe, Florian
2
2011
Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Zbl 1218.68014
Davenport, James H. (ed.); Farmer, William M. (ed.); Urban, Josef (ed.); Rabe, Florian (ed.)
2
2011
Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1246.03022
Awodey, Steve; Rabe, Florian
2
2009
First-order logic with dependent types. Zbl 1222.03016
Rabe, Florian
2
2006
QED reloaded: towards a pluralistic formal library of mathematical knowledge. Zbl 1451.68343
Kohlhase, Michael; Rabe, Florian
1
2016
The future of logic: foundation-independence. Zbl 1436.03179
Rabe, Florian
1
2016
Lax theory morphisms. Zbl 1367.03061
Rabe, Florian
1
2015
Compiling logics. Zbl 1394.68071
Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian
1
2013
Management of change in declarative languages. Zbl 1360.68809
Iancu, Mihnea; Rabe, Florian
1
2012
A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
1
2012
Representing model theory in a type-theoretical logical framework. Zbl 1291.03068
Horozal, Fulya; Rabe, Florian
1
2009
Solving the $100 modal logic challenge. Zbl 1161.03302
Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina
1
2009
How to identify, translate and combine logics? Zbl 1444.03121
Rabe, Florian
5
2017
Virtual theories – a uniform interface to mathematical knowledge bases. Zbl 07036055
Wiesing, Tom; Kohlhase, Michael; Rabe, Florian
2
2017
Classification of alignments between concepts of formal mathematical systems. Zbl 1367.68309
Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian
2
2017
Interoperability in the OpenDreamKit project: the math-in-the-middle approach. Zbl 1344.68268
Dehaye, Paul-Olivier; Iancu, Mihnea; Kohlhase, Michael; Konovalov, Alexander; Lelièvre, Samuel; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiéry, Nicolas M.; Wiesing, Tom
2
2016
QED reloaded: towards a pluralistic formal library of mathematical knowledge. Zbl 1451.68343
Kohlhase, Michael; Rabe, Florian
1
2016
The future of logic: foundation-independence. Zbl 1436.03179
Rabe, Florian
1
2016
Generic literals. Zbl 1417.68216
Rabe, Florian
3
2015
Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Zbl 1316.68015
Kerber, Manfred (ed.); Carette, Jacques (ed.); Kaliszyk, Cezary (ed.); Rabe, Florian (ed.); Sorge, Volker (ed.)
2
2015
Lax theory morphisms. Zbl 1367.03061
Rabe, Florian
1
2015
Flexary operators for formalized mathematics. Zbl 1304.68171
Horozal, Fulya; Rabe, Florian; Kohlhase, Michael
5
2014
Towards knowledge management for HOL Light. Zbl 1304.68158
Kaliszyk, Cezary; Rabe, Florian
3
2014
A scalable module system. Zbl 1358.68283
Rabe, Florian; Kohlhase, Michael
26
2013
The MMT API: a generic MKM system. Zbl 1390.68626
Rabe, Florian
15
2013
The Mizar Mathematical Library in OMDoc: translation and applications. Zbl 1260.68375
Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef
12
2013
A logical framework combining model and proof theory. Zbl 1326.03082
Rabe, Florian
9
2013
Logical relations for a logical framework. Zbl 1353.68252
Rabe, Florian; Sojakova, Kristina
2
2013
A universal machine for biform theory graphs. Zbl 1278.68267
Kohlhase, Michael; Mance, Felix; Rabe, Florian
2
2013
Compiling logics. Zbl 1394.68071
Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian
1
2013
Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina
6
2012
Extending MKM formats at the statement level. Zbl 1278.68293
Horozal, Fulya; Kohlhase, Michael; Rabe, Florian
5
2012
A query language for formal mathematical libraries. Zbl 1359.68272
Rabe, Florian
3
2012
Management of change in declarative languages. Zbl 1360.68809
Iancu, Mihnea; Rabe, Florian
1
2012
A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
1
2012
Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
12
2011
Formalising foundations of mathematics. Zbl 1242.03031
Iancu, Mihnea; Rabe, Florian
11
2011
Representing model theory in a type-theoretical logical framework. Zbl 1236.03027
Horozal, Fulya; Rabe, Florian
7
2011
A foundational view on integration problems. Zbl 1278.68289
Rabe, Florian; Kohlhase, Michael; Sacerdoti Coen, Claudio
6
2011
Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1237.03007
Awodey, Steve; Rabe, Florian
2
2011
Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Zbl 1218.68014
Davenport, James H. (ed.); Farmer, William M. (ed.); Urban, Josef (ed.); Rabe, Florian (ed.)
2
2011
Towards MKM in the large: modular representation and scalable software architecture. Zbl 1278.68297
Kohlhase, Michael; Rabe, Florian; Zholudev, Vyacheslav
6
2010
Integrating web services into active mathematical documents. Zbl 1247.68314
Giceva, Jana; Lange, Christoph; Rabe, Florian
5
2009
Kripke semantics for Martin-Löf’s extensional type theory. Zbl 1246.03022
Awodey, Steve; Rabe, Florian
2
2009
Representing model theory in a type-theoretical logical framework. Zbl 1291.03068
Horozal, Fulya; Rabe, Florian
1
2009
Solving the $100 modal logic challenge. Zbl 1161.03302
Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina
1
2009
Notations for living mathematical documents. Zbl 1166.00304
Kohlhase, Michael; Müller, Christine; Rabe, Florian
6
2008
THF0 – the core of the TPTP language for higher-order logic. Zbl 1165.68447
Benzmüller, Christoph; Rabe, Florian; Sutcliffe, Geoff
6
2008
First-order logic with dependent types. Zbl 1222.03016
Rabe, Florian
2
2006
all top 5

Cited by 102 Authors

24 Kohlhase, Michael
24 Rabe, Florian
8 Horozal, Fulya
6 Iancu, Mihnea
6 Kaliszyk, Cezary
5 Korniłowicz, Artur
5 Pąk, Karol
4 Benzmüller, Christoph Ewald
4 Farmer, William M.
4 Kohlhase, Andrea
4 Mossakowski, Till
4 Naumowicz, Adam
3 Carette, Jacques
3 Codescu, Mihai
3 Gauthier, Thibault
3 Grabowski, Adam
3 Müller, Dennis
3 Sacerdoti Coen, Claudio
3 Sutcliffe, Geoff
3 Wiesing, Tom
2 Bancerek, Grzegorz
2 Berčič, Katja
2 Byliński, Czesław
2 Foster, Simon
2 Guidi, Ferruccio
2 Jucovschi, Constantin
2 Lange, Christoph
2 Matuszewski, Roman
2 Sojakova, Kristina
2 Sperber, Wolfram
2 Urban, Josef
1 Adams, Robin
1 Alessi, Fabio
1 Awodey, Steve
1 Baumeister, Hubert
1 Bettaz, Mohamed
1 Brown, Chad Edward
1 Burel, Guillaume
1 Bury, Guillaume
1 Carter, Nathan C.
1 Cauderlier, Raphaël
1 Cave, Andrew
1 Chihani, Zakaria
1 Ciaffaglione, Alberto
1 Dehaye, Paul-Olivier
1 Delahaye, David
1 Di Gianantonio, Pietro
1 Diaconescu, Răzvan
1 Dundua, Besik
1 Elizarov, A. M.
1 Freitas, Leo
1 Fürsich, Michael
1 Futatsugi, Kokichi
1 Giceva, Jana
1 Ginev, Deyan
1 Halmagrand, Pierre
1 Hermant, Olivier
1 Honsell, Furio
1 Iacob, Alin
1 Jucovshi, Constantin
1 Kirillovich, Aleksandr Vital’evich
1 Konovalov, Alexander B.
1 Koprucki, Thomas
1 Kutsia, Temur
1 Lelièvre, Samuel
1 Lenisa, Marina
1 Lipachëv, E. K.
1 Lipton, James B.
1 Luo, Zhaohui
1 Maouche, Mourad
1 Marin, Mircea
1 Miller, Dale Allen
1 Monks, Kenneth G.
1 Mosteghanemi, M’hamed
1 Nevzorova, Ol’ga Avenirovna
1 Nieva, Susana
1 Ogata, Kazuhiro
1 Oripov, Akbar
1 Paulson, Lawrence Charles
1 Pawłowski, Wiesław
1 Pfeiffer, Markus
1 Pientka, Brigitte
1 Piliszek, Radosław
1 Pouliasis, Konstantinos
1 Primiero, Guiseppe
1 Renaud, Fabien
1 Riesco, Adrián
1 Sannella, Donald T.
1 Scagnetto, Ivan
1 Schefter, Jürgen
1 Solov’ëv, V. D.
1 Struth, Georg
1 Sultana, Nik
1 Tabelow, Karsten
1 Tarlecki, Andrzej
1 Tassi, Enrico
1 Teschke, Olaf
1 Theiss, Frank
1 Thiéry, Nicolas Marc
1 Vidali, Janoš
...and 2 more Authors

Citations by Year