home

A group of students at TU Dresden has developed a new j-Algo module. It helps in understanding λ-terms. Have fun trying it!

There is a new j-Algo module available now. It visualises the algebraic path problem.

Although roles and collaborations are interesting programming constructs, they are not supported by most programming languages. My diploma thesis shows, using Scala as an example, how to realize them without changing the underlying language and applies the approach to design patterns.

My diploma thesis is on roles in the Scala programming language. As a first result, there is a paper describing how to enable role-based programming in a library, i.e., without adding new language constructs.
Michael Pradel, Martin Odersky. Scala Roles - A Lightweight Approach towards Reusable Collaborations

We are happy to announce a new j-Algo module develped by Matthias Büchse. It presents the sorting algorithm Heapsort.

My first paper on roles in ontologies has been published at the International Workshop on Semantic-Based Software Development at OOPSLA 2007:
Michael Pradel, Jakob Henriksson, and Uwe Aßmann. A Good Role Model for Ontologies: Collaborations

Student groups from Dresden Technical University have developed two new modules for the algorithm visualisation tool j-Algo: Hoare Calculus and Pulsing Memory. More...

During my recent seminar at Siegen University I intensely studied on the Economics of Information Security. The idea of this field of research lies in the notion, that problems of security investments can often be much better described by economic theories and models. Security problems are almost as often caused by wrong incentives as by bad design. This seminar paper (in German only) aims to provide an overview of the different topics and the current state of research going on in this field. More...

Hi, I like to present a new toy of mine, a realtime raytracer for Mac OS X (mostly existing to spend the time I don't have). This little project can now be observed on binaervarianz. Updates will hopefully emerge at a regular basis. My apologys, but translations will always lag a bit behind.

You want to know what roles and ontologies are and how both together enhance the concept of pizza? My Großer Beleg merges role modeling and ontologies. This yields a notion of ontological components - role models: thesis, slides.

There has not been a lot of time for KisMAC lately. However the motivation for this drastic step lies somewhere different. German laws change and are being adapted for "better" protection against something politicians obviously do not understand. It will become illegal to develop, use or even posses KisMAC in this banana republic (backgound: the change of § 202c StGB).
While I cannot do much about that for now, you probably can. Make copies of KisMAC and its source as long as the website is up! Do further development outside of Germany, even better outside the US and EU! If you are a German resident, you will need to fight for your rights.

CCC - other people who have the same problem
Arbeitskreis Vorratsdatenspeicherung
new version of § 202c StGB

Finite-state transducers are devices similar to finite-state machines (or automata) that can be applied in natural language processing. This essay presents them and explains algorithms for their determinization and minimization. Essay, slides.

We are proud to release version 0.1 of the Jupe UML Plugin for Eclipse! It brings major improvements of the class diagram editor including automatic type resolution. A re-written XMI export wizard offers more flexibility concerning the XMI export. Further, major bugs (e.g. concerning loading and saving) have been fixed. Have fun!