Der Dokumentenbetrachter Okular ist als erste Software weltweit mit dem Umweltzeichen Blauer Engel ausgezeichnet worden. Das schafft Transparenz über Softwareeffizienz und Ressourcenverbrauch.
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)
F. Schalekamp, D. Williamson, and A. Van Zuylen. Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, page 1477--1486. SIAM, (2012)