Author of the publication

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.

 

Other publications of authors with the same name

Design and Implementation of the Linpack Benchmark for Single and Multi-node Systems Based on Intel® Xeon Phi Coprocessor., , , , , , , , and . IPDPS, page 126-137. IEEE Computer Society, (2013)Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction.. Ershov Memorial Conference, volume 4378 of Lecture Notes in Computer Science, page 443-450. Springer, (2006)A Domain View of Timed Behaviors., , and . Fundam. Informaticae, 133 (2-3): 133-147 (2014)Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction.. Ershov Memorial Conference, volume 7162 of Lecture Notes in Computer Science, page 86-94. Springer, (2011)Real-Time Event Structures and Scott Domains.. PaCT, volume 3606 of Lecture Notes in Computer Science, page 42-48. Springer, (2005)Semantic domains of timed event structures., and . Program. Comput. Softw., 34 (3): 125-137 (2008)A Domain View of Timed Behaviors., , and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 111-121. CEUR-WS.org, (2013)