All Stories

  1. Modeling and Computing Available Rights for Algorithmic Licensing of Movies based on Blockchain

    Article • December 2021, ACM (Association for Computing Machinery)

    Arnold Beckmann, João Santos

  2. Feasible set functions have small circuits

    Article • Computability, December 2018, IOS Press

    Arnold Beckmann, Samuel R Buss

  3. The NP Search Problems of Frege and Extended Frege Proofs

    Article • ACM Transactions on Computational Logic, April 2017, ACM (Association for Computing Machinery)

    Arnold Beckmann, Samuel R Buss

  4. SAFE RECURSIVE SET FUNCTIONS

    Article • Journal of Symbolic Logic, July 2015, Cambridge University Press

    Samuel R Buss, Arnold Beckmann