3 papers:
DUXU-DI-2014-ShinKKJS #design #game studies #interactive #process- A New Design Process for Viewer Participation in Interactive TV Program: Focused on the Interactive TV Game Show Hae-un-dae (JS, HJK, JIK, BGJ, CS), pp. 763–772.
DAC-2012-AadithyaR #abstraction #automation #automaton #generative #logic #named- DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.
CASE-2006-SunZF #convergence #parallel- Convergence of parallel dynamic iteration methods for nonlinear DAEs of index-2 (WS, JHZ, XGF), pp. 129–133.
