Der Dokumentenbetrachter Okular ist als erste Software weltweit mit dem Umweltzeichen Blauer Engel ausgezeichnet worden. Das schafft Transparenz über Softwareeffizienz und Ressourcenverbrauch.
T. Hanika, and T. Hille. Conceptual Knowledge Structures - First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9-13, 2024, Proceedings, volume 14914 of Lecture Notes in Computer Science, page 97--112. Springer, (2024)
M. Stubbemann, T. Hanika, and G. Stumme. Advances in Intelligent Data Analysis XVIII - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings, volume 12080 of Lecture Notes in Computer Science, page 496--508. Springer, (2020)
B. Ganter, T. Hanika, and J. Hirth. Formal Concept Analysis - 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings, volume 13934 of Lecture Notes in Computer Science, page 64--77. Springer, (2023)
B. Ganter, T. Hanika, and J. Hirth. Formal Concept Analysis - 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings, volume 13934 of Lecture Notes in Computer Science, page 64--77. Springer, (2023)
K. Chaudhuri, B. Godfrey, S. Rao, and K. Talwar. 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings., page 36--45. IEEE, (2003)
D. Golovin, A. Gupta, A. Kumar, and K. Tangwongsan. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, (2008)
R. Klein, C. Levcopoulos, and A. Lingas. LATIN 2014: Theoretical Informatics: 11th Latin American Symposium, Montevideo, Uruguay, March 31--April 4, 2014. Proceedings 11, page 261--272. Springer, (2014)
E. Koutsoupias, C. Papadimitriou, and M. Yannakakis. Automata, Languages and Programming: 23rd International Colloquium, ICALP'96 Paderborn, Germany, July 8--12, 1996 Proceedings 23, page 280--289. Springer, (1996)