Search results
From MaRDI portal
- collector using a rely-guarantee methodology 2018-01-04 Paper Validating Dominator Trees for a Fast, Verified Dominance Test 2015-09-14 Paper Plan B 2014-11-27...10 bytes (16 words) - 19:36, 24 September 2023
- Paper A Concrete Memory Model for CompCert 2015-09-14 Paper Validating Dominator Trees for a Fast, Verified Dominance Test 2015-09-14 Paper Verified Abstract...10 bytes (16 words) - 06:54, 7 October 2023
- disassembling low-level self-modifying code 2016-05-26 Paper Validating Dominator Trees for a Fast, Verified Dominance Test 2015-09-14 Paper Plan B 2014-11-27...10 bytes (16 words) - 06:54, 7 October 2023
- to “Dominator Tree Certification and Divergent Spanning Trees” 2018-11-05 Paper 2-Edge Connectivity in Directed Graphs 2018-11-05 Paper Dominator Tree...10 bytes (16 words) - 11:57, 7 October 2023
- Rebalancing in Binary Search Trees 2018-11-05 Paper Addendum to “Dominator Tree Certification and Divergent Spanning Trees” 2018-11-05 Paper Thin heaps...10 bytes (19 words) - 21:52, 9 December 2023
- graphs 2015-05-22 Paper On the dominator colorings in trees 2013-12-13 Paper...10 bytes (18 words) - 12:50, 6 October 2023
- 2021-02-11 Paper Hosoya index of tree structures 2020-12-08 Paper A Bound for the Locating Chromatic Numbers of Trees 2020-11-16 Paper On two-dimensional...10 bytes (16 words) - 03:01, 10 December 2023
- Primality, criticality and minimality problems in trees 2023-07-15 Paper On the double total dominator chromatic number of graphs 2022-09-02 Paper https://portal...10 bytes (16 words) - 21:40, 26 December 2023
- https://portal.mardi4nfdi.de/entity/Q3474614 1990-01-01 Paper On the degree of dominator trees 1988-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3821547 1988-01-01...10 bytes (18 words) - 17:50, 11 December 2023
- 1995-08-27 Paper On component-size bounded Steiner trees 1995-07-24 Paper On greedy heuristic for Steiner minimum trees 1995-05-30 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 17:50, 7 December 2023
- quasiperfect domination in trees 2017-07-19 Paper Distance 2-domination in prisms of graphs 2017-04-12 Paper Quasiperfect domination in trees 2016-10-17 Paper Completion...10 bytes (17 words) - 15:10, 10 December 2023
- 2020-05-21 Paper Trees with unique minimum semitotal dominating sets 2020-04-30 Paper Total forcing sets and zero forcing sets in trees 2020-04-28 Paper...10 bytes (19 words) - 20:52, 8 December 2023
- Paper A note on trees, tables, and algorithms 2009-07-28 Paper An anonymous self-stabilizing algorithm for 1-maximal independent set in trees 2009-07-21 Paper...10 bytes (18 words) - 20:52, 8 December 2023
- strong coloring of trees 2010-08-20 Paper https://portal.mardi4nfdi.de/entity/Q3565943 2010-06-07 Paper \([r,s,t\)-coloring of trees and bipartite graphs]...10 bytes (16 words) - 18:20, 9 December 2023
- global alliances in trees 2012-12-08 Paper Trees with equal 2-domination and 2-independence numbers 2012-11-08 Paper Characterization of trees with equal 2-domination...10 bytes (17 words) - 07:57, 7 October 2023
- minimum-weighted dominating sets and minimum-weighted connected dominating sets on unit disk graphs 2011-01-28 Paper On positive influence dominating sets in social...10 bytes (17 words) - 12:43, 11 December 2023
- 2006-02-13 Paper Trees of extremal connectivity index 2006-01-10 Paper https://portal.mardi4nfdi.de/entity/Q5714896 2005-12-16 Paper Ordering trees by their Laplacian...10 bytes (16 words) - 14:55, 9 December 2023
- numbers 2020-04-22 Paper Reconfiguring Minimum Dominating Sets in Trees 2020-02-17 Paper Convex dominating sets in maximal outerplanar graphs 2019-07-17...10 bytes (16 words) - 22:13, 9 December 2023
- Date of Publication Type The \(k\)-power domination problem in weighted trees 2023-10-16 Paper Approximation algorithms for a virtual machine allocation...10 bytes (17 words) - 21:25, 9 December 2023
- Paper New approximations for minimum-weighted dominating sets and minimum-weighted connected dominating sets on unit disk graphs 2011-01-28 Paper Two constructions...10 bytes (16 words) - 23:01, 11 December 2023