中国计算机学会推荐国际学术会议和期刊目录(1)
中国计算机学会（2019年）
期刊-计算机体系结构/并行与分布计算/存储系统
一、 A 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | TOCS | ACM Transactions on Computer Systems | ACM | dblp.uni-trier.de/db/journals… |
| 2 | TOS | ACM Transactions on Storage | ACM | dblp.uni-trier.de/db/journals… |
| 3 | TCAD | IEEE Transactions on Computer-Aided Design of Integrated Circuits And System | IEEE | dblp.uni-trier.de/db/journals… |
| 4 | TC | IEEE Transactions on Computers | IEEE | dblp.uni-trier.de/db/journals… |
| 5 | TPDS | IEEE Transactions on Parallel and Distributed Systems | IEEE | dblp.uni-trier.de/db/journals… |
二、 B 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | TACO | ACM Transactions on Architecture and Code Optimization | ACM | dblp.uni-trier.de/db/journals… |
| 2 | TAAS | ACM Transactions on Autonomous and Adaptive Systems | ACM | dblp.uni-trier.de/db/journals… |
| 3 | TODAES | ACM Transactions on Design Automation of Electronic Systems | ACM | dblp.uni-trier.de/db/journals… |
| 4 | TECS | ACM Transactions on Embedded Computing Systems | ACM | dblp.uni-trier.de/db/journals… |
| 5 | TRETS | ACM Transactions on Reconfigurable Technology and Systems | ACM | dblp.uni-trier.de/db/journals… |
| 6 | TVLSI | IEEE Transactions on Very Large Scale Integration (VLSI) Systems | IEEE | dblp.uni-trier.de/db/journals… |
| 7 | JPDC | Journal of Parallel and Distributed Computing | Elsevier | dblp.uni-trier.de/db/journals… |
| 8 | JSA | Journal of Systems Architecture: Embedded Software Design | Elsevier | dblp.uni-trier.de/db/journals… |
| 9 | PARCO | Parallel Computing | Elsevier | dblp.uni-trier.de/db/conf/par… |
| 10 | Performance Evaluation: An International Journal | Elsevier | www.journals.elsevier.com/performance… |
三、 C 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | JETC | ACM Journal on Emerging Technologies in Computing Systems | ACM | dblp.uni-trier.de/db/journals… |
| 2 | Concurrency and Computation: Practice and Experience | Wiley | dblp.uni-trier.de/db/journals… | |
| 3 | DC | Distributed Computing | Springer | dblp.uni-trier.de/db/journals… |
| 4 | FGCS | Future Generation Computer Systems | Elsevier | dblp.uni-trier.de/db/journals… |
| 5 | TCC | IEEE Transactions on Cloud Computing | IEEE | dblp.uni-trier.de/db/journals… |
| 6 | Integration | Integration, the VLSI Journal | Elsevier | dblp.uni-trier.de/db/journals… |
| 7 | JETTA | Journal of Electronic Testing-Theory and Applications | Springer | link.springer.com/journal/108… |
| 8 | JGC | Journal of Grid computing | Springer | dblp.uni-trier.de/db/journals… |
| 9 | MICPRO | Microprocessors and Microsystems: Embedded Hardware Design | Elsevier | dblp.uni-trier.de/db/journals… |
| 10 | RTS | Real-Time Systems | Springer | dblp.uni-trier.de/db/journals… |
| 11 | TJSC | The Journal of Supercomputing | Springer | dblp.uni-trier.de/db/journals… |
会议-计算机体系结构/并行与分布计算/存储系统
一、 A 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | PPoPP | ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming | ACM | dblp.uni-trier.de/db/conf/ppo… |
| 2 | FAST | Conference on File and Storage Technologies | USENIX | dblp.uni-trier.de/db/conf/fas… |
| 3 | DAC | Design Automation Conference | ACM | dblp.uni-trier.de/db/conf/dac… |
| 4 | HPCA | High Performance Computer Architecture | IEEE | dblp.uni-trier.de/db/conf/hpc… |
| 5 | MICRO | IEEE/ACM International Symposium on Microarchitecture | IEEE/ACM | dblp.uni-trier.de/db/conf/mic… |
| 6 | SC | International Conference for High Performance Computing, Networking, Storage, and Analysis | IEEE | dblp.uni-trier.de/db/conf/sc/ |
| 7 | ASPLOS | International Conference on Architectural Support for Programming Languages and Operating Systems | ACM | dblp.uni-trier.de/db/conf/asp… |
| 8 | ISCA | International Symposium on Computer Architecture | ACM /IEEE | dblp.uni-trier.de/db/conf/isc… |
| 9 | USENIX ATC | USENIX Annul Technical Conference | USENIX | dblp.uni-trier.de/db/conf/use… |
二、 B 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | SoCC | ACM Symposium on Cloud Computing | ACM | dblp.uni-trier.de/db/conf/clo… |
| 2 | SPAA | ACM Symposium on Parallelism in Algorithms and Architectures | ACM | dblp.uni-trier.de/db/conf/spa… |
| 3 | PODC | ACM Symposium on Principles of Distributed Computing | ACM | dblp.uni-trier.de/db/conf/pod… |
| 4 | FPGA | ACM/SIGDA International Symposium on Field-Programmable Gate Arrays | ACM | dblp.uni-trier.de/db/conf/fpg… |
| 5 | CGO | Code Generation and Optimization | IEEE/ACM | dblp.uni-trier.de/db/conf/cgo… |
| 6 | DATE | Design, Automation & Test in Europe | IEEE/ACM | dblp.uni-trier.de/db/conf/dat… |
| 7 | EuroSys | European Conference on Computer Systems | ACM | dblp.uni-trier.de/db/conf/eur… |
| 8 | HOT CHIPS | Hot Chips: A Symposium on High Performance Chips | IEEE | www.hotchips.org/ |
| 9 | CLUSTER | IEEE International Conference on Cluster Computing | IEEE | dblp.uni-trier.de/db/conf/clu… |
| 10 | ICCD | International Conference on Computer Design | IEEE | dblp.uni-trier.de/db/conf/icc… |
| 11 | ICCAD | International Conference on Computer-Aided Design | IEEE/ACM | dblp.uni-trier.de/db/conf/icc… |
| 12 | ICDCS | International Conference on Distributed Computing Systems | IEEE | dblp.uni-trier.de/db/conf/icd… |
| 13 | CODES+ISSS | International Conference on Hardware/Software Co-design and System Synthesis | ACM/ IEEE | dblp.uni-trier.de/db/conf/cod… |
| 14 | HiPEAC | International Conference on High Performance and Embedded Architectures and Compilers | ACM | dblp.uni-trier.de/db/conf/hip… |
| 15 | SIGMETRICS | International Conference on Measurement and Modeling of Computer Systems | ACM | dblp.uni-trier.de/db/conf/sig… |
| 16 | PACT | International Conference on Parallel Architectures and Compilation Techniques | IEEE/ACM | dblp.uni-trier.de/db/conf/IEE… |
| 17 | ICPP | International Conference on Parallel Processing | dblp.uni-trier.de/db/conf/icp… | |
| 18 | ICS | International Conference on Supercomputing | ACM | dblp.uni-trier.de/db/conf/ics… |
| 19 | VEE | International Conference on Virtual Execution Environments | ACM | dblp.uni-trier.de/db/conf/vee… |
| 20 | IPDPS | International Parallel & Distributed Processing Symposium | IEEE | dblp.uni-trier.de/db/conf/ipp… |
| 21 | Performance | International Symposium on Computer Performance Modeling, Measurements and Evaluation | ACM | dblp.uni-trier.de/db/conf/per… |
| 22 | HPDC | International Symposium on High Performance Distributed Computing | IEEE | dblp.uni-trier.de/db/conf/hpd… |
| 23 | ITC | International Test Conference | IEEE | dblp.uni-trier.de/db/conf/itc… |
| 24 | LISA | Large Installation System Administration Conference | USENIX | dblp.uni-trier.de/db/conf/lis… |
| 25 | MSST | Mass Storage Systems and Technologies | IEEE | dblp.uni-trier.de/db/conf/mss… |
| 26 | RTAS | Real-Time and Embedded Technology and Applications Symposium | IEEE | dblp.uni-trier.de/db/conf/rta… |
| ### 三、 C 类 |
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | CF | ACM International Conference on Computing Frontiers | ACM | dblp.uni-trier.de/db/conf/cf |
| 2 | SYSTOR | ACM International Systems and Storage Conference | ACM | dblp.uni-trier.de/db/conf/sys… |
| 3 | NOCS | ACM/IEEE International Symposium on Networks-on-Chip | ACM/IEEE | dblp.uni-trier.de/db/conf/noc… |
| 4 | ASAP | Application-Specific Systems, Architectures, and Processors | IEEE | dblp.uni-trier.de/db/conf/asa… |
| 5 | ASP-DAC | Asia and South Pacific Design Automation Conference | ACM/IEEE | dblp.uni-trier.de/db/conf/asp… |
| 6 | Euro-Par | European Conference on Parallel and Distributed Computing | Springer | dblp.uni-trier.de/db/conf/eur… |
| 7 | ETS | European Test Symposium | IEEE | dblp.uni-trier.de/db/conf/ets… |
| 8 | FPL | Field Programmable Logic and Applications | IEEE | dblp.uni-trier.de/db/conf/fpl… |
| 9 | FCCM | Field-Programmable Custom Computing Machines | IEEE | dblp.uni-trier.de/db/conf/fcc… |
| 10 | GLSVLSI | Great Lakes Symposium on VLSI | ACM/IEEE | dblp.uni-trier.de/db/conf/glv… |
| 11 | ATS | IEEE Asian Test Symposium | IEEE | dblp.uni-trier.de/db/conf/ats… |
| 12 | HPCC | IEEE International Conference on High Performance Computing and Communications | IEEE | dblp.uni-trier.de/db/conf/hpc… |
| 13 | HiPC | IEEE International Conference on High Performance Computing, Data and Analytics | IEEE/ ACM | dblp.uni-trier.de/db/conf/hip… |
| 14 | MASCOTS | IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems | IEEE | dblp.uni-trier.de/db/conf/mas… |
| 15 | ISPA | IEEE International Symposium on Parallel and Distributed Processing with Applications | IEEE | dblp.uni-trier.de/db/conf/isp… |
|---|---|---|---|---|
| 16 | CCGRID | IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing | ACM/IEEE | dblp.uni-trier.de/db/conf/ccg… |
| 17 | NPC | IFIP International Conference on Network and Parallel Computing | Springer | dblp.uni-trier.de/db/conf/npc… |
| 18 | ICA3PP | International Conference on Algorithms and Architectures for Parallel Processing | IEEE | dblp.uni-trier.de/db/conf/ica… |
| 19 | CASES | International Conference on Compilers, Architectures, and Synthesis for Embedded Systems | ACM | dblp.uni-trier.de/db/conf/cas… |
| 20 | FPT | International Conference on Field-Programmable Technology | IEEE | dblp.uni-trier.de/db/conf/fpt… |
| 21 | ICPADS | International Conference on Parallel and Distributed Systems | IEEE | dblp.uni-trier.de/db/conf/icp… |
| 22 | ISCAS | International Symposium on Circuits and Systems | IEEE | dblp.uni-trier.de/db/conf/isc… |
| 23 | ISLPED | International Symposium on Low Power Electronics and Design | ACM/IEEE | dblp.uni-trier.de/db/conf/isl… |
| 24 | ISPD | International Symposium on Physical Design | ACM | dblp.uni-trier.de/db/conf/isp… |
| 25 | HotI | Symposium on High-Performance Interconnects | IEEE | dblp.uni-trier.de/db/conf/hot… |
| 26 | VTS | VLSI Test Symposium | IEEE | dblp.uni-trier.de/db/conf/vts… |
期刊-计算机网络
一、 A 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | JSAC | IEEE Journal of Selected Areas in Communications | IEEE | dblp.uni-trier.de/db/journals… |
| 2 | TMC | IEEE Transactions on Mobile Computing | IEEE | dblp.uni-trier.de/db/journals… |
| 3 | TON | IEEE/ACM Transactions on Networking | IEEE/ACM | dblp.uni-trier.de/db/journals… |
二、 B 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | TOIT | ACM Transactions on Internet Technology | ACM | dblp.uni-trier.de/db/journals… |
| 2 | TOMCCAP | ACM Transactions on Multimedia Computing, Communications and Applications | ACM | dblp.uni-trier.de/db/journals… |
| 3 | TOSN | ACM Transactions on Sensor Networks | ACM | dblp.uni-trier.de/db/journals… |
| 4 | CN | Computer Networks | Elsevier | dblp.uni-trier.de/db/journals… |
| 5 | TCOM | IEEE Transactions on Communications | IEEE | dblp.uni-trier.de/db/journals… |
| 6 | TWC | IEEE Transactions on Wireless Communications | IEEE | dblp.uni-trier.de/db/journals… |
三、 C 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | Ad Hoc Networks | Elsevier | dblp.uni-trier.de/db/journals… | |
| 2 | CC | Computer Communications | Elsevier | dblp.uni-trier.de/db/journals… |
| 3 | TNSM | IEEE Transactions on Network and Service Management | IEEE | dblp.uni-trier.de/db/journals… |
| 4 | IET Communications | IET | dblp.uni-trier.de/db/journals… | |
| 5 | JNCA | Journal of Network and Computer Applications | Elsevier | dblp.uni-trier.de/db/journals… |
| 6 | MONET | Mobile Networks & Applications | Springer | dblp.uni-trier.de/db/journals… |
| 7 | Networks | Wiley | dblp.uni-trier.de/db/journals… | |
| 8 | PPNA | Peer-to-Peer Networking and Applications | Springer | dblp.uni-trier.de/db/journals… |
| 9 | WCMC | Wireless Communications & Mobile Computing | Wiley. | dblp.uni-trier.de/db/journals… |
| 10 | Wireless Networks | Springer | dblp.uni-trier.de/db/journals… |
会议-计算机网络
一、 A 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | SIGCOMM | ACM International Conference on Applications,Technologies, Architectures, and Protocols forComputer Communication | ACM | dblp.uni-trier.de/db/conf/sig… |
| 2 | MobiCom | ACM International Conference on Mobile Computing and Networking | ACM | dblp.uni-trier.de/db/conf/mob… |
| 3 | INFOCOM | IEEE International Conference on Computer Communications | IEEE | dblp.uni-trier.de/db/conf/inf… |
| 4 | NSDI | Symposium on Network System Design and Implementation | USENIX | dblp.uni-trier.de/db/conf/nsd… |
二、 B 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | SenSys | ACM Conference on Embedded Networked Sensor Systems | ACM | dblp.uni-trier.de/db/conf/sen… |
| 2 | CoNEXT | ACM International Conference on Emerging Networking Experiments and Technologies | ACM | dblp.uni-trier.de/db/conf/con… |
| 3 | SECON | IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks | IEEE | dblp.uni-trier.de/db/conf/sec… |
| 4 | IPSN | International Conference on Information Processing in Sensor Networks | IEEE/ACM | dblp.uni-trier.de/db/conf/ips… |
| 5 | MobiSys | International Conference on Mobile Systems, Applications, and Services | ACM | dblp.uni-trier.de/db/conf/mob… |
| 6 | ICNP | International Conference on Network Protocols | IEEE | dblp.uni-trier.de/db/conf/icn… |
| 7 | MobiHoc | International Symposium on Mobile Ad Hoc Networking and Computing | ACM/IEEE | dblp.uni-trier.de/db/conf/mob… |
| 8 | NOSSDAV | International Workshop on Network and Operating System Support for Digital Audio and Video | ACM | dblp.uni-trier.de/db/conf/nos… |
| 9 | IWQoS | International Workshop on Quality of Service | IEEE | dblp.uni-trier.de/db/conf/iwq… |
| 10 | IMC | Internet Measurement Conference | ACM/USENIX | dblp.uni-trier.de/db/conf/imc… |
三、 C 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | ANCS | Architectures for Networking and Communications Systems | ACM/IEEE | dblp.uni-trier.de/db/conf/anc… |
| 2 | APNOMS | Asia-Pacific Network Operations and Management Symposium | IFIP/IEEE | dblp.uni-trier.de/db/conf/apn… |
| 3 | FORTE | Formal Techniques for Networked and Distributed Systems | Springer | dblp.uni-trier.de/db/conf/for… |
| 4 | LCN | IEEE Conference on Local Computer Networks | IEEE | dblp.uni-trier.de/db/conf/lcn… |
| 5 | GLOBECOM | IEEE Global Communications Conference | IEEE | dblp.uni-trier.de/db/conf/glo… |
| 6 | ICC | IEEE International Conference on Communications | IEEE | dblp.uni-trier.de/db/conf/icc… |
| 7 | ICCCN | IEEE International Conference on Computer Communications and Networks | IEEE | dblp.uni-trier.de/db/conf/icc… |
| 8 | MASS | IEEE International Conference on Mobile Ad-hoc and Sensor Systems | IEEE | dblp.uni-trier.de/db/conf/mas… |
| 9 | P2P | IEEE International Conference on Peer-to-Peer Computing | IEEE | dblp.uni-trier.de/db/conf/p2p… |
| 10 | IPCCC | IEEE International Performance Computing and Communications Conference | IEEE | dblp.uni-trier.de/db/conf/ipc… |
| 11 | WoWMoM | IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks | IEEE | dblp.uni-trier.de/db/conf/wow… |
| 12 | ISCC | IEEE Symposium on Computers and Communications | IEEE | dblp.uni-trier.de/db/conf/isc… |
| 13 | WCNC | IEEE Wireless Communications & Networking Conference | IEEE | dblp.uni-trier.de/db/conf/wcn… |
| 14 | Networking | IFIP International Conferences on Networking | IFIP | dblp.uni-trier.de/db/conf/net… |
|---|---|---|---|---|
| 15 | IM | IFIP/IEEE International Symposium on Integrated Network Management | IFIP/IEEE | dblp.uni-trier.de/db/conf/im/… |
| 16 | MSN | International Conference on Mobile Ad-hoc and Sensor Networks | IEEE | dblp.uni-trier.de/db/conf/msn… |
| 17 | MSWiM | International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems | ACM | dblp.uni-trier.de/db/conf/msw… |
| 18 | WASA | International Conference on Wireless Algorithms, Systems, and Applications | Springer | dblp.uni-trier.de/db/conf/was… |
| 19 | HotNets | The Workshop on Hot Topics in Networks | ACM | dblp.uni-trier.de/db/conf/hot… |
期刊-网络与信息安全
一、 A 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | TDSC | IEEE Transactions on Dependable and Secure Computing | IEEE | dblp.uni-trier.de/db/journals… |
| 2 | TIFS | IEEE Transactions on Information Forensics and Security | IEEE | dblp.uni-trier.de/db/journals… |
| 3 | Journal of Cryptology | Springer | dblp.uni-trier.de/db/journals… |
二、 B 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | TOPS | ACM Transactions on Privacy and Security | ACM | tops.acm.org/ |
| 2 | Computers & Security | Elsevier | dblp.uni-trier.de/db/journals… | |
| 3 | Designs, Codes and Cryptography | Springer | dblp.uni-trier.de/db/journals… | |
| 4 | JCS | Journal of Computer Security | IOS Press | dblp.uni-trier.de/db/journals… |
三、 C 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | CLSR | Computer Law and Security Review | Elsevier | www.journals.elsevier.com/computer-la… |
| 2 | EURASIP Journal on Information Security | Springer | dblp.uni-trier.de/db/journals… | |
| 3 | IET Information Security | IET | dblp.uni-trier.de/db/journals… | |
| 4 | IMCS | Information Management & Computer Security | Emerald | dblp.uni-trier.de/db/journals… |
| 5 | IJICS | International Journal of Information and Computer Security | Inderscience | dblp.uni-trier.de/db/journals… |
| 6 | IJISP | International Journal of Information Security and Privacy | Idea Group Inc | dblp.uni-trier.de/db/journals… |
| 7 | JISA | Journal of Information Security and Application | Elsevier | dblp.uni-trier.de/db/journals… |
| 8 | SCN | Security and Communication Networks | Wiley | dblp.uni-trier.de/db/journals… |
会议-网络与信息安全
一、 A 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | CCS | ACM Conference on Computer and Communications Security | ACM | dblp.uni-trier.de/db/conf/ccs… |
| 2 | EUROCRYPT | European Cryptology Conference | Springer | dblp.uni-trier.de/db/conf/eur… |
| 3 | S&P | IEEE Symposium on Security and Privacy | IEEE | dblp.uni-trier.de/db/conf/sp/ |
| 4 | CRYPTO | International Cryptology Conference | Springer | dblp.uni-trier.de/db/conf/cry… |
| 5 | USENIX Security | Usenix Security Symposium | USENIX Association | dblp.uni-trier.de/db/conf/uss… |
二、 B 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | ACSAC | Annual Computer Security Applications Conference | IEEE | dblp.uni-trier.de/db/conf/acs… |
| 2 | ASIACRYPT | Annual International Conference on the Theory and Application of Cryptology and Information Security | Springer | dblp.uni-trier.de/db/conf/asi… |
| 3 | ESORICS | European Symposium on Research in Computer Security | Springer | dblp.uni-trier.de/db/conf/eso… |
| 4 | FSE | Fast Software Encryption | Springer | dblp.uni-trier.de/db/conf/fse… |
| 5 | CSFW | IEEE Computer Security Foundations Workshop | IEEE | dblp.uni-trier.de/db/conf/csf… |
| 6 | SRDS | IEEE International Symposium on Reliable Distributed Systems | IEEE | dblp.uni-trier.de/db/conf/srd… |
| 7 | CHES | International Conference on Cryptographic Hardware and Embedded Systems | Springer | dblp.uni-trier.de/db/conf/che… |
| 8 | DSN | International Conference on Dependable Systems and Networks | IEEE/IFIP | dblp.uni-trier.de/db/conf/dsn… |
| 9 | RAID | International Symposium on Recent Advances in Intrusion Detection | Springer | dblp.uni-trier.de/db/conf/rai… |
| 10 | PKC | International Workshop on Practice and Theory in Public Key Cryptography | Springer | dblp.uni-trier.de/db/conf/pkc… |
| 11 | NDSS | ISOC Network and Distributed System Security Symposium | ISOC | dblp.uni-trier.de/db/conf/nds… |
| 12 | TCC | Theory of Cryptography Conference | Springer | dblp.uni-trier.de/db/conf/tcc… |
三、 C 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | WiSec | ACM Conference on Security and Privacy in Wireless and Mobile Networks | ACM | dblp.uni-trier.de/db/conf/wis… |
| 2 | SACMAT | ACM Symposium on Access Control Models and Technologies | ACM | dblp.uni-trier.de/db/conf/sac… |
| 3 | DRM | ACM Workshop on Digital Rights Management | ACM | dblp.uni-trier.de/db/conf/drm… |
| 4 | IH&MMSec | ACM Workshop on Information Hiding and Multimedia Security | ACM | dblp.uni-trier.de/db/conf/ih/ |
| 5 | ACNS | Applied Cryptography and Network Security | Springer | dblp.uni-trier.de/db/conf/acn… |
| 6 | AsiaCCS | Asia Conference on Computer and Communications Security | ACM | dblp.uni-trier.de/db/conf/ccs… |
| 7 | ACISP | Australasia Conference on Information Security and Privacy | Springer | dblp.uni-trier.de/db/conf/aci… |
| 8 | CT-RSA | Cryptographer’s Track at RSA Conference | Springer | dblp.uni-trier.de/db/conf/ctr… |
| 9 | DIMVA | Detection of Intrusions and Malware & Vulnerability Assessment | dblp.uni-trier.de/db/conf/dim… | |
| 10 | DFRWS | Digital Forensic Research Workshop | Elsevier | dblp.uni-trier.de/db/conf/dfr… |
| 11 | FC | Financial Cryptography and Data Security | Springer | dblp.uni-trier.de/db/conf/fc/ |
| 12 | TrustCom | IEEE International Conference on Trust, Security and Privacy in Computing and Communications | IEEE | dblp.uni-trier.de/db/conf/tru… |
| 13 | SEC | IFIP International Information Security Conference | Springer | dblp.uni-trier.de/db/conf/sec… |
|---|---|---|---|---|
| 14 | IFIP WG 11.9 | IFIP WG 11.9 International Conference on Digital Forensics | Springer | *www.ifip119.org/Conferences… |
| 15 | ISC | Information Security Conference | Springer | dblp.uni-trier.de/db/conf/isw… |
| 16 | ICDF2C | International Conference on Digital Forensics & Cyber Crime | Springer | dblp.uni-trier.de/db/conf/icd… |
| 17 | ICICS | International Conference on Information and Communications Security | Springer | dblp.uni-trier.de/db/conf/ici… |
| 18 | SecureComm | International Conference on Security and Privacy in Communication Networks | ACM | dblp.uni-trier.de/db/conf/sec… |
| 19 | NSPW | New Security Paradigms Workshop | ACM | dblp.uni-trier.de/db/conf/nsp… |
| 20 | PAM | Passive and Active Measurement Conference | Springer | dblp.uni-trier.de/db/conf/pam… |
| 21 | PETS | Privacy Enhancing Technologies Symposium | Springer | dblp.uni-trier.de/db/conf/pet… |
| 22 | SAC | Selected Areas in Cryptography | Springer | dblp.uni-trier.de/db/conf/sac… |
| 23 | SOUPS | Symposium On Usable Privacy and Security | USENIX | dblp.uni-trier.de/db/conf/sou… |
| 24 | HotSec | USENIX Workshop on Hot Topics in Security | USENIX | *www.usenix.org/events/ |
期刊-软件工程/系统软件/程序设计语言
一、 A 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | TOPLAS | ACM Transactions on Programming Languages & Systems | ACM | dblp.uni-trier.de/db/journals… |
| 2 | TOSEM | ACM Transactions on Software Engineering and Methodology | ACM | dblp.uni-trier.de/db/journals… |
| 3 | TSE | IEEE Transactions on Software Engineering | IEEE | dblp.uni-trier.de/db/journals… |
二、 B 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | ASE | Automated Software Engineering | Springer | dblp.uni-trier.de/db/journals… |
| 2 | ESE | Empirical Software Engineering | Springer | dblp.uni-trier.de/db/journals… |
| 3 | TSC | IEEE Transactions on Service Computing | IEEE | dblp.uni-trier.de/db/journals… |
| 4 | IETS | IET Software | IET | dblp.uni-trier.de/db/journals… |
| 5 | IST | Information and Software Technology | Elsevier | dblp.uni-trier.de/db/journals… |
| 6 | JFP | Journal of Functional Programming | Cambridge University Press | dblp.uni-trier.de/db/journals… |
| 7 | Journal of Software: Evolution and Process | Wiley | dblp.uni-trier.de/db/journals… | |
| 8 | JSS | Journal of Systems and Software | Elsevier | dblp.uni-trier.de/db/journals… |
| 9 | RE | Requirements Engineering | Springer | dblp.uni-trier.de/db/journals… |
| 10 | SCP | Science of Computer Programming | Elsevier | dblp.uni-trier.de/db/journals… |
| 11 | SoSyM | Software and System Modeling | Springer | dblp.uni-trier.de/db/journals… |
| 12 | STVR | Software Testing, Verification and Reliability | Wiley | dblp.uni-trier.de/db/journals… |
| 13 | SPE | Software: Practice and Experience | Wiley | dblp.uni-trier.de/db/journals… |
三、 C 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | CL | Computer Languages, Systems and Structures | Elsevier | dblp.uni-trier.de/db/journals… |
| 2 | IJSEKE | International Journal on Software Engineering and Knowledge Engineering | World Scientific | dblp.uni-trier.de/db/journals… |
| 3 | STTT | International Journal on Software Tools for Technology Transfer | Springer | dblp.uni-trier.de/db/journals… |
| 4 | JLAP | Journal of Logic and Algebraic Programming | Elsevier | dblp.uni-trier.de/db/journals… |
| 5 | JWE | Journal of Web Engineering | Rinton Press | dblp.uni-trier.de/db/journals… |
| 6 | SOCA | Service Oriented Computing and Applications | Springer | dblp.uni-trier.de/db/journals… |
| 7 | SQJ | Software Quality Journal | Springer | dblp.uni-trier.de/db/journals… |
| 8 | TPLP | Theory and Practice of Logic Programming | Cambridge University Press | dblp.uni-trier.de/db/journals… |
会议-软件工程/系统软件/程序设计语言
一、 A 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | PLDI | ACM SIGPLAN Conference on Programming Language Design & Implementation | ACM | dblp.uni-trier.de/db/conf/pld… |
| 2 | POPL | ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | ACM | dblp.uni-trier.de/db/conf/pop… |
| 3 | FSE/ESEC | ACM SIGSOFT Symposium on the Foundation of Software Engineering/ European Software Engineering Conference | ACM | dblp.uni-trier.de/db/conf/sig… |
| 4 | SOSP | ACM Symposium on Operating Systems Principles | ACM | dblp.uni-trier.de/db/conf/sos… |
| 5 | OOPSLA | Conference on Object-Oriented Programming Systems, Languages, and Applications | ACM | dblp.uni-trier.de/db/conf/oop… |
| 6 | ASE | International Conference on Automated Software Engineering | IEEE/ACM | dblp.uni-trier.de/db/conf/kbs… |
| 7 | ICSE | International Conference on Software Engineering | ACM/IEEE | dblp.uni-trier.de/db/conf/ics… |
| 8 | ISSTA | International Symposium on Software Testing and Analysis | ACM | dblp.uni-trier.de/db/conf/iss… |
| 9 | OSDI | USENIX Symposium on Operating Systems Design and Implementations | USENIX | dblp.uni-trier.de/db/conf/osd… |
二、 B 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | ECOOP | European Conference on Object-Oriented Programming | AITO | dblp.uni-trier.de/db/conf/eco… |
| 2 | ETAPS | European Joint Conferences on Theory and Practice of Software | Springer | dblp.uni-trier.de/db/conf/eta… |
| 3 | ICPC | IEEE International Conference on Program Comprehension | IEEE | dblp.uni-trier.de/db/conf/iwp… |
| 4 | RE | IEEE International Requirements Engineering Conference | IEEE | dblp.uni-trier.de/db/conf/re/ |
| 5 | CAiSE | International Conference on Advanced Information Systems Engineering | Springer | dblp.uni-trier.de/db/conf/cai… |
| 6 | ICFP | International Conference on Function Programming | ACM | dblp.uni-trier.de/db/conf/icf… |
| 7 | LCTES | International Conference on Languages, Compilers and Tools for Embedded Systems | ACM | dblp.uni-trier.de/db/conf/lct… |
| 8 | MoDELS | International Conference on Model Driven Engineering Languages and Systems | ACM, IEEE | dblp.uni-trier.de/db/conf/mod… |
| 9 | CP | International Conference on Principles and Practice of Constraint Programming | Springer | dblp.uni-trier.de/db/conf/cp/ |
| 10 | ICSOC | International Conference on Service Oriented Computing | Springer | dblp.uni-trier.de/db/conf/ics… |
| 11 | SANER | International Conference on Software Analysis, Evolution, and Reengineering | IEEE | dblp.uni-trier.de/db/conf/wcr… |
|---|---|---|---|---|
| 12 | ICSME | International Conference on Software Maintenance and Evolution | IEEE | dblp.uni-trier.de/db/conf/ics… |
| 13 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | Springer | dblp.uni-trier.de/db/conf/vmc… |
| 14 | ICWS | International Conference on Web Services （ResearchTrack） | IEEE | dblp.uni-trier.de/db/conf/icw… |
| 15 | Middleware | International Middleware Conference | ACM/IFIP/USENIX | dblp.uni-trier.de/db/conf/mid… |
| 16 | SAS | International Static Analysis Symposium | Springer | dblp.uni-trier.de/db/conf/sas… |
| 17 | ESEM | International Symposium on Empirical Software Engineering and Measurement | ACM/IEEE | dblp.uni-trier.de/db/conf/ese… |
| 18 | FM | International Symposium on Formal Methods | FME | dblp.uni-trier.de/db/conf/fm/ |
| 19 | ISSRE | International Symposium on Software Reliability Engineering | IEEE | dblp.uni-trier.de/db/conf/iss… |
| 20 | HotOS | USENIX Workshop on Hot Topics in Operating Systems | USENIX | dblp.uni-trier.de/db/conf/hot… |
三、 C 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | PEPM | ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation | ACM | dblp.uni-trier.de/db/conf/pep… |
| 2 | PASTE | ACMSIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering | ACM | dblp.uni-trier.de/db/conf/pas… |
| 3 | APLAS | Asian Symposium on Programming Languages and Systems | Springer | dblp.uni-trier.de/db/conf/apl… |
| 4 | APSEC | Asia-Pacific Software Engineering Conference | IEEE | dblp.uni-trier.de/db/conf/aps… |
| 5 | EASE | Evaluation and Assessment in Software Engineering | ACM | dblp.uni-trier.de/db/conf/eas… |
| 6 | ICECCS | IEEE International Conference on Engineering of Complex Computer Systems | IEEE | dblp.uni-trier.de/db/conf/ice… |
| 7 | ICST | IEEE International Conference on Software Testing, Verification and Validation | IEEE | dblp.uni-trier.de/db/conf/ics… |
| 8 | ISPASS | IEEE International Symposium on Performance Analysis of Systems and Software | IEEE | dblp.uni-trier.de/db/conf/isp… |
| 9 | SCAM | IEEE International Working Conference on Source Code Analysis and Manipulation | IEEE | dblp.uni-trier.de/db/conf/sca… |
| 10 | COMPSAC | International Computer Software and Applications Conference | IEEE | dblp.uni-trier.de/db/conf/com… |
| 11 | ICFEM | International Conference on Formal Engineering Methods | Springer | dblp.uni-trier.de/db/conf/icf… |
|---|---|---|---|---|
| 12 | TOOLS | International Conference on Objects, Models, Components, Patterns | Springer | dblp.uni-trier.de/db/conf/too… |
| 13 | SCC | International Conference on Service Computing | IEEE | dblp.uni-trier.de/db/conf/IEE… |
| 14 | ICSSP | International Conference on Software and System Process | ACM | dblp.uni-trier.de/db/conf/isp… |
| 15 | SEKE | International Conference on Software Engineering and Knowledge Engineering | KSI | dblp.uni-trier.de/db/conf/sek… |
| 16 | QRS | International Conference on Software Quality, Reliability and Security | IEEE | dblp.uni-trier.de/db/conf/qrs… |
| 17 | ICSR | International Conference on Software Reuse | Springer | dblp.uni-trier.de/db/conf/ics… |
| 18 | ICWE | International Conference on Web Engineering | Springer | dblp.uni-trier.de/db/conf/icw… |
| 19 | SPIN | International SPIN Workshop on Model Checking Software | Springer | dblp.uni-trier.de/db/conf/spi… |
| 20 | ATVA | International Symposium on Automated Technology for Verification and Analysis | Springer | dblp.uni-trier.de/db/conf/atv… |
| 21 | LOPSTR | International Symposium on Logic-based Program Synthesis and Transformation | Springer | dblp.uni-trier.de/db/conf/lop… |
| 22 | TASE | International Symposium on Theoretical Aspects of Software Engineering | IEEE | dblp.uni-trier.de/db/conf/tas… |
| 23 | MSR | Mining Software Repositories | IEEE/ACM | dblp.uni-trier.de/db/conf/msr… |
| 24 | REFSQ | Requirements Engineering: Foundation for Software Quality | Springer | dblp.uni-trier.de/db/conf/ref… |
| 25 | WICSA | Working IEEE/IFIP Conference on Software Architecture | IEEE | dblp.uni-trier.de/db/conf/wic… |
期刊-数据库/数据挖掘/内容检索
一、 A 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | TODS | ACM Transactions on Database Systems | ACM | dblp.uni-trier.de/db/journals… |
| 2 | TOIS | ACM Transactions on Information Systems | ACM | dblp.uni-trier.de/db/journals… |
| 3 | TKDE | IEEE Transactions on Knowledge and Data Engineering | IEEE | dblp.uni-trier.de/db/journals… |
| 4 | VLDBJ | The VLDB Journal | Springer | dblp.uni-trier.de/db/journals… |
二、 B 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | TKDD | ACM Transactions on Knowledge Discovery from Data | ACM | dblp.uni-trier.de/db/journals… |
| 2 | TWEB | ACM Transactions on the Web | ACM | dblp.uni-trier.de/db/journals… |
| 3 | AEI | Advanced Engineering Informatics | Elsevier | dblp.uni-trier.de/db/journals… |
| 4 | DKE | Data and Knowledge Engineering | Elsevier | dblp.uni-trier.de/db/journals… |
| 5 | DMKD | Data Mining and Knowledge Discovery | Springer | dblp.uni-trier.de/db/journals… |
| 6 | EJIS | European Journal of Information Systems | Springer | dblp.uni-trier.de/db/journals… |
| 7 | GeoInformatica | Springer | dblp.uni-trier.de/db/journals… | |
| 8 | IPM | Information Processing and Management | Elsevier | dblp.uni-trier.de/db/journals… |
| 9 | Information Sciences | Elsevier | dblp.uni-trier.de/db/journals… | |
| 10 | IS | Information Systems | Elsevier | dblp.uni-trier.de/db/journals… |
| 11 | JASIST | Journal of the American Society for Information Science and Technology | American Society forInformation Science andTechnology | dblp.uni-trier.de/db/journals… |
| 12 | JWS | Journal of Web Semantics | Elsevier | dblp.uni-trier.de/db/journals… |
| 13 | KAIS | Knowledge and Information Systems | Springer | dblp.uni-trier.de/db/journals… |
三、 C 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | DPD | Distributed and Parallel Databases | Springer | dblp.uni-trier.de/db/journals… |
| 2 | I&M | Information and Management | Elsevier | dblp.uni-trier.de/db/journals… |
| 3 | IPL | Information Processing Letters | Elsevier | dblp.uni-trier.de/db/journals… |
| 4 | IR | Information Retrieval Journal | Springer | dblp.uni-trier.de/db/journals… |
| 5 | IJCIS | International Journal of Cooperative Information Systems | World Scientific | dblp.uni-trier.de/db/journals… |
| 6 | IJGIS | International Journal of Geographical Information Science | Taylor & Francis | dblp.uni-trier.de/db/journals… |
| 7 | IJIS | International Journal of Intelligent Systems | Wiley | dblp.uni-trier.de/db/journals… |
| 8 | IJKM | International Journal of Knowledge Management | IGI | dblp.uni-trier.de/db/journals… |
| 9 | IJSWIS | International Journal on Semantic Web and Information Systems | IGI | dblp.uni-trier.de/db/journals… |
| 10 | JCIS | Journal of Computer Information Systems | IACIS | dblp.uni-trier.de/db/journals… |
| 11 | JDM | Journal of Database Management | IGI-Global | dblp.uni-trier.de/db/journals… |
| 12 | JGITM | Journal of Global Information Technology Management | Ivy LeaguePublishing | www.tandfonline.com/loi/ugit20#… |
| 13 | JIIS | Journal of Intelligent Information Systems | Springer | dblp.uni-trier.de/db/journals… |
| 14 | JSIS | Journal of Strategic Information Systems | Elsevier | dblp.uni-trier.de/db/journals… |
会议-数据库／数据挖掘／内容检索
一、 A 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | SIGMOD | ACM Conference on Management of Data | ACM | dblp.uni-trier.de/db/conf/sig… |
| 2 | SIGKDD | ACM Knowledge Discovery and Data Mining | ACM | dblp.uni-trier.de/db/conf/kdd… |
| 3 | ICDE | IEEE International Conference on Data Engineering | IEEE | dblp.uni-trier.de/db/conf/icd… |
| 4 | SIGIR | International Conference on Research on Development in Information Retrieval | ACM | dblp.uni-trier.de/db/conf/sig… |
| 5 | VLDB | International Conference on Very Large Data Bases | Morgan Kaufmann/ACM | dblp.uni-trier.de/db/conf/vld… |
二、 B 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | CIKM | ACM International Conference on Information and Knowledge Management | ACM | dblp.uni-trier.de/db/conf/cik… |
| 2 | WSDM | ACM International Conference on Web Search and Data Mining | ACM | dblp.uni-trier.de/db/conf/wsd… |
| 3 | PODS | ACM Symposium on Principles of Database Systems | ACM | dblp.uni-trier.de/db/conf/pod… |
| 4 | DASFAA | Database Systems for Advanced Applications | Springer | dblp.uni-trier.de/db/conf/das… |
| 5 | ECML-PKDD | European Conference on Machine Learningand Principles and Practice of KnowledgeDiscovery in Databases | Springer | [dblp.uni-trier.de/db/conf/ecm…dblp.uni-trier.de/db/conf/ecm… http:/dblp.uni-trier.de/db/conf/pkdd/) [http://dblp.uni-trier.de/db/conf/pkdd/](dblp.uni-trier.de/db/conf/ecm… http:/dblp.uni-trier.de/db/conf/pkdd/) |
| 6 | ISWC | IEEE International Semantic Web Conference | IEEE | dblp.uni-trier.de/db/conf/sem… |
| 7 | ICDM | International Conference on Data Mining | IEEE | dblp.uni-trier.de/db/conf/icd… |
| 8 | ICDT | International Conference on Database Theory | Springer | dblp.uni-trier.de/db/conf/icd… |
| 9 | EDBT | International Conference on Extending DB Technology | Springer | dblp.uni-trier.de/db/conf/edb… |
| 10 | CIDR | International Conference on Innovative Data Systems Research | Online Proceeding | dblp.uni-trier.de/db/conf/cid… |
| 11 | SDM | SIAM International Conference on Data Mining | SIAM | dblp.uni-trier.de/db/conf/sdm… |
三、 C 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | APWeb | Asia Pacific Web Conference | Springer | dblp.uni-trier.de/db/conf/apw… |
| 2 | DEXA | Database and Expert System Applications | Springer | dblp.uni-trier.de/db/conf/dex… |
| 3 | ECIR | European Conference on IR Research | Springer | dblp.uni-trier.de/db/conf/eci… |
| 4 | ESWC | Extended Semantic Web Conference | Springer | dblp.uni-trier.de/db/conf/esw… |
| 5 | WebDB | International ACM Workshop on Web and Databases | ACM | dblp.uni-trier.de/db/conf/web… |
| 6 | ER | International Conference on Conceptual Modeling | Springer | dblp.uni-trier.de/db/conf/er/ |
| 7 | MDM | International Conference on Mobile Data Management | IEEE | dblp.uni-trier.de/db/conf/mdm… |
| 8 | SSDBM | International Conference on Scientific and Statistical DB Management | IEEE | dblp.uni-trier.de/db/conf/ssd… |
| 9 | WAIM | International Conference on Web Age Information Management | Springer | dblp.uni-trier.de/db/conf/wai… |
| 10 | SSTD | International Symposium on Spatial and Temporal Databases | Springer | dblp.uni-trier.de/db/conf/ssd… |
| 11 | PAKDD | Pacific-Asia Conference on Knowledge Discovery and Data Mining | Springer | dblp.uni-trier.de/db/conf/pak… |
| 12 | WISE | Web Information Systems Engineering | Springer | dblp.uni-trier.de/db/conf/wis… |
期刊-计算机科学理论
一、 A 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | TIT | IEEE Transactions on Information Theory | IEEE | dblp.uni-trier.de/db/journals… |
| 2 | IANDC | Information and Computation | Elsevier | dblp.uni-trier.de/db/journals… |
| 3 | SICOMP | SIAM Journal on Computing | SIAM | dblp.uni-trier.de/db/journals… |
二、 B 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | TALG | ACM Transactions on Algorithms | ACM | dblp.uni-trier.de/db/journals… |
| 2 | TOCL | ACM Transactions on Computational Logic | ACM | dblp.uni-trier.de/db/journals… |
| 3 | TOMS | ACM Transactions on Mathematical Software | ACM | dblp.uni-trier.de/db/journals… |
| 4 | Algorithmica | Algorithmica | Springer | dblp.uni-trier.de/db/journals… |
| 5 | CC | Computational Complexity | Springer | dblp.uni-trier.de/db/journals… |
| 6 | FAC | Formal Aspects of Computing | Springer | dblp.uni-trier.de/db/journals… |
| 7 | FMSD | Formal Methods in System Design | Springer | dblp.uni-trier.de/db/journals… |
| 8 | INFORMS | INFORMS Journal on Computing | INFORMS | dblp.uni-trier.de/db/journals… |
| 9 | JCSS | Journal of Computer and System Sciences | Elsevier | dblp.uni-trier.de/db/journals… |
| 10 | JGO | Journal of Global Optimization | Springer | dblp.uni-trier.de/db/journals… |
| 11 | JSC | Journal of Symbolic Computation | Elsevier | dblp.uni-trier.de/db/journals… |
| 12 | MSCS | Mathematical Structures in Computer Science | Cambridge University Press | dblp.uni-trier.de/db/journals… |
| 13 | TCS | Theoretical Computer Science | Elsevier | dblp.uni-trier.de/db/journals… |
三、 C 类
| 序号 | 刊物简称 | 刊物全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | ACTA | Acta Informatica | Springer | dblp.uni-trier.de/db/journals… |
| 2 | APAL | Annals of Pure and Applied Logic | Elsevier | dblp.uni-trier.de/db/journals… |
| 3 | DAM | Discrete Applied Mathematics | Elsevier | dblp.uni-trier.de/db/journals… |
| 4 | FUIN | Fundamenta Informaticae | IOS Press | dblp.uni-trier.de/db/journals… |
| 5 | LISP | Higher-Order and Symbolic Computation | Springer | dblp.uni-trier.de/db/journals… |
| 6 | IPL | Information Processing Letters | Elsevier | dblp.uni-trier.de/db/journals… |
| 7 | JCOMPLEXITY | Journal of Complexity | Elsevier | dblp.uni-trier.de/db/journals… |
| 8 | LOGCOM | Journal of Logic and Computation | Oxford University Press | dblp.uni-trier.de/db/journals… |
| 9 | JSL | Journal of Symbolic Logic | Association for Symbolic Logic | dblp.uni-trier.de/db/journals… |
| 10 | LMCS | Logical Methods in Computer Science | LMCS | dblp.uni-trier.de/db/journals… |
| 11 | SIDMA | SIAM Journal on Discrete Mathematics | SIAM | dblp.uni-trier.de/db/journals… |
| 12 | Theory of Computing Systems | Springer | dblp.uni-trier.de/db/journals… |
会议-计算机科学理论
一、 A 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | STOC | ACM Symposium on the Theory of Computing | ACM | dblp.uni-trier.de/db/conf/sto… |
| 2 | SODA | ACM-SIAM Symposium on Discrete Algorithms | SIAM | dblp.uni-trier.de/db/conf/sod… |
| 3 | CAV | Computer Aided Verification | Springer | dblp.uni-trier.de/db/conf/cav… |
| 4 | FOCS | IEEE Annual Symposium on Foundations of Computer Science | IEEE | dblp.uni-trier.de/db/conf/foc… |
| 5 | LICS | IEEE Symposium on Logic in Computer Science | IEEE | dblp.uni-trier.de/db/conf/lic… |
二、 B 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | SoCG | ACM Symposium on Computational Geometry | ACM | dblp.uni-trier.de/db/conf/com… |
| 2 | ESA | European Symposium on Algorithms | Springer | dblp.uni-trier.de/db/conf/esa… |
| 3 | CCC | IEEE Conference on Computational Complexity | IEEE | dblp.uni-trier.de/db/conf/coc… |
| 4 | ICALP | International Colloquium on Automata, Languages and Programming | Springer | dblp.uni-trier.de/db/conf/ica… |
| 5 | CADE/IJCAR | International Conference on AutomatedDeduction/International Joint Conference onAutomated Reasoning | Springer | dblp.uni-trier.de/db/conf/cad… |
| 6 | CONCUR | International Conference on Concurrency Theory | Springer | dblp.uni-trier.de/db/conf/con… |
| 7 | HSCC | International Conference on Hybrid Systems: Computation and Control | Springer and ACM | dblp.uni-trier.de/db/conf/hyb… |
| 8 | SAT | Theory and Applications of Satisfiability Testing | Springer | dblp.uni-trier.de/db/conf/sat… |
三、 C 类
| 序号 | 会议简称 | 会议全称 | 出版社 | 网址 |
|---|---|---|---|---|
| 1 | CSL | Computer Science Logic | Springer | dblp.uni-trier.de/db/conf/csl… |
| 2 | FMCAD | Formal Methods in Computer-Aided Design | ACM | dblp.uni-trier.de/db/conf/fmc… |
| 3 | FSTTCS | Foundations of Software Technology and Theoretical Computer Science | Indian Association for Research in Computing Science | dblp.uni-trier.de/db/conf/fst… |
| 4 | DSAA | IEEE International Conference on Data Science and Advanced Analytics | IEEE | dblp.uni-trier.de/db/conf/dsa… |
| 5 | ICTAC | International Colloquium on Theoretical Aspects of Computing | Springer | dblp.uni-trier.de/db/conf/ict… |
| 6 | IPCO | International Conference on Integer Programming and Combinatorial Optimization | Springer | dblp.uni-trier.de/db/conf/ipc… |
| 7 | RTA | International Conference on Rewriting Techniques and Applications | Springer | dblp.uni-trier.de/db/conf/rta… |
| 8 | ISAAC | International Symposium on Algorithms and Computation | Springer | dblp.uni-trier.de/db/conf/isa… |
| 9 | MFCS | Mathematical Foundations of Computer Science | Springer | dblp.uni-trier.de/db/conf/mfc… |
| 10 | STACS | Symposium on Theoretical Aspects of Computer Science | Springer | dblp.uni-trier.de/db/conf/sta… |
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
![[桜井宁宁]COS和泉纱雾超可爱写真福利集-一一网](https://www.proyy.com/skycj/data/images/2020-12-13/4d3cf227a85d7e79f5d6b4efb6bde3e8.jpg)
![[桜井宁宁] 爆乳奶牛少女cos写真-一一网](https://www.proyy.com/skycj/data/images/2020-12-13/d40483e126fcf567894e89c65eaca655.jpg)
