Publications

David Schaller, Manuela Geiß, Peter F. Stadler, und Marc Hellmuth. Complete Characterization of Incorrect Orthology Assignments in Best Match Graphs. J. Math. Biol., (82):20, 2021.

Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes P Wallner, und Stefan Woltran. Weighted abstract Dialectical Frameworks: Extended and revised report. arXiv, 2018.

Fariz Darari, Sebastian Rudolph, Simon Razniewski, und Werner Nutt. Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements. Semantic Web, (11)3:441--482, 2020.

Milad Alshomary, Timon Gurcke, Shahbaz Syed, Philipp Heinrich, Maximilian Spliethöver, Philipp Cimiano, Martin Potthast, und Henning Wachsmuth. Key Point Analysis via Contrastive Learning and Extractive Argument Summarization. arXiv, 2021.

Maximilian Lange, Hannes Feilhauer, Ingolf Kühn, und Daniel Doktor. Mapping land-use intensity of grasslands in Germany with machine learning and Sentinel-2 time series. Remote Sens. Environ., (277)112888:112888, Elsevier BV, August 2022.

Anita Behme, und Apostolos Sideris. Markov-modulated generalized Ornstein-Uhlenbeck processes and an application in risk theory. Bernoulli (Andover.), (28)2Bernoulli Society for Mathematical Statistics and Probability, Mai 2022.

Sarah Alaghbari, Annett Mitschick, Gregor Blichmann, Martin Voigt, und Raimund Dachselt. A user-centered approach to gamify the manual creation of training data for machine learning. I-Com, (20)1:33--48, Walter de Gruyter GmbH, April 2021.

Mehdi Ali, Charles Tapley Hoyt, Daniel Domingo-Fernández, Jens Lehmann, und Hajira Jabeen. BioKEEN: a library for learning and evaluating biological knowledge graph embeddings. Bioinformatics, (35)18:3538--3540, September 2019.

Moritz Blumer, Tom Brown, Mariella Bontempo Freitas, Ana Luiza Destro, Juraci A Oliveira, Ariadna Morales, Tilman Schell, Carola Greve, Martin Pippel, David Jebb, Nikolai Hecker, Alexis-Walid Ahmed, Bogdan Kirilenko, Maddy Foote, Axel Janke, Burton K Lim, und Michael Hiller. Gene losses in the common vampire bat illuminate molecular adaptations to blood feeding. bioRxiv, Oktober 2021.

Hamid Zafar, Mohnish Dubey, Jens Lehmann, und Elena Demidova. IQA: Interactive query construction in semantic question answering systems. Web Semant., (64)100586:100586, Elsevier BV, Oktober 2020.

Manuel Bodirsky, Simon Knäuer, und Sebastian Rudolph. Datalog-expressibility for monadic and Guarded Second-order Logic. arXiv, 2020.

Mei Yang, Sarah Alice Gaggl, und Sebastian Rudolph. Neva-Extension Visualization for Argumentation Frameworks.. COMMA, 477--478, 2020.

Christoph Buchheim, Dorothee Henke, und Jannik Irmai. The stochastic bilevel continuous knapsack problem with uncertain follower's objective. J. Optim. Theory Appl., Springer Science and Business Media LLC, Mai 2022.

Jonas Coelho Kasmanas, Alexander Bartholomäus, Felipe Borim Corrêa, Tamara Tal, Nico Jehmlich, Gunda Herberth, Martin von Bergen, Peter F Stadler, André Carlos Ponce de Leon Ferreira de Carvalho, und Ulisses Nunes da Rocha. HumanMetagenomeDB: a public repository of curated and standardized metadata for human metagenomes. Nucleic Acids Res., (49)D1:D743--D750, Oxford University Press (OUP), Januar 2021.

Franz Baader, und Deepak Kapur. Deciding the word problem for ground and strongly shallow identities w.R.T. Extensional symbols. J. Automat. Reason., (66)3:301--329, Springer Science and Business Media LLC, August 2022.

Ringo Baumann, Gerhard Brewka, und Markus Ulbricht. Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility. Artif. Intell., (310)103742:103742, Elsevier BV, September 2022.

Sourish Dasgupta, Ankur Padia, Gaurav Maheshwari, Priyansh Trivedi, und Jens Lehmann. Formal ontology learning from English IS-A sentences. arXiv, 2018.

Mohamed Nadjib Mami, Damien Graux, Simon Scerri, Hajira Jabeen, Sören Auer, und Jens Lehmann. Squerall: Virtual ontology-based access to heterogeneous and large data sources. Lecture Notes in Computer Science, 229--245, Springer International Publishing, Cham, 2019.

Michelle Pistner Nixon, Jeffrey Letourneau, Lawrence A David, Nicole A Lazar, Sayan Mukherjee, und Justin D Silverman. Scale Reliant Inference. arXiv, 2022.

P Nardini, M Chen, R Bujack, M Bottinger, und G Scheuermann. A testing environment for continuous colormaps. IEEE Trans. Vis. Comput. Graph., (27)2:1043--1053, Institute of Electrical and Electronics Engineers (IEEE), Februar 2021.