-
1Report
المؤلفون: Sheng, Ying, Nötzli, Andres, Reynolds, Andrew, Zohar, Yoni, Dill, David, Grieskamp, Wolfgang, Park, Junkil, Qadeer, Shaz, Barrett, Clark, Tinelli, Cesare
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2205.08095
-
2Report
-
3Academic Journal
المؤلفون: Park, Junkil, Zhang, Teng, Grieskamp, Wolfgang, Xu, Meng, Di Giacomo, Gerardo, Chen, Kundu, Lu, Yi, Chen, Robert
المساهمون: Junkil Park and Teng Zhang and Wolfgang Grieskamp and Meng Xu and Gerardo Di Giacomo and Kundu Chen and Yi Lu and Robert Chen
مصطلحات موضوعية: Formal verification, Smart contracts, Aptos Network, The Move language, The Move Prover
وصف الملف: application/pdf
Relation: Is Part Of OASIcs, Volume 118, 5th International Workshop on Formal Methods for Blockchains (FMBC 2024); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2024.9
-
4Academic Journal
المؤلفون: Park, Junkil, Kim, Honghui, Kang, Yeonghun, Lim, Yunsung, Kim, Jihan
المساهمون: National Research Foundation of Korea
المصدر: JACS Au ; ISSN 2691-3704 2691-3704
-
5Academic Journal
المؤلفون: Hyun, Taehoon, Park, Junkil, So, Jungseob, Kim, Jihan, Koh, Dong‐Yeun
المساهمون: National Research Foundation of Korea
المصدر: Advanced Science ; ISSN 2198-3844 2198-3844
-
6Academic Journal
المساهمون: Natural Sciences and Engineering Research Council of Canada, National Supercomputing Center, Korea Institute of Science and Technology Information, National Research Foundation of Korea
المصدر: Journal of Materials Chemistry A ; volume 12, issue 11, page 6507-6514 ; ISSN 2050-7488 2050-7496
-
7Academic Journal
المؤلفون: Ko, Youngdon, Park, Junkil, Zhang, Xiong, Kang, Liqun, Pham, Thi Ha My, Boureau, Victor, Pham-Huu, Cuong, Kim, Jihan, Zhong, Liping, Züttel, Andreas
المساهمون: cole Polytechnique F?d?rale de Lausanne, Eidgen?ssische Materialpr?fungs- und Forschungsanstalt
المصدر: ACS Applied Energy Materials ; volume 7, issue 2, page 639-648 ; ISSN 2574-0962 2574-0962
-
8Academic Journal
المؤلفون: Park, Junkil, Lee, Youhan, Kim, Jihan
المصدر: Nat Commun ; ISSN:2041-1723 ; Volume:16 ; Issue:1
Relation: https://doi.org/10.1038/s41467-024-55390-9; https://pubmed.ncbi.nlm.nih.gov/39747011; https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11696190/
-
9Academic Journal
المؤلفون: Lee, Jiyoung, Lim, Haeseong, Park, Junkil, Kim, Min‐Soo, Jung, Ji‐Won, Kim, Jihan, Kim, Il‐Doo
المساهمون: National Research Foundation of Korea
المصدر: Advanced Energy Materials ; volume 13, issue 26 ; ISSN 1614-6832 1614-6840
-
10Book
المؤلفون: Dill, David, Grieskamp, Wolfgang, Park, Junkil, Qadeer, Shaz, Xu, Meng, Zhong, Emma
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 183-200 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030995232 9783030995249
-
11Academic Journal
المؤلفون: Park, Junkil, Lee, Wonseok, Kim, Jihan
المصدر: ACS Applied Materials & Interfaces; 10/23/2024, Vol. 16 Issue 42, p57190-57199, 10p
-
12Academic Journal
المؤلفون: Dodson, Ryan A., Park, Junkil, Kim, Jihan, Cliffe, Matthew J., Cohen, Seth M.
مصطلحات موضوعية: Inorganic Chemistry, Physical and Theoretical Chemistry
Relation: https://nottingham-repository.worktribe.com/output/9411110; Inorganic Chemistry; Volume 61; Issue 31; Pagination 12063-12488
-
13Academic Journal
المؤلفون: Park, Junkil, Lim, Yunsung, Lee, Sangwon, Kim, Jihan
المساهمون: National Research Foundation of Korea
المصدر: Chemistry of Materials ; volume 35, issue 1, page 9-16 ; ISSN 0897-4756 1520-5002
-
14Book
المؤلفون: Zhong, Jingyi Emma, Cheang, Kevin, Qadeer, Shaz, Grieskamp, Wolfgang, Blackshear, Sam, Park, Junkil, Zohar, Yoni, Barrett, Clark, Dill, David L.
المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 137-150 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030532871 9783030532888
-
15Academic Journal
المؤلفون: Sarango‐Ramírez, Marvin K., Park, Junkil, Kim, Jihan, Yoshida, Yukihiro, Lim, Dae‐Woon, Kitagawa, Hiroshi
المصدر: Angewandte Chemie International Edition ; volume 60, issue 37, page 20066-20066 ; ISSN 1433-7851 1521-3773
-
16Academic Journal
المؤلفون: Sarango‐Ramírez, Marvin K., Park, Junkil, Kim, Jihan, Yoshida, Yukihiro, Lim, Dae‐Woon, Kitagawa, Hiroshi
المصدر: Angewandte Chemie ; volume 133, issue 37, page 20226-20226 ; ISSN 0044-8249 1521-3757
-
17
المؤلفون: Park, Junkil, Lee, Youhan, Kim, Jihan
المساهمون: National Research Foundation of Korea
-
18Book
المؤلفون: Park, Junkil, Pajic, Miroslav, Sokolsky, Oleg, Lee, Insup
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 213-225 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030174613 9783030174620
-
19Academic Journal
المؤلفون: Sheng, Ying, Nötzli, Andres, Reynolds, Andrew, Zohar, Yoni, Dill, David, Grieskamp, Wolfgang, Park, Junkil, Qadeer, Shaz, Barrett, Clark, Tinelli, Cesare
المساهمون: NSF, Meta Novi, Stanford Center for Blockchain Research, BSF, ISF
المصدر: Journal of Automated Reasoning ; volume 67, issue 3 ; ISSN 0168-7433 1573-0670
-
20
المؤلفون: Ko, Youngdon, Park, Junkil, Zhang, Xiong, Kang, Liqun, Pham, Thi Ha My, Boureau, Victor, Pham-Huu, Cuong, Kim, Jihan, Zhong, Liping, Züttel, Andreas
الاتاحة: http://dx.doi.org/10.26434/chemrxiv-2023-p6bg9
https://chemrxiv.org/engage/api-gateway/chemrxiv/assets/orp/resource/item/63ebb2da9da0bc6b33ecc599/original/durable-m-n-c-catalysts-for-oxygen-reduction-reaction-orr-and-hydrogen-peroxide-reduction-reaction-prr-in-platinum-group-metal-free-direct-borohydride-fuel-cells.pdf