Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDJin-Young Choi
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j45]Kyoung Yeon Kim, Jin-Young Choi
, Song Hee Oh, Hyung-Wook Moon, Seong-Hun Kim, Hyo-Won Ahn, Kyung A. Kim, Gerald Nelson:
Computerized Assessment of Occlusion and Muscle Activity during Use of a Multilayer Clear Retainer: A Preliminary Study. Sensors 21(2): 541 (2021)- [j44]Song Hee Oh, Sae Rom Lee, Jin-Young Choi, Yong Suk Choi, Seong-Hun Kim, Hong Cheol Yoon, Gerald Nelson:
Detection of Dental Caries and Cracks with Quantitative Light-Induced Fluorescence in Comparison to Radiographic and Visual Examination: A Retrospective Case Study. Sensors 21(5): 1741 (2021) - [j43]Jin-Young Choi, Jaehee Cho, Song Hee Oh, Seong-Hun Kim, Kyu-Rhim Chung, Gerald Nelson:
Effect of Different Surface Designs on the Rotational Resistance and Stability of Orthodontic Miniscrews: A Three-Dimensional Finite Element Study. Sensors 21(6): 1964 (2021) - [j42]Jin-Young Choi, Min-Jung Kim, Seong-Hun Kim, Kyu-Rhim Chung, Gerald Nelson:
Effect of Different Head Hole Position on the Rotational Resistance and Stability of Orthodontic Miniscrews: A Three-Dimensional Finite Element Study. Sensors 21(11): 3798 (2021) - 2020
- [j41]Dong-Won Kim, Jin-Young Choi, Keun-Hee Han:
Medical Device Safety Management Using Cybersecurity Risk Analysis. IEEE Access 8: 115370-115382 (2020) - [j40]Hyuk Lee, Jin-Young Choi:
Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems. IEEE Access 8: 165168-165177 (2020) - [j39]Dong-Won Kim, Jin-Young Choi, Keun-Hee Han:
Risk management-based security evaluation model for telemedicine systems. BMC Medical Informatics Decis. Mak. 20(1): 106 (2020) - [j38]Seunghyun Park, Jin-Young Choi:
Hierarchical Anomaly Detection Model for In-Vehicle Networks Using Machine Learning Algorithms. Sensors 20(14): 3934 (2020)
2010 – 2019
- 2018
- [j37]Hyuk Lee, Jin-Young Choi:
Constraint Solving Approach to Schedulability Analysis in Real-Time Systems. IEEE Access 6: 58418-58426 (2018) - [j36]Young-Su Jang, Jin-Young Choi:
Automatic Prevention of Buffer Overflow Vulnerability Using Candidate Code Generation. IEICE Trans. Inf. Syst. 101-D(12): 3005-3018 (2018) - [j35]Jin-Young Choi, In-Sun Choi, Geon-Ho Ahn, Dong-Jun Won:
Advanced Power Sharing Method to Improve the Energy Efficiency of Multiple Battery Energy Storages System. IEEE Trans. Smart Grid 9(2): 1292-1300 (2018) - 2017
- [j34]Joon-Ha Jang, Jin-Young Choi:
Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems. J. Commun. 12(8): 482-488 (2017) - [j33]Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang:
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. 92: 1-18 (2017) - [c55]Myoung Jin Nam, Wonhong Nam, Jin-Young Choi, Periklis Akritidis:
MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems. DIMVA 2017: 48-69 - 2016
- [j32]Miyoung Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak, So Jin Ahn, Myung-Ki Shin:
A Verification Method of SDN Firewall Applications. IEICE Trans. Commun. 99-B(7): 1408-1415 (2016) - [j31]So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi:
Hierarchical System Schedulability Analysis Framework Using UPPAAL. IEICE Trans. Inf. Syst. 99-D(8): 2172-2176 (2016) - [j30]Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi:
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13(3): 41-48 (2016) - 2015
- [j29]Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang:
Formal synthesis of application and platform behaviors of embedded software systems. Softw. Syst. Model. 14(2): 839-859 (2015) - [c54]Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi:
Verification for NFV-enabled network services. ICTC 2015: 810-815 - 2014
- [j28]Ki-Seok Bang, Il-Gon Kim, Ji-Yeon Lee, Jin-Young Choi:
Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. J. Res. Pract. Inf. Technol. 46(2-3) (2014) - [j27]Young-Su Jang, Jin-Young Choi:
Detecting SQL injection attacks using query result size. Comput. Secur. 44: 104-118 (2014) - [j26]Youngjung Ahn, Yongsuk Lee, Jin-Young Choi, Gyungho Lee, Dongkyun Ahn:
Monitoring Translation Lookahead Buffers to Detect Code Injection Attacks. Computer 47(7): 66-72 (2014) - [c53]Sung-Hwan Park, Jin-Young Choi, Dong-Jun Won:
Cooperative control between the distributed energy resources in AC/DC hybrid microgrid. ISGT 2014: 1-5 - [c52]Mijeong Park, Miyoung Kang, Jin-Young Choi:
The Research on Vulnerability Analysis in OpenADR for Smart Grid. DARE 2014: 54-60 - 2013
- [j25]Hyun-seok Min, Sang-Mun Chung, Jin-Young Choi:
Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project. J. Univers. Comput. Sci. 19(1): 53-77 (2013) - [c51]Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi:
Formal Modeling and Verification of SDN-OpenFlow. ICST 2013: 481-482 - 2012
- [j24]Song-Hee Lee, Nam-Sup Park, Jin-Young Choi:
Secure communication in IPTV broadcasting. J. Supercomput. 62(1): 42-52 (2012) - [c50]Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi:
Formal specifications for software-defined networking. CFI 2012: 51 - [c49]Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin:
Process Algebraic Specification of Software Defined Networks. CICSyN 2012: 359-363 - 2011
- [j23]Miyoung Kang, Hyun Sook Rhee, Jin-Young Choi:
Improved User Authentication Scheme with User Anonymity for Wireless Communications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 94-A(2): 860-864 (2011) - [j22]Jin 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 Softw. Eng. Notes 36(1): 1-9 (2011) - 2010
- [j21]Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee:
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. Univers. Comput. Sci. 16(17): 2415-2434 (2010) - [j20]Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee:
Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Ind. Informatics 6(4): 568-578 (2010) - [c48]Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi:
A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS 2010: 183-197 - [c47]Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin-Young Choi, Won-Tae Kim, Seung-Min Park:
Modeling autonomous military robots using hybrid system framework. ICTC 2010: 429-430 - [c46]Hyun-Seok Kim, Suk Seo, Jin-Young Choi:
Security analysis of smart card based password authentication schemes. ICIS 2010: 352-356
2000 – 2009
- 2009
- [j19]Hyun Seok Kim, Jin-Young Choi:
Enhanced password-based simple three-party key exchange protocol. Comput. Electr. Eng. 35(1): 107-114 (2009) - [j18]Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee:
Model Checking of Real-Time Properties of Resource-Bound Process Algebra. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(11): 2781-2789 (2009) - [j17]Yerang Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi:
Ensuring Sound Numerical Simulation of Hybrid Automata. J. Comput. Sci. Eng. 3(2): 73-87 (2009) - [c45]Min-Woo Park, Jin-Young Choi, Young-Ju Han, Tai-Myoung Chung:
An Energy Efficient Concentric Clustering Scheme in Wireless Sensor Networks. NCM 2009: 58-61 - [c44]Song-Hee Lee, Nam-Sup Park, Soo-Kyun Kim, Jin-Young Choi:
Cryptanalysis of Secure Key Exchange Protocol between STB and Smart Card in IPTV Broadcasting. ISA 2009: 797-803 - 2008
- [j16]Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi:
Resource-Oriented Design Framework for Embedded System Components. Electron. Notes Theor. Comput. Sci. 215: 171-189 (2008) - [j15]Song-Hee Lee, Nam-Sup Park, Jin-Young Choi:
Secure Handover Protocol for Mobile WiMAX Networks. IEICE Trans. Inf. Syst. 91-D(12): 2875-2879 (2008) - [c43]Jin-Young Choi, Sung-Min Jung, Young-Ju Han, Tai-Myoung Chung:
Extended Concentric-Clustering Routing Scheme Adapted to Various Environments of Sensor Networks. APNOMS 2008: 187-196 - [c42]Hyun Seok Kim, Seok Seo, Jin-Young Choi:
Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol. HPCC 2008: 1015-1018 - [c41]Hyun Seok Kim, Jin-Young Choi:
A Lightweight Protocol Analysis and Modification for Secure RFID System. ICCCN 2008: 958-962 - [c40]Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi:
A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. NCM (1) 2008: 8-13 - [c39]Hyun Seok Kim, Jung-Hyun Oh, Ju-Bae Kim, Yeon-Oh Jeong, Jin-Young Choi:
Formal Verification of Cryptographic Protocol for Secure RFID System. NCM (2) 2008: 470-477 - [e1]Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan:
Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Lecture Notes in Computer Science 5311, Springer 2008, ISBN 978-3-540-88386-9 [contents] - 2007
- [c38]Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi:
A Secure Communication Protocol for Low-Cost RFID System. CIT 2007: 949-954 - [c37]Hyun Seok Kim, Jin-Young Choi:
The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing. DEXA Workshops 2007: 693-697 - [c36]Jin Hyun Kim, Jin-Young Choi:
Embedded System Modeling Based on Resource-Oriented Model. ECBS 2007: 203-212 - [c35]Hyun Seok Kim, Jin-Young Choi:
Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing. ICCCN 2007: 1359-1363 - [c34]Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi:
A Light-weight Security Protocol for RFID System. PWC 2007: 384-395 - [c33]Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi:
RFID Privacy Protection Scheme for Secure Ubiquitous Computing. IWRT 2007: 117-124 - [c32]Jin Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Choi:
Formal Embedded Operating System Model Based on Resource-Based Design Framework. QSIC 2007: 244-249 - 2006
- [j14]Il-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. Comput. Artif. Intell. 25(5): 353-368 (2006) - [j13]Keun-Hee Han, Il-Gon Kim, Kang-Won Lee, Jin-Young Choi, Sang-Hun Jeon:
Threat Evaluation Method for Distributed Network Environment. J. Inf. Sci. Eng. 22(4): 889-907 (2006) - [c31]Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim:
The Vulnerabilities Analysis and Design of the Security Protocol for RFID System. CIT 2006: 152 - [c30]Il-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 - [c29]Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi:
Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. COMPSAC (2) 2006: 195-202 - [c28]Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi:
Security and Privacy Analysis of RFID Systems Using Model Checking. HPCC 2006: 495-504 - [c27]Chang-Jin Kim, Jin-Young Choi:
Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach. Software Engineering Research and Practice 2006: 405-414 - [c26]Song-Hee Lee, Jin-Young Choi:
A Medium Access Control Scheme for Providing Reliability in Wireless Ad Hoc Networks. WASA 2006: 341-352 - 2005
- [j12]Il-Gon Kim, Jin-Young Choi:
Model Checking of RADIUS Protocol in Wireless Networks. IEICE Trans. Commun. 88-B(1): 397-398 (2005) - [j11]Ki-Seok Bang, Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi:
System Resource Utilization Analysis Based on Model Checking Method. Informatica (Slovenia) 29(2): 219-226 (2005) - [j10]Hyun-Wook Jin, Pavan Balaji, Chuck Yoo, Jin-Young Choi, Dhabaleswar K. Panda:
Exploiting NIC architectural support for enhancing IP-based protocols on high-performance networks. J. Parallel Distributed Comput. 65(11): 1348-1365 (2005) - [j9]Hojung Cha, Jongmin Lee, Jongho Nang, Sungyong Park, Jin-Hwan Jeong, Chuck Yoo, Jin-Young Choi:
A Video Streaming System for Mobile Phones: Practice and Experience. Wirel. Networks 11(3): 265-274 (2005) - [c25]Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi:
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. AINA 2005: 507-510 - [c24]Hyun Seok Kim, Il-Gon Kim, Jin-Young Choi:
Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System. ICDCS Workshops 2005: 217-223 - [c23]Il-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 - 2004
- [j8]Hee-Jun Yoo, Mino Bai, Jin-Young Choi:
Answer Set Semantics for Prioritized Defaults Logic. IEICE Trans. Inf. Syst. 87-D(12): 2883-2884 (2004) - [c22]Il-Gon Kim, Jin-Young Choi:
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. AINA (2) 2004: 264-269 - [c21]Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi:
Development of RTOS for PLC Using Formal Methods. ATVA 2004: 479-482 - [c20]Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi:
Sound Code Generation from Communicating Hybrid Models. HSCC 2004: 432-447 - [c19]Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang:
Formal Specification and Verification of Embedded System with Shared Resources. IEEE International Workshop on Rapid System Prototyping 2004: 8-14 - [c18]Young Ah Ahn, Jin-Young Choi:
FDR verification of ESANP protocol in Ad hoc Network. SNPD 2004: 141-145 - [c17]Il-Gon Kim, Jin-Young Choi:
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. VVEIS 2004: 75-77 - 2003
- [j7]Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi:
Firmware-Level Latency Analysis on a Gigabit Network. J. Supercomput. 26(1): 59-75 (2003) - [c16]Hee-Jun Yoo, Jin-Young Choi:
Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis. PaCT 2003: 180-184 - [c15]Sung-Jae Kim, Jin-Young Choi:
Formal Modeling for a Real-Time Scheduler and Schedulability Analysis. PaCT 2003: 253-258 - [c14]Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi:
SSR : Statechart with shared resources. HCC 2003: 198-200 - 2002
- [c13]Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha:
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. SPIN 2002: 170-186 - 2001
- [j6]Ki-Seok Bang, Jin-Young Choi, Chuck Yoo:
Comments on 'The Model Checker SPIN'. IEEE Trans. Software Eng. 27(6): 573-576 (2001) - [c12]Jin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo:
Distributed Test using Logical Clock. FORTE 2001: 69-84 - [c11]Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458 - [c10]Young-Ho Kim, Jin Hyun Kim, Ji-Young Kim, Jee-In Kim, Jin-Young Choi, Chang Woo Pyo:
A visual component based tool for developing embedded application software. HCI 2001: 180-184 - [c9]Nojun Kwak, Chong-Ho Choi, Jin-Young Choi:
Feature Extraction Using ICA. ICANN 2001: 568-576 - 2000
- [c8]Jin-Young Choi, Hee-Hwan Kwak, Insup Lee:
A Framework for Embedded Real-Time System Design. IPDPS Workshops 2000: 738-742 - [c7]Myung-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
1990 – 1999
- 1998
- [j5]Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie:
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real Time Syst. 15(3): 189-219 (1998) - [c6]Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky:
Symbolic Schedulability Analysis of Real-Time Systems. RTSS 1998: 409-418 - 1997
- [j4]Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee:
A Complete Axiomatization of Finite-State ACSR Processes. Inf. Comput. 138(2): 124-159 (1997) - [c5]Chul-Jin Ahn, Seong-Uk Choi, Myong-Soon Park, Jin-Young Choi:
The Design and Evaluation of Policy-Controllable Buffer Cache. ICPADS 1997: 764-771 - [c4]Sung-Mook Lim, Jin-Young Choi:
Specification and verification of real-time systems using ACSR-VP. RTCSA 1997: 135-142 - 1996
- [c3]Min Woong Hwang, Jin-Young Choi:
Evolutionary Learning Algorithm for Projection Neural Networks. SEAL 1996: 136-145 - 1995
- [j3]Jin-Young Choi, Chong-Ho Choi:
Partially trained neural networks with self-localizing capability for function approximations. Neural Parallel Sci. Comput. 3(1): 35-49 (1995) - [c2]Jin-Young Choi, Insup Lee, Hong-liang Xie:
The Specification and Schedulability Analysis of Real-Time Systems using ACSR. RTSS 1995: 266-275 - [c1]Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi:
A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. RTSS 1995: 276-286 - 1994
- [j2]Chong-Ho Choi, Jin-Young Choi:
Constructive neural networks with piecewise interpolation capabilities for function approximations. IEEE Trans. Neural Networks 5(6): 936-944 (1994) - 1992
- [j1]Jin-Young Choi, Chong-Ho Choi:
Sensitivity analysis of multilayer perceptron with differentiable activation functions. IEEE Trans. Neural Networks 3(1): 101-107 (1992)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-06-18 22:42 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 has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
