Items where authors include "Meier, A"

Article

Beyersdorff, O, Meier, A, Thomas, M et al. (1 more author) (2012) The complexity of reasoning for fragments of default logic. Journal of Logic and Computation, 22 (3). 587 - 604 . ISSN 0955-792X

Beyersdorff, O, Meier, A, Mueller, S et al. (2 more authors) (2011) Proof complexity of propositional default logic. Archive for Mathematical Logic, 50 (7-8). 727 - 742 . ISSN 1432-0665

Beyersdorff, O, Meier, A, Mundhenk, M et al. (3 more authors) (2011) Model Checking CTL is Amost Always Inherently Sequential. Logical Methods in Computer Science, 7 (2). ISSN 1860-5974

Beyersdorff, O, Meier, A, Thomas, M et al. (1 more author) (2009) The complexity of propositional implication. Information Processing Letters, 109 (18). 1071 - 1077 . ISSN 0020-0190

Proceedings Paper

Meier, A, Nekolla, K, Earle, S et al. (6 more authors) (2018) End-to-end learning to predict survival in patients with gastric cancer using convolutional neural networks. In: Annals of Oncology. ESMO 2018, 19-23 Oct 2018, Munich, Germany. Oxford University Press , p. 23.

Yigitsoy, M, Earle, S, Meier, A et al. (7 more authors) (2017) Abstract 3958: The importance of co-localized resting CD8+ T cells and proliferating tumor cells in gastric cancer. In: Cancer Research. AACR Annual Meeting 2017, 01-05 Apr 2017, Washington, DC, USA. American Association for Cancer Research , p. 3958.

Beyersdorff, O, Meier, A, Mueller, S et al. (2 more authors) (2010) Proof Complexity of Propositional Default Logic. In: Strichman, O and Szeider, S, (eds.) Theory and applications of satisfiability testing. SAT 2010, 11-14 Jul 2010, Edinburgh, UK. Lecture notes in computer science, 6175 . Springer Verlag , 30 - 43 . ISBN 978-3-642-14185-0

Beyersdorff, O, Meier, A, Thomas, M et al. (1 more author) (2009) The Complexity of Reasoning for Fragments of Default Logic. In: Theory and Applications of Satisfiability Testing 2009. 12th International Conference, SAT 2009, 30 Jun - 03 Jul 2009, Swansea. Lecture Notes in Computer Science, 5584 (Lectur). Springer Verlag , 51 - 64 . ISBN 978-3-642-02776-5

Beyersdorff, O, Meier, A, Thomas, M et al. (3 more authors) (2009) Model Checking CTL is Almost Always Inherently Sequential. In: Lutz, C and Raskin, J-F, (eds.) 16th International Symposium on Temporal Representation and Reasoning 2009. International Symposium on Temporal Representation and Reasoning, 23-25 Jul 2009, Bressanone, Brixen, Italy. IEEE , 21 - 28 . ISBN 978-0-7695-3727-6