Publication
-
What Programmers do with Inheritance in Java and C# Master Thesis
January 2014
-
Migration of MS Access Databases to Mendix Platform Master Thesis
January 2014
-
Strategies to Increase Accuracy in Text Classification Master Thesis
January 2014
-
Efficient Approximate JavaScript Call Graph Construction Master Thesis
January 2014
-
Programming with actors in Java 8 In Proceedings
January 2014 -
LateBiclustering: Efficient Heuristic Algorithm for Time-Lagged Bicluster Identification Article
IEEE/ACM Transactions on Computational Biology and BioinformaticsJanuary 2014
-
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS Article
Service Oriented Computing and Applications, 8(4), 323-339.January 2014 -
Proof Pearl: the KeY to correct and stable sorting Article
Journal of Automated Reasoning, 53(2), 129-139.January 2014