Dominator Certification and Independent Spanning Trees: An Experimental Study-Reference-Cited by-同舟云学术

Dominator Certification and Independent Spanning Trees: An Experimental Study

Published:2013 Issue: Volume: Page:284-295
ISSN:0302-9743
Container-title:Experimental Algorithms
language:
Short-container-title:

Author:

Georgiadis Loukas,Laura Luigi,Parotsidis Nikos,Tarjan Robert E.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-38527-8_26

Reference37 articles.

1. Allen, F.E., Cocke, J.: Graph theoretic constructs for program control flow analysis. Tech. Rep. IBM Res. Rep. RC 3923, IBM T.J. Watson Research Center (1972)

2. Allesina, S., Bodini, A.: Who dominates whom in the ecosystem? Energy flow bottlenecks and cascading extinctions. Journal of Theoretical Biology 230(3), 351–358 (2004)

3. Alstrup, S., Harel, D., Lauridsen, P.W., Thorup, M.: Dominators in linear time. SIAM Journal on Computing 28(6), 2117–2132 (1999)

4. Amyeen, M.E., Fuchs, W.K., Pomeranz, I., Boppana, V.: Fault equivalence identification using redundancy information and static and dynamic extraction. In: Proceedings of the 19th IEEE VLSI Test Symposium (March 2001)

5. Lecture Notes in Computer Science;M.A. Bender,2002

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Visual Analysis of Vertex-Disjoint Path Connectivity in Networks;2018 22nd International Conference Information Visualisation (IV);2018-07

2. Dominator Tree Certification and Divergent Spanning Trees;ACM Transactions on Algorithms;2016-02-08

3. Strong Articulation Points and Strong Bridges in Large Scale Graphs;Algorithmica;2015-04-01

4. Validating Dominator Trees for a Fast, Verified Dominance Test;Interactive Theorem Proving;2015

5. Loop Nesting Forests, Dominators, and Applications;Experimental Algorithms;2014