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.

 

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

Knowledge-Based Cinematography and Its Applications., и . ECAI, стр. 256-262. IOS Press, (2004)A Probabilistic Dynamic Logic, и . STOC, стр. 181-195. ACM, (1982)Automated Creation of Movie Summaries in Interactive Virtual Environments., , , и . VR, стр. 191-189. IEEE Computer Society, (2004)Detecting Refactored Clones., и . ECOOP, том 7920 из Lecture Notes in Computer Science, стр. 502-526. Springer, (2013)Portability by Automatic Translation - A Large-Scale Case Study., и . KBSE, стр. 123-130. IEEE Computer Society, (1995)Jose: Aspects for Design by Contract80-89., , и . SEFM, стр. 80-89. IEEE Computer Society, (2006)Code-motion for API migration: fixing SQL injection vulnerabilities in Java., , и . WRT@ICSE, стр. 1-7. ACM, (2011)Discern: Towards the Automatic Discovery of Software Contracts., и . SEFM, стр. 90-99. IEEE Computer Society, (2006)A Decidable Propositional Probabilistic Dynamic Logic. STOC, стр. 298-309. ACM, (1983)Automatic recovery of statecharts from procedural code., и . ASE, стр. 238-241. ACM, (2012)