Publications

Christoph Buchheim, Dorothee Henke, and Jannik Irmai. The stochastic bilevel continuous knapsack problem with uncertain follower's objective. J. Optim. Theory Appl., Springer Science and Business Media LLC, May 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, and 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), January 2021.

Franz Baader, and 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, and 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, and Jens Lehmann. Formal ontology learning from English IS-A sentences. arXiv, 2018.

Mohamed Nadjib Mami, Damien Graux, Simon Scerri, Hajira Jabeen, Sören Auer, and 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, and Justin D Silverman. Scale Reliant Inference. arXiv, 2022.

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

Marc Satkowski, Weizhou Luo, and Raimund Dachselt. A visualization authoring model for Post-WIMP interfaces. arXiv, 2021.

Jana Klimpke, and Sebastian Rudolph. Visualization of statistical information in concept lattice diagrams. Formal Concept Analysis, 208--223, Springer International Publishing, Cham, 2021.