Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




8 Grants


Design for Embedded Systems (ArtistDesign)

2009-09-01 – 2012-03-31

Formal Methods meets Algorithmic Game Theory

2018-02-01 – 2020-01-31

The Wittgenstein Prize

2014-01-01 – 2020-12-31

Moderne Concurrency Paradigms (SHINE)

2015-03-01 – 2019-08-31

Automated Tutoring System for Automata Theory

2011-01-01 – 2021-12-31

COMponent-Based Embedded Systems design Techniques (Combest)

2009-09-01 – 2011-03-31

Rigorous Systems Engineering (RISE)

2011-03-01 – 2015-02-28

Quantitative Reactive Modeling (QUAREM)

2011-05-01 – 2016-04-30

Search

Filter Publications

Display / Sort

Export / Embed