stands for Digital Object Identifier
and is the unique identifier for objects on the internet. It can be used to create persistent link and to cite articles.
Using DOI as a persistent link
To create a persistent link, add「http://dx.doi.org/」
before a DOI.
For instance, if the DOI of an article is 10.5297/ser.1201.002 , you can link persistently to the article by entering the following link in your browser: http://dx.doi.org/ 10.5297/ser.1201.002 。
The DOI link will always direct you to the most updated article page no matter how the publisher changes the document's position, avoiding errors when engaging in important research.
Cite a document with DOI
When citing references, you should also cite the DOI if the article has one. If your citation guideline does not include DOIs, you may cite the DOI link.
DOIs allow accurate citations, improve academic contents connections, and allow users to gain better experience across different platforms. Currently, there are more than 70 million DOIs registered for academic contents. If you want to understand more about DOI, please visit airiti DOI Registration （ doi.airiti.com ） 。
- Yung-Pin Cheng, "Crafting a Promela front-end with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices." to appear in Lecture Notes in Computer Sciences 2005 (SPIN 2005) PDF
- Yung-Pin Cheng, Michal Young, Che-Ling Huang, and Chia-Yi Pan, "Towards Scalable Compositional Analysis by Refactoring Design Models" Proceedings of the ACM SIGSOFT 2003 Symposium on the Foundations of Software Engineering (FSE2003) , Helsinki, Finland, Sep. 2003. (also appear in ACM Software Engineering Notes, pp. 247-256, Vol 28 ,Issue 5, 2003.) PDF PS
- Yung-Pin Cheng, “Refactoring Design Models for Inductive Verification,” Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis. (ISSTA2002) Rome, Italy, July 22-24, 2002. (also appear in ACM Software Engineering Notes , pp 164-168, Vol. 27, No. 4 2002.) PDF PS
The cart has had several articles, so do you want to clear it, or add together to the cart?