Bruno Woltzenlogel Paleo

Cited by

	All	Since 2018
Citations	1235	590
h-index	19	13
i10-index	31	17

160

120

200420052006200720082009201020112012201320142015201620172018201920202021202220236 20 10 3 13 18 24 26 30 40 61 114 92 140 122 151 89 100 77 50

Public access

View all

22 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
Joachim ZahnentfernerVerified email at iohk.io
Pascal FontaineLORIA, INRIA, Université de Lorraine, Nancy, FranceVerified email at loria.fr
Stephan MerzSenior Researcher, INRIAVerified email at inria.fr
Tomer LibalUniversity of LuxembourgVerified email at uni.lu
David DeharbeCLEARSYVerified email at clearsy.com
Giselle ReisCarnegie Mellon University - QatarVerified email at cmu.edu
Joseph Boudoupostdoc, IRIT, Toulouse UniversityVerified email at irit.fr
John SlaneyProfessor of Computer Science, Australian National UniversityVerified email at anu.edu.au
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.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 ChapmanIOGVerified email at iohk.io
Philip WadlerUniversity of Edinburgh and IOHKVerified 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

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, BW Paleo ECAI 263, 93-98, 2014	111	2014
Automation of Higher-Order Logic. C Benzmüller, D Miller Computational Logic 9, 215-254, 2014	86	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	75	2016
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	63	2004
Chimeric ledgers: Translating and unifying utxo-based and account-based cryptocurrencies J Zahnentferner Cryptology ePrint Archive, 2018	61	2018
Exploiting symmetry in SMT problems D Déharbe, P Fontaine, S Merz, B Woltzenlogel Paleo Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011	55	2011
Herbrand sequent extraction S Hetzl, A Leitsch, D Weller, B Woltzenlogel Paleo Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008	50	2008
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	50	2005
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	49	2017
Interacting with modal logics in the coq proof assistant C Benzmüller, B Woltzenlogel Paleo Computer Science--Theory and Applications: 10th International Computer …, 2015	37	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	31	2015
Gödel’s God in Isabelle/HOL C Benzmüller, BW Paleo Archive of Formal Proofs 2013, 2013	27	2013
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
Atomic cut introduction by resolution: Proof structuring and compression B Woltzenlogel Paleo International Conference on Logic for Programming Artificial Intelligence …, 2010	25	2010
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	21	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	19	2018
Compression of propositional resolution proofs by lowering subproofs J Boudou, B Woltzenlogel Paleo Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013	19	2013
Herbrand Sequent Extraction BW Paleo VDM Publishing, 2008	19	2008

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