A collection of publications and talks. The names of the entries either lead to a post containig more details or the PDFs/preprints.

Publications

  1. Mirco Giacobbe, Daniel Kroening, Julian Parsert
    Neural Termination Analysis
    to appear in ESEC/FSE 2022
    [ PDF | BibTeX | Publisher ]
  2. Stanisław Purgał, Julian Parsert, Cezary Kaliszyk
    A study of continuous vector representations for theorem proving
    Journal of Logic and Computation
    [ PDF | BibTeX | Publisher ]
  3. Julian Parsert, Stephanie Autherith and Cezary Kaliszyk
    Property Preserving Embedding of First-order Logic
    Global Conference on Artificial Intelligence (GCAI) 2020
    [ PDF | BibTeX | Publisher ]
  4. Yutaka Nagashima, Julian Parsert
    Goal-Oriented Conjecturing for Isabelle/HOL
    Conference on Intelligent Computer Mathematics (CICM) 2018
    [ PDF | BibTeX | Publisher ]
  5. Florian Meßner, Julian Parsert,
    Jonas Schöpf, and Christian Sternagel
    A Formally Verified Solver for
    Homogeneous Linear Diophantine Equations

    9th International Conference on Interactive Theorem Proving (ITP) 2018
    [ PDF | BibTeX | Publisher ]
  6. Julian Parsert, and Cezary Kaliszyk
    Towards Formal Foundations for Game Theory
    9th International Conference on Interactive Theorem Proving (ITP) 2018
    [ PDF | BibTeX | Publisher ]
  7. Julian Parsert, and Cezary Kaliszyk
    Formal Microeconomic Foundations and the First Welfare Theorem
    7th ACM Conference on Certified Programs and Proofs (CPP) 2018
    [ PDF | BibTeX | Publisher ]

Talks and Presentations

  1. Presentation at VINO2017 discussing research on Formal Microeconomic Foundations. [Slides]