Search results

Page title matches

Sven Dziadek
[[File:Sven.jpg|thumb|right|Me]] Please refer to [https://who.paris.inria.fr/Sven.Dziadek/ my new website].

3 KB (456 words) - 16:04, 13 June 2023
File:Sven-Dziadek.jpg
{{#set:Caption=Sven Dziadek (post-doc équipe [[Spot]])}}

(1,724 × 2,252 (1.3 MB)) - 17:53, 2 September 2021

NewsEntry (2021/09/02)
|title=LRDE’s [[Spot]] team is happy to welcome another member, Sven Dziadek, for a one-year postdoc. ...automata are used to describe quantitative properties of systems. At LRDE, Sven will investigate quantitative model checking and contribute to [[Spot]].

429 bytes (59 words) - 13:28, 15 November 2021
File:Sven-Dziadek.jpg
{{#set:Caption=Sven Dziadek (post-doc équipe [[Spot]])}}

(1,724 × 2,252 (1.3 MB)) - 17:53, 2 September 2021
Sdziadek
[[File:Sven.jpg|thumb|right|Me]] Email : sven[at]lrde.epita.fr

428 bytes (58 words) - 14:44, 17 September 2021
AA
* [[User:Sven|Sven Dziadek]]

2 KB (246 words) - 19:01, 8 May 2023
Publications/dziadek.23.fm
| authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier author = <nowiki>{</nowiki>Sven Dziadek and Uli Fahrenberg and Philipp

2 KB (313 words) - 17:09, 12 July 2023
People
| [[User:Sven|Sven Dziadek]], post-doc || sven-at-lrde.epita.fr ||

6 KB (678 words) - 14:05, 10 March 2022
Publications/droste.22.iandc
| authors = Manfred Droste, Sven Dziadek, Werner Kuich author = <nowiki>{</nowiki>Manfred Droste and Sven Dziadek and Werner Kuich<nowiki>}</nowiki>,

4 KB (552 words) - 18:30, 4 December 2022