Search the dblp DataBase

Publications of Author

1. Rudi van Drunen, Lambert Spaanenburg, Paul G. Lucassen, J. A. G. Nijhuis, Jan Tijmen Udding
   Arithmetic for Relative Accuracy. [Citation Graph (0, 0)][DBLP]
   IEEE Symposium on Computer Arithmetic, 1995, pp:208-0 [Conf]
   
2. Paul G. Lucassen, Indra Polak, Jan Tijmen Udding
   Normal Form in DI-Algebra with Recursion. [Citation Graph (0, 0)][DBLP]
   ASYNC, 1997, pp:167-174 [Conf]
   
3. Willem C. Mallon, Jan Tijmen Udding
   Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. [Citation Graph (0, 0)][DBLP]
   ASYNC, 1997, pp:175-0 [Conf]
   
4. Willem C. Mallon, Jan Tijmen Udding
   Building Finite Automata from DI Specifications. [Citation Graph (0, 0)][DBLP]
   ASYNC, 1998, pp:184-193 [Conf]
   
5. Willem C. Mallon, Jan Tijmen Udding, Tom Verhoeff
   Analysis and Applications of the XDI model. [Citation Graph (0, 0)][DBLP]
   ASYNC, 1999, pp:231-242 [Conf]
   
6. Mark B. Josephs, Jan Tijmen Udding
   An Algebra for Delay-Insensitive Circuits. [Citation Graph (0, 0)][DBLP]
   CAV, 1990, pp:343-352 [Conf]
   
7. Mark B. Josephs, Jan Tijmen Udding
   Delay-Insensitive Circuits: An Algebraic Approach to their Design. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1990, pp:342-366 [Conf]
   
8. Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding
   Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE. [Citation Graph (0, 0)][DBLP]
   HICSS, 1999, pp:- [Conf]
   
9. Mark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, Jelio T. Yantchev
   High-Level Design of an Asynchronous Packet-Routing Chip. [Citation Graph (0, 0)][DBLP]
   Designing Correct Circuits, 1992, pp:261-274 [Conf]
   
10. Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding
    Normal Form in a Delay-Insensitive Algebra. [Citation Graph (0, 0)][DBLP]
    Asynchronous Design Methodologies, 1993, pp:57-70 [Conf]
    
11. Mark B. Josephs, Jan Tijmen Udding
    Implementing a Stack as a Delay-insensitive Circuit. [Citation Graph (0, 0)][DBLP]
    Asynchronous Design Methodologies, 1993, pp:123-135 [Conf]
    
12. Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding
    Algebraic Proof Assistants in HOL. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:304-321 [Conf]
    
13. Wei Chen, Jan Tijmen Udding
    Towards a Calculus of Data Refinement. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:197-218 [Conf]
    
14. Wei Chen, Jan Tijmen Udding, Tom Verhoeff
    Networks of Communicating Processes and Their (De-)Composition. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:174-196 [Conf]
    
15. Anne Kaldewaij, Jan Tijmen Udding
    Rank Order Filters and Priority Queues. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1992, v:6, n:2, pp:99-105 [Journal]
    
16. Jan Tijmen Udding
    A Formal Model for Defining and Classifying Delay-Insensitive Circuits and Systems. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:4, pp:197-204 [Journal]
    
17. Jan L. A. van de Snepscheut, Jan Tijmen Udding
    An Alternative Implementation of Communication Primitives. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1986, v:23, n:5, pp:231-238 [Journal]
    
18. Jan Tijmen Udding
    Absence of Individual Starvation Using Weak Semaphores. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1986, v:23, n:3, pp:159-162 [Journal]
    
19. Wei Chen, Jan Tijmen Udding
    Program Inversion: More than Fun! [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1990, v:15, n:1, pp:1-13 [Journal]
    
20. David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding
    An Algorithm for Transitive Reduction of an Acyclic Graph. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1989, v:12, n:2, pp:151-155 [Journal]