Lucas Böltz
According to our database1,
Lucas Böltz
authored at least 8 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
2022
Automatically Testing Containedness between Geometric Graph Classes defined by Inclusion, Exclusion, and Transfer Axioms under Simple Transformations.
Inf., 2022
WIP: Local Heuristics for Very Likely Connected and Intersection Free Wireless Network Topologies under Log-Normal Shadowing.
Proceedings of the 23rd IEEE International Symposium on a World of Wireless, 2022
2021
Local Construction of Connected Plane Subgraphs in Graphs Satisfying Redundancy and Coexistence.
Proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium, 2021
On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper).
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021
Automatically Testing Containedness between Geometric Graph Classes defined by Inclusion, Exclusion and Transfer Axioms.
Proceedings of the 33rd Canadian Conference on Computational Geometry, 2021
2020
Local Construction of Connected and Plane Spanning Subgraphs under Acyclic Redundancy.
Proceedings of the 18th International Symposium on Modeling and Optimization in Mobile, 2020
2019
Existence of Connected Intersection-Free Subgraphs in Graphs with Redundancy and Coexistence Property.
Proceedings of the Algorithms for Sensor Systems, 2019