Jan Tijmen Udding

Publication Activity (10 Years)

Years Active: 1986-2014
Publications (10 Years): 0

Top Topics

Levels Of Abstraction

Dynamic Allocation

Distribution Networks

Top Venues

Adv. Complex Syst.

Eur. J. Oper. Res.

Publications

Amir Hossein Gharehgozli, Yugang Yu, René M. B. M. de Koster, Jan Tijmen Udding
An exact method for scheduling a yard crane. Eur. J. Oper. Res. 235 (2) (2014)
M. P. M. Hendriks, Erjen Lefeber, Jan Tijmen Udding
Simultaneous berth allocation and yard planning at tactical level. OR Spectr. 35 (2) (2013)
M. P. M. Hendriks, Dieter Armbruster, Marco Laumanns, Erjen Lefeber, Jan Tijmen Udding
Design of Robust Distribution Networks Run by Third Party Logistics Service Providers. Adv. Complex Syst. 15 (5) (2012)
Maarten Hendriks, Marco Laumanns, Erjen Lefeber, Jan Tijmen Udding
Robust cyclic berth planning of container vessels. OR Spectr. 32 (3) (2010)
Dieter Armbruster, M. P. M. Hendriks, Erjen Lefeber, Jan Tijmen Udding
Structural Properties of Third-Party Logistics Networks. LDIC (2009)
Willem C. Mallon, Jan Tijmen Udding, Tom Verhoeff
Analysis and Applications of the XDI model. ASYNC (1999)
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)
Willem C. Mallon, Jan Tijmen Udding
Building Finite Automata from DI Specifications. ASYNC (1998)
Willem C. Mallon, Jan Tijmen Udding
Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. ASYNC (1997)
Paul G. Lucassen, Indra Polak, Jan Tijmen Udding
Normal Form in DI-Algebra with Recursion. ASYNC (1997)
H. Keegstra, Walter J. Jansen, J. A. G. Nijhuis, Lambert Spaanenburg, H. Stevens, Jan Tijmen Udding
Exploiting network redundancy for low-cost neural network realizations. ICNN (1996)
Paul G. Lucassen, Jan Tijmen Udding
On the correctness of the Sproull counterflow pipeline processor. ASYNC (1996)
Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding
Algebraic Proof Assistants in HOL. MPC (1995)
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)
Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff
Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra. ASYNC (1994)
Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding
Normal Form in a Delay-Insensitive Algebra. Asynchronous Design Methodologies (1993)
Mark B. Josephs, Jan Tijmen Udding
Implementing a Stack as a Delay-insensitive Circuit. Asynchronous Design Methodologies (1993)
Mark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, Jelio Todorov Yantchev
High-Level Design of an Asynchronous Packet-Routing Chip. Designing Correct Circuits (1992)
Anne Kaldewaij, Jan Tijmen Udding
Rank Order Filters and Priority Queues. Distributed Comput. 6 (2) (1992)
Mark B. Josephs, Jan Tijmen Udding
An Algebra for Delay-Insensitive Circuits. CAV (DIMACS/AMS volume) (1990)
Mark B. Josephs, Jan Tijmen Udding
Delay-Insensitive Circuits: An Algebraic Approach to their Design. CONCUR (1990)
Mark B. Josephs, Jan Tijmen Udding
An Algebra for Delay-Insensitive Circuits. CAV (1990)
Wei Chen, Jan Tijmen Udding
Program Inversion: More than Fun! Sci. Comput. Program. 15 (1) (1990)
Wei Chen, Jan Tijmen Udding, Tom Verhoeff
Networks of Communicating Processes and Their (De-)Composition. MPC (1989)
Wei Chen, Jan Tijmen Udding
Towards a Calculus of Data Refinement. MPC (1989)
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) (1989)
Jan Tijmen Udding
A Formal Model for Defining and Classifying Delay-Insensitive Circuits and Systems. Distributed Comput. 1 (4) (1986)
Jan Tijmen Udding
Absence of Individual Starvation Using Weak Semaphores. Inf. Process. Lett. 23 (3) (1986)
Jan L. A. van de Snepscheut, Jan Tijmen Udding
An Alternative Implementation of Communication Primitives. Inf. Process. Lett. 23 (5) (1986)