Lucas Böltz

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Maximal Cliques

Digital Surface

Reachability Queries

Top Venues

Publications

Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey
On the Verification of the Correctness of a Subgraph Construction Algorithm. VMCAI (1) (2024)
Lucas Böltz, Viorica Sofronie-Stokkermans, Hannes Frey
On the Verification of the Correctness of a Subgraph Construction Algorithm. CoRR (2023)
Lucas Böltz, Hannes Frey
Automatically Testing Containedness between Geometric Graph Classes defined by Inclusion, Exclusion, and Transfer Axioms under Simple Transformations. Inf. 13 (12) (2022)
Steffen Böhmer, Lucas Böltz, Hannes Frey
WIP: Local Heuristics for Very Likely Connected and Intersection Free Wireless Network Topologies under Log-Normal Shadowing. WoWMoM (2022)
Lucas Böltz, Benjamin Becker, Hannes Frey
Local Construction of Connected Plane Subgraphs in Graphs Satisfying Redundancy and Coexistence. LAGOS (2021)
Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans
On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). SOQE@KR (2021)
Hannes Frey, Lucas Böltz
Automatically Testing Containedness between Geometric Graph Classes defined by Inclusion, Exclusion and Transfer Axioms. CCCG (2021)
Steffen Böhmer, Lucas Böltz, Hannes Frey
Local Construction of Connected and Plane Spanning Subgraphs under Acyclic Redundancy. WiOpt (2020)
Lucas Böltz, Hannes Frey
Existence of Connected Intersection-Free Subgraphs in Graphs with Redundancy and Coexistence Property. ALGOSENSORS (2019)