Eun-Hee Kim

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
Repeated matching, career concerns, and firm size Journal of Economics	2024-05-30	Paper
A bounded model checking technique for discrete-time nonlinear systems	2024-05-29	Paper
Quantitative Model Checking for a Controller Design Model Checking Software	2023-03-21	Paper
A design of GPU-based quantitative model checking	2021-10-18	Paper
Bounded Model Checking of Hybrid Systems for Control IEEE Transactions on Automatic Control	2017-05-16	Paper
Semiparametric transformation models for multiple continuous biomarkers in ROC analysis Biometrical Journal	2016-01-21	Paper
Power calculation for comparing diagnostic accuracies in a multi-reader, multi-test design Biometrics	2016-01-21	Paper
scientific article; zbMATH DE number 6162357 (Why is no real title available?)	2013-05-13	Paper
Strategic environmental disclosure: evidence from the DOE's voluntary greenhouse gas registry Journal of Environmental Economics and Management	2011-06-22	Paper
Diagnostic test for unstable autoregressive models Statistics	2007-09-03	Paper
AG-NC: an automatic generation technique of network components for dynamic network management	2007-05-08	Paper
A test for independence of two stationary infinite order autoregressive processes Annals of the Institute of Statistical Mathematics	2006-03-09	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2005-12-02	Paper
ON THE CAUSALITY TEST IN TIME SERIES MODELS WITH HEAVY-TAILED DISTRIBUTION Communications in Statistics. Simulation and Computation	2003-08-05	Paper

Research outcomes over time

This page was built for person: Eun-Hee Kim