Theory Group

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.

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, Eric Ruppert, Hung Tran-The. Byzantine agreement with homonyms. Distributed Computing, 26(5-6): 321-340, 2013.

Stuart MacLean, 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, George Tourlakis. A proof theoretic tool for first-order modal logic. In Bulletin of the Section of Logic, 42(3-4):93-110, 2013.

Niloufar Shafiei. Non-blocking patricia tries with replace operations. In Proc. 33rd International Conference on Distributed Computing Systems, 2013

Hui Wang, Michael Jenkin, Patrick W. Dymond. Enhancing Exploration in Topological Worlds with a Directional Immovable Marker. In Proc. 10th Conference on Computer and Robot Vision, 2013.