| Publication | Date of Publication | Type |
|---|
Strategic international asset allocation under a quadratic model with exchange rate and inflation-deflation risks
Decisions in Economics and Finance | 2026-01-16 | Paper |
Age-dependent robust strategic asset allocation with inflation-deflation hedging demand
Mathematics and Financial Economics | 2024-12-27 | Paper |
A term structure interest rate model with the Brownian bridge lower bound
Annals of Finance | 2024-10-31 | Paper |
| scientific article; zbMATH DE number 7799627 (Why is no real title available?) | 2024-02-05 | Paper |
Ground confluence and strong commutation modulo alpha-equivalence in nominal rewriting
Lecture Notes in Computer Science | 2023-07-28 | Paper |
Semi-analytical solution for consumption and investment problem under quadratic security market model with inflation risk
Mathematics and Financial Economics | 2022-07-15 | Paper |
| A proof method for local sufficient completeness of term rewriting systems | 2022-03-31 | Paper |
| Confluence and commutation for nominal rewriting systems with atom-variables | 2022-03-23 | Paper |
| Parallel closure theorem for left-linear nominal rewriting systems | 2018-01-04 | Paper |
| Confluence of orthogonal nominal rewriting systems revisited | 2017-07-12 | Paper |
| Proving strong normalisation via non-deterministic translations into Klop's extended lambda-calculus | 2017-02-02 | Paper |
Nominal confluence tool
Automated Reasoning | 2016-09-05 | Paper |
A Translation of Intersection and Union Types for the λμ-Calculus
Programming Languages and Systems | 2016-02-26 | Paper |
Correctness of Context-Moving Transformations for Term Rewriting Systems
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Call-by-name reduction and cut-elimination in classical logic
Annals of Pure and Applied Logic | 2008-04-24 | Paper |
Strong Normalisation of Cut-Elimination That Simulates β-Reduction
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
Logic Journal of the IGPL | 2008-01-14 | Paper |
Tree-Sequent Methods for Subintuitionistic Predicate Logics
Lecture Notes in Computer Science | 2008-01-04 | Paper |
Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
Lecture Notes in Computer Science | 2008-01-02 | Paper |
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
| scientific article; zbMATH DE number 2015295 (Why is no real title available?) | 2003-12-09 | Paper |
Sequent calculi for Visser's propositional logics
Notre Dame Journal of Formal Logic | 2003-10-13 | Paper |
A cut-free Gentzen formulation of basic propositional calculus
Journal of Logic, Language and Information | 2003-04-27 | Paper |
Dual-context sequent calculus and strict implication
Mathematical Logic Quarterly (MLQ) | 2002-07-22 | Paper |
