Arnold Beckmann

75 papers A* 2B 7C 8Journal 52Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Access Hoare Logic.
CoRR
Arnold Beckmann, Anton Setzer
2025 C ed.
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations - 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
CiE
Arnold Beckmann, Isabel Oitavem, Florin Manea
2025 J jnl
On Proving Consistency of Equational Theories in Bounded Arithmetic.
J. Symb. Log.
Arnold Beckmann, Yoriyuki Yamagata
2024 J jnl
InPerpetuity{Challenging Misperceptions of the Term 'Smart Contract'}.
Eur. J. Law Technol.
Monica Vessio, Arnold Beckmann, Matt J. Roach, Severine Saintier, Rhys Clements, Anton Setzer
2024 B conf
On Complexity of Confluence and Church-Rosser Proofs.
MFCS
Arnold Beckmann, Georg Moser
2023 — conf
Towards an Ontological Framework for Integrating Domain Expert Knowledge with Random Forest Classification.
ICSC
Sadeer Beden, Arnold Beckmann
2022 J jnl
A core reference ontology for steelmaking process knowledge modelling and information management.
Comput. Ind.
Qiushi Cao, Sadeer Beden, Arnold Beckmann
2022 B conf
Data modelling and Remaining Useful Life estimation of rolls in a steel making cold rolling process.
KES
Kayal Lakshmanan, Eugenio Borghini, Arnold Beckmann, Cameron Pleydell-Pearce, Cinzia Giannetti
2022 J jnl
KSPMI: A Knowledge-based System for Predictive Maintenance in Industry 4.0.
Robotics Comput. Integr. Manuf.
Qiushi Cao, Cecilia Zanni-Merk, Ahmed Samet, Christoph Reich, François de Bertrand de Beuvron, Arnold Beckmann, Cinzia Giannetti
2022 J jnl
On proving consistency of equational theories in Bounded Arithmetic.
CoRR
Arnold Beckmann, Yoriyuki Yamagata
2022 J jnl
Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control.
CoRR
Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer
2021 — conf
Modeling and Computing Available Rights for Algorithmic Licensing of Movies based on Blockchain.
ICFNDS
Arnold Beckmann, João Santos, Indirajith Vijai Ananth
2021 J jnl
SCRO: A Domain Ontology for Describing Steel Cold Rolling Processes towards Industry 4.0.
Inf.
Sadeer Beden, Qiushi Cao, Arnold Beckmann
2021 — conf
Semantic Asset Administration Shells in Industry 4.0: A Survey.
ICPS
Sadeer Beden, Qiushi Cao, Arnold Beckmann
2021 — conf
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control.
TYPES
Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer
2020 J jnl
Cyber-Physical Trust Systems Driven by Blockchain.
IEEE Access
Alexander J. M. Milne, Arnold Beckmann, Pardeep Kumar
2019 J jnl
Feasible set functions have small circuits.
Comput.
Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen
2019 J jnl
On transformations of constant depth propositional proofs.
Ann. Pure Appl. Log.
Arnold Beckmann, Sam Buss
2018 J jnl
Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning.
J. Log. Comput.
Arnold Beckmann, Norbert Preining
2017 J jnl
Deciding logics of linear Kripke frames with scattered end pieces.
Soft Comput.
Arnold Beckmann, Norbert Preining
2017 J jnl
The NP Search Problems of Frege and Extended Frege Proofs.
ACM Trans. Comput. Log.
Arnold Beckmann, Sam Buss
2017 C conf
Total Search Problems in Bounded Arithmetic and Improved Witnessing.
WoLLIC
Arnold Beckmann, Jean-José Razafindrakoto
2016 J jnl
Cobham recursive set functions.
Ann. Pure Appl. Log.
Arnold Beckmann, Sam Buss, Sy-David Friedman, Moritz Müller, Neil Thapen
2016 C ed.
Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
CiE
Arnold Beckmann, Laurent Bienvenu, Natasa Jonoska
2015 C ed.
Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings
CiE
Arnold Beckmann, Victor Mitrana, Mariya Ivanova Soskova
2015 A* conf
Hyper Natural Deduction.
LICS
Arnold Beckmann, Norbert Preining
2015 J jnl
Safe Recursive Set Functions.
J. Symb. Log.
Arnold Beckmann, Samuel R. Buss, Sy-David Friedman
2015 J jnl
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences.
J. Log. Comput.
Arnold Beckmann, Norbert Preining
2014 J jnl
Improved witnessing and local improvement principles for second-order bounded arithmetic.
ACM Trans. Comput. Log.
Arnold Beckmann, Samuel R. Buss
2014 C ed.
Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings
CiE
Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer
2014 J jnl
Parity Games and Propositional Proofs.
ACM Trans. Comput. Log.
Arnold Beckmann, Pavel Pudlák, Neil Thapen
2013 J jnl
Computability in Europe 2009.
J. Log. Comput.
Klaus Ambos-Spies, Arnold Beckmann, Erzsébet Csuhaj-Varjú, Benedikt Löwe
2013 B conf
Parity Games and Propositional Proofs.
MFCS
Arnold Beckmann, Pavel Pudlák, Neil Thapen
2013 J jnl
Parity Games and Propositional Proofs.
Electron. Colloquium Comput. Complex.
Pavel Pudlák, Arnold Beckmann, Neil Thapen
2012 J jnl
Computability in Europe 2008.
J. Log. Comput.
Arnold Beckmann, Benedikt Löwe
2012 J jnl
Computability in Europe 2009.
Ann. Pure Appl. Log.
Klaus Ambos-Spies, Arnold Beckmann, Samuel R. Buss, Benedikt Löwe
2012 J jnl
Computability in Europe 2009.
Theory Comput. Syst.
Arnold Beckmann, Wolfgang Merkle, Benedikt Löwe
2012 — conf
Using Domain Specific Languages to Support Verification in the Railway Domain.
Haifa Verification Conference
Phillip James, Arnold Beckmann, Markus Roggenbach
2011 J jnl
Computability in Europe 2008.
Theory Comput. Syst.
Arnold Beckmann, Benedikt Löwe
2011 J jnl
Corrected upper bounds for free-cut elimination.
Theor. Comput. Sci.
Arnold Beckmann, Samuel R. Buss
2010 J jnl
Computability in Europe 2008.
Arch. Math. Log.
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
2010 J jnl
On the computational complexity of cut-reduction.
Ann. Pure Appl. Log.
Klaus Aehlig, Arnold Beckmann
2009 C conf
A Characterisation of Definable NP Search Problems in Peano Arithmetic.
WoLLIC
Arnold Beckmann
2009 J jnl
Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic.
J. Math. Log.
Arnold Beckmann, Samuel R. Buss
2008 J jnl
Computability in Europe 2006.
Theory Comput. Syst.
Arnold Beckmann, Benedikt Löwe
2008 J jnl
Continuous Fraïssé Conjecture.
Order
Arnold Beckmann, Martin Goldstern, Norbert Preining
2008 J jnl
From Gödel to Einstein: Computability between logic and physics at CiE 2006.
Theor. Comput. Sci.
Arnold Beckmann, Edwin J. Beggs, Benedikt Löwe
2008 C ed.
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings
CiE
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
2008 — conf
On the Complexity of Parity Games.
BCS Int. Acad. Conf.
Arnold Beckmann, Faron Moller
2008 A* conf
On the Computational Complexity of Cut-Reduction.
LICS
Klaus Aehlig, Arnold Beckmann
2007 J jnl
Linear Kripke frames and Gödel logics.
J. Symb. Log.
Arnold Beckmann, Norbert Preining
2007 J jnl
Logical Approaches to Computational Barriers: CiE 2006.
J. Log. Comput.
Arnold Beckmann, Benedikt Löwe, Dag Normann
2007 J jnl
On the computational complexity of cut-reduction
CoRR
Klaus Aehlig, Arnold Beckmann
2007 B conf
Proofs, Programs and Abstract Complexity.
CSL
Arnold Beckmann
2007 B conf
Propositional Logic for Circuit Classes.
CSL
Klaus Aehlig, Arnold Beckmann
2006 C ed.
Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
CiE
Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
2005 J jnl
An unexpected separation result in Linearly Bounded Arithmetic.
Math. Log. Q.
Arnold Beckmann, Jan Johannsen
2005 J jnl
Preface.
Ann. Pure Appl. Log.
Arnold Beckmann, Jeremy Avigad, Georg Moser
2005 J jnl
Separation results for the size of constant-depth propositional proofs.
Ann. Pure Appl. Log.
Arnold Beckmann, Samuel R. Buss
2005 J jnl
Uniform Proof Complexity.
J. Log. Comput.
Arnold Beckmann
2004 J jnl
Preservation theorems and restricted consistency statements in bounded arithmetic.
Ann. Pure Appl. Log.
Arnold Beckmann
2003 J jnl
Dynamic ordinal analysis.
Arch. Math. Log.
Arnold Beckmann
2003 J jnl
Erratum to "Ordinal notations and well-orderings in bounded arithmetic" [Annals of Pure and Applied Logic 120 (2003) 197-223].
Ann. Pure Appl. Log.
Arnold Beckmann, Samuel R. Buss, Chris Pollett
2003 J jnl
Height restricted constant depth LK
Electron. Colloquium Comput. Complex.
Arnold Beckmann
2003 J jnl
Ordinal notations and well-orderings in bounded arithmetic.
Ann. Pure Appl. Log.
Arnold Beckmann, Chris Pollett, Samuel R. Buss
2002 B conf
A Note on Universal Measures for Weak Implicit Computational Complexity.
LPAR
Arnold Beckmann
2002 J jnl
A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets.
Arch. Math. Log.
Arnold Beckmann
2002 J jnl
Notations for exponentiation.
Theor. Comput. Sci.
Arnold Beckmann
2002 J jnl
Proving Consistency of Equational Theories in Bounded Arithmetic.
J. Symb. Log.
Arnold Beckmann
2002 B conf
Resolution Refutations and Propositional Proofs with Height-Restrictions.
CSL
Arnold Beckmann
2001 J jnl
Exact Bounds for Lengths of Reductions in Typed lambda-Calculus.
J. Symb. Log.
Arnold Beckmann
2000 J jnl
Analyzing Gödel's
Math. Log. Q.
Arnold Beckmann, Andreas Weiermann
2000 J jnl
Characterizing the elementary recursive functions by a fragment of Gödel's T.
Arch. Math. Log.
Arnold Beckmann, Andreas Weiermann
1998 J jnl
Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory.
Ann. Pure Appl. Log.
Arnold Beckmann, Wolfram Pohlers
1996 J jnl
A term rewriting characterization of the polytime functions and related complexity classes.
Arch. Math. Log.
Arnold Beckmann, Andreas Weiermann