Differences

This shows you the differences between two versions of the page.

--- assignments:a1 [2015/01/25 19:53] – qiyitang
+++ assignments:a1 [2015/04/03 19:29] (current) – franck
@@ Line 26: / Line 26: @@
 As the audience of your report, consider your fellow students in the course.
 {{:public:myassignment1.pdf|myassignment1.pdf}} contains a sample.  The corresponding LaTeX and BiBTeX files are {{:public:myassignment1.tex.txt|myassignment1.tex}} and {{:public:myassignment1.bib.txt|myassignment1.bib}}, respectively (remove the suffix .txt from the file name).
 ===== List your paper =====
@@ Line 33: / Line 31: @@
   * Franck van Breugel:\\ Carla Schlatter Ellis. [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1109/TC.1980.1675680|Concurrent Search and Insertion in AVL Trees]]. //IEEE Transactions on Computers//, 29(9): 811-817, September 1980.
-  * Qiyi Tang:\\ Bacci, G., Bacci, G., Larsen, K.G., Mardare, R.,[[http://link.springer.com/chapter/10.1007%2F978-3-642-36742-7_1|On-the-Fly Exact Computation of Bisimilarity]].//TACAS 2013//, vol. 7795, pp. 1–15. Springer, Heidelberg, March 16-24 2013.
+  * Qiyi Tang:\\ Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, and Radu Mardare.  [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1007/978-3-642-36742-7_1|On-the-Fly Exact Computation of Bisimilarity]]. In //Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems//, volume 7795 of //Lecture Notes in Computer Science//, pages 1–15, Rome, Italy, March 2013.  Springer-Verlag.
+  * Mingbin Xu:\\ Nir Shavit and Itay Lotan. [[http://dx.doi.org.ezproxy.library.yorku.ca/10.1109/IPDPS.2000.845994|Skiplist-based concurrent priority queues]]. In //Proceedins of the 14th International Parallel and Distributed Processing Symposium//, pages 263-268, Cancun, Mexico, May 2000. IEEE.