Eun-Hee Kim

Available identifiers

zbMath Open kim.eunheeMaRDI QIDQ545131

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eun-Hee Kim