Every picture tells a story - exploring personal branding communication activities on social media (2019) Baccarella C, Maier L, Eibl S, Voigt KI Conference contribution The Coq Library as a Theory Graph (2019) Müller D, Rabe F, Sacerdoti Coen C Conference contribution Diagram Combinators in MMT (2019) Rabe F, Sharoda Y Conference contribution Relational Data Across Mathematical Libraries (2019) Condoluci A, Kohlhase M, Müller D, Rabe F, Sacerdoti Coen C, Wenzel M Conference contribution Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation (2019) Bercic K, Kohlhase M, Rabe F Conference contribution, Original article Integrating Semantic Mathematical Documents and Dynamic Notebooks (2019) Amann K, Kohlhase M, Rabe F, Wiesing T Conference contribution Computer-Generated Speaker Charisma and Its Effects on Human Actions in a Car-Navigation System Experiment - or How Steve Jobs’ Tone of Voice Can Take You Anywhere (2019) Niebuhr O, Michalsky J Conference contribution Every Picture Tells a Story - Exploring Personal Branding Communication Activities on Social Media (2019) Baccarella C, Maier L, Eibl S, Voigt KI Journal article, Original article A Total Variation Based Regularizer Promoting Piecewise-Lipschitz Reconstructions (2019) Burger M, Korolev Y, Schönlieb CB, Stollenwerk C Conference contribution An On-Line Performance Introspection Framework for Task-Based Runtime Systems (2019) Aguilar X, Jordan H, Heller T, Hirsch A, Fahringer T, Laure E Conference contribution