( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Superpolynomial for Knot Homologies.

, , и . 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.

Detlef Rasmussen

Jens Rasmussen

Nora Rasmussen

Ove Rasmussen

Maria Rasmussen

 

Другие публикации лиц с тем же именем

The Superpolynomial for Knot Homologies., , и . Experimental Mathematics, 15 (2): 129-159 (2006)On Stable Khovanov Homology of Torus Knots., , и . Exp. Math., 22 (3): 265-281 (2013)Resource-Optimal Scheduling Using Priced Timed Automata., , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 220-235. Springer, (2004)Model-Based GUI Testing Using Uppaal at Novo Nordisk., , , , и . FM, том 5850 из Lecture Notes in Computer Science, стр. 814-818. Springer, (2009)Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness., , и . FORMATS, том 3829 из Lecture Notes in Computer Science, стр. 81-94. Springer, (2005)Optimal scheduling using priced timed automata., , и . 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., , , , , , , , , и . J. Imaging, 9 (9): 174 (2023)Generation of Realistic Activity Scenarios for SUMO., , , , и . MobiQuitous, стр. 357-365. ACM, (2020)Tools for Model-Checking Timed Systems., , , , , , , , , и 5 other автор(ы). Communicating Embedded Systems, Wiley, (2013)Complexity in Simplicity: Flexible Agent-Based State Space Exploration., , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 231-245. Springer, (2007)