( en | de | ru )

 

Disambiguation of "Staunstrup, Jørgen"

Author of the publication

copydeleteadd this publication to your clipboard
Problem Heaps and Their Evaluation.

, , , and . Parallel Process. Lett., (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jørgen Skov Sørensen

Anders Jørgen Bjørndalen

Hans-Jørgen Schanz

Jörgen Haalck

Jörgen Norén

 

Other publications of authors with the same name

A formal approach to hardware design.. The Kluwer international series in engineering and computer science Kluwer, (1994)Mechanized Verification of Speed-independence., and . TPCD, volume 901 of Lecture Notes in Computer Science, page 146-164. Springer, (1994)A systems design course emphasizing interfaces.. MSE, page 36-38. IEEE Computer Society, (1997)Partial Model Checking with ROBDDs., , and . TACAS, volume 1217 of Lecture Notes in Computer Science, page 35-49. Springer, (1997)Introduction.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 1-4. Springer, (1981)Tutorial on Design Verification with Synchronized Transitions., and . TPCD, volume 901 of Lecture Notes in Computer Science, page 239-257. Springer, (1994)Design of delay insensitive circuits using multi-ring structures., , and . EURO-DAC, page 15-20. IEEE Computer Society Press, (1992)Synthesizing Delay Insensitive Circuits from Verified Programs., , and . Research Directions in High-Level Parallel Programming Languages, volume 574 of Lecture Notes in Computer Science, page 326-337. Springer, (1991)From High-Level Descriptions to VLSI Circuits., and . BIT, 28 (3): 620-638 (1988)Analysis of concurrent algorithms.. CONPAR, volume 111 of Lecture Notes in Computer Science, page 217-230. Springer, (1981)