Theory Group

Tareq Adnan, Suprakash Datta, Stuart MacLean. Effcient and Accurate Range-based Sensor Network Localization. In Proc. 3rd International Conference on Ambient Systems, Networks and Technologies and 9th International Conference on Mobile Web Information Systems, 2011.

Anton Belov, Matti Järvisalo, Zbigniew Stachniak. Depth-Driven Circuit-Level Stochastic Local Search for SAT. In Proc. 22nd International Joint Conference on Artificial Intelligence, 2011.

Trevor Brown and Joanna Helga. Non-blocking k-ary search trees. Proc. 15th International Conference On Principles Of Distributed Systems, 2011.

Trevor Brown, Faith Ellen, Eric Ruppert. Pragmatic primitives for non-blocking data structures. In Proc. PODC, 2013.

Ho-Leung Chan, Jeff Edmonds, Tak Wah Lam, Lap-Kei Lee, Alberto Marchetti-Spaccamela, Kirk Pruhs. Nonclairvoyant Speed Scaling for Flow and Energy. Algorithmica, 61(3): 507-517, 2011.

Ho-Leung Chan, Jeff Edmonds, Kirk Pruhs. Speed Scaling of Processes with Arbitrary Speedup Curves on a Multiprocessor, Theory of Computing Systems, 49(4): 817-833, 2011.

Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert and Hung Tran-The. Byzantine Agreement with Homonyms. In Proc. 30th ACM Symposium on Principles of Distribued Computing, pages 21-30, 2011.

Jeff Edmonds, Sungjin Im, Benjamin Moseley. Online scalable scheduling for the <m>l_k</m>-norms of flow time without conservation of work. In Proc. ACM-SIAM Symposium on Discrete Algorithms, 2011.

Jeff Edmonds, Kirk Pruhs. Cake cutting really is not a piece of cake. ACM Transactions on Algorithms, 7(4): 51, 2011.

Stuart MacLean, Suprakash Datta. The minimum positional error incurred by any connectivity-based positioning algorithm for mobile wireless systems. Theoretical Computer Science, 412(50): 6897-6912, 2011.

Stuart MacLean, Suprakash Datta. Improving the accuracy of connectivity-based positioning for mobile sensor networks. In Proc. 22nd IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 2011.

Yehuda Schwartz, George Tourlakis. Pure iteration and substitution as the basis of computability. In Bulletin of the Section of Logic, 40(3-4):203-213, 2011.

Hui Wang, Michael Jenkin, Patrick W. Dymond. The relative power of immovable markers in topological mapping. In Proc. IEEE International Conference on Robotics and Automation, 2011.

Xin Zhang, Franck van Breugel. A Progress Measure for Explicit-State Probabilistic Model-Checkers. In Proc. 38th International Colloquium on Automata, Languages and Programming, 2011.