Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Taisook Han
@article{DBLP:journals/tdsc/ParkKRWHX20,
author = {Sungjin Park and
Chung Hwan Kim and
Junghwan Rhee and
Jong{-}Jin Won and
Taisook Han and
Dongyan Xu},
title = {{CAFE:} {A} Virtualization-Based Approach to Protecting Sensitive
Cloud Application Logic Confidentiality},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {17},
number = {4},
pages = {883--897},
year = {2020},
url = {https://doi.org/10.1109/TDSC.2018.2817545},
doi = {10.1109/TDSC.2018.2817545},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/ParkKRWHX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/HwangH18,
author = {Joonhyung Hwang and
Taisook Han},
editor = {Jeffrey Todd McDonald and
S{\'{e}}bastien Bardin and
Natalia Stakhanova},
title = {Identifying Input-Dependent Jumps from Obfuscated Execution using
Dynamic Data Flow Graphs},
booktitle = {Proceedings of the 8th Software Security, Protection, and Reverse
Engineering Workshop, San Juan, PR, USA, December 3-4, 2018},
pages = {3:1--3:12},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3289239.3291460},
doi = {10.1145/3289239.3291460},
timestamp = {Fri, 21 Dec 2018 08:48:34 +0100},
biburl = {https://dblp.org/rec/conf/acsac/HwangH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ParkWYKH16,
author = {Sungjin Park and
Jong{-}Jin Won and
Jae Nam Yoon and
Kyong Hoon Kim and
Taisook Han},
title = {A tiny hypervisor-based trusted geolocation framework with minimized
{TPM} operations},
journal = {J. Syst. Softw.},
volume = {122},
pages = {202--214},
year = {2016},
url = {https://doi.org/10.1016/j.jss.2016.09.026},
doi = {10.1016/J.JSS.2016.09.026},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ParkWYKH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KimPRWHX15,
author = {Chung Hwan Kim and
Sungjin Park and
Junghwan Rhee and
Jong{-}Jin Won and
Taisook Han and
Dongyan Xu},
editor = {Feng Bao and
Steven Miller and
Jianying Zhou and
Gail{-}Joon Ahn},
title = {{CAFE:} {A} Virtualization-Based Approach to Protecting Sensitive
Cloud Application Logic Confidentiality},
booktitle = {Proceedings of the 10th {ACM} Symposium on Information, Computer and
Communications Security, {ASIA} {CCS} '15, Singapore, April 14-17,
2015},
pages = {651--656},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2714576.2714594},
doi = {10.1145/2714576.2714594},
timestamp = {Thu, 20 Oct 2022 10:45:07 +0200},
biburl = {https://dblp.org/rec/conf/ccs/KimPRWHX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilecloud/ParkYKKH15,
author = {Sungjin Park and
Jae Nam Yoon and
Cheoloh Kang and
Kyong Hoon Kim and
Taisook Han},
title = {TGVisor: {A} Tiny Hypervisor-Based Trusted Geolocation Framework for
Mobile Cloud Clients},
booktitle = {3rd {IEEE} International Conference on Mobile Cloud Computing, Services,
and Engineering, MobileCloud 2015, San Francisco, CA, USA, March 30
- April 3, 2015},
pages = {99--108},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MobileCloud.2015.17},
doi = {10.1109/MOBILECLOUD.2015.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobilecloud/ParkYKKH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/YunKKCH13,
author = {Jeong{-}Han Yun and
Chul{-}Joo Kim and
Seonggun Kim and
Kwang{-}Moo Choe and
Taisook Han},
title = {Detection of harmful schizophrenic statements in esterel},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {3},
pages = {80:1--80:23},
year = {2013},
url = {https://doi.org/10.1145/2442116.2442130},
doi = {10.1145/2442116.2442130},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/YunKKCH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/LimH12,
author = {Hyun{-}il Lim and
Taisook Han},
title = {Analyzing Stack Flows to Compare Java Programs},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {95-D},
number = {2},
pages = {565--576},
year = {2012},
url = {https://doi.org/10.1587/transinf.E95.D.565},
doi = {10.1587/TRANSINF.E95.D.565},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/LimH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ParkLCH11,
author = {Heewan Park and
Hyun{-}il Lim and
Seokwoo Choi and
Taisook Han},
title = {Detecting Common Modules in Java Packages Based on Static Object Trace
Birthmark},
journal = {Comput. J.},
volume = {54},
number = {1},
pages = {108--124},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxp095},
doi = {10.1093/COMJNL/BXP095},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/ParkLCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KimYKCH10,
author = {Chul{-}Joo Kim and
Jeong{-}Han Yun and
Seonggun Kim and
Kwang{-}Moo Choe and
Taisook Han},
title = {Over-Approximated Control Flow Graph Construction on Pure Esterel},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {93-D},
number = {5},
pages = {985--993},
year = {2010},
url = {https://doi.org/10.1587/transinf.E93.D.985},
doi = {10.1587/TRANSINF.E93.D.985},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/KimYKCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/KangH09,
author = {Hyun{-}Goo Kang and
Taisook Han},
title = {A bottom-up pointer analysis using the update history},
journal = {Inf. Softw. Technol.},
volume = {51},
number = {4},
pages = {691--707},
year = {2009},
url = {https://doi.org/10.1016/j.infsof.2008.11.003},
doi = {10.1016/J.INFSOF.2008.11.003},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/KangH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/LimPCH09,
author = {Hyun{-}il Lim and
Heewan Park and
Seokwoo Choi and
Taisook Han},
title = {A method for detecting the theft of Java programs through analysis
of the control flow information},
journal = {Inf. Softw. Technol.},
volume = {51},
number = {9},
pages = {1338--1350},
year = {2009},
url = {https://doi.org/10.1016/j.infsof.2009.04.011},
doi = {10.1016/J.INFSOF.2009.04.011},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/LimPCH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ChoiPLH09,
author = {Seokwoo Choi and
Heewan Park and
Hyun{-}il Lim and
Taisook Han},
title = {A static {API} birthmark for Windows binary executables},
journal = {J. Syst. Softw.},
volume = {82},
number = {5},
pages = {862--873},
year = {2009},
url = {https://doi.org/10.1016/j.jss.2008.11.848},
doi = {10.1016/J.JSS.2008.11.848},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ChoiPLH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LimPCH09,
author = {Hyun{-}il Lim and
Heewan Park and
Seokwoo Choi and
Taisook Han},
editor = {Sheikh Iqbal Ahamed and
Elisa Bertino and
Carl K. Chang and
Vladimir Getov and
Lin Liu and
Ming Hua and
Rajesh Subramanyan},
title = {A Static Java Birthmark Based on Control Flow Edges},
booktitle = {Proceedings of the 33rd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 1},
pages = {413--420},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/COMPSAC.2009.62},
doi = {10.1109/COMPSAC.2009.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/LimPCH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/YunKSHC09,
author = {Jeong{-}Han Yun and
Chul{-}Joo Kim and
Sunae Seo and
Taisook Han and
Kwang{-}Moo Choe},
title = {Refining schizophrenia via graph reachability in Esterel},
booktitle = {7th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2009), July 13-15, 2009, Cambridge, Massachusetts,
{USA}},
pages = {18--27},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/MEMCOD.2009.5185374},
doi = {10.1109/MEMCOD.2009.5185374},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/YunKSHC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/LimPCH08,
author = {Hyun{-}il Lim and
Heewan Park and
Seokwoo Choi and
Taisook Han},
title = {Detecting Theft of Java Applications via a Static Birthmark Based
on Weighted Stack Patterns},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {91-D},
number = {9},
pages = {2323--2332},
year = {2008},
url = {https://doi.org/10.1093/ietisy/e91-d.9.2323},
doi = {10.1093/IETISY/E91-D.9.2323},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/LimPCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsec/ParkCLH08,
author = {Heewan Park and
Seokwoo Choi and
Hyun{-}il Lim and
Taisook Han},
editor = {Kanta Matsuura and
Eiichiro Fujisaki},
title = {Detecting Java Theft Based on Static {API} Trace Birthmark},
booktitle = {Advances in Information and Computer Security, Third International
Workshop on Security, {IWSEC} 2008, Kagawa, Japan, November 25-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5312},
pages = {121--135},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89598-5\_8},
doi = {10.1007/978-3-540-89598-5\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/iwsec/ParkCLH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SeoKKH07,
author = {Sunae Seo and
Youil Kim and
Hyun{-}Goo Kang and
Taisook Han},
title = {A Static Bug Detector for Uninitialized Field References in Java Programs},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {90-D},
number = {10},
pages = {1663--1671},
year = {2007},
url = {https://doi.org/10.1093/ietisy/e90-d.10.1663},
doi = {10.1093/IETISY/E90-D.10.1663},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SeoKKH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SeoYYH07,
author = {Sunae Seo and
Hongseok Yang and
Kwangkeun Yi and
Taisook Han},
title = {Goal-directed weakening of abstract interpretation results},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
pages = {39},
year = {2007},
url = {https://doi.org/10.1145/1286821.1286830},
doi = {10.1145/1286821.1286830},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SeoYYH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ChoiPLH07,
author = {Seokwoo Choi and
Heewan Park and
Hyun{-}il Lim and
Taisook Han},
editor = {Iliano Cervesato},
title = {A Static Birthmark of Binary Executables Based on {API} Call Structure},
booktitle = {Advances in Computer Science - {ASIAN} 2007. Computer and Network
Security, 12th Asian Computing Science Conference, Doha, Qatar, December
9-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4846},
pages = {2--16},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76929-3\_2},
doi = {10.1007/978-3-540-76929-3\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/ChoiPLH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jips/SonYKH06,
author = {Choonho Son and
Jeong{-}Han Yun and
Hyun{-}Goo Kang and
Taisook Han},
title = {Automatic Hardware/Software Interface Generation for Embedded System},
journal = {J. Inf. Process. Syst.},
volume = {2},
number = {3},
pages = {137--142},
year = {2006},
url = {https://doi.org/10.3745/jips.2006.2.3.137},
doi = {10.3745/JIPS.2006.2.3.137},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jips/SonYKH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/YunKSH06,
author = {Jeong{-}Han Yun and
Gunwoo Kim and
Choonho Son and
Taisook Han},
editor = {Edwin Hsing{-}Mean Sha and
Sung{-}Kook Han and
Cheng{-}Zhong Xu and
Moon{-}hae Kim and
Laurence Tianruo Yang and
Bin Xiao},
title = {Automatic Generation of Hardware/Software Interface with Product-Specific
Debugging Tools},
booktitle = {Embedded and Ubiquitous Computing, International Conference, {EUC}
2006, Seoul, Korea, August 1-4, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4096},
pages = {742--753},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11802167\_75},
doi = {10.1007/11802167\_75},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/euc/YunKSH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KangKHH05,
author = {Hyun{-}Goo Kang and
Youil Kim and
Taisook Han and
Hwansoo Han},
editor = {Kwangkeun Yi},
title = {A Path Sensitive Type System for Resource Usage Verification of {C}
Like Languages},
booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3780},
pages = {264--280},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575467\_18},
doi = {10.1007/11575467\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KangKHH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChoiH03,
author = {Kwanghoon Choi and
Taisook Han},
title = {A type system for the push-enter model},
journal = {Inf. Process. Lett.},
volume = {87},
number = {4},
pages = {205--211},
year = {2003},
url = {https://doi.org/10.1016/S0020-0190(03)00282-5},
doi = {10.1016/S0020-0190(03)00282-5},
timestamp = {Sat, 27 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChoiH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ChoiH01,
author = {Kwanghoon Choi and
Taisook Han},
title = {A Type System for the Push-Enter Model},
booktitle = {The Second Asian Workshop on Programming Languages and Systems, APLAS'01,
Korea Advanced Institute of Science and Technology, Daejeon, Korea,
December 17-18, 2001, Proceedings},
pages = {13--27},
year = {2001},
timestamp = {Sat, 27 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/ChoiH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ChoiLH01,
author = {Kwanghoon Choi and
Hyun{-}il Lim and
Taisook Han},
editor = {Herbert Kuchen and
Kazunori Ueda},
title = {Compiling Lazy Functional Programs Based on the Spineless Tagless
G-Machine for the Java Virtual Machine},
booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS}
2001, Tokyo, Japan, March 7-9, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2024},
pages = {92--107},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44716-4\_6},
doi = {10.1007/3-540-44716-4\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/ChoiLH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/AhnH00,
author = {Joonseon Ahn and
Taisook Han},
title = {An Analytical Method for Parallelization of Recursive Functions},
journal = {Parallel Process. Lett.},
volume = {10},
number = {1},
pages = {87--98},
year = {2000},
url = {https://doi.org/10.1142/S012962640000010X},
doi = {10.1142/S012962640000010X},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ppl/AhnH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/AhnH00a,
author = {Joonseon Ahn and
Taisook Han},
title = {An Analytical Method for Parallelization of Recursive Functions},
journal = {Parallel Process. Lett.},
volume = {10},
number = {4},
pages = {359--370},
year = {2000},
url = {https://doi.org/10.1142/S0129626400000330},
doi = {10.1142/S0129626400000330},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/AhnH00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/ParkH00,
author = {Sungwoo Park and
Taisook Han},
title = {Iterative inversion of fuzzified neural networks},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {8},
number = {3},
pages = {266--280},
year = {2000},
url = {https://doi.org/10.1109/91.855916},
doi = {10.1109/91.855916},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/ParkH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/KimHL99,
author = {Jeonghee Kim and
Taisook Han and
Suk Kyoon Lee},
editor = {Arbee L. P. Chen and
Frederick H. Lochovsky},
title = {Visualization of Path Expressions in a Virtual Object-Oriented Database
Query Language},
booktitle = {Database Systems for Advanced Applications, Proceedings of the Sixth
International Conference on Database Systems for Advanced Applications
(DASFAA), April 19-21, Hsinchu, Taiwan},
pages = {99--108},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/DASFAA.1999.765741},
doi = {10.1109/DASFAA.1999.765741},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dasfaa/KimHL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/WooH99,
author = {Gyun Woo and
Taisook Han},
editor = {Philip W. Trinder and
Greg Michaelson and
Hans{-}Wolfgang Loidl},
title = {ZG-machine: a Space-Efficient G-machine},
booktitle = {Selected papers from the 1st Scottish Functional Programming Workshop
(SFP99), University of Stirling, Bridge of Allan, Scotland, August
29th to September 1st, 1999},
series = {Trends in Functional Programming},
volume = {1},
pages = {106--115},
publisher = {Intellect},
year = {1999},
timestamp = {Wed, 22 Jan 2003 13:23:19 +0100},
biburl = {https://dblp.org/rec/conf/sfp/WooH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/KimH97,
author = {Seong{-}Pyo Kim and
Taisook Han},
title = {Fault-Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault
Regions},
journal = {Parallel Comput.},
volume = {23},
number = {13},
pages = {1937--1962},
year = {1997},
url = {https://doi.org/10.1016/S0167-8191(97)00093-8},
doi = {10.1016/S0167-8191(97)00093-8},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/KimH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vrml/ParkH97,
author = {Sungwoo Park and
Taisook Han},
editor = {Don Brutzman and
Rikk Carey and
Paul S. Strauss},
title = {Object-Oriented {VRML} for Multi-User Environments},
booktitle = {Proceedings of the Second Symposium on Virtual Reality Modeling Language,
{VRML} 1997, Monterey, California, USA, February 24-26, 1997},
pages = {25--32},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253437.253447},
doi = {10.1145/253437.253447},
timestamp = {Tue, 06 Nov 2018 16:59:38 +0100},
biburl = {https://dblp.org/rec/conf/vrml/ParkH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/JungCH94,
author = {Min{-}Soo Jung and
Kwang{-}Moo Choe and
Taisook Han},
title = {An Efficient Computation of Right Context for LR-Based Error Repair},
journal = {Inf. Process. Lett.},
volume = {49},
number = {2},
pages = {63--71},
year = {1994},
url = {https://doi.org/10.1016/0020-0190(94)90029-9},
doi = {10.1016/0020-0190(94)90029-9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/JungCH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChangCH93,
author = {Byeong{-}Mo Chang and
Kwang{-}Moo Choe and
Taisook Han},
title = {Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation},
journal = {Inf. Process. Lett.},
volume = {47},
number = {3},
pages = {149--157},
year = {1993},
url = {https://doi.org/10.1016/0020-0190(93)90239-6},
doi = {10.1016/0020-0190(93)90239-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChangCH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/YunCH93,
author = {In{-}Sig Yun and
Kwang{-}Moo Choe and
Taisook Han},
title = {Syntactic Error Repair Using Repair Patterns},
journal = {Inf. Process. Lett.},
volume = {47},
number = {4},
pages = {189--196},
year = {1993},
url = {https://doi.org/10.1016/0020-0190(93)90031-4},
doi = {10.1016/0020-0190(93)90031-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/YunCH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChangCH93a,
author = {Byeong{-}Mo Chang and
Kwang{-}Moo Choe and
Taisook Han},
title = {Static Filtering on Stratified Programs},
journal = {Inf. Process. Lett.},
volume = {47},
number = {5},
pages = {237--244},
year = {1993},
url = {https://doi.org/10.1016/0020-0190(93)90133-T},
doi = {10.1016/0020-0190(93)90133-T},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChangCH93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LeeCH93,
author = {DongGill Lee and
Kwang{-}Moo Choe and
Taisook Han},
title = {A Description of Dynamic Behavior for Compilers Based on Object Oriented
Modeling},
journal = {Inf. Process. Lett.},
volume = {48},
number = {4},
pages = {163--170},
year = {1993},
url = {https://doi.org/10.1016/0020-0190(93)90140-5},
doi = {10.1016/0020-0190(93)90140-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LeeCH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/KimCH92,
author = {Do{-}Hyung Kim and
Kwang{-}Moo Choe and
Taisook Han},
title = {Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism
in Logic Programs},
journal = {Parallel Process. Lett.},
volume = {2},
pages = {71--79},
year = {1992},
url = {https://doi.org/10.1142/S0129626492000192},
doi = {10.1142/S0129626492000192},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/KimCH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
