Form(6)

Efficient Checkpointing in Java

Combining Aspect-Oriented Modeling With Property-Based Reasoning to Improve User Interface Adaptation

MultiTask Learning

Gradient Clock Synchronization

Power Iteration Clustering

Lattice-based Graph Index for Subgraph Search

A Generic Reification Technique

Transactional Lucene

Structuring Use Cases With Goals