Special

Search results

Results 1 – 5 of 5
Advanced search

Search in namespaces:

  
  
  
  
  
  
  
  
  
  
  
  
  
  
  • |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) - 12:28, 15 November 2021
  • * [[User:Sven|Sven Dziadek]]
    2 KB (246 words) - 18:01, 8 May 2023
  • | authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier author = <nowiki>{</nowiki>Sven Dziadek and Uli Fahrenberg and Philipp
    2 KB (313 words) - 16:09, 12 July 2023
  • | [[User:Sven|Sven Dziadek]], post-doc || sven-at-lrde.epita.fr ||
    6 KB (678 words) - 13:05, 10 March 2022
  • | authors = Manfred Droste, Sven Dziadek, Werner Kuich author = <nowiki>{</nowiki>Manfred Droste and Sven Dziadek and Werner Kuich<nowiki>}</nowiki>,
    4 KB (552 words) - 17:30, 4 December 2022