בית הספר למדעי המחשב
המכללה האקדמית תל-אביב
| 9 | |
| 8 |
שירי מורשטיין תזה: שיטות לאימות סיבוכיות זמן הריצה של אלגוריתמים באמצעות Dafny pdf תאריך: 2 בדצמבר 2020 פירסום: F-IDE 2021 בהנחיה משותפת עם: רן אטינגר ושמואל טישברוביץ |
| 7 |
עדי שבת-מרינוב תזה: אלגוריתם יעיל ומשמר תחביר לפריסת תוכניות אשר מבוסס על הזזות קוד pdf תאריך: 1 בדצמבר 2020
בהנחיה משותפת עם: רן אטינגר ושמואל טישברוביץ |
| 6 |
אור גולוב פרוייקט: A Slice Refinement Framework for the Derivation of Correct Refactoring Tools and Algorithms תאריך: 2018
בהנחיה משותפת עם: רן אטינגר ושמואל טישברוביץ |
| 5 |
אלכס טילקין פרוייקט: Deverywhere - פיתוח תוכנה בכל מקום pdf תאריך: 2015 פירסום: MOBILESoft 2015 בהנחיה משותפת עם: שמואל טישברוביץ וישי פלדמן |
| 4 |
שי מניה פרוייקט: Efficient method extraction for automatic elimination of type-3 clones תאריך: 2013 פירסום: SANER 2017 |
| 3 |
משה צמח פרוייקט: חילוץ פרוצדורות משמר משמעות תאריך: 2012
|
| 2 | |
| 1 |
ולדימיר פולונסקי פרוייקט: ניתוח תחבירי של Jose, מערכת לפיתוח מונחה חוזים תאריך: 2006
|