Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Scriptie

Automatically proving equality of infinite sequences

Auteur: Roelofs, S., 28 okt 2019

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Comparison of techniques for solving reachability problems

Auteur: van Ballegooij, P., 30 apr 2006

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Finding maximal frequent subgraphs

Auteur: Wagemans, J., 30 jun 2008

Begeleider: Zantema, H. (Afstudeerdocent 1) & Bosnacki, D. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Optimal instruction scheduling and register allocation for coarse-grained reconfigurable architectures

Auteur: Tiemersma, A., 24 apr 2017

Begeleider: Corporaal, H. (Afstudeerdocent 1), Jordans, R. (Afstudeerdocent 2) & Zantema, H. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Physical design automation: automatic placement and routing for analog chip designs

Auteur: van Otterdijk, P., 30 sep 2011

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Proving $SN\sp \infty$ automatically

Auteur: Hermans, F., 31 okt 2008

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Proving liveness in waiting lines

Auteur: Schmitz, R., 31 aug 2007

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Proving non-convertibility

Auteur: Meurers, A., 31 okt 2011

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Proving termination of imperative programs through term rewriting systems

Auteur: Beerendonk, G., 31 jan 2008

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Proving termination of term rewriting automatically

Auteur: van der Wulp, J., 31 aug 2005

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Rectangle packing in practice

Auteur: Stoykov, P., 25 sep 2017

Begeleider: Zantema, H. (Afstudeerdocent 1), Mesman, B. (Afstudeerdocent 2) & van den Bosch, A. (Externe persoon) (Externe coach)

Scriptie/masterproef: Master

Bestand

Solving non-linear SMT by transformation

Auteur: Poppelaars, J., 28 feb 2014

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

Unique reduction lengths in rewriting

Auteur: Kaijage, E., 31 jan 2011

Begeleider: Zantema, H. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand