출판 Authentication primitives and their compilation Martın Abadi, Cédric Fournet, Georges Gonthier To appear in the Proceedings of the 27th ACM Symposium on Principles of Programming Languages (January 2000) | January 2000
출판 A Semantic Approach to Secure Information Flow Rajeev Joshi, Rustan Leino Science of Computer Programming | January 2000
출판 Investigating Java Concurrency Using Abstract State Machines Yuri Gurevich, Wolfram Schulte, Charles Wallace Abstract State Machines | January 2000 ISBN: 3-540-67959-6
출판 Approach in automatic detection and correction of errors in Chinese text based on feature and learning Changning Huang, Zhou Ming, Lei Zhang January 2000
출판 The Multi-Architecture Performance of the Parallel Functional Language GPH P.W. Trinder, H-W. Loidl, E. Barry, K. Hammond, U. Klusik, Simon Peyton Jones Euro-Par 2000 “” Parallel Processing | January 2000 Euro-Par 2000 — Parallel Processing
출판 Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs Zhendong Su, Manuel Fahndrich, Alexander Aiken Proceedings POPL 2000, 27’th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2000
출판 Existential Second-Order Logic Over Strings Thomas Eiter, Georg Gottlob, Yuri Gurevich Journal of the ACM, | January 2000, 제 47 권(1): pp. 77-131
출판 Choiceless Polynomial Time Computation and the Zero-One Law Andreas Blass, Yuri Gurevich Proceedings of CSL’2000, Springer Lecture Notes in Computer Science | January 2000
출판 Performance Evaluation of the Nearest Feature Line Method in Image Retrieval Stan Z. Li, Kap Luk Chan, Changliang Wang January 2000
출판 Anytime, Anywhere: Modal Logics for Mobile Ambients Luca Cardelli, Andy Gordon POPL 2000 Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2000 ISBN: 1-58113-125-9