=== 2014 ===

  * Tareq Adnan, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]], Stuart MacLean.  Efficient and accurate sensor network localization. //Personal and Ubiquitous Computing//, 18(4): 821-833, 2014

  * [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], James Worrell.  The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata.  In //Horizons of the Mind//, 2014.

  * [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], Elham Kashefi, Catuscia Palamidessi, Jan Rutten, editors. //Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday//. LNCS 8464, Springer, 2014.

  * Trevor Brown, Faith Ellen, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]]. A general technique for non-blocking trees. In //Proc. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming//, 2014.

  * Faith Ellen, Panagiota Fatourou, Joanna Helga, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]]. The amortized complexity of non-blocking binary search trees. In //Proc. ACM Symposium on Principles of Distributed Computing//, 2014.

  * Rachid Guerraoui, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]]. A paradox of eventual linearizability in shared memory. In //Proc. ACM Symposium on Principles of Distributed Computing//, 2014.

  * Rachid Guerraoui, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]]. Linearizability Is Not Always a Safety Property. In //Proc. 2nd International Conference on Networked Systems//, 2014.

  * Stuart MacLean, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]]. Reducing the Positional Error of Connectivity-Based Positioning Algorithms Through Cooperation Between Neighbors.  //IEEE Transactions on Mobile Computing//, 13(8): 1868-1882, 2014.

  * Yehuda Schwartz, [[http://www.cse.yorku.ca/~gt|George Tourlakis]]. On the proof-theory of a first-order version of GL.  In //Logic and Logical Philosophy//, 23(3):329-363, 2014.

  * Nastaran Shafiei, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]]. Automatic handling of native methods in Java PathFinder. In //Proc. International Symposium on Model Checking of Software//, 2014.