Tom de Jong - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2023

On Small Types in Univalent FoundationsTom de Jong, Martín Hötzel Escardó. lmcs, 19(2), 2023. [doi]

Apartness, sharp elements, and the Scott topology of domainsTom de Jong. mscs, 33(7):573-604, 2023. [doi]

Set-Theoretic and Type-Theoretic Ordinals CoincideTom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu. lics 2023: 1-13 [doi]

2022

A conceptual model for automating spatial network analysisSimon Scheider, Tom de Jong. tgis, 26(1):421-458, 2022. [doi]

2021

The Scott model of PCF in univalent type theoryTom de Jong. mscs, 31(10):1270-1300, 2021. [doi]

Domain Theory in Constructive and Predicative Univalent FoundationsTom de Jong, Martín Hötzel Escardó. csl 2021: [doi]

Predicative Aspects of Order Theory in Univalent FoundationsTom de Jong, Martín Hötzel Escardó. fscd 2021: [doi]

2020

The Sierpinski Object in the Scott Realizability ToposTom de Jong, Jaap van Oosten. lmcs, 16(3), 2020. [doi]

2017

Post-processing GPS-tracks in reconstructing travelled routes in a GIS-environment: network subset selection and attribute adjustmentJustin Van Dijk, Tom de Jong. agis, 23(3):203-217, 2017. [doi]

2011

Connect the dot: Computing feed-links for network extensionBoris 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. josis, 3(1):3-31, 2011. [doi]

2003

Electronic patient records: domain message information model perinatologyWilliam 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. ijmi, 70(2-3):265-276, 2003. [doi]

1999

Measuring Accessibility with GIS-Tools: A Case Study of the Wild Coast of South AfricaAndries Naude, Tom de Jong, Pieter van Teefelen. tgis, 3(4):381-395, 1999. [doi]

Sign in or sign up to see more results.

runs on WebDSL