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

Going with the Flow: Parameterized Verification Using Message Flows., and . FMCAD, page 1-8. IEEE, (2008)Protocol verification using flows: An industrial experience., , and . FMCAD, page 172-179. IEEE, (2009)Symbolic Execution for BIOS Security., , , , and . WOOT, USENIX Association, (2015)Many random walks are faster than one, , , , , and . SPAA '08: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, page 119--128. New York, NY, USA, ACM, (2008)Many Random Walks Are Faster Than One., , , , , and . Comb. Probab. Comput., 20 (4): 481-502 (2011)Many random walks are faster than one., , , , , and . SPAA, page 119-128. ACM, (2008)Knowledge, Probability, and Adversaries., and . J. ACM, 40 (4): 917-962 (1993)Model checking transactional memory with spin., , and . PODC, page 424. ACM, (2008)Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions., , and . PODC, page 231-238. ACM, (2011)Fast Increment Registers., and . WDAG, volume 857 of Lecture Notes in Computer Science, page 74-88. Springer, (1994)