( 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

The Superpolynomial for Knot Homologies., , and . Experimental Mathematics, 15 (2): 129-159 (2006)On Stable Khovanov Homology of Torus Knots., , and . Exp. Math., 22 (3): 265-281 (2013)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)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)3D Ultrasound and MRI in Assessing Resection Margins during Tongue Cancer Surgery: A Research Protocol for a Clinical Diagnostic Accuracy Study., , , , , , , , , and . J. Imaging, 9 (9): 174 (2023)Generation of Realistic Activity Scenarios for SUMO., , , , and . MobiQuitous, page 357-365. ACM, (2020)Tools for Model-Checking Timed Systems., , , , , , , , , and 5 other author(s). Communicating Embedded Systems, Wiley, (2013)Priced Timed Automata: Algorithms and Applications., , and . FMCO, volume 3657 of Lecture Notes in Computer Science, page 162-182. Springer, (2004)