Author of the publication

Faster Algorithms for Weighted Recursive State Machines.

, , , and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 287-313. Springer, (2017)

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

The Time Scale of Evolutionary Innovation., , , and . PLoS Comput. Biol., (2014)Maximizing the Probability of Fixation in the Positional Voter Model., , and . AAAI, page 12269-12277. AAAI Press, (2023)Invasion Dynamics in the Biased Voter Process., , , and . IJCAI, page 265-271. ijcai.org, (2022)Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth., , , , and . CoRR, (2020)Passively mobile communicating machines that use restricted space., , , , and . FOMC, page 6-15. ACM, (2011)Passively mobile communicating logarithmic space machines, , , , and . (2010)The fine-grained and parallel complexity of andersen's pointer analysis., and . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth., , , , and . ACM Trans. Program. Lang. Syst., 41 (4): 23:1-23:46 (2019)Algorithms for algebraic path properties in concurrent systems of constant treewidth components., , , and . POPL, page 733-747. ACM, (2016)Fixation Maximization in the Positional Moran Process., , , , and . AAAI, page 9304-9312. AAAI Press, (2022)