A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. - Jinho On; Jungrhan Choi; Moonkun Lee (FCS, 2008)

A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. - Jungrhan Choi; Jinho On; Moonkun Lee; Jin-Young Choi (NCM (1), 2008)

Onion: A Graphical Language for Process Algebra. - Jinho On (COMPSAC, 2011)

An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology. - Sujeong Woo; Jinho On; Moonkun Lee (COMPSAC, 2011)

A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems. - Jinho On; Sujeong Woo; Moonkun Lee (COMPSAC Workshops, 2012)

Behavior Ontology: A Framework to Detect Attack Patterns for Security. - Sujeong Woo; Jinho On; Moonkun Lee (AINA Workshops, 2013)

An Abstraction Method of Behaviors for Process Algebra. - Jinho On; Yeongbok Choe; Moonkun Lee (COMPSAC Workshops, 2013)

Dynamic Power Management for Heterogeneous Server Environments. - Baik Song An; Jinho On; Byunggyu Lee; Sumin Jang; Sungik Jun (ICTC, 2020)