We stand with Ukraine  

Lucas Heimberg

According to our database1, Lucas Heimberg authored at least 5 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Complexity of Normal Forms on Structures of Bounded Degree
[BibTeX]
[DOI]
Lucas Heimberg
PhD thesis, 2018

An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree.
[BibTeX]
[DOI]
André Frochaux
,
Lucas Heimberg
CoRR, 2018

2016
Hanf normal form for first-order logic with unary counting quantifiers.
[BibTeX]
[DOI]
Lucas Heimberg
,
Dietrich Kuske
,
Nicole Schweikardt
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015
Preservation and decomposition theorems for bounded degree structures.
[BibTeX]
[DOI]
Frederik Harwath
,
Lucas Heimberg
,
Nicole Schweikardt
Log. Methods Comput. Sci., 2015

2013
An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree.
[BibTeX]
[DOI]
Lucas Heimberg
,
Dietrich Kuske
,
Nicole Schweikardt
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013


  Loading...