Follow
Valerie King
Valerie King
Professor of Computer Science, University of Victoria
Verified email at uvic.ca - Homepage
Title
Cited by
Cited by
Year
Randomized fully dynamic graph algorithms with polylogarithmic time per operation
MR Henzinger, V King
Journal of the ACM (JACM) 46 (4), 502-516, 1999
3111999
Fully dynamic algorithms for maintaining all-pairs shortest paths and transitive closure in digraphs
V King
40th Annual Symposium on Foundations of Computer Science (Cat. No. 99CB37039 …, 1999
3081999
A faster deterministic maximum flow algorithm
V King, S Rao, R Tarjan
Journal of Algorithms 17 (3), 447-474, 1994
2831994
Dynamic graph connectivity in polylogarithmic worst case time
BM Kapron, V King, B Mountjoy
Proceedings of the twenty-fourth annual ACM-SIAM symposium on Discrete …, 2013
1992013
Fully dynamic biconnectivity and transitive closure
MR Henzinger, V King
Proceedings of IEEE 36th Annual Foundations of Computer Science, 664-672, 1995
1821995
Randomized dynamic graph algorithms with polylogarithmic time per operation
MR Henzinger, V King
Proceedings of the twenty-seventh annual ACM symposium on Theory of …, 1995
1591995
Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
MR Henzinger, V King, T Warnow
Algorithmica 24 (1), 1-13, 1999
1471999
Breaking the O(n2) bit barrier: Scalable byzantine agreement with an adaptive adversary
V King, J Saia
Journal of the ACM (JACM) 58 (4), 1-24, 2011
1352011
Choosing a random peer
V King, J Saia
Proceedings of the twenty-third annual ACM symposium on Principles of …, 2004
1282004
A FULLY DYNAMIC ALGORITHM FOR MAINTAINING THE TRANSITIVE CLOSURE
V King, G Sagert
Journal of Computer and System Sciences 65 (1), 150-167, 2003
120*2003
Scalable leader election
V King, J Saia, V Sanwalani, E Vee
SODA 6, 990-999, 2006
1192006
Maintaining minimum spanning trees in dynamic graphs
MR Henzinger, V King
Automata, Languages and Programming: 24th International Colloquium, ICALP'97 …, 1997
1191997
A simpler minimum spanning tree verification algorithm
V King
Algorithmica 18, 263-270, 1997
1121997
Towards secure and scalable computation in peer-to-peer networks
V King, J Saia, V Sanwalani, E Vee
2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06 …, 2006
1102006
Fast asynchronous byzantine agreement and leader election with full information
BM Kapron, D Kempe, V King, J Saia, V Sanwalani
ACM Transactions on Algorithms (TALG) 6 (4), 1-28, 2010
882010
On the complexity of distance-based evolutionary tree reconstruction
L Zhang, V King, Y Zhout
Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete …, 2003
662003
Maintaining minimum spanning forests in dynamic graphs
MR Henzinger, V King
SIAM Journal on Computing 31 (2), 364-374, 2001
662001
Load Balanced Scalable Byzantine Agreement through Quorum Building, with Full Information.
V King, S Lonargan, J Saia, A Trehan
ICDCN 11, 203-214, 2011
622011
A simpler minimum spanning tree verification algorithm
V King
Algorithms and Data Structures: 4th International Workshop, WADS'95 Kingston …, 1995
601995
On the complexity of parity word automata
V King, O Kupferman, MY Vardi
FoSSaCS 1, 276-286, 2001
552001
The system can't perform the operation now. Try again later.
Articles 1–20