( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using targeted symbolic execution for reducing false-positives in dataflow analysis.

, , , и . SOAP@PLDI, стр. 1-6. ACM, (2015)

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.

Robert Hahn

Robert Hahn

Robert Hahn

Robert Hahn

Robert Hahn

 

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

Energy autonomous sensor systems: Towards a ubiquitous sensor technology., , , , , , , , , и 1 other автор(ы). Microelectron. J., 41 (11): 740-745 (2010)Epikureer - besser als ihr Ruf : eine antike Inschrift rettet das Image der Philosophenschule. Bild der Wissenschaft,   (3): 88-89 (2010)The Promise of Prediction Markets, , , , , , , , , и 12 other автор(ы). Science, (мая 2008)Why the iPhone Won't Last Forever and What the Government Should Do to Promote its Successor., и . JTHTL, 8 (2): 313-350 (2010)Making use of a medium scale computer in an operationally oriented work environment.. SIGCPR, стр. 86-94. ACM, (1965)Batteries and Power Supplies for Wearable and Ubiquitous Computing., и . ISWC, стр. 168-169. IEEE Computer Society, (1999)Gradient-Based Eigenvalue Optimization for Electromagnetic Cavities with Built-in Mode Matching., , , , и . CoRR, (2023)Regulatory constraints on environmental markets. Journal of Public Economics, 42 (2): 149--175 (июля 1990)Corrigendum: Modelling of Peripheral Fluid Accumulation after a Crystalloid Bolus in Female Volunteers - A Mathematical Study., , , , , , и . Comput. Math. Methods Medicine, 2010 (4): 389-390 (2010)Plasma Volume Expansion Resulting from Intravenous Glucose Tolerance Test., и . Comput. Math. Methods Medicine, (2011)