2010年3月计算所认定的博士生选刊与国际会议指南

"计算所认定的期刊会议列表(2010年3月版)是一份由某研究机构编制的权威文档，它详细列出了针对博士研究生在计算机科学领域可能参考的重要学术出版物和国际会议。这份列表共包含多个类别，如电子学报、高技术通讯、计算机辅助设计与图形学学报等，这些期刊在国际上享有较高的影响力，通过引用频率和影响因子来衡量其学术质量。 1. 期刊列表： - 《电子学报》（英文版和中文版）：中文版的总被引频次高达2652次，影响因子为0.506，同时收录于SCIE和EI（核心）数据库，是计算机领域的核心期刊。 - 《高技术通讯》：中文版同样受到重视，影响因子为0.488，涉及EI（包括非核心）。 其他知名期刊如《计算机集成制造系统》、《计算机学报》、《计算机研究与发展》等，均强调了它们在EI或SCIE的核心地位，影响因子分别为0.758、1.024等。 2. 会议目录： - 编程语言与软件工程领域，如ASE（International Conference on Automated Software Engineering）和CAV（Computer Aided Verification），前者关注软件自动化开发，后者聚焦计算机辅助的形式验证，均为该领域的重要会议。 - ASE会议自1997年开始，由IEEE主办，是编译技术研究的前沿平台，推荐的实体包括先进编译技术实验室。 - CAV会议则涵盖了理论层面的计算机辅助验证技术，对于研究者来说是提升技术水平的重要交流场所。 这份列表对于指导博士生选择研究发表的期刊和参加的国际会议具有极高的参考价值，可以帮助他们了解学术界的最新动态，提升科研成果的质量和认可度。"