# Jan Tijmen Udding

According to our database

Collaborative distances:

^{1}, Jan Tijmen Udding authored at least 28 papers between 1986 and 2014.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2014

Eur. J. Oper. Res., 2014

2013

OR Spectr., 2013

2012

Design of Robust Distribution Networks Run by Third Party Logistics Service Providers.

Adv. Complex Syst., 2012

2010

OR Spectr., 2010

2009

Proceedings of the Dynamics in Logistics, Second International Conference, 2009

1999

Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE.

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999

1998

Proceedings of the 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 30 March, 1998

1997

Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications.

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

1996

Proceedings of International Conference on Neural Networks (ICNN'96), 1996

Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '96), 1996

1995

Proceedings of the Mathematics of Program Construction, 1995

Proceedings of the 12th Symposium on Computer Arithmetic (ARITH-12 '95), 1995

1994

Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra.

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

1993

Implementing a Stack as a Delay-insensitive Circuit.

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993

Normal Form in a Delay-Insensitive Algebra.

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993

1992

Distributed Comput., 1992

High-Level Design of an Asynchronous Packet-Routing Chip.

Proceedings of the Designing Correct Circuits, 1992

1990

Sci. Comput. Program., 1990

Proceedings of the CONCUR '90, 1990

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Sci. Comput. Program., 1989

Proceedings of the Mathematics of Program Construction, 1989

Proceedings of the Mathematics of Program Construction, 1989

1986

Inf. Process. Lett., 1986

Inf. Process. Lett., 1986

A Formal Model for Defining and Classifying Delay-Insensitive Circuits and Systems.

Distributed Comput., 1986