Bruno Woltzenlogel Paleo

Cited by

	All	Since 2019
Citations	1307	537
h-index	19	12
i10-index	32	15

160

120

2004200520062007200820092010201120122013201420152016201720182019202020212022202320246 21 10 4 11 18 25 27 31 39 57 115 90 143 123 151 92 98 71 61 63

Public access

View all

24 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Christoph BenzmüllerProfessor for AI Systems Engineering, University of BambergVerified email at fu-berlin.de
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
David DeharbeCLEARSYVerified email at clearsy.com
Tomer LibalUniversity of LuxembourgVerified email at uni.lu
Giselle ReisCarnegie Mellon University - QatarVerified email at cmu.edu
John SlaneyProfessor of Computer Science, Australian National UniversityVerified email at anu.edu.au
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Joseph Boudoupostdoc, IRIT, Toulouse UniversityVerified email at irit.fr
Mikheil RukhaiaInstitute of Applied Mathematics, Tbilisi State UniversityVerified email at logic.at
Martin RienerTU WienVerified email at derivation.org
Leon Weber-GenzelUniversity of MunichVerified email at cis.lmu.de
Jan GorznyQuantstamp, IncVerified email at uwaterloo.ca
Dmytro KaidalovIOHK, Linnaeus University, Kharkiv National University of RadioelectronicsVerified email at iohk.io
James ChapmanIOG (IOHK)Verified email at iohk.io
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Michael Peyton JonesIOHKVerified email at michaelpj.com
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Oswaldo Duarte MirandaPesquisador Titular - Instituto Nacional de Pesquisas Espaciais - INPEVerified email at inpe.br
J C N de AraujoINPEVerified email at inpe.br

Bruno Woltzenlogel Paleo

Verified email at logic.at - Homepage

Logic Аutomated Reasoning Formal Methods Blockchain Cryptocurrency


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers C Benzmüller, B Woltzenlogel Paleo ECAI 2014, 93-98, 2014	117	2014
Automation of higher-order logic C Benzmüller, D Miller Handbook of the History of Logic 9, 215-254, 2014	87	2014
The inconsistency in Gödel's ontological argument: A success story for ai in metaphysics C Benzmüller, BW Paleo Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016	81	2016
Chimeric ledgers: Translating and unifying utxo-based and account-based cryptocurrencies J Zahnentferner Cryptology ePrint Archive, 2018	70	2018
The Brazilian spherical detector: progress and plans OD Aguiar, LA Andrade, JJ Barroso, L Camargo Filho, LA Carneiro, ... Classical and Quantum Gravity 21 (5), S457, 2004	64	2004
Exploiting symmetry in SMT problems D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo International Conference on Automated Deduction, 222-236, 2011	61	2011
Herbrand sequent extraction S Hetzl, A Leitsch, D Weller, B Woltzenlogel Paleo Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008	51	2008
Computer-assisted analysis of the Anderson–Hájek ontological controversy C Benzmüller, L Weber, B Woltzenlogel Paleo Logica Universalis 11 (1), 139-151, 2017	50	2017
The Brazilian gravitational wave detector Mario Schenberg: progress and plans OD Aguiar, LA Andrade, JJ Barroso, F Bortoli, LA Carneiro, PJ Castro, ... Classical and Quantum Gravity 22 (10), S209, 2005	49	2005
Interacting with modal logics in the coq proof assistant C Benzmüller, B Woltzenlogel Paleo International Computer Science Symposium in Russia, 398-411, 2015	40	2015
Compression of propositional resolution proofs via partial regularization P Fontaine, S Merz, B Woltzenlogel Paleo Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011	35	2011
Higher-order modal logics: Automation and applications C Benzmüller, B Woltzenlogel Paleo Reasoning Web International Summer School, 32-74, 2015	32	2015
Gödel’s God in Isabelle/HOL C Benzmüller, BW Paleo Archive of Formal Proofs 2013, 2013	29	2013
Atomic cut introduction by resolution: Proof structuring and compression B Woltzenlogel Paleo International Conference on Logic for Programming Artificial Intelligence …, 2010	26	2010
Quantifier Inference Rules for SMT proofs D Deharbe, P Fontaine, BW Paleo PxTP 2011: First International Workshop on Proof eXchange for Theorem …, 2011	25	2011
ProofTool: GUI for the GAPT Framework C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ... User Interfaces for Theorem Provers, 2012	22	2012
An approximate gazetteer for GATE based on levenshtein distance BW Paleo Twelfth ESSLLI Student Session, 197, 2007	22	2007
Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning J Slaney, B Woltzenlogel Paleo Journal of Automated Reasoning 60, 133-156, 2018	21	2018
Formalization, Mechanization and Automation of G\" odel's Proof of God's Existence C Benzmüller, BW Paleo arXiv preprint arXiv:1308.4526, 2013	21	2013
Compression of propositional resolution proofs by lowering subproofs J Boudou, B Woltzenlogel Paleo International Conference on Automated Reasoning with Analytic Tableaux and …, 2013	19	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors