=== 2013 === * Tareq Adnan, Suprakash Datta. AdAMAC: A New MAC Protocol for High Traffic Wireless Networks. In //Proc. 4th International Conference on Ambient Systems, Networks and Technologies and 3rd International Conference on Sustainable Energy Information Technology//, 2013. * [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], Claudio Hermida, Michael Makkai, James Worrell. Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163]. //Theoretical Computer Science//, 492: 117-122, 2013. * Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]], Hung Tran-The. Byzantine agreement with homonyms. //Distributed Computing//, 26(5-6): 321-340, 2013. * Stuart MacLean, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]]. Energy Constrained Positioning in Mobile Wireless Ad hoc and Sensor Networks. In //Proc. 4th International Conference on Ambient Systems, Networks and Technologies and 3rd International Conference on Sustainable Energy Information Technology//, 2013. * Yehuda Schwartz, [[http://www.cse.yorku.ca/~gt|George Tourlakis]]. A proof theoretic tool for first-order modal logic. In //Bulletin of the Section of Logic//, 42(3-4):93-110, 2013. * [[http://www.cse.yorku.ca/~niloo"|Niloufar Shafiei]]. Non-blocking patricia tries with replace operations. In //Proc. 33rd International Conference on Distributed Computing Systems//, 2013 * Hui Wang, Michael Jenkin, [[http://www.cse.yorku.ca/~patrick|Patrick W. Dymond]]. Enhancing Exploration in Topological Worlds with a Directional Immovable Marker. In //Proc. 10th Conference on Computer and Robot Vision//, 2013.