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
FP7

Automated Tutoring System for Automata Theory

2011-01-01 – 2021-12-31

The Wittgenstein Prize

2014-01-01 – 2020-12-31
FWF

Moderne Concurrency Paradigms (SHINE)

2015-03-01 – 2019-08-31
FWF

Formal Methods meets Algorithmic Game Theory

2018-02-01 – 2020-01-31
FWF

COMponent-Based Embedded Systems design Techniques (Combest)

2009-09-01 – 2011-03-31
FP7

Rigorous Systems Engineering (RISE)

2011-03-01 – 2015-02-28
FWF

Quantitative Reactive Modeling (QUAREM)

2011-05-01 – 2016-04-30
FP7

Search

Filter Publications

Display / Sort

Export / Embed