List of computer science conferences

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 quality and impact. The ranking is approximate and non-authoritative.

General

Algorithms and theory

ESA 2009

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:

Formerly ARO-MSI Workshop on Computational Geometry

Logic

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"

Languages and software

Programming languages

Conferences on programming languages, programming language theory and compilers:

formerly "SIGPLAN Symposium on Compiler Optimization" and "SIGPLAN Symposium on Compiler Construction"
merger of: FPCA – Functional Programming and Computer Architecture and LFP – LISP and Functional Programming
a.k.a. JICSLP – "Joint International Conference and Symposium on Logic Programming"
a.k.a. AOSD – Aspect-Oriented Software Development[2][52][53]

Software engineering

Conferences on software engineering:

Formal methods

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"

Concurrent, distributed and parallel computing

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

merger of: FTCS - "International Symposium on Fault-tolerant Computing", DCCA - "International Working Conference on Dependable Computing for Critical Applications
merger of: IPPS - "International Parallel Processing Symposium", SPDP - "Symposium on Parallel and Distributed Processing"
formerly: WDAG - "Workshop on Distributed Algorithms on Graphs"
formerly: "Symposium on Reliability in Distributed Software and Database Systems"
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"

Operating systems

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

Conferences on computer networking:

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

Wireless networks and mobile computing

Wireless networks and mobile computing, including ubiquitous and 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 Multimed

Security and privacy

Conferences on computer security and privacy:

formerly: CSFW - "Computer Security Foundations Workshop"[2][39][146][147]

Cryptography

Cryptography conferences:

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"
formerly: SSD - "Symposium on Large Spatial Databases"

Artificial intelligence

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"
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"
merger of: AIPS - "Artificial Intelligence Planning Systems", ECP - "European Conference on Planning"

Evolutionary computation

Conferences on Evolutionary computation.

Automated reasoning

Conferences on automated reasoning:

Computer vision

Conferences on computer vision (including also image analysis) and pattern recognition:

Natural language processing

Conferences on computational linguistics and natural language processing:

Computer graphics

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. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 ERA: rank A.
  3. MSAS AT: rank 1.
  4. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 CiteSeer, conferences in top 100.
  5. 1 2 3 4 5 6 Zaïane 2009, top tier conferences in other fields.
  6. Arnetminer AT: rank 2.
  7. 1 2 3 4 5 6 7 8 9 10 11 12 Chazelle et al. 1996, Section 13.2.
  8. 1 2 3 4 5 6 7 8 9 Georgiou & Shvartsman 2007, Section "Bibliographic notes" in "Preface".
  9. 1 2 3 4 5 Goldman 1999, Section 30, p. 24.
  10. 1 2 3 4 5 6 Jiang, Li & Ravikumar 1999, Section 24, p. 22.
  11. 1 2 3 4 5 Lynch 1996, Section 1.4, "Bibliographic notes".
  12. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Navarro & Raffinot 2002, Section 7.3.2.
  13. 1 2 3 4 Tel 2000, Section 1.3.3, "Research field".
  14. MSAS AT: rank 2.
  15. Arnetminer AT: rank 4.
  16. MSAS AT: rank 5.
  17. Arnetminer AT: rank 7.
  18. MSAS AT: rank 10.
  19. MSAS AT: rank 28.
  20. MSAS AT: rank 14.
  21. MSAS AT: rank 20.
  22. MSAS AT: rank 34.
  23. MSAS AT: rank 38.
  24. Hodges 2008.
  25. MSAS search WOLLIC: citation ratio: 122/109.
  26. MSAS AT: rank 3.
  27. Arnetminer AT: rank 3.
  28. 1 2 3 4 5 6 7 8 9 10 11 12 13 Samet 2010, Section 6.8, p. 33.
  29. 1 2 3 4 5 6 7 8 9 10 11 12 ERA: rank B.
  30. MSAS AT: rank 6.
  31. Skiena 2008, Section 17, p. 562.
  32. Mutzel & Eades 2002.
  33. Skiena 2008, Section 15, p. 516.
  34. Skiena 2008, Section 17.3, p. 575.
  35. Overmars 1998.
  36. MSAS AT: rank 4.
  37. Arnetminer AT: rank 6.
  38. MSAS SC: rank 1.
  39. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 CiteSeer, conferences in top 50.
  40. Arnetminer PL: rank 1.
  41. MSAS SE: rank 1.
  42. 1 2 3 4 5 Friedman, Wand & Haynes 2001, Appendix B, p. 359–360.
  43. Arnetminer OS: rank 7. Arnetminer PL: rank 3.
  44. MSAS SE: rank 2.
  45. Arnetminer PL: rank 9.
  46. Arnetminer PL: rank 5.
  47. MSAS SE: rank 6.
  48. Arnetminer PL: rank 7.
  49. MSAS SE: rank 3.
  50. MSAS SE: rank 10.
  51. Arnetminer PL: rank 17.
  52. MSAS PL: rank 2.
  53. Arnetminer PL: rank 2.
  54. MSAS SE: rank 8.
  55. 1 2 3 4 5 Hinchey, Bowen & Rouff 2005, Section 2.6, p. 49–50.
  56. Arnetminer PL: rank 6.
  57. MSAS SE: rank 4.
  58. MSAS DC: rank 2.
  59. MSAS DC: rank 3.
  60. 1 2 3 4 5 6 7 PODC mailing list.
  61. 1 2 3 4 5 6 Wattenhofer 2007.
  62. MSAS DC: rank 7.
  63. Arnetminer AT: rank 9.
  64. MSAS DC: rank 1.
  65. 1 2 3 4 5 6 Zaïane 2009, top tier conferences in distributed and parallel computing.
  66. Arnetminer OS: rank 10.
  67. 1 2 3 4 5 6 7 Fosdick et al. 1996, Chapter 1, p. 13–14.
  68. MSAS DC: rank 74.
  69. MSAS DC: rank 4.
  70. MSAS DC: rank 5.
  71. MSAS DC: rank 8.
  72. MSAS SC: rank 3.
  73. 1 2 Zaïane 2009, top tier conferences in operating systems and simulations.
  74. Arnetminer OS: rank 2.
  75. MSAS OS: rank 1.
  76. Arnetminer OS: rank 1.
  77. MSAS OS: rank 2.
  78. Arnetminer HW: rank 1. Arnetminer OS: rank 5.
  79. MSAS OS: rank 4.
  80. Arnetminer OS: rank 8.
  81. MSAS OS: rank 7.
  82. Arnetminer MIV: rank 8.
  83. MSAS N: rank 5. MSAS OS: rank 6.
  84. Arnetminer HW: rank 2. Arnetminer OS: rank 6.
  85. MSAS HW: rank 1. MSAS OS: rank 3.
  86. Arnetminer HW: rank 4.
  87. MSAS HW: rank 2.
  88. MSAS HW: rank 3.
  89. Arnetminer HW: rank 3. Arnetminer OS: rank 9.
  90. MSAS HW: rank 5.
  91. 1 2 3 4 5 6 7 8 9 10 11 MSAS HW
  92. Arnetminer HW: rank 10.
  93. MSAS RT: rank 1.
  94. MSAS RT: rank 4.
  95. Arnetminer HW: rank 7.
  96. MSAS RT: rank 6.
  97. MSAS RT: rank 7.
  98. MSAS RT: rank 5.
  99. Arnetminer HW: rank 5.
  100. MSAS HW: rank 4.
  101. Arnetminer HW: rank 8.
  102. MSAS HW: rank 6.
  103. Arnetminer HW: rank 6.
  104. 1 2 3 4 5 Zaïane 2009, top tier conferences in networks, communications and performance.
  105. Arnetminer N: rank 1.
  106. MSAS N: rank 5.
  107. Arnetminer N: rank 3. Arnetminer OS: rank 4.
  108. MSAS search NSDI: citation ratio: 3510/174.
  109. Arnetminer N: rank 7.
  110. MSAS OS: rank 5.
  111. Arnetminer N: rank 6.
  112. MSAS N: rank 1.
  113. 1 2 3 4 Mishra 2008, Section 4.4.
  114. Arnetminer N: rank 9.
  115. MSAS N: rank 6.
  116. Arnetminer OS: rank 3.
  117. MSAS DB: rank 20.
  118. MSAS search IWQOS: citation ratio: 2975/277.
  119. MSAS search PAM: citation ratio: 963/145.
  120. MSAS N: rank 3.
  121. 1 2 Arnetminer N: rank 2.
  122. 1 2 MSAS N: rank 2.
  123. 1 2 3 Ilyas & Mahgoub 2004, Section 1.2.1.
  124. Arnetminer N: rank 5.
  125. MSAS N: rank 8.
  126. MSAS HCI: rank 4.
  127. Arnetminer N: rank 8.
  128. MSAS N: rank 7.
  129. MSAS search SECON: citation ratio: .
  130. MSAS HCI: rank 7.
  131. MSAS search DCOSS: citation ratio: .
  132. MSAS S: rank 3.
  133. MSAS search WIOPT: citation ratio: .
  134. 1 2 Zaïane 2009, top tier conferences in security and privacy.
  135. Arnetminer SP: rank 7.
  136. MSAS SP: rank 1.
  137. Arnetminer SP: rank 2.
  138. Arnetminer N: rank 4. Arnetminer SP: rank 1.
  139. MSAS N: rank 4. MSAS SP: rank 4.
  140. Arnetminer SP: rank 3.
  141. MSAS SP: rank 6.
  142. Arnetminer SP: rank 16.
  143. MSAS SP: rank 11.
  144. Arnetminer SP: rank 17.
  145. MSAS SP: rank 12.
  146. Arnetminer SP: rank 4.
  147. MSAS SP: rank 5.
  148. Arnetminer SP: rank 8.
  149. Arnetminer AT: rank 1. Arnetminer SP: rank 5.
  150. MSAS SP: rank 2.
  151. Arnetminer AT: rank 8. Arnetminer SP: rank 10.
  152. MSAS SP: rank 3.
  153. Arnetminer SP: rank 9.
  154. MSAS SP: rank 7.
  155. MSAS SP: rank 10.
  156. "SECRYPT".
  157. 1 2 3 4 5 6 Zaïane 2009, top tier conferences in databases.
  158. 1 2 3 4 5 6 CAIS DMM: rank A+.
  159. Arnetminer DB: rank 1.
  160. MSAS DB: rank 1.
  161. Arnetminer DB: rank 3.
  162. MSAS DB: rank 2.
  163. Arnetminer DB: rank 2.
  164. MSAS DB: rank 3.
  165. Zaïane 2009, top tier conferences in information retrieval.
  166. 1 2 CAIS WIR: rank A+.
  167. Arnetminer IR: rank 3.
  168. MSAS IR: rank 1.
  169. 1 2 Zaïane 2009, top tier conferences in web and information systems.
  170. Arnetminer IR: rank 1.
  171. MSAS WWW: rank 1.
  172. 1 2 Zaïane 2009, top tier conferences in data mining.
  173. Arnetminer AI: rank 2. Arnetminer DM: rank 1.
  174. MSAS DM: rank 1.
  175. Arnetminer DB: rank 4.
  176. MSAS DB: rank 4.
  177. 1 2 MSAS SW: rank 2.
  178. 1 2 MSAS SWDB: rank 4.
  179. 1 2 Arnetminer SW: rank 2.
  180. 1 2 3 4 5 6 7 8 CAIS DMM: rank A.
  181. Arnetminer DB: rank 6.
  182. Arnetminer DM: rank 4.
  183. MSAS DM: rank 4.
  184. Arnetminer DB: rank 5.
  185. MSAS DB: rank 5.
  186. Arnetminer DB: rank 7.
  187. MSAS DB: rank 6.
  188. Arnetminer DM: rank 2.
  189. MSAS DM: rank 5.
  190. Arnetminer DB: rank 8. Arnetminer DM: rank 3.
  191. MSAS DB: rank 9. MSAS IR: rank 4.
  192. MSAS DB: rank 7.
  193. MSAS DB: rank 10. MSAS WWW: rank 5.
  194. Microsoft top conferences in Data Mining, rank 9
  195. MSAS AI: rank 2.
  196. 1 2 3 4 5 6 Zaïane 2009, top tier conferences in artificial intelligence.
  197. 1 2 3 4 5 6 7 8 Alpaydin 2004, Section 1.4.
  198. Arnetminer AI: rank 6. Arnetminer ML: rank 2.
  199. MSAS ML: rank 1.
  200. Arnetminer ML: rank 142.
  201. MSAS ML: rank 5.
  202. MSAS AI: rank 3.
  203. Arnetminer AI: rank 3.
  204. MSAS AI: rank 4.
  205. MSAS AI: rank 5. MSAS ML: rank 2.
  206. Arnetminer AI: rank 10. Arnetminer ML: rank 3.
  207. MSAS AI: rank 7.
  208. Arnetminer AI: rank 9.
  209. MSAS AT: rank 8. MSAS ML: rank 3.
  210. Arnetminer AT: rank 5. Arnetminer ML: rank 1.
  211. Arnetminer DM: rank 5.
  212. Arnetminer ML: rank 5.
  213. MSAS DM: rank 3.
  214. MSAS ML: rank 4.
  215. MSAS AI: rank 8.
  216. Arnetminer ML: rank 807.
  217. MSAS ML: rank 21.
  218. 1 2 "Conferences related to Evolutionary Algorithm". Microsoft Academic Search. Retrieved 22 January 2014.
  219. MSAS AT: rank 9.
  220. Arnetminer AT: rank 10.
  221. 1 2 3 4 Zaïane 2009, top tier conferences in graphics, vision and HCI.
  222. Arnetminer AI: rank 5. Arnetminer MIV: rank 4.
  223. MSAS V: rank 1.
  224. Arnetminer AI: rank 4. Arnetminer MIV: rank 3.
  225. MSAS V: rank 2.
  226. Arnetminer AI: rank 7. Arnetminer MIV: rank 6.
  227. MSAS V: rank 3.
  228. MSAS V: rank 5.
  229. MSAS V: rank 12.
  230. MSAS ML: rank 10.
  231. 1 2 3 4 5 6 7 Perfil-CC ranking: rank A.
  232. MSAS MM: rank 26.
  233. SSIAI.org
  234. Arnetminer AI: rank 8. Arnetminer NLP: rank 1. Arnetminer PL: rank 10.
  235. MSAS NL: rank 1.
  236. 1 2 Jurafsky & Martin 2009, p. 15–16, "Bibliographical and Historical Notes".
  237. Zaïane 2009, top tier conferences in natural language processing.
  238. Arnetminer NLP: rank 6.
  239. MSAS NL: rank 5.
  240. Arnetminer NLP: rank 2.
  241. MSAS NL: rank 3.
  242. Arnetminer NLP: rank 8.
  243. CiteSeer, conferences in top 300.
  244. Arnetminer NLP: rank 3.
  245. MSAS NL: rank 4.
  246. Arnetminer NLP: rank 7.
  247. CiteSeer, conferences in top 200.
  248. Arnetminer MIV: rank 1.
  249. MSAS G: rank 1.
  250. Arnetminer MIV: rank 2.
  251. MSAS G: rank 2.
  252. Zaïane 2009, top tier conferences in multimedia.
  253. Arnetminer MIV: rank 10.
  254. MSAS MM: rank 2.
  255. MSAS MM: rank 4.
  256. MSAS MM: rank 5.
  257. Arnetminer MIV: rank 7.
  258. MSAS G: rank 3.
  259. MSAS G: rank 9.
  260. MSAS G: rank 7.
  261. Arnetminer MIV: rank 5.
  262. MSAS MM: rank 3.
  263. 1 2 MSAS G: rank 5.
  264. Arnetminer HCI: rank 5.
  265. MSAS HCI: rank 2.
  266. Arnetminer HCI: rank 3.
  267. MSAS HCI: rank 1.
  268. Arnetminer HCI: rank 1.
  269. MSAS HCI: rank 3.
  270. Arnetminer HCI: rank 4.
  271. MSAS HCI: rank 8.
  272. MSAS HCI: rank 10.
  273. Springer Lecture Notes in Bioinformatics published proceedings book of CIBB 2011
  274. Springer Lecture Notes in Bioinformatics published proceedings book of CIBB 2012
  275. Springer Lecture Notes in Bioinformatics published proceedings book of CIBB 2013
  276. BMC Bioinformatics CIBB 2010 Supplement: new trends from the CIBB conference series
  277. CIBB 2015 official website
  278. 1 2 CAIS SC: rank A+.
  279. Arnetminer BI: rank 2.
  280. MSAS BI: rank 1.
  281. CAIS SC: rank A.
  282. Arnetminer BI: rank 3.
  283. MSAS BI: rank 3.
  284. Arnetminer BI: rank 1.
  285. MSAS BI: rank 2.
  286. Arnetminer BI: rank 4.
  287. MSAS BI: rank 5.
  288. Arnetminer E: rank 4.
  289. MSAS E: rank 1.
  290. Arnetminer E: rank 1.
  291. MSAS E: rank 3.
  292. 1 2 Zaïane 2009, top tier conferences in computer education.
  293. Arnetminer E: rank 2.
  294. MSAS E: rank 2.
  295. MSAS E: rank 7.

References

Rankings and statistics
Textbooks that mention conferences
  • Alpaydin, Ethem (2004). Introduction to Machine Learning. MIT Press. ISBN 978-0-262-01211-9. .
  • 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. .
  • Friedman, Daniel P.; Wand, Mitchell; Haynes, Christopher Thomas (2001). Essentials of Programming Languages (2nd ed.). MIT Press. ISBN 0-262-06217-8. .
  • 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. .
  • Ilyas, Mohammad; Mahgoub, Imad (2004). Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems. CRC Press. ISBN 978-0-8493-1968-6. .
  • 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. .
  • Lynch, Nancy Ann (1996). Distributed Algorithms. Morgan Kaufmann. ISBN 978-1-55860-348-6. .
  • Mishra, Amitabh (2008). Security and Quality of Service in Ad Hoc Wireless Networks. Cambridge University Press. ISBN 978-0-521-87824-1. .
  • Navarro, Gonzalo; Raffinot, Mathieu (2002). Flexible Pattern Matching in Strings. Cambridge University Press. ISBN 978-0-521-81307-5. .
  • Skiena, Steven S. (2008). The Algorithm Design Manual (2nd ed.). Springer. ISBN 978-1-84800-069-8. .
  • Tel, Gerard (2000). Introduction to Distributed Algorithms (2nd ed.). Cambridge University Press. ISBN 978-0-521-79483-1. .
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. 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. . 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. .
  • Goldman, Sally A. (1999). "Computational learning theory". In Atallah, Mikhail J. Algorithms and Theory of Computation Handbook. CRC Press. ISBN 0-8493-2649-4. .
  • 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. Agent Technology from a Formal Perspective. Springer. pp. 25–64. ISBN 978-1-85233-947-0. .
  • Jiang, Tao; Li, Ming; Ravikumar, Bala (1999). "Basic notions in computational complexity". In Atallah, Mikhail J. Algorithms and Theory of Computation Handbook. CRC Press. ISBN 0-8493-2649-4. .
  • Mutzel, Petra; Eades, Peter (2002). "Graphs in software visualization". International Dagstuhl Seminar on Software Visualization, May 2001, Revised Papers. Lecture Notes in Computer Science. 2269. Springer. pp. 285–294. doi:10.1007/3-540-45875-1_22. ISBN 978-3-540-43323-1. .
  • Overmars, Mark H. (1998). "Geometric algorithms for robotic manipulation". International Colloquium on Automata, Languages and Programming. Lecture Notes in Computer Science. 1443. Springer-Verlag. pp. 116–117. doi:10.1007/BFb0055045. ISBN 3-540-64781-3. .
  • Samet, Hanan (2010). "Multidimensional data structures for spatial applications". In Atallah, Mikhail J.; Blanton, Marina. Algorithms and Theory of Computation Handbook (2nd ed.). CRC Press. ISBN 978-1-58488-822-2. .
  • "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-23 

External links

This article is issued from Wikipedia - version of the 12/2/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.