Sharon Kim

According to our database, Sharon Kim authored at least 3 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.

Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang

Int. J. Softw. Tools Technol. Transf., 2022

2021

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL.

Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba Ölveczky

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2004

Regional specificity of hippocampal volume reductions in first-episode schizophrenia.

Katherine L. Narr, Paul M. Thompson, Philip R. Szeszko, Delbert Robinson, Seon-Ah Jang, Roger P. Woods, Sharon Kim, Kiralee M. Hayashi, Dina Asunction, Arthur W. Toga, Robert M. Bilder

NeuroImage, 2004