| Year |
Citation |
Score |
| 2018 |
Kim JH, Kim KH, Easwaran A, Lee I. Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 37: 2869-2880. DOI: 10.1109/Tcad.2018.2858465 |
0.315 |
|
| 2018 |
Lee J, Ramanathan S, Phan K, Easwaran A, Shin I, Lee I. MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling Ieee Transactions On Computers. 67: 469-483. DOI: 10.1109/Tc.2017.2759765 |
0.554 |
|
| 2017 |
Lee J, Chwa HS, Phan LTX, Shin I, Lee I. MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling Acm Transactions in Embedded Computing Systems. 16: 163. DOI: 10.1145/3126498 |
0.534 |
|
| 2017 |
Pajic M, Weimer J, Bezzo N, Sokolsky O, Pappas GJ, Lee I. Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators Ieee Control Systems Magazine. 37: 66-81. DOI: 10.1109/Mcs.2016.2643239 |
0.301 |
|
| 2017 |
Park J, Lee I, Sokolsky O, Hwang DY, Ahn S, Choi J, Kang I. A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems The Journal of Logic and Algebraic Programming. 92: 1-18. DOI: 10.1016/J.Jlamp.2017.07.001 |
0.342 |
|
| 2016 |
Lee IC, Ko JW, Park SH, Lim JO, Shin IS, Moon C, Kim SH, Heo JD, Kim JC. Comparative toxicity and biodistribution of copper nanoparticles and cupric ions in rats. International Journal of Nanomedicine. 11: 2883-900. PMID 27366066 DOI: 10.2147/IJN.S106346 |
0.421 |
|
| 2016 |
Cho J, Kim D, Lee I, Chang J, Kang H. High-Intensity Interval Training Improves Whole Body Insulin Resistance Via The Hepatic AdipoR1 Mediated-Signaling Pathway: 1902 Board #54 June 2, 3: 30 PM - 5: 00 PM. Medicine and Science in Sports and Exercise. 48: 524. PMID 27360727 DOI: 10.1249/01.mss.0000486575.01979.a2 |
0.35 |
|
| 2016 |
Kim KH, Chang JS, Cha JH, Lee IJ, Kim DJ, Cho BC, Park KR, Lee CG. Optimal Adjuvant Treatment for Curatively Resected Thoracic Esophageal Squamous Cell Carcinoma: A Radiotherapy Perspective. Cancer Research and Treatment : Official Journal of Korean Cancer Association. PMID 27338033 DOI: 10.4143/crt.2016.142 |
0.352 |
|
| 2016 |
Lee IC, Lee SM, Ko JW, Park SH, Shin IS, Moon C, Kim SH, Kim JC. Role of mitogen-activated protein kinases and nuclear factor-kappa B in 1,3-dichloro-2-propanol-induced hepatic injury. Laboratory Animal Research. 32: 24-33. PMID 27051440 DOI: 10.5625/lar.2016.32.1.24 |
0.46 |
|
| 2016 |
Ko JW, Park JW, Shin NR, Kim JH, Cho YK, Shin DH, Kim JC, Lee IC, Oh SR, Ahn KS, Shin IS. Copper oxide nanoparticle induces inflammatory response and mucus production via MAPK signaling in human bronchial epithelial cells. Environmental Toxicology and Pharmacology. 43: 21-26. PMID 26934431 DOI: 10.1016/j.etap.2016.02.008 |
0.453 |
|
| 2016 |
Chang JH, Lee I, Choi MG, Han SW. Current diagnosis and treatment of benign biliary strictures after living donor liver transplantation. World Journal of Gastroenterology. 22: 1593-606. PMID 26819525 DOI: 10.3748/wjg.v22.i4.1593 |
0.39 |
|
| 2016 |
Kim JI, Kim YJ, Lemey P, Lee I, Park S, Bae JY, Kim D, Kim H, Jang SI, Yang JS, Kim H, Kim DW, Nam JG, Kim SS, Kim K, et al. The recent ancestry of Middle East respiratory syndrome coronavirus in Korea has been shaped by recombination. Scientific Reports. 6: 18825. PMID 26732651 DOI: 10.1038/srep18825 |
0.357 |
|
| 2016 |
Chen S, Sokolsky O, Weimer J, Lee I. Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study Journal of Computing Science and Engineering. 10: 75-84. DOI: 10.5626/Jcse.2016.10.3.75 |
0.304 |
|
| 2016 |
Lee J, Chwa HS, Easwaran A, Shin I, Lee I. Towards compositional mixed-criticality real-time scheduling in open systems: invited paper Acm Sigbed Review. 13: 49-51. DOI: 10.1145/2983185.2983193 |
0.535 |
|
| 2016 |
Kim JH, Legay A, Traonouez L, Boudjadar A, Nyman U, Larsen KG, Lee I, Choi J. Optimizing the resource requirements of hierarchical scheduling systems Acm Sigbed Review. 13: 41-48. DOI: 10.1145/2983185.2983192 |
0.306 |
|
| 2015 |
Park JW, Lee IC, Shin NR, Jeon CM, Kwon OK, Ko JW, Kim JC, Oh SR, Shin IS, Ahn KS. Copper oxide nanoparticles aggravate airway inflammation and mucus production in asthmatic mice via MAPK signaling. Nanotoxicology. 1-8. PMID 26472121 DOI: 10.3109/17435390.2015.1078851 |
0.439 |
|
| 2015 |
Lee SH, Park MS, Park BH, Jung WJ, Lee IS, Kim SY, Kim EY, Jung JY, Kang YA, Kim YS, Kim SK, Chang J, Chung KS. Prognostic Implications of Serum Lipid Metabolism over Time during Sepsis. Biomed Research International. 2015: 789298. PMID 26351639 DOI: 10.1155/2015/789298 |
0.36 |
|
| 2015 |
Lee IC, Ko JW, Lee SM, Kim SH, Shin IS, Moon OS, Yoon WK, Kim HC, Kim JC. Time-course and molecular mechanism of hepatotoxicity induced by 1,3-dichloro-2-propanol in rats. Environmental Toxicology and Pharmacology. 40: 191-198. PMID 26143167 DOI: 10.1016/j.etap.2015.06.011 |
0.461 |
|
| 2015 |
Kim SH, Lee IC, Ko JW, Moon C, Kim SH, Shin IS, Seo YW, Kim HC, Kim JC. Diallyl Disulfide Prevents Cyclophosphamide-Induced Hemorrhagic Cystitis in Rats through the Inhibition of Oxidative Damage, MAPKs, and NF-κB Pathways. Biomolecules & Therapeutics. 23: 180-8. PMID 25767687 DOI: 10.4062/biomolther.2014.126 |
0.456 |
|
| 2015 |
Lee IC, Chang JF. Label-free selection and enrichment of liver cancer stem cells by surface niches build up with polyelectrolyte multilayer films. Colloids and Surfaces. B, Biointerfaces. 125: 120-6. PMID 25461919 DOI: 10.1016/j.colsurfb.2014.11.026 |
0.362 |
|
| 2015 |
Shin IS, Shin NR, Park JW, Jeon CM, Hong JM, Kwon OK, Kim JS, Lee IC, Kim JC, Oh SR, Ahn KS. Melatonin attenuates neutrophil inflammation and mucus secretion in cigarette smoke-induced chronic obstructive pulmonary diseases via the suppression of Erk-Sp1 signaling. Journal of Pineal Research. 58: 50-60. PMID 25388990 DOI: 10.1111/jpi.12192 |
0.445 |
|
| 2015 |
Lee IC, Baek HS, Kim SH, Moon C, Park SH, Kim SH, Shin IS, Park SC, Kim JC. Effect of diallyl disulfide on acute gastric mucosal damage induced by alcohol in rats. Human & Experimental Toxicology. 34: 227-39. PMID 24972622 DOI: 10.1177/0960327114537095 |
0.444 |
|
| 2015 |
Xu M, Phan LTX, Sokolsky O, Xi S, Lu C, Gill C, Lee I. Cache-aware compositional analysis of real-time multicore virtualization platforms Real-Time Systems. DOI: 10.1007/S11241-015-9223-2 |
0.331 |
|
| 2014 |
Chang JH, Kim TH, Kim CW, Lee IS, Han SW. Size of recurrent symptomatic common bile duct stones and factors related to recurrence. The Turkish Journal of Gastroenterology : the Official Journal of Turkish Society of Gastroenterology. 25: 518-23. PMID 25417612 DOI: 10.5152/tjg.2014.6457 |
0.362 |
|
| 2014 |
Kim SH, Lee IC, Baek HS, Moon C, Kim SH, Yoo JC, Shin IS, Kim JC. Induction of cytochrome P450 3A1 expression by diallyl disulfide: protective effects against cyclophosphamide-induced embryo-fetal developmental toxicity. Food and Chemical Toxicology : An International Journal Published For the British Industrial Biological Research Association. 69: 312-9. PMID 24769015 DOI: 10.1016/j.fct.2014.04.024 |
0.451 |
|
| 2014 |
Shin IY, Sung NY, Lee YS, Kwon TS, Si Y, Lee YS, Oh ST, Lee IK. The expression of multiple proteins as prognostic factors in colorectal cancer: cathepsin D, p53, COX-2, epidermal growth factor receptor, C-erbB-2, and Ki-67. Gut and Liver. 8: 13-23. PMID 24516696 DOI: 10.5009/gnl.2014.8.1.13 |
0.443 |
|
| 2014 |
Kim SH, Lee IC, Baek HS, Shin IS, Moon C, Bae CS, Kim SH, Kim JC, Kim HC. Mechanism for the protective effect of diallyl disulfide against cyclophosphamide acute urotoxicity in rats. Food and Chemical Toxicology : An International Journal Published For the British Industrial Biological Research Association. 64: 110-8. PMID 24291451 DOI: 10.1016/j.fct.2013.11.023 |
0.462 |
|
| 2014 |
Yu WJ, Son JM, Lee J, Kim SH, Lee IC, Baek HS, Shin IS, Moon C, Kim SH, Kim JC. Effects of silver nanoparticles on pregnant dams and embryo-fetal development in rats. Nanotoxicology. 8: 85-91. PMID 24266865 DOI: 10.3109/17435390.2013.857734 |
0.444 |
|
| 2014 |
Lee IC, Kim SH, Baek HS, Moon C, Kang SS, Kim SH, Kim YB, Shin IS, Kim JC. The involvement of Nrf2 in the protective effects of diallyl disulfide on carbon tetrachloride-induced hepatic oxidative damage and inflammatory response in rats. Food and Chemical Toxicology : An International Journal Published For the British Industrial Biological Research Association. 63: 174-85. PMID 24246655 DOI: 10.1016/j.fct.2013.11.006 |
0.458 |
|
| 2014 |
Kim SH, Lee IC, Baek HS, Shin IS, Moon C, Kim SH, Yun WK, Nam KH, Kim HC, Kim JC. Melatonin prevents gentamicin-induced testicular toxicity and oxidative stress in rats. Andrologia. 46: 1032-40. PMID 24188423 DOI: 10.1111/and.12191 |
0.449 |
|
| 2014 |
Kim CW, Chang JH, Lim YS, Kim TH, Lee IS, Han SW. Initial large diameter of common bile duct is associated with long-term dilatation of bile duct after endoscopic extraction of stones. Journal of Digestive Diseases. 15: 35-41. PMID 23992116 DOI: 10.1111/1751-2980.12100 |
0.372 |
|
| 2014 |
Pajic M, Jiang Z, Lee I, Sokolsky O, Mangharam R. Safety-critical medical device development using the UPP2SF model translation tool Transactions On Embedded Computing Systems. 13. DOI: 10.1145/2584651 |
0.306 |
|
| 2013 |
Lee HY, Chang JS, Lee IJ, Park K, Kim YB, Suh CO, Kim JW, Keum KC. The deep inspiration breath hold technique using Abches reduces cardiac dose in patients undergoing left-sided breast irradiation. Radiation Oncology Journal. 31: 239-46. PMID 24501713 DOI: 10.3857/roj.2013.31.4.239 |
0.371 |
|
| 2013 |
Chang JS, Park W, Kim YB, Lee IJ, Keum KC, Lee CG, Choi DH, Suh CO, Huh SJ. Long-term survival outcomes following internal mammary node irradiation in stage II-III breast cancer: results of a large retrospective study with 12-year follow-up. International Journal of Radiation Oncology, Biology, Physics. 86: 867-72. PMID 23747215 DOI: 10.1016/j.ijrobp.2013.02.037 |
0.37 |
|
| 2013 |
Moon C, Choi YJ, Kim EY, Lee IS, Kim SB, Jung SM, Kim SK, Chang J, Jung JY. Combined intrathoracic and intraperitoneal splenosis after splenic injury: case report and review of the literature. Tuberculosis and Respiratory Diseases. 74: 134-9. PMID 23579787 DOI: 10.4046/trd.2013.74.3.134 |
0.38 |
|
| 2013 |
Kim CW, Chang JH, Lim YS, Kim TH, Lee IS, Han SW. Common bile duct stones on multidetector computed tomography: attenuation patterns and detectability. World Journal of Gastroenterology : Wjg. 19: 1788-96. PMID 23555167 DOI: 10.3748/wjg.v19.i11.1788 |
0.386 |
|
| 2013 |
Kim CW, Chang JH, Kim JH, Kim TH, Lee IS, Han SW. Size and type of periampullary duodenal diverticula are associated with bile duct diameter and recurrence of bile duct stones. Journal of Gastroenterology and Hepatology. 28: 893-8. PMID 23432035 DOI: 10.1111/jgh.12184 |
0.385 |
|
| 2013 |
Chang J, Venkatasubramanian KK, West AG, Lee I. Analyzing and defending against web-based malware Acm Computing Surveys. 45. DOI: 10.1145/2501654.2501663 |
0.64 |
|
| 2013 |
Anand M, Fischmeister S, Lee I. A comparison of compositional schedulability analysis techniques for hierarchical real-time systems Acm Transactions in Embedded Computing Systems. 13: 2. DOI: 10.1145/2501626.2501629 |
0.553 |
|
| 2013 |
Chang J, Venkatasubramanian KK, West AG, Kannan S, Lee I, Loo BT, Sokolsky O. AS-CRED: Reputation and alert service for interdomain routing Ieee Systems Journal. 7: 396-409. DOI: 10.1109/Jsyst.2012.2221856 |
0.651 |
|
| 2012 |
Lee IS, Kim SB, Moon CS, Jung SM, Kim SY, Kim EY, Jung JY, Kang YA, Kim YS, Kim SK, Chang J, Park MS. Sarcoidosis presenting with massive pleural effusion and elevated serum and pleural fluid carbohydrate antigen-125 levels. Tuberculosis and Respiratory Diseases. 73: 320-4. PMID 23319994 DOI: 10.4046/trd.2012.73.6.320 |
0.369 |
|
| 2012 |
Jung S, Lee IS, Kim SB, Moon CS, Jung JY, Kang YA, Park MS, Kim YS, Kim SK, Chang J, Kim EY. Urine Cotinine for Assessing Tobacco Smoke Exposure in Korean: Analysis of the Korea National Health and Nutrition Examination Survey (KNHANES). Tuberculosis and Respiratory Diseases. 73: 210-8. PMID 23166556 DOI: 10.4046/trd.2012.73.4.210 |
0.354 |
|
| 2012 |
Chang JH, Lee IS, Chun HJ, Choi JY, Yoon SK, Kim DG, You YK, Choi MG, Han SW. Comparative study of rendezvous techniques in post-liver transplant biliary stricture. World Journal of Gastroenterology : Wjg. 18: 5957-64. PMID 23139613 DOI: 10.3748/wjg.v18.i41.5957 |
0.407 |
|
| 2012 |
Pai J, Yoon T, Kim ND, Lee IS, Yu J, Shin I. High-throughput profiling of peptide-RNA interactions using peptide microarrays. Journal of the American Chemical Society. 134: 19287-96. PMID 23110629 DOI: 10.1021/Ja309760G |
0.416 |
|
| 2012 |
Lee IC, Kim SH, Shin IS, Moon C, Park SH, Kim SH, Park SC, Kim HC, Kim JC. Protective effects of pine bark extract on hexavalent chromium-induced dermatotoxicity in rats. Phytotherapy Research : Ptr. 26: 1534-40. PMID 22344852 DOI: 10.1002/ptr.4610 |
0.452 |
|
| 2012 |
Chang JH, Lee IS, Lim YS, Jung SH, Paik CN, Kim HK, Kim TH, Kim CW, Han SW, Choi MG, Jung IS. Role of magnetic resonance cholangiopancreatography for choledocholithiasis: analysis of patients with negative MRCP. Scandinavian Journal of Gastroenterology. 47: 217-24. PMID 22149906 DOI: 10.3109/00365521.2011.638394 |
0.376 |
|
| 2012 |
Philippou A, Lee I, Sokolsky O. PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling Theoretical Computer Science. 413: 2-20. DOI: 10.1016/J.Tcs.2011.08.025 |
0.305 |
|
| 2012 |
West AG, Chang J, Venkatasubramanian KK, Lee I. Trust in collaborative web applications Future Generation Computer Systems. 28: 1238-1251. DOI: 10.1016/J.Future.2011.02.007 |
0.635 |
|
| 2012 |
Anand M, Fischmeister S, Lee I, Phan LT. State-based scheduling with tree schedules: analysis and evaluation Real-Time Systems. 48: 430-462. DOI: 10.1007/S11241-012-9151-3 |
0.57 |
|
| 2011 |
Kim SN, Shin YB, Kim W, Suh H, Son HK, Cha YS, Chang JH, Ko HY, Lee IS, Kim MJ. Screening for the coexistence of congenital muscular torticollis and developmental dysplasia of hip. Annals of Rehabilitation Medicine. 35: 485-90. PMID 22506163 DOI: 10.5535/arm.2011.35.4.485 |
0.383 |
|
| 2011 |
Cho YK, Kim SW, Lee BI, Lee KM, Lim CH, Kim JS, Chang JH, Park JM, Lee IS, Choi MG, Choi KY, Chung IS. Clinical outcome of self-expandable metal stent placement in the management of malignant proximal colon obstruction. Gut and Liver. 5: 165-70. PMID 21814596 DOI: 10.5009/gnl.2011.5.2.165 |
0.377 |
|
| 2011 |
Chun YJ, Chang JH, Lee IS, Lee JE, Chung MK, Jung CK, Choi MG, Chung IS. [Steroid responsive pancreatic mass-forming type 2 autoimmune pancreatitis]. The Korean Journal of Gastroenterology = Taehan Sohwagi Hakhoe Chi. 58: 53-7. PMID 21778805 DOI: 10.4166/KJG.2011.58.1.53 |
0.386 |
|
| 2011 |
Kim SH, Lee IC, Lim JH, Shin IS, Moon C, Kim SH, Park SC, Kim HC, Kim JC. Effects of melamine on pregnant dams and embryo-fetal development in rats. Journal of Applied Toxicology : Jat. 31: 506-14. PMID 21706515 DOI: 10.1002/jat.1703 |
0.439 |
|
| 2011 |
Chang J, Kim S, Jung J, Lee H, Chang D, Lee Y, Lee I, Yoon J, Choi M. Evaluation of the effects of thiopental, propofol, and etomidate on glomerular filtration rate measured by the use of dynamic computed tomography in dogs. American Journal of Veterinary Research. 72: 146-51. PMID 21194347 DOI: 10.2460/ajvr.72.1.146 |
0.394 |
|
| 2011 |
Lee J, Easwaran A, Shin I, Lee I. Zero-laxity based real-time multiprocessor scheduling Journal of Systems and Software. 84: 2324-2333. DOI: 10.1016/J.Jss.2011.07.002 |
0.541 |
|
| 2011 |
Dinesh N, Joshi A, Lee I, Sokolsky O. Permission to speak: A logic for access control and conformance Journal of Logic and Algebraic Programming. 80: 50-74. DOI: 10.1016/J.Jlap.2009.12.002 |
0.748 |
|
| 2010 |
Chang JH, Lee IS, Jung ES. [A case of hyperplastic polyp at distal common bile duct]. The Korean Journal of Gastroenterology = Taehan Sohwagi Hakhoe Chi. 55: 81-4. PMID 20571300 |
0.366 |
|
| 2010 |
Chang JH, Lee IS, Choi JY, Yoon SK, Kim DG, You YK, Chun HJ, Lee DK, Choi MG, Chung IS. Biliary Stricture after Adult Right-Lobe Living-Donor Liver Transplantation with Duct-to-Duct Anastomosis: Long-Term Outcome and Its Related Factors after Endoscopic Treatment. Gut and Liver. 4: 226-33. PMID 20559526 DOI: 10.5009/gnl.2010.4.2.226 |
0.384 |
|
| 2010 |
Chang JH, Lee IS, Chun HJ, Choi JY, Yoon SK, Kim DG, You YK, Choi MG, Choi KY, Chung IS. Usefulness of the rendezvous technique for biliary stricture after adult right-lobe living-donor liver transplantation with duct-to-duct anastomosis. Gut and Liver. 4: 68-75. PMID 20479915 DOI: 10.5009/gnl.2010.4.1.68 |
0.389 |
|
| 2010 |
Cho YK, Choi MG, Lim CH, Nam KW, Chang JH, Park JM, Lee IS, Kim SW, Choi KY, Chung IS. Diagnostic value of the PPI test for detection of GERD in Korean patients and factors associated with PPI responsiveness. Scandinavian Journal of Gastroenterology. 45: 533-9. PMID 20180645 DOI: 10.3109/00365521003650172 |
0.378 |
|
| 2010 |
Chang JH, Lee IS, Jung ES. [A Case of Hyperplastic Polyp at Distal Common Bile Duct.] The Korean Journal of Gastroenterology = Taehan Sohwagi Hakhoe Chi. 55: 81-84. PMID 20168053 |
0.371 |
|
| 2010 |
Cho YK, Kim SW, Hur WH, Nam KW, Chang JH, Park JM, Lee IS, Choi MG, Chung IS. Clinical outcomes of self-expandable metal stent and prognostic factors for stent patency in gastric outlet obstruction caused by gastric cancer. Digestive Diseases and Sciences. 55: 668-74. PMID 19333756 DOI: 10.1007/s10620-009-0787-3 |
0.368 |
|
| 2010 |
Kim J, Kang I, Choi J, Lee I. Timed and Resource-Oriented Statecharts for Embedded Software Ieee Transactions On Industrial Informatics. 6: 568-578. DOI: 10.1109/Tii.2010.2060206 |
0.313 |
|
| 2010 |
Anand M, Fischmeister S, Hur Y, Kim J, Lee I. Generating Reliable Code from Hybrid-Systems Models Ieee Transactions On Computers. 59: 1281-1294. DOI: 10.1109/Tc.2010.84 |
0.548 |
|
| 2009 |
Chang JH, Lee IS, Kim HK, Cho YK, Park JM, Kim SW, Choi MG, Chung IS. Nafamostat for Prophylaxis against Post-Endoscopic Retrograde Cholangiopancreatography Pancreatitis Compared with Gabexate. Gut and Liver. 3: 205-10. PMID 20431747 DOI: 10.5009/gnl.2009.3.3.205 |
0.379 |
|
| 2009 |
Chang J, Kim HY, Cho BH, Lee IB, Son HH. Information resources and material selection in bonded restorations among Korean dentists. The Journal of Adhesive Dentistry. 11: 439-46. PMID 20011763 DOI: 10.3290/j.jad.a18137 |
0.381 |
|
| 2009 |
Cho YK, Kim SW, Nam KW, Chang J, Park JM, Jeong JJ, Lee IS, Choi MG, Chung IS. Clinical outcomes of self-expandable metal stents in palliation of malignant anastomotic strictures caused by recurrent gastric cancer. World Journal of Gastroenterology. 15: 3523-7. PMID 19630108 DOI: 10.3748/wjg.15.3523 |
0.375 |
|
| 2009 |
Chang JH, Choi MG, Yim DS, Cho YK, Park JM, Lee IS, Kim SW, Chung IS. A novel placement method of the Bravo wireless pH monitoring capsule for measuring intragastric pH. Digestive Diseases and Sciences. 54: 578-85. PMID 18649136 DOI: 10.1007/s10620-008-0399-3 |
0.371 |
|
| 2009 |
Park J, Lee J, Choi JY, Lee I. Model Checking of Real-Time Properties of Resource-Bound Process Algebra Ieice Transactions On Fundamentals of Electronics, Communications and Computer Sciences. 92: 2781-2789. DOI: 10.1587/Transfun.E92.A.2781 |
0.309 |
|
| 2009 |
Fischmeister S, Trausmuth R, Lee I. Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet Ieee Transactions On Industrial Informatics. 5: 325-337. DOI: 10.1109/Tii.2009.2026642 |
0.318 |
|
| 2009 |
Easwaran A, Shin I, Lee I. Optimal virtual cluster-based multiprocessor scheduling Real-Time Systems. 43: 25-59. DOI: 10.1007/S11241-009-9073-X |
0.519 |
|
| 2008 |
Lee IB, Kim SK, Chung SH, Kim H, Kwon TK, Min do S, Chang JS. The effect of rod domain A148V mutation of neurofilament light chain on filament formation. Bmb Reports. 41: 868-74. PMID 19123978 DOI: 10.5483/BMBREP.2008.41.12.868 |
0.356 |
|
| 2008 |
Anand M, Lee I. Challenges and opportunities in deeply embedded systems security Acm Sigbed Review. 5: 25. DOI: 10.1145/1366283.1366308 |
0.525 |
|
| 2008 |
Shin I, Lee I. Compositional real-time scheduling framework with periodic model Transactions On Embedded Computing Systems. 7. DOI: 10.1145/1347375.1347383 |
0.556 |
|
| 2008 |
Lee S, Shin I, Kim W, Lee I, Min SL. A design framework for real-time embedded systems with code size and energy constraints Acm Transactions in Embedded Computing Systems. 7: 18. DOI: 10.1145/1331331.1331342 |
0.545 |
|
| 2007 |
Fischmeister S, Sokolsky O, Lee I. A verifiable language for programming real-time communication schedules Ieee Transactions On Computers. 56: 1505-1519. DOI: 10.1109/Tc.2007.70747 |
0.304 |
|
| 2007 |
Lee I, Philippou A, Sokolsky O. Resources in process algebra Journal of Logic and Algebraic Programming. 72: 98-122. DOI: 10.1016/J.Jlap.2007.02.005 |
0.3 |
|
| 2006 |
Sokolsky O, Sammapun U, Lee I, Kim J. Run-Time Checking of Dynamic Properties Electronic Notes in Theoretical Computer Science. 144: 91-108. DOI: 10.1016/J.Entcs.2006.02.006 |
0.749 |
|
| 2006 |
Lee I, Philippou A, Sokolsky O. A Family of Resource-Bound Real-Time Process Algebras Electronic Notes in Theoretical Computer Science. 162: 221-226. DOI: 10.1016/J.Entcs.2005.12.085 |
0.303 |
|
| 2005 |
Sammapun U, Easwaran A, Lee I, Sokolsky O. Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification Electronic Notes in Theoretical Computer Science. 113: 123-143. DOI: 10.1016/J.Entcs.2004.01.030 |
0.747 |
|
| 2004 |
Alur R, Arney D, Gunter EL, Lee I, Lee J, Nam W, Pearce F, Van Albert S, Zhou J. Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System International Journal On Software Tools For Technology Transfer. 5: 308-319. DOI: 10.1007/S10009-003-0132-7 |
0.309 |
|
| 2002 |
Bhargavan K, Gunter CA, Kim M, Lee I, Obradovic D, Sokolsky O, Viswanathan M. Verisim: Formal analysis of network simulations Ieee Transactions On Software Engineering. 28: 129-145. DOI: 10.1109/32.988495 |
0.713 |
|
| 2002 |
Lee I, Philippou A, Sokolsky O. Process algebraic modelling and analysis of power-aware real-time systems Computing & Control Engineering Journal. 13: 180-188. DOI: 10.1049/Cce:20020404 |
0.316 |
|
| 2002 |
Kim M, Lee I, Sammapun U, Shin J, Sokolsky O. Monitoring, checking, and steering of real-time systems Electronic Notes in Theoretical Computer Science. 70: 101-117. DOI: 10.1016/S1571-0661(04)80579-6 |
0.753 |
|
| 2002 |
Kwak HH, Lee I, Sokolsky O. Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP Science of Computer Programming. 42: 49-60. DOI: 10.1016/S0167-6423(01)00029-6 |
0.323 |
|
| 1999 |
Sokolsky O, Lee I, Ben-Abdallah H. Specification and analysis of real-time systems with PARAGON Annals of Software Engineering. 7: 211-234. DOI: 10.1023/A:1018938205540 |
0.319 |
|
| 1999 |
Kwak HH, Lee I, Sokolsky O. Parametric approach to the specification and analysis of real-time system designs based on ACSR-VP Electronic Notes in Theoretical Computer Science. 25: 38-49. DOI: 10.1016/S1571-0661(04)00130-6 |
0.313 |
|
| 1998 |
Ben-Abdallah H, Lee I. A Graphical Language for Specifying and Analyzing Real-Time Systems Computer-Aided Engineering. 5: 279-302. DOI: 10.3233/Ica-1998-5401 |
0.337 |
|
| 1998 |
Ben-Abdallah H, Choi J, Clarke D, Kim YS, Lee I, Xie H. A Process Algebraic Approach to the Schedulability Analysisof Real-Time Systems Real-Time Systems. 15: 189-219. DOI: 10.1023/A:1008047130023 |
0.34 |
|
| 1997 |
Ben-Abdallah H, Lee I, Kim YS. The integrated specification and analysis of functional, temporal, and resource requirements Requirements Engineering. 198-209. DOI: 10.1109/Isre.1997.566870 |
0.336 |
|
| 1997 |
Brémond-Grégoire P, Lee I. A process algebra of communicating shared resources with dense time and priorities Theoretical Computer Science. 189: 179-219. DOI: 10.1016/S0304-3975(96)00229-0 |
0.338 |
|
| 1997 |
Brémond-Grégoire P, Choi J, Lee I. A complete axiomatization of finite-state ACSR processes Information & Computation. 138: 124-159. DOI: 10.1006/Inco.1997.2657 |
0.317 |
|
| 1994 |
Gerber R, Lee I. A resource-based prioritized bisimulation for real-time systems Information & Computation. 113: 102-142. DOI: 10.1006/Inco.1994.1066 |
0.322 |
|
| 1993 |
Davidson S, Lee I, Wolfe VF. Deadlock prevention in concurrent real-time systems Real-Time Systems. 5: 305-318. DOI: 10.1007/Bf01088833 |
0.32 |
|
| 1991 |
Davidson SB, Lee I, Wolfe V. Timed Atomic Commitment Ieee Transactions On Computers. 40: 573-583. DOI: 10.1109/12.88481 |
0.309 |
|
| 1989 |
Lee I, King RB, Paul RP. A predictable real-time kernel for distributed multisensor systems Ieee Computer. 22: 78-83. DOI: 10.1109/2.30723 |
0.31 |
|
| 1986 |
Lee I, Prywes NS, Szymanski BK. Partitioning of Massive/Real-Time Programs for Parallel Processing Advances in Computers. 25: 215-275. DOI: 10.1016/S0065-2458(08)60475-1 |
0.314 |
|
| Show low-probability matches. |