Tom de Jong

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 21

Top Topics

Scales Linearly

Knowledge Based Neural Networks

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Tom de Jong, Martín Hötzel Escardó
Domain theory in univalent foundations II: Continuous and algebraic domains. CoRR (2024)
Tom de Jong
. CoRR (2024)
Ulrik Buchholtz, Tom de Jong, Egbert Rijke
Epimorphisms and Acyclic Types in Univalent Mathematics. CoRR (2024)
Tom de Jong
Domain Theory in Constructive and Predicative Univalent Foundations. CoRR (2023)
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
Set-Theoretic and Type-Theoretic Ordinals Coincide. CoRR (2023)
Tom de Jong
Apartness, sharp elements, and the Scott topology of domains. Math. Struct. Comput. Sci. 33 (7) (2023)
Tom de Jong, Martín Hötzel Escardó
On Small Types in Univalent Foundations. Log. Methods Comput. Sci. 19 (2) (2023)
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
Set-Theoretic and Type-Theoretic Ordinals Coincide. LICS (2023)
Simon Scheider, Tom de Jong
A conceptual model for automating spatial network analysis. Trans. GIS 26 (1) (2022)
Tom de Jong, Martín Hötzel Escardó
Domain Theory in Constructive and Predicative Univalent Foundations. CSL (2021)
Tom de Jong
Sharp Elements and the Scott Topology of Continuous Dcpos. CoRR (2021)
Tom de Jong
The Scott model of PCF in univalent type theory. Math. Struct. Comput. Sci. 31 (10) (2021)
Tom de Jong, Martín Hötzel Escardó
Predicative Aspects of Order Theory in Univalent Foundations. CoRR (2021)
Tom de Jong, Martín Hötzel Escardó
Size Matters in Univalent Foundations. CoRR (2021)
Tom de Jong
Sharp Elements and Apartness in Domains. CoRR (2021)
Tom de Jong, Martín Hötzel Escardó
Predicative Aspects of Order Theory in Univalent Foundations. FSCD (2021)
Tom de Jong, Jaap van Oosten
The Sierpinski Object in the Scott Realizability Topos. Log. Methods Comput. Sci. 16 (3) (2020)
Tom de Jong, Martín Hötzel Escardó
Domain Theory in Constructive and Predicative Univalent Foundations. CoRR (2020)
Tom de Jong
The Scott model of PCF in univalent type theory. CoRR (2019)
Tom de Jong, Jaap van Oosten
The Sierpinski Object in the Scott Realizability Topos. CoRR (2019)
Justin Van Dijk, Tom de Jong
Post-processing GPS-tracks in reconstructing travelled routes in a GIS-environment: network subset selection and attribute adjustment. Ann. GIS 23 (3) (2017)
Boris Aronov, Kevin Buchin, Maike Buchin, Bart M. P. Jansen, Tom de Jong, Marc J. van Kreveld, Maarten Löffler, Jun Luo, Rodrigo I. Silveira, Bettina Speckmann
Connect the dot: Computing feed-links for network extension. J. Spatial Inf. Sci. 3 (1) (2011)
Boris Aronov, Kevin Buchin, Maike Buchin, Bart M. P. Jansen, Tom de Jong, Marc J. van Kreveld, Maarten Löffler, Jin Luo, Rodrigo I. Silveira, Bettina Speckmann
Feed-links for network extensions. GIS (2008)
William T. F. Goossen, Marcel J. Jonker, Kai U. Heitmann, Irma C. Jongeneel-de Haas, Tom de Jong, Johannes W. van der Slikke, Bert L. Kabbes
Electronic patient records: domain message information model perinatology. Int. J. Medical Informatics 70 (2-3) (2003)
Andries Naude, Tom de Jong, Pieter van Teefelen
Measuring Accessibility with GIS-Tools: A Case Study of the Wild Coast of South Africa. Trans. GIS 3 (4) (1999)