From post

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.

 

Другие публикации лиц с тем же именем

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