Electronic Colloquium on Computational Complexity, Report No. 22 (2006) On the Compressibil

合集下载

清华会议分级

清华会议分级

12. 13. 14. 15. 16. 17. 18.
ISSTA ISWC CAV ECOOP IMC PODC SC
International workshop on Peer-To-Peer Systems (方向较窄,在一个参考列表中 RANK2) Symposium on Interactive 3D Graphics (方向较窄,已有 SIGGRAPH 在 RANK1 中) Interational Symposium on Mobile Ad Hoc Networking and Computing (移动网络与计算方面的会议,已有 MOBICOM 在 RANK1 中) Aspect-Oriented Software Development (领域较窄,软件工程领域 ICSE 在 RANK1 中) EUROSYS (已有 OSDI,SOSP 在 RANK1 中) USENIX Annual Technical Conference, General Track (操作系统领域的会议,已有 OSDI,SOSP 在 RANK1 中) ACM SenSys (领域较窄,RANK1 中 SIGCOMM,INFOCOMM 可涵盖) USENIX Security Symposium (安全方面的会议,相关领域已有 CCS 和 S&P 在 RANK1 中) Computer Security Foundations Workshop (在两个参考列表中 RANK2) ACM Conference on Electronic Commerce (方向较窄) Network and Distributed System Security Symposium (分布式系统安全会议,进入 RANK1.5 的理由同 上) International Symposium on Software Testing and Analysis (方向较窄) International Semantic Web Conference (领域较窄,WWW 在 RANK1 中可覆盖) Computer Aided Verification (领域较窄) European Conference on Object-Oriented Programming (在一个列表中为 RANK2, and one RANK1) Internet Measurement Conference/Workshop (IMC/IMW) Symposium on Principles of Distributed Computing (领域较窄,rank1 中 SOSP、OSDI 可涵盖) Supercomputing (超级计算最好的会议,可由 RANK1 中 PPOPP

用英语介绍电子信息科学与技术的作文

用英语介绍电子信息科学与技术的作文

Electronic Information Science andTechnology: Shaping the Future of OurWorldIn the rapidly advancing technological era, Electronic Information Science and Technology (EIST) has emerged as a critical discipline, driving innovations andtransformations across various industries. EIST is an interdisciplinary field that combines electronics, computer science, telecommunications, and information technology to create, process, transmit, and utilize information efficiently.The foundation of EIST lies in the principles of electronics, dealing with the emission, flow, and controlof electrons. Electronics is the backbone of modern technology, powering devices such as computers, smartphones, and tablets. The integration of electronics with otherfields has led to the development of advanced technologies like semiconductors, transistors, and integrated circuits, which are crucial for information processing and storage.Computer science, another key component of EIST, deals with the design, development, and implementation ofcomputer systems and software. It encompasses algorithms, data structures, programming languages, software engineering, and more. The applications of computer science are vast, ranging from website development and mobile apps to artificial intelligence and machine learning.Telecommunications, another integral part of EIST, involves the transmission and reception of information over distances. It encompasses wired and wireless technologies such as cables, optical fibers, radios, satellites, and the internet. Telecommunications has revolutionized communication, making it possible to stay connected with people across the globe in real-time.Information technology, the final component of EIST, deals with the management and processing of information. It involves databases, data mining, data analytics, cybersecurity, and more. Information technology has become essential in businesses, governments, and other organizations, enabling them to store, retrieve, and analyze vast amounts of data efficiently.The convergence of these four fields in EIST has led to the development of innovative technologies that arerevolutionizing our world. From smartphones and social media platforms to cloud computing and the internet of things, EIST has enabled the creation of interconnected systems that are transforming the way we live, work, and communicate.Moreover, EIST is playing a crucial role in addressing global challenges such as climate change, healthcare, and education. For instance, the integration of EIST with renewable energy sources is helping to develop more efficient and sustainable energy systems. Additionally, EIST is enabling advancements in medical diagnostics, treatment, and remote healthcare delivery, improving patient outcomes and access to healthcare.In conclusion, Electronic Information Science and Technology is a transformative field that is shaping the future of our world. Its impact is felt across various industries, and its potential is limitless. As we continue to harness the power of EIST, we can look forward to a future where technology will bring about even more innovations and improvements in our lives.**电子信息科学与技术:塑造我们的未来世界**在科技飞速发展的时代,电子信息科学与技术(EIST)已经成为一个至关重要的学科,它驱动着各个行业的创新和变革。

中国计算机学会推荐国际学术会议和期刊目录AB

中国计算机学会推荐国际学术会议和期刊目录AB

IFIP International Conferences on Networking
International Conference on Network Protocols International Conference on Pervasive Computing and Communications Internet Measurement Conference International Symposium on Mobile Ad Hoc Networking and Computing International Workshop on Quality of Service
3 4 5 6
Eurocrypt
ESORICS CSFW RAID
7 8 9 10 11
NDSS DSN
ISOC Network and Distributed System Security Symposium The International Conference on Dependable Systems and Networks Theory of Cryptography Conference USENIX Security Symposium Workshop on Information Hiding
Annual Computer Security Applications Conference
CRYPTO 会议简称
ACSAC
B类
序号 1
2
ASIACRYPT
Annual International Conference on the Theory and Application of Cryptology and Information Security Annual International Conference on the Theory and Applications of Cryptographic Techniques European Symposium on Research in Computer Security IEEE Computer Security Foundations Workshop International Symposium on Recent Advances in Intrusion Detection

2014年同济大学土木工程学院推荐会议目录(官方权威版本)

2014年同济大学土木工程学院推荐会议目录(官方权威版本)

1年
32
37
2年
10
38
3年
11
39
国际滑坡与 工程边坡会 议
International Symposium on Landslides (ISL)
国际土力学与岩土 工程协会 (ISSMGE)
4年
10
评 审
40
国际环境水 力学研讨会 国际环境振 动会议
41
International Symposium on Environmental Hydraulics(ISEH) International Symposium on Environmental Vibrations
1年
审 稿 评 审 审 稿
25 26 27 28
1年 2年 2年 4年 5 14 33
审 稿
序号
会议名称 中文名称 国际断裂与 损伤学术会 议 英文名称 International Conference on Fracture and Damage Mechanics(FDM)
主办机构
会议频 已开次 论文采国内相关 次 数 纳机制学术机构 1年 9 评 审 中国 岩石 力学 与工 程协 会
国际水利工程与研 究协会(IAHR) 国立台湾大学土木 工程研究所
4年
评 审 5 评 审 中国 土木 工程 学会 风工 程委 员会
2年
42
国际计算风 工程会议
International Symposium on Computational Wind Engineering
国际风工程协会
4年
评 审
序号
2年
7
评 审16ຫໍສະໝຸດ 钢管结构国 际会议 钢结构的断 裂与延性国 际研讨会 钢结构国际 会议 钢结构进展 国际会议 钢与组合结 构国际会议 国际高层建 筑会议 工程先进材 料与过程国 际会议

CCF公布推荐的国际学术会议和期刊目录(Total)

CCF公布推荐的国际学术会议和期刊目录(Total)

CCF公布推荐的国际学术会议和期刊目录经过3年多的工作,CCF推荐的国际学术会议和期刊目录现予公布。

本目录包括数据库、软件工程、计算机网络、计算机图形学(几何造型、多媒体、可视化、虚拟现实)、计算机体系结构、计算机科学理论、人工智能与模式识别、网络与信息安全等八个方向的国际学术会议及期刊目录和一个综合类的国际学术期刊目录,供国内高校和科研单位作为学术评价的参考依据。

目录中,刊物和会议分为A、B、C三档。

A类表示国际上极少数的顶级刊物和会议,鼓励我国学者去突破;B类是指国际上著名和非常重要的会议、刊物,代表该领域的较高水平,鼓励国内同行投稿;C类指国际上重要、为国际学术界所认可的会议和刊物。

早在2005年12月17日,CCF YOCSEF就举办了“从SCI反思中国的学术评价体制”的专题论坛,探讨为何SCI会成为衡量大学、科研机构和科学工作者学术水平的最重要的甚至是唯一的尺度,提出了如何建立中国公正合理的学术评价体制的问题。

这次论坛,在国内引起了强烈的反响。

李国杰理事长在各种场合多次呼吁要重视在顶级国际学术会议上发表论文,希望CCF拿出顶级学术会议和重要学术期刊的目录,提供给各高校和科研单位做学术水平评价的参考。

此后,CCF委托YOCSEF学术委员会组织此项工作,经过调研、分析、选择试点方向、收集整理资料、研讨、向学术界公开征集意见、报常务理事会审议、学术工作委员会再修订等过程,最终推出目前的推荐目录表。

这些分类目录每年将根据具体情况进行修订。

2010年9月附:国际学术会议及期刊目录计算机科学理论 (2)计算机体系结构 (8)计算机网络 (14)人工智能与模式识别 (19)软件工程 (28)数据库 (35)计算机图形学、几何造型、多媒体、可视化、虚拟现实等方向,不含算机视觉与模式识别 (42)网络/信息安全 (46)综合类刊物 (51)第 1 页 共 51 页中国计算机学会推荐国际学术刊物计算机科学理论一、A类序号刊物简称刊物全称出版社网址1.TALG ACM Transactions on Algorithms ACM /2.SICOMP SIAM Journal on Computing Society for Industrial andApplied Mathematics/sicomp二、B类序号刊物简称刊物全称出版社网址1.TOCL ACM Transactions on Computational Logic ACM /rmation & Computation Elsevier /locate/ic3.TIT IEEE Transactions on Information Theory IEEE /portal/site/mainsite/menuitem.81 8c0c39e85ef176fb2275875bac26c8/index.jsp?&pNa me=corp_level1&path=pubs/transactions&file=tit.x ml&xsl=generic.xsl&4.TCS Theoretical Computer Science Elsevier /locate/tcs5.Formal Aspects of Computing Springer /content/102822/6.Acta Informatica Springer /content/100460/7. MSCS Mathematical Structures in Computer Science Cambridge University /action/displayJournal?jid=MSC8.Algorithmica Springer /link.asp?id=100117putational Complexity Springer /content/101499/10.Journal of Complexity Birkhäuser Basel第 2 页 共 51 页11. JSL Journal of Symbolic Logic Association forSymbolic Logic/journals-journal.html12. APAL Annuals of Pure and Applied Logic Elsevier /wps/find/journaldescription.cws_home/505603/description#description13.Discrete Applied Mathematics Elsevier /wps/find/journaldescription.cws_home/505609/description#description14. JSC Journal of Symbolic Computation Elsevier /wps/find/journaldescription.cws_home/622902/description#description LMCSLogical Methods in Computer Science /index.php三、C类序号刊物简称刊物全称出版社网址1. IJFCS International Journal of Foundations ofComputer ScienceWorld Scientific /~ijfcs/2.Discrete Event Dynamic Systems – Theory andApplications Springer /math/applications/journal/106263.Formal Methods in System Design Springer /content/100266/4. HOSC Higher-Order and Symbolic Computation Springer /computer/foundations/journal/109905.Archive for Mathematical Logic Springer /math/journal/153第 3 页 共 51 页中国计算机学会推荐国际学术会议(计算机科学理论)一、A类序号会议简称会议全称出版社网址1. STOC ACM Symposium on Theory of Computing ACM /stoc/2. FOCS IEEE Symposium on Foundations of ComputerScienceIEEE /二、B类序号会议简称会议全称出版社网址1. LICS IEEE Symposium on Logic in Computer Science IEEE http://wwwrmatik.hu-berlin.de/lics/2. ICALP International Colloquium on Automata, Languagesand Programming EuropeanAssociation forTheoreticalComputer Science(EATCS)http://icalp09.cti.gr/index.php/Main/HomePage3. SCG ACM Symposium on Computational Geometry ACM /4. SODA ACM/SIAM Symposium on Discrete Algorithms SIAM /meetings/da07/5. SPAA ACM Symposium on Parallel Algorithms andArchitecturesACM /SPAA/ 6. CCC IEEE Conference on Computational Complexity IEEE /jrogers/Complexity/第 4 页 共 51 页第 5 页 共 51 页7. CSFW IEEE Computer Security Foundations WorkshopIEEE /CSFWweb/8. DATE IEEE/ACM Design, Automation & Test in Europe Conference IEEE/ACM /9. ISIT IEEE Symposium on Information Theory IEEE /10. CP International Conference on Principles & Practice of Constraint ProgrammingSpringer http://www.cs.mu.oz.au/cp2008/11. TACAS Tools and Algorithms for the Construction and Analysis of SystemsSpringer /~tacas2008/ 12. RTA Rewriting Techniques and Applications Springer http://rewriting.loria.fr/rta/13. TLCA Typed Lambda Calculi and Applications Springer http://www.lsv.ens-cachan.fr/rdp07/tlca.html 14. CSL Computer Science LogicSpringer/oucl/conferences/CSL05/15. MFPS Mathematical Foundations of Programming SemanticsElsevier /~mfps/ 16. TCS IFIP International Conference on Theoretical Computer Science Springer Science and Business Media http://bioinformatics.bio.disco.unimib.it/tc1/ 17. STACS International Conference on Theoretical Aspects of Computer ScienceSpringer http://www.lif.univ-mrs.fr/STACS06/ 18. MFCS Mathematical Foundations of Computer ScienceSpringerhttp://www.mfcs.sk/19. FCT International Symposium Fundamentals of Computation Theory Springer http://www.conferences.hu/fct2007/ 20.FSTTCSConference on Foundations of Software Technology and Theoretical Computer Science IARCS, the Indian Association for/第 6 页 共 51 页Research in Computing Science21.ICLPInternational Conference on Logical ProgrammingSpringerhttp://iclp08.dimi.uniud.it/三、C 类序号会议简称会议全称出版社网址1. CGOInternational Symposium on Code Generation and Optimization IEEE/ACM / 2. PEPMPartial Evaluation and Program ManipulationACM/PEPM083. CSB IEEE Computational Systems Bioinformatics Conference IEEE /4. FoSSaCS International Conference on Foundations of Software Science and Computation Structures Springer http://fossacs08.pps.jussieu.fr/5. iFM integrated Formal MethodsSpringer/ifm2007/6. APLAS Asian Symposium on Programming Languages and SystemsSpringer /~grama/APLAS2008/ 7. ATVA International Symposium on Automated Technology for Verification and AnalysisSpringer http://pswlab.kaist.ac.kr/atva2008/ 8. TAMC Theory and Applications of Models of ComputationSpringer /tamc2008/page/main.jsp 9. FORMATSInternational Conference on Formal Modeling and Analysis of Timed SystemsSpringer http://formats08.inria.fr/ 10.HSCC International Conference on Hybrid Systems: Computation and ControlACM, Springer/Springer /11.CIAA International Conference on Implementation andApplication of AutomataSpringer /spin08/ 12.SPIN International SPIN Workshop on Model CheckingSoftwareSpringer /vmcai08/Conference on Verification, Model13.VMCAI InternationalChecking, and Abstract InterpretationSpringer http://www-sop.inria.fr/oasis/FMCO/fmco08.htmlSymposium on Formal Methods for14.FMCO InternationalComponents and ObjectsConference on Formal Methods forSpringer http://discotec08.ifi.uio.no/FMOODS08/ 15.FMOODS InternationalOpen Object-based Distributed SystemsIEEE /memocontest08/International Conference on Formal16.MEMOCODE ACM/IEEEMethods and Models for Co-Design第 7 页 共 51 页中国计算机学会推荐国际学术刊物计算机体系结构一、A类序号刊物简称刊物全称出版社网址1. TOCS ACM Transactions on Computer Systems ACM /2. TOPLAS ACM Transactions on Programming Languagesand Systems ACM http:///~toplas/3. TPDS IEEE Transactions on Parallel and DistributedSystemsIEEE /tpds/4. TOC IEEE Transactions on Computers IEEE /portal/web/tc二、B类序号刊物简称刊物全称出版社网址1. TACO ACM Transactions on Architecture and CodeOptimizationACM /2. TOS ACM Transactions on Storage ACM /3. CAL IEEE Computer Architecture Letters IEEE /~tcca/4. JSA Journal of Systems Architecture Elsevier /locate/sysarc/5. JPDC Journal of Parallel and Distributed Computing Elsevier /wps/find/journaldescription.cws_home/622895/description6.Parallel Computing Elsevier /locate/parco第 8 页 共 51 页7.Performance Evaluation Elsevier /wps/find/journaldescription.cws_home/505618/description#description8. TECS ACM Transactions on Embedded ComputingSystemsACM 9. TJS The Journal of Supercomputing Springer /link.asp?id=100302三、C类序号刊物简称刊物全称出版社网址1. FGCSFuture Generation Computer Systems Elsevier /wps/find/journaldescription.cws_home/505611/description#description2.Microprocessors and Microsystems Elsevier /locate/micpro3.Design Automation for Embedded System Springer /link.asp?id=1002554.Concurrency and Computation: Practice andExperience John Wiley & Sons,Ltd/journal/117946197/grouphome/home.html第 9 页 共 51 页第 10 页 共 51 页中国计算机学会推荐国际学术会议(计算机体系结构)一、A 类序号会议简称会议全称出版社网址1. ISCA International Symposium on Computer ArchitectureACM SIGARCH, IEEE TCCA /pubs/contents/proceedings/series/isca/2. MICRO MICRO IEEE, ACM SIGMICRO/3. HPCA High-Performance Computer ArchitectureIEEE /~hpca/二、B 类序号会议简称会议全称出版社网址1. ASPLOS Architectural Support for Programming Languages and Operating SystemsACMSIGOPS/SIGARCH/SIGPLAN /pubs/contents/proceedings/serie s/asplos/2. FAST Conference on File and Storage Technologies USENIX /events/bytopic/fast.html3. PACT Parallel Architectures and Compilation Techniques IEEEACM SIGARCH/ 4. PPoPPPrinciples and Practice of Parallel Programming ACM SIGPLAN/ppopp08/5. SPAAACM Symposium on Parallelism in Algorithms and ArchitecturesACM /~spaa/2007/6. SIGMETRICS International Conference on Measurement andModeling of Computer Systems ACMSIGMETRICS/~sigmet08/7. RTSS Real-Time Systems Symposium IEEE /8. ICCD International Conference on Computer Design IEEE /9. MSST Mass Storage Systems and Technologies IEEE /2007/10. HOTCHIPS A Symposium on High Performance Chips IEEE /11. HPDC High-Performance Distributed Computing IEEE /hpdc2007/12.CLUSTER Cluster Computing IEEE /13.IPDPS International Parallel & Distributed ProcessingSymposiumIEEE 14.EuroSys EuroSys ACMhttp://www.gsd.inesc-id.pt/conference/EuroSys2007/15.ICDCS International Conference onDistributed Computing SystemsIEEE http://www.eecg.utoronto.ca/icdcs07/16.ICPP International Conference on Parallel Processing IEEE /~icpp2007/17.Euro-Par European Conference on Parallel and DistributedComputingSpringer http://europar2007.irisa.fr/18.FPGA International Symposium on Field-ProgrammableGate ArraysACM SIGDA /~kati/fpga2008/19.LCTES Conference on Language, Compiler and ToolSupport for Embedded SystemsACM SIGEBD /第 11 页 共 51 页第 12 页 共 51 页三、C 类序号会议简称会议全称出版社网址1. FPT International Conference on Field-Programmable TechnologyIEEE http://www.kameyama.ecei.tohoku.ac.jp/icfpt07/2. HiPC International Conference on High Performance ComputingIEEE, ACM SIGARCH / 3. ISCAS International Symposium on Circuits and SystemsIEEE/4. HiPEAC International Conference on High Performance and Embedded Architectures and CompilersSpringer /conference/ 5.ICPADSInternational Conference on Parallel and Distributed SystemsIEEE .au/conferences/icpads2008/?print_friendly=true6. CCGRID Cluster Computing and the GridIEEE http:// ccgrid07.lncc.br 7. GRID International Conference on Grid ComputingIEEE/ACM/8. ANCS Architectures for Networking and Communications Systems ACM/IEEE /9. CGOCode Generation and Optimization IEEE/ACM /10. HotOS Workshop on Hot Topics in Operating Systems USENIX/events/hotos03/11.CASESInternational Conference on Compilers, Architectures, and Synthesis for Embedded SystemsACM http://www.irit.fr/recherches/ARCHI/MARCH/CAS ES2007/index.htm 12. ICS International Conference on SupercomputingACM/13.CODES+ISSS International Conference on Hardware/SoftwareACM, IEEE /Codesign & System Synthesis14.RTAS Real-Time and Embedded Technology andIEEE / Applications Symposium15.EMSOFT International Conference on Embedded Software ACM /16.VEE Virtual Execution Environments ACM /17. FCCM Field-Programmable Custom Computing Machines IEEE /18.FPL Field Programmable Logic and Applications IEEE http://ce.et.tudelft.nl/FPL/19. SC International Conference for High PerformanceIEEE /Computing, Networking, Storage, and Analysis20. HotInterconnects Symposium on High-Performance Interconnects IEEE /第 13 页 共 51 页中国计算机学会推荐国际学术刊物计算机网络一、A类序号刊物简称刊物全称出版社网址IEEE /net/1. TON IEEE/ACM Transactions on Networking ACM,IEEE /dl/jrnal/jsac.html2. JSAC IEEE Journal of Selected Areas inCommunications3. TOIT ACM Transactions on Internet Technology ACM /二、B类序号刊物简称刊物全称出版社网址1. TMC IEEE Transactions on Mobile Computing IEEE /portal/web/tmc2. CN Computer Networks Elsevier /locate/comnet3. TOC IEEE Transactions on Communications IEEE /dl/jrnal/transcom.html4. TOSN ACM Transactions on Sensor Networks ACM /5. CCR Computer Communication Review ACM /ccr/6. TWC IEEE Transactions on Wireless Communications IEEE /dl/jrnal/twc.htmlACM /7. TOMCCAP ACM Transactions on Multimedia Computing,Communications and Applications第 14 页 共 51 页三、C类序号刊物简称刊物全称出版社网址1. TVT IEEE Transactions on Vehicular Technology IEEE /puter Communications Elsevier /locate/comcomworks John Wiley & Sons,Ltd. /WileyCDA/WileyTitle/productC d-NET.html4.Wireless Communications & Mobile Computing John Wiley & Sons,Ltd. /WileyCDA/WileyTitle/productC d-WCM.html5.Ad hoc Networks Elsevier /locate/adhoc6. JPDC Journal of Parallel and Distributed Computing Elsevier /wps/find/journaldescription.cws_home/622895/description#description7. JNCA Journal of Network and Computer Applications Elsevier /wps/find/products_in_subject_and_group.cws_home/6228938.Wireless Networks Springer /engineering/signals/journal/112769. JCN Journal of Communications and Networks Korean Informationand CommunicationsSocietyhttp://jcn.or.kr/10. MONET Mobile Networks & Applications Springer /engineering/signals/journal/1103611. JHSN Journal of High Speed Networks IOS Press /content/103170/12.IET Communications IET /IET-COM13.Peer-to-Peer Networking and Applications Springer /engineering/signals/journal/12083第 15 页 共 51 页中国计算机学会推荐国际学术会议(计算机网络)一、A类序号会议简称会议全称出版社网址1. SIGCOMM Special Interest Group on Data Communication ACM /ACM /mobicom/2008/2. MOBICOM Special Interest Group on Mobility of Systems,Users, Data and Computing3. INFOCOM Conference on Computer Communications IEEE /confs/infocom/2008/二、B类序号会议简称会议全称出版社网址1. SenSys ACM Conference on Embedded NetworkedACM /2008/organizers.htmlSensor SystemsIEEE .hk/~percom08/2. Percom International Conference on Pervasive Computingand Communications3. IMC Internet Measurement Conference ACM/USENIX /imc-2008/4. IWQoS International Workshop on Quality of Service IEEE http://iwqos08.ewi.utwente.nl/ACM /co-next2008/5. CoNEXT ACM International Conference on emergingNetworking EXperiments and TechnologiesUSENIX /event/nsdi08/6.NSDI Symposium on Network System Design andImplementation第 16 页 共 51 页第 17 页 共 51 页7.Networking International Conferences on Networking IFIP .sg/SCE/networking2008/8. MobiHocInternational Symposium on Mobile Ad Hoc Networking and Computing ACM/IEEE /mobihoc/2008/ 9. ICNP International Conference on Network Protocols IEEE/homes/fahmy/icnp2008/ 10.IPTPSInternational workshop on Peer-To-Peer SystemsACM/USENIX/三、C 类序号 会议简称会议全称出版社网址1. IPSN International Conference on Information Processing in Sensor Networks IEEE/ACM /2008/2. ISCC IEEE Symposium on Computers and CommunicationsIEEE /iscc/2008/ 3. IM IFIP/IEEE International Symposium on Integrated Network Management IFIP/IEEE /2007/_rubric/index.php_rubr ic=Home.html 4. MSWiMInternational Conference on Modeling, Analysis and Simulation of Wireless and Mobile SystemsACM http://www.cs.unibo.it/projects/mswim2008/ 5.SECON IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks IEEE /6. NOMS Network Operations and Management SymposiumIFIP/IEEE http://www2.dcc.ufmg.br/eventos/noms2008/ 7. LCN IEEE Conference on Local Computer NetworksIEEE /8.FORTEFormal Techniques for Networked and Distributed SystemsSpringer http://www-higashi.ist.osaka-u.ac.jp/FORTE08/9.HotNets The Workshop on Hot Topics in Networks ACM /learn/hotnets-workshop/ACM /10.NOSSDA V Network and Operating System Support forDigital Audio and VideoIEEE /11.WCNC IEEE Wireless Communications & NetworkingConferenceIEEE /12. Globecom IEEE Global Communications Conference,incorporating the Global Internet Symposium13. ICC International Conference on Communications IEEE /第 18 页 共 51 页中国计算机学会推荐国际学术刊物人工智能与模式识别一、A类序号刊物简称刊物全称出版社网址Intelligence ELSEVIER/science/journal/000437021. AI ArtificialIEEE /tpami/2.TPAMI IEEE Trans on Pattern Analysis and MachineIntelligence3.JMLR Journal of Machine Learning Research MIT Press /4.IJCV International Journal of Computer Vision Springer /content/二、B类序号刊物简称刊物全称出版社网址Learning Springer /content/1.Machine2.Neural Computation MIT Press /putational Linguistics MIT Press /loi/coliResearch AAAI /AI4. JAIR Journalof5.TEC IEEE Trans on Evolutionary Computation IEEE /pubs/tecIntelligence Blackwell /putationalScience Elsevier /wps/product/cws_home/627.Cognitive01948.TNN IEEE Trans on Neural Networks IEEE /xpl/RecentIssue.jsp?punumber=72第 19 页 共 51 页第 20 页 共 51 页9. Evolutionary Computation MIT Press/journal-home.tcl?issn=1063656010.IEEE Transaction on Speech and Audio Processing IEEE /xpl/RecentIssue.jsp?punu mber=8911. Pattern Recognition ELSEVIER /locate/pr 12. CVIU Computer Vision and Image Understanding ELSEVIER /locate/cviu 13. IS IEEE Intelligent Systems IEEE /intelligent/14.Artificial Intelligence ReviewSpringer/content/100240/15. Neural Networks ELSEVIER /locate/neunet 16. Machine Translation Springer /content/100310/ 17. T-RA IEEE Trans on Robotics and Automation IEEE /xpl/RecentIssue.jsp?punumber=7018. IJAR International Journal of Approximate Reasoning ELSEVIER /science/journal/0888613X19. KER Knowledge Engineering Review Cambridge /journals/20. DKE Data and Knowledge EngineeringELSEVIER/wps/product/cws_home/50560821. TCBB IEEE/ACM Trans on Computational Biology and BioinformaticsIEEE /tcbb/index.htm 22. T-ITB IEEE Transactions on Information Technology in Biomedicine IEEE http://www.vtt.fi/tte/samba/projects/titb/titb_informa tion/scope.html 23. TFS IEEE Transactions on Fuzzy SystemsIEEE/xpl/RecentIssue.jsp?punumber=9124.TSLPACM Transactions on Speech and Language ProcessingACM /pubs/tslp.html25.TALIP ACM Transactions on Asian LanguageInformation ProcessingACM /26.JournalofAutomatedReasoning Springer /computer/foundations/journal/1081727. AICom AICommunications IOS http://www.iospress.nl/html/09217126.html 三、C类序号刊物简称刊物全称出版社网址1. IDA IntelligentDataAnalysis ELSEVIER /wps/locate/ida2.AppliedIntelligence Springer /content/100236/3.SMC IEEE Trans on Systems, Man, & Cybernetics, PartA &B &C IEEE /xpl/RecentIssue.jsp?punumber=34774. NLE NaturalLanguageEngineering CambridgeUniversity/5.AMAI Annals of Mathematics and Artificial Intelligence Springer /sgw/cda/frontpage/0,11855,5-147-70-35674745-0,00.html6.IJDAR International Journal of Document Analysis andRecognitionSpringer /content/101562/ 7. KBS Knowledge-BasedSystems ELSEVIER /locate/knosys8.Neurocomputing ELSEVIER /locate/neucom9.NCA Neural Computing & Applications Springer /content/102827/10.NPL Neural Processing Letters Springer /content/100321/11.PRL Pattern Recognition Letters ELSEVIER /locate/patrec12.PAA Pattern Analysis and Applications Springer /content/ 103609/第 21 页 共 51 页13.Connection Science Taylor & Francis /journals/tf/09540091.html14.AIM Artificial Intelligence in Medicine Elsevier /wps/product/cws_home/15.DSS Decision Support Systems Elsevier /wps/product/cws_home/16.IVC Image and Vision Computing ELSEVIER /science/journal/andApplications Springer /sgw/cda/ Vision17.MachineImageAnalysis Elsevier /wps/product/cws_home/ 18.MedicalComputing Springer /sgw/cda/ 19.NaturalComputing Springer /sgw/cda/20.Soft21.ESWA Expert Systems with Applications ELSEVIER /wps/product/cws_home/22.EAAI Engineering Applications of Artificial Intelligence ELSEVIER /wps/find/journaleditorialboard.cws_home/975/editorialboardSystems Blackwell / 23.ExpertWorld Scientific .sg/ijprai/ijprai.shtml24.IJPRAI International Journal of Pattern Recognition &Artificial Intelligence25.IJIS International Journal of Intelligent Systems Wiley InterScience /journal/36062/home?CRETRY=1&SRETRY=026.IJNS International Journal of Neural Systems World Scientific .sg/journals/ijns/27.AAI Applied Artificial Intelligence Taylor & Francis /journals/tf/08839514.html28.Cybernetics and Systems Taylor & Francis /journals/tf/01969722.htmlCommunications ELSEVIER /locate/specom29.Speechputer Speech and Language ELSEVIER /locate/csl31.WIAS Web Intelligence and Agent Systems IOS http://www.iospress.nl/site/html/15701263.html32.Fuzzy Sets and Systems ELSEVIER /wps/product/cws_home/第 22 页 共 51 页33.IEE Proceedings: Vision, Image and Signal IEEE /xpl/World Scientific .sg/ijcia/ijcia.shtml34.IJCIA International Journal of ComputationalIntelligence and ApplicationsTaylor & Francis /journals/tf/0952813X.html35.JETAI Journal of Experimental and Theoretical ArtificialIntelligence36.International Journal of Uncertainty, FuzzinessWorld Scientific /ijufks/ijufks.shtml and KBS37.IJAES International Journal of Applied Expert Systems Taylor Granham /~acc025/ijaes.html38.Artificial Life MIT Press /journal-home.tcl?issn=1064546239.AAMAS Autonomous Agents and Multi-Agent Systems Springer /content/102852/中国计算机学会推荐国际学术会议(人工智能与模式识别)一、A类序号会议简称会议全称出版社网址Morgan Kaufmann 1.IJCAI International Joint Conference on ArtificialIntelligence2.ICCV International Conference on Computer Vision IEEE /3.ICML International Conference on Machine Learning ACM /conferences/icml2007/IEEE /4.CVPR IEEE Conference on Computer Vision and PatternRecognition5.AAAI AAAI Conference on Artificial Intelligence AAAI 第 23 页 共 51 页二、B类序号会议简称会议全称出版社网址MIT Press 6.NIPS Annual Conference on Neural InformationProcessing SystemsMorgan Kaufmann /7.KR International Conference on Principles ofKnowledge Representation and ReasoningACL /8.ACL Annual Meeting of the Association forComputational LinguisticsSpringer /1.AAMAS International Joint Conference on AutonomousAgents and Multi-agent Systems2.ECCV European Conference on Computer Vision Springer http://eccv2008.inrialpes.fr/3.ECML European Conference on Machine Learning Springer 4.ECAI European Conference on Artificial Intelligence IOSPress http://www.ece.upatras.gr/ecai2008/Springer /colt2007/5.COLT Annual Conference on Computational LearningTheoryAUAI /6.UAI International Conference on Uncertainty inArtificial IntelligenceAAAI /7.ICAPS International Conference on Automated Planningand SchedulingSpringer /8.ICCBR International Conference on Case-BasedReasoning第 24 页 共 51 页第 25 页 共 51 页9. COLING International Conference on Computational LinguisticsACM / 10. ALT International Conference on Algorithmic Learning Theory Springer http://www-alg.ist.hokudai.ac.jp/~thomas/ALT07/alt 07.jhtml 11.ILPInternational Conference on Inductive Logic ProgrammingSpringer /conferences/ilp2007/ 12. ICRA IEEE International Conference on Robotics and Automation IEEE /13. CogSciCognitive Science Society Annual Conference Psychology Press /cogsci.html 14. IJCARInternational Joint Conference on Automated Reasoning15.EMNLPConference on Empirical Methods in Natural Language Processing ACL /~yarowsky/SIGDAT/emnlp06.html三、C 类序号 会议简称 会议全称出版社网址16. PRICAI Pacific Rim International Conference on Artificial IntelligenceSpringer / 17.NAACLThe Annual Conference of the North American Chapter of the Association for Computational LinguisticsNAACL /meetings/hlt-naacl07/1.ACCVAsian Conference on Computer VisionSpringerhttp://www.am.sanken.osaka-u.ac.jp/ACCV2007/2. IJCNN International Joint Conference on NeuralIEEE /NetworksIEEE /International Conference on Acoustics,3. ICASSP IEEESpeech and SP4.DS International Conference on Discovery Science Springer http://www.i.kyushu-u.ac.jp/~ds07/IEEE http://ictai07.ceid.upatras.gr/5.ICTAI IEEE International Conference on Tools withArtificial Intelligence6. ICANN InternationalConference on Artificial NeuralSpringer /NetworksIEEE /7. ICDAR InternationalConference on Document Analysisand RecognitionACM /gecco-2006/index.html 8.GECCO Genetic and Evolutionary ComputationConference9.CEC IEEE Congress on Evolutionary Computation IEEE .sg/InternationalConference on Fuzzy Systems IEEE /10. FUZZ-IEEE IEEE11.IJCNLP International Joint Conference on NaturalACL /Language ProcessingSpringer /12. ICONIP International Conference on Neural InformationProcessingACM13.CVIR International Conference on Content based Imageand Video RetrievalIEEE14.FGR International Conference on Face and GestureRecognition第 26 页 共 51 页15. ICB InternationalConference on Biometrics IEEE16.CoNLL Conference on Natural Language Learning CoNLL ts.ua.ac.be/conll2007/Springer .au/scitech/eit/ksem07/ 17. KSEM International conference on Knowledge Science,Engineering and ManagementConference on Pattern Recognition IEEE /18. ICPR International19.COSIT International Conference on Spatial InformationTheory第 27 页 共 51 页中国计算机学会推荐国际学术刊物软件工程一、A类序号刊物简称刊物全称出版社网址1. TOSEM ACM Transactions on Software EngineeringMethodologyACM /pubs/tosem/2. TSE IEEE Transactions on Software Engineering IEEE ComputerSociety/portal/site/transactions3. TOPLAS ACM Transactions on Programming Languages& SystemsACM /toplas二、B类序号刊物简称刊物全称出版社网址1.Automated Software Engineering Springer /computer/ai/journal/105152.Formal Methods in System Design Springer Netherlands /content/1572-8102/3.Empirical Software Engineering Springer /content/1573-7616/4. ASEAnnals of Software Engineering Springer /computer/swe/journal/1048 05.Formal Aspects of Computing Springer London /content/1433-299X/6.IEE Proceedings – Software the Institution ofEngineering andTechnology/Publish/Journals/Profjourn/Proc/sen/7.Journal of Software Maintenance: Research and John Wiley & Sons, /cgi-bin/jhome/5第 28 页 共 51 页Practice Ltd3918. SPESoftware: Practice and Experience John Wiley & Sons,Ltd/cgi-bin/jhome/17529. IJSEKE International Journal on Software Engineeringand Knowledge Engineering World Scientific .sg/journals/ijseke/ijseke.shtml10. JSS Journal of Systems and Software Elsevier Science /wps/find/journaldescription.cws_home/505732/description#description11. JPL Journal of Programming Languages Chapman & Hall http://elib.cs.sfu.ca/Collections/CMPT/cs-journals/P-ChapmanHall/J-ChapmanHall-JPL.html12. SCP Science of Computer Programming Elsevier Science /wps/find/journaldescription.cws_home/505623/description#description13. RE Requirements Engineering Journal Springer /content/1432-010X/三、C类序号刊物简称刊物全称出版社网址14.ACM SIGSOFT Software Engineering Notes ACM /SEN/15. FGCS Future Generations Computer Systems Elsevier Science /wps/find/journaldescription.cws_home/505611/description#description16. HOSC Higher-Order and Symbolic Computation Springer Netherlands /content/1573-0557/17. SEJ Software Engineering Journal Institution ofElectrical Engineers(IEE) /xpl/RecentIssue.jsp?punum ber=222518. STTT International Journal on Software Tools for Springer /content/1433-2787/第 29 页 共 51 页。

计算机b类刊物与会议分类信息

计算机b类刊物与会议分类信息
TCAD

31.
ACMTransactionsonInternetTechnology

32.
JournalofParallelandDistributedComputing
JPDC

33.
ACMTransactionsonEmbeddedComputingSystems
TECS

34.
IEEETransactionsonSystems,ManandCybernetics
113.
InternationalJournalofPatternRecognitionandArtificialIntelligence
IJPRAI
双月刊
114.
IEEETransactionsonSystem,Man,andCybernetics
SMC
月刊
115.
InternationalJournalofDocumentAnalysisandRecognition
AIR
月刊
106.
ArtificialLife
AF
月刊
107.
EvolutionaryComputation
EC
双月刊
108.
NeuralNetworks
NN
9/12
2
109.
InternationalJournalofKnowledge-BasedandIntelligentEngineeringSystems
KES
月刊
110.
ArtificialIntelligenceinEngineering
AIE
月刊
111.
ComputationalIntelligence:AnInternationalJournal

计算机学科领域高质量国际学术会议

计算机学科领域高质量国际学术会议

计算机学科领域高质量国际学术会议分区表1.AREA: Data Bases一区 (332)1.SIGMOD: ACM SIGMOD Conf on Management of Data (78)2.PODS: ACM SIGMOD Conf on Principles of DB Systems(30)3.VLDB: Very Large Data Bases (96)4.SIGKDD –ACM International Conference on Knowledge Discovery andData Mining (128)二区 (230)1.ICDE: Intl Conf on Data Engineering (93)2.EDBT /ICDT: EDBT/ICDT joint conference (27)3.ICDM - IEEE International Conference on Data Mining (70)4.SDM - SIAM Conference on Data Mining (40)2.AREA: Software Engineering:一区(225)1.ICSE: International Conference on Software Engineering (56)2.FSE: ACM Conference on the Foundations of Software Engineering (42)3.OOPSLA: ACM SIGPLAN Conference on Object-Oriented ProgrammingSystems, Languages and Applications (33)4.ASE: IEEE International Conference on Automated Software Engineering(94)二区 (230)1.ISSTA: ACM SIGSOFT International Symposium on Software Testing andAnalysis (33)2.ECOOP: European Conference on Object-Oriented Programming (27)3.ESEC: European Software Engineering Conference (50)4.ICSM: IEEE International Conference on Software Maintenance (40)5.RE: IEEE International Conference on Requirements Engineering (39)6.ICSR: International Conference on Software Reuse (41)3.AREA: Security:一区 (102)1.S&P: IEEE Symposium on Security and Privacy (28)S: ACM Conference on Computer and Communications Security (51)enix security: Usenix Symposium on Security (23)二区 (68)1.NDSS: ISOC Network and Distributed System Security Symposium (22)2.ACSAC: Annual Computer Security Applications (46)4.AREA: Architecture一区 (136)1.ISCA: ACM/IEEE Symp on Computer Architecture (37)2.MICRO: Intl Symp on Microarchitecture (35)3.HPCA: IEEE Symp on High-Perf Comp Architecture (34)4.PACT: IEEE Intl Conf on Parallel Architectures and CompilationTechniques (30)二区(22)1.ISPASS: IEEE International Symposium on Performance Analysis ofSystems and Software (22)5.AREA: Programming Languages:一区(95)1.PLDI: ACM-SIGPLAN Symposium on Programming Language Design &Implementation (34)2.POPL: ACM-SIGACT Symposium on Principles of ProgrammingLanguages (35)3.PPoPP: ACM SIGPLAN Symposium on Principles and Practice of ParallelProgramming(26)二区 (21)1.CGO: International Symposium on Code Generation and Optimization6.AREA: System Technology一区(114)1.OSDI: USENIX Operating Systems Design and Implementation (26/2=13)2.SOSP: ACM SIGOPS Symp on OS Principles (25/2=13)3.ASPLOS: Architectural Support for Prog Lang and OS (31)4.FAST: USENIX Conference on File and Storage Technologies (23)enix: Annual Usenix Technical Conference (34)二区(155)1.DSN: Annual IEEE/IFIP International Conference on Dependable Systemsand Networks (59)2.Eurosys: European Conference in Computer Systems (26)3.HOTOS: Workshop on Hot Topics in Operating Systems (24)4.SRDS: Symp on Reliable Distributed Systems (28)5.VEE: International Conference on Virtual Execution Environments. (18) 7.Distributed and Parallel Computing一区: (62)1.PODC: ACM Symposium on Principles of Distributed Computing (32)2.NSDI: Usenix Symposium on Networked Systems Design andImplementation (30)二区: (247)1.ICS: Intl Conf on Supercomputing (37)2.SC: ACM/IEEE Conf on High Performance Networking and Computing(65)3.HPDC: High Performance Distributed Computing (18)4.ICDCS: IEEE International Conference on Distributed ComputingSystems(74)5.SPAA: ACM Symposium on Parallel Algorithms and Architectures (53)8.AREA: Networking一区(125)1.SIGCOMM: ACM Conf on Comm Architectures, Protocols & Apps (36)2.MOBICOM: ACM SIGMOBILE Annual International Conference on MobileComputing and Networking (31)3.SIGMETRICS: ACM SIG on computer and communication metrics andperformance (36)4.MOBISYS: ACM SIGMOBILE International Conference on Mobile Systems,Applications, and Services (22)二区 (374)COM: Annual Joint Conf IEEE Comp & Comm Soc (311)2.MOBIHOC: The ACM International Symposium on Mobile Ad HocNetworking and Computing (44)3.IMC: Internet Measurement Conference(19)9.Area:Multimedia Processing,Vision,graphics一区(201)1.ICCV:International Conference on Computer Vision (47)2.SIGGRAPH (98)3.ACM MM:ACM Multimedia Conference (56)二区(133)1.CVPR:Computer Vision and Pattern Recognition (65)2.ECCV:European Conference on Computer Vision (40)Vis:IEEE Information Visualization Conference (28)10.A rea: AI ,NLP,Machine learning,Neural Networks一区(380)1.IJCAI:International Joint Conference on Artificial Intelligence (212/2=106)2.ICML:International Conference on Machine Learning (155)3.ACL:Association of Computational Linguistics (119)二区(581)1.AAAI:(227)2.UAI:Conference in Uncertainty in Artificial Intelligence (73)3.NIPS:Advances in Neural Information Processing (28)4.COLT:Annual Conference on Computational Learning Theory (47)5.CONLL:Conference on Computational Natural Language Learning (20)6.COLING:International Conference on Computational Linguistics (153/2=77)7.EMNLP:Conference on Empirical Methods on Natural Language Processing(109)11.A REA: Algorithms and Theory一区(172)1.STOC: ACM Symp on Theory of Computing (77)2.FOCS: IEEE Symp on Foundations of Computer Science (63)3.CRYPTO: Advances in Cryptology (32)二区 (442)1.SODA: ACM/SIAM Symp on Discrete Algorithms (139)2.ICALP:International Colloquium on Automata, Languages and Programming(128)3.ESA: European Symp on Algorithms (67)4.SCG: ACM Symp on Computational Geometry (42)5.EUROCRYPT: European Conf on Cryptography (33)6.TCC: Theory of Cryptography (33)12.A REA: Web and Service Computing一区(174)1.WWW: International World Wide Web Conference (89)2.SIGIR:ACM International Conference on Information Retrieval (85)二区 (225)1.WI:IEEE/WIC/ACM International Conferences on Web Intelligence (78)2.ISWC :International Semantic Web Conference (57)3.ICWS:The International Conference on Web Services (90)13.A REA: HCI and CSCW一区 (221)1.CHI: ACM SIGCHI Conference on Computer-Human Interaction (157)2.CSCW: the ACM Conference on Computer Supported Cooperative Work(64)二区 (85)1.UIST: ACM Symposium on User Interface Software and Technology (24)2.GROUP: ACM Conference on Supporting Group Work (38)3.ECSCW: European Conference on Computer-Supported Cooperative Work(23)14.A REA: embedded一区 (152)1.DAC: Design Automation Conference (152)二区(138)1.IC-SAMOS: International Conference on Embedded Computer Systems:Architectures, Modeling, and Simulation (31)2.LCTES: ACM conference on Languages, Compilers, and Tools forEmbedded Systems (17)3.EMSOFT: IEEE International conference on Embedded software (20)4.CASES: Intl Conf on Compilers, Architecture, and Synthesis for EmbeddedSystems (27)5.CODES+ISSS: International Conference on Hardware-Software Codesignand System Synthesis (43)。

国内外数学期刊网址大全

国内外数学期刊网址大全

重要数学期刊网址ACM Transactions on Mathematical Software 美国计算机学会数学软件学报 Advanced Robotics 高级机器人学/Advances in Applied Mathematics 应用数学Advances in Applied Probability 应用概率论进展/~apt/Advances in Computational Mathematics 计算数学进展http://www.wkap.nlAdvances in Mathematics 数学进展Algebra Colloquium 代数学讨论会Algebras and Representation Theory 代数和表示理论http://www.wkap.nlAmerican Mathematical Monthly 美国数学月刊/pubs/monthly.jan.toc.html American Statistician 美国统计员/Annals of Applied Probability 应用概率论年报http://www.maths.lth.se/Annals of Global Analysis and Geometry 整体分析与几何学年报http://www.wkap.nlAnnals of Mathematics and Artificial Intelligence 人工智能论题年报http://www.wkap.nlAnnals of Operations Research 运筹学研究年报http://www.wkap.nlAnnals of Probability 概率论年报http://www.maths.lth.se/Annals of Pure and Applied Logic 抽象和应用逻辑年报http://www.elsevier.nlAnnals of Statistics 统计学年报http://www.maths.lth.se/Annals of The Institute of Statistical Mathematics 统计数学学会年报http://www.wkap.nl Applicable Algebra in Engineering Communication and Computing 代数在工程通信与计算中的应用Applied and Computational Harmonic Analysis 调和分析应用和计算 Applied Categorical Structures 应用范畴结构http://www.wkap.nlApplied Mathematical Modelling 应用数学建模http://www.elsevier.nlApplied Mathematics and Computation 应用数学与计算http://www.elsevier.nlApplied Mathematics and Optimization 应用数学与最优化Applied Mathematics Letters 应用数学快报http://www.elsevier.nlArchive for History of Exact Sciences 科学史档案Archive for Mathematical Logic 数理逻辑档案Archive for Rational Mechanics and Analysis 理性力学和分析档案Archives of Computational Methods in Engineering 工程计算方法档案http://www.cimne.upc.es/Asymptotic Analysis 渐近线分析http://www.iospress.nlAutonomous Robots 机器人http://www.wkap.nlBritish Journal of Mathematical & Statistical Psychology 英国数学与统计心理学杂志Bulletin of The American Mathematical Society 美国数学会快报/Bulletin of the London Mathematical Society 伦敦数学会快报/~lms Calculus of Variations and Partial Differential Equations 变分法与偏微分方程Chinese Annals of Mathematics Series B 中国数学分析年报B辑http://www.wkap.nl Combinatorics Probability & Computing 组合概率与计算Combustion Theory and Modelling 燃烧理论建模Communications in Algebra 代数通讯Communications in Contemporary Mathematics 当代数学通讯 Communications in Mathematical Physics 数学物理学通讯S Communications in Numerical Methods in Engineering 工程数值方法通讯Communications in Partial Differential Equations 偏微分方程通讯 Communications in Statistics-Simulation and Computation 统计通讯–模拟与计算Communications in Statistics-Theory and Methods 统计通讯- 理论与方法Communications in Visual Mathematics 可视数学通讯/news/cvm.html Communications on Pure and Applied Mathematics 纯数学与应用数学通讯Computational Geometry-Theory and Applications 计算几何- 理论与应用http://www.elsevier.nlComputational Optimization and Applications 优化计算与应用http://www.wkap.nl Computational Statistics & Data Analysis 统计计算与数据分析http://www.elsevier.nlComputer Aided Geometric Design 计算机辅助几何设计http://www.elsevier.nlComputer Physics Communications 计算机物理通讯http://www.elsevier.nlComputers & Mathematics with Applications 计算机与数学应用http://www.elsevier.nlComputers & Operations Research 计算机与运筹学研究http://www.elsevier.nlConcurrent Engineering-Research and Applications 共点工程- 研究与应用Conformal Geometry and Dynamics 投影几何与力学/ertDecision Support Systems 决策支持系统http://www.elsevier.nlDesigns Codes and Cryptography 编码设计与密码系统http://www.wkap.nlDifferential Equations 微分方程gopher://:6200Differential Geometry and Its Applications 微分几何及其应用http://www.elsevier.nlDiscrete and Continuous Dynamical Systems 离散与连续动力系统/~journal/Discrete Applied Mathematics 应用离散数学http://www.elsevier.nlDiscrete Computational Geometry 离散计算几何学Discrete Event Dynamic Systems-Theory and Applications 离散事件动态系统- 理论和应用http://www.wkap.nlDiscrete Mathematics 离散数学http://www.elsevier.nlDynamics of Continuous Discrete and Impulsive Systems-Series A-Mathematical Analysis 连续和不连续及脉冲系统力学系统- 系列A - 数学分析http://www.monotone.uwaterloo.ca/~journalDynamics of Continuous Discrete and Impulsive Systems-Series B-Applications & Algorithms 连续和不连续及脉冲系统力学系统- 系列B - 应用和运算法则http://www.monotone.uwaterloo.ca/~journalEducational and Psychological Measurement 教育与心理测量方法 Engineering Analysis with Boundary Elements 工程边界元素分析http://www.elsevier.nl Engineering Computations 计算工程Ergodic Theory and Dynamical Systems 遍历理论和动力系统European Journal of Applied Mathematics 欧洲应用数学杂志European Journal of Combinatorics 欧洲组合数学杂志European Journal of Operational Research 欧洲运筹学杂志http://www.elsevier.nlExperimental Mathematics 实验数学/Expert Systems with Applications 专家系统应用http://www.elsevier.nlFinite Fields and Their Applications 有限域及其应用Foundations of Computational Mathematics 计算数学基础Fuzzy Sets and Systems 模糊集与模糊系统http://www.elsevier.nlGlasgow Mathematical Journal 英国格拉斯哥数学杂志Graphs and Combinatorics 图论与组合数学IEEE Robotics & Automation Magazine IEEE机器人与自动化杂志IEEE Transactions on Robotics and Automation IEEE机器人与自动化学报IMA Journal of Applied Mathematics IMA应用数学学报IMA Journal of Mathematics Applied in Medicine and Biology IMA数学在医药与生物中的应用杂志IMA Journal of Numerical Analysis IMA数值分析学报Industrial Robot 工业机器人Information and Computation 信息与计算Insurance Mathematics & Economics 保险数学和经济学http://www.elsevier.nlInternational Journal for Numerical Methods in Engineering 国际工程数值方法杂志International Journal for Numerical Methods In Fluids 国际流体数值方法杂志International Journal of Algebra and Computation 国际代数和计算杂志International Journal of Computational Geometry & Applications 国际计算几何应用杂志International Journal of Computer Integrated Manufacturing 国际计算机集成制造业国际杂志International Journal of Game Theory 国际对策论国际杂志 International Journal of Mathematics 国际数学杂志International Journal of Numerical Methods For Heat & Fluid Flow 国际热与液体流动数值方法杂志International Journal of Production Research 国际研究成果杂志 International Journal of Robotics Research 国际机器人研究杂志International Journal of Systems Science 国际系统科学杂志International Statistical Review 国际统计评论http://www.cbs.nl/isiInverse Problems 反比问题Journal of Algebra 代数学报Journal of Algebraic Combinatorics 代数组合数学学报http://www.wkap.nlJournal of Algebraic Geometry 代数几何学报/Journal of Algorithms 算法学报Journal of Applied Mathematics and Mechanics 数学应用与力学学报http://www.elsevier.nl Journal of Applied Probability 应用概率杂志/~apt/Journal of Applied Statistics 统计应用杂志Journal of Approximation Theory 近似值理论杂志Journal of Combinatorial Designs 组合设计学报Journal of Combinatorial Optimization 组合最优化学报http://www.wkap.nlJournal of Combinatorial Theory Series A组合理论学报A辑ttp://Journal of Combinatorial Theory Series B 组合理论学报B辑Journal of Computational Acoustics 声学计算杂志Journal of Computational Analysis and Applications 计算分析与应用学报http://www.wkap.nl Journal of Computational and Applied Mathematics 计算与应用数学杂志http://www.elsevier.nlJournal of Computational Biology 生物计算杂志/Journal of Computational Mathematics 计算数学学报/Journal of Computational Neuroscience 神经系统计算杂志http://www.wkap.nlJournal of Convex Analysis 凸分析学报http://www.heldermann.deJournal of Differential Equations 微分方程组学报Journal of Econometrics 计量经济学会会刊http://www.elsevier.nlJournal of Engineering Mathematics 工程数学学报http://www.wkap.nlJournal of Functional Analysis 泛函分析学报Journal of Geometry and Physics 几何学和物理学学报http://www.elsevier.nlJournal of Global Optimization 整体优化学报http://www.wkap.nlJournal of Graph Theory 图论理论学报Journal of Group Theory 群论理论学报http://www.degruyter.deJournal of Lie Theory 展开理论杂志http://www.heldermann.deJournal of Mathematical Analysis and Applications 数学分析和应用学报Journal of Mathematical Biology 数学生物学杂志Journal of Mathematical Economics 数学经济学学报http://www.elsevier.nlJournal of Mathematical Imaging and Vision 成像和视觉数学学报http://www.wkap.nlJournal of Mathematical Physics 数学物理学的杂志Journal of Mathematical Psychology 数学心理学杂志Journal of Multivariate Analysis 多变量分析杂志Journal of Nonlinear Science 非线性数学学报Journal of Number Theory 数论学报Journal of Operations Management 操作管理杂志http://www.elsevier.nlJournal of Pure and Applied Algebra 纯代数与应用代数学学报http://www.elsevier.nlJournal of Statistical Planning and Inference 统计规划和推论杂志http://www.elsevier.nlJournal of Symbolic Computation 符号计算学报Journal of the American Mathematical Society 美国数学会杂志/Journal of The American Statistical Association 美国统计学协会杂志/ Journal of the London Mathematical Society-Second Series 伦敦数学会杂志- 第二辑/~lmsJournal of the Royal Statistical Society Series B-Statistical Methodology 皇家学会系列杂志B 辑- 统计方法学Journal of The Royal Statistical Society Series C-Applied Statistics 皇家学会系列杂志C - 应用统计Journal of The Royal Statistical Society Series D-The Statistician 皇家学会系列杂志D - 统计学家Journal of Theoretical Probability 概率理论杂志http://www.wkap.nlK-Theory K-理论http://www.wkap.nlLecture Notes in Economics and Mathematical Systems 经济学和数学体系讲座http://www.springer.deLecture Notes on Mathematics 数学讲座http://www.springer.deLetters in Mathematical Physics 数学物理学通讯http://www.wkap.nlLinear Algebra and Its Applications 线性代数及其应用http://www.elsevier.nlMathematical Biosciences 数理生物学http://www.elsevier.nlMathematical Finance 数理财金学Mathematical Geology 数理地质学http://www.wkap.nlMathematical Intelligencer 数学情报Mathematical Logic Quarterly 数理逻辑学报http://www.wiley-vch.deMathematical Methods in the Applied Sciences 数学应用学科 Mathematical Methods of Operations Research 运筹学研究 Mathematical Models & Methods in Applied Sciences 数学模拟与应用方法Mathematical Physics Electronic J 数学物理电子杂志/mpej/MPEJ.htmlMathematical Proceedings of the Society 数学学会学报Mathematical Programming 数学规划Mathematical Social Sciences 数学社会科学http://www.elsevier.nlMathematics and Computers in Simulation 数学与电脑模拟http://www.elsevier.nlMathematics and Mechanics of Solids 数学与固体力学Mathematics Archives 数学档案库/Mathematics Magazine 数学杂志/pubs/mathmag.htlMathematics of Computation 计算数学/Mathematics of Control Signals and Systems 控制信号系统数学 mathematics of operations research 运筹学/Mathsearch 数学探索.au:8000/MathSearch.htmlMemoirs of the American Mathematical Society 美国数学会备忘录/Modem Logic 现代逻辑学/~pmilne/ml/home.htmlMultivariate Behavioral Research 多变量行为研究Nonlinear Analysis-Theory Methods & Applications 非线性分析- 理论与应用http://www.elsevier.nlNonlinearity 非线性特性Notices 短评/noticesNumerical Algorithms 数字算法http://www.wkap.nlNumerical Functional Analysis and Optimization 数字泛函分析和最优化Numerical Linear Algebra with Applications 数值线性代数及其应用Numerical Methods for Partial Differential Equations 偏微分方程式数值方法Optimal Control Applications & Methods 最优控制应用与方法Oxford Bulletin of Economics and Statistics 牛津大学经济与统计快报Pacific Journal of Mathematics 太平洋数学杂志/pjm.htmlPotential Analysis 位势分析http://www.wkap.nlProceedings of the American Mathematical Society 美国数学会会议录/ Proceedings of the Edinburgh Mathematical Society 英国爱丁堡数学会会议录Proceedings of the London Mathematical Society 伦敦数学会会议录/~lmsProceedings of the Royal Society of Edinburgh Section A-Mathematics 英国爱丁堡皇家学会会议录A分册- 数学/RSE/Quarterly Journal of Mathematics 数学季刊Quarterly Journal of Mechanics and Applied Mathematics 数学与应用数学季刊Quarterly of Applied Mathematics 应用数学季刊/Queueing Systems 排列系统http://www.wkap.nlRandom Structures & Algorithms 随机结构与算法Reports on Mathematical Physics 数学物理学报告http://www.elsevier.nlRepresentation Theory 表示法理论/ertRobotics and Autonomous Systems 机器人技术和自动系统http://www.elsevier.nlRocky Mountain Journal of Mathematics 数学难题学报/~rmmcSet-Valued Analysis 精点分析http://www.wkap.nlStatistical Papers 统计学论文Statistics & Probability Letters 统计和概率通讯http://www.elsevier.nlStatistics and Computing 统计和计算http://www.wkap.nlStochastic Analysis and Applications 随机分析和应用Stochastic Environmental Research and Risk Assessment 随机环境论研究和风险评估Stochastic Processes and Their Applications 随机过程及其应用http://www.elsevier.nlT echnometrics 技术计量学/Studies in Applied Mathematics 应用数学研究The College Mathematics Journal 大学数学杂志/pubs/cmj.htmlThe Electronic Journal of Combinatorics 组合数学电子期刊Theory of Computing Systems 计算方法理论Theory of Probability and Its Applications 概率理论及其应用程序理论T opology 拓扑学http://www.elsevier.nlT opology and Its Applications 拓扑学及其应用http://www.elsevier.nlTransactions of the American Mathematical Society 美国数学会学报[p:3]。

计算机学科国际会议分级 2012

计算机学科国际会议分级 2012

计算机学科国际会议分级说明:本列表合并了UCLA、NUS、NTU、CCF、清华大学计算机系、上海交大计算机系认可的国际会议,分级时采用了“就高”的原则。

Rank #1(1) AAAI: AAAI Conference on Artificial IntelligenceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(2) CCS: ACM Conf on Comp and Communications SecurityRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(3) CRYPTO: International Cryptology ConferenceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(4) CVPR: IEEE Conf on Comp Vision and Pattern RecognitionRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(5) FOCS: IEEE Symp on Foundations of Computer ScienceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(6) HPCA: IEEE Symp on High-Perf Comp ArchitectureRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(7) ICCV: International Conf on Computer VisionRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(8) ICDE: Intl Conf on Data EngineeringRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(9) ICML: Intl Conf on Machine LearningRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(10) ICSE: Intl Conf on Software EngineeringRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(11) IJCAI: International Joint Conference on Artificial IntelligenceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(12) INFOCOM: Annual Joint Conf IEEE Comp & Comm SocRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(13) ISCA: ACM/IEEE Symp on Computer ArchitectureRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(14) MICRO: Intl Symp on MicroarchitectureRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(15) MOBICOM: ACM Intl Conf on Mobile Computing and NetworkingRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(16) OOPSLA: OO Programming Systems, Languages and ApplicationsRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(17) POPL: ACM-SIGACT Symp on Principles of Prog LangsRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(18) SIGCOMM: ACM Conf on Comm Architectures, Protocols & AppsRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(19) SIGGRAPH: ACM SIGGRAPH ConferenceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(20) SIGMOD: ACM SIGMOD Conf on Management of DataRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(21) STOC: ACM Symp on Theory of ComputingRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(22) VLDB: Very Large Data BasesRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(23) ACL: Annual Meeting of the Association for Computational LinguisticsRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(24) ACM-MM: ACM Multimedia ConferenceRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(2) NUS(1)(25) NIPS: Annual Conference on Neural Information Processing SystemsRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(26) PLDI: ACM SIGPLAN Symposium on Programming Language Design & Implementation Refs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(27) S&P: IEEE Symposium on Security and PrivacyRefs: UCLA(1) CCF(1) NTU(1) SJTU(1) TSINGHUA(2) NUS(1)(28) SIGMETRICS: ACM Conf on Meas. & Modelling of Comp SysRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(29) WWW: International World Wide Web ConferenceRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1) NUS(1)(30) FSE: ACM Conf on the Foundations of Software EngineeringRefs: UCLA(1) CCF(1) NTU(1) TSINGHUA(1) NUS(1)(31) ICDCS: International Conference on Distributed Computing SystemsRefs: UCLA(2) CCF(2) NTU(1) SJTU(1) TSINGHUA(2) NUS(1)(32) LICS: IEEE Symp on Logic in Computer ScienceRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(2) NUS(1)(33) ASPLOS: Architectural Support for Programming Languages and Operating Systems Refs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(34) COLT: Annual Conference on Computational Learning TheoryRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(35) PODS: ACM SIGMOD Conf on Principles of DB SystemsRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(36) PPoPP: Principles and Practice of Parallel ProgrammingRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(37) SIGIR: ACM SIGIR Conf on Information RetrievalRefs: UCLA(1) CCF(2) NTU(1) SJTU(1) TSINGHUA(1)(38) SODA: ACM/SIAM Symp on Discrete AlgorithmsRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(39) UAI: Conference on Uncertainty in AIRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(1) NUS(1)(40) DAC: Design Automation ConfRefs: UCLA(1) NTU(1) TSINGHUA(1) NUS(1)(41) KDD: Knowledge Discovery and Data MiningRefs: UCLA(1) NTU(1) TSINGHUA(1) NUS(1)(42) SOSP: ACM SIGOPS Symp on OS PrinciplesRefs: UCLA(1) NTU(1) TSINGHUA(1) NUS(1)(43) ICALP: International Colloquium on Automata, Languages and ProgrammingRefs: UCLA(2) CCF(2) NTU(2) SJTU(1) TSINGHUA(2) NUS(2)(44) IPDPS: Intl Parallel and Dist Processing SympRefs: UCLA(2) CCF(2) NTU(2) SJTU(1) TSINGHUA(3) NUS(2)(45) AAMAS: Intl Conf on Autonomous Agents and Multi-Agent SystemsRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(3) NUS(1)(46) CAV: Computer Aided VerificationRefs: UCLA(1) CCF(3) NTU(1) TSINGHUA(2) NUS(1)(47) FM/FME: Formal Methods, World Congress/EuropeRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(3) NUS(1)(48) I3DG: ACM-SIGRAPH Interactive 3D GraphicsRefs: UCLA(1) CCF(3) NTU(1) TSINGHUA(2) NUS(1)(49) ICDT: Intl Conf on Database TheoryRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(50) ICFP: Intl Conf on Function ProgrammingRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(51) ICNP: Intl Conf on Network ProtocolsRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(52) JICSLP/ICLP/ILPS: Joint Intl Conf/Symp on Logic ProgRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(53) KR: International Conference on Principles of Knowledge Representation and Reasoning Refs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(54) PACT: International Conference on Parallel Architectures and Compilation Techniques Refs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(55) RTSS: IEEE Real-Time Systems SymposiumRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(56) SPAA: ACM Symp on Parallel Algorithms and ArchitecturesRefs: UCLA(1) CCF(2) NTU(1) TSINGHUA(2) NUS(1)(57) DCC: Data Compression ConfRefs: UCLA(1) NTU(1) TSINGHUA(3) NUS(1)(58) ICCAD: Intl Conf on Computer-Aided DesignRefs: UCLA(1) NTU(1) TSINGHUA(2) NUS(1)(59) ISSAC: Intl Symp on Symbolic and Algebraic ComputationRefs: UCLA(1) NTU(1) TSINGHUA(3) NUS(1)(60) PODC: ACM Symp on Principles of Distributed ComputingRefs: UCLA(1) NTU(1) TSINGHUA(2) NUS(1)(61) SCG: ACM Symp on Computational GeometryRefs: UCLA(1) CCF(2) NTU(1) NUS(1)(62) PECCS: IFIP Intl Conf on Perf Eval of Comp & Comm SysRefs: UCLA(1) NTU(1) NUS(1)(63) SOSDI: Usenix Symp on OS Design and ImplementationRefs: UCLA(1) NTU(1) NUS(1)(64) CIKM: Intl Conf on Information and Knowledge ManagementRefs: UCLA(2) CCF(2) NTU(1) TSINGHUA(2) NUS(2)(65) RECOMB: Annual Intl Conf on Comp Molecular BiologyRefs: UCLA(2) NTU(1) TSINGHUA(2) NUS(1)(66) RTAS: IEEE Real-Time and Embedded Technology and Applications SymposiumRefs: CCF(3) NTU(1) TSINGHUA(2) NUS(1)(67) ISMB: International Conference on Intelligent Systems for Molecular BiologyRefs: NTU(1) TSINGHUA(2) NUS(1)(68) OSDI: Symposium on Operation systems design and implementationRefs: SJTU(1) TSINGHUA(1)(69) SIGKDD: ACM Conf on Knowledge Discovery and Data MiningRefs: CCF(1) SJTU(1)(70) EUROCRYPT: European Conf on CryptographyRefs: UCLA(1) CCF(2) NTU(2) TSINGHUA(2) NUS(2)(71) MOBIHOC: ACM International Symposium on Mobile Ad Hoc Networking and Computing Refs: UCLA(1) CCF(2) TSINGHUA(2)(72) FAST: Conference on File and Storage TechnologiesRefs: CCF(2) TSINGHUA(1)(73) NSDI: Symposium on Network System Design and Implementation Refs: CCF(2) TSINGHUA(1)(74) SC: IEEE/ACM Conference on SupercomputingRefs: SJTU(1) TSINGHUA(2)(75) USENIX Symp on Internet Tech and SysRefs: UCLA(2) NTU(1)(76) MassPar: Symp on Frontiers of Massively Parallel ProcRefs: UCLA(1)(77) OPENARCH: IEEE Conf on Open Arch and Network ProgRefs: UCLA(1)(78) SIGCHI: ACM SIG CHIRefs: CCF(1)(79) Ubicomp: International Conference on Ubiquitous Computing Refs: TSINGHUA(1)Rank #2(80) COLING: International Conference on Computational LinguisticsRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(2) NUS(2)(81) CONCUR: International Conference on Concurrency TheoryRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(2) NUS(2)(82) ECCV: European Conference on Computer VisionRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(2) NUS(2)(83) USENIX Security: USENIX Security SymposiumRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(2) NUS(2)(84) ALT: International Conference on Algorithmic Learning TheoryRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(4) NUS(2)(85) ASE: International Conference on Automated Software EngineeringRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(86) ASIACRYPT: Annual International Conference on the Theory and Application of Cryptology and Information SecurityRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(87) CC: International Conference on Compiler ConstructionRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(88) DATE: IEEE/ACM Design, Automation & Test in Europe ConferenceRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(89) ECAI: European Conference on Artificial IntelligenceRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(4) NUS(2)(90) ECML: European Conference on Machine LearningRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(91) EDBT: International Conference on Extending DB TechnologyRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(92) EMNLP: Conference on Empirical Methods in Natural Language ProcessingRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(93) ER: Intl Conf on Conceptual ModelingRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(94) ESOP: European Symposium on ProgrammingRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(2) NUS(2)(95) Euro-Par: European Conference on Parallel ProcessingRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(96) FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer ScienceRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(97) ICPP: Intl Conf on Parallel ProcessingRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(98) ICSR: IEEE Intl Conf on Software ReuseRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(4) NUS(2)(99) MFCS: Mathematical Foundations of Computer ScienceRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(100) PEPM: ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Programming ManipulationRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(4) NUS(2)(101) RTA: International Conference on Rewriting Techniques and ApplicationsRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(102) SAS: International Static Analysis SymposiumRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(103) STACS: Symp on Theoretical Aspects of Computer ScienceRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(104) TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of SystemsRefs: UCLA(2) CCF(2) NTU(2) TSINGHUA(3) NUS(2)(105) CP: Intl Conf on Principles & Practice of Constraint ProgRefs: UCLA(2) CCF(2) NTU(2) NUS(2)(106) CSFW: IEEE Computer Security Foundations WorkshopRefs: CCF(2) NTU(2) TSINGHUA(2) NUS(2)(107) CSSAC: Cognitive Science Society Annual ConferenceRefs: UCLA(2) CCF(2) NTU(2) NUS(2)(108) ECOOP: European Conference on Object-Oriented ProgrammingRefs: CCF(2) NTU(2) TSINGHUA(2) NUS(2)(109) IEEEIT: IEEE Symposium on Information TheoryRefs: UCLA(2) CCF(2) NTU(2) NUS(2)(110) ISRE: Requirements EngineeringRefs: UCLA(2) CCF(2) NTU(2) NUS(2)(111) PG: Pacific GraphicsRefs: UCLA(2) CCF(2) NTU(2) NUS(2)(112) CGI: Computer Graphics InternationalRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(3) NUS(2)(113) FCCM: IEEE Symposium on Field Programmable Custom Computing MachinesRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(3) NUS(2)(114) FoSSaCS: International Conference on Foundations of Software Science and Computation StructuresRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(3) NUS(2)(115) ICC: IEEE International Conference on CommunicationsRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(4) NUS(2)(116) ICDM: IEEE International Conference on Data MiningRefs: UCLA(3) CCF(2) NTU(2) TSINGHUA(2) NUS(3)(117) ICME: IEEE International Conference on Multimedia & ExpoRefs: UCLA(3) CCF(2) NTU(2) TSINGHUA(4) NUS(2)(118) ICPR: Intl Conf on Pattern RecognitionRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(4) NUS(2)(119) ICS: Intl Conf on SupercomputingRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(3) NUS(2)(120) LCN: IEEE Annual Conference on Local Computer NetworksRefs: UCLA(2) CCF(3) NTU(2) TSINGHUA(4) NUS(2)(121) NDSS: Network and Distributed System Security SymposiumRefs: UCLA(2) CCF(2) NTU(4) TSINGHUA(2) NUS(4)(122) NOSSDAV: Network and Operating System Support for Digital Audio and Video Refs: UCLA(2) CCF(3) NTU(2) TSINGHUA(3) NUS(2)(123) CADE: Conference on Automated DeductionRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(124) CAiSE: Intl Conf on Advanced Info System EngineeringRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(125) CoNLL: Conference on Natural Language LearningRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(126) CoopIS: Conference on Cooperative Information SystemsRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(127) DAS: International Workshop on Document Analysis SystemsRefs: UCLA(2) NTU(2) TSINGHUA(4) NUS(2)(128) DASFAA: Database Systems for Advanced ApplicationsRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(129) DEXA: Database and Expert System ApplicationsRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(130) EACL: Annual Meeting of European Association Computational Linguistics Refs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(131) ESA: European Symp on AlgorithmsRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(132) ICCL: IEEE Intl Conf on Computer LanguagesRefs: UCLA(2) NTU(2) TSINGHUA(4) NUS(2)(133) ICDAR: International Conference on Document Analysis and Recognition Refs: UCLA(2) CCF(3) NTU(2) NUS(2)(134) ICECCS: IEEE Intl Conf on Eng. of Complex Computer SystemsRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(135) ICIP: Intl Conf on Image ProcessingRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(136) ICSM: Intl Conf on Software MaintenanceRefs: CCF(2) NTU(2) TSINGHUA(4) NUS(2)(137) ICTAI: IEEE International Conference on Tools with Artificial IntelligenceRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(138) IJCNN: Intl Joint Conference on Neural NetworksRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(139) IPCO: MPS Conf on integer programming & comb optimizationRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(140) ISAAC: Intl Symp on Algorithms and ComputationRefs: UCLA(2) NTU(2) TSINGHUA(4) NUS(2)(141) JCDL: ACM/IEEE Joint Conference on Digital LibrariesRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(142) MASCOTS: Modeling, Analysis, and Simulation On Computer and Telecommunication SystemsRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(143) NAACL: The Annual Conference of the North American Chapter of the Association for Computational LinguisticsRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(144) PADL: Practical Aspects of Declarative LanguagesRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(145) SEKE: International Conference on Software Engineering and Knowledge Engineering Refs: UCLA(2) CCF(3) NTU(2) NUS(2)(146) SRDS: Symp on Reliable Distributed SystemsRefs: UCLA(2) NTU(2) TSINGHUA(3) NUS(2)(147) SSDBM: Intl Conf on Scientific and Statistical DB MgmtRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(148) VLSI: IEEE Symp VLSI CircuitsRefs: UCLA(2) NTU(2) TSINGHUA(4) NUS(2)(149) WACV: IEEE Workshop on Apps of Computer VisionRefs: UCLA(2) NTU(2) TSINGHUA(4) NUS(2)(150) WCNC: IEEE Wireless Communications & Networking ConferenceRefs: UCLA(2) CCF(3) NTU(2) NUS(2)(151) AI-ED: World Conference on AI in EducationRefs: UCLA(2) NTU(2) NUS(2)(152) AID: Intl Conf on AI in DesignRefs: UCLA(2) NTU(2) NUS(2)(153) AMAI: Artificial Intelligence and MathsRefs: UCLA(2) NTU(2) NUS(2)(154) AMIA: American Medical Informatics Annual Fall Symposium Refs: UCLA(2) NTU(2) NUS(2)(155) ASAP: Intl Conf on Apps for Specific Array Processors Refs: UCLA(2) NTU(2) NUS(2)(156) ASS: IEEE Annual Simulation SymposiumRefs: UCLA(2) NTU(2) NUS(2)(157) CAIP: Inttl Conf on Comp. Analysis of Images and Patterns Refs: UCLA(2) NTU(2) NUS(2)(158) CANIM: Computer AnimationRefs: UCLA(2) NTU(2) NUS(2)(159) CC: IEEE Symp on Computational ComplexityRefs: UCLA(2) NTU(2) NUS(2)(160) CCC: Cluster Computing ConferenceRefs: UCLA(2) NTU(2) NUS(2)(161) DNA: Meeting on DNA Based ComputersRefs: UCLA(2) NTU(2) NUS(2)(162) DOOD: Deductive and Object-Oriented DatabasesRefs: UCLA(2) NTU(2) NUS(2)(163) EUROCOLT: European Conf on Learning TheoryRefs: UCLA(2) NTU(2) NUS(2)(164) EUROGRAPH: European Graphics ConferenceRefs: UCLA(2) NTU(2) NUS(2)(165) FODO: Intl Conf on Foundation on Data OrganizationRefs: UCLA(2) NTU(2) NUS(2)(166) HCS: Hot Chips SympRefs: UCLA(2) NTU(2) NUS(2)(167) IAAI: Innovative Applications in AIRefs: UCLA(2) NTU(2) NUS(2)(168) IEEE Intl Conf on Formal Engineering MethodsRefs: UCLA(2) NTU(2) NUS(2)(169) IPCCC: IEEE Intl Phoenix Conf on Comp & Communications Refs: UCLA(2) NTU(2) NUS(2)(170) IPTPS: Annual International Workshop on Peer-To-Peer Systems Refs: UCLA(2) CCF(2) TSINGHUA(2)(171) ISTCS: Israel Symp on Theory of Computing and Systems Refs: UCLA(2) NTU(2) NUS(2)(172) Intl Conf on Integrated Formal MethodsRefs: UCLA(2) NTU(2) NUS(2)(173) LATIN: Intl Symp on Latin American Theoretical Informatics Refs: UCLA(2) NTU(2) NUS(2)(174) LFCS: Logical Foundations of Computer ScienceRefs: UCLA(2) NTU(2) NUS(2)(175) MMCN: ACM/SPIE Multimedia Computing and Networking Refs: UCLA(2) NTU(2) NUS(2)(176) NetStore: Network Storage SymposiumRefs: UCLA(2) NTU(2) NUS(2)(177) PADS: ACM/IEEE/SCS Workshop on Parallel & Dist Simulation Refs: UCLA(2) NTU(2) NUS(2)(178) PT: Perf Tools - Intl Conf on Model Tech & Tools for CPE Refs: UCLA(2) NTU(2) NUS(2)(179) SSD: Intl Symp on Large Spatial DatabasesRefs: UCLA(2) NTU(2) NUS(2)(180) SUPER: ACM/IEEE Supercomputing ConferenceRefs: UCLA(2) NTU(2) NUS(2)(181) SWAT: Scandinavian Workshop on Algorithm TheoryRefs: UCLA(2) NTU(2) NUS(2)(182) SenSys: ACM Conference on Embedded Networked Sensor SystemsRefs: UCLA(2) CCF(2) TSINGHUA(2)(183) WADS: Workshop on Algorithms and Data StructuresRefs: UCLA(2) NTU(2) NUS(2)(184) WCW: Web Caching WorkshopRefs: UCLA(2) NTU(2) NUS(2)(185) WSC: Winter Simulation ConferenceRefs: UCLA(2) NTU(2) NUS(2)(186) DSN: The International Conference on Dependable Systems and NetworksRefs: UCLA(2) CCF(2) NTU(4) TSINGHUA(3) NUS(4)(187) CASES: International Conference on Compilers, Architecture, and Synthesis for Embedded SystemsRefs: CCF(3) NTU(2) TSINGHUA(3) NUS(2)(188) CODES+ISSS: Intl Conf on Hardware/Software Codesign & System SynthesisRefs: CCF(3) NTU(2) TSINGHUA(3) NUS(2)(189) ISSTA: International Symposium on Software Testing and AnalysisRefs: CCF(2) NTU(4) TSINGHUA(2) NUS(4)(190) WCRE: SIGSOFT Working Conf on Reverse EngineeringRefs: UCLA(3) NTU(3) TSINGHUA(4) NUS(2)(191) ACSAC: Annual Computer Security Applications ConferenceRefs: UCLA(2) CCF(2) TSINGHUA(3)(192) APLAS: Asian Symposium on Programming Languages and SystemsRefs: CCF(3) NTU(2) NUS(2)(193) CSCW: Conference on Computer Supported Cooperative WorkRefs: NTU(2) TSINGHUA(3) NUS(2)(194) ESEC: European Software Engineering ConfRefs: UCLA(2) CCF(2) TSINGHUA(3)(195) ESORICS: European Symposium on Research in Computer Security Refs: UCLA(2) CCF(2) TSINGHUA(3)(196) FPL: Field-Programmable Logic and ApplicationsRefs: CCF(3) NTU(2) NUS(2)(197) Fast Software EncryptionRefs: UCLA(3) NTU(2) NUS(2)(198) GECCO: Genetic and Evolutionary Computation ConferenceRefs: CCF(3) NTU(2) NUS(2)(199) HASKELL: Haskell WorkshopRefs: UCLA(4) NTU(2) NUS(2)(200) IC3N: Intl Conf on Comp Comm and NetworksRefs: UCLA(3) NTU(2) NUS(2)(201) IEEE VisualizationRefs: NTU(2) TSINGHUA(3) NUS(2)(202) IMC: Internet Measurement Conference/WorkshopRefs: UCLA(3) CCF(2) TSINGHUA(2)(203) IWSSD: International Workshop on Software Specifications & Design Refs: UCLA(2) CCF(3) NTU(2)(204) PPDP: Principles and Practice of Declarative ProgrammingRefs: NTU(4) TSINGHUA(4) NUS(2)(205) RAID: International Symposium on Recent Advances in Intrusion Detection Refs: UCLA(2) CCF(2) TSINGHUA(4)(206) WABI: Workshop on Algorithms in BioinformaticsRefs: NTU(2) TSINGHUA(3) NUS(2)(207) DSIC: Intl Symp om Distributed ComputingRefs: NTU(2) NUS(2)(208) DocEng: ACM Symposium on Document EngineeringRefs: NTU(2) NUS(2)(209) EUROSYS: EUROSYSRefs: CCF(2) TSINGHUA(2)(210) European Symposium on Research in Computer SecurityRefs: NTU(2) NUS(2)(211) HPDC: IEEE International Symposium on High Performance Distributed Computing Refs: CCF(2) TSINGHUA(2)(212) IEEE/WIC: International Joint Conf on Web Intelligence and Intelligent Agent Technology Refs: NTU(2) NUS(2)(213) ISSCC: IEEE Intl Solid-State Circuits ConfRefs: UCLA(2) NTU(2)(214) MOBISYS: International Conference on Mobile Systems, Applications, and Services Refs: UCLA(2) TSINGHUA(2)(215) MPC: Mathematics of Program ConstructionRefs: NTU(2) NUS(2)(216) MPPOI: Massively Par Proc Using Opt InterconnsRefs: UCLA(2) NTU(2)(217) SCA: ACM/Eurographics Symposium on Computer AnimationRefs: CCF(2) TSINGHUA(2)(218) SSR: ACM SIGSOFT Working Conf on Software ReusabilityRefs: UCLA(2) NTU(2)(219) UIST: ACM Symposium on User Interface Software and TechnologyRefs: CCF(2) TSINGHUA(2)(220) CSL: Annual Conf on Computer Science LogicRefs: UCLA(3) CCF(2) NTU(3) TSINGHUA(4) NUS(3)(221) IH: Workshop on Information HidingRefs: UCLA(3) CCF(2) NTU(3) TSINGHUA(3) NUS(3)(222) COMPSAC: International Computer Software and Applications ConferenceRefs: UCLA(3) CCF(2) NTU(3) NUS(3)(223) FCT: International Symposium Fundamentals of Computation TheoryRefs: UCLA(3) CCF(2) NTU(3) NUS(3)(224) ICCB: International Conference on Case-Based ReasoningRefs: UCLA(3) CCF(2) NTU(3) NUS(3)(225) ICRA: IEEE Intl Conf on Robotics and AutomationRefs: UCLA(4) CCF(2) NTU(3) NUS(4)(226) ILP: International Workshop on Inductive Logic ProgrammingRefs: CCF(2) NTU(4) TSINGHUA(4) NUS(4)(227) PKDD: European Conference on Principles and Practice of Knowledge Discovery in DatabasesRefs: CCF(2) NTU(3) TSINGHUA(3) NUS(4)(228) EC: ACM Conference on Electronic CommerceRefs: NTU(4) TSINGHUA(2) NUS(4)(229) IJCAR: International Joint Conference on Automated ReasoningRefs: CCF(2) NTU(4) NUS(4)(230) IPSN: International Conference on Information Processing in Sensor NetworksRefs: UCLA(2) CCF(3) TSINGHUA(3)(231) ITC: IEEE Intl Test ConfRefs: UCLA(2) NTU(4) NUS(4)(232) MiddlewareRefs: NTU(4) TSINGHUA(2) NUS(4)(233) PPSN: Parallel Problem Solving from NatureRefs: NTU(4) CORE(2) NUS(4)(234) TLCA: Typed Lambda Calculus and ApplicationsRefs: CCF(2) NTU(4) NUS(4)(235) CCC: IEEE Conference on Computational ComplexityRefs: CCF(2) TSINGHUA(4)(236) CEC: IEEE Congress on Evolutionary ComputationRefs: CCF(3) CORE(2)(237) CLUSTER: Cluster ComputingRefs: CCF(2) TSINGHUA(3)(238) CoNEXT: ACM International Conference on emerging Networking EXperiments and TechnologiesRefs: CCF(2) TSINGHUA(4)(239) ECDL: European Conference on Digital LibrariesRefs: NTU(4) NUS(2)(240) EGSR: Eurographics Symposium on RenderingRefs: CCF(2) TSINGHUA(4)(241) EuroGraphics: EuroGraphics Symposium on geometry processingRefs: CCF(2) TSINGHUA(3)(242) FPGA: International Symposium on Field-Programmable Gate ArraysRefs: CCF(2) TSINGHUA(3)(243) GCSE: International Conference on Generative and Component-Based Software Engineering Refs: NTU(4) NUS(2)(244) ICAPS: International Conference on Automated Planning and SchedulingRefs: CCF(2) TSINGHUA(3)(245) ISSS: International Symposium on System SynthesisRefs: UCLA(2) TSINGHUA(3)(246) IWQoS: International Workshop on Quality of ServiceRefs: CCF(2) TSINGHUA(3)(247) Networking: International Conferences on NetworkingRefs: CCF(2) TSINGHUA(4)(248) PKC: International Workshop on Practice and Theory in Public Key CryptographyRefs: CCF(2) TSINGHUA(4)(249) Percom: International Conference on Pervasive Computing and CommunicationsRefs: CCF(2) TSINGHUA(3)(250) SDM: SIAM International Conference on Data MiningRefs: CCF(2) TSINGHUA(3)(251) SPM: ACM Solid and Physical Modeling SymposiumRefs: CCF(2) TSINGHUA(4)(252) TCC: Theory of Cryptography ConferenceRefs: CCF(2) TSINGHUA(3)(253) ACM SIGARCHRefs: CCF(2)(254) AOSD: Aspect-Oriented Software DevelopmentRefs: TSINGHUA(2)(255) CHI: Computer Human InteractionRefs: TSINGHUA(2)(256) ECRTS: Euromicro Conference on Real-Time SystemsRefs: CORE(2)(257) EuroVis: Eurographics/IEEE-VGTC Symposium on VisualizationRefs: CCF(2)(258) GP: Genetic Programming ConferenceRefs: UCLA(2)(259) HOT CHIPS: A Symposium on High Performance ChipsRefs: CCF(2)(260) ICCD: International Conference on Computer DesignRefs: CCF(2)(261) ICMI: International Conference on Multimodal InterfaceRefs: CCF(2)(262) ICWE: International Conference on Web EngineeringRefs: NUS(2)(263) ISWC: International Semantic Web ConferenceRefs: TSINGHUA(2)(264) IWCASE: Intl Workshop on Computer-Aided Software EngRefs: UCLA(2)(265) LCTES: Conference on Language, Compiler and Tool Support for Embedded Systems Refs: CCF(2)(266) MFPS: Mathematical Foundations of Programming SemanticsRefs: CCF(2)(267) MSST: Mass Storage Systems and TechnologiesRefs: CCF(2)(268) MoDELS: International Conference on Model Driven Engineering Languages and Systems Refs: CCF(2)(269) SGP: Eurographics Symposium on Geometry ProcessingRefs: CCF(2)(270) TCS: IFIP International Conference on Theoretical Computer ScienceRefs: CCF(2)(271) WDAG: Workshop on Distributed AlgorithmsRefs: UCLA(2)Rank #3(272) ECIR: European Conference on Information RetrievalRefs: UCLA(3) CCF(3) NTU(3) TSINGHUA(3) NUS(3)(273) MDM: Intl Conf on Mobile Data Access/ManagementRefs: UCLA(3) CCF(3) NTU(3) TSINGHUA(3) NUS(3)(274) ACCV: Asian Conference on Computer VisionRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(275) APSEC: Asia-Pacific Software Engineering ConferenceRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(276) Globecom: IEEE Global Communications Conference, incorporating the Global Internet SymposiumRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(277) ICANN: International Conf on Artificial Neural NetworksRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(278) ICONIP: Intl Conf on Neural Information ProcessingRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(279) ICPADS: Intl Conf on Parallel and Distributed SystemsRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(280) LOPSTR: International Symposium on Logic-based Program Synthesis and Transformation Refs: UCLA(3) CCF(3) NTU(3) NUS(3)(281) NOMS: IEEE Network Operations and Management SympRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(282) PAKDD: Pacific-Asia Conf on Know. Discovery & Data MiningRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(283) PRICAI: Pacific Rim Intl Conf on AIRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(284) SAC: ACM/SIGAPP Symposium on Applied ComputingRefs: UCLA(3) CCF(3) NTU(3) NUS(3)(285) FASE: Fundamental Approaches to Software EngineeringRefs: UCLA(3) NTU(3) TSINGHUA(4) NUS(3)。

重要国际学术会议目录-推荐下载

重要国际学术会议目录-推荐下载

电子科技大学重要国际学术会议目录20Conference on Object-Oriented ProgrammingSystems, Languages, and ApplicationsOOPSLA面向对象编程系统、语言及应用21USENIX Symposium on Operating Systems Designand ImplementationsOSDI操作系统设计与实现的研讨会22ACM SIGPLAN Symposium on ProgrammingLanguage Design & ImplementationPLDI编程语言的设计与实现研讨会23ACM SIGPLAN-SIGACT Symposium onPrinciples of Programming LanguagesPOPLACM程序设计语言原理会议24Real-Time Systems Symposium RTSS实时系统研讨会25ACM Special Interest Group on DataCommunication ConferenceSIGCOMM ACM数据通讯会议26ACM SIGGRAPH Annual Conference SIGGRAPH美国计算机协会年会27International Conference on Research andDevelopment in Information RetrievalSIGIR国际信息检索研发年会28ACM Knowledge Discovery and Data Mining SIGKDD 知识发现与数据挖掘国际会议29ACM Conference on Management of Data SIGMOD ACM数据管理国际会议30ACM Symposium on Operating Systems Principles SOSP ACM操作系统原理研讨会31ACM Symposium on Theory of Computing STOC ACM计算理论年会32ACM International Conference on UbiquitousComputingUbiComp ACM普适计算国际会议33USENIX Security Symposium USENIXSecurityUSENIX安全研讨会34International Conference on Very Large Data Bases VLDB超大数据库国际会议35IEEE International Conference on ComputerCommunicationsINFOCOM国际计算机通讯会议36MICRO(International Symposium onMicroarchitecture)MICRO国际微处理器结构会议37IEEE Conference on Computer Vision and PatternRecognitionCVPR国际计算机视觉与模式识别大会38International Conference on Computer Vision ICCV IEEE计算机视觉国际会议39IEEE Symposium on Security and Privacy S&P IEEE安全与隐私会议40IEEE International Conference on Data Mining ICDM IEEE国际数据挖掘会议41SIAM International Conference on Data Mining SDM SDM 国际数据挖掘会议42Annual Meeting of the Association forComputational LinguisticsACL计算语言学协会国际年会43International Conference on Computer Aided VerificationCAV计算机辅助验证国际会议44European Conference on Computer Vision ECCV欧洲计算机视觉会议45Euromicro Conference on Real-Time Systems ECRTS Euromicro实时系统国际会议46International Conference on Network Protocols ICNP网络协议国际会议47International Conference on Principles ofKnowledge Representation and ReasoningKR知识表示与推理理论国际大会48ACM International Symposium on Mobile Ad HocNetworking and ComputingMobiHoc国际移动自组织网络和计算会议49IEEE Real-Time and Embedded Technology andApplications SymposiumRTAS实时与嵌入式技术与应用会议50ACM SIG CHI SIGCHI人机交互学术年会51Asia-Pacific Signal and Information ProcessingAssociationAPSIPA亚太信号与信息处理协会会议52IEEE International Symposium on BroadbandMultimedia Systems and BroadcastingBMSBIEEE宽带多媒体系统及广播国际研讨会53IEEE China Summit and International Conferenceon Signal and Information ProcessingChinaSIP国际信号与信息处理大会-中国峰会54IEEE Data Compression Conference DCC IEEE数据压缩会议55Eurpoean Conference on Synthetic Aperture Radar EUSAR欧洲合成孔径雷达会议56European Signal processing Conference EUSIPCO欧洲信号处理会议57IEEE International Conference onAcoustics,Speech,and Signal ProcessingICASSP语音及信号处理国际会议58International Conference on Information,Communications and Signal ProcessingICICS信息系统,通信与信号处理国际会议59International Conference on Information Fusion ICIF国际信息融合会议60International Conference on Image and Graphics ICIG图像和图形国际会议61IEEE International Conference on Image Processing ICIP IEEE图像处理国际会议62International Conference on Pattern Recognition ICPR模式识别国际会议63International Conference on Speech and LanguageProcessingICSLP语音语言处理国际会议64International Conference on Signal Processing ICSP国际信息处理大会65Internationial Geoscience and Retmote sensingSymposiumIGARSS地球科学与遥感国际研讨会66International Conference on Intelligent InformationHiding and Multimedia Signal ProcessingIIH-MSP智能信息隐藏与多媒体信号处理国际会议67IEEE Radar Conference IRC国际雷达会议68IEEE International Symposium on SignalProcessing and Information TechnologyISSPIT信号处理与信息技术会议69The International Workshop on Multimedia SignalProcessingMMSP多媒体信号处理国际研讨会70International ICST Conference on MobileMultimedia CommunicationsMOBIMEDIA国际移动多媒体通信会议71Neural Information Processing Systems NIPS 神经信息处理系统国际会议72Pacific Rim Conference on Multimedia PCM亚太多媒体会议73Picture Coding Symposium PCS图像编码会议74IEEE Visual Communications and ImageProcessing ConferenceVCIP视觉通信与图像处理会议75IEEE International Conference on IntelligentTransportation SystemITSCIEEE智能交通系统国际会议76International Conference on WirelessCommunications and Signal ProcessingWCSP国际无线通信与信号处理会议77Global Space Applications Conference GLAC全球空间应用会议78IEEE Global Telecommunications Conference Globecom全球电信会议79IEEE International Conference on Communications ICC国际通信会议80AIAA International Communications SatelliteSystems ConferenceICSSC国际通信卫星系统会议81IEEE International Symposium on InformationTheoryISIT国际信息论会议82International Symposium on Turbo Codes andIterative Information ProcessingISTC国际Turbo码与迭代处理会议83IEEE Military Communications Conference MILCOM国际军事通信大会84IEEE International Symposium on Personal, Indoorand Mobile Radio CommunicationsPIMRC个人,室内移动通信会议85IEEE Wireless Communication and NetworkingconferenceWCNC国际无线通信与网络大会86IEEE Antennas and Propagation SocietyInternational SymposiumAPS国际天线和传播会议87Asia-Pacific Microwave Conference APMC亚太微波会议88IEEE Conference on Electromagnetic FieldComputationCEFC电磁场计算会议89Conference on the Computation of ElectromagneticFieldsCOMPUMAG计算电磁场国际学术会议90IEEE International Symposium on ElectromagneticCompatibilityEMC IEEE电磁兼容学会年会91European Microwave Conference EuMC欧洲微波会议92IEEE International Conference on Microwave andMillimeter Wave TechnologyICMMT微波毫米波技术国际会议93IEEE International Microwave Symposium IMS国际微波会议94International Conference on Infrared,Millimeter,andTerahertz WavesIRMMW-THZ国际红外毫米波太赫兹会议95Conference of Union of Radio Science International URSI国际无线电联盟大会96IEEE Asia-Pacific Conference on Circuit andSystemsAPCCAS亚太电路与系统会议97IEEE International Solid- State Circuits Conference ISSCC IEEE国际固态电路会议98IEEE RFIC Symposium RFIC射频集成电路年度会议99IEEE International Symposium on Circuits andSystemsISCAS电路与系统国际会议100IEEE Asian Solid-State Circuits Conference ASSCC IEEE亚洲固态电路国际会议101IEEE Biomedical Circuits and Systems Conference BioCAS IEEE生物医疗电路与系统国际会议102IEEE Custom Integrated Circuits Conference CICC IEEE定制集成电路国际会议103European Solid-State Circuits Conference ESSCIRC欧洲固态电路国际会议104International Conference on IC Design andTechnologyICICDT集成电路设计与技术国际会议105International Conference on Solid-state andIntegrated-Circuit TechnologyICSICT国际固体和集成电路技术会议106IEEE International Electron Devices Meeting IEDM国际电子器件会议107International Symposium on Power SemiconductorDevices and ICsISPSD国际功率半导体器件与功率集成电路会议108IEEE International Midwest Symposium on Circuitsand SystemsMWSCASIEEE中西部电路与系统国际会议109IEEE International Conference on Simulation ofSemiconductor Processes and DevicesSISPAD国际半导体器件与工艺模拟会议110International Conference on Solid-state Sensors andActuatorsTransducers固体传感器和执行器国际会议111Symposia on VLSI Technology and Circuits VLSI VLSI集成电路技术研讨会112International Vacuum Conference IVC国际真空会议113IEEE International Vacuum Electronics Conference IVEC国际真空电子学会议114IEEE International Vacuum Electron SourcesConferenceIVESC真空电子源国际会议115American Control Conference ACC美国控制会议116IEEE Conference on Decision and Control CDC IEEE决策与控制大会117IEEE/ACM Design Automation Conference DAC IEEE/ACM设计自动化大会118AIAA Guidance,Navigation and ControlConferenceGNCCAIAA导航制导与控制大会119International Astronautical Federation Congress IAF国际宇航联盟大会120IEEE Industry Applications Society AnnualMeetingIAS IEEE工业应用学会年会121International Colloquium on Automata, Languagesand ProgrammingICALP自动机、语言与程序国际会议122IEEE International Conference on Mechatronicsand AutomationICMAIEEE机械和自动化国际会议123IEEE International Conference on Robotics andAutomationICRAIEEE机器人与自动化国际会议124IEEE PES General Meeting IEEE PES IEEE电力工程年会125IFAC World Congress IFAC国际自动控制联合会世界大会126IEEE International Frequency Control Symposium IFCS IEEE 频率控制年会127Institute of Navigation ION GNSS国际导航学会年会128IEEE/RSJ International Conference on IntelligentRobots and SystemsIROS智能机器人与系统国际会议129International Symposium on PhysicalMeasurements and Signatures in Remote SensingISPMSRS遥感物理测量与信号国际研讨会130International Society for Photogrammetry andRemote Sensing CongressISPRS国际摄影测量与遥感大会131IEEE International Conference on Systems, Manand CyberneticsSMC国际系统、人与控制大会132IEEE International Instrumentation andMeasurement Technology ConferenceI2MTC仪器与测量技术会议133International Conference on Computer-AidedDesignICCAD计算机辅助设计国际会议134International Conference on Electonic Measurementand InstrumentsICEMI国际电子测量和仪器会议135International IEEE Micro Electro MechanicalConferenceIEEE MEMS 国际微机电系统会议136IEEE Conference on Sensors IEEE Sensors IEEE传感器会议137International Measurement Confederation IMEKO国际计量测试联合会138International Symposium on MeasurementTechnology and Intelligent InstrumentsISMTII测试技术与智能仪器国际研讨会139International Symposium on Test and Measurement ISTM测试测量国际研讨会140International Test Conference ITC国际测试会议141IEEE Autotestcon 自动测试国际会议142PSCC(Power Systems Computation Conference)PSCC 电力系统计算会议143CIGRE CIGRE 国际大电网会议144Annual Conference of the IEEE IndustrialElectronics SocietyIECON IEEE工业电子协会年会145Annual IEEE Applied Power ElectronicsConference and ExpositionIEEE APEC IEEE应用电力电子年会146International Symposium on High VoltageEngineeringISH国际高电压会议147IEEE Ultrasonics Symposium IUS 美国电子电气工程师协会超声年会148IEEE PES Power Systems Conference andExpositionPSCEIEEE电力系统会议与展览会149Advances in Materials and Processing Technologies AMPT 材料及加工技术前沿国际会议150Internationnal Institution for ProductionEngineering ResearchCIRP国际生产工程研究学会151The International Conference on Fracture andStrength of SolidFEOFS固体的断裂和强度国际会议152International Conference on Engineeering Design ICED工程设计国际会议153International Conference on Electrical Machines ICEM国际电机会议154International Conference on Lightning Protection ICLP国际雷电防护会议155ASME International Design Engieering TechnicalConferences and Computers and Information inEngineering ConferenceIDETC/CIEASME国际设计工程技术会议和计算机与信息工程会议156International Federation for Heat Treatment andSurface Engineering CongressIFHTSE国际热处理及表面工程联合会大会157World Congress in Mechanism and MachineScienceIFToMM国际机构与机器科学大会158ASME/STLE International Joint TribologyConferenceIJTC美国机械和润滑工程师协会摩擦学年会159ASME International Mechanical EngineeringCongress and ExpostionIMECEASME国际机械工程会议和展览160International Symposium on Electromachining ISEM国际电加工会议161The International Conference and Workshop onNumerical Simulation of 3D Sheet Forming ProcessNUMISHEET板料成形数值模拟国际会议162Annual Reliability and Maintainability Symposium RAMS 美国可靠性和可维护性年会163Robotics: Science and Systems Conference RSS机器人科学与系统会议164International Conference on Tools and Algorithms for the Construction and Analysis of SystemsTACAS工具与算法构造与分析系统国际会议165International Conference on Uncertainty inArtificial IntelligenceUAI人工智能中的不确定性会议166World Conference on Nondestructive Testing WCNDT国际无损检测大会167International Conference on Industrial, Engineering& Other Applications of Applied IntelligentIEA-ALE智能系统及其应用国际会议Systems168Advanced Accelerator Concepts Workshop AAC 国际先进加速器概念研讨会169American Chemical Society National Meeting ACS美国化学会年会170APS March Meeting APS美国物理学会春季会议171Annual Meeting of APS, Division of PlasmaPhysicsAPS-DPP美国物理学会等离子体物理年会172American Physical Society March Meeting APS-MM 美国物理学会年会173Conference on computational physics CCP计算物理会议174Topical Meetings of European Optical Society EOS欧洲光学学会专题会议175European Physical Society Conference on PlasmaPhysicsEPS-DPP欧洲物理学会等离子体物理年会176Frontiers in Optics FiO 美国光学学会光学前沿会议177International Workshop on Fast Ignition of FusionTargetsFIW国际快点火激光聚变研讨会178Colloquium on High Resolution MolecularSpectroscopyHRMS高分辨分子光谱大会179General Assembly and Symposiums of InternationalAstronomical UnionIAU国际天文联合会大会和分会180IEEE International Conference on Plasma Science ICOPS国际等离子科学会议181International Conference on the Physics ofSemiconductorsICPS国际半导体会议182International Conference on Ultra-Intense Lasers ICUIL国际超强激光会议183International Conference on Inertial Fusion Scienceand ApplicationIFSA惯性约束聚变科学与应用大会184International Conference on High Energy Physics IHEP 国际高能物理大会185International Nuclear Physics Conference INPC国际核物理大会186SPIE Photonics West SPIE西部光子学会议187Conference on Laser and Electro-Optics CLEO激光和光电子学会议188European Conference on Optical Communication ECOC欧洲光纤通信会议189IEEE Photonics Society annual Meeting IPC IEEE光子协会年会190Conference on Optical Fiber Sensor OFS光纤传感会议191Topical Meetings of Optical Society of America OSA美国光学学会专题会议192Symposium on Information Display SID信息显示年会193Optical Fiber Communication Conference OFC光纤通信会议194Annual Meeting of the American Ceramic Society ACerS美国陶瓷学会年会195International Symposium on Functionally GradedMaterialsFGM功能梯度材料国际会议196Internaitonal Conference on Nano Science andTechnologyICNST纳米科学与技术国际会议197International Magnetics Conference INTERMAG国际磁学会议198IUMRS International Conference IUMRS国际材联国际会议199Annual Conference on Magnetism and MagneticMaterialsMMM磁学与磁材料年会200Materials Research Society MRS材料研究大会201Pacific Rim International Conference on AdvancedMaterials and ProcessingPRICM环太平洋先进材料与工艺国际会议202The Minerals, Metal and Materials Society AnnualMeetingTMS AnnualMeeting矿物、金属与材料学会年会203SIAM Conference on Discrete Mathematics DM离散数学会议204European Conference on Combinatorics EuroComb欧洲组合数学会议205International Congress of Chinese Mathematicians ICCM国际华人数学家大会206International Congress on Industrial and AppliedMathematicsICIAM国际工业与应用数学大会207International Congress of Mathematicians ICM国际数学家大会208International Congress on Mathematical Physics ICMP国际数学物理大会209International Linear Algebra Society Conference ILAS国际线性代数协会会议210Pacific Rim Conference on Mathematics PRCM环太平洋数学大会211IUPAC Congress IUPAC 国际纯粹与应用化学会大会212IUPAC World Polymer Congress MACRO 国际纯粹与应用化学会高分子大会213Asian Congress on Biotechnology ACB亚洲生物技术大会214Annual Meeting of the Associated ProfessionalSleep SocietiesAPSS睡眠研究协会年会215Annual Meeting of American Society for CellBiologyASCB美国细胞生物学会年会216Annual Meeting of American Society for CancerResearchASCR美国癌症研究学会年会217Conference of Bacterial Genetics and Ecology BAGECO细菌遗传与生态学会议218Annual Meeting of Biomedical Engineering Society BMES美国生物医学工程年会219Annual Meeting of Biophysical Society BPS美国生物物理学年会220Annual Cognitive Neuroscience Society Meeting CNS认知神经科学学会年会221European Congress on Biotechnology ECB欧洲生物技术大会222European Conference on Visual Perception ECVP欧洲视知觉会议223Gordon Research Conferences GRC哥登会议224International Biophysics Congress IBC国际生物物理学大会225International Biotechnology Symposium andExhibitionIBS国际生物技术大会226International Congress of Immunology ICI国际免疫学会议227The International Conference on Systems Biology ICSB国际系统生物学会议228Annual International Conference of the IEEEEngineering in Medicine and Biology SocietyIEEE-EMBSIEEE国际生物医学工程年会229World Congress on Medical Physics andBiomedical EngineeringIPUESM世界医学物理与生物医学工程大会230International Conference on Intelligent Systems forMolecular BiologyISMB国际分子生物学智能系统大会231International Union of Biochemistry and MolecularBiology CongressIUBMBCongress国际生物化学与分子生物学联盟学术大会232International Conference on Medical ImageComputing and Computer Assisted InterventionMICCAI医学图像计算与计算机辅助国际会议233Annual International Conference on ComputationalMolecular BiologyRECOMB国际计算分子生物学年会234Annual Meeting of the Society for Neuroscience SFN美国神经科学学会年会235SPIE Medical Imaging SPIE MedicalImaging国际光学工程学会医学成像会议236Vision Sciences Society VSS美国视觉科学学会237World Biomaterials Congress WBC世界生物材料大会238FASEB Meetings FASEB 美国实验生物学联合会会议239IEEE EMBS Conference on Neural Engineering NER神经工程国际会议240Annual meeting of the Organization for HumanBrain MappingOHBM人类脑成像组织年会241Vaccine and ISV Congress 疫苗与国际疫苗学会大会242Annual Meeting of the American EconomicAssociationAEA美国经济协会年会243Annual Meeting of the American FinanceAssociationAFA美国金融协会年会244Annual Conference of Academy of Management AOM管理学会年会245Annual Conference of the American MarketingAssociationADC美国市场营销协会年度会议246Annual Conference of the Association forInformation SystemsAIS信息系统协会会议247INFORMS Annual Meeting INFORMS 美国运筹学与管理学会年会248American Accounting Association Conference AAA美国会计年会249Academy of Human Resource Development AHRD人力资源开发学会250Allied Social Science Association Annual Meetings ASSA美国经济学会年会251American Science of Training and Development ASTD美国科学培训和发展协会252Econometric Society World Congress ESWC世界计量经济学年会253Far Eastern Meeting of The Econometric Society FEMES 世界计量经济学会远东会议254Global Network for the Economics of Learning,Innovation and Competence Building SystemGlobelics学习、创新和核心竞争力建设经济学全球网络国际会议255International Association for Energy EconomicsInternational ConferenceIAEE国际能源经济学会国际会议256International Conference on Information Systems ICIS信息系统国际会议257The International Conference on TransitionEconomicsICTE转型经济学国际会议258International Federation of Operational ResearchSocieties ConferenceIFORS运筹学世界大会259Journal of Accounting and Economics Conference JAE会计与经济杂志年会260INFORMS on Manufacturing and ServiceOperations ManagementMSOM制造与服务运作管理国际会议261North American Summer Meeting of TheEconometric SocietyNASM北美计量经济学会夏季年会262North American Winter Meeting of TheEconometric SocietyNAWM北美计量经济学会冬季年会263Annual Conference of Production and OperationsManagement SocietyPOMS生产与运作管理国际会议264World Congress of Environmental and ResourceEconomistsWCERE环境与资源经济学世界大会265Conference internationale permanente dinstitutUniversitaires de Traducture et InterpretesCIUTI国际大学翻译学院联合会年会266Annual International IATEFL Conference IATEFL国际英语教师联合会年会267International Conference of Pragmatics ICP国际语用学大会268The Neurobiology of Language Conference NLC国际语言生物学大会269World Shakespeare Congress WSC世界莎士比亚大会。

ieeetransactionson进化计算模板

ieeetransactionson进化计算模板

ieeetransactionson进化计算模板【原创版】目录1.IEEE Transactions on Evolutionary Computation 简介2.进化计算的概念和应用3.IEEE Transactions on Evolutionary Computation 的投稿要求4.该期刊的影响力和评价正文IEEE Transactions on Evolutionary Computation(简称 IEEE TEC)是由电气和电子工程师协会(IEEE)出版的一份学术期刊,致力于发表进化计算领域的原创研究论文。

进化计算是一种模拟自然进化过程的优化算法,广泛应用于各种工程和科学问题中。

进化计算的概念和应用进化计算是受自然界生物进化过程启发而产生的一种优化算法。

它使用一组随机生成的解决方案,并通过迭代选择、交叉和变异操作来改进这些解决方案,以解决复杂的优化问题。

这种算法在许多领域都有应用,例如机器学习、信号处理、控制系统和计算机视觉等。

IEEE Transactions on Evolutionary Computation 的投稿要求向 IEEE TEC 投稿需要满足一定的要求。

首先,论文必须是原创研究,且未曾在其他期刊或会议上发表。

其次,论文应包括问题陈述、相关工作综述、算法描述、实验验证和结论等部分。

此外,论文的语言应清晰、准确,并符合 IEEE 的格式要求。

该期刊的影响力和评价IEEE Transactions on Evolutionary Computation 是进化计算领域的顶级期刊,具有很高的学术影响力。

它为读者提供了关于进化计算理论和应用的最新研究成果,对相关领域的学者和工程师具有重要的参考价值。

同时,该期刊的审稿过程严格,确保了所发表论文的质量。

计算机国际会议

计算机国际会议

International Conference on Hybrid Systems: ACM, Springer / Computation and Control International Conference on Implementation and Springer Application of Automata International SPIN Workshop on Model Checking Springer Software International Conference on Verification, Model Springer Checking, and Abstract Interpretation International Symposium on Formal Methods for Springer Components and Objects International Conference on Formal Methods for Springer Open Object-based Distributed Systems ACM/IEEE International Conference on Formal IEEE Methods and Models for Co-Design / /spin08/ /vmcai08/ http://www-sop.inria.fr/oasis/FMCO/ fmco08.html http://discotec08.ifi.uio.no/FMOODS08/ /memocontest08/
69
动态
第 6 卷 第 10 期 2010 年 10 月
计算机体系结构
一、A类
序号 会议简称 1. 2. 3. ISCA MICRO HPCA 会议全称 主办 网址 International Symposium on Computer ACM SIGARCH, IEEE h t t p://w w w.a c m.o r g/p u b s/c o n t e n t s/ Architecture TCCA proceedings/series/isca/ MICRO High-Performance Computer Architecture IEEE, ACM SIGMICRO / IEEE /~hpca/

计算机顶级期刊

计算机顶级期刊

世界计算机视觉和模式识别领域顶级国际会CVPR---全称IEEE Conference on Computer Vision and Pattern Recognition
世界信息检索领域顶级会议SIGIR---全称ACM SIGIR Special Interest Group on Information Retrieval
世界计算机算法与理论领域一流会议STACS---全称Symp on Theoretical Aspects of Computer Science
世界计算机理论科学领域一流会议ICALP---全称International Colloquium on Automata, Languages and Programming
世界人工智能领域顶级学术会议AAAI---全称Association for the Advancement of Artificial Intelligence
世界互联网领域顶级会议WWW---全称World Wide Web Conference
世界通信与计算机网络领域顶级学术会议Infocom---全称IEEE Conference on Computer Communications,
世界数据挖掘领域最权威国际期刊IEEE TKDE---全称IEEE Transactions on Knowledge and Data Engineering
世界数据库领域最顶级会议SIGMOD---全称ACM's Special Interest Group on Management Of Data
世界物理学最权威学术刊PRL---全称Physical Review Letter,国内大学计算机系目前只有清华计算机系发过两篇PRL

计算机类学术会议和影响因子

计算机类学术会议和影响因子

计算机类学术期刊和会议影响因子Estimated impact of publication venues in Computer Science (higher is better)1. OSDI: 3.31 (top 0.08%)2. USENIX Symposium on Internet Technologies and Systems:3.23 (top 0.16%)3. PLDI: 2.89 (top 0.24%)4. SIGCOMM: 2.79 (top 0.32%)5. MOBICOM: 2.76 (top 0.40%)6. ASPLOS: 2.70 (top 0.49%)7. USENIX Annual Technical Conference: 2.64 (top 0.57%)8. TOCS: 2.56 (top 0.65%)9. SIGGRAPH: 2.53 (top 0.73%)10. JAIR: 2.45 (top 0.81%)11. SOSP: 2.41 (top 0.90%)12. MICRO: 2.31 (top 0.98%)13. POPL: 2.26 (top 1.06%)14. PPOPP: 2.22 (top 1.14%)15. Machine Learning: 2.20 (top 1.22%)16. 25 Years ISCA: Retrospectives and Reprints: 2.19 (top 1.31%)17. WWW8 / Computer Networks: 2.17 (top 1.39%)18. Computational Linguistics: 2.16 (top 1.47%)19. JSSPP: 2.15 (top 1.55%)20. VVS: 2.14 (top 1.63%)21. FPCA: 2.12 (top 1.71%)22. LISP and Functional Programming: 2.12 (top 1.80%)23. ICML: 2.12 (top 1.88%)24. Data Mining and Knowledge Discovery: 2.08 (top 1.96%)25. SI3D: 2.06 (top 2.04%)26. ICSE - Future of SE Track: 2.05 (top 2.12%)27. IEEE/ACM Transactions on Networking: 2.05 (top 2.21%)28. OOPSLA/ECOOP: 2.05 (top 2.29%)29. WWW9 / Computer Networks: 2.02 (top 2.37%)30. Workshop on Workstation Operating Systems: 2.01 (top 2.45%)31. Journal of Computer Security: 2.00 (top 2.53%)32. TOSEM: 1.99 (top 2.62%)33. Workshop on Parallel and Distributed Debugging: 1.99 (top 2.70%)34. Workshop on Hot Topics in Operating Systems: 1.99 (top 2.78%)35. WebDB (Informal Proceedings): 1.99 (top 2.86%)36. WWW5 / Computer Networks: 1.97 (top 2.94%)37. Journal of Cryptology: 1.97 (top 3.03%)38. CSFW: 1.96 (top 3.11%)39. ECOOP: 1.95 (top 3.19%)40. Evolutionary Computation: 1.94 (top 3.27%)41. TOPLAS: 1.92 (top 3.35%)42. SIGSOFT FSE: 1.88 (top 3.43%)43. CA V: 1.88 (top 3.52%)44. AAAI/IAAI, Vol. 1: 1.87 (top 3.60%)45. PODS: 1.86 (top 3.68%)46. Artificial Intelligence: 1.85 (top 3.76%)47. NOSSDA V: 1.85 (top 3.84%)48. OOPSLA: 1.84 (top 3.93%)49. ACM Conference on Computer and Communications Security: 1.82 (top 4.01%)50. IJCAI (1): 1.82 (top 4.09%)51. VLDB Journal: 1.81 (top 4.17%)52. TODS: 1.81 (top 4.25%)53. USENIX Winter: 1.80 (top 4.34%)54. HPCA: 1.79 (top 4.42%)55. LICS: 1.79 (top 4.50%)56. JLP: 1.78 (top 4.58%)57. WWW6 / Computer Networks: 1.78 (top 4.66%)58. ICCV: 1.78 (top 4.75%)59. IEEE Real-Time Systems Symposium: 1.78 (top 4.83%)60. AES Candidate Conference: 1.77 (top 4.91%)61. KR: 1.76 (top 4.99%)62. TISSEC: 1.76 (top 5.07%)63. ACM Conference on Electronic Commerce: 1.75 (top 5.15%)64. TOIS: 1.75 (top 5.24%)65. PEPM: 1.74 (top 5.32%)66. SIGMOD Conference: 1.74 (top 5.40%)67. Formal Methods in System Design: 1.74 (top 5.48%)68. Mobile Agents: 1.73 (top 5.56%)69. REX Workshop: 1.73 (top 5.65%)70. NMR: 1.73 (top 5.73%)71. Computing Systems: 1.72 (top 5.81%)72. LOPLAS: 1.72 (top 5.89%)73. STOC: 1.69 (top 5.97%)74. Distributed Computing: 1.69 (top 6.06%)75. KDD: 1.68 (top 6.14%)76. Symposium on Testing, Analysis, and Verification: 1.65 (top 6.22%)77. Software Development Environments (SDE): 1.64 (top 6.30%)78. SIAM J. Comput.: 1.64 (top 6.38%)79. CRYPTO: 1.63 (top 6.47%)80. Multimedia Systems: 1.62 (top 6.55%)81. ICFP: 1.62 (top 6.63%)82. Lisp and Symbolic Computation: 1.61 (top 6.71%)83. ECP: 1.61 (top 6.79%)84. CHI: 1.61 (top 6.87%)86. ACM Symposium on User Interface Software and Technology: 1.59 (top 7.04%)87. ESOP: 1.58 (top 7.12%)88. ECCV: 1.58 (top 7.20%)89. ACM Transactions on Graphics: 1.57 (top 7.28%)90. CSCW: 1.57 (top 7.37%)91. AOSE: 1.57 (top 7.45%)92. ICCL: 1.57 (top 7.53%)93. Journal of Functional Programming: 1.57 (top 7.61%)94. RTSS: 1.57 (top 7.69%)95. ECSCW: 1.56 (top 7.78%)96. TOCHI: 1.56 (top 7.86%)97. ISCA: 1.56 (top 7.94%)98. SIGMETRICS/Performance: 1.56 (top 8.02%)99. IWMM: 1.55 (top 8.10%)100. JICSLP: 1.54 (top 8.19%)101. Automatic Verification Methods for Finite State Systems: 1.54 (top 8.27%)102. WWW: 1.54 (top 8.35%)103. IEEE Transactions on Pattern Analysis and Machine Intelligence: 1.54 (top 8.43%) 104. AIPS: 1.53 (top 8.51%)105. IEEE Transactions on Visualization and Computer Graphics: 1.53 (top 8.59%) 106. VLDB: 1.52 (top 8.68%)107. Symposium on Computational Geometry: 1.51 (top 8.76%)108. FOCS: 1.51 (top 8.84%)109. A TAL: 1.51 (top 8.92%)110. SODA: 1.51 (top 9.00%)111. PPCP: 1.50 (top 9.09%)112. AAAI: 1.49 (top 9.17%)113. COLT: 1.49 (top 9.25%)114. USENIX Summer: 1.49 (top 9.33%)115. Information and Computation: 1.48 (top 9.41%)116. Java Grande: 1.47 (top 9.50%)117. ISMM: 1.47 (top 9.58%)118. ICLP/SLP: 1.47 (top 9.66%)119. SLP: 1.45 (top 9.74%)120. Structure in Complexity Theory Conference: 1.45 (top 9.82%)121. IEEE Transactions on Multimedia: 1.45 (top 9.90%)122. Rules in Database Systems: 1.44 (top 9.99%)123. ACL: 1.44 (top 10.07%)124. CONCUR: 1.44 (top 10.15%)125. SPAA: 1.44 (top 10.23%)126. J. Algorithms: 1.42 (top 10.31%)127. DOOD: 1.42 (top 10.40%)128. ESEC / SIGSOFT FSE: 1.41 (top 10.48%)130. Advances in Petri Nets: 1.41 (top 10.64%)131. ICNP: 1.40 (top 10.72%)132. SSD: 1.39 (top 10.81%)133. INFOCOM: 1.39 (top 10.89%)134. IEEE Symposium on Security and Privacy: 1.39 (top 10.97%)135. Cognitive Science: 1.38 (top 11.05%)136. TSE: 1.38 (top 11.13%)137. Storage and Retrieval for Image and Video Databases (SPIE): 1.38 (top 11.22%) 138. NACLP: 1.38 (top 11.30%)139. SIGMETRICS: 1.38 (top 11.38%)140. JACM: 1.37 (top 11.46%)141. PODC: 1.37 (top 11.54%)142. International Conference on Supercomputing: 1.36 (top 11.62%)143. Fast Software Encryption: 1.35 (top 11.71%)144. IEEE Visualization: 1.35 (top 11.79%)145. SAS: 1.35 (top 11.87%)146. TACS: 1.35 (top 11.95%)147. International Journal of Computer Vision: 1.33 (top 12.03%)148. JCSS: 1.32 (top 12.12%)149. Algorithmica: 1.31 (top 12.20%)150. TOCL: 1.30 (top 12.28%)151. Information Hiding: 1.30 (top 12.36%)152. Journal of Automated Reasoning: 1.30 (top 12.44%)153. ECCV (1): 1.29 (top 12.53%)154. PCRCW: 1.29 (top 12.61%)155. Journal of Logic and Computation: 1.29 (top 12.69%)156. KDD Workshop: 1.28 (top 12.77%)157. ML: 1.28 (top 12.85%)158. ISSTA: 1.28 (top 12.94%)159. EUROCRYPT: 1.27 (top 13.02%)160. PDIS: 1.27 (top 13.10%)161. Hypertext: 1.27 (top 13.18%)162. IWDOM: 1.27 (top 13.26%)163. PARLE (2): 1.26 (top 13.34%)164. Hybrid Systems: 1.26 (top 13.43%)165. American Journal of Computational Linguistics: 1.26 (top 13.51%)166. SPIN: 1.25 (top 13.59%)167. ICDE: 1.25 (top 13.67%)168. FMCAD: 1.25 (top 13.75%)169. SC: 1.25 (top 13.84%)170. EDBT: 1.25 (top 13.92%)171. Computational Complexity: 1.25 (top 14.00%)172. International Journal of Computatinal Geometry and Applications: 1.25 (top 14.08%)174. IJCAI (2): 1.24 (top 14.25%)175. TACAS: 1.24 (top 14.33%)176. Ubicomp: 1.24 (top 14.41%)177. MPC: 1.24 (top 14.49%)178. AWOC: 1.24 (top 14.57%)179. TLCA: 1.23 (top 14.66%)180. Emergent Neural Computational Architectures Based on Neuroscience: 1.23 (top 14.74%) 181. CADE: 1.22 (top 14.82%)182. PROCOMET: 1.22 (top 14.90%)183. ACM Multimedia: 1.22 (top 14.98%)184. IEEE Journal on Selected Areas in Communications: 1.22 (top 15.06%)185. Science of Computer Programming: 1.22 (top 15.15%)186. LCPC: 1.22 (top 15.23%)187. CT-RSA: 1.22 (top 15.31%)188. ICLP: 1.21 (top 15.39%)189. Financial Cryptography: 1.21 (top 15.47%)190. DBPL: 1.21 (top 15.56%)191. AAAI/IAAI: 1.20 (top 15.64%)192. Artificial Life: 1.20 (top 15.72%)193. Higher-Order and Symbolic Computation: 1.19 (top 15.80%)194. TKDE: 1.19 (top 15.88%)195. ACM Computing Surveys: 1.19 (top 15.97%)196. Computational Geometry: 1.18 (top 16.05%)197. Autonomous Agents and Multi-Agent Systems: 1.18 (top 16.13%)198. EWSL: 1.18 (top 16.21%)199. Learning for Natural Language Processing: 1.18 (top 16.29%)200. TAPOS: 1.17 (top 16.38%)201. TAPSOFT, Vol.1: 1.17 (top 16.46%)202. International Journal of Computational Geometry and Applications: 1.17 (top 16.54%) 203. TAPSOFT: 1.17 (top 16.62%)204. IEEE Transactions on Parallel and Distributed Systems: 1.17 (top 16.70%)205. Heterogeneous Computing Workshop: 1.16 (top 16.78%)206. Distributed and Parallel Databases: 1.16 (top 16.87%)207. DAC: 1.16 (top 16.95%)208. ICTL: 1.16 (top 17.03%)209. Performance/SIGMETRICS Tutorials: 1.16 (top 17.11%)210. IEEE Computer: 1.15 (top 17.19%)211. IEEE Real Time Technology and Applications Symposium: 1.15 (top 17.28%)212. TAPSOFT, Vol.2: 1.15 (top 17.36%)213. ACM Workshop on Role-Based Access Control: 1.15 (top 17.44%)214. WCRE: 1.14 (top 17.52%)215. Applications and Theory of Petri Nets: 1.14 (top 17.60%)216. ACM SIGOPS European Workshop: 1.14 (top 17.69%)218. Mathematical Structures in Computer Science: 1.14 (top 17.85%)219. Workshop on the Management of Replicated Data: 1.13 (top 17.93%)220. ECCV (2): 1.13 (top 18.01%)221. PPSN: 1.13 (top 18.09%)222. Middleware: 1.13 (top 18.18%)223. OODBS: 1.12 (top 18.26%)224. Electronic Colloquium on Computational Complexity (ECCC): 1.12 (top 18.34%) 225. UML: 1.12 (top 18.42%)226. Real-Time Systems: 1.12 (top 18.50%)227. FME: 1.12 (top 18.59%)228. Evolutionary Computing, AISB Workshop: 1.11 (top 18.67%)229. IEEE Conference on Computational Complexity: 1.11 (top 18.75%)230. IOPADS: 1.11 (top 18.83%)231. IJCAI: 1.10 (top 18.91%)232. ISWC: 1.10 (top 19.00%)233. SIGIR: 1.10 (top 19.08%)234. Symposium on LISP and Functional Programming: 1.10 (top 19.16%)235. PASTE: 1.10 (top 19.24%)236. HPDC: 1.10 (top 19.32%)237. Application and Theory of Petri Nets: 1.09 (top 19.41%)238. ICCAD: 1.09 (top 19.49%)239. Category Theory and Computer Science: 1.08 (top 19.57%)240. Recent Advances in Intrusion Detection: 1.08 (top 19.65%)241. JIIS: 1.08 (top 19.73%)242. TODAES: 1.08 (top 19.81%)243. Neural Computation: 1.08 (top 19.90%)244. CCL: 1.08 (top 19.98%)245. SIGPLAN Workshop: 1.08 (top 20.06%)246. DPDS: 1.07 (top 20.14%)247. ACM Multimedia (1): 1.07 (top 20.22%)248. MAAMAW: 1.07 (top 20.31%)249. Computer Graphics Forum: 1.07 (top 20.39%)250. HUG: 1.06 (top 20.47%)251. Hybrid Neural Systems: 1.06 (top 20.55%)252. SRDS: 1.06 (top 20.63%)253. TPCD: 1.06 (top 20.72%)254. ILP: 1.06 (top 20.80%)255. ARTDB: 1.06 (top 20.88%)256. NIPS: 1.06 (top 20.96%)257. Formal Aspects of Computing: 1.06 (top 21.04%)258. ECHT: 1.06 (top 21.13%)259. ICMCS: 1.06 (top 21.21%)260. Wireless Networks: 1.05 (top 21.29%)261. Advances in Data Base Theory: 1.05 (top 21.37%)262. WDAG: 1.05 (top 21.45%)263. ALP: 1.05 (top 21.53%)264. TARK: 1.05 (top 21.62%)265. PATAT: 1.05 (top 21.70%)266. ISTCS: 1.04 (top 21.78%)267. Concurrency - Practice and Experience: 1.04 (top 21.86%)268. CP: 1.04 (top 21.94%)269. Computer Vision, Graphics, and Image Processing: 1.04 (top 22.03%) 270. FTCS: 1.04 (top 22.11%)271. RTA: 1.04 (top 22.19%)272. COORDINATION: 1.03 (top 22.27%)273. CHDL: 1.03 (top 22.35%)274. Theory of Computing Systems: 1.02 (top 22.44%)275. CTRS: 1.02 (top 22.52%)276. COMPASS/ADT: 1.02 (top 22.60%)277. TOMACS: 1.02 (top 22.68%)278. IEEE Micro: 1.02 (top 22.76%)279. IEEE PACT: 1.02 (top 22.85%)280. ASIACRYPT: 1.01 (top 22.93%)281. MONET: 1.01 (top 23.01%)282. WWW7 / Computer Networks: 1.01 (top 23.09%)283. HUC: 1.01 (top 23.17%)284. Expert Database Conf.: 1.00 (top 23.25%)285. Agents: 1.00 (top 23.34%)286. CPM: 1.00 (top 23.42%)287. SIGPLAN Symposium on Compiler Construction: 1.00 (top 23.50%) 288. International Conference on Evolutionary Computation: 1.00 (top 23.58%) 289. TAGT: 1.00 (top 23.66%)290. Workshop on Parallel and Distributed Simulation: 1.00 (top 23.75%) 291. FTRTFT: 1.00 (top 23.83%)292. TPHOLs: 1.00 (top 23.91%)293. Intelligent User Interfaces: 0.99 (top 23.99%)294. Journal of Functional and Logic Programming: 0.99 (top 24.07%)295. Cluster Computing: 0.99 (top 24.16%)296. ESA: 0.99 (top 24.24%)297. PLILP: 0.99 (top 24.32%)298. COLING-ACL: 0.98 (top 24.40%)299. META: 0.97 (top 24.48%)300. IEEE MultiMedia: 0.97 (top 24.57%)301. ICALP: 0.97 (top 24.65%)302. IATA: 0.97 (top 24.73%)303. FPGA: 0.97 (top 24.81%)304. EuroCOLT: 0.97 (top 24.89%)305. New Generation Computing: 0.97 (top 24.97%)306. Automated Software Engineering: 0.97 (top 25.06%)307. GRID: 0.97 (top 25.14%)308. ISOTAS: 0.96 (top 25.22%)309. LPNMR: 0.96 (top 25.30%)310. PLILP/ALP: 0.96 (top 25.38%)311. UIST: 0.96 (top 25.47%)312. IPCO: 0.95 (top 25.55%)313. ICPP, Vol. 1: 0.95 (top 25.63%)314. PNPM: 0.95 (top 25.71%)315. HSCC: 0.95 (top 25.79%)316. ILPS: 0.95 (top 25.88%)317. RIDE-IMS: 0.95 (top 25.96%)318. Int. J. on Digital Libraries: 0.95 (top 26.04%)319. STTT: 0.94 (top 26.12%)320. MFPS: 0.94 (top 26.20%)321. Graph-Grammars and Their Application to Computer Science: 0.93 (top 26.28%) 322. Graph Drawing: 0.93 (top 26.37%)323. VRML: 0.93 (top 26.45%)324. VDM Europe: 0.93 (top 26.53%)325. AAAI/IAAI, V ol. 2: 0.93 (top 26.61%)326. Z User Workshop: 0.93 (top 26.69%)327. Constraints: 0.93 (top 26.78%)328. SCM: 0.93 (top 26.86%)329. IEEE Software: 0.92 (top 26.94%)330. World Wide Web: 0.92 (top 27.02%)331. HOA: 0.92 (top 27.10%)332. Symposium on Reliable Distributed Systems: 0.92 (top 27.19%)333. SIAM Journal on Discrete Mathematics: 0.92 (top 27.27%)334. SMILE: 0.91 (top 27.35%)335. HART: 0.91 (top 27.43%)336. ICPP, Vol. 3: 0.91 (top 27.51%)337. FASE: 0.91 (top 27.60%)338. TCS: 0.91 (top 27.68%)339. IEEE Transactions on Information Theory: 0.91 (top 27.76%)340. C++ Conference: 0.91 (top 27.84%)341. ICSE: 0.90 (top 27.92%)342. ARTS: 0.90 (top 28.00%)343. Journal of Computational Biology: 0.90 (top 28.09%)344. SIGART Bulletin: 0.90 (top 28.17%)345. TREC: 0.89 (top 28.25%)346. Implementation of Functional Languages: 0.89 (top 28.33%)347. Acta Informatica: 0.88 (top 28.41%)348. SAIG: 0.88 (top 28.50%)349. CANPC: 0.88 (top 28.58%)350. CACM: 0.87 (top 28.66%)351. PADL: 0.87 (top 28.74%)352. Networked Group Communication: 0.87 (top 28.82%)353. RECOMB: 0.87 (top 28.91%)354. ACM DL: 0.87 (top 28.99%)355. Computer Performance Evaluation: 0.87 (top 29.07%)356. Journal of Parallel and Distributed Computing: 0.86 (top 29.15%)357. PARLE (1): 0.86 (top 29.23%)358. DISC: 0.85 (top 29.32%)359. FGCS: 0.85 (top 29.40%)360. ELP: 0.85 (top 29.48%)361. IEEE Transactions on Computers: 0.85 (top 29.56%)362. JSC: 0.85 (top 29.64%)363. LOPSTR: 0.85 (top 29.72%)364. FoSSaCS: 0.85 (top 29.81%)365. World Congress on Formal Methods: 0.85 (top 29.89%)366. CHARME: 0.84 (top 29.97%)367. RIDE: 0.84 (top 30.05%)368. APPROX: 0.84 (top 30.13%)369. EWCBR: 0.84 (top 30.22%)370. CC: 0.83 (top 30.30%)371. Public Key Cryptography: 0.83 (top 30.38%)372. CA: 0.83 (top 30.46%)373. CHES: 0.83 (top 30.54%)374. ECML: 0.83 (top 30.63%)375. LCTES/OM: 0.83 (top 30.71%)376. Information Systems: 0.83 (top 30.79%)377. IJCIS: 0.83 (top 30.87%)378. Journal of Visual Languages and Computing: 0.82 (top 30.95%)379. WADS: 0.82 (top 31.04%)380. Random Structures and Algorithms: 0.81 (top 31.12%)381. ICS: 0.81 (top 31.20%)382. Data Engineering Bulletin: 0.81 (top 31.28%)383. VDM Europe (1): 0.81 (top 31.36%)384. SW AT: 0.80 (top 31.44%)385. Nordic Journal of Computing: 0.80 (top 31.53%)386. Mathematical Foundations of Programming Semantics: 0.80 (top 31.61%)387. Architectures and Compilation Techniques for Fine and Medium Grain Parallelism: 0.80 (top 31.69%)388. KBSE: 0.80 (top 31.77%)389. STACS: 0.80 (top 31.85%)390. EMSOFT: 0.80 (top 31.94%)391. IEEE Data Engineering Bulletin: 0.80 (top 32.02%)392. Annals of Mathematics and Artificial Intelligence: 0.79 (top 32.10%)393. WOSP: 0.79 (top 32.18%)394. VBC: 0.79 (top 32.26%)395. RTDB: 0.79 (top 32.35%)396. CoopIS: 0.79 (top 32.43%)397. Combinatorica: 0.79 (top 32.51%)398. International Journal of Geographical Information Systems: 0.78 (top 32.59%)399. Autonomous Robots: 0.78 (top 32.67%)400. IW-MMDBMS: 0.78 (top 32.76%)401. ESEC: 0.78 (top 32.84%)402. WADT: 0.78 (top 32.92%)403. CAAP: 0.78 (top 33.00%)404. LCTES: 0.78 (top 33.08%)405. ZUM: 0.77 (top 33.16%)406. TYPES: 0.77 (top 33.25%)407. Symposium on Reliability in Distributed Software and Database Systems: 0.77 (top 33.33%) 408. TABLEAUX: 0.77 (top 33.41%)409. International Journal of Parallel Programming: 0.77 (top 33.49%)410. COST 237 Workshop: 0.77 (top 33.57%)411. Data Types and Persistence (Appin), Informal Proceedings: 0.77 (top 33.66%)412. Evolutionary Programming: 0.77 (top 33.74%)413. Reflection: 0.76 (top 33.82%)414. SIGMOD Record: 0.76 (top 33.90%)415. Security Protocols Workshop: 0.76 (top 33.98%)416. XP1 Workshop on Database Theory: 0.76 (top 34.07%)417. EDMCC: 0.76 (top 34.15%)418. DL: 0.76 (top 34.23%)419. EDAC-ETC-EUROASIC: 0.76 (top 34.31%)420. Protocols for High-Speed Networks: 0.76 (top 34.39%)421. PPDP: 0.75 (top 34.47%)422. IFIP PACT: 0.75 (top 34.56%)423. LNCS: 0.75 (top 34.64%)424. IWQoS: 0.75 (top 34.72%)425. UK Hypertext: 0.75 (top 34.80%)426. Selected Areas in Cryptography: 0.75 (top 34.88%)427. ICATPN: 0.74 (top 34.97%)428. Workshop on Computational Geometry: 0.74 (top 35.05%)429. Integrated Network Management: 0.74 (top 35.13%)430. ICGI: 0.74 (top 35.21%)431. ICPP (2): 0.74 (top 35.29%)432. SSR: 0.74 (top 35.38%)433. ADB: 0.74 (top 35.46%)434. Object Representation in Computer Vision: 0.74 (top 35.54%)435. PSTV: 0.74 (top 35.62%)436. CAiSE: 0.74 (top 35.70%)437. On Knowledge Base Management Systems (Islamorada): 0.74 (top 35.79%)438. CIKM: 0.73 (top 35.87%)439. WSA: 0.73 (top 35.95%)440. RANDOM: 0.73 (top 36.03%)441. KRDB: 0.73 (top 36.11%)442. ISSS: 0.73 (top 36.19%)443. SIGAL International Symposium on Algorithms: 0.73 (top 36.28%)444. INFORMS Journal on Computing: 0.73 (top 36.36%)445. Computer Supported Cooperative Work: 0.73 (top 36.44%)446. CSL: 0.72 (top 36.52%)447. Computational Intelligence: 0.72 (top 36.60%)448. ICCBR: 0.72 (top 36.69%)449. ICES: 0.72 (top 36.77%)450. AI Magazine: 0.72 (top 36.85%)451. JELIA: 0.72 (top 36.93%)452. VR: 0.71 (top 37.01%)453. ICPP (1): 0.71 (top 37.10%)454. RIDE-TQP: 0.71 (top 37.18%)455. ISA: 0.71 (top 37.26%)456. Data Compression Conference: 0.71 (top 37.34%)457. CIA: 0.71 (top 37.42%)458. COSIT: 0.71 (top 37.51%)459. IJCSLP: 0.71 (top 37.59%)460. DISCO: 0.71 (top 37.67%)461. DKE: 0.71 (top 37.75%)462. IWAN: 0.71 (top 37.83%)463. Operating Systems Review: 0.70 (top 37.91%)464. IEEE Internet Computing: 0.70 (top 38.00%)465. LISP Conference: 0.70 (top 38.08%)466. C++ Workshop: 0.70 (top 38.16%)467. SPDP: 0.70 (top 38.24%)468. Fuji International Symposium on Functional and Logic Programming: 0.69 (top 38.32%) 469. LPAR: 0.69 (top 38.41%)470. ECAI: 0.69 (top 38.49%)471. Hypermedia: 0.69 (top 38.57%)472. Artificial Intelligence in Medicine: 0.69 (top 38.65%)473. AADEBUG: 0.69 (top 38.73%)474. VL: 0.69 (top 38.82%)475. FSTTCS: 0.69 (top 38.90%)476. AMAST: 0.68 (top 38.98%)477. Artificial Intelligence Review: 0.68 (top 39.06%)478. HPN: 0.68 (top 39.14%)479. POS: 0.68 (top 39.23%)480. Research Directions in High-Level Parallel Programming Languages: 0.68 (top 39.31%) 481. Performance Evaluation: 0.68 (top 39.39%)482. ASE: 0.68 (top 39.47%)483. LFCS: 0.67 (top 39.55%)484. ISCOPE: 0.67 (top 39.63%)485. Workshop on Software and Performance: 0.67 (top 39.72%)486. European Workshop on Applications and Theory in Petri Nets: 0.67 (top 39.80%) 487. ICPP: 0.67 (top 39.88%)488. INFOVIS: 0.67 (top 39.96%)489. Description Logics: 0.67 (top 40.04%)490. JCDKB: 0.67 (top 40.13%)491. Euro-Par, Vol. I: 0.67 (top 40.21%)492. RoboCup: 0.67 (top 40.29%)493. Symposium on Solid Modeling and Applications: 0.66 (top 40.37%)494. TPLP: 0.66 (top 40.45%)495. CVRMed: 0.66 (top 40.54%)496. POS/PJW: 0.66 (top 40.62%)497. FORTE: 0.66 (top 40.70%)498. IPMI: 0.66 (top 40.78%)499. ADL: 0.66 (top 40.86%)。

计算机方向的会议级别

计算机方向的会议级别

AREA: Artificial Intelligence and Related SubjectsRank 1:AAAI: American Association for AI National ConferenceCVPR: IEEE Conf on Comp Vision and Pattern RecognitionECCV: European Conference on Computer VisionIJCAI: Intl Joint Conf on AIICCV: Intl Conf on Computer VisionICML: Intl Conf on Machine LearningKDD: Knowledge Discovery and Data MiningKR: Intl Conf on Principles of KR & ReasoningNIPS: Neural Information Processing SystemsUAI: Conference on Uncertainty in AIICAA: International Conference on Autonomous AgentsACL: Annual Meeting of the ACL (Association of Computational Linguistics) Rank 2:NAACL: North American Chapter of the ACLAID: Intl Conf on AI in DesignAI-ED: World Conference on AI in EducationCAIP: Inttl Conf on Comp. Analysis of Images and PatternsCSSAC: Cognitive Science Society Annual ConferenceEAI: European Conf on AIEML: European Conf on Machine LearningGP: Genetic Programming ConferenceIAAI: Innovative Applications in AIICIP: Intl Conf on Image ProcessingICNN/IJCNN: Intl (Joint) Conference on Neural NetworksICPR: Intl Conf on Pattern RecognitionICDAR: International Conference on Document Analysis and Recognition ICTAI: IEEE conference on Tools with AIAMAI: Artificial Intelligence and MathsDAS: International Workshop on Document Analysis SystemsWACV: IEEE Workshop on Apps of Computer VisionCOLING: International Conference on Computational LiguisticsEMNLP: Empirical Methods in Natural Language ProcessingEACL: Annual Meeting of European Association Computational Lingustics CoNLL: Conference on Natural Language LearningRank 3:PRICAI: Pacific Rim Intl Conf on AIAAI: Australian National Conf on AIACCV: Asian Conference on Computer VisionAI*IA: Congress of the Italian Assoc for AIANNIE: Artificial Neural Networks in EngineeringANZIIS: Australian/NZ Conf on Intelligent Inf. SystemsCAIA: Conf on AI for ApplicationsCAAI: Canadian Artificial Intelligence ConferenceASADM: Chicago ASA Data Mining Conf: A Hard Look at DMEPIA: Portuguese Conference on Artificial IntelligenceFCKAML: French Conf on Know. Acquisition & Machine LearningICANN: International Conf on Artificial Neural NetworksICCB: International Conference on Case-Based ReasoningICGA: International Conference on Genetic AlgorithmsICONIP: Intl Conf on Neural Information ProcessingIEA/AIE: Intl Conf on Ind. & Eng. Apps of AI & Expert SysICMS: International Conference on Multiagent SystemsICPS: International conference on Planning SystemsIWANN: Intl Work-Conf on Art & Natural Neural NetworksPACES: Pacific Asian Conference on Expert SystemsSCAI: Scandinavian Conference on Artifical IntelligenceSPICIS: Singapore Intl Conf on Intelligent SystemPAKDD: Pacific-Asia Conf on Know. Discovery & Data MiningSMC: IEEE Intl Conf on Systems, Man and CyberneticsPAKDDM: Practical App of Knowledge Discovery & Data MiningWCNN: The World Congress on Neural NetworksWCES: World Congress on Expert SystemsINBS: IEEE Intl Symp on Intell. in Neural \& Bio SystemsASC: Intl Conf on AI and Soft ComputingPACLIC: Pacific Asia Conference on Language, Information and Computation ICCC: International Conference on Chinese ComputingICADL: International Conference on Asian Digital LibrariesRANLP: Recent Advances in Natural Language ProcessingNLPRS: Natural Language Pacific Rim SymposiumOthers:ICRA: IEEE Intl Conf on Robotics and AutomationNNSP: Neural Networks for Signal ProcessingICASSP: IEEE Intl Conf on Acoustics, Speech and SPGCCCE: Global Chinese Conference on Computers in EducationICAI: Intl Conf on Artificial IntelligenceAEN: IASTED Intl Conf on AI, Exp Sys & Neural NetworksWMSCI: World Multiconfs on Sys, Cybernetics & InformaticsLREC: Language Resources and Evaluation ConferenceAREA: Hardware and ArchitectureRank 1:ASPLOS: Architectural Support for Prog Lang and OSISCA: ACM/IEEE Symp on Computer ArchitectureICCAD: Intl Conf on Computer-Aided DesignDAC: Design Automation ConfMICRO: Intl Symp on MicroarchitectureHPCA: IEEE Symp on High-Perf Comp ArchitectureRank 2:FCCM: IEEE Symposium on Field Programmable Custom Computing Machines SUPER: ACM/IEEE Supercomputing ConferenceICS: Intl Conf on SupercomputingISSCC: IEEE Intl Solid-State Circuits ConfHCS: Hot Chips SympVLSI: IEEE Symp VLSI CircuitsISSS: International Symposium on System SynthesisDATE: IEEE/ACM Design, Automation & Test in Europe ConferenceRank 3:ICA3PP: Algs and Archs for Parall ProcEuroMICRO: New Frontiers of Information TechnologyACS: Australian Supercomputing ConfUnranked:Advanced Research in VLSIInternational Symposium on System SynthesisInternational Symposium on Computer DesignInternational Symposium on Circuits and SystemsAsia Pacific Design Automation ConferenceInternational Symposium on Physical DesignInternational Conference on VLSI DesignAREA: ApplicationsRank 1:I3DG: ACM-SIGRAPH Interactive 3D GraphicsSIGGRAPH: ACM SIGGRAPH ConferenceACM-MM: ACM Multimedia ConferenceDCC: Data Compression ConfSIGMETRICS: ACM Conf on Meas. & Modelling of Comp SysSIGIR: ACM SIGIR Conf on Information RetrievalPECCS: IFIP Intl Conf on Perf Eval of Comp \& Comm SysWWW: World-Wide Web ConferenceRank 2:EUROGRAPH: European Graphics ConferenceCGI: Computer Graphics InternationalCANIM: Computer AnimationPG: Pacific GraphicsNOSSDAV: Network and OS Support for Digital A/VPADS: ACM/IEEE/SCS Workshop on Parallel \& Dist Simulation WSC: Winter Simulation ConferenceASS: IEEE Annual Simulation SymposiumMASCOTS: Symp Model Analysis \& Sim of Comp \& Telecom Sys PT: Perf Tools - Intl Conf on Model Tech \& Tools for CPENetStore: Network Storage SymposiumMMCN: ACM/SPIE Multimedia Computing and NetworkingJCDL: Joint Conference on Digital LibrariesRank 3:ACM-HPC: ACM Hypertext ConfMMM: Multimedia ModellingICME: Intl Conf on MMedia & ExpoDSS: Distributed Simulation SymposiumSCSC: Summer Computer Simulation ConferenceWCSS: World Congress on Systems SimulationESS: European Simulation SymposiumESM: European Simulation MulticonferenceHPCN: High-Performance Computing and NetworkingGeometry Modeling and ProcessingWISEDS-RT: Distributed Simulation and Real-time ApplicationsIEEE Intl Wshop on Dist Int Simul and Real-Time ApplicationsECIR: European Colloquium on Information RetrievalUn-ranked:DVAT: IS\&T/SPIE Conf on Dig Video Compression Alg \& Tech MME: IEEE Intl Conf. on Multimedia in EducationICMSO: Intl Conf on Modelling, Simulation and OptimisationICMS: IASTED Intl Conf on Modelling and SimulationAREA: System Technology (Including networking and security)Rank 1:SIGCOMM: ACM Conf on Comm Architectures, Protocols & Apps SPAA: Symp on Parallel Algms and ArchitecturePODC: ACM Symp on Principles of Distributed ComputingPPoPP: Principles and Practice of Parallel ProgrammingMassPar: Symp on Frontiers of Massively Parallel ProcRTSS: Real Time Systems SympSOSP: ACM SIGOPS Symp on OS PrinciplesOSDI: Usenix Symp on OS Design and ImplementationCCS: ACM Conf on Comp and Communications SecurityS&P (Oakland): IEEE Symposium on Security and PrivacyMOBICOM: ACM Intl Conf on Mobile Computing and NetworkingMOBIHOC: ACM International Symposium on Mobile Ad Hoc Networking and ComputingICNP: Intl Conf on Network ProtocolsOPENARCH: IEEE Conf on Open Arch and Network ProgPACT: Intl Conf on Parallel Arch and Compil TechINFOCOM: Annual Joint Conf IEEE Comp & Comm SocRank 2:USENIX Symp on Internet Tech and SysCC: Compiler ConstructionIPDPS: Intl Parallel and Dist Processing SympMOBISYS: International Conference on Mobile Systems, Applications, and Services SenSys: ACM Conference on Embedded Networked Sensor SystemsICPP: Intl Conf on Parallel ProcessingICDCS: IEEE Intl Conf on Distributed Comp SystemsSRDS: Symp on Reliable Distributed SystemsMPPOI: Massively Par Proc Using Opt InterconnsASAP: Intl Conf on Apps for Specific Array ProcessorsEuro-Par: European Conf. on Parallel ComputingUsenix Security SymposiumNDSS: ISOC Network and Distributed System Security SymposiumESORICS: European Symposium on Research in Computer SecurityRAID: International Symposium on Recent Advances in Intrusion DetectionDSN: The International Conference on Dependable Systems and NetworksACSAC: Annual Computer Security Applications ConferenceWCW: Web Caching WorkshopLCN: IEEE Annual Conference on Local Computer NetworksIPCCC: IEEE Intl Phoenix Conf on Comp & CommunicationsCCC: Cluster Computing ConferenceICC: Intl Conf on CommWCNC: IEEE Wireless Communications and Networking ConferenceIPSN: International Conference on Information Processing in Sensor NetworksIPTPS: Annual International Workshop on Peer-To-Peer SystemsCSFW: IEEE Computer Security Foundations WorkshopRank 3:MPCS: Intl. Conf. on Massively Parallel Computing SystemsGLOBECOM: Global CommIMC: Internet Measurement ConferenceIC3N: Intl Conf on Comp Comm and NetworksICCC: Intl Conf on Comp CommunicationNOMS: IEEE Network Operations and Management SympCONPAR: Intl Conf on Vector and Parallel ProcessingVAPP: Vector and Parallel ProcessingICPADS: Intl Conf. on Parallel and Distributed SystemsPublic Key CryptosystemsFast Software EncryptionSecureComm: Int. Conf on Security and Privacy for Emerging Areas in Communication NetworksAsiaCCS: ACM Symposium on Information, Computer and Communications Security ACNS: International Conference on Applied Cryptography and Network SecurityAnnual Workshop on Selected Areas in CryptographyAustralasia Conference on Information Security and PrivacyInt. Conf on Inofrm and Comm. SecurityFinancial CryptographyWorkshop on Information HidingSmart Card Research and Advanced Application ConferenceICON: Intl Conf on NetworksIMSA: Intl Conf on Internet and MMedia SysNCC: Nat Conf CommIN: IEEE Intell Network WorkshopSoftcomm: Conf on Software in Tcomms and Comp NetworksINET: Internet Society ConfWorkshop on Security and Privacy in E-commerceEEE: IEEE Conference on e-Technology, e-Commerce and e-Service (Suggested by Roy Grønmo. Thanks)Un-ranked:PARCO: Parallel ComputingSE: Intl Conf on Systems EngineeringAREA: Programming Languages and Software EngineeringRank 1:POPL: ACM-SIGACT Symp on Principles of Prog LangsPLDI: ACM-SIGPLAN Symp on Prog Lang Design & ImplOOPSLA: OO Prog Systems, Langs and ApplicationsICFP: Intl Conf on Function ProgrammingJICSLP/ICLP/ILPS: (Joint) Intl Conf/Symp on Logic ProgICSE: Intl Conf on Software EngineeringFSE: ACM Conference on the Foundations of Software Engineering (inc: ESEC-FSE when held jointly)FM/FME: Formal Methods, World Congress/EuropeCAV: Computer Aided VerificationRank 2:CP: Intl Conf on Principles & Practice of Constraint ProgTACAS: Tools and Algos for the Const and An of SystemsESOP: European Conf on ProgrammingICCL: IEEE Intl Conf on Computer LanguagesPEPM: Symp on Partial Evalutation and Prog ManipulationSAS: Static Analysis SymposiumRTA: Rewriting Techniques and ApplicationsESEC: European Software Engineering ConfIWSSD: Intl Workshop on S/W Spec & DesignCAiSE: Intl Conf on Advanced Info System EngineeringITC: IEEE Intl Test ConfIWCASE: Intl Workshop on Cumpter-Aided Software EngSSR: ACM SIGSOFT Working Conf on Software ReusabilitySEKE: Intl Conf on S/E and Knowledge EngineeringICSR: IEEE Intl Conf on Software ReuseASE: Automated Software Engineering ConferencePADL: Practical Aspects of Declarative LanguagesISRE: Requirements EngineeringICECCS: IEEE Intl Conf on Eng. of Complex Computer SystemsIEEE Intl Conf on Formal Engineering MethodsIntl Conf on Integrated Formal MethodsFOSSACS: Foundations of Software Science and Comp StructRank 3:FASE: Fund Appr to Soft EngAPSEC: Asia-Pacific S/E ConfPAP/PACT: Practical Aspects of PROLOG/Constraint TechALP: Intl Conf on Algebraic and Logic ProgrammingPLILP: Prog, Lang Implentation & Logic ProgrammingLOPSTR: Intl Workshop on Logic Prog Synthesis & TransfICCC: Intl Conf on Compiler ConstructionCOMPSAC: Intl. Computer S/W and Applications ConfCSM: Conf on Software MaintenanceTAPSOFT: Intl Joint Conf on Theory & Pract of S/W DevWCRE: SIGSOFT Working Conf on Reverse EngineeringAQSDT: Symp on Assessment of Quality S/W Dev ToolsIFIP Intl Conf on Open Distributed ProcessingIntl Conf of Z UsersIFIP Joint Int'l Conference on Formal Description Techniques and Protocol Specification,Testing, And VerificatiPSI (Ershov conference)UML: International Conference on the Unified Modeling LanguageEDOC: IEEE Conference on Enterprise Computing (Suggested by Roy Grønmo.)Un-ranked:Australian Software Engineering ConferenceIEEE Int. W'shop on Object-oriented Real-time Dependable Sys. (WORDS)IEEE International Symposium on High Assurance Systems EngineeringThe Northern Formal Methods WorkshopsFormal Methods PacificInt. Workshop on Formal Methods for Industrial Critical SystemsJFPLC - International French Speaking Conference on Logic and Constraint ProgrammingL&L - Workshop on Logic and LearningSFP - Scottish Functional Programming WorkshopHASKELL - Haskell WorkshopLCCS - International Workshop on Logic and Complexity in Computer ScienceVLFM - Visual Languages and Formal MethodsNASA LaRC Formal Methods Workshop(1) FATES - A Satellite workshop on Formal Approaches to Testing of Software(1) Workshop On Java For High-Performance Computing(1) DSLSE - Domain-Specific Languages for Software Engineering(1) FTJP - Workshop on Formal Techniques for Java Programs(*) WFLP - International Workshop on Functional and (Constraint) Logic Programming (*) FOOL - International Workshop on Foundations of Object-Oriented L anguages (*) SREIS - Symposium on Requirements Engineering for Information Sec urity(*) HLPP - International workshop on High-level parallel programming and applications (*) INAP - International Conference on Applications of Prolog(*) MPOOL - Workshop on Multiparadigm Programming with OO Languages(*) PADO - Symposium on Programs as Data Objects(*) TOOLS: Int'l Conf Technology of Object-Oriented Languages and Systems(*) Australasian Conference on Parallel And Real-Time SystemsAREA: Algorithms and TheoryRank 1:STOC: ACM Symp on Theory of ComputingFOCS: IEEE Symp on Foundations of Computer ScienceCOLT: Computational Learning TheoryLICS: IEEE Symp on Logic in Computer ScienceSCG: ACM Symp on Computational GeometrySODA: ACM/SIAM Symp on Discrete AlgorithmsSPAA: ACM Symp on Parallel Algorithms and ArchitecturesPODC: ACM Symp on Principles of Distributed ComputingISSAC: Intl. Symp on Symbolic and Algebraic ComputationCRYPTO: Advances in CryptologyEUROCRYPT: European Conf on CryptographyRank 2:CONCUR: International Conference on Concurrency TheoryICALP: Intl Colloquium on Automata, Languages and ProgSTACS: Symp on Theoretical Aspects of Computer ScienceCC: IEEE Symp on Computational ComplexityWADS: Workshop on Algorithms and Data StructuresMFCS: Mathematical Foundations of Computer ScienceSWAT: Scandinavian Workshop on Algorithm TheoryESA: European Symp on AlgorithmsIPCO: MPS Conf on integer programming & comb optimization LFCS: Logical Foundations of Computer ScienceALT: Algorithmic Learning TheoryEUROCOLT: European Conf on Learning TheoryWDAG: Workshop on Distributed AlgorithmsISTCS: Israel Symp on Theory of Computing and SystemsISAAC: Intl Symp on Algorithms and ComputationFST&TCS: Foundations of S/W Tech & Theoretical CSLATIN: Intl Symp on Latin American Theoretical Informatics RECOMB: Annual Intl Conf on Comp Molecular BiologyCADE: Conf on Automated DeductionIEEEIT: IEEE Symposium on Information TheoryAsiacryptRank 3:MEGA: Methods Effectives en Geometrie AlgebriqueASIAN: Asian Computing Science ConfCCCG: Canadian Conf on Computational GeometryFCT: Fundamentals of Computation TheoryWG: Workshop on Graph TheoryCIAC: Italian Conf on Algorithms and ComplexityICCI: Advances in Computing and InformationAWTI: Argentine Workshop on Theoretical InformaticsCATS: The Australian Theory SympCOCOON: Annual Intl Computing and Combinatorics ConfUMC: Unconventional Models of ComputationMCU: Universal Machines and ComputationsGD: Graph DrawingSIROCCO: Structural Info & Communication ComplexityALEX: Algorithms and ExperimentsALG: ENGG Workshop on Algorithm EngineeringLPMA: Intl Workshop on Logic Programming and Multi-AgentsEWLR: European Workshop on Learning RobotsCITB: Complexity & info-theoretic approaches to biologyFTP: Intl Workshop on First-Order Theorem Proving (FTP)CSL: Annual Conf on Computer Science Logic (CSL)AAAAECC: Conf On Applied Algebra, Algebraic Algms & ECCDMTCS: Intl Conf on Disc Math and TCSUn-ranked:Information Theory WorkshopAREA: Data BasesRank 1:SIGMOD: ACM SIGMOD Conf on Management of DataPODS: ACM SIGMOD Conf on Principles of DB SystemsVLDB: Very Large Data BasesICDE: Intl Conf on Data EngineeringICDT: Intl Conf on Database TheoryRank 2:SSD: Intl Symp on Large Spatial DatabasesDEXA: Database and Expert System ApplicationsFODO: Intl Conf on Foundation on Data OrganizationEDBT: Extending DB TechnologyDOOD: Deductive and Object-Oriented DatabasesDASFAA: Database Systems for Advanced ApplicationsCIKM: Intl. Conf on Information and Knowledge ManagementSSDBM: Intl Conf on Scientific and Statistical DB MgmtCoopIS - Conference on Cooperative Information SystemsER - Intl Conf on Conceptual Modeling (ER)Rank 3:COMAD: Intl Conf on Management of DataBNCOD: British National Conference on DatabasesADC: Australasian Database ConferenceADBIS: Symposium on Advances in DB and Information Systems DaWaK - Data Warehousing and Knowledge DiscoveryRIDE WorkshopIFIP-DS: IFIP-DS ConferenceIFIP-DBSEC - IFIP Workshop on Database SecurityNGDB: Intl Symp on Next Generation DB Systems and AppsADTI: Intl Symp on Advanced DB Technologies and IntegrationFEWFDB: Far East Workshop on Future DB SystemsMDM - Int. Conf. on Mobile Data Access/Management (MDA/MDM) ICDM - IEEE International Conference on Data MiningVDB - Visual Database SystemsIDEAS - International Database Engineering and Application SymposiumOthers:ARTDB - Active and Real-Time Database SystemsCODAS: Intl Symp on Cooperative DB Systems for Adv AppsDBPL - Workshop on Database Programming LanguagesEFIS/EFDBS - Engineering Federated Information (Database) SystemsKRDB - Knowledge Representation Meets DatabasesNDB - National Database Conference (China)NLDB - Applications of Natural Language to Data BasesKDDMBD - Knowledge Discovery and Data Mining in Biological Databases Meeting FQAS - Flexible Query-Answering SystemsIDC(W) - International Database Conference (HK CS)RTDB - Workshop on Real-Time DatabasesSBBD: Brazilian Symposium on DatabasesWebDB - International Workshop on the Web and DatabasesWAIM: Interational Conference on Web Age Information Management(1) DASWIS - Data Semantics in Web Information Systems(1) DMDW - Design and Management of Data Warehouses(1) DOLAP - International Workshop on Data Warehousing and OLAP(1) DMKD - Workshop on Research Issues in Data Mining and Knowledge Discovery(1) KDEX - Knowledge and Data Engineering Exchange Workshop(1) NRDM - Workshop on Network-Related Data Management(1) MobiDE - Workshop on Data Engineering for Wireless and Mobile Access(1) MDDS - Mobility in Databases and Distributed Systems(1) MEWS - Mining for Enhanced Web Search(1) TAKMA - Theory and Applications of Knowledge MAnagement(1) WIDM: International Workshop on Web Information and Data Management(1) W2GIS - International Workshop on Web and Wireless Geographical Information Systems* CDB - Constraint Databases and Applications* DTVE - Workshop on Database Technology for Virtual Enterprises* IWDOM - International Workshop on Distributed Object Management* IW-MMDBMS - Int. Workshop on Multi-Media Data Base Management Systems* OODBS - Workshop on Object-Oriented Database Systems* PDIS: Parallel and Distributed Information SystemsAREA: MiscellaneousRank 1:Rank 2:AMIA: American Medical Informatics Annual Fall SymposiumDNA: Meeting on DNA Based ComputersRank 3:MEDINFO: World Congress on Medical InformaticsInternational Conference on Sequences and their ApplicationsECAIM: European Conf on AI in MedicineAPAMI: Asia Pacific Assoc for Medical Informatics ConfSAC: ACM/SIGAPP Symposium on Applied ComputingICSC: Internal Computer Science ConferenceISCIS: Intl Symp on Computer and Information SciencesICSC2: International Computer Symposium ConferenceICCE: Intl Conf on Comps in EduEd-MediaWCC: World Computing CongressPATAT: Practice and Theory of Automated TimetablingNot Encouraged (NO INTENTION TO OFFEND THESE ORGANIZERS):International Multiconferences in Computer ScienceSCI: World Multi confs on systemics, sybernetics and informaticsSSGRR: International conf on Advances in Infrastructure for e-B, e-Edu and e-Science and e-MedicineIASTED conferences。

An infinitely-often one-way function based on an average-case

An infinitely-often one-way function based on an average-case

An infinitely-often one-way function based on anaverage-case assumptionEdward A.Hirsch∗Dmitry M.Itsykson†November8,2007AbstractWe assume the existence of a function f that is computable in polynomial time but its inverse function is not computable in randomized average-case polynomial time.The cryptographic setting is,however,different:even for a weak one-way function,every possible adversary should fail on a polynomial fraction of inputs.Nevertheless,we show how to construct an infinitely-often one-way function based on f.1IntroductionOne-way functions are one of the main cryptographic primitives.However,no reasonable complexity assumption(such as,say,P=NP or AvgP=DistNP)is known that would imply the existence of one-way functions.In particular,the three obstacles that prevent using Levin’s average-case complexity notions in the cryptographic setting,are1.A successful cryptographic adversary may err on a polynomial fraction of inputs[Gol01,Definition2.2.2],while in the average-case setting this is not enough to solve a problem: if one spends exponential time on these inputs,the average-case complexity is not polynomial[Lev86,BT06].2.The(polynomially samplable)probability distribution for the cryptographic setting istaken over function inputs,while in the average-case setting it is taken over the outputs(i.e.,the instances of the search problem of computing the inverse function):see,e.g.,[Imp95,Lev03].Note that a polynomially samplable distribution on the outputs is not necessarily dominated by the distribution induced by a polynomially samplable distribution on the inputs.3.To solve a problem in the average-case,one should solve it on all input lengths,while inthe cryptographic case a successful adversary is allowed to solve it just on an infinite number of input lengths.We do not know if this definitional discrepancy can be overcome,and follow the average-case tradition in this work.Thus the function that we obtain is hard to invert only on an infinite number of(rather than on almost all) input lengths.In this paper we address item1of the above list:we prove that average-case hardness of inverting a function implies cryptographic hardness of inverting a related function on an infinite number of input ly,we show how to pad any function so that we can use any polynomial-time algorithm that inverts the padded function with any noticeable probability of success for inverting the padded function(as well as the original non-padded function)in polynomial-time on the average.The reduction essentially uses the fact that the two concepts use a similarly defined set of input lengths,thus we do not resolve item3. We do not attempt to resolve item2either.Our method uses the following simple idea of the proof of[Imp95,Proposition3]for an algorithm that fails on an o(1)fraction of inputs of the same length,if one pads the input,the failure probability decreases.Bogdanov and Trevisan use this idea to prove that the existence of an algorithm that fails on a1polynomial-time computable function v such that∀x,y∈{0,1}∗v(x,y)=1⇐⇒y∈f(x).Definition2.3.A distributed search problem(f,D)consists of a polynomially verifiable function f:{0,1}∗→2{0,1}∗and an ensemble of distributions D.Remark2.1.Bogdanov and Trevisan[BT06]consider search algorithms for NP languages instead of formally defining distributed search problems,though these approaches are obvi-ously equivalent.We follow Impagliazzo[Imp95]and Bogdanov and Trevisan[BT06]in defining average-case polynomial-time algorithms as polynomial-time algorithms that are allowed to“give up”(by outputting a special symbol⊥).Definition2.4(cf.[BT06,Definition4.2]).A distributed search problem(f,D)can be solved in polynomial time on the average if there exists an algorithm A(x,δ)such that •A runs in time polynomial in|x|and1δfor any x in the support of D and any positiveδ;•if f(x)=∅,then Pr{A(x,δ)/∈f(x)∪{⊥}}≤14}≤δwhere the inner probability is taken over therandom bits of A.Defiplexity class F AvgBPP consists of all distributed search problems that can be solved in randomized polynomial time.The following definition of a(deterministic)reduction is a special case of randomized heuristic search reduction[BT06,5.1.1].While F AvgBPP might not be closed under these randomized reductions,it is closed under the deterministic ones.In this paper we use only deterministic reductions.3Definition2.8.Consider two distributed search problems(f,D)and(f′,D′).We say that (f,D)reduces to(f′,D′),if there are polynomial-time computable functions h,g such that the two following statements hold:•f(x)=∅=⇒f′(h(x))=∅;•y∈f′(h(x))=⇒g(y)∈f(x)for any y and x with D|x|(x)>0;•there is a polynomial p(n)such thath(x)=x′,|x|=n D n(x)≤p(n)·D′|x′|(x′)for any x′.(The last condition is called the domination condition.)We now formally verify that both F AvgP and F AvgBPP are closed under such reductions.Lemma2.1.If a problem(f,D)is reducible to a problem(f′,D′),then(f′,D′)∈F AvgP implies(f,D)∈F AvgP.Proof.Let A′(y,δ)be an average-case polynomial-time algorithm for the problem(f′,D′). Define A(x,δ)=g(A′(h(x),δδand does not output wrong answers when f(x)=∅.Let q be apolynomial such that max x∈{0,1}n|h(x)|≤q(n).The probability of the“give up”answer can be estimated asPr x←D n {A(x,δ)=⊥}=A′(h(x),δp(n)q(n))=⊥p(n)D′|y|(y)≤p(n)q(n)δ4}=Pr{A′(h(x),δ4D n(x)≤Pr{A′(y,δ4}=⊥p(n)D′|y|(y)≤p(n)q(n)δp(n)q(n))/∈f′(h(x))∪{⊥}}≤12.2Infinitely-often one-way functionsIn this section we define infinitely-often one-way functions1that differ from“standard”one-way functions in that they are hard only on an infinite number of(rather than on almost all)input lengths.In other words,in a contrast to,e.g.,[Gol01,Definition2.2.1]we require the adversary to invert the function on all sufficiently large input lengths to violate the one-wayness condition,while in the“classical”definition it is enough to invert it on an infinite number of input lengths.Definition2.9.A polynomial-time computable function f:{0,1}∗→{0,1}∗is a strong i.o.-one-way function if for any polynomial p(n)and any randomized polynomial-time algorithm B,1∀N∃n>N Pr{B(f(x))∈f−1(f(x))}<p(n)where the probability is taken over x uniformly distributed on{0,1}n and over the random bits used by B.Theorem2.1.The existence of weak i.o.-one-way functions implies the existence of strong i.o.-one-way functions.Proof.The proof repeats the proof of[Gol01,Theorem2.3.2](for“ordinary”one-way func-tions)literally.3Main result3.1Proof strategyWe assume the existence of a length-preserving function f:{0,1}∗→{0,1}∗such that the search problem of inverting f on the distribution resulting from the uniform distribution on the inputs of f cannot be solved in randomized polynomial time on average.We will show how to modify f so that it becomes i.o.-one-way.The main idea of the proof is to supply the original function with ly,we define a new function f p(x,y)on pairs of strings that applies f to itsfirst argument and replaces the second argument by1|y|.Note that the probability of an input f p(x,y)does not depend on the length of padding(the probability is exactly2−|f(x)|).By the definition of the randomized average-case polynomial algorithm it is required to solve much more instances at higher lengths(the probability of error is a constant),and padding allows us to put the instances of smaller lengths into higher lengths.We show that the problem of inverting f is average-case reducible to the problem of inverting f p.Indeed,to invert f on the string y it is sufficient to invert f p on the pair(y,1). To verify the domination condition we have to specify an economic encoding of the pairs (to satisfy this condition,we are allowed to increase the string length only by a logarithmic number).The details of the encoding are given in the next section.Suppose that there is a randomized polynomial-time algorithm B that inverts f p with 1/n error:Pr{B(f p(x))∈f−1p(f p(x))}≥1−1δ⌉and then use B.Since the probability of the input does not depend on the lengthof padding,the probability of error of A is at most1δ≤δ.Thus,inverting f p,and,by thereduction above,inverting f,is randomized average-case tractable,which contradicts the assumption.3.2Proof detailsThroughout this section log denotes the binary logarithm.For a string x,we denote the binary representation of its length|x|(as a string)by|x|2.Definition3.1.We say that a string x∈{0,1}∗is correct if•x contains at least one occurrence of0;let x k=0be thefirst such occurrence;•|x|≥2k−1;•the substring x k+1..x2k−1is the binary representation of the number l such that|x|≥2k+l−1.For a correct x,its main part is the substring x2k..x2k+l−1,and its padding is the suffix x2k+l..x|x|.Definition3.2.Letπ:{0,1}∗→{0,1}∗be a function that maps a string x to the correct stringπ(x)with the main part x and the empty padding,i.e.,π(x)=1⌈log|x|⌉0|x|2x. Remark3.1.Note thatπis injective.Definition3.3.Let f:{0,1}∗→{0,1}∗be a length-preserving function.We then define a new(also length-preserving)function f p as follows:if there are y and z such that x= 1⌈log|z|⌉0|z|2zy,then f p(x)=1⌈log|z|⌉0|z|2f(z)1|y|,otherwise f p(x)=x.6Definition3.4.For any length-preserving function g,the distribution U g is generated as the output of the function g whose inputs are sampled according to the uniform distribution U,i.e.,U g(y)= g(x)=y2−|x|=|g−1(y)|·2−|y|.Lemma3.1.If x=1⌈log|z|⌉0|z|2z1t,then U f p(x)=|f−1(z)|·2−|z|−2⌈log|z|⌉−1=U f p(x1s)for any s≥0.If x is a correct string whose padding contains zeroes,then U f p(x)=0.If a string x is incorrect,then U f p(x)=2−|x|.Proof.In thefirst case one has to sum up the probabilities for different original paddings. The other two cases are trivial.Lemma3.2.For any length-preserving function f,the problem(f−1,U f)is reducible to (f−1p,U f p).Proof.To satisfy Definition2.8,assumeh(x)=π(x),g(y)= x,if y=π(x),y,otherwise,p(n)=2n3.If f is invertible on x,then f p is invertible onπ(x).If f p is invertible onπ(x),then g(f−1p(π(x)))∈f−1(x).If f is not invertible on x,then trivially U f(x)=0.Let n=|x|. Finally,if x′=π(x),then by Lemma3.1U f p(x′)=|f−1(x)|·2−n−2⌈log n⌉−1≥1p(n)U f n(x)=1n c,where r is the string of random bits usedby the algorithm B,s(n)is a polynomial,then(f−1p,U f p n)∈F AvgBPP.Proof.Since one can verify the answer of B,we assume that either B correctly inverts f p or gives up.We also assume that when B returns an element of f−1p(x),it chooses one without zeroes in its padding.Wefirst prove thatPrx←U f p n Pr r←U s(n){B(x)/∈f−1p(x)}≥1n c.(3.1)7Indeed,if this inequality is incorrect,then Pr x ←U fp n ,r ←U s (n ){B (x )/∈f −1p (x )}= x ∈{0,1}n U f p n (x )·Pr r ←U s (n ){B (x )/∈f −1p (x )}≥ x ∈{0,1}nPr r ←U s (n ){B (x )/∈f −1p (x )}≥14·4n c ,which contradicts the assumption about B .The new algorithm A (x,δ)performs as follows.If x is an incorrect string,then A (x,δ):=x .If x is a correct string with padding without zeros (note that if the padding contains zeros,then U f p (x )=0),then we pad x and run B .More precisely,let |x |=n ,∆=⌈(44 ≤Pr x ←U f p n Pr r ←U s (N ){B (σ(x ))/∈f −1p (σ(x ))}≥14 ≤Pr y ←U f p N Pr r ←U s (N ){B (y )/∈f −1p (y )}≥1N c<δ.Corollary 3.1.Let f be a length-preserving polynomial-time computable function.If theproblem (f −1,U f n )/∈F AvgBPP ,then for any randomized polynomial-time algorithm B andfor any constant c >0,there exist infinitely many n ∈N such that Pr x ←U n ,r ←U s (n ){B (f p (x ))∈f −1p (f p (x ))}<1−1References[BT06]Andrej Bogdanov and Luca Trevisan.Average-case complexity.Foundation and Trends in Theoretical Computer Science,2(1):1–106,2006.[Gol01]Oded Goldreich.Foundations of Cryptography,volume1.Cambridge University Press,2001.[Imp95]Russell Impagliazzo.A personal view of average-case complexity.In Proceedings of the10th Annual Structure in Complexity Theory Conference(SCT’95),pages134–147,1995.[Lev86]L.Levin.Average case complete problems.SIAM Journal on Computing,15(1):285–286,1986.[Lev03]L.A.Levin.The tale of one-way functions.Problems of Information Transmission, 39(1):92–103,January2003.9ECCC ISSN 1433-8092http://eccc.hpi-web.de/。

计算机基础知识-第2章

计算机基础知识-第2章

计算机导论
第2章 图灵机模型及数据编码
2.2 图灵机
在第一台电子计算机ENIAC诞生的10年前即 1936年,英国数学家图灵发表了题为“论可计算
数 及其在判定问题中的应用”﹙On Computer Numbers With an Application to the ntscheidungs problem﹚的学术论文,奠定了学术界公认的现代 电子计算机的理论和模型基础。 1、希尔伯特纲领
根据图灵的研究,直观地说,所谓计算就是计 算者﹙人或机器﹚对一条两端可无限延长的纸带上 的一串0和1执行指令,一步一步地改变纸带上的0或 1,经过有限步骤,最后得到一个满足预先规定的符 号串的变换过程。图灵用形式化方法成功表述可计
计算机导论
第2章 图灵机模型及数据编码
算这一过程的本质。图灵的研究成果是哥德尔 研究成果的进一步深化,该成果不仅再次表明了 某些数学问题是不能用任何机械过程来解决的思 想,而且还深刻揭示可计算所具有的“能行过程” 的本质特征。
过程是能行的﹙能够具体表现在一个算法中﹚,当 且仅当它能够被一台图灵机实现。
图灵机等计算模型均是用来解决问题的,理论 上的能行性隐含着计算模型的正确性,而实际实现 中的能行性还包含时间与空间的有效性。
第2章 图灵机模型及数据编码
计算机导论
3、图灵机 计算机是使用相应的程序来完成任何设定好的任务。
图灵机是一种思想模型, 它由三部分组成: 一个控制器,一条可以无限延伸的 带子和一个在带子上左右移动的读 写头。
图灵机的功能是完成对输入信息进行变换得 到输出信息的计算。
计算机导论
第2章 图灵机模型及数据编码
机器从给定带子上的某起始点出发,其动作完 全由其初始状态及机内五元组来决定。就某种意义 而言,一个机器其实就是它作用于纸带上的五元组 集。一个机器计算的结果是从机器停止时带子上的 信息得到的。 4、冯·诺依曼型计算机

国际学术会议影响因子

国际学术会议影响因子

Estimated impact of publication venues in Computer Science (higher is better) - May 2003 (CiteSeer)Generated from documents in the CiteSeer database. This analysis does not include citations where one or more authors of the citing and cited articles match. This list is automatically generated and may contain errors. Only venues with at least 25 articles are shown.Impact is estimated using the average citation rate, where citations are normalized using the average citation rate for all articles in a given year, and transformed using ln (n+1) where n is the number of citations.Publication details obtained from DBLP by Michael Ley. Only venues contained in DBLP are included.1. OSDI: 3.31 (top 0.08%)2. USENIX Symposium on Internet Technologies and Systems:3.23 (top 0.16%)3. PLDI: 2.89 (top 0.24%)4. SIGCOMM: 2.79 (top 0.32%)5. MOBICOM: 2.76 (top 0.40%)6. ASPLOS: 2.70 (top 0.49%)7. USENIX Annual Technical Conference: 2.64 (top 0.57%)8. TOCS: 2.56 (top 0.65%)9. SIGGRAPH: 2.53 (top 0.73%)10. JAIR: 2.45 (top 0.81%)11. SOSP: 2.41 (top 0.90%)12. MICRO: 2.31 (top 0.98%)13. POPL: 2.26 (top 1.06%)14. PPOPP: 2.22 (top 1.14%)15. Machine Learning: 2.20 (top 1.22%)16. 25 Years ISCA: Retrospectives and Reprints: 2.19 (top 1.31%)17. WWW8 / Computer Networks: 2.17 (top 1.39%)18. Computational Linguistics: 2.16 (top 1.47%)19. JSSPP: 2.15 (top 1.55%)20. VVS: 2.14 (top 1.63%)21. FPCA: 2.12 (top 1.71%)22. LISP and Functional Programming: 2.12 (top 1.80%)23. ICML: 2.12 (top 1.88%)24. Data Mining and Knowledge Discovery: 2.08 (top 1.96%)25. SI3D: 2.06 (top 2.04%)26. ICSE - Future of SE Track: 2.05 (top 2.12%)27. IEEE/ACM Transactions on Networking: 2.05 (top 2.21%)28. OOPSLA/ECOOP: 2.05 (top 2.29%)29. WWW9 / Computer Networks: 2.02 (top 2.37%)30. Workshop on Workstation Operating Systems: 2.01 (top 2.45%)31. Journal of Computer Security: 2.00 (top 2.53%)32. TOSEM: 1.99 (top 2.62%)33. Workshop on Parallel and Distributed Debugging: 1.99 (top 2.70%)34. Workshop on Hot Topics in Operating Systems: 1.99 (top 2.78%)35. WebDB (Informal Proceedings): 1.99 (top 2.86%)36. WWW5 / Computer Networks: 1.97 (top 2.94%)37. Journal of Cryptology: 1.97 (top 3.03%)38. CSFW: 1.96 (top 3.11%)39. ECOOP: 1.95 (top 3.19%)40. Evolutionary Computation: 1.94 (top 3.27%)41. TOPLAS: 1.92 (top 3.35%)42. SIGSOFT FSE: 1.88 (top 3.43%)43. CAV: 1.88 (top 3.52%)44. AAAI/IAAI, Vol. 1: 1.87 (top 3.60%)45. PODS: 1.86 (top 3.68%)46. Artificial Intelligence: 1.85 (top 3.76%)47. NOSSDAV: 1.85 (top 3.84%)48. OOPSLA: 1.84 (top 3.93%)49. ACM Conference on Computer and Communications Security: 1.82 (top 4.01%)50. IJCAI (1): 1.82 (top 4.09%)51. VLDB Journal: 1.81 (top 4.17%)52. TODS: 1.81 (top 4.25%)53. USENIX Winter: 1.80 (top 4.34%)54. HPCA: 1.79 (top 4.42%)55. LICS: 1.79 (top 4.50%)56. JLP: 1.78 (top 4.58%)57. WWW6 / Computer Networks: 1.78 (top 4.66%)58. ICCV: 1.78 (top 4.75%)59. IEEE Real-Time Systems Symposium: 1.78 (top 4.83%)60. AES Candidate Conference: 1.77 (top 4.91%)61. KR: 1.76 (top 4.99%)62. TISSEC: 1.76 (top 5.07%)63. ACM Conference on Electronic Commerce: 1.75 (top 5.15%)64. TOIS: 1.75 (top 5.24%)65. PEPM: 1.74 (top 5.32%)66. SIGMOD Conference: 1.74 (top 5.40%)67. Formal Methods in System Design: 1.74 (top 5.48%)68. Mobile Agents: 1.73 (top 5.56%)69. REX Workshop: 1.73 (top 5.65%)70. NMR: 1.73 (top 5.73%)71. Computing Systems: 1.72 (top 5.81%)72. LOPLAS: 1.72 (top 5.89%)73. STOC: 1.69 (top 5.97%)74. Distributed Computing: 1.69 (top 6.06%)75. KDD: 1.68 (top 6.14%)76. Symposium on Testing, Analysis, and Verification: 1.65 (top 6.22%)77. Software Development Environments (SDE): 1.64 (top 6.30%)78. SIAM J. Comput.: 1.64 (top 6.38%)79. CRYPTO: 1.63 (top 6.47%)80. Multimedia Systems: 1.62 (top 6.55%)81. ICFP: 1.62 (top 6.63%)82. Lisp and Symbolic Computation: 1.61 (top 6.71%)83. ECP: 1.61 (top 6.79%)84. CHI: 1.61 (top 6.87%)85. ISLP: 1.60 (top 6.96%)86. ACM Symposium on User Interface Software and Technology: 1.59 (top 7.04%)87. ESOP: 1.58 (top 7.12%)88. ECCV: 1.58 (top 7.20%)89. ACM Transactions on Graphics: 1.57 (top 7.28%)90. CSCW: 1.57 (top 7.37%)91. AOSE: 1.57 (top 7.45%)92. ICCL: 1.57 (top 7.53%)93. Journal of Functional Programming: 1.57 (top 7.61%)94. RTSS: 1.57 (top 7.69%)95. ECSCW: 1.56 (top 7.78%)96. TOCHI: 1.56 (top 7.86%)97. ISCA: 1.56 (top 7.94%)98. SIGMETRICS/Performance: 1.56 (top 8.02%)99. IWMM: 1.55 (top 8.10%)100. JICSLP: 1.54 (top 8.19%)101. Automatic Verification Methods for Finite State Systems: 1.54 (top 8.27%) 102. WWW: 1.54 (top 8.35%)103. IEEE Transactions on Pattern Analysis and Machine Intelligence: 1.54 (top 8.43%) 104. AIPS: 1.53 (top 8.51%)105. IEEE Transactions on Visualization and Computer Graphics: 1.53 (top 8.59%) 106. VLDB: 1.52 (top 8.68%)107. Symposium on Computational Geometry: 1.51 (top 8.76%)108. FOCS: 1.51 (top 8.84%)109. ATAL: 1.51 (top 8.92%)110. SODA: 1.51 (top 9.00%)111. PPCP: 1.50 (top 9.09%)112. AAAI: 1.49 (top 9.17%)113. COLT: 1.49 (top 9.25%)114. USENIX Summer: 1.49 (top 9.33%)115. Information and Computation: 1.48 (top 9.41%)116. Java Grande: 1.47 (top 9.50%)117. ISMM: 1.47 (top 9.58%)118. ICLP/SLP: 1.47 (top 9.66%)119. SLP: 1.45 (top 9.74%)120. Structure in Complexity Theory Conference: 1.45 (top 9.82%)121. IEEE Transactions on Multimedia: 1.45 (top 9.90%)122. Rules in Database Systems: 1.44 (top 9.99%)123. ACL: 1.44 (top 10.07%)124. CONCUR: 1.44 (top 10.15%)125. SPAA: 1.44 (top 10.23%)126. J. Algorithms: 1.42 (top 10.31%)127. DOOD: 1.42 (top 10.40%)128. ESEC / SIGSOFT FSE: 1.41 (top 10.48%)129. ICDT: 1.41 (top 10.56%)130. Advances in Petri Nets: 1.41 (top 10.64%)131. ICNP: 1.40 (top 10.72%)132. SSD: 1.39 (top 10.81%)133. INFOCOM: 1.39 (top 10.89%)134. IEEE Symposium on Security and Privacy: 1.39 (top 10.97%)135. Cognitive Science: 1.38 (top 11.05%)136. TSE: 1.38 (top 11.13%)137. Storage and Retrieval for Image and Video Databases (SPIE): 1.38 (top 11.22%) 138. NACLP: 1.38 (top 11.30%)139. SIGMETRICS: 1.38 (top 11.38%)140. JACM: 1.37 (top 11.46%)141. PODC: 1.37 (top 11.54%)142. International Conference on Supercomputing: 1.36 (top 11.62%)143. Fast Software Encryption: 1.35 (top 11.71%)144. IEEE Visualization: 1.35 (top 11.79%)145. SAS: 1.35 (top 11.87%)146. TACS: 1.35 (top 11.95%)147. International Journal of Computer Vision: 1.33 (top 12.03%)148. JCSS: 1.32 (top 12.12%)149. Algorithmica: 1.31 (top 12.20%)150. TOCL: 1.30 (top 12.28%)151. Information Hiding: 1.30 (top 12.36%)152. Journal of Automated Reasoning: 1.30 (top 12.44%)153. ECCV (1): 1.29 (top 12.53%)154. PCRCW: 1.29 (top 12.61%)155. Journal of Logic and Computation: 1.29 (top 12.69%)156. KDD Workshop: 1.28 (top 12.77%)157. ML: 1.28 (top 12.85%)159. EUROCRYPT: 1.27 (top 13.02%)160. PDIS: 1.27 (top 13.10%)161. Hypertext: 1.27 (top 13.18%)162. IWDOM: 1.27 (top 13.26%)163. PARLE (2): 1.26 (top 13.34%)164. Hybrid Systems: 1.26 (top 13.43%)165. American Journal of Computational Linguistics: 1.26 (top 13.51%)166. SPIN: 1.25 (top 13.59%)167. ICDE: 1.25 (top 13.67%)168. FMCAD: 1.25 (top 13.75%)169. SC: 1.25 (top 13.84%)170. EDBT: 1.25 (top 13.92%)171. Computational Complexity: 1.25 (top 14.00%)172. International Journal of Computatinal Geometry and Applications: 1.25 (top 14.08%)173. ESORICS: 1.25 (top 14.16%)174. IJCAI (2): 1.24 (top 14.25%)175. TACAS: 1.24 (top 14.33%)176. Ubicomp: 1.24 (top 14.41%)177. MPC: 1.24 (top 14.49%)178. AWOC: 1.24 (top 14.57%)179. TLCA: 1.23 (top 14.66%)180. Emergent Neural Computational Architectures Based on Neuroscience: 1.23 (top 14.74%)181. CADE: 1.22 (top 14.82%)182. PROCOMET: 1.22 (top 14.90%)183. ACM Multimedia: 1.22 (top 14.98%)184. IEEE Journal on Selected Areas in Communications: 1.22 (top 15.06%)185. Science of Computer Programming: 1.22 (top 15.15%)186. LCPC: 1.22 (top 15.23%)187. CT-RSA: 1.22 (top 15.31%)188. ICLP: 1.21 (top 15.39%)189. Financial Cryptography: 1.21 (top 15.47%)190. DBPL: 1.21 (top 15.56%)191. AAAI/IAAI: 1.20 (top 15.64%)192. Artificial Life: 1.20 (top 15.72%)193. Higher-Order and Symbolic Computation: 1.19 (top 15.80%)194. TKDE: 1.19 (top 15.88%)195. ACM Computing Surveys: 1.19 (top 15.97%)196. Computational Geometry: 1.18 (top 16.05%)197. Autonomous Agents and Multi-Agent Systems: 1.18 (top 16.13%)198. EWSL: 1.18 (top 16.21%)199. Learning for Natural Language Processing: 1.18 (top 16.29%)201. TAPSOFT, Vol.1: 1.17 (top 16.46%)202. International Journal of Computational Geometry and Applications: 1.17 (top 16.54%)203. TAPSOFT: 1.17 (top 16.62%)204. IEEE Transactions on Parallel and Distributed Systems: 1.17 (top 16.70%) 205. Heterogeneous Computing Workshop: 1.16 (top 16.78%)206. Distributed and Parallel Databases: 1.16 (top 16.87%)207. DAC: 1.16 (top 16.95%)208. ICTL: 1.16 (top 17.03%)209. Performance/SIGMETRICS Tutorials: 1.16 (top 17.11%)210. IEEE Computer: 1.15 (top 17.19%)211. IEEE Real Time Technology and Applications Symposium: 1.15 (top 17.28%) 212. TAPSOFT, Vol.2: 1.15 (top 17.36%)213. ACM Workshop on Role-Based Access Control: 1.15 (top 17.44%)214. WCRE: 1.14 (top 17.52%)215. Applications and Theory of Petri Nets: 1.14 (top 17.60%)216. ACM SIGOPS European Workshop: 1.14 (top 17.69%)217. ICDCS: 1.14 (top 17.77%)218. Mathematical Structures in Computer Science: 1.14 (top 17.85%)219. Workshop on the Management of Replicated Data: 1.13 (top 17.93%)220. ECCV (2): 1.13 (top 18.01%)221. PPSN: 1.13 (top 18.09%)222. Middleware: 1.13 (top 18.18%)223. OODBS: 1.12 (top 18.26%)224. Electronic Colloquium on Computational Complexity (ECCC): 1.12 (top 18.34%) 225. UML: 1.12 (top 18.42%)226. Real-Time Systems: 1.12 (top 18.50%)227. FME: 1.12 (top 18.59%)228. Evolutionary Computing, AISB Workshop: 1.11 (top 18.67%)229. IEEE Conference on Computational Complexity: 1.11 (top 18.75%)230. IOPADS: 1.11 (top 18.83%)231. IJCAI: 1.10 (top 18.91%)232. ISWC: 1.10 (top 19.00%)233. SIGIR: 1.10 (top 19.08%)234. Symposium on LISP and Functional Programming: 1.10 (top 19.16%)235. PASTE: 1.10 (top 19.24%)236. HPDC: 1.10 (top 19.32%)237. Application and Theory of Petri Nets: 1.09 (top 19.41%)238. ICCAD: 1.09 (top 19.49%)239. Category Theory and Computer Science: 1.08 (top 19.57%)240. Recent Advances in Intrusion Detection: 1.08 (top 19.65%)241. JIIS: 1.08 (top 19.73%)242. TODAES: 1.08 (top 19.81%)243. Neural Computation: 1.08 (top 19.90%)244. CCL: 1.08 (top 19.98%)245. SIGPLAN Workshop: 1.08 (top 20.06%)246. DPDS: 1.07 (top 20.14%)247. ACM Multimedia (1): 1.07 (top 20.22%)248. MAAMAW: 1.07 (top 20.31%)249. Computer Graphics Forum: 1.07 (top 20.39%)250. HUG: 1.06 (top 20.47%)251. Hybrid Neural Systems: 1.06 (top 20.55%)252. SRDS: 1.06 (top 20.63%)253. TPCD: 1.06 (top 20.72%)254. ILP: 1.06 (top 20.80%)255. ARTDB: 1.06 (top 20.88%)256. NIPS: 1.06 (top 20.96%)257. Formal Aspects of Computing: 1.06 (top 21.04%)258. ECHT: 1.06 (top 21.13%)259. ICMCS: 1.06 (top 21.21%)260. Wireless Networks: 1.05 (top 21.29%)261. Advances in Data Base Theory: 1.05 (top 21.37%)262. WDAG: 1.05 (top 21.45%)263. ALP: 1.05 (top 21.53%)264. TARK: 1.05 (top 21.62%)265. PATAT: 1.05 (top 21.70%)266. ISTCS: 1.04 (top 21.78%)267. Concurrency - Practice and Experience: 1.04 (top 21.86%)268. CP: 1.04 (top 21.94%)269. Computer Vision, Graphics, and Image Processing: 1.04 (top 22.03%) 270. FTCS: 1.04 (top 22.11%)271. RTA: 1.04 (top 22.19%)272. COORDINATION: 1.03 (top 22.27%)273. CHDL: 1.03 (top 22.35%)274. Theory of Computing Systems: 1.02 (top 22.44%)275. CTRS: 1.02 (top 22.52%)276. COMPASS/ADT: 1.02 (top 22.60%)277. TOMACS: 1.02 (top 22.68%)278. IEEE Micro: 1.02 (top 22.76%)279. IEEE PACT: 1.02 (top 22.85%)280. ASIACRYPT: 1.01 (top 22.93%)281. MONET: 1.01 (top 23.01%)282. WWW7 / Computer Networks: 1.01 (top 23.09%)283. HUC: 1.01 (top 23.17%)284. Expert Database Conf.: 1.00 (top 23.25%)285. Agents: 1.00 (top 23.34%)286. CPM: 1.00 (top 23.42%)287. SIGPLAN Symposium on Compiler Construction: 1.00 (top 23.50%)288. International Conference on Evolutionary Computation: 1.00 (top 23.58%) 289. TAGT: 1.00 (top 23.66%)290. Workshop on Parallel and Distributed Simulation: 1.00 (top 23.75%)291. FTRTFT: 1.00 (top 23.83%)292. TPHOLs: 1.00 (top 23.91%)293. Intelligent User Interfaces: 0.99 (top 23.99%)294. Journal of Functional and Logic Programming: 0.99 (top 24.07%)295. Cluster Computing: 0.99 (top 24.16%)296. ESA: 0.99 (top 24.24%)297. PLILP: 0.99 (top 24.32%)298. COLING-ACL: 0.98 (top 24.40%)299. META: 0.97 (top 24.48%)300. IEEE MultiMedia: 0.97 (top 24.57%)301. ICALP: 0.97 (top 24.65%)302. IATA: 0.97 (top 24.73%)303. FPGA: 0.97 (top 24.81%)304. EuroCOLT: 0.97 (top 24.89%)305. New Generation Computing: 0.97 (top 24.97%)306. Automated Software Engineering: 0.97 (top 25.06%)307. GRID: 0.97 (top 25.14%)308. ISOTAS: 0.96 (top 25.22%)309. LPNMR: 0.96 (top 25.30%)310. PLILP/ALP: 0.96 (top 25.38%)311. UIST: 0.96 (top 25.47%)312. IPCO: 0.95 (top 25.55%)313. ICPP, Vol. 1: 0.95 (top 25.63%)314. PNPM: 0.95 (top 25.71%)315. HSCC: 0.95 (top 25.79%)316. ILPS: 0.95 (top 25.88%)317. RIDE-IMS: 0.95 (top 25.96%)318. Int. J. on Digital Libraries: 0.95 (top 26.04%)319. STTT: 0.94 (top 26.12%)320. MFPS: 0.94 (top 26.20%)321. Graph-Grammars and Their Application to Computer Science: 0.93 (top 26.28%) 322. Graph Drawing: 0.93 (top 26.37%)323. VRML: 0.93 (top 26.45%)324. VDM Europe: 0.93 (top 26.53%)325. AAAI/IAAI, Vol. 2: 0.93 (top 26.61%)326. Z User Workshop: 0.93 (top 26.69%)327. Constraints: 0.93 (top 26.78%)328. SCM: 0.93 (top 26.86%)329. IEEE Software: 0.92 (top 26.94%)330. World Wide Web: 0.92 (top 27.02%)331. HOA: 0.92 (top 27.10%)332. Symposium on Reliable Distributed Systems: 0.92 (top 27.19%) 333. SIAM Journal on Discrete Mathematics: 0.92 (top 27.27%)334. SMILE: 0.91 (top 27.35%)335. HART: 0.91 (top 27.43%)336. ICPP, Vol. 3: 0.91 (top 27.51%)337. FASE: 0.91 (top 27.60%)338. TCS: 0.91 (top 27.68%)339. IEEE Transactions on Information Theory: 0.91 (top 27.76%)340. C++ Conference: 0.91 (top 27.84%)341. ICSE: 0.90 (top 27.92%)342. ARTS: 0.90 (top 28.00%)343. Journal of Computational Biology: 0.90 (top 28.09%)344. SIGART Bulletin: 0.90 (top 28.17%)345. TREC: 0.89 (top 28.25%)346. Implementation of Functional Languages: 0.89 (top 28.33%)347. Acta Informatica: 0.88 (top 28.41%)348. SAIG: 0.88 (top 28.50%)349. CANPC: 0.88 (top 28.58%)350. CACM: 0.87 (top 28.66%)351. PADL: 0.87 (top 28.74%)352. Networked Group Communication: 0.87 (top 28.82%)353. RECOMB: 0.87 (top 28.91%)354. ACM DL: 0.87 (top 28.99%)355. Computer Performance Evaluation: 0.87 (top 29.07%)356. Journal of Parallel and Distributed Computing: 0.86 (top 29.15%) 357. PARLE (1): 0.86 (top 29.23%)358. DISC: 0.85 (top 29.32%)359. FGCS: 0.85 (top 29.40%)360. ELP: 0.85 (top 29.48%)361. IEEE Transactions on Computers: 0.85 (top 29.56%)362. JSC: 0.85 (top 29.64%)363. LOPSTR: 0.85 (top 29.72%)364. FoSSaCS: 0.85 (top 29.81%)365. World Congress on Formal Methods: 0.85 (top 29.89%)366. CHARME: 0.84 (top 29.97%)367. RIDE: 0.84 (top 30.05%)368. APPROX: 0.84 (top 30.13%)369. EWCBR: 0.84 (top 30.22%)370. CC: 0.83 (top 30.30%)371. Public Key Cryptography: 0.83 (top 30.38%)372. CA: 0.83 (top 30.46%)373. CHES: 0.83 (top 30.54%)374. ECML: 0.83 (top 30.63%)375. LCTES/OM: 0.83 (top 30.71%)376. Information Systems: 0.83 (top 30.79%)377. IJCIS: 0.83 (top 30.87%)378. Journal of Visual Languages and Computing: 0.82 (top 30.95%)379. WADS: 0.82 (top 31.04%)380. Random Structures and Algorithms: 0.81 (top 31.12%)381. ICS: 0.81 (top 31.20%)382. Data Engineering Bulletin: 0.81 (top 31.28%)383. VDM Europe (1): 0.81 (top 31.36%)384. SWAT: 0.80 (top 31.44%)385. Nordic Journal of Computing: 0.80 (top 31.53%)386. Mathematical Foundations of Programming Semantics: 0.80 (top 31.61%)387. Architectures and Compilation Techniques for Fine and Medium Grain Parallelism: 0.80 (top 31.69%)388. KBSE: 0.80 (top 31.77%)389. STACS: 0.80 (top 31.85%)390. EMSOFT: 0.80 (top 31.94%)391. IEEE Data Engineering Bulletin: 0.80 (top 32.02%)392. Annals of Mathematics and Artificial Intelligence: 0.79 (top 32.10%)393. WOSP: 0.79 (top 32.18%)394. VBC: 0.79 (top 32.26%)395. RTDB: 0.79 (top 32.35%)396. CoopIS: 0.79 (top 32.43%)397. Combinatorica: 0.79 (top 32.51%)398. International Journal of Geographical Information Systems: 0.78 (top 32.59%) 399. Autonomous Robots: 0.78 (top 32.67%)400. IW-MMDBMS: 0.78 (top 32.76%)401. ESEC: 0.78 (top 32.84%)402. WADT: 0.78 (top 32.92%)403. CAAP: 0.78 (top 33.00%)404. LCTES: 0.78 (top 33.08%)405. ZUM: 0.77 (top 33.16%)406. TYPES: 0.77 (top 33.25%)407. Symposium on Reliability in Distributed Software and Database Systems: 0.77 (top 33.33%)408. TABLEAUX: 0.77 (top 33.41%)409. International Journal of Parallel Programming: 0.77 (top 33.49%)410. COST 237 Workshop: 0.77 (top 33.57%)411. Data Types and Persistence (Appin), Informal Proceedings: 0.77 (top 33.66%) 412. Evolutionary Programming: 0.77 (top 33.74%)413. Reflection: 0.76 (top 33.82%)414. SIGMOD Record: 0.76 (top 33.90%)415. Security Protocols Workshop: 0.76 (top 33.98%)416. XP1 Workshop on Database Theory: 0.76 (top 34.07%)418. DL: 0.76 (top 34.23%)419. EDAC-ETC-EUROASIC: 0.76 (top 34.31%)420. Protocols for High-Speed Networks: 0.76 (top 34.39%)421. PPDP: 0.75 (top 34.47%)422. IFIP PACT: 0.75 (top 34.56%)423. LNCS: 0.75 (top 34.64%)424. IWQoS: 0.75 (top 34.72%)425. UK Hypertext: 0.75 (top 34.80%)426. Selected Areas in Cryptography: 0.75 (top 34.88%)427. ICATPN: 0.74 (top 34.97%)428. Workshop on Computational Geometry: 0.74 (top 35.05%)429. Integrated Network Management: 0.74 (top 35.13%)430. ICGI: 0.74 (top 35.21%)431. ICPP (2): 0.74 (top 35.29%)432. SSR: 0.74 (top 35.38%)433. ADB: 0.74 (top 35.46%)434. Object Representation in Computer Vision: 0.74 (top 35.54%)435. PSTV: 0.74 (top 35.62%)436. CAiSE: 0.74 (top 35.70%)437. On Knowledge Base Management Systems (Islamorada): 0.74 (top 35.79%) 438. CIKM: 0.73 (top 35.87%)439. WSA: 0.73 (top 35.95%)440. RANDOM: 0.73 (top 36.03%)441. KRDB: 0.73 (top 36.11%)442. ISSS: 0.73 (top 36.19%)443. SIGAL International Symposium on Algorithms: 0.73 (top 36.28%)444. INFORMS Journal on Computing: 0.73 (top 36.36%)445. Computer Supported Cooperative Work: 0.73 (top 36.44%)446. CSL: 0.72 (top 36.52%)447. Computational Intelligence: 0.72 (top 36.60%)448. ICCBR: 0.72 (top 36.69%)449. ICES: 0.72 (top 36.77%)450. AI Magazine: 0.72 (top 36.85%)451. JELIA: 0.72 (top 36.93%)452. VR: 0.71 (top 37.01%)453. ICPP (1): 0.71 (top 37.10%)454. RIDE-TQP: 0.71 (top 37.18%)455. ISA: 0.71 (top 37.26%)456. Data Compression Conference: 0.71 (top 37.34%)457. CIA: 0.71 (top 37.42%)458. COSIT: 0.71 (top 37.51%)459. IJCSLP: 0.71 (top 37.59%)460. DISCO: 0.71 (top 37.67%)462. IWAN: 0.71 (top 37.83%)463. Operating Systems Review: 0.70 (top 37.91%)464. IEEE Internet Computing: 0.70 (top 38.00%)465. LISP Conference: 0.70 (top 38.08%)466. C++ Workshop: 0.70 (top 38.16%)467. SPDP: 0.70 (top 38.24%)468. Fuji International Symposium on Functional and Logic Programming: 0.69 (top 38.32%)469. LPAR: 0.69 (top 38.41%)470. ECAI: 0.69 (top 38.49%)471. Hypermedia: 0.69 (top 38.57%)472. Artificial Intelligence in Medicine: 0.69 (top 38.65%)473. AADEBUG: 0.69 (top 38.73%)474. VL: 0.69 (top 38.82%)475. FSTTCS: 0.69 (top 38.90%)476. AMAST: 0.68 (top 38.98%)477. Artificial Intelligence Review: 0.68 (top 39.06%)478. HPN: 0.68 (top 39.14%)479. POS: 0.68 (top 39.23%)480. Research Directions in High-Level Parallel Programming Languages: 0.68 (top 39.31%)481. Performance Evaluation: 0.68 (top 39.39%)482. ASE: 0.68 (top 39.47%)483. LFCS: 0.67 (top 39.55%)484. ISCOPE: 0.67 (top 39.63%)485. Workshop on Software and Performance: 0.67 (top 39.72%)486. European Workshop on Applications and Theory in Petri Nets: 0.67 (top 39.80%) 487. ICPP: 0.67 (top 39.88%)488. INFOVIS: 0.67 (top 39.96%)489. Description Logics: 0.67 (top 40.04%)490. JCDKB: 0.67 (top 40.13%)491. Euro-Par, Vol. I: 0.67 (top 40.21%)492. RoboCup: 0.67 (top 40.29%)493. Symposium on Solid Modeling and Applications: 0.66 (top 40.37%)494. TPLP: 0.66 (top 40.45%)495. CVRMed: 0.66 (top 40.54%)496. POS/PJW: 0.66 (top 40.62%)497. FORTE: 0.66 (top 40.70%)498. IPMI: 0.66 (top 40.78%)499. ADL: 0.66 (top 40.86%)500. ICCS: 0.66 (top 40.95%)501. ISSAC: 0.66 (top 41.03%)502. Advanced Programming Environments: 0.66 (top 41.11%)503. COMPCON: 0.66 (top 41.19%)504. LCR: 0.65 (top 41.27%)505. Digital Libraries: 0.65 (top 41.35%)506. ALENEX: 0.65 (top 41.44%)507. AH: 0.65 (top 41.52%)508. CoBuild: 0.65 (top 41.60%)509. DS-6: 0.65 (top 41.68%)510. CDB: 0.64 (top 41.76%)511. Computer Networks and ISDN Systems: 0.64 (top 41.85%)512. IWACA: 0.64 (top 41.93%)513. MobiDE: 0.64 (top 42.01%)514. WOWMOM: 0.64 (top 42.09%)515. IEEE Expert: 0.64 (top 42.17%)516. IRREGULAR: 0.64 (top 42.26%)517. TOMS: 0.63 (top 42.34%)518. Multiple Classifier Systems: 0.63 (top 42.42%)519. Parallel Computing: 0.63 (top 42.50%)520. ANTS: 0.63 (top 42.58%)521. ACSAC: 0.63 (top 42.66%)522. RCLP: 0.63 (top 42.75%)523. Multimedia Tools and Applications: 0.63 (top 42.83%)524. ALT: 0.63 (top 42.91%)525. ICCD: 0.63 (top 42.99%)526. ICVS: 0.62 (top 43.07%)527. Workshop on Web Information and Data Management: 0.62 (top 43.16%) 528. Software - Concepts and Tools: 0.62 (top 43.24%)529. ICSM: 0.62 (top 43.32%)530. The Visual Computer: 0.62 (top 43.40%)531. SARA: 0.62 (top 43.48%)532. IS: 0.61 (top 43.57%)533. Information Retrieval: 0.61 (top 43.65%)534. CARDIS: 0.61 (top 43.73%)535. DOA: 0.61 (top 43.81%)536. Cryptography: Policy and Algorithms: 0.60 (top 43.89%)537. Electronic Publishing: 0.60 (top 43.98%)538. SSTD: 0.60 (top 44.06%)539. Algebraic Methods: 0.60 (top 44.14%)540. AGTIVE: 0.59 (top 44.22%)541. Computational Logic: 0.59 (top 44.30%)542. Computer Communications: 0.59 (top 44.38%)543. QofIS: 0.59 (top 44.47%)544. Journal of Logic, Language and Information: 0.59 (top 44.55%) 545. Expert Database Workshop: 0.59 (top 44.63%)546. IFL: 0.58 (top 44.71%)547. Nonmonotonic and Inductive Logic: 0.58 (top 44.79%)548. Algorithmic Number Theory: 0.58 (top 44.88%)549. Graph-Grammars and Their Application to Computer Science and Biology: 0.58 (top 44.96%)550. Structured Programming: 0.58 (top 45.04%)551. Information Processing Letters: 0.58 (top 45.12%)552. SIGKDD Explorations: 0.58 (top 45.20%)553. Parallel Symbolic Computing: 0.58 (top 45.29%)554. WG: 0.58 (top 45.37%)555. MIT-JSME Workshop: 0.57 (top 45.45%)556. Knowledge and Information Systems: 0.57 (top 45.53%)557. International Journal of Man-Machine Studies: 0.57 (top 45.61%)558. Software - Practice and Experience: 0.57 (top 45.70%)559. Scale-Space: 0.57 (top 45.78%)560. AI Communications: 0.57 (top 45.86%)561. Kurt Gödel Colloquium: 0.56 (top 45.94%)562. DBSec: 0.56 (top 46.02%)563. ER: 0.56 (top 46.10%)564. IBM Journal of Research and Development: 0.56 (top 46.19%)565. QCQC: 0.56 (top 46.27%)566. Gesture Workshop: 0.56 (top 46.35%)567. CIAC: 0.56 (top 46.43%)568. Artificial Evolution: 0.55 (top 46.51%)569. RANDOM-APPROX: 0.55 (top 46.60%)570. Information Processing and Management: 0.55 (top 46.68%)571. EKAW: 0.55 (top 46.76%)572. Operating Systems of the 90s and Beyond: 0.55 (top 46.84%)573. International Zurich Seminar on Digital Communications: 0.55 (top 46.92%) 574. Annals of Software Engineering: 0.55 (top 47.01%)575. AII: 0.55 (top 47.09%)576. DOLAP: 0.55 (top 47.17%)577. Fundamenta Informaticae: 0.55 (top 47.25%)578. PARLE: 0.55 (top 47.33%)579. Advanced Course: Distributed Systems: 0.54 (top 47.42%)580. BCEC: 0.54 (top 47.50%)581. Digital Technical Journal: 0.54 (top 47.58%)582. IJCAR: 0.54 (top 47.66%)583. Formal Methods in Programming and Their Applications: 0.54 (top 47.74%) 584. IPPS: 0.54 (top 47.82%)585. Knowledge Based Systems: 0.53 (top 47.91%)586. PDK: 0.53 (top 47.99%)587. East/West Database Workshop: 0.53 (top 48.07%)588. International ACM Conference on Assistive Technologies: 0.53 (top 48.15%) 589. Mathematical Systems Theory: 0.53 (top 48.23%)590. ICFEM: 0.53 (top 48.32%)591. DMDW: 0.53 (top 48.40%)592. International Journal of Foundations of Computer Science: 0.52 (top 48.48%) 593. LACL: 0.52 (top 48.56%)594. Advances in Computers: 0.52 (top 48.64%)595. Workshop on Conceptual Graphs: 0.52 (top 48.73%)596. FM-Trends: 0.52 (top 48.81%)597. GREC: 0.52 (top 48.89%)598. Advanced Visual Interfaces: 0.52 (top 48.97%)599. Agents Workshop on Infrastructure for Multi-Agent Systems: 0.52 (top 49.05%) 600. Euro-Par, Vol. II: 0.52 (top 49.14%)601. ICPP (3): 0.52 (top 49.22%)602. Telecommunication Systems: 0.52 (top 49.30%)603. AISMC: 0.52 (top 49.38%)604. ISAAC: 0.51 (top 49.46%)605. ICIP (2): 0.51 (top 49.54%)606. IEEE Symposium on Mass Storage Systems: 0.51 (top 49.63%)607. FAPR: 0.51 (top 49.71%)608. EHCI: 0.51 (top 49.79%)609. CHI Conference Companion: 0.51 (top 49.87%)610. Open Distributed Processing: 0.51 (top 49.95%)611. AUSCRYPT: 0.51 (top 50.04%)612. WWCA: 0.50 (top 50.12%)613. ICIP: 0.50 (top 50.20%)614. ICIP (1): 0.50 (top 50.28%)615. Annals of Pure and Applied Logic: 0.50 (top 50.36%)616. CISMOD: 0.50 (top 50.45%)617. Algorithm Engineering: 0.50 (top 50.53%)618. CASES: 0.50 (top 50.61%)619. EWSPT: 0.50 (top 50.69%)620. ICMCS, Vol. 1: 0.50 (top 50.77%)621. BIT: 0.50 (top 50.85%)622. Computer Performance Evaluation (Tools): 0.50 (top 50.94%)623. Information and Control: 0.50 (top 51.02%)624. Machine Vision and Applications: 0.50 (top 51.10%)625. Discrete Applied Mathematics: 0.50 (top 51.18%)626. PKDD: 0.50 (top 51.26%)627. ESCQARU: 0.49 (top 51.35%)628. IDS: 0.49 (top 51.43%)629. ACISP: 0.49 (top 51.51%)630. Computer Languages: 0.49 (top 51.59%)631. MFDBS: 0.49 (top 51.67%)632. QL: 0.49 (top 51.76%)633. Requirements Engineering: 0.49 (top 51.84%)634. International Journal of Human Computer Studies: 0.48 (top 51.92%)635. IBM Systems Journal: 0.48 (top 52.00%)636. Aegean Workshop on Computing: 0.48 (top 52.08%)637. Spatial Cognition: 0.48 (top 52.17%)638. MFCS: 0.48 (top 52.25%)639. Discrete & Computational Geometry: 0.48 (top 52.33%)640. ITC: 0.47 (top 52.41%)641. ATL: 0.47 (top 52.49%)642. ISW: 0.47 (top 52.57%)643. IEEE Intelligent Systems: 0.47 (top 52.66%)644. The Computer Journal: 0.47 (top 52.74%)645. Computer Networks: 0.47 (top 52.82%)646. Interacting with Computers: 0.47 (top 52.90%)647. Artificial Intelligence and Law: 0.46 (top 52.98%)648. ECAL: 0.46 (top 53.07%)649. Symposium on Designing Interactive Systems: 0.46 (top 53.15%)650. OOER: 0.46 (top 53.23%)651. ICIP (3): 0.46 (top 53.31%)652. Genetic Programming and Evolvable Machines: 0.46 (top 53.39%)653. IWHD: 0.45 (top 53.48%)654. ICAIL: 0.45 (top 53.56%)655. ECDL: 0.45 (top 53.64%)656. Discrete Mathematics & Theoretical Computer Science: 0.45 (top 53.72%) 657. EUROSAM: 0.45 (top 53.80%)658. VDB: 0.44 (top 53.89%)659. FPL: 0.44 (top 53.97%)660. ICFPC: 0.44 (top 54.05%)661. SIGMETRICS Performance Evaluation Review: 0.43 (top 54.13%)662. FODO: 0.43 (top 54.21%)663. PPSC: 0.43 (top 54.29%)664. GCSE: 0.43 (top 54.38%)665. IPPS/SPDP Workshops: 0.43 (top 54.46%)666. Programming Environments for High-Level Scientific Problem Solving: 0.43 (top 54.54%)667. Berkeley Workshop: 0.43 (top 54.62%)668. NGITS: 0.43 (top 54.70%)669. Computers and Games: 0.43 (top 54.79%)670. ACCV (2): 0.43 (top 54.87%)671. AII/ALT: 0.43 (top 54.95%)672. Performance: 0.43 (top 55.03%)673. MASCOTS: 0.43 (top 55.11%)674. DAI: 0.43 (top 55.20%)675. CONPAR: 0.42 (top 55.28%)676. LATIN: 0.42 (top 55.36%)。

CSCD(2015-2016)(核心版)

CSCD(2015-2016)(核心版)

Chinese Journal of Traumatology Chinese Medical Journal Chinese Medical Sciences Journal Chinese Optics Letters Chinese Physics Letters Chinese Physics. B Chinese Physics. C Communications in Mathematical Research Communications in Theoretical Physics Control Theory and Technology Current Zoology Defence Technology Earthquake Engineering and Engineering Vibration Earthquake Research in China Earthquake Science Entomotaxonomia Forest Ecosystems Friction Frontiers in Biology Frontiers in Energy Frontiers of Architectural Research Frontiers of Chemical Science and Engineering Frontiers of Computer Science Frontiers of Earth Science Frontiers of Environmental Science & Engineering Frontiers of Information Technology & Electronic Engineering Frontiers of Materials Science Frontiers of Mathematics in China Frontiers of Mechanical Engineering Frontiers of Medicine Frontiers of Optoelectronics Frontiers of Physics Frontiers of Structural and Civil Engineering Genomics, Proteomics & Bioinformatics Geoscience Frontiers Geo-spatial Information Science Hepatobiliary & Pancreatic Diseases International High Power Laser Science and Engineering Insect Science Integrative Zoology International Journal of Automation and Computing International Journal of Digital Earth International Journal of Disaster Risk Science International Journal of Minerals, Metallurgy and Materials International Journal of Mining Science and Technology International Journal of Oral Science International Soil and Water Conservation Research Journal of Acupuncture and Tuina Science Journal of Advanced Ceramics Journal of Animal Science andrid Land Journal of Bionic Engineering Journal of Central South University Journal of Chinese Pharmaceutical Sciences
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

On the Compressibility of N P Instances and CryptographicApplications‡Danny Harnik∗Moni Naor†AbstractWe initiate the study of the compressibility of N P problems.We consider N P problems that have long instances but relatively short witnesses.The question is,can one efficiently compress an instanceand store a shorter representation that maintains the information of whether the original input is in thelanguage or not.We want the length of the compressed instance to be polynomial in the length of thewitness rather than the length of original input.Such compression enables to succinctly store instancesuntil a future setting will allow solving them,either via a technological or algorithmic breakthrough orsimply until enough time has elapsed.We give a new classification of N P with respect to compression.This classification forms a strati-fication of N P that we call the VC hierarchy.The hierarchy is based on a new type of reduction calledW-reduction and there are compression-complete problems for each class.Our motivation for studying this issue stem from the vast cryptographic implications compressibility has.For example,suppose that SAT is compressible,that is there exist a polynomial p(·,·)so that givena formula consisting of m clauses over n variables it is possible to come up with an equivalent(w.r.tsatisfiability)formula of size at most p(n,logm).Then if the reduction is what we call witness retriev-able we provide a construction of an Oblivious Transfer Protocol from any one-way ingthe terminology of Impagliazzo[Imp95],this implies that Minicrypt=Cryptomania.Other impli-cations of SAT compressibility(without the witness retrievability)are:(i)the construction of collisionresistant hash function from any one-way function and(ii)a cryptanalytic result concerning the limi-tation of everlasting security in the bounded storage model when mixed with(time)complexity basedcryptography.∗Department of Computer Science and Applied Mathematics,Weizmann Institute of Science,Rehovot76100Israel.Email: danny.harnik@weizmann.ac.il.†Incumbent of the Judith Kleeman Professorial Chair,Department of Computer Science and Applied Mathematics,Weizmann Institute of Science,Rehovot76100Israel.Email:moni.naor@weizmann.ac.il.‡Research supported by a grant from the Israel Science Foundation.1IntroductionIn order to deal with difficult computational problems several well established options were developed, including:approximation algorithms,subexponential algorithms,parametric complexity and limited non-determinism.In this paper we explore our favorite approach for dealing with problems:postpone them (hopefully,without cluttering our desk).We initiate the study of the compressibility of NP problems for their resolution in some future setting.Rather than solving a given instance,we ask whether a shorter in-stance with the same solution can be found efficiently.Specifically,we consider N P problems that have long instances but relatively short witnesses.An N P language L is defined by an efficiently computable relation R L such that an input(or instance)x is in L if and only if there exists a witness w such that R L(x,w)=1.Throughout the paper,an N P instance is characterized by two parameters m and n:The length of the instance x is denoted by m and the length of the witness w is denoted by n.The problems of interest are those having short witnesses,i.e.n<<m.Traditionally,the study of N P languages evolves around the ability or inability to efficiently decide if an instance is in the language or not,or tofind a witness w for an instance x within polynomial time.We introduce the question of compressibility of such instances. Compressing SAT Instances:To illustrate the relevant setting,we use the well known example of SAT. An instanceΦfor SAT consists of a CNF formula over n variables and we define thatΦ∈SAT if there exists an assignment to the n variables that satisfies all the clauses ofΦ.The question of compressibility of SAT is the following:Example1.1(Compression of SAT instances)Does there exist an efficient algorithm and a polynomial p(·,·)with the following input and output: Input:A CNF formulaΦwith m clauses over n variables(we are interested in m>>n).Output:A formulaΨof size p(n,log m)such thatΨis satisfiable if and only ifΦis satisfiable.The idea is that the length ofΨshould be essentially unrelated to the original length m,but rather to the number of variables(or in other words,to the size of the witness).Typically,we think of the parameters m and n as related by some function,and it is instructive(but not essential)to think of m as larger than any polynomial in n.So potentially,the length ofΨcan be significantly shorter than that ofΦ.1 In general,one cannot expect to compress all the formulas,or else we would have an efficient algorithm for all N P problems.2However,once we introduce the setting of a shorter witness,then compression becomes plausible.Note that if P=N P and we actually know the algorithm for SAT then clearly compression is trivial,simply by solving the satisfiability ofΦand outputting1ifΦ∈SAT and0otherwise. Motivation for Compression:Compressing for the future is an appealing notion for various settings. There are numerous plausible scenarios that will give us more power to solve problems in the future.We could potentiallyfind out that P=N P and solve all our N P problems then.We may have faster computers or better means of computing such as quantum computers or any other physical method for solving problems (see Aaronson[Aar05]for a list of suggestions).Above all,the future entails lots and lots of time,a resource that the present is usually short of.Saving the problems of today as they are presented is wasteful,and compression of problems will allow us to store a far greater number of problems for better days.1Note,that since our requirement for compression is only relevant for problems where m>>n,then an N P-complete problem such as3-SAT(where all clauses have exactly3literals)is irrelevant for compression as in such formulas m is already at most O(n3).2Suppose that every formula can be compressed by a single bit,then sequentially reapplying compression to the input will result in a very short formula that may be solved by brute enumeration.Our interest in studying the issue of compression stems from the vast cryptographic implications of compressibility.We demonstrate three questions in cryptography that compression algorithms would resolve (see Section1.3).We are confident that the compression of problems implies further applications both within and outside of cryptography.For example,Dubrov and Ishai[DI06],in subsequent work,show the relevance of the notion of compression to derandomization(see related work,Section1.4).The concept of compression of problems is also interesting beyond the confines of N P problems,and makes sense in any setting where the compression requires much less resources than the actual solution of the problem.1.1Compression of NP instancesWe define the notion of compression with respect to an N P language.For simplicity,we assume that an input to an N P language L includes an encoding of the parameter n that upper bounds the length of a potential witness.3We also associate with L a specific N P relation R L that defines it(as mentioned above). We note that once the parameters m and n are explicit,it is in most cases immaterial what specific relation defines the language and the properties we discuss(such as compressibility)are properties of the language at hand(unless stated otherwise).In essence,a compression algorithm is a specialized Karp-reduction that also reduces the length of the instance.In the following definition we also introduce an additional property that is of interest for some of the applications.This is called witness retrieval and essentially means that knowledge of a witness to the input instance implies knowledge of a witness to the compressed instance.4Definition1.2(Compression Algorithm for N P Instances)Let L be an N P language.A compression algorithm for L is a probabilistic polynomial time machine Z along with a language L in N P(or more accurately in N P(poly(m)))5and a polynomial p(·,·)such that for all large enough m:1.For all x∈{0,1}m with parameter n the length of Z(x)is at most p(n,log m).2.Z(x)∈L if and only if x∈LA compression algorithm is witness retrievable with respect to R L if there exists a probabilistic poly-nomial time machine W such that if w x is a witness for x∈L then w y=W(w x,Z(x))is a witness for Z(x)∈L .We allow a negligible error in the success of Z and W(where probability is over the internal randomness of Z and W).The paper consists of two parts:Part I is a study of the concept of compression of N P instances from a complexity point of view.Part II introduces the cryptographic applications of compression algorithms. How much to compress:Definition1.2(of compression algorithms)requires a very strong compression, asking that the length of the compression is polynomial in n and log m.For the purposes of part I of the paper (the complexity study),it is essential that the compression is at least sub-polynomial in m in order to ensure that the reductions defined with respect to compressibility(See Section2.2)do compose.6Furthermore, 3Typically,the parameter n is indeed part of the description of the problem(e.g.for Clique,SAT,Sparse Subset Sum and others).4The reverse direction,where one wants to extract a witness to the input instance from the compressed instance is considered in the Section2.7on the compression of search problems.5By N P(poly(m))we mean in nondeterministic-time poly(m)(that is,verifiable in time poly(m)when given a non-deterministic hint).6For clarity we choose a polynomial in log m,although this may be replaced by any sub-polynomial function m (.)(a function such that for large enough m for any polynomial q(·)we have m (m)<q(m)).for part II(the applications)this definition may be strongly relaxed,where even a compression to m1−εforsome constantεsuffices for some applications.The Complexity of L :Another requirement of Definition1.2is that the language L be in N P(poly(m)).In general,this requirement may also be relaxed and the result still be meaningful for some applications.In particular,we do not need to put a bound on the complexity of L ,but only require that there is enoughinformation in Z(x)to determine whether x∈L or not.One case where we use a definition with un-bounded extraction is the compression of search problems in Section2.7.It should be noted however thatthe requirement for L to be in N P(poly(m))is necessary in order for the witness retrievability property tobe meaningful.Moreover,in some cases it is natural to further restrict L to actually be in N P(that is inN P(poly(n,log m)).For instance,this is the case in the definition of compression of SAT(Example1.1). Finally,note that if the compression has zero error probability,then L must be in N P(poly(m))simply bythe definition of compression.71.2Part I:Classifying N P Problems with Respect to Compression.We are interested infiguring out which N P languages are compressible and,in particular,whether impor-tant languages such as SAT and Clique are compressible.For starters,we demonstrate some non-triviallanguages that do admit compression:we show compression for the well known N P-complete problem ofvertex-cover and for another N P-complete language known as minimum-fill-in.We also show compressionof a language consisting of strings that are the output of a cryptographic pseudorandom generator as wellas compression for the promise problem GapSAT.8However,these examples are limited and do not seem togive us compression for all NP.Moreover,it becomes clear that the traditional notions of reductions andcompleteness in N P do not apply for the case of compression(i.e.,the compression of an N P-completelanguage does not immediately imply compression for all of N P).Neither are different notions of reductionwith respect to other aspects of computation,such as reductions with respect to approximation algorithmsor subexponential algorithms(see for example[Pap94])and for parameterized complexity(see[DF99]andfurther discussion in Section1.4on related work).We introduce W-reductions that arise from the study of compression.These are reductions that addressthe length of the witness in addition to membership in an N P language.Following the definition of W-reductions we define also the matching notion of compression-complete languages for a class.We thenintroduce a classification of N P problems with respect to compression.The classification presents a struc-tured hierarchy of N P problems,that is surprisingly different from the traditional view and closer in natureto the W hierarchy of parameterized complexity(see[DF99]).We call our hierarchy VC,short for“ver-ification classes”,since the classification is closely related to the verification algorithm of N P languageswhen allowed a preprocessing stage.We discuss some of the more interesting classes in the VC hierarchy,mention some compression-complete problems and classify some central N P problems.In addition,we study the compression of N P search problems.That is,compressing an instance in away that maintains all the information about a witness for the problem.We show that the compression of aclass of decision problems also implies compression for the corresponding search problems.7Suppose that there exists a compression algorithm Z for L then define L to be the language of all Z(x)such that x∈L.Then, for every y∈L a verification algorithm takes as a nondeterministic witness a value x,a witness to x∈L along with randomness for the compression algorithm and verifies that indeed y=Z(x).Thus if Z never introduces an error then L is in N P(poly(m)).8I.e.a promise problem were either the formula is satisfiable or every assignment does not satisfy a relatively large number of clauses.1.3Part II:Implications to CryptographyWe provide some implications of compressibility to cryptography.The implications described are of con-trastingflavors.On the one hand we show constructions of cryptographic primitives using compression algorithms,while on the other hand we show a cryptanalysis using compression algorithms(or alternatively, this can be considered as an application of incompressibility of languages).For simplicity we provide the implication with respect to the compression of SAT.We note however,that the same statements can actually be made with compression of languages from the class VC OR(see Definition2.17).This class is the lowest class in our VC hierarchy,and potentially easier to compress than SAT.On the existence of Minicrypt:Impagliazzo[Imp95]summarizesfive possibilities for how the world may look like based on different computational assumptions.The two top worlds are Minicrypt,where one-way functions exist but oblivious transfer protocols do not exist(in this world some interesting cryp-tographic applications are possible,and in particular shared key cryptography)and Cryptomania where Oblivious Transfer protocols do exist(and hence also a wide range of cryptographic applications like secure computation and public key cryptography).We show that if there exists a compression algorithm for SAT that is also witness retrievable,then Minicrypt=Cryptomania:Theorem1.3If there exists a witness retrievable compression algorithm for SAT,then there exists an Obliv-ious Transfer protocol based on any one-way function.This theorem is proved byfirst constructing a private information retrieval(PIR)protocol from any one-way function and then applying the reduction of Di Crescenzo,Malkin and Ostrovsky[DMO00]from OT to PIR.As immediate corollaries we also get constructions for general secure computation protocols(e.g. [Yao82,GMW87,GV87,Kil88])and secret key agreement from one-way functions.All of the above are not known to be equivalent to the existence of one-way functions.Moreover,Impagliazzo and Rudich[IR89] prove that key agreement protocols(and hence also OT)cannot be constructed from any one-way function using black-box reductions.This does not imply that witness retrievable compression of SAT is impossible, since the construction of OT in Theorem3.1is inherently non-black-box and uses the program of the one-way function via Cook’s Theorem[Coo71].Whether OT can be constructed from any one-way function is a major open problem in cryptography and as such may be viewed as an indication to the difficulty of resolving the question offinding witness retrievable compression algorithms for SAT.On Collision Resistant Hash from any One-Way Function:Practically the same construction of PIR from Theorem3.1but without the witness retrievability can be used,via a result of Ishai,Kushilevitz and Ostrovsky[IKO05],to construct collision resistant hash functions(CRH).Thus we get the following:Theorem1.4If there exists an errorless9compression algorithm for SAT then there exists a construction of collision resistant hash functions based on any one-way function.This task as well was shown to be impossible by black-box reductions(see Simon[Sim98]).Another interesting corollary of this result is a construction of statistically hiding bit commitment from any one-way function,which is currently an open problem([NOVY98,HHK+05]show such constructions based on one-way functions with a specific structure).9The construction of CRH requires that the error probability of compression algorithm will be zero.This can be slightly relaxed to an error that is exponentially small in m(rather than n).On Everlasting Security and the Hybrid Bounded Storage Model:The bounded storage model(BSM) of Maurer[Mau92]provides the setting for the appealing notion of everlasting security[ADR02,DR02]. Loosely speaking,two parties,Alice and Bob,that share a secret key in advance,may use the BSM to encrypt messages in a way that the messages remain secure against a computationally unbounded adversary, even if the shared secret key is eventually revealed.However,if the parties do not meet in advance to agree on a secret key then everlasting security requires high storage requirements from Alice and Bob[DM04a],rendering encryption in this model less appealing. Hoping to overcome this,it was suggested to combine the BSM with computational assumptions(what is called here the hybrid BSM).In particular,to run a computational key agreement protocol in order to agree on a shared secret key,and then run one of the existing BSM schemes.Dziembowski and Maurer [DM04a]showed that this idea does not necessarily work in all cases,by showing an attack on a protocol consisting of the combination of a specific(artificial)computational key agreement protocol with a specific BSM encryption scheme.We show that compression of N P instances can be used to attack all hybrid BSM schemes.Or in other words,if a compression of SAT exists,then the hybrid BSM is no more powerful than the standard BSM.One interpretation of this result is that in order to prove everlasting security for a hybrid BSM scheme, without further conditions,one must prove that there exists no compression algorithm for SAT.Alternatively, as a relaxation,one should come up with a reasonable incompressibility assumption regarding the resulting formulae.Note however that a straightforward assumption of the form“this distribution on SAT formulae is incompressible”is not efficiently falsifiable,in the sense of Naor[Nao03],that is,it is not clear how to set up a challenge that can be solved in case the assumption is false.O N R ANDOM O RACLES:We show(in[HN05])that if all parties are given access to a random oracle, then there actually exists everlasting security in the hybrid BSM without an initial key and with low storage requirements from Alice and Bob10.Therefore,finding a compression algorithm for SAT would show an example of a task that is simple with random oracles but altogether impossible without them.This is stronger than previous results(such as[CGH04,GK03,MRH04])that show a specific protocol that becomes insecure if the random oracle is replaced by a function with a small representation.This would constitute an argument against relying(blindly)on random oracles to determine whether a task is feasible at all.1.4Related WorkThe relationship between compression and complexity in general is a topic that has been investigated since the early days of Complexity Theory(i.e.Kolmogorov Complexity[LV97]).However,the feature that we are introducing in this work is compressibility with respect to the solution(witness)rather than the instance. The goal of maintaining the solution differs our work from a line of seemingly related works about notions of compression([DLN96,TVZ04,Wee04]to name a few),all of which aim at eventually retrieving the input of the compression algorithm.There are several examples of other relaxations to solving N P problems in polynomial time.Each of these relaxations yields a corresponding classifications of N P.These classifications,like ours,are subtle and usually turn out to be very different than that of the traditional N P classification.For example,Pa-padimitriou and Yannakakis[PY88]introduce L-reductions and the classes MAX NP and MAX SNP,with respect to approximation algorithms.Impagliazzo,Paturi and Zane[IPZ98]define reductions with respect to solution in sub-exponential time.Perhaps the most relevant classification to ours is that of parameterized complexity(see the monograph on this subject by Downey and Fellows[DF99]).Parameterized complexity studies the tractability of prob-10This does not contradict the compressibility of SAT,since the cryptanalytic result is not black-box and assumes access to the full description of the programs of Alice and Bob.Thus this result is not preserved in the presence of a random oracle.lems when one of the parameters is considered to befixed or very small.This is relevant to compression since typically this parameter is related to the length of the witness.On the one hand,some(but not all)parame-terized complexity algorithms yield natural compression algorithms(see examples and discussion in Section 2.1).In addition,some(but certainly not all)compression algorithms may imply a parameterized complex-ity algorithm.Also the W-hierarchy of parameterized complexity is reminiscent of the VC-hierarchy(they are both defined by reduction to circuits of bounded depth).However,our study of compression yields quite a different classification.This is mainly because in parameterized complexity the witness length is taken to be very small and as such,there is no restriction on running in time that is exponential(or higher)in this parameter.In compression,on the other hand,the parameter(witness length)is usually of substantial size (even if much smaller than the instance length).A related notion to parameterized complexity that is reminiscent of our work is limited non-determinism, which started with the work of Kintala and Fischer[KF80],see survey by Goldsmith,Levy and Mund-heck[GLM96].This was further studied by Papadimitriou and Yannakakis[PY96]who defined a few syntactic classes within the class of polylog non-determinism(LOGNP and LOGSNP).The interesting point is that several natural problems are complete for these classes.The notion of reduction used is the usual polynomial reduction and hence the classifications arising from this study are very different from our VC hierarchy.In subsequent work,Dubrov and Ishai[DI06]discussed the compression of problems and showed that a certain incompressibility assumption has an application to derandomization.Specifically they construct a generator that fools procedures that use more randomness than their output length.Their work was mostly conducted independently of ours,following conversations regarding an early phase of our work.In addition, inspired by our CRH construction,they prove that any one-way permutation can either be used for the above mentioned derandomization,or else can be used to construct a weak version of CRH.11Paper organization:Section2studies the compressibility of N P problems and introduces the VC clas-sification with this respect.Part II of the paper(the cryptographic application)appears in Sections3and 4.Section3shows the applications to the construction of OT and CRH from any one-way functions,while Section4presents the implication to the hybrid BSM.2Part I:On the Compression of N P InstancesAttempting to compress N P instances requires a different approach than solving N P problems.Intuitively, a solution for compression might arise while trying to solve the problem.While a full solution of an N P problem may take exponential time,it is plausible that thefirst polynomial number of steps leaves us without an explicit solution but with a smaller instance.Indeed,some algorithms in the parameterized complexity world work like this(see some examples in the next section).On the other hand,we allow the possibility that the compressed version is actually harder to solve(computational time-wise)than the original one(and may require a somewhat longer witness altogether).2.1Examples of Compression Algorithms for some Hard ProblemsWe start by showing three examples of compression algorithms for problems that are conjectured not to be in P.Two of these example are N P-complete problems,while the third is taken from cryptography.11This weak version of CRH(like the stronger common version)cannot be constructed from any one-way permutation by black-box reductions.(in[Sim98]).Vertex Cover:The well studied N P-complete problem of Vertex-Cover receives as input a graph G= (V,E)and asks whether there exists a subset of vertices S⊆V of size at most k such that for every edge (u,v)∈E either u or v are in S.The parameters are the instance length m,which is at most O(|E|log|V|), and the witness length n=k log|V|Claim2.1There exists a witness retrievable compression algorithm for Vertex-Cover.Proof:We are following the parameterized complexity algorithm for vertex-cover(presented in[DF99]and attributed to Buss).If a vertex-cover S of size k exists,then any vertex of degree greater than k must be inside the set S.The compression algorithm simply identifies all such vertices and lists them in the cover, while removing all their outgoing edges(that do not need to be covered by other vertices).The graph left after this process has maximal degree k,and furthermore all edges have at least one end in the cover.Thus, if the original graph has a k vertex cover then the total number of edges left is at most k2(at most k vertices in the cover with at most k edges each).If there are more then k2edges then the answer to the problem is NO,otherwise,such a graph can be represented by the list of all edges,which takes k2log k bits.The compression can be made witness retrievable since if we use the original labels of vertices to store the new graph,then the original cover is also a cover for the new compressed graph.2It is interesting to note that we do not know of a compression algorithm for the Clique problem or the Dominating Set problem,which are strongly linked to the vertex-cover problem in the traditional study of N P,and in fact,in Theorems3.1,3.3and4.4we show strong implications of a compression algorithm for these languages.PRG-Output:The following compression algorithm works for any sparse language(that is,a language that contains only a small fraction of all possible inputs).A specific and interesting example is defined next: Example2.2(PRG-Output)Let G be a pseudorandom generator stretching an n bit seed to an m bit output(with m>>n).Define the language PRG-output over inputs y∈{0,1}m asL G={y|there exists an x s.t.G(x)=y}The language PRG-output is hard to solve for random instances as long as the underlying PRG is secure. Yet it has a simple compression algorithm.Note that simply saving,say,thefirst2n bits of the instance y is insufficient because if y only differs from G(x)in one bit,then this bit may be anywhere in the m bits. Claim2.3There exists a witness retrievable compression algorithm for PRG-output.Proof:Let H be a family of almost pairwise independent hash functions from m bits to2n bits.The compression algorithm simply chooses a random h∈H and outputs(h(z),h).The new language is L G= {(z,h)|there exists an x s.t.h(G(x))=z}.Naturally,if y∈L G then also(h(y),h)∈L G with the same witness(and thus the witness retrievability). On the other hand,if y/∈L G then by the properties of H,for every seed x we have that Pr h[h(G(x))= h(y)]<O(2−2n),and by a union bound over all x∈{0,1}n,we get Pr h[h(y)∈L G]<O(2−n).Finally, since there are almost pairwise independent hash functions whose description is of length O(n)+log m(for example see[NN93]),then the algorithm is indeed compressing.2。

相关文档
最新文档