| 21. |
Broschart, Andreas
(2012)
Efficient query processing and index tuning using proximity scores
Dissertation
|
| 22. |
Wischnewski, Patrick
(2012)
Efficient reasoning procedures for complex first-order theories
Dissertation
|
| 23. |
Tolosi, Laura
(2012)
Finding regions of aberrant DNA copy number associated with tumor phenotype
Dissertation
|
| 24. |
Degenbaev, Ulan
(2012)
Formal specification of the x86 instruction set architecture
Dissertation
|
| 25. |
Emeliyanenko, Pavel
(2012)
Harnessing the power of GPUs for problems in real algebraic geometry
Dissertation
|
| 26. |
Kaminski, Mark
(2012)
Incremental decision procedures for modal logics with nominals and eventualities
Dissertation
|
| 27. |
Sun, Weiwei
(2012)
Learning Chinese language structures with multiple views
Dissertation
|
| 28. |
Awadallah, Rawia
(2012)
Methods for constructing an opinion network for politically controversial topics
Dissertation
|
| 29. |
Herzig, Kim Sebastian
(2012)
Mining and untangling change genealogies
Dissertation
|
| 30. |
Mileva, Yana Momchilova
(2012)
Mining the evolution of software component usage
Dissertation
|
