2005 Publications

• Micah Adler, Jeff Edmonds and Jiri Matousek. Towards asymptotic optimality in probabilistic packet marking. In Proc. 37th ACM Symposium on Theory of Computing, pages 450-459, 2005.
• Dana Angluin, James Aspnes, David Eisenstat and Eric Ruppert. On the power of anonymous one-way communication. To appear in Proc. 9th International Conference on Principles of Distributed Systems, 2005.
• Anton Belov and Zbigniew Stachniak. Substitutional definition of satisfiability in classical propositional logic. In Proc. 8th International Conference on Theory and Applications of Satisfiability Testing, pages 31-45, 2005.
• Franck van Breugel. A Behavioural Pseudometric for Metric Labelled Transition Systems. In Proceedings of the 16th International Conference on Concurrency Theory, pages 141-155, 2005.
• Franck van Breugel, Claudio Hermida, Michael Makkai and James Worrell. An Accessible Approach to Behavioural Pseudometrics. In Proceedings of the 32nd International Colloquium on Automata, Languages, and Programming, pages 1018-1030, 2005.
• Franck van Breugel and Mariya Koshkina. Dead-path-elimination in BPEL4WS. In Proc. 5th International Conference on Application of Concurrency to System Design, 2005.
• Franck van Breugel, Michael Mislove, Joel Ouaknine and James Worrell. Domain Theory, Testing and Simulation for Labelled Markov Processes. In Theoretical Computer Science, 333(1/2), pages 171-197, 2005.
• Franck van Breugel and James Worrell. A behavioural pseudometric for probabilistic transition systems. In Theoretical Computer Science, 331(1), pages 115-142, 2005.
• Suprakash Datta and Amir Asif. Prediction of protein coding regions in DNA sequences using Fourier spectral characteristics. In Proc. IEEE International Conference on Acoustics, Speech and Signal Processing, 2005.
• Jeff Edmonds and Kirk Pruhs. A maiden analysis of longest wait first. ACM Transactions on Algorithms, 1(1), pages 14-32, 2005.
• Rachid Guerraoui and Eric Ruppert. What can be implemented anonymously? In Proc. 19th International Symposium on Distributed Computing, pages 244-259, 2005.