Jan Tijmen Udding

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

Coauthor Index

1	Wei Chen	[5] [6] [7]
2	Paul Dechering	[19]
3	Rudi van Drunen	[15]
4	David Gries	[4]
5	Rix Groenboom	[12] [14] [19]
6	Chris Hendriks	[14]
7	Edwin D. de Jong	[19]
8	Mark B. Josephs	[8] [9] [11] [12] [13]
9	Anne Kaldewaij	[10]
10	Paul G. Lucassen	[12] [15] [17]
11	Rudolf H. Mak	[11]
12	Willem C. Mallon	[16] [18] [20]
13	Alain J. Martin	[4]
14	J. A. G. Nijhuis	[15]
15	Indra Polak	[14] [17]
16	Jan L. A. van de Snepscheut	[1] [4]
17	Lambert Spaanenburg	[15]
18	Jan Terlouw	[14]
19	Tom Verhoeff	[6] [11] [20]
20	Jelio T. Yantchev	[11]

Colors in the list of coauthors