Dan Rosen

MaRDI QIDQ206446zbMATH OpenFDO

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
SAT modulo intuitionistic implications Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
TIP: tools for inductive provers Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
TIP: tons of inductive problems Lecture Notes in Computer Science	2015-11-20	Paper
HALO, Haskell to logic through denotational semantics Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-11-27	Paper
Hipster: integrating theory exploration in a proof assistant Lecture Notes in Computer Science	2014-08-07	Paper
Automating Inductive Proofs Using Theory Exploration Automated Deduction – CADE-24	2013-06-14	Paper
Analytical methods for hedging systematic credit risk with linear factor portfolios Journal of Economic Dynamics and Control	2009-08-07	Paper
Scenario-based risk management tools	2006-02-20	Paper
Managing risk with expected shortfall	2003-07-06	Paper
Credit risk optimization with conditional Value-at-Risk criterion Mathematical Programming. Series A. Series B	2002-10-10	Paper
The practice of portfolio replication. A practical overview of forward and inverse problems Annals of Operations Research	1999-05-27	Paper
Best practice analysis of bank branches: An application of DEA in a large Canadian bank European Journal of Operational Research	1999-02-22	Paper
Applications of DEA to measure the efficiency of software production at two large Canadian banks Annals of Operations Research	1997-12-02	Paper
The Continuation Approach: A General Framework for the Analysis and Evaluation of Singular and Near-Singular Integrals SIAM Journal on Applied Mathematics	1996-06-30	Paper
scientific article; zbMATH DE number 852202 (Why is no real title available?)	1996-06-16	Paper
Singular and Near Singular Integrals in the BEM: A Global Approach SIAM Journal on Applied Mathematics	1993-06-29	Paper
Analysis and evaluation of singular integrals by the invariant imbedding approach International Journal for Numerical Methods in Engineering	1993-03-31	Paper

Research outcomes over time

This page was built for person: Dan Rosen