All public logs

Combined display of all available logs of LRDE. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 23:22, 12 December 2022 Bot talk contribs created page Publications/dziadek.23.fm (Created page with "{{Publication | published = true | date = 2022-12-08 | authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier | title = Energy Problems in Finite and Timed Automa...")
• 15:00, 8 December 2022 Bot talk contribs deleted page Publications/dziadek.23.fm (content was: "{{Publication | published = true | date = 2022-12-08 | authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier | title = Energy Problems in Finite and Timed Automata with Büchi Conditions | series = Lecture Notes in Computer Science | publisher = Springer | booktitle = FM | lrdeprojects = AA, Spot | abstract = We show how to efficiently solve energy Büchi problems in finite...", and the only contributor was "Bot" (talk))
• 12:51, 8 December 2022 Bot talk contribs created page Publications/dziadek.23.fm (Created page with "{{Publication | published = true | date = 2022-12-08 | authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier | title = Energy Problems in Finite and Timed Automa...")