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

Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)., , , and . Dagstuhl Reports, 6 (10): 1-12 (2016)Trading off space for passes in graph streaming problems., , and . ACM Trans. Algorithms, 6 (1): 6:1-6:17 (2009)Reactive Imperative Programming with Dataflow Constraints., , and . ACM Trans. Program. Lang. Syst., 37 (1): 3:1-3:53 (2014)Mantaining Dynamic Matrices for Fully Dynamic Transitive Closure., and . Algorithmica, 51 (4): 387-427 (2008)Dynamic shortest paths and transitive closure: Algorithmic techniques and data structures., and . J. Discrete Algorithms, 4 (3): 353-383 (2006)Ball-Larus path profiling across multiple loop iterations., and . OOPSLA, page 373-390. ACM, (2013)SymNav: Visually Assisting Symbolic Execution., , , , , , , , and . VizSEC, page 1-11. IEEE, (2019)Static Analysis of ROP Code., , , and . EuroSec@EuroSys, page 2:1-2:6. ACM, (2019)Dynamic Graphs., , and . Handbook of Data Structures and Applications, Chapman and Hall/CRC, (2004)Dynamic Trees., , and . Handbook of Data Structures and Applications, Chapman and Hall/CRC, (2004)