Jump to content

List of computer science conferences: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
Line 284: Line 284:
* ESORICS - [[European Symposium on Research in Computer Security]] <ref name="era-a"/>
* ESORICS - [[European Symposium on Research in Computer Security]] <ref name="era-a"/>
* RAID - [[International Symposium on Recent Advances in Intrusion Detection]] <ref name="raid-arnet"/>
* RAID - [[International Symposium on Recent Advances in Intrusion Detection]] <ref name="raid-arnet"/>
* ACSAC - [[Annual Computer Security Applications Conference]]
* WiSec - ACM [[Conference on Wireless Network Security]]
* WiSec - ACM [[Conference on Wireless Network Security]]


Revision as of 04:15, 4 April 2010

This is a list of academic conferences in computer science. Most of these conferences are annual or bi-annual events.

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

File:ESA 2009 coffee break.JPG
ESA 2009
Main article: Theoretical computer science § Conferences

Conferences accepting a broad range of topics from theoretical computer science, including algorithms, data structures, computability, computational complexity, automata theory and formal languages:

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:

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:

Other specialized subtopics

formerly: "Structure in Complexity Theory Conference"
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

See also: § Software engineering, and § Computer architecture

Conferences on programming languages and compilers:

formerly "SIGPLAN Symposium on Compiler Optimization" and "SIGPLAN Symposium on Compiler Construction"
a.k.a. JICSLP - "Joint International Conference and Symposium on Logic Programming"

Concurrent, distributed and parallel computing

Main article: List of distributed computing conferences
See also: § Computer networking

Conferences on concurrent, distributed, and parallel computing, fault-tolerant systems, and dependable systems:

formerly: WDAG - "Workshop on Distributed Algorithms on Graphs"
formerly: "Symposium on Reliability in Distributed Software and Database Systems"
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"

High-performance computing

Conferences on high-performance computing, cluster computing, and grid computing:

a.k.a. "SUPER", "ACM/IEEE Conference on Supercomputing", "SC Conference"
formerly: IWCC - "IEEE International Workshop on Cluster Computing"

Software engineering

See also: § Programming languages

Conferences on software engineering:

formerly: UML - "International Conference on the Unified Modeling Language"

Formal methods

See also: § Algorithms and theory, and § Automated reasoning

Conferences on formal methods in software engineering, including formal specification, formal verification, and static code analysis:

formerly: FME - "Formal Methods Europe"
formerly: "International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols", "International Conference on Formal Description Techniques"
formerly: WSA - "Workshop on Static Analysis"
a.k.a. "International Conference on Abstract State Machines, Alloy, B and Z"
formerly: ZUB - "Z User Meeting", ZB - "International Conference of B and Z Users"

Operating systems

See also: § Computer networking, and § High-performance computing

Conferences on operating systems, storage systems and middleware:

Computer architecture

Conferences on computer architecture:

a.k.a. "Annual Symposium on Computer Architecture"

Computer hardware

Conferences on computer hardware:

Real-time and embedded systems

Conferences on real-time systems and embedded systems:

Computer-aided design

Conferences on computer-aided design and electronic design automation:

Computer networking

See also: § Concurrent, distributed and parallel computing

Conferences on computer networking:

a.k.a. "ACM Conference on Measurement and Modeling of Computer Systems"
a.k.a. "Global Telecommunications Conference"


Wireless networks

Wireless networks and mobile computing, including pervasive computing, wireless ad hoc networks and wireless sensor networks:

formerly: WMCSA
formerly: "European Workshop on Wireless Sensor Networks"
formerly: "International Workshop on Wireless Mobile Multimedia"

Security and privacy

Conferences on computer security and privacy:

Cryptography

Main article: List of cryptology conferences

Cryptography conferences:

formerly: CSFW - "Computer Security Foundations Workshop"

Databases

Conferences on databases, information retrieval, and data mining:

a.k.a. "ACM SIGMOD International Conference on Management of Data"
a.k.a. ACM International Conference on Research and Development in Information Retrieval
formerly: SSD - "Symposium on Large Spatial Databases"

