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

Mantaining Dynamic Matrices for Fully Dynamic Transitive Closure., and . Algorithmica, 51 (4): 387-427 (2008)Trading off space for passes in graph streaming problems., , and . ACM Trans. Algorithms, 6 (1): 6:1-6:17 (2009)Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)., , , and . Dagstuhl Reports, 6 (10): 1-12 (2016)Reactive Imperative Programming with Dataflow Constraints., , and . ACM Trans. Program. Lang. Syst., 37 (1): 3:1-3:53 (2014)Dynamic shortest paths and transitive closure: Algorithmic techniques and data structures., and . J. Discrete Algorithms, 4 (3): 353-383 (2006)SymNav: Visually Assisting Symbolic Execution., , , , , , , , and . VizSEC, page 1-11. IEEE, (2019)Ball-Larus path profiling across multiple loop iterations., and . OOPSLA, page 373-390. ACM, (2013)My (fair) big data., , , and . IEEE BigData, page 2974-2979. IEEE Computer Society, (2017)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)