| 2024-1 | T-707-MOVE | Modeling and Verification |
| 2024-1 | T-505-ROKF | Logic in Computer Science |
| 2023-3 | T-899-MSTH | MS Thesis |
| 2023-1 | T-707-MOVE | Modeling and Verification |
| 2023-1 | T-879-MSRS | MSc Research |
| 2023-1 | T-899-MSTH | MS Thesis |
| 2022-3 | T-999-PHDT | PhD Thesis in Computer Science |
| 2022-1 | T-999-PHDT | PhD Thesis in Computer Science |
| 2022-1 | T-707-MOVE | Modeling and Verification |
| 2022-1 | T-505-ROKF | Logic in Computer Science |
| 2021-3 | T-404-LOKA | Final Project |
| 2021-1 | T-707-MOVE | Modeling and Verification |
| 2020-1 | T-707-MOVE | Modeling and Verification |
| 2020-1 | T-505-ROKF | Logic in Computer Science |
| 2019-1 | T-707-MOVE | Modeling and Verification |
| 2018-3 | T-519-STOR | Theory of Computation |
| 2018-1 | T-707-MOVE | Modeling and Verification |
| 2018-1 | T-505-ROKF | Logic in Computer Science |
| 2017-3 | T-519-STOR | Theory of Computation |
| 2017-3 | T-719-STO4 | Theory of Computation |
| 2017-1 | T-899-MSTH | MS Thesis |
| 2016-1 | T-707-MOVE | Modeling and Verification |
| 2016-1 | T-505-ROKF | Logic in Computer Science |
| 2015-3 | T-519-STOR | Theory of Computation |
| 2015-3 | T-719-STO4 | Theory of Computation |
| 2015-1 | T-707-MOVE | Modeling and Verification |
| 2014-3 | T-991-TPDE | Thesis Project Defense |
| 2014-3 | T-899-MSTH | MS Thesis |
| 2014-3 | T-519-STOR | Theory of Computation |
| 2014-3 | T-719-STO4 | Theory of Computation |
| 2014-1 | T-219-REMO | Real-time Models |
| 2014-1 | T-505-ROKF | Logic in Computer Science |
| 2013-3 | T-999-PHDT | PhD Thesis in Computer Science |
| 2013-3 | T-993-PHDD | PhD Dissertation Defense |
| 2013-3 | T-891-MSTD | MSc Thesis Defense |
| 2013-1 | T-891-MSTD | MSc Thesis Defense |
| 2013-1 | T-219-REMO | Real-time Models |
| 2013-1 | T-724-SETA | Semantics: Theory and Applications |
| 2012-3 | T-999-PHDT | PhD Thesis in Computer Science |
| 2012-1 | T-999-PHDT | PhD Thesis in Computer Science |
| 2012-1 | T-891-MSTD | MSc Thesis Defense |
| 2012-1 | T-899-MSTH | MS Thesis |
| 2012-1 | T-219-REMO | Real-time Models |
| 2012-1 | T-505-ROKF | Logic in Computer Science |
| 2011-3 | T-999-PHDT | PhD Thesis in Computer Science |
| 2011-3 | T-993-PHDD | PhD Dissertation Defense |
| 2011-3 | T-899-MSTH | MS Thesis |
| 2011-3 | T-992-PHDP | PhD Thesis Proposal |
| 2011-3 | T-719-STO4 | Theory of Computation |
| 2011-3 | T-519-STOR | Theory of Computation |
| 2011-1 | T-899-MSTH | MS Thesis |
| 2011-1 | T-724-SETA | Semantics: Theory and Applications |
| 2010-3 | T-519-STOR | Theory of Computation |
| 2010-3 | T-719-STO4 | Theory of Computation |
| 2010-1 | T-707-MOVE | Modeling and Verification |
| 2010-1 | T-505-ROKF | Logic in Computer Science |
| 2010-1 | T-702-ROKF | Logic in Computer Science |
| 2009-3 | T-719-STO4 | Theory of Computation |
| 2009-3 | T-519-STOR | Theory of Computation |
| 2009-3 | T-110-VERK | Problem Solving |
| 2009-1 | T-899-MSTH | MS Thesis |
| 2009-1 | T-719-STO4 | Theory of Computation |
| 2009-1 | T-519-STOR | Theory of Computation |
| 2008-3 | T-899-MSTH | MS Thesis |
| 2008-1 | T-707-MOVE | Modeling and Verification |
| 2007-3 | T-519-STOR | Theory of Computation |
| 2007-3 | T-719-STO4 | Theory of Computation |
| 2007-1 | T-604-STAR | Mathematical algorithms |
| 2006-3 | T-707-MOVE | Modeling and Verification |
| 2006-1 | T-619-LOKA | Research Oriented Final Project |
| 2006-1 | T-604-STAR | Mathematical algorithms |
| 2005-3 | T-519-STOR | Theory of Computation |
| 2005-3 | T-719-STO4 | Theory of Computation |