2012
2012
- Franck van Breugel. On behavioural pseudometrics and closure ordinals. Information Processing Letters, 112(19): 715-718, 2012.
- Arkadev Chattopadhyay, Jeff Edmonds, Faith Ellen, and Toniann Pitassi. A little advice can be very helpful. In Proc. ACM-SIAM Symposium on Discrete Algorithms, 2012.
- Di Chen, Franck van Breugel, James Worrell. On the Complexity of Computing Probabilistic Bisimilarity. In Proc. 15th International Conference on Foundations of Software Science and Computational Structures, 2012.
- Elise Cormie-Bowins, Franck van Breugel. Measuring Progress of Probabilistic LTL Model Checking. In Proc. 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012.
- Jeff Edmonds. On the Competitiveness of AIMD-TCP within a General Network. Theoretical Computer Science 462: 12-22, 2012.
- Jeff Edmonds, Kirk Pruhs. Scalably scheduling processes with arbitrary speedup curves. ACM Transactions on Algorithms, 8(3): 28, 2012.
- George Tourlakis, Theory of Computation, John Wiley and Sons, 2012.
- Hui Wang, Michael Jenkin, Patrick W. Dymond. Enhancing Exploration in Topological Worlds with Multiple Immovable Markers. In Proc. 9th Conference on Computer and Robot Vision, 2012.
2012.txt · Last modified: 2021/11/22 21:36 by ruppert