( en | de | ru )

 

Disambiguation of "Hune, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.

, , , , , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 493-505. Springer, (2001)

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.

Michael Hune

Sabine Hünecke

Einfluss von natürlichen Killer-(NK)-Zellen auf den Graft versus Leukämie-Tumor-Effekt und die Immunrekonstitution bei pädiatrischen Patienten mit malignen Erkrankungen nach haploidenter Stammzelltransplantation. Uni Frankfurt Main, (2009)

Kurt Hünecke

Werner Hünemörder

Paul Hunecke

 

Other publications of authors with the same name

Timed Bisimulation and Open Maps., and . MFCS, volume 1450 of Lecture Notes in Computer Science, page 378-387. Springer, (1998)As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata., , , , , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 493-505. Springer, (2001)Distributing Timed Model Checking - How the Search Order Matters., , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 216-231. Springer, (2000)A Case Study on Using Automata in Control Synthesis., and . FASE, volume 1783 of Lecture Notes in Computer Science, page 349-362. Springer, (2000)Minimum-Cost Reachability for Priced Timed Automata., , , , , , and . HSCC, volume 2034 of Lecture Notes in Computer Science, page 147-161. Springer, (2001)Efficient Guiding Towards Cost-Optimality in UPPAAL., , , , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 174-188. Springer, (2001)Guided Synthesis of Control Programs Using UPPAAL., , and . Nord. J. Comput., 8 (1): 43-64 (2001)Guided Synthesis of Control Programs Using UPPAAL., , and . ICDCS Workshop on Distributed System Validation and Verification, page E15-E22. (2000)Linear Parametric Model Checking of Timed Automata., , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 189-203. Springer, (2001)