( en | de | ru )

 

Disambiguation of "Bader, Johannes"

Author of the publication

copydeleteadd this publication to your clipboard
Ergebnisse des Studienprojektes: Der Einsatz von Social Networking Services im Unternehmenskontext

, , , , , , , and . 2008-3. Universität der Bundeswehr, Fakultät für Informatik, (September 2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Johannes Bader

Oliver Bader

Roland Bader

Dirk Bäder

Gertrud Bader

 

Other publications of authors with the same name

Ergebnisse des Studienprojektes: Der Einsatz von Social Networking Services im Unternehmenskontext, , , , , , , and . 2008-3. Universität der Bundeswehr, Fakultät für Informatik, (September 2008)Gradual Program Verification., , and . VMCAI, volume 10747 of Lecture Notes in Computer Science, page 25-46. Springer, (2018)Practical Variable Length Gap Pattern Matching., , and . SEA, volume 9685 of Lecture Notes in Computer Science, page 1-16. Springer, (2016)Getafix: learning to fix bugs automatically., , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 159:1-159:27 (2019)Reducing Bloat in GP with Multiple Objectives, , and . Multiobjective Problem Solving from Nature: from concepts to applications, chapter 9, Springer, (2008)SapFix: automated end-to-end repair at scale., , , , , , , and . ICSE (SEIP), page 269-278. IEEE / ACM, (2019)AI in Software Engineering at Facebook., , , , and . IEEE Softw., 38 (4): 52-61 (2021)Hypervolume-based search for multiobjective optimization: Theory and methods.. ETH Zurich, Zürich, Switzerland, (2009)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/27941).What It Would Take to Use Mutation Testing in Industry - A Study at Facebook., , , , , , and . ICSE (SEIP), page 268-277. IEEE, (2021)Gradual verification of recursive heap data structures., , , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 228:1-228:28 (2020)