Daniel Weller
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Content-Aware Enhancement of Images With Filamentous Structures IEEE Transactions on Image Processing | 2019-10-28 | Paper |
| Expansion trees with cut Mathematical Structures in Computer Science | 2019-10-09 | Paper |
| On the generation of quantified lemmas Journal of Automated Reasoning | 2019-05-31 | Paper |
| Comparison-Based Image Quality Assessment for Selecting Image Restoration Parameters IEEE Transactions on Image Processing | 2019-02-04 | Paper |
| On the Estimation of Nonrandom Signal Coefficients From Jittered Samples IEEE Transactions on Signal Processing | 2018-07-18 | Paper |
| Bayesian Post-Processing Methods for Jitter Mitigation in Sampling IEEE Transactions on Signal Processing | 2018-07-18 | Paper |
| CERES for first-order schemata Journal Of Logic And Computation | 2018-02-13 | Paper |
| Boolean unification with predicates Journal Of Logic And Computation | 2017-05-17 | Paper |
| Cut-elimination and proof schemata Logic, Language, and Computation | 2015-12-03 | Paper |
| Introducing quantified cuts in logic with equality Automated Reasoning | 2014-09-26 | Paper |
| Algorithmic introduction of quantified cuts Theoretical Computer Science | 2014-08-27 | Paper |
| Expansion Trees with Cut | 2013-08-02 | Paper |
| On the complexity of proof deskolemization The Journal of Symbolic Logic | 2012-06-19 | Paper |
| Towards Algorithmic Cut-Introduction Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
| On the elimination of quantifier-free cuts Theoretical Computer Science | 2011-12-07 | Paper |
| CERES in higher-order logic Annals of Pure and Applied Logic | 2011-09-22 | Paper |
| System Description: The Proof Transformation System CERES Automated Reasoning | 2010-09-14 | Paper |
| A Clausal Approach to Proof Analysis in Second-Order Logic Logical Foundations of Computer Science | 2009-02-24 | Paper |
| Herbrand Sequent Extraction Lecture Notes in Computer Science | 2009-01-27 | Paper |
Research outcomes over time
This page was built for person: Daniel Weller
