Seriously Good Software video edition

von Faella, Marco
Veröffentlicht 2020

Brief Tour of Code Qualities : Time Efficiency & Thread Safety

von Faella, Marco
Veröffentlicht 2020

Preferences over Rankings and How to Control Them Using Rewards

von Faella, Marco
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)

Seriously good software : code that works, survives, and wins

von Faella, Marco
Veröffentlicht 2020

Reasoning About Data Trees Using CHCs

von Faella, Marco
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

Reachability Games Modulo Theories with a Bounded Safety Player

von Faella, Marco
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

Rapidly Finding the Best Arm Using Variance

von Faella, Marco
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 4 (2020)

From Quasi-Dominions to Progress Measures

von Benerecetti, Massimo
Veröffentlicht in Aspects of computation - in celebration of the research work of Professor Rod Downey (Veranstaltung : 2017 : Singapur) Aspects of computation and automata theory with applications (2024)