Tom de Jong
Orcid: 0000-0003-1585-3172
According to our database1,
Tom de Jong
authored at least 22 papers
between 1999 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
2024
CoRR, 2024
Domain theory in univalent foundations I: Directed complete posets and Scott's D<sub>∞</sub>.
CoRR, 2024
2023
Math. Struct. Comput. Sci., 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2022
2021
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2020
Log. Methods Comput. Sci., 2020
2017
Post-processing GPS-tracks in reconstructing travelled routes in a GIS-environment: network subset selection and attribute adjustment.
Ann. GIS, 2017
2011
J. Spatial Inf. Sci., 2011
2008
Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008
2003
Int. J. Medical Informatics, 2003
1999
Measuring Accessibility with GIS-Tools: A Case Study of the Wild Coast of South Africa.
Trans. GIS, 1999