Jan Tijmen Udding

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