Author of the publication

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.

 

Other publications of authors with the same name

Fast Algorithms for Rank-1 Bimatrix Games., , , , and . Oper. Res., 69 (2): 613-631 (2021)Fast Algorithms for Rank-1 Bimatrix Games., , , , and . CoRR, (2018)Local and global analysis of parametric solid sweeps., , and . Comput. Aided Geom. Des., 31 (6): 294-316 (2014)A procedural framework and mathematical analysis for solid sweeps, , and . CoRR, (2012)Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version)., , , and . CoRR, (2020)Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words., , and . J. Comput. Syst. Sci., (2023)First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words., , and . FCT, volume 12867 of Lecture Notes in Computer Science, page 39-52. Springer, (2021)Asynchronous wreath product and cascade decompositions for concurrent behaviours., , , and . Log. Methods Comput. Sci., (2022)Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages., , , and . CONCUR, volume 243 of LIPIcs, page 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Keeping Track of the Latest Gossip in Shared Memory Systems., , and . FSTTCS, volume 1974 of Lecture Notes in Computer Science, page 477-488. Springer, (2000)