Bruno Woltzenlogel Paleo

45 papers A* 1A 7B 2Misc 3Journal 18Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Gluon W: A Cryptocurrency Stabilization Protocol. IACR Cryptol. ePrint Arch. Bruno Woltzenlogel Paleo, Luca D'Angelo, Mohammad Shaheer, Giselle Reis
2023	—	`conf`	Stablecoins: Past, Present, and Future. FC Workshops Ali Nejadmalayeri, Leon Molchanovsky, Bruno Woltzenlogel Paleo, Rodney W. Prescott
2021	J	`jnl`	Lifting propositional proof compression algorithms to first-order logic. J. Log. Comput. Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
2020	—	`conf`	Partial Regularization of First-Order Resolution Proofs. GCAI Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
2019	J	`jnl`	Complexity of translations from resolution to sequent calculus. Math. Struct. Comput. Sci. Giselle Reis, Bruno Woltzenlogel Paleo
2019	J	`jnl`	Greedy pebbling for proof space compression. Int. J. Softw. Tools Technol. Transf. Andreas Fellner, Bruno Woltzenlogel Paleo
2018	J	`jnl`	Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. J. Autom. Reason. John K. Slaney, Bruno Woltzenlogel Paleo
2018	J	`jnl`	Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. J. Autom. Reason. John K. Slaney, Bruno Woltzenlogel Paleo
2018	J	`jnl`	Partial Regularization of First-Order Resolution Proofs. CoRR Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo
2018	—	`conf`	Sensala: a Dynamic Semantics System for Natural Language Processing. COLING (Demos) Daniyar Itegulov, Ekaterina Lebedeva, Bruno Woltzenlogel Paleo
2017	J	`jnl`	Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy. Logica Universalis Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel Paleo
2017	J	`jnl`	Epsilon Terms in Intuitionistic Sequent Calculus. FLAP Bruno Woltzenlogel Paleo, Giselle Reis
2017	J	`jnl`	NP-completeness of small conflict set generation for congruence closure. Formal Methods Syst. Des. Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo
2017	—	`ed.`	Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. PxTP Catherine Dubois, Bruno Woltzenlogel Paleo
2017	J	`jnl`	Reducing redundancy in cut-elimination by resolution. J. Log. Comput. Bruno Woltzenlogel Paleo
2017	A	`conf`	Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. CADE Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo
2017	J	`jnl`	Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. CoRR Daniyar Itegulov, John K. Slaney, Bruno Woltzenlogel Paleo
2017	J	`jnl`	Variants of Gödel's Ontological Proof in a Natural Deduction Calculus. Stud Logica Annika Kanckos, Bruno Woltzenlogel Paleo
2016	J	`jnl`	An Expressive Probabilistic Temporal Logic. CoRR Bruno Woltzenlogel Paleo
2016	J	`jnl`	Conflict Resolution: a First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. CoRR John K. Slaney, Bruno Woltzenlogel Paleo
2016	A*	`conf`	The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics. IJCAI Christoph Benzmüller, Bruno Woltzenlogel Paleo
2015	—	`conf`	Higher-Order Modal Logics: Automation and Applications. Reasoning Web Christoph Benzmüller, Bruno Woltzenlogel Paleo
2015	—	`conf`	Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic. Ershov Memorial Conference Bruno Woltzenlogel Paleo
2015	Misc	`conf`	Interacting with Modal Logics in the Coq Proof Assistant. CSR Christoph Benzmüller, Bruno Woltzenlogel Paleo
2015	A	`conf`	Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses. CADE Jan Gorzny, Bruno Woltzenlogel Paleo
2014	A	`conf`	Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers. ECAI Christoph Benzmüller, Bruno Woltzenlogel Paleo
2014	—	`conf`	On Logic Embeddings and Gödel's God. WADT Christoph Benzmüller, Bruno Woltzenlogel Paleo
2014	—	`ed.`	Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. UITP Christoph Benzmüller, Bruno Woltzenlogel Paleo
2014	A	`conf`	Skeptik: A Proof Compression System. IJCAR Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo
2013	B	`conf`	Compression of Propositional Resolution Proofs by Lowering Subproofs. TABLEAUX Joseph Boudou, Bruno Woltzenlogel Paleo
2013	Misc	`conf`	Contextual Natural Deduction. LFCS Bruno Woltzenlogel Paleo
2013	J	`jnl`	Formalization, Mechanization and Automation of Gödel's Proof of God's Existence. CoRR Christoph Benzmüller, Bruno Woltzenlogel Paleo
2013	J	`jnl`	Gödel's God in Isabelle/HOL. Arch. Formal Proofs Christoph Benzmueller, Bruno Woltzenlogel Paleo
2012	—	`conf`	PROOFTOOL: a GUI for the GAPT Framework. UITP Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
2012	J	`jnl`	Physics and proof theory. Appl. Math. Comput. Bruno Woltzenlogel Paleo
2012	—	`conf`	System Feature Description: Importing Refutations into the GAPT Framework. PxTP Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
2012	B	`conf`	Towards CERes in intuitionistic logic. CSL Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo
2011	A	`conf`	Compression of Propositional Resolution Proofs via Partial Regularization. CADE Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
2011	A	`conf`	Exploiting Symmetry in SMT Problems. CADE David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
2011	—	`conf`	Quantifier Inference Rules for SMT proofs. PxTP David Déharbe, Pascal Fontaine, Bruno Woltzenlogel Paleo
2010	—	`conf`	Atomic Cut Introduction by Resolution: Proof Structuring and Compression. LPAR (Dakar) Bruno Woltzenlogel Paleo
2010	A	`conf`	System Description: The Proof Transformation System CERES. IJCAR Tsvetan Dunchev, Alexander Leitsch, Tomer Libal, Daniel Weller, Bruno Woltzenlogel Paleo
2009	Misc	`conf`	A Clausal Approach to Proof Analysis in Second-Order Logic. LFCS Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
2008	—	`conf`	Herbrand Sequent Extraction. AISC/MKM/Calculemus Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
2008	—	`conf`	Transforming and Analyzing Proofs in the CERES-System. LPAR Workshops Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo