From post

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs.

, , и . LATA, том 12638 из Lecture Notes in Computer Science, стр. 279-290. Springer, (2021)

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.

 

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

A Lazy Query Scheme for Reachability Analysis in Petri Nets., , и . Petri Nets, том 12734 из Lecture Notes in Computer Science, стр. 360-378. Springer, (2021)An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs., , и . LATA, том 12638 из Lecture Notes in Computer Science, стр. 279-290. Springer, (2021)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , и 9 other автор(ы). TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 50-68. Springer, (2019)