Jan Tijmen Udding
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1989–1995
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | ARITH | Arithmetic for Relative Accuracy. | Rudi van Drunen, Lambert Spaanenburg, Paul G. Lucassen, J. A. G. Nijhuis, Jan Tijmen Udding |
| 1995 | MPC | Algebraic Proof Assistants in HOL. | Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding |
| 1990 | CAV | An Algebra for Delay-Insensitive Circuits. | Mark B. Josephs, Jan Tijmen Udding |
| 1990 | CONCUR | Delay-Insensitive Circuits: An Algebraic Approach to their Design. | Mark B. Josephs, Jan Tijmen Udding |
| 1989 | MPC | Towards a Calculus of Data Refinement. | Wei Chen, Jan Tijmen Udding |
| 1989 | MPC | Networks of Communicating Processes and Their (De-)Composition. | Wei Chen, Jan Tijmen Udding, Tom Verhoeff |