Theory Group

Tareq Adnan, Suprakash Datta, Stuart MacLean. Efficient and accurate sensor network localization. Personal and Ubiquitous Computing, 18(4): 821-833, 2014

Franck van Breugel, James Worrell. The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata. In Horizons of the Mind, 2014.

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, 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, Eric Ruppert. The amortized complexity of non-blocking binary search trees. In Proc. ACM Symposium on Principles of Distributed Computing, 2014.

Rachid Guerraoui, Eric Ruppert. A paradox of eventual linearizability in shared memory. In Proc. ACM Symposium on Principles of Distributed Computing, 2014.

Rachid Guerraoui, Eric Ruppert. Linearizability Is Not Always a Safety Property. In Proc. 2nd International Conference on Networked Systems, 2014.

Stuart MacLean, 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, 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, Franck van Breugel. Automatic handling of native methods in Java PathFinder. In Proc. International Symposium on Model Checking of Software, 2014.