dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Inhye Kang Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee: Generating composite behavior of embedded software components based on UML behavioral model and process algebra. ACM SIGSOFT Software Engineering Notes 36(1): 1-9 (2011)
2010
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee: Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Industrial Informatics 6(4): 568-578 (2010)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInhye Kang, Hyogon Kim: Analysis of the Rate-Based Channel Access Prioritization for Drive-Thru Applications in the IEEE 802.11p WAVE. IEICE Transactions 93-B(6): 1605-1607 (2010)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee: UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. UCS 16(17): 2415-2434 (2010)
2008
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKyungsoo Lee, Sangki Yun, Inhye Kang, Hyogon Kim: Hop-by-Hop Frame Aggregation for VoIP on Multi-Hop Wireless Networks. ICC 2008: 2454-2459
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuhong Min, Jihun Ha, Sangki Yun, Inhye Kang, Hyogon Kim: Secure Vehicular Communication for Safety Applications - A Measurement Study. VTC Spring 2008: 3016-3020
2007
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSangki Yun, Hyogon Kim, Heejo Lee, Inhye Kang: 100+ VoIP Calls on 802.11b: The Power of Combining Voice Frame Aggregation and Uplink-Downlink Bandwidth Control in Wireless LANs. IEEE Journal on Selected Areas in Communications 25(4): 689-698 (2007)
2006
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIl-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang: Secrecy Analysis of Purchase Transaction in Electronic Purses. AINA (1) 2006: 979-984
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyogon Kim, Sangki Yun, Heejo Lee, Inhye Kang, Kyu-Young Choi: A Simple Congestion-Resilient Link Adaptation Algorithm for IEEE 802.11 WLANs. GLOBECOM 2006
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSangki Yun, Hyogon Kim, Heejo Lee, Inhye Kang: Improving VoIP Call Capacity of Multi-Hop Wireless Networks through Self-Controlled Frame Aggregation. VTC Fall 2006: 1-5
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyogon Kim, Heejo Lee, Sangmin Shin, Inhye Kang: On the Cross-Layer Impact of TCP ACK Thinning on IEEE 802.11 Wireless MAC Dynamics. VTC Fall 2006: 1-6
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSangki Yun, Hyogon Kim, Inhye Kang: Squeezing 100+ VoIP calls out of 802.11b WLANs. WOWMOM 2006: 308-314
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIl-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang: Formal Verification of Security Model Using SPR Tool. Computers and Artificial Intelligence 25(5): 353-368 (2006)
2005
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIl-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi: Model-Based Analysis of Money Accountability in Electronic Purses. WINE 2005: 346-355
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyogon Kim, Sangki Yun, Inhye Kang, Saewoong Bahk: Resolving 802.11 performance anomalies through QoS differentiation. IEEE Communications Letters 9(7): 655-657 (2005)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyogon Kim, Jin-Ho Kim, Inhye Kang, Saewoong Bahk: Preventing Session Table Explosion in Packet Inspection Computers. IEEE Trans. Computers 54(2): 238-240 (2005)
2004
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyogon Kim, Jin-Ho Kim, Saewoong Bahk, Inhye Kang: Fast Classification, Calibration, and Visualization of Network Attacks on Backbone Links. ICOIN 2004: 837-846
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyogon Kim, Inhye Kang, Saewoong Bahk: Real-time visualization of network attacks on high-speed links. IEEE Network 18(5): 30-39 (2004)
2003
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyogon Kim, Jaesung Heo, Lynn Choi, Inhye Kang, Sunil Kim: Taming Large Classifiers with Rule Reference Locality. ICOIN 2003: 928-937
2002
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHyogon Kim, Inhye Kang, Eenjun Hwang: Measurement-based multi-call voice frame grouping in Internet telephony. IEEE Communications Letters 6(5): 199-201 (2002)
2000
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMyung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang: Equivalence Checking of Two Statechart Specifications. IEEE International Workshop on Rapid System Prototyping 2000: 46-51
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInhye Kang, Insup Lee, Young-Si Kim: An Efficient State Space Generation for the Analysis of Real-Time Systems. IEEE Trans. Software Eng. 26(5): 453-477 (2000)
1999
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInhye Kang: TREAT: Timed REachability Analysis Tool. PDPTA 1999: 586-591
1996
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInhye Kang, Insup Lee: An Efficient State Space Generation for Analysis of Real-Time Systems. ISSTA 1996: 4-13

Coauthor Index

1Saewoong Bahk [7] [8] [9] [10]
2Ki-Seok Bang [4]
3Jin-Young Choi [4] [11] [12] [17] [21] [23] [24]
4Kyu-Young Choi [16]
5Lynn Choi [6]
6Jihun Ha [19]
7Keun-Hee Han [11]
8Jaesung Heo [6]
9Eenjun Hwang [5]
10Maxim O. Kalinin [12]
11Miyoung Kang [12]
12Hyogon Kim [5] [6] [7] [8] [9] [10] [13] [14] [15] [16] [18] [19] [20] [22]
13Hyun Seok Kim [17]
14Il-Gon Kim [11] [12] [17]
15Jin Hyun Kim [21] [23] [24]
16Jin-Ho Kim [8] [9]
17Sunil Kim [6]
18Young-Si Kim [3]
19Heejo Lee [14] [15] [16] [18]
20Insup Lee [1] [3] [21] [23] [24]
21Ji-Yeon Lee [11] [17]
22Kyungsoo Lee [20]
23Juhong Min [19]
24Young-Joo Moon [11]
25Myung-Hwan Park [4]
26Sangmin Shin [14]
27Sangki Yun [10] [13] [15] [16] [18] [19] [20]
28Dmitry P. Zegzhda [12]
29Peter D. Zegzhda [12]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page