Benjamin F Jones

pixel art Ben

Contact

Papers

  • New Language for Unified Verification and Implementation for Distributed Avionics Published online October 17, 2018. doi: https://arc.aiaa.org/doi/abs/10.2514/1.I010598 [Full Text]
  • Modular Model-Checking of a Byzantine Fault-Tolerant Protocol NASA Formal Methods 2017, Lecture Notes in Computer Science book series (LNCS, volume 10227). DOI: 10.1007/978-3-319-57288-8. [Full Text]
  • Bounded Integer Linear Constraint Solving via Lattice Search 13th International Workshop on Satisfiability Modulo Theories. [Full Text] [Local Full Text]
  • On the Structure of Involutions and Symmetric Spaces of Dihedral Groups, Note Mat. 34 (2014) no. 2, 23–40, DOI 10.1285/i15900932v34n2p23 [Full Text] [Preprint]
  • On the Support Varieties of Demazure Modules J. Aust. Math. Soc. *91* (2011), 343-363, arxiv
  • First cohomology for finite groups of Lie type: simple modules with small dominant weights Trans. Amer. Math Soc. 365 (2013), 1025-1050, arxiv
  • Normality of orbit closures in the enhanced nilpotent cone Nagoya Math. J. *203* (2011), 1--45, arxiv
  • Singular Chern Classes of Schubert Varieties via Small Resolution Int. Math. Res. Notices *8* (2010) 1371--1416, doi
  • An analog of Kostant's theorem for the cohomology of quantum groups Proc. Amer. Math. Soc. *138* (2010), 85--99 pdf

Software

  • LIMA: A language for integrated modeling and analysis; see the paper "A Language for Unified Verification and Implementation for Distributed Avionics" for more details! source
  • BLT: A lattice-based (bounded) integer linear programming solver; see the paper "Bounded Integer Linear Constraint Solving via Lattice Search" above for details! source
  • language-sal: a SAL model generator in Haskell; source
  • fpga-tunes: a week long FPGA audio synthesis project; source code and design
  • iHaskell Notebook: the start of a notebook interface to GHC; source
  • FiveUI: a user interface consistency checker; source
  • Sagemath: an open source computer algebra system. contributors, my contributions
  • Computational Mathematics Projects: various math programming projects in support of papers; source