From post

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.

 

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

Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets., , и . SAS, том 11822 из Lecture Notes in Computer Science, стр. 459-480. Springer, (2019)Termination Analysis of Programs with Multiphase Control-Flow., и . HCVS@ETAPS, том 344 из EPTCS, стр. 13-21. (2021)Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis., , и . Theory Pract. Log. Program., 19 (5-6): 990-1005 (2019)