Ran Ji

Visar 4 publikationer

2012

Towards a Deductive Compilation Approach

Ran Ji
Licentiatavhandling
2011

Program specialization via a software verification tool

Richard Bubel, Reiner Hähnle, Ran Ji
Lecture Notes in Computer Science. Vol. 6957, p. 80-101
Paper i proceeding
2010

Interleaving Symbolic Execution and Partial Evaluation

Richard Bubel, Reiner Hähnle, Ran Ji
Lecture Notes in Computer Science. Vol. 6286, p. 125-146
Paper i proceeding
2009

Automated Analysis of Data-Dependent Programs with Dynamic Memory

Ran Ji, Parosh Aziz Abdulla, Jonathan Cederberg et al
Lecture Notes in Computer Science. Vol. 5799 (Lecture Notes in Computer Science), p. 197-212
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Ran Ji medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.