| |
| 2008 | ||
|---|---|---|
| 3 | EE | Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: On Local Reasoning in Verification. TACAS 2008: 265-281 |
| 2007 | ||
| 2 | EE | Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs: Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Deduction and Decision Procedures 2007 |
| 1 | EE | Viorica Sofronie-Stokkermans, Carsten Ihlemann: Automated Reasoning in Some Local Extensions of Ordered Structures. ISMVL 2007: 1 |
| 1 | Swen Jacobs | [2] [3] |
| 2 | Viorica Sofronie-Stokkermans (Viorica Sofronie) | [1] [2] [3] |