Jan Tijmen Udding

According to our database, Jan Tijmen Udding authored at least 28 papers between 1986 and 2014.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2014

An exact method for scheduling a yard crane.

Amir Hossein Gharehgozli, Yugang Yu, René M. B. M. de Koster, Jan Tijmen Udding

Eur. J. Oper. Res., 2014

2013

Simultaneous berth allocation and yard planning at tactical level.

M. P. M. Hendriks, Erjen Lefeber, Jan Tijmen Udding

OR Spectr., 2013

2012

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

M. P. M. Hendriks, Dieter Armbruster, Marco Laumanns, Erjen Lefeber, Jan Tijmen Udding

Adv. Complex Syst., 2012

2010

Robust cyclic berth planning of container vessels.

Maarten Hendriks, Marco Laumanns, Erjen Lefeber, Jan Tijmen Udding

OR Spectr., 2010

2009

Structural Properties of Third-Party Logistics Networks.

Dieter Armbruster, M. P. M. Hendriks, Erjen Lefeber, Jan Tijmen Udding

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

1999

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

Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding

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

Analysis and Applications of the XDI model.

Willem C. Mallon, Jan Tijmen Udding, Tom Verhoeff

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

1998

Building Finite Automata from DI Specifications.

Willem C. Mallon, Jan Tijmen Udding

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.

Willem C. Mallon, Jan Tijmen Udding

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

Normal Form in DI-Algebra with Recursion.

Paul G. Lucassen, Indra Polak, Jan Tijmen Udding

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

1996

Exploiting network redundancy for low-cost neural network realizations.

H. Keegstra, Walter J. Jansen, J. A. G. Nijhuis, Lambert Spaanenburg, H. Stevens, Jan Tijmen Udding

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

On the correctness of the Sproull counterflow pipeline processor.

Paul G. Lucassen, Jan Tijmen Udding

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

1995

Algebraic Proof Assistants in HOL.

Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding

Proceedings of the Mathematics of Program Construction, 1995

Arithmetic for Relative Accuracy.

Rudi van Drunen, Lambert Spaanenburg, Paul G. Lucassen, J. A. G. Nijhuis, Jan Tijmen Udding

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.

Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff

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

1993

Implementing a Stack as a Delay-insensitive Circuit.

Mark B. Josephs, Jan Tijmen Udding

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.

Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding

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

1992

Rank Order Filters and Priority Queues.

Anne Kaldewaij, Jan Tijmen Udding

Distributed Comput., 1992

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

Mark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, Jelio Todorov Yantchev

Proceedings of the Designing Correct Circuits, 1992

1990

Program Inversion: More than Fun!

Wei Chen, Jan Tijmen Udding

Sci. Comput. Program., 1990

Delay-Insensitive Circuits: An Algebraic Approach to their Design.

Mark B. Josephs, Jan Tijmen Udding

Proceedings of the CONCUR '90, 1990

An Algebra for Delay-Insensitive Circuits.

Mark B. Josephs, Jan Tijmen Udding

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

1989

An Algorithm for Transitive Reduction of an Acyclic Graph.

David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding

Sci. Comput. Program., 1989

Networks of Communicating Processes and Their (De-)Composition.

Wei Chen, Jan Tijmen Udding, Tom Verhoeff

Proceedings of the Mathematics of Program Construction, 1989

Towards a Calculus of Data Refinement.

Wei Chen, Jan Tijmen Udding

Proceedings of the Mathematics of Program Construction, 1989

1986

Absence of Individual Starvation Using Weak Semaphores.

Jan Tijmen Udding

Inf. Process. Lett., 1986

An Alternative Implementation of Communication Primitives.

Jan L. A. van de Snepscheut, Jan Tijmen Udding

Inf. Process. Lett., 1986

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

Jan Tijmen Udding

Distributed Comput., 1986