Publications

Export 227 results:
Sort by: [ Author (Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Z
Zulkoski, E., V. Ganesh, and K. Czarnecki, "MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers", International Conference on Automated Deduction, Berlin, Germany, Springer, 08/2015. [pdf][pptx]
Zulkoski, E., C. Kleynhans, M-H. Yee, D. Rayside, and K. Czarnecki, "Optimizing Alloy for Multi-Objective Software Product Line Configuration", ABZ, Toulouse, France, Springer-Verlag, 06/2014. [pdf]

Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.

Rehan Rauf

We've got lots of freedom and independence, but you are never on your own when you encounter problems.

Kacper Bąk