The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jan Tijmen Udding" ( http://dblp.L3S.de/Authors/Jan_Tijmen_Udding )

  Author page on DBLP  Author page in RDF  Community of Jan Tijmen Udding in ASPL-2

Publication years (Num. hits)
1986-1994 (15) 1995-2014 (13)
Publication types (Num. hits)
article(10) inproceedings(18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 29 publication records. Showing 28 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Amir Hossein Gharehgozli, Yugang Yu, René M. B. M. de Koster, Jan Tijmen Udding An exact method for scheduling a yard crane. Search on Bibsonomy European Journal of Operational Research The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1M. P. M. Hendriks, Erjen Lefeber, Jan Tijmen Udding Simultaneous berth allocation and yard planning at tactical level. Search on Bibsonomy OR Spectrum The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1M. P. M. Hendriks, Dieter Armbruster, Marco Laumanns, Erjen Lefeber, Jan Tijmen Udding Design of Robust Distribution Networks Run by Third Party Logistics Service Providers. Search on Bibsonomy Advances in Complex Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maarten Hendriks, Marco Laumanns, Erjen Lefeber, Jan Tijmen Udding Robust cyclic berth planning of container vessels. Search on Bibsonomy OR Spectrum The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dieter Armbruster, M. P. M. Hendriks, Erjen Lefeber, Jan Tijmen Udding Structural Properties of Third-Party Logistics Networks. Search on Bibsonomy LDIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Willem C. Mallon, Jan Tijmen Udding, Tom Verhoeff Analysis and Applications of the XDI model. Search on Bibsonomy ASYNC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Verification, Factorization, Derivation, Communicating Processes, Delay Insensitivity
1Rix Groenboom, Paul Dechering, Edwin D. de Jong, Jan Tijmen Udding Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Willem C. Mallon, Jan Tijmen Udding Building Finite Automata from DI Specifications. Search on Bibsonomy ASYNC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Willem C. Mallon, Jan Tijmen Udding Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF delay-insensitive specifications, recursive definition, linear proofs, intuitive induction rule, algebraic specification, algebraic specifications, theorem provers, correctness proofs, proof rules, proof rule
1Paul G. Lucassen, Indra Polak, Jan Tijmen Udding Normal Form in DI-Algebra with Recursion. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Paul G. Lucassen, Jan Tijmen Udding On the correctness of the Sproull counterflow pipeline processor. Search on Bibsonomy ASYNC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding Algebraic Proof Assistants in HOL. Search on Bibsonomy MPC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rudi van Drunen, Lambert Spaanenburg, Paul G. Lucassen, J. A. G. Nijhuis, Jan Tijmen Udding Arithmetic for Relative Accuracy. Search on Bibsonomy IEEE Symposium on Computer Arithmetic The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra. Search on Bibsonomy ASYNC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding Normal Form in a Delay-Insensitive Algebra. Search on Bibsonomy Asynchronous Design Methodologies The full citation details ... 1993 DBLP  BibTeX  RDF
1Mark B. Josephs, Jan Tijmen Udding Implementing a Stack as a Delay-insensitive Circuit. Search on Bibsonomy Asynchronous Design Methodologies The full citation details ... 1993 DBLP  BibTeX  RDF
1Anne Kaldewaij, Jan Tijmen Udding Rank Order Filters and Priority Queues. Search on Bibsonomy Distributed Computing The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Mark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, Jelio Todorov Yantchev High-Level Design of an Asynchronous Packet-Routing Chip. Search on Bibsonomy Designing Correct Circuits The full citation details ... 1992 DBLP  BibTeX  RDF
1Wei Chen, Jan Tijmen Udding Program Inversion: More than Fun! Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Mark B. Josephs, Jan Tijmen Udding An Algebra for Delay-Insensitive Circuits. Search on Bibsonomy CAV (DIMACS/AMS volume) The full citation details ... 1990 DBLP  BibTeX  RDF
1Mark B. Josephs, Jan Tijmen Udding Delay-Insensitive Circuits: An Algebraic Approach to their Design. Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Mark B. Josephs, Jan Tijmen Udding An Algebra for Delay-Insensitive Circuits. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding An Algorithm for Transitive Reduction of an Acyclic Graph. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Wei Chen, Jan Tijmen Udding, Tom Verhoeff Networks of Communicating Processes and Their (De-)Composition. Search on Bibsonomy MPC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Wei Chen, Jan Tijmen Udding Towards a Calculus of Data Refinement. Search on Bibsonomy MPC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Jan Tijmen Udding Absence of Individual Starvation Using Weak Semaphores. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Jan L. A. van de Snepscheut, Jan Tijmen Udding An Alternative Implementation of Communication Primitives. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Jan Tijmen Udding A Formal Model for Defining and Classifying Delay-Insensitive Circuits and Systems. Search on Bibsonomy Distributed Computing The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #28 of 28 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license