Beatrix Buhl
Role
-
Office Services
Formal Methods in Systems Engineering, E192-04
Projects
-
LEARN: Learning Efficient Automated Reasoning on the Net
2025 – 2026 / European Commission -
Automated Reasoning with Theories and Induction for Software Technologies
2021 – 2026 / European Commission
Publications: 152197 / 177097 / 154343 / 139734 / 152387 / 144346 / 150329 / 153774 / 150352 / 142174 / 153940 / 153941 / 154268 / 153819 / 153259 / 154161 / 153840 / 153839 / 153838 / 153837 / 153258 / 153836 / 153834 / 146113 / 193882 / 175984 / 177657 / 188020 / 188037 / 187706 / 18556 / 18557 / 18558 / 190634 / 190028 / 191945 / 192519 / 191930 / 193254 / 192768 / 193203 / 192933 / 193131 / 192842 / 192672 / 193926 / 192673 / 192946 / 193074 / 195542 / 199514 / 203670 / 203666 / 208567 / 209724 / 209712 / 209749 / 209750 / 209924 / 212559 / 210457 / 211021 / 19886 / 101800