Dan Rosen

Available identifiers

Publication	Date of Publication	Type
SAT Modulo Intuitionistic Implications	2016-01-12	Paper
TIP: Tools for Inductive Provers	2016-01-12	Paper
TIP: Tons of Inductive Problems	2015-11-20	Paper
HALO	2014-11-27	Paper
Hipster: Integrating Theory Exploration in a Proof Assistant	2014-08-07	Paper
Automating Inductive Proofs Using Theory Exploration	2013-06-14	Paper
Analytical methods for hedging systematic credit risk with linear factor portfolios	2009-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q3372281	2006-02-20	Paper
Managing risk with expected shortfall	2003-07-06	Paper
Credit risk optimization with conditional Value-at-Risk criterion	2002-10-10	Paper
The practice of portfolio replication. A practical overview of forward and inverse problems	1999-05-27	Paper
Best practice analysis of bank branches: An application of DEA in a large Canadian bank	1999-02-22	Paper
Applications of DEA to measure the efficiency of software production at two large Canadian banks	1997-12-02	Paper
The Continuation Approach: A General Framework for the Analysis and Evaluation of Singular and Near-Singular Integrals	1996-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4868407	1996-06-16	Paper
Singular and Near Singular Integrals in the BEM: A Global Approach	1993-06-29	Paper
Analysis and evaluation of singular integrals by the invariant imbedding approach	1993-03-31	Paper

This page was built for person: Dan Rosen