( en | de | ru )

 

Disambiguation of "Rasmussen, Jacob"

Author of the publication

copydeleteadd this publication to your clipboard
The Superpolynomial for Knot Homologies.

, , and . Experimental Mathematics, 15 (2): 129-159 (2006)

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.

Detlef Rasmussen

Jens Rasmussen

Nora Rasmussen

Ove Rasmussen

Maria Rasmussen

 

Other publications of authors with the same name

On Stable Khovanov Homology of Torus Knots., , and . Exp. Math., 22 (3): 265-281 (2013)The Superpolynomial for Knot Homologies., , and . Experimental Mathematics, 15 (2): 129-159 (2006)Resource-Optimal Scheduling Using Priced Timed Automata., , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 220-235. Springer, (2004)Model-Based GUI Testing Using Uppaal at Novo Nordisk., , , , and . FM, volume 5850 of Lecture Notes in Computer Science, page 814-818. Springer, (2009)Almost Optimal Strategies in One Clock Priced Timed Games., , , and . FSTTCS, volume 4337 of Lecture Notes in Computer Science, page 345-356. Springer, (2006)Optimal Conditional Reachability for Multi-priced Timed Automata., and . FoSSaCS, volume 3441 of Lecture Notes in Computer Science, page 234-249. Springer, (2005)Schedulability Analysis Using Uppaal: Herschel-Planck Case Study., , , , , , , and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 175-190. Springer, (2010)Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness., , and . FORMATS, volume 3829 of Lecture Notes in Computer Science, page 81-94. Springer, (2005)Optimal scheduling using priced timed automata., , and . SIGMETRICS Perform. Evaluation Rev., 32 (4): 34-40 (2005)Generation of Realistic Activity Scenarios for SUMO., , , , and . MobiQuitous, page 357-365. ACM, (2020)