Lucas Bltz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VMCAI | On the Verification of the Correctness of a Subgraph Construction Algorithm. | Lucas Bltz, Viorica Sofronie-Stokkermans, Hannes Frey |
| 2022 | WoWMoM | WIP: Local Heuristics for Very Likely Connected and Intersection Free Wireless Network Topologies under Log-Normal Shadowing. | Steffen Bhmer, Lucas Bltz, Hannes Frey |
| 2021 | KR | On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). | Lucas Bltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans |
| 2021 | LAGOS | Local Construction of Connected Plane Subgraphs in Graphs Satisfying Redundancy and Coexistence. | Lucas Bltz, Benjamin Becker, Hannes Frey |
| 2020 | WiOpt | Local Construction of Connected and Plane Spanning Subgraphs under Acyclic Redundancy. | Steffen Bhmer, Lucas Bltz, Hannes Frey |
| 2019 | Algosensors | Existence of Connected Intersection-Free Subgraphs in Graphs with Redundancy and Coexistence Property. | Lucas Bltz, Hannes Frey |