Author of the publication

On the Verification of the Correctness of a Subgraph Construction Algorithm.

, , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 303-325. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

WIP: Local Heuristics for Very Likely Connected and Intersection Free Wireless Network Topologies under Log-Normal Shadowing., , and . WoWMoM, page 165-168. IEEE, (2022)Local Construction of Connected Plane Subgraphs in Graphs Satisfying Redundancy and Coexistence., , and . LAGOS, volume 195 of Procedia Computer Science, page 108-117. Elsevier, (2021)On the Verification of the Correctness of a Subgraph Construction Algorithm., , and . CoRR, (2023)On the Verification of the Correctness of a Subgraph Construction Algorithm., , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 303-325. Springer, (2024)Local Construction of Connected and Plane Spanning Subgraphs under Acyclic Redundancy., , and . WiOpt, page 65-72. IEEE, (2020)Automatically Testing Containedness between Geometric Graph Classes defined by Inclusion, Exclusion and Transfer Axioms., and . CCCG, page 127-138. (2021)Existence of Connected Intersection-Free Subgraphs in Graphs with Redundancy and Coexistence Property., and . ALGOSENSORS, volume 11931 of Lecture Notes in Computer Science, page 63-78. Springer, (2019)On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper)., , , and . SOQE@KR, volume 3009 of CEUR Workshop Proceedings, page 37-45. CEUR-WS.org, (2021)