List of computer science conferences: Difference between revisions
Line 270: | Line 270: | ||
==Cloud Computing== |
==Cloud Computing== |
||
* International Conference on Cloud Computing and Services Science - |
* International Conference on Cloud Computing and Services Science - [http://closer.scitevents.org/ CLOSER] |
||
==Security and privacy== |
==Security and privacy== |
Revision as of 11:17, 10 December 2012
This is a list of academic conferences in computer science. Only established, well-known conferences are included; within each field, the conferences are ranked according to perceived quality. The ranking is approximate and non-authoritative.
General
Algorithms and theory
Conferences accepting a broad range of topics from theoretical computer science, including algorithms, data structures, computability, computational complexity, automata theory and formal languages:
- STOC - ACM Symposium on Theory of Computing [2][3][4][5][6][7][8][9][10][11][12][13]
- FOCS - IEEE Symposium on Foundations of Computer Science [2][5][7][8][9][10][11][12][13][14][15]
- ICALP - International Colloquium on Automata, Languages and Programming [2][5][7][10][12][16][17]
- STACS - Symposium on Theoretical Aspects of Computer Science [10][12]
- ISAAC - International Symposium on Algorithms and Computation [2][7][12]
- MFCS - International Symposium on Mathematical Foundations of Computer Science [2][10][12]
- FSTTCS - IARCS Conference on Foundations of Software Technology and Theoretical Computer Science [12]
- COCOON - International Computing and Combinatorics Conference [2][12]
- WoLLIC - Workshop on Logic, Language, Information and Computation[18][19]
Algorithms
Conferences whose topic is algorithms and data structures considered broadly, but that do not include other areas of theoretical computer science such as computational complexity theory:
- SODA - ACM–SIAM Symposium on Discrete Algorithms [2][5][7][8][12][20][21][22]
- ESA - European Symposium on Algorithms [2][7][12]
- WADS - Algorithms and Data Structures Symposium [2][7][12]
- formerly: "Workshop on Algorithms and Data Structures"
- formerly: "Scandinavian Workshop on Algorithm Theory"
Geometric algorithms
Conferences on computational geometry, graph drawing, and other application areas of geometric computing:
- SoCG - ACM Symposium on Computational Geometry [2][7][22][24][25]
- ACM GIS - ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems [22]
- GD - International Symposium on Graph Drawing [2][26][27]
- IMR - International Meshing Roundtable [28]
- WAFR - Workshop on Algorithmic Foundations of Robotics [29]
- CCCG - Canadian Conference on Computational Geometry [7]
- EuroCG - European Workshop on Computational Geometry [7]
- Fall Workshop on Computational Geometry [7]
- Formerly ARO-MSI Workshop on Computational Geometry
Other specialized subtopics
- formerly: "Structure in Complexity Theory Conference"
- ISSAC - International Symposium on Symbolic and Algebraic Computation [2][30]
- LICS - IEEE Symposium on Logic in Computer Science [2][4][31][32]
- DLT - International Conference on Developments in Language Theory
- CIAA - International Conference on Implementation and Application of Automata
- formerly: WIA - "Workshop on Implementation of Automata"
- merger of: DCAGRS - "Descriptional Complexity of Automata, Grammars and Related Structures", FDSR - "Formal Descriptions and Software Reliability"
Programming languages
Conferences on programming languages and compilers:
- POPL - Symposium on Principles of Programming Languages [2][33][34][35][36]
- PLDI - ACM SIGPLAN Conference on Programming Language Design and Implementation[2][33][36][37][38]
- formerly "SIGPLAN Symposium on Compiler Optimization" and "SIGPLAN Symposium on Compiler Construction"
- ECOOP - European Conference on Object-Oriented Programming [2][33][39][40]
- OOPSLA - Conference on Object-Oriented Programming, Systems, Languages, and Applications [2][33][36][41][42]
- ICLP - International Conference on Logic Programming [2][4][43]
- a.k.a. JICSLP - "Joint International Conference and Symposium on Logic Programming"
- ICFP - International Conference on Functional Programming [2][4][36]
- CGO - International Symposium on Code Generation and Optimization [2]
- ESOP - European Symposium on Programming [2][4][44]
- FOSSACS - Foundations of Software Science and Computation Structures [45]
- CP - International Conference on Principles and Practice of Constraint Programming [2]
- CC - International Conference on Compiler Construction [2]
- LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation
- FLOPS - International Symposium on Functional and Logic Programming [2]
- HOPL - History of Programming Languages Conference [36]
- AOSD - Aspect-Oriented Software Development [2][46][47]
Concurrent, distributed and parallel computing
Conferences on concurrent, distributed, and parallel computing, fault-tolerant systems, and dependable systems:
- PODC - ACM Symposium on Principles of Distributed Computing [2][8][11][13][48]
- ICDCS - IEEE International Conference on Distributed Computing Systems [2][8][49][50][51]
- SPAA - ACM Symposium on Parallelism in Algorithms and Architectures [2][8][11][50][51][52][53]
- PPoPP - ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming [2][33][50][54][55][56]
- DSN - International Conference on Dependable Systems and Networks[2]
- DISC - International Symposium on Distributed Computing [2][8][11][13][50][51]
- formerly: WDAG - "Workshop on Distributed Algorithms on Graphs"
- formerly: "Symposium on Reliability in Distributed Software and Database Systems"
- PACT - International Conference on Parallel Architectures and Compilation Techniques [2][55]
- IPDPS - IEEE International Parallel and Distributed Processing Symposium [2][55][57]
- merger of: IPPS - "International Parallel Processing Symposium", SPDP - "Symposium on Parallel and Distributed Processing"
- a.k.a. "European Conference on Parallel Processing", "European Conference on Parallel Computing"
- SIROCCO - International Colloquium on Structural Information and Communication Complexity [8][50][51]
- OPODIS - International Conference on Principles of Distributed Systems [8][50][51]
- ICPADS - IEEE International Conference on Parallel and Distributed Systems [55]
- Coordination - International Conference on Coordination Models and Languages [2]
- ICDCN - International Conference on Distributed Computing and Networking [50]
High-performance computing
Conferences on high-performance computing, cluster computing, and grid computing:
- SC - ACM/IEEE International Conference for High Performance Computing, Networking, Storage, and Analysis [2][57][58]
- a.k.a. "SUPER", "ACM/IEEE Conference on Supercomputing", "SC Conference"
- ICS - International Conference on Supercomputing [2][57][59]
- HPDC - International Symposium on High Performance Distributed Computing [2][60]
- PPSC - SIAM Conference on Parallel Processing for Scientific Computing [57][61]
- Grid - IEEE/ACM International Conference on Grid Computing [2]
- CLUSTER - IEEE International Conference on Cluster Computing [2]
- formerly: IWCC - "IEEE International Workshop on Cluster Computing"
Software engineering
Conferences on software engineering:
- ICSE - International Conference on Software Engineering [2][62][63]
- FSE - ACM SIGSOFT Symposium on the Foundations of Software Engineering [33]
- RTA - International Conference on Rewriting Techniques and Applications
- ICSM - International Conference on Software Maintenance [2]
- ASE - IEEE/ACM International Conference on Automated Software Engineering [2]
- RE - IEEE International Requirements Engineering Conference [2]
- ICSR - International Conference on Software Reuse [2]
- ICFEM - International Conference on Formal Engineering Methods [2][63]
- TASE - International Symposium on Theoretical Aspects of Software Engineering [2][63]
- ISSTA - International Symposium on Software Testing and Analysis [2]
- SAWOSA - South African Workshop on Software Architecture
Formal methods
Conferences on formal methods in software engineering, including formal specification, formal verification, and static code analysis:
- CAV - Computer Aided Verification [2][33][64][65]
- FM - International Symposium on Formal Methods [2][63]
- formerly: FME - "Formal Methods Europe"
- FORTE - IFIP International Conference on Formal Techniques for Networked and Distributed Systems [2][63]
- formerly: "International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols", "International Conference on Formal Description Techniques"
- SAS - Static Analysis Symposium [2]
- formerly: WSA - "Workshop on Static Analysis"
Operating systems
Conferences on operating systems, storage systems and middleware:
- SOSP - ACM Symposium on Operating Systems Principles [2][33][66][67][68]
- OSDI - USENIX Symposium on Operating Systems Design and Implementation [2][33][66][69][70]
- USENIX - USENIX Annual Technical Conference [2][33][71][72]
- FAST - USENIX Conference on File and Storage Technologies [2][73]
- EuroSys - European Conference on Computer Systems [2]
- Middleware - ACM/IFIP/USENIX International Middleware Conference [2]
- HotOS - Workshop on Hot Topics in Operating Systems [33][74]
- NOSSDAV - International Workshop on Network and Operating Systems Support for Digital Audio and Video [2][33][75][76]
Computer architecture
Conferences on computer architecture:
- ASPLOS - International Conference on Architectural Support for Programming Languages and Operating Systems [2][33][77][78]
- ISCA - International Symposium on Computer Architecture [2][33][57][79][80]
- a.k.a. "Annual Symposium on Computer Architecture"
- MICRO - IEEE/ACM International Symposium on Microarchitecture [2][33][81]
- HPCA - International Symposium on High-Performance Computer Architecture [2][4][82][83]
Computer hardware
Conferences on computer hardware:
- ISPD - International Symposium on Physical Design [84]
- CHES - Cryptographic Hardware and Embedded Systems [84]
- ICCD - International Conference on Computer Design [84]
- ISLPED - International Symposium on Low Power Electronics and Design [2][84]
- FCCM - Field-Programmable Custom Computing Machines [84] [85]
- FPGA - Symposium on Field Programmable Gate Arrays [2][84]
- ISSS - International Symposium on Systems Synthesis [84]
- CODES+ISSS - International Conference on Hardware Software Codesign [2][84]
- ARVLSI - Advanced Research in VLSI [84]
- ASAP - Application-Specific Systems, Architectures, and Processors [84]
- ISCAS - IEEE International Symposium on Circuits and Systems [84]
Real-time and embedded systems
Conferences on real-time systems and embedded systems:
- RTSS - IEEE Real-Time Systems Symposium [2][4][86]
- RTAS - IEEE Real-Time and Embedded Technology and Applications Symposium [2]
- LCTES - ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems [2][87]
- CASES - International Conference on Compilers, Architecture, and Synthesis for Embedded Systems [2][88][89]
- EMSOFT - International Conference on Embedded Software [2][90]
- ECRTS - Euromicro Conference on Real-Time Systems [2][91]
- SCOPES - International Workshop on Software and Compilers for Embedded Systems [2]
Computer-aided design
Conferences on computer-aided design and electronic design automation:
- DAC - Design Automation Conference [2][92][93]
- ICCAD - International Conference on Computer-Aided Design [2][94][95]
- DATE - Design, Automation, and Test in Europe [2]
- ASP-DAC - Asia and South Pacific Design Automation Conference
- ISPD - International Symposium on Physical Design [96]
Computer Networking and Networked Systems
Conferences on computer networking:
- SIGCOMM - ACM SIGCOMM Conference [2][33][97][98][99]
- INFOCOM - IEEE Conference on Computer Communications [2][97][100][101][102]
- NSDI - USENIX Symposium on Networked Systems Design and Implementation [103][104]
- SIGMETRICS - ACM SIGMETRICS Conference [2][4][97][105][106]
- a.k.a. "ACM Conference on Measurement and Modeling of Computer Systems"
- IMC - Internet Measurement Conference [2]
- CoNEXT - ACM Conference on emerging Networking EXperiments and Technologies [2]
- IPTPS - International Workshop on Peer-To-Peer Systems [107]
- ICNP - IEEE International Conference on Network Protocols [2][108][109]
- PAM - Passive and Active Measurement Conference [23][110]
- IWQoS - IEEE International Workshop on Quality of Service [111]
- ICC - IEEE International Conference on Communications [112]
- MASCOTS - IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems [2]
- IM - IFIP/IEEE International Symposium on Integrated Network Management [2]
- Networking - IFIP International Conference on Networking [2]
- LCN - IEEE Conference on Local Computer Networks [2]
- GlobeCom - IEEE Global Communications Conference [102]
- a.k.a. "Global Telecommunications Conference"
Wireless networks
Wireless networks and mobile computing, including pervasive computing, wireless ad hoc networks and wireless sensor networks:
- MobiCom - ACM International Conference on Mobile Computing and Networking [2][33][97][102][113][114]
- MobiHoc - ACM International Symposium on Mobile Ad Hoc Networking and Computing [2][102][115]
- SenSys - ACM Conference on Embedded Networked Sensor Systems [2][116][117]
- HotMobile - International Workshop on Mobile Computing Systems and Applications [118][119]
- formerly: WMCSA
- IPSN - ACM/IEEE International Conference on Information Processing in Sensor Networks [2][116]
- Ubicomp - International Conference on Ubiquitous Computing [2][120]
- PerCom - IEEE International Conference on Pervasive Computing and Communications [2]
- EWSN - European Conference on Wireless Sensor Networks [2][116]
- formerly: "European Workshop on Wireless Sensor Networks"
- ISWC - International Symposium on Wearable Computers [2][121]
- MSWiM - ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems [2][122]
- MobiQuitous - International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services [2]
- WoWMoM - IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks [2]
- formerly: "International Workshop on Wireless Mobile Multimedia"
- SECON - Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks [123]
- WiOpt - International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks [124] [23]
- DCOSS - IEEE International Conference on Distributed Computing in Sensor Systems [23] [125]
- MASS - IEEE International Conference on Mobile Ad-hoc and Sensor Systems [23]
- IEEE RFID - IEEE IEEE International Conference on RFID [23]
Cloud Computing
- International Conference on Cloud Computing and Services Science - CLOSER
Security and privacy
Conferences on computer security and privacy:
- Oakland - IEEE Symposium on Security and Privacy [2][126][127][128]
- USENIX Security Symposium [2][129]
- CCS - ACM Conference on Computer and Communications Security [2][33][126][130][131]
- NDSS - Network and Distributed System Security Symposium [2][132][133]
- CSF - Computer Security Foundations Symposium formerly: CSFW - "Computer Security Foundations Workshop" [2][33][134][135]
- ESORICS - European Symposium on Research in Computer Security [2]
- RAID - International Symposium on Recent Advances in Intrusion Detection [136]
- ASIACCS - ACM Symposium on Information, Computer and Communications Security [23]
Cryptography
Cryptography conferences:
- CRYPTO - International Cryptology Conference [2][4][137][138]
- EUROCRYPT - International Conference on the Theory and Applications of Cryptographic Techniques [2][139][140]
- ACNS - Applied Cryptography and Network Security ("http://icsd.i2r.a-star.edu.sg/staff/jianying/acns_home/")
- TCC - Theory of Cryptography Conference [2]
- PKC - International Workshop on Practice and Theory in Public Key Cryptography [141]
- ASIACRYPT - International Conference on the Theory and Application of Cryptology and Information Security [2][142]
- FSE - Fast Software Encryption Workshop [143]
- RSA - RSA Conference
- ANTS - Algorithmic Number Theory Symposium
- CHES - Workshop on Cryptographic Hardware and Embedded Systems
- SECRYPT - International Conference on Security and Cryptography [144]
- INDOCRYPT - International Conference on Cryptology in India
Data Management
Conferences on databases, information systems, information retrieval, data mining and the world wide web:
- a.k.a. "ACM SIGMOD International Conference on Management of Data"
- VLDB - International Conference on Very Large Data Bases [2][22][145][146][149][150]
- PODS - ACM Symposium on Principles of Database Systems [2][22][33][145][146][151][152]
- SIGIR - Annual International ACM SIGIR Conference [2][153][154][155][156]
- WWW - World Wide Web Conference [2][154][157][158][159]
- KDD - ACM SIGKDD Conference on Knowledge Discovery and Data Mining [2][4][146][160][161][162]
- ICDE - International Conference on Data Engineering [2][22][145][146][163][164]
- a.k.a. ACM International Conference on Research and Development in Information Retrieval
- ISWC - International Semantic Web Conference [165][166][167]
- CIDR - Conference on Innovative Data Systems Research [2][168][169]
- ICDM - IEEE International Conference on Data Mining [2][160][168][170][171]
- ICDT - International Conference on Database Theory [2][145][146][172][173]
- EDBT - International Conference on Extending Database Technology [2][22][145][168][174][175]
- SDM - SIAM International Conference on Data Mining [2][168][176][177]
- CIKM - ACM Conference on Information and Knowledge Management [2][168][178][179]
- ER - International Conference on Conceptual Modeling [2]
- ICIS - International Conference on Information Systems [2][157][168]
- SSTD - Symposium on Spatial and Temporal Databases [2][22][180]
- formerly: SSD - "Symposium on Large Spatial Databases"
- WebDB - International Workshop on the Web and Databases [33][181]
- SSDBM - International Conference on Scientific and Statistical Database Management [2][168]
- CAiSE - Conference on Advanced Information Systems Engineering [2][168]
- ECIS - European Conference on Information Systems [2]
- PAKDD – The annual Pacific-Asia Conference on Knowledge Discovery and Data Mining [182]
Artificial intelligence
Conferences on artificial intelligence and machine learning:
- a.k.a. "National Conference of the American Association for Artificial Intelligence"
- IJCAI - International Joint Conference on Artificial Intelligence [2][33][184][185][186][187]
- ISWC - International Semantic Web Conference [165][166][167]
- KR - International Conference on the Principles of Knowledge Representation and Reasoning [2][4][188]
- UAI - Conference on Uncertainty in Artificial Intelligence [2][184][187][189][190]
- AAMAS - International Conference on Autonomous Agents and Multiagent Systems [2][184][191][192]
- merger of: "International Conference on Autonomous Agents", ATAL - "Workshop on Agent Theories, Architectures, and Languages", ICMAS - "International Conference on Multiagent Systems"
- ICML - International Conference on Machine Learning [2][9][33][184][187][193][194]
- NIPS - Conference on Neural Information Processing Systems [2][9][184][187][195][196]
- COLT - Conference on Learning Theory [2][9][187][197][198]
- formerly: "Conference on Computational Learning Theory"
- merger of: COLT, EuroCOLT - "European Conference on Computational Learning Theory"
- ECML PKDD - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases [2][187][199][200][201][202]
- merger of: ECML - "European Conference on Machine Learning", PKDD - "European Conference on Principles and Practice of Knowledge Discovery in Databases"
- formerly: EWSL - "European Working Session on Learning", PKDD - "European Symposium on Principles of Data Mining and Knowledge Discovery from Databases"
- merger of: AIPS - "Artificial Intelligence Planning Systems", ECP - "European Conference on Planning"
- ICANN - International Conference on Artificial Neural Networks [187][204]
- AISB - Annual Convention of The Society for the Study of Artificial Intelligence and Simulation of Behaviour[2][33]
- ECAI - European Conference on Artificial Intelligence [2]
- RuleML - RuleML Symposium [4]
- FOGA - Foundations of Genetic Algorithms [2]
Automated reasoning
Conferences on automated reasoning:
- IJCAR - International Joint Conference on Automated Reasoning [2]
- CADE - Conference on Automated Deduction [2][205][206]
- TABLEAUX - International Conference on Automated Reasoning with Analytic Tableaux and Related Methods [2]
- LPAR - International Conference on Logic for Programming, Artificial Intelligence and Reasoning [2]
- RuleML - RuleML Symposium [4]
- WoLLIC - Workshop on Logic, Language, Information and Computation
Computer vision
Conferences on computer vision (including also image analysis) and pattern recognition:
- ICCV - International Conference on Computer Vision [2][4][207][208][209]
- CVPR - Conference on Computer Vision and Pattern Recognition [2][22][207][210][211]
- ECCV - European Conference on Computer Vision [2][4][212][213]
- BMVC - British Machine Vision Conference [214]
- ACCV - Asian Conference on Computer Vision [215][23]
- ICPR - International Conference on Pattern Recognition [22][216]
- CAIP - Computer Analysis of Images and Patterns [23]
- ISBI - International Symposium on Biomedical Imaging [217]
- SCIA - Scandinavian Conference on Image Analysis [218]
- PSIVT - Pacific Rim Symposium on Image and Video Technology [23]
- SSIAI - IEEE Southwest Symposium on Image Analysis and Interpretation [219]
- WSCG - Conferences on Computer Graphics, Visualization and Computer Vision since 1992
Natural language processing
Conferences on computational linguistics and natural language processing:
- ACL - Annual Meeting of the Association for Computational Linguistics [2][220][221][222][223][217]
- EACL - Annual Conference of the European Chapter of the Association for Computational Linguistics [2][224][225][217]
- COLING - International Conference on Computational Linguistics [2][222][226][227][217]
- CICLing - International Conference on Intelligent Text Processing and Computational Linguistics [228][217][229][5]
- NAACL - Annual Conference of the North American Chapter of the Association for Computational Linguistics [2][230][231][217]
- NLDB - International Conference on Applications of Natural Language to Information Systems [232]
- TSD - Text, speech and dialogue [217][233]
Computer graphics
Conferences on computer graphics, image processing, and multimedia:
- SIGGRAPH - International Conference on Computer Graphics and Interactive Techniques [2][22][33][207][234][235]
- I3D - ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games [2][33][207][236][237]
- a.k.a. SI3D, I3DG
- a.k.a. ACMMM - "ACM Multimedia Conference"
- DCC - Data Compression Conference [2][12][241]
- ICME - IEEE International Conference on Multimedia and Expo [242]
- a.k.a. ICMCS - "International Conference on Multimedia Computing and Systems"
- Vis - IEEE Visualization Conference [2][57][243][244]
- Eurographics - Annual Conference of the European Association for Computer Graphics [2]
- ACM SIGGRAPH/Eurographics Conference on Graphics Hardware [22][245]
- InfoVis - IEEE Information Visualization Conference [2][246]
- SCA - ACM SIGGRAPH/Eurographics Symposium on Computer Animation [247]
- ICIP - IEEE International Conference on Image Processing [248]
- GI - Graphics Interface [249]
Human–computer interaction
Conferences on human–computer interaction and user interfaces:
- CHI - ACM Conference on Human Factors in Computing Systems [2][4][250][251]
- CSCW - Conference on Computer Supported Cooperative Work [2][252][253]
- UIST - ACM Symposium on User Interface Software and Technology [2][4][254][255]
- IUI - International Conference on Intelligent User Interfaces [2][256][257]
- GI - Graphics Interface [249]
- DIS - Designing Interactive Systems [258]
- INTERACT - IFIP Conference on Human-Computer Interaction [2]
- MobileHCI - Conference on Human-Computer Interaction with Mobile Devices and Services
- SIGDOC - ACM International Conference on Design of Communication
- VL/HCC - IEEE Symposium on Visual Languages and Human-Centric Computing [2]
- ASSETS - International ACM SIGACCESS Conference on Computers and Accessibility
- formerly: "International ACM Conference on Assistive Technologies"
Computational biology
Conferences on bioinformatics and computational biology:
- ISMB - International Conference on Intelligent Systems for Molecular Biology [5][12][259][260][261]
- RECOMB - International Conference on Research in Computational Molecular Biology [12][259][262][263]
- PSB - Pacific Symposium on Biocomputing [264][265][266]
- WABI - Workshop on Algorithms in Bioinformatics [267][268]
Education
Conferences on computer science education and electronic learning:
- SIGCSE - ACM Technical Symposium on Computer Science Education [2][269][270]
- ITiCSE - ACM-SIGCSE Annual Conference on Innovation and Technology in Computer Science Education [2][271][272]
- a.k.a. "Integrating Technology into Computer Science Education"
- ITS - International Conference on Intelligent Tutoring Systems [273][274][275]
- ICALT - International Conference on Advanced Learning Technologies [276]
- AIED - International Conference on Artificial Intelligence in Education [273]
- CSCL - International Conference on Computer Supported Collaborative Learning [2]
See also
- List of computer science conference acronyms
- List of publications in computer science
- Outline of computer science
Notes
- ^ Fich 1996.
- ^ a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh bi bj bk bl bm bn bo bp bq br bs bt bu bv bw bx by bz ca cb cc cd ce cf cg ch ci cj ck cl cm cn co cp cq cr cs ct cu cv cw cx cy cz da db dc dd de df dg dh di dj dk dl dm dn do dp dq dr ds dt du dv dw dx dy dz ea eb ec ed ee ef eg eh ei ej ek el em en eo ep eq er es et eu ev ew ex ey ez fa fb fc fd fe ff fg fh fi fj fk fl fm ERA: rank A.
- ^ MSAS AT: rank 1.
- ^ a b c d e f g h i j k l m n o p q r CiteSeer, conferences in top 100.
- ^ a b c d e f Zaïane 2009, top tier conferences in other fields.
- ^ Arnetminer AT: rank 2.
- ^ a b c d e f g h i j k l Chazelle et al. 1996, Section 13.2.
- ^ a b c d e f g h i Georgiou & Shvartsman 2007, Section "Bibliographic notes" in "Preface".
- ^ a b c d e Goldman 1999, Section 30, p. 24.
- ^ a b c d e f Jiang, Li & Ravikumar 1999, Section 24, p. 22.
- ^ a b c d e Lynch 1996, Section 1.4, "Bibliographic notes".
- ^ a b c d Tel 2000, Section 1.3.3, "Research field".
- ^ MSAS AT: rank 2.
- ^ Arnetminer AT: rank 4.
- ^ MSAS AT: rank 8.
- ^ Arnetminer AT: rank 7.
- ^ Hodges 2008 .
- ^ MSAS search WOLLIC: citation ratio: 122/109.
- ^ MSAS AT: rank 4.
- ^ Arnetminer AT: rank 3.
- ^ a b c d e f g h i j k l m Samet 2010, Section 6.8, p. 33.
- ^ a b c d e f g h i j ERA: rank B.
- ^ MSAS AT: rank 6.
- ^ Skiena 2008, Section 17, p. 562.
- ^ Mutzel & Eades 2002.
- ^ Skiena 2008, Section 15, p. 516.
- ^ Skiena 2008, Section 17.3, p. 575.
- ^ Overmars 1998.
- ^ MSAS SC: rank 1.
- ^ MSAS AT: rank 3.
- ^ Arnetminer AT: rank 6.
- ^ a b c d e f g h i j k l m n o p q r s t u v w x y z aa CiteSeer, conferences in top 50.
- ^ Arnetminer PL: rank 1.
- ^ MSAS SE: rank 1.
- ^ a b c d e Friedman, Wand & Haynes 2001, Appendix B, p. 359–360.
- ^ Arnetminer OS: rank 7. Arnetminer PL: rank 3.
- ^ MSAS SE: rank 2.
- ^ Arnetminer PL: rank 7.
- ^ MSAS SE: rank 3.
- ^ Arnetminer PL: rank 5.
- ^ MSAS SE: rank 6.
- ^ MSAS SE: rank 10.
- ^ Arnetminer PL: rank 9.
- ^ Arnetminer PL: rank 17.
- ^ MSAS PL: rank 2.
- ^ Arnetminer PL: rank 2.
- ^ MSAS DC: rank 2.
- ^ MSAS DC: rank 3.
- ^ a b c d e f g PODC mailing list.
- ^ a b c d e f Wattenhofer 2007.
- ^ MSAS DC: rank 7.
- ^ Arnetminer AT: rank 9.
- ^ MSAS DC: rank 1.
- ^ a b c d e f Zaïane 2009, top tier conferences in distributed and parallel computing.
- ^ Arnetminer OS: rank 10.
- ^ a b c d e f g Fosdick et al. 1996, Chapter 1, p. 13–14.
- ^ MSAS DC: rank 4.
- ^ MSAS DC: rank 5.
- ^ MSAS DC: rank 8.
- ^ MSAS SC: rank 3.
- ^ MSAS SE: rank 8.
- ^ a b c d e Hinchey, Bowen & Rouff 2005, Section 2.6, p. 49–50.
- ^ Arnetminer PL: rank 6.
- ^ MSAS SE: rank 4.
- ^ a b Zaïane 2009, top tier conferences in operating systems and simulations.
- ^ Arnetminer OS: rank 2.
- ^ MSAS OS: rank 1.
- ^ Arnetminer OS: rank 1.
- ^ MSAS OS: rank 2.
- ^ Arnetminer HW: rank 1. Arnetminer OS: rank 5.
- ^ MSAS OS: rank 4.
- ^ Arnetminer OS: rank 8.
- ^ MSAS OS: rank 7.
- ^ Arnetminer MIV: rank 8.
- ^ MSAS N: rank 5. MSAS OS: rank 6.
- ^ Arnetminer HW: rank 2. Arnetminer OS: rank 6.
- ^ MSAS HW: rank 1. MSAS OS: rank 3.
- ^ Arnetminer HW: rank 4.
- ^ MSAS HW: rank 2.
- ^ MSAS HW: rank 3.
- ^ Arnetminer HW: rank 3. Arnetminer OS: rank 9.
- ^ MSAS HW: rank 5.
- ^ a b c d e f g h i j k MSAS HW
- ^ Arnetminer HW: rank 10.
- ^ MSAS RT: rank 1.
- ^ MSAS RT: rank 4.
- ^ Arnetminer HW: rank 7.
- ^ MSAS RT: rank 6.
- ^ MSAS RT: rank 7.
- ^ MSAS RT: rank 5.
- ^ Arnetminer HW: rank 5.
- ^ MSAS HW: rank 4.
- ^ Arnetminer HW: rank 8.
- ^ MSAS HW: rank 6.
- ^ Arnetminer HW: rank 6.
- ^ a b c d Zaïane 2009, top tier conferences in networks, communications and performance.
- ^ Arnetminer N: rank 1.
- ^ MSAS N: rank 5.
- ^ Arnetminer N: rank 6.
- ^ MSAS N: rank 1.
- ^ a b c d Mishra 2008, Section 4.4.
- ^ Arnetminer N: rank 3. Arnetminer OS: rank 4.
- ^ MSAS search NSDI: citation ratio: 3510/174.
- ^ Arnetminer N: rank 7.
- ^ MSAS OS: rank 5.
- ^ Arnetminer OS: rank 3.
- ^ Arnetminer N: rank 9.
- ^ MSAS N: rank 6.
- ^ MSAS search PAM: citation ratio: 963/145.
- ^ MSAS search IWQOS: citation ratio: 2975/277.
- ^ MSAS N: rank 3.
- ^ Arnetminer N: rank 2.
- ^ MSAS N: rank 2.
- ^ MSAS N: rank 8.
- ^ a b c Ilyas & Mahgoub 2004, Section 1.2.1.
- ^ Arnetminer N: rank 5.
- ^ Arnetminer N: rank 8.
- ^ MSAS N: rank 7.
- ^ MSAS HCI: rank 4.
- ^ MSAS HCI: rank 7.
- ^ MSAS S: rank 3.
- ^ MSAS search SECON: citation ratio: .
- ^ MSAS search WIOPT: citation ratio: .
- ^ MSAS search DCOSS: citation ratio: .
- ^ a b Zaïane 2009, top tier conferences in security and privacy.
- ^ Arnetminer SP: rank 7.
- ^ MSAS SP: rank 1.
- ^ Arnetminer SP: rank 2.
- ^ Arnetminer N: rank 4. Arnetminer SP: rank 1.
- ^ MSAS N: rank 4. MSAS SP: rank 4.
- ^ Arnetminer SP: rank 3.
- ^ MSAS SP: rank 6.
- ^ Arnetminer SP: rank 4.
- ^ MSAS SP: rank 5.
- ^ Arnetminer SP: rank 8.
- ^ Arnetminer AT: rank 1. Arnetminer SP: rank 5.
- ^ MSAS SP: rank 2.
- ^ Arnetminer AT: rank 8. Arnetminer SP: rank 10.
- ^ MSAS SP: rank 3.
- ^ Arnetminer SP: rank 9.
- ^ MSAS SP: rank 7.
- ^ MSAS SP: rank 10.
- ^ http://www.secrypt.icete.org/
- ^ a b c d e f Zaïane 2009, top tier conferences in databases.
- ^ a b c d e f CAIS DMM: rank A+.
- ^ Arnetminer DB: rank 1.
- ^ MSAS DB: rank 1.
- ^ Arnetminer DB: rank 3.
- ^ MSAS DB: rank 2.
- ^ Arnetminer DB: rank 2.
- ^ MSAS DB: rank 3.
- ^ Zaïane 2009, top tier conferences in information retrieval.
- ^ a b CAIS WIR: rank A+.
- ^ Arnetminer IR: rank 3.
- ^ MSAS IR: rank 1.
- ^ a b Zaïane 2009, top tier conferences in web and information systems.
- ^ Arnetminer IR: rank 1.
- ^ MSAS WWW: rank 1.
- ^ a b Zaïane 2009, top tier conferences in data mining.
- ^ Arnetminer AI: rank 2. Arnetminer DM: rank 1.
- ^ MSAS DM: rank 1.
- ^ Arnetminer DB: rank 4.
- ^ MSAS DB: rank 4.
- ^ a b MSAS SW: rank 2.
- ^ a b MSAS SWDB: rank 4.
- ^ a b Arnetminer SW: rank 2.
- ^ a b c d e f g h CAIS DMM: rank A.
- ^ Arnetminer DB: rank 6.
- ^ Arnetminer DM: rank 4.
- ^ MSAS DM: rank 4.
- ^ Arnetminer DB: rank 5.
- ^ MSAS DB: rank 5.
- ^ Arnetminer DB: rank 7.
- ^ MSAS DB: rank 6.
- ^ Arnetminer DM: rank 2.
- ^ MSAS DM: rank 5.
- ^ Arnetminer DB: rank 8. Arnetminer DM: rank 3.
- ^ MSAS DB: rank 9. MSAS IR: rank 4.
- ^ MSAS DB: rank 7.
- ^ MSAS DB: rank 10. MSAS WWW: rank 5.
- ^ [1] Microsoft top conferences in Data Mining, rank 9
- ^ MSAS AI: rank 2.
- ^ a b c d e f Zaïane 2009, top tier conferences in artificial intelligence.
- ^ MSAS AI: rank 3.
- ^ Arnetminer AI: rank 3.
- ^ a b c d e f g Alpaydin 2004, Section 1.4.
- ^ MSAS AI: rank 4.
- ^ MSAS AI: rank 5. MSAS ML: rank 2.
- ^ Arnetminer AI: rank 10. Arnetminer ML: rank 3.
- ^ MSAS AI: rank 7.
- ^ Arnetminer AI: rank 9.
- ^ Arnetminer AI: rank 6. Arnetminer ML: rank 2.
- ^ MSAS ML: rank 1.
- ^ Arnetminer ML: rank 142.
- ^ MSAS ML: rank 5.
- ^ MSAS AT: rank 7. MSAS ML: rank 3.
- ^ Arnetminer AT: rank 5. Arnetminer ML: rank 1.
- ^ Arnetminer DM: rank 5.
- ^ Arnetminer ML: rank 5.
- ^ MSAS DM: rank 3.
- ^ MSAS ML: rank 4.
- ^ MSAS AI: rank 8.
- ^ Arnetminer ML: rank 807.
- ^ MSAS AT: rank 9.
- ^ Arnetminer AT: rank 10.
- ^ a b c d Zaïane 2009, top tier conferences in graphics, vision and HCI.
- ^ Arnetminer AI: rank 5. Arnetminer MIV: rank 4.
- ^ MSAS V: rank 1.
- ^ Arnetminer AI: rank 4. Arnetminer MIV: rank 3.
- ^ MSAS V: rank 2.
- ^ Arnetminer AI: rank 7. Arnetminer MIV: rank 6.
- ^ MSAS V: rank 3.
- ^ MSAS V: rank 5.
- ^ MSAS V: rank 12.
- ^ MSAS ML: rank 10.
- ^ a b c d e f g Perfil-CC ranking: rank A.
- ^ MSAS MM: rank 26.
- ^ SSIAI.org
- ^ Arnetminer AI: rank 8. Arnetminer NLP: rank 1. Arnetminer PL: rank 10.
- ^ MSAS NL: rank 1.
- ^ a b Jurafsky & Martin 2009, p. 15–16, "Bibliographical and Historical Notes".
- ^ Zaïane 2009, top tier conferences in natural language processing.
- ^ Arnetminer NLP: rank 6.
- ^ MSAS NL: rank 5.
- ^ Arnetminer NLP: rank 2.
- ^ MSAS NL: rank 3.
- ^ Arnetminer NLP: rank 8.
- ^ CiteSeer, conferences in top 300.
- ^ Arnetminer NLP: rank 3.
- ^ MSAS NL: rank 4.
- ^ Arnetminer NLP: rank 7.
- ^ CiteSeer, conferences in top 200.
- ^ Arnetminer MIV: rank 1.
- ^ MSAS G: rank 1.
- ^ Arnetminer MIV: rank 2.
- ^ MSAS G: rank 2.
- ^ Zaïane 2009, top tier conferences in multimedia.
- ^ Arnetminer MIV: rank 10.
- ^ MSAS MM: rank 2.
- ^ MSAS MM: rank 4.
- ^ MSAS MM: rank 5.
- ^ Arnetminer MIV: rank 7.
- ^ MSAS G: rank 3.
- ^ MSAS G: rank 9.
- ^ MSAS G: rank 7.
- ^ Arnetminer MIV: rank 5.
- ^ MSAS MM: rank 3.
- ^ a b MSAS G: rank 5.
- ^ Arnetminer HCI: rank 5.
- ^ MSAS HCI: rank 2.
- ^ Arnetminer HCI: rank 3.
- ^ MSAS HCI: rank 1.
- ^ Arnetminer HCI: rank 1.
- ^ MSAS HCI: rank 3.
- ^ Arnetminer HCI: rank 4.
- ^ MSAS HCI: rank 8.
- ^ MSAS HCI: rank 10.
- ^ a b CAIS SC: rank A+.
- ^ Arnetminer BI: rank 2.
- ^ MSAS BI: rank 1.
- ^ Arnetminer BI: rank 1.
- ^ MSAS BI: rank 2.
- ^ CAIS SC: rank A.
- ^ Arnetminer BI: rank 3.
- ^ MSAS BI: rank 3.
- ^ Arnetminer BI: rank 4.
- ^ MSAS BI: rank 5.
- ^ Arnetminer E: rank 4.
- ^ MSAS E: rank 1.
- ^ Arnetminer E: rank 1.
- ^ MSAS E: rank 3.
- ^ a b Zaïane 2009, top tier conferences in computer education.
- ^ Arnetminer E: rank 2.
- ^ MSAS E: rank 2.
- ^ MSAS E: rank 7.
References
- Rankings and statistics
- Arnetminer AI = "2008 conference/journal ranking list: AI". Arnetminer. Retrieved 2009-11-01.
- Arnetminer AT = "2008 conference/journal ranking list: Algorithm & theory". Arnetminer. Retrieved 2009-11-01.
- Arnetminer BI = "2008 conference/journal ranking list: Bioinformatics". Arnetminer. Retrieved 2009-11-01.
- Arnetminer DB = "2008 conference/journal ranking list: Databases". Arnetminer. Retrieved 2009-11-01.
- Arnetminer DM = "2008 conference/journal ranking list: DM". Arnetminer. Retrieved 2009-11-01.
- Arnetminer E = "2008 conference/journal ranking list: Education". Arnetminer. Retrieved 2009-11-01.
- Arnetminer HCI = "2008 conference/journal ranking list: HCI". Arnetminer. Retrieved 2009-11-01.
- Arnetminer HW = "2008 conference/journal ranking list: Hardware". Arnetminer. Retrieved 2009-11-01.
- Arnetminer IR = "2008 conference/journal ranking list: WWW, IR". Arnetminer. Retrieved 2009-11-01.
- Arnetminer MIV = "2008 conference/journal ranking list: Multimedia, image, video". Arnetminer. Retrieved 2009-11-01.
- Arnetminer ML = "2008 conference/journal ranking list: ML & PR". Arnetminer. Retrieved 2009-11-01.
- Arnetminer N = "2008 conference/journal ranking list: Network". Arnetminer. Retrieved 2009-11-01.
- Arnetminer NLP = "2008 conference/journal ranking list: NLP". Arnetminer. Retrieved 2009-11-01.
- Arnetminer OS = "2008 conference/journal ranking list: OS". Arnetminer. Retrieved 2009-11-01.
- Arnetminer PL = "2008 conference/journal ranking list: PL, SE". Arnetminer. Retrieved 2009-11-01.
- Arnetminer SP = "2008 conference/journal ranking list: Security, privacy". Arnetminer. Retrieved 2009-11-01.
- Arnetminer SW = "2008 conference/journal ranking list: SW,Logic". Arnetminer. Retrieved 2009-11-01.
- CAIS DMM = "Conference listing: Data management & mining". Nanyang Technological University, School of Computer Engineering, Centre for Advanced Information Systems. Retrieved 2009-10-31.
- CAIS WIR = "Conference listing: Web technology & IR". Nanyang Technological University, School of Computer Engineering, Centre for Advanced Information Systems. Retrieved 2009-10-31.
- CAIS SC = "Conference listing: Computing in sciences". Nanyang Technological University, School of Computer Engineering, Centre for Advanced Information Systems. Retrieved 2009-10-31.
- CiteSeer = "Estimated venue impact factors". CiteSeer. 2007.
- ERA = "ERA 2010 ranked conference list". Australian Research Council. 2010. Retrieved 2010-01-20.
- MSAS = "Microsoft Academic Search". Microsoft Academic Search. Retrieved 2009-10-28.
- MSAS AI = "Top-ranked conferences in "artificial intelligence"". Microsoft Academic Search. Retrieved 2009-10-28.
- MSAS AT = "Top-ranked conferences in "algorithms and theory"". Microsoft Academic Search. Retrieved 2009-10-27.
- MSAS BI = "Top-ranked conferences in "bioinformatics and computational biology"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS DB = "Top-ranked conferences in "database"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS DC = "Top-ranked conferences in "distributed and parallel computing"". Microsoft Academic Search. Retrieved 2009-10-27.
- MSAS DM = "Top-ranked conferences in "data mining"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS E = "Top-ranked conferences in "computer education"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS G = "Top-ranked conferences in "graphics"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS HCI = "Top-ranked conferences in "human-computer interaction"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS HW = "Top-ranked conferences in "hardware and architecture"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS IR = "Top-ranked conferences in "information retrieval"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS ML = "Top-ranked conferences in "machine learning & pattern recognition"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS MM = "Top-ranked conferences in "multimedia"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS N = "Top-ranked conferences in "networks and communications"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS NL = "Top-ranked conferences in "natural language & speech"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS OS = "Top-ranked conferences in "operating systems"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS PL = "Top-ranked conferences in "programming languages" in the last 10 years". Microsoft Academic Search. Retrieved 2011-01-05.
- MSAS RT = "Top-ranked conferences in "real-time and embedded systems"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS SC = "Top-ranked conferences in "scientific computing"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS SE = "Top-ranked conferences in "software engineering & programming languages"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS SP = "Top-ranked conferences in "security and privacy"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS S = "Top-ranked conferences in "simulation"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS V = "Top-ranked conferences in "computer vision"". Microsoft Academic Search. Retrieved 2009-11-01.
- MSAS WWW = "Top-ranked conferences in "world wide web"". Microsoft Academic Search. Retrieved 2009-11-02.
- MSAS SW = "Top-ranked conferences in "world wide web"". Microsoft Academic Search. Retrieved 2012-08-10.
- MSAS SWDB = "Top-ranked conferences in "world wide web"". Microsoft Academic Search. Retrieved 2012-08-10.
- Perfil-CC = "Assessing the quality of scientific conferences based on bibliographic citations". Waister Silva Martins, Marcos André Gonçalves, Alberto H. F. Laender and Nivio Ziviani. Retrieved 2012-06-01.
- Wattenhofer, Roger (2007). "PODC 2007 statistics" (PDF). Retrieved 2009-11-02.
{{cite web}}
: Invalid|ref=harv
(help) - Zaïane, Osmar R. (August 5, 2009). "Computer science conference rankings". Retrieved 2009-10-31.
{{cite web}}
: Invalid|ref=harv
(help)
- Textbooks that mention conferences
- Alpaydin, Ethem (2004). Introduction to Machine Learning. MIT Press. ISBN 978-0-262-01211-9.
{{cite book}}
: Invalid|ref=harv
(help). - Fosdick, Lloyd D.; Jessup, Elizabeth R.; Schauble, Carolyn J. C.; Domik, Gitta (1996). An Introduction to High-performance Scientific Computing. MIT Press. ISBN 0-262-06181-3.
{{cite book}}
: Invalid|ref=harv
(help). - Friedman, Daniel P.; Wand, Mitchell; Haynes, Christopher Thomas (2001). Essentials of Programming Languages (2nd ed.). MIT Press. ISBN 0-262-06217-8.
{{cite book}}
: Invalid|ref=harv
(help). - Georgiou, Chryssis; Shvartsman, Alexander A. (2007). Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity. Springer. ISBN 978-0-387-30918-7.
{{cite book}}
: Invalid|ref=harv
(help). - Ilyas, Mohammad; Mahgoub, Imad (2004). Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems. CRC Press. ISBN 978-0-8493-1968-6.
{{cite book}}
: Invalid|ref=harv
(help). - Jurafsky, Daniel; Martin, James H. (2009). Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition (2nd ed.). Pearson Education. ISBN 978-0-13-187321-6.
{{cite book}}
: Invalid|ref=harv
(help). - Lynch, Nancy Ann (1996). Distributed Algorithms. Morgan Kaufmann. ISBN 978-1-55860-348-6.
{{cite book}}
: Invalid|ref=harv
(help). - Mishra, Amitabh (2008). Security and Quality of Service in Ad Hoc Wireless Networks. Cambridge University Press. ISBN 978-0-521-87824-1.
{{cite book}}
: Invalid|ref=harv
(help). - Navarro, Gonzalo; Raffinot, Mathieu (2002). Flexible Pattern Matching in Strings. Cambridge University Press. ISBN 978-0-521-81307-5.
{{cite book}}
: Invalid|ref=harv
(help). - Skiena, Steven S. (2008). The Algorithm Design Manual (2nd ed.). Springer. ISBN 978-1-84800-069-8.
{{cite book}}
: Invalid|ref=harv
(help). - Tel, Gerard (2000). Introduction to Distributed Algorithms (2nd ed.). Cambridge University Press. ISBN 978-0-521-79483-1.
{{cite book}}
: Invalid|ref=harv
(help).
- Other sources that mention conferences
- Chazelle, Bernard; et al. (1996). "Application Challenges to Computational Geometry: CG Impact Task Force Report". In Chazelle, Bernard; Goodman, Jacob E.; Pollack, Richard (eds.). Advances in Discrete and Computational Geometry: Proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry–Ten Years Later, July 14–18, 1996, Mount Holyoke College. ISBN 978-0-8218-0674-6.
{{cite book}}
: Explicit use of et al. in:|author=
(help). Also available as a Princeton University technical report TR-521-96. - Fich, Faith (1996). "Infrastructure issues related to theory of computing research". ACM Computing Surveys. 28 (4es): 217. doi:10.1145/242224.242502. Article no. 217.
{{cite journal}}
: Invalid|ref=harv
(help). - Goldman, Sally A. (1999). "Computational learning theory". In Atallah, Mikhail J. (ed.). Algorithms and Theory of Computation Handbook. CRC Press. ISBN 0-8493-2649-4.
{{cite book}}
: Invalid|ref=harv
(help). - Hinchey, Michael; Bowen, Jonathan P.; Rouff, Christopher A. (2005). "Introduction to formal methods". In Gordon-Spears, Christopher A.; Hinchey, Michael; Rash, James; Truszkowski, Walter (eds.). Agent Technology from a Formal Perspective. Springer. pp. 25–64. ISBN 978-1-85233-947-0.
{{cite book}}
:|editor5-first=
missing|editor5-last=
(help); Invalid|ref=harv
(help); More than one of|editor1-last=
and|editor-last=
specified (help). - Jiang, Tao; Li, Ming; Ravikumar, Bala (1999). "Basic notions in computational complexity". In Atallah, Mikhail J. (ed.). Algorithms and Theory of Computation Handbook. CRC Press. ISBN 0-8493-2649-4.
{{cite book}}
: Invalid|ref=harv
(help). - Mutzel, Petra; Eades, Peter (2002). "International Dagstuhl Seminar on Software Visualization, May 2001, Revised Papers" (Document). Springer. pp. 285–294. doi:10.1007/3-540-45875-1_22.
{{cite document}}
: Invalid|ref=harv
(help); Unknown parameter|contribution=
ignored (help); Unknown parameter|isbn=
ignored (help); Unknown parameter|series=
ignored (help); Unknown parameter|volume=
ignored (help). - Overmars, Mark H. (1998). "International Colloquium on Automata, Languages and Programming" (Document). Springer-Verlag. pp. 116–117. doi:10.1007/BFb0055045.
{{cite document}}
: Invalid|ref=harv
(help); Unknown parameter|contribution=
ignored (help); Unknown parameter|isbn=
ignored (help); Unknown parameter|series=
ignored (help); Unknown parameter|volume=
ignored (help). - Samet, Hanan (2010). "Multidimensional data structures for spatial applications". In Atallah, Mikhail J.; Blanton, Marina (eds.). Algorithms and Theory of Computation Handbook (2nd ed.). CRC Press. ISBN 978-1-58488-822-2.
{{cite book}}
: Invalid|ref=harv
(help). - "PODC mailing list". PODC. Retrieved 2009-11-02.
- Hodges, Wilfrid (2008). "Workshop on Logic, Language, Information and Computation, 1-4 July" (PDF). The Reasoner. 2 (9): 10. Retrieved 2010-10-23Template:Inconsistent citations
{{cite journal}}
: CS1 maint: postscript (link)