Artificial intelligence

Main article: List of artificial intelligence conferences

Conferences on artificial intelligence and machine learning:

a.k.a. "National Conference of the American Association for Artificial Intelligence"
merger of: "International Conference on Autonomous Agents", ATAL - "Workshop on Agent Theories, Architectures, and Languages", ICMAS - "International Conference on Multiagent Systems"
merger of: AIPS - "Artificial Intelligence Planning Systems", ECP - "European Conference on Planning"
formerly: "Conference on Computational Learning Theory"
merger of: COLT, EuroCOLT - "European Conference on Computational Learning Theory"
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"

Automated reasoning

Conferences on automated reasoning:

Computer vision

See also: § Computer graphics

Conferences on computer vision and pattern recognition:

Natural language processing

Conferences on computational linguistics and natural language processing:

Computer graphics

File:SIGGRAPH04-SandPrinting.jpg
Sand printer, presented at SIGGRAPH 2004
See also: § Computer vision

Conferences on computer graphics, image processing, and multimedia:

a.k.a. SI3D, I3DG
a.k.a. ACMMM - "ACM Multimedia Conference"
a.k.a. ICMCS - "International Conference on Multimedia Computing and Systems"

Human–computer interaction

Conferences on human–computer interaction and user interfaces:

formerly: "International ACM Conference on Assistive Technologies"

Computational biology

Conferences on bioinformatics and computational biology:

Education

Conferences on computer science education and electronic learning:

a.k.a. "Integrating Technology into Computer Science Education"

See also

Notes

  1. ^ Fich 1996.
  2. ^ 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 ERA: rank A.
  3. ^ MSAS AT: rank 1.
  4. ^ a b c d e f g h i j k l m n o p q CiteSeer, conferences in top 100.
  5. ^ a b c d e Zaïane 2009, top tier conferences in other fields.
  6. ^ Arnetminer AT: rank 2.
  7. ^ a b c d e f g h i j k l Chazelle et al. 1996, Section 13.2.
  8. ^ a b c d e f g h i Georgiou & Shvartsman 2007, Section "Bibliographic notes" in "Preface".
  9. ^ a b c d e Goldman 1999, Section 30, p. 24.
  10. ^ a b c d e f Jiang, Li & Ravikumar 1999, Section 24, p. 22.
  11. ^ a b c d e Lynch 1996, Section 1.4, "Bibliographic notes".
  12. ^ a b c d e f g h i j k l m n o Navarro & Raffinot 2002, Section 7.3.2.
  13. ^ a b c d Tel 2000, Section 1.3.3, "Research field".
  14. ^ MSAS AT: rank 2.
  15. ^ Arnetminer AT: rank 4.
  16. ^ MSAS AT: rank 8.
  17. ^ Arnetminer AT: rank 7.
  18. ^ MSAS AT: rank 4.
  19. ^ Arnetminer AT: rank 3.
  20. ^ a b c d e f g h i j k l m Samet 2010, Section 6.8, p. 33.
  21. ^ MSAS AT: rank 6.
  22. ^ Skiena 2008, Section 17, p. 562.
  23. ^ Mutzel & Eades 2002.
  24. ^ Skiena 2008, Section 15, p. 516.
  25. ^ Skiena 2008, Section 17.3, p. 575.
  26. ^ Overmars 1998.
  27. ^ MSAS SC: rank 1.
  28. ^ MSAS AT: rank 3.
  29. ^ Arnetminer AT: rank 6.
  30. ^ 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 CiteSeer, conferences in top 50.
  31. ^ Arnetminer PL: rank 1.
  32. ^ MSAS SE: rank 1.
  33. ^ a b c d e Friedman, Wand & Haynes 2001, Appendix B, p. 359–360.
  34. ^ Arnetminer OS: rank 7. Arnetminer PL: rank 3.
  35. ^ MSAS SE: rank 2.
  36. ^ Arnetminer PL: rank 7.
  37. ^ MSAS SE: rank 3.
  38. ^ Arnetminer PL: rank 5.
  39. ^ MSAS SE: rank 6.
  40. ^ MSAS SE: rank 10.
  41. ^ Arnetminer PL: rank 9.
  42. ^ Arnetminer PL: rank 17.
  43. ^ MSAS DC: rank 2.
  44. ^ MSAS DC: rank 3.
  45. ^ a b c d e f PODC mailing list.
  46. ^ a b c d e f Wattenhofer 2007.
  47. ^ MSAS DC: rank 7.
  48. ^ Arnetminer AT: rank 9.
  49. ^ MSAS DC: rank 1.
  50. ^ a b c d e f Zaïane 2009, top tier conferences in distributed and parallel computing.
  51. ^ Arnetminer OS: rank 10.
  52. ^ a b c d e f g Fosdick et al. 1996, Chapter 1, p. 13–14.
  53. ^ MSAS DC: rank 4.
  54. ^ MSAS DC: rank 5.
  55. ^ MSAS DC: rank 8.
  56. ^ MSAS SC: rank 3.
  57. ^ MSAS SE: rank 8.
  58. ^ a b c d e Hinchey, Bowen & Rouff 2005, Section 2.6, p. 49–50.
  59. ^ MSAS SE: rank 9.
  60. ^ Arnetminer PL: rank 6.
  61. ^ MSAS SE: rank 4.
  62. ^ a b Zaïane 2009, top tier conferences in operating systems and simulations.
  63. ^ Arnetminer OS: rank 2.
  64. ^ MSAS OS: rank 1.
  65. ^ Arnetminer OS: rank 1.
  66. ^ MSAS OS: rank 2.
  67. ^ Arnetminer HW: rank 1. Arnetminer OS: rank 5.
  68. ^ MSAS OS: rank 4.
  69. ^ Arnetminer OS: rank 8.
  70. ^ MSAS OS: rank 7.
  71. ^ Arnetminer MIV: rank 8.
  72. ^ MSAS N: rank 5. MSAS OS: rank 6.
  73. ^ Cite error: The named reference msst was invoked but never defined (see the help page).
  74. ^ Arnetminer HW: rank 2. Arnetminer OS: rank 6.
  75. ^ MSAS HW: rank 1. MSAS OS: rank 3.
  76. ^ Arnetminer HW: rank 4.
  77. ^ MSAS HW: rank 2.
  78. ^ MSAS HW: rank 3.
  79. ^ Arnetminer HW: rank 3. Arnetminer OS: rank 9.
  80. ^ MSAS HW: rank 5.
  81. ^ Arnetminer HW: rank 10.
  82. ^ MSAS HW: rank 8.
  83. ^ MSAS RT: rank 1.
  84. ^ MSAS RT: rank 4.
  85. ^ Arnetminer HW: rank 7.
  86. ^ MSAS RT: rank 6.
  87. ^ MSAS RT: rank 7.
  88. ^ MSAS RT: rank 5.
  89. ^ Arnetminer HW: rank 5.
  90. ^ MSAS HW: rank 4.
  91. ^ Arnetminer HW: rank 8.
  92. ^ MSAS HW: rank 6.
  93. ^ Arnetminer HW: rank 6.
  94. ^ a b c d Zaïane 2009, top tier conferences in networks, communications and performance.
  95. ^ Arnetminer N: rank 1.
  96. ^ MSAS N: rank 1.
  97. ^ Arnetminer N: rank 3. Arnetminer OS: rank 4.
  98. ^ MSAS search NSDI: citation ratio: 3510/174.
  99. ^ Arnetminer N: rank 7.
  100. ^ MSAS OS: rank 5.
  101. ^ Arnetminer N: rank 6.
  102. ^ MSAS N: rank 3.
  103. ^ a b c d e Mishra 2008, Section 4.4.
  104. ^ Arnetminer OS: rank 3.
  105. ^ Arnetminer N: rank 9.
  106. ^ MSAS N: rank 6.
  107. ^ ERA: rank B.
  108. ^ MSAS search PAM: citation ratio: 963/145.
  109. ^ MSAS search IWQOS: citation ratio: 2975/277.
  110. ^ Arnetminer N: rank 2.
  111. ^ MSAS N: rank 2.
  112. ^ MSAS N: rank 8.
  113. ^ a b c Ilyas & Mahgoub 2004, Section 1.2.1.
  114. ^ Arnetminer N: rank 5.
  115. ^ Arnetminer N: rank 8.
  116. ^ MSAS N: rank 7.
  117. ^ MSAS HCI: rank 7.
  118. ^ MSAS HCI: rank 6.
  119. ^ MSAS S: rank 3.
  120. ^ MSAS search SECON: citation ratio: .
  121. ^ MSAS search WIOPT: citation ratio: .
  122. ^ MSAS search WIOPT: citation ratio: .
  123. ^ a b Zaïane 2009, top tier conferences in security and privacy.
  124. ^ Arnetminer SP: rank 7.
  125. ^ MSAS SP: rank 1.
  126. ^ Arnetminer SP: rank 2.
  127. ^ Arnetminer N: rank 4. Arnetminer SP: rank 1.
  128. ^ MSAS N: rank 4. MSAS SP: rank 4.
  129. ^ Arnetminer SP: rank 3.
  130. ^ MSAS SP: rank 6.
  131. ^ Arnetminer SP: rank 8.
  132. ^ Arnetminer AT: rank 1. Arnetminer SP: rank 5.
  133. ^ MSAS SP: rank 2.
  134. ^ Arnetminer AT: rank 8. Arnetminer SP: rank 10.
  135. ^ MSAS SP: rank 3.
  136. ^ Arnetminer SP: rank 4.
  137. ^ MSAS SP: rank 5.
  138. ^ Arnetminer SP: rank 9.
  139. ^ MSAS SP: rank 7.
  140. ^ MSAS SP: rank 10.
  141. ^ a b c d e f Zaïane 2009, top tier conferences in databases.
  142. ^ a b c d e f CAIS DMM: rank A+.
  143. ^ Arnetminer DB: rank 1.
  144. ^ MSAS DB: rank 1.
  145. ^ Arnetminer DB: rank 3.
  146. ^ MSAS DB: rank 2.
  147. ^ Arnetminer DB: rank 2.
  148. ^ MSAS DB: rank 3.
  149. ^ Zaïane 2009, top tier conferences in information retrieval.
  150. ^ a b CAIS WIR: rank A+.
  151. ^ Arnetminer IR: rank 3.
  152. ^ MSAS IR: rank 1.
  153. ^ a b Zaïane 2009, top tier conferences in data mining.
  154. ^ Arnetminer AI: rank 2. Arnetminer DM: rank 1.
  155. ^ MSAS DM: rank 1.
  156. ^ Arnetminer DB: rank 4.
  157. ^ MSAS DB: rank 4.
  158. ^ a b Zaïane 2009, top tier conferences in web and information systems.
  159. ^ Arnetminer IR: rank 1.
  160. ^ MSAS WWW: rank 2.
  161. ^ a b c d e f g h CAIS DMM: rank A.
  162. ^ Arnetminer DB: rank 6.
  163. ^ Arnetminer DB: rank 5.
  164. ^ MSAS DB: rank 5.
  165. ^ Arnetminer DM: rank 4.
  166. ^ MSAS DM: rank 4.
  167. ^ Arnetminer DB: rank 7.
  168. ^ MSAS DB: rank 6.
  169. ^ Arnetminer DM: rank 2.
  170. ^ MSAS DM: rank 5.
  171. ^ Arnetminer DB: rank 8. Arnetminer DM: rank 3.
  172. ^ MSAS DB: rank 9. MSAS IR: rank 4.
  173. ^ MSAS DB: rank 7.
  174. ^ MSAS DB: rank 10. MSAS WWW: rank 5.
  175. ^ MSAS AI: rank 2.
  176. ^ a b c d e f Zaïane 2009, top tier conferences in artificial intelligence.
  177. ^ MSAS AI: rank 3.
  178. ^ Arnetminer AI: rank 3.
  179. ^ a b c d e f Alpaydin 2004, Section 1.4.
  180. ^ MSAS AI: rank 4.
  181. ^ MSAS AI: rank 5. MSAS ML: rank 2.
  182. ^ Arnetminer AI: rank 10. Arnetminer ML: rank 3.
  183. ^ MSAS AI: rank 7.
  184. ^ Arnetminer AI: rank 9.
  185. ^ MSAS AI: rank 8.
  186. ^ Arnetminer AI: rank 6. Arnetminer ML: rank 2.
  187. ^ MSAS ML: rank 1.
  188. ^ Arnetminer ML: rank 4.
  189. ^ MSAS ML: rank 5.
  190. ^ MSAS AT: rank 7. MSAS ML: rank 3.
  191. ^ Arnetminer AT: rank 5. Arnetminer ML: rank 1.
  192. ^ Arnetminer DM: rank 5.
  193. ^ Arnetminer ML: rank 5.
  194. ^ MSAS DM: rank 3.
  195. ^ MSAS ML: rank 4.
  196. ^ MSAS AT: rank 9.
  197. ^ Arnetminer AT: rank 10.
  198. ^ a b c d Zaïane 2009, top tier conferences in graphics, vision and HCI.
  199. ^ Arnetminer AI: rank 5. Arnetminer MIV: rank 4.
  200. ^ MSAS V: rank 1.
  201. ^ Arnetminer AI: rank 4. Arnetminer MIV: rank 3.
  202. ^ MSAS V: rank 2.
  203. ^ Arnetminer AI: rank 7. Arnetminer MIV: rank 6.
  204. ^ MSAS V: rank 3.
  205. ^ MSAS ML: rank 10.
  206. ^ MSAS V: rank 5.
  207. ^ Arnetminer AI: rank 8. Arnetminer NLP: rank 1. Arnetminer PL: rank 10.
  208. ^ MSAS NL: rank 1.
  209. ^ a b Jurafsky & Martin 2009, p. 15–16, "Bibliographical and Historical Notes".
  210. ^ Zaïane 2009, top tier conferences in natural language processing.
  211. ^ Arnetminer NLP: rank 2.
  212. ^ MSAS NL: rank 3.
  213. ^ Arnetminer NLP: rank 3.
  214. ^ MSAS NL: rank 4.
  215. ^ Arnetminer NLP: rank 6.
  216. ^ MSAS NL: rank 5.
  217. ^ Arnetminer NLP: rank 8.
  218. ^ Arnetminer NLP: rank 7.
  219. ^ Arnetminer MIV: rank 1.
  220. ^ MSAS G: rank 1.
  221. ^ Arnetminer MIV: rank 2.
  222. ^ MSAS G: rank 2.
  223. ^ Zaïane 2009, top tier conferences in multimedia.
  224. ^ Arnetminer MIV: rank 10.
  225. ^ MSAS MM: rank 2.
  226. ^ MSAS MM: rank 4.
  227. ^ MSAS MM: rank 5.
  228. ^ Arnetminer MIV: rank 7.
  229. ^ MSAS G: rank 3.
  230. ^ MSAS G: rank 9.
  231. ^ MSAS G: rank 7.
  232. ^ Arnetminer MIV: rank 5.
  233. ^ MSAS MM: rank 3.
  234. ^ Arnetminer HCI: rank 5.
  235. ^ MSAS HCI: rank 2.
  236. ^ Arnetminer HCI: rank 3.
  237. ^ MSAS HCI: rank 1.
  238. ^ Arnetminer HCI: rank 1.
  239. ^ MSAS HCI: rank 3.
  240. ^ Arnetminer HCI: rank 4.
  241. ^ MSAS HCI: rank 8.
  242. ^ MSAS HCI: rank 10.
  243. ^ a b CAIS SC: rank A+.
  244. ^ Arnetminer BI: rank 2.
  245. ^ MSAS BI: rank 1.
  246. ^ Arnetminer BI: rank 1.
  247. ^ MSAS BI: rank 2.
  248. ^ CAIS SC: rank A.
  249. ^ Arnetminer BI: rank 3.
  250. ^ MSAS BI: rank 3.
  251. ^ Arnetminer BI: rank 4.
  252. ^ MSAS BI: rank 5.
  253. ^ Arnetminer E: rank 4.
  254. ^ MSAS E: rank 1.
  255. ^ Arnetminer E: rank 1.
  256. ^ MSAS E: rank 3.
  257. ^ a b Zaïane 2009, top tier conferences in computer education.
  258. ^ Arnetminer E: rank 2.
  259. ^ MSAS E: rank 2.

References

Rankings and statistics
Textbooks that mention conferences
  • Alpaydin, Ethem (2004), Introduction to Machine Learning, MIT Press, ISBN 9780262012119.
  • Fosdick, Lloyd D.; Jessup, Elizabeth R.; Schauble; Domik, Gitta (1996), An Introduction to High-performance Scientific Computing, MIT Press, ISBN 0262061813 {{citation}}: Unknown parameter |firs3= ignored (help).
  • Friedman, Daniel P.; Wand, Mitchell; Haynes, Christopher Thomas (2001), Essentials of Programming Languages (2nd ed.), MIT Press, ISBN 0262062178.
  • Georgiou, Chryssis; Shvartsman, Alexander A. (2007), Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity, Springer, ISBN 9780387309187.
  • Ilyas, Mohammad; Mahgoub, Imad (2004), Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems, CRC Press, ISBN 9780849319686.
  • 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 9780131873216.
  • Lynch, Nancy Ann (1996), Distributed Algorithms, Morgan Kaufmann, ISBN 9781558603486.
  • Mishra, Amitabh (2008), Security and Quality of Service in Ad Hoc Wireless Networks, Cambridge University Press, ISBN 9780521878241.
  • Navarro, Gonzalo; Raffinot, Mathieu (2002), Flexible Pattern Matching in Strings, Cambridge University Press, ISBN 9780521813075.
  • Skiena, Steven S. (2008), The Algorithm Design Manual (2nd ed.), Springer, ISBN 9781848000698.
  • Tel, Gerard (2000), Introduction to Distributed Algorithms (2nd ed.), Cambridge University Press, ISBN 9780521794831.
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 9780821806746 {{citation}}: 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), doi:10.1145/242224.242502, Article no. 217.
  • Goldman, Sally A. (1999), "Computational learning theory", in Atallah, Mikhail J. (ed.), Algorithms and Theory of Computation Handbook, CRC Press, ISBN 0849326494.
  • Hinchey, Michael; Bowen, Jonathan P.; Rouff, Christopher A. (2005), "Introduction to formal methods", in Rouff, Christopher A.; Hinchey, Michael; Rash, James; Truszkowski, Walter; Gordon-Spears, Diana (eds.), Agent Technology from a Formal Perspective, Springer, pp. 25–64, ISBN 9781852339470.
  • 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 0849326494.
  • Mutzel, Petra; Eades, Peter (2002), "Graphs in software visualization", International Dagstuhl Seminar on Software Visualization, May 2001, Revised Papers, Lecture Notes in Computer Science, vol. 2269, Springer, pp. 285–294, doi:10.1007/3-540-45875-1_22.
  • Overmars, Mark H. (1998), "Geometric algorithms for robotic manipulation", International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 1443, Springer-Verlag, pp. 116–117, doi:10.1007/BFb0055045.
  • 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 9781584888222.
  • "PODC mailing list". PODC. Retrieved 2009-11-02.
Retrieved from "https://en.wikipedia.org/w/index.php?title=List_of_computer_science_conferences&oldid=353849147"