Christian Jung

Orcid: 0009-0000-6281-5297

Affiliations:

Karlsruhe Institute of Technology, Germany

According to our database¹, Christian Jung authored at least 3 papers between 2011 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2022

Formal Specification and Verification of JDK's Identity Hash Map Implementation.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2011

Efficient Error-Correcting Geocoding

[BibT_eX]

[DOI]

CoRR, 2011

Engineering efficient error-correcting geocoding.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2011

Christian Jung

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...