Eun-Hee Kim

Available identifiers

Publication	Date of Publication	Type
Repeated matching, career concerns, and firm size	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	2023-03-21	Paper
A design of GPU-based quantitative model checking	2021-10-18	Paper
Bounded Model Checking of Hybrid Systems for Control	2017-05-16	Paper
Semiparametric transformation models for multiple continuous biomarkers in ROC analysis	2016-01-21	Paper
Power calculation for comparing diagnostic accuracies in a multi‐reader, multi‐test design	2016-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4921679	2013-05-13	Paper
Strategic environmental disclosure: evidence from the DOE's voluntary greenhouse gas registry	2011-06-22	Paper
Diagnostic test for unstable autoregressive models	2007-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q3436246	2007-05-08	Paper
A test for independence of two stationary infinite order autoregressive processes	2006-03-09	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
ON THE CAUSALITY TEST IN TIME SERIES MODELS WITH HEAVY-TAILED DISTRIBUTION	2003-08-05	Paper

This page was built for person: Eun-Hee Kim