Français Anglais
Accueil Annuaire Plan du site
Home > Research results
Research results
Research highlights
HOW FAST CAN YOU CONVERGE TOWARDS A CONSENSUS VALUE?
28 October 2021

In their recent work, Matthias Fuegger (LMF), Thomas Nowak (LISN), and Manfred Schwarz (TU Wien) stu
MODEL TRANSFORMATION AS CONSERVATIVE THEORY-TRANSFORMATION
30 October 2020

We present a new technique to construct tool support for domain-specific languages (DSLs) inside the
Contracts & grants
NEXT -
   NEXT

SESAME DIGIPODS UPS - Region IDF
   REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS

Software & patents
TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between taxonomies

BSP++
The C++ Bulk Synchronous Parallelism Library

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé

FR0958890
A method for quality-based routing in a multi-hop network

Ph.D. dissertations & Faculty habilitations