2017 CS Technical Reports
- CS-2017-01
David H. Lorenz and Boaz Rosenan:
Application Embedding: A Language Approach to Declarative Web Programming
- CS-2017-02
Anna Trostanetski, Orna Grumberg, Daniel Kroening:
{Modular Demand-Driven Analysis of Semantic Difference for Program Versions
- CS-2017-03
Meirav Zehavi, Dor Ganor and Ron Y. Pinter:
GRegNetSim: A Tool for the Discrete Simulation and Analysis of Genetic Regulatory Networks
PDF files of the technical reports and theses from this year are currently accessible only within the Technion network.
To the main CS technical reports page