Lukas Koller

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Plan Generation

Temporal Planning

Formal Semantics

Owl Dl Ontology

Top Venues

Arch. Formal Proofs

Publications

Lukas Koller, Tobias Ladner, Matthias Althoff
End-To-End Set-Based Training for Neural Network Verification. CoRR (2024)
Michael Gadermayr, Lukas Koller, Maximilian Ernst Tschuchnig, Lea Maria Stangassinger, Christina Kreutzer, Sebastien Couillard-Despres, Gertie Janneke Oostingh, Anton Hittmair
MixUp-MIL: Novel Data Augmentation for Multiple Instance Learning and a Study on Thyroid Cancer Diagnosis. MICCAI (6) (2023)
Michael Gadermayr, Lukas Koller, Maximilian Ernst Tschuchnig, Lea Maria Stangassinger, Christina Kreutzer, Sebastien Couillard-Despres, Gertie Janneke Oostingh, Anton Hittmair
MixUp-MIL: A Study on Linear & Multilinear Interpolation-Based Data Augmentation for Whole Slide Image Classification. CoRR (2023)
Lukas Koller
Knight's Tour Revisited Revisited. Arch. Formal Proofs 2022 (2022)
Mohammad Abdulaziz, Lukas Koller
Formal Semantics and Formally Verified Validation for Temporal Planning. CoRR (2022)
Michael Gadermayr, Lukas Koller, Maximilian Ernst Tschuchnig, Lea Maria Stangassinger, Christina Kreutzer, Sebastien Couillard-Despres, Gertie Janneke Oostingh, Anton Hittmair
MixUp-MIL: Novel Data Augmentation for Multiple Instance Learning and a Study on Thyroid Cancer Diagnosis. CoRR (2022)
Mohammad Abdulaziz, Lukas Koller
Formal Semantics and Formally Verified Validation for Temporal Planning. AAAI (2022)