Artikel

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006)
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, 164 (2)
doi: 10.1016/j.entcs.2006.10.006
Artikel, Bibliographie

Konferenzveröffentlichung

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006)
Incremental Confined Types Analysis.
6th Workshop on Language Descriptions, Tools, and Applications. Vienna, Austria (01.04.2006-01.04.2006)
Konferenzveröffentlichung, Bibliographie

Bockisch, Christoph ; Kanthak, Sebastian ; Haupt, Michael ; Arnold, Mathew ; Mezini, Mira (2006)
Efficient Control Flow Quantification.
Konferenzveröffentlichung, Bibliographie

Heenes, Wolfgang ; Hoffmann, Rolf ; Kanthak, Sebastian (2005)
{FPGA} Implementations of the Massively Parallel {GCA} Model.
Konferenzveröffentlichung, Bibliographie