Logo Logo
[up] Up a level
Group by: Date | Creators | Item Type | Language | Volume
Jump to: 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1984 | 1983 | 1982 | 1981 | 1978
Number of items at this level: 833.

2023

Mayer, Elisabeth ORCID logoORCID: https://orcid.org/0000-0002-2551-0846; García-Hernández, Rubén Jesús ORCID logoORCID: https://orcid.org/0000-0001-5385-8316; Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319; Dreer, Jutta ORCID logoORCID: https://orcid.org/0000-0001-8726-9931; Müller, Simone ORCID logoORCID: https://orcid.org/0000-0001-5830-8655; Odaker, Thomas ORCID logoORCID: https://orcid.org/0000-0003-0675-8675 and Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (1. May 2023): Ten years Center for Immersive Visualizations - Past, Present, and Future. 2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW), Shanghai, China, 25. - 29. März 2023. In: 2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW). pp. 206-210 [PDF, 1MB]

Mayer, Elisabeth ORCID logoORCID: https://orcid.org/0000-0002-2551-0846; García-Hernández, Rubén Jesús ORCID logoORCID: https://orcid.org/0000-0001-5385-8316; Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319; Dreer, Jutta ORCID logoORCID: https://orcid.org/0000-0001-8726-9931; Müller, Simone ORCID logoORCID: https://orcid.org/0000-0001-5830-8655; Odaker, Thomas ORCID logoORCID: https://orcid.org/0000-0003-0675-8675 and Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (1. May 2023): Ten years of Immersive VR Installations - Past, Present, and Future. 2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW), Shanghai, China, 25. - 29. März 2023. In: 2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW). pp. 765-766 [PDF, 110kB]

2022

Aaron, Jonas H. (2022): The Procreation Asymmetry Destabilized: Analogs and Acting for People's Sake. In: Southern Journal of Philosophy, Vol. 60, No. 3: pp. 326-352 [PDF, 122kB]

Chiossi, Francesco; Welsch, Robin; Villa, Steeven; Chuang, Lewis and Mayer, Sven (2022): Virtual Reality Adaptation Using Electrodermal Activity to Support the User Experience. In: Big Data and Cognitive Computing, Vol. 6, No. 2 [PDF, 2MB]

Holländer, Kai; Hoggenmüller, Marius; Gruber, Romy; Völkel, Sarah Theres and Butz, Andreas (2022): Take It to the Curb: Scalable Communication Between Autonomous Cars and Vulnerable Road Users Through Curbstone Displays. In: Frontiers in Computer Science, Vol. 4 [PDF, 2MB]

Rührmair, Ulrich (2022): Secret-free security: a survey and tutorial. In: Journal of Cryptographic Engineering, Vol. 12, No. 4: pp. 387-412 [PDF, 1MB]

Schneider, Matthias and Linnhoff-Popien, Claudia (5. July 2022): Quantencomputer für alle: Wie Münchner Forscher die Superrechenleistung zur Wirtschaft bringen. In: Münchner Merkur: p. 7

Sprinz, Johannah ORCID logoORCID: https://orcid.org/0000-0002-6425-7054 (10. February 2022): Crowdsourced User-Testing. Bachelor Thesis Presentation “Leveraging Human Computation for Quality Assurance in Open Source Communities”. Ludwig-Maximilians-Universität München [Video (MP4), 249MB]

Strickroth, Sven and Striewe, Michael (2022): Building a Corpus of Task-Based Grading and Feedback Systems for Learning and Teaching Programming. In: International Journal of Engineering Pedagogy, Vol. 12, No. 5: pp. 26-41 [PDF, 1MB]

2021

Ballis, Anja; Gloe, Markus; Duda, Florian; Heindl, Fabian; Hüttl, Ernst; Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319 and Schwendemann, Lisa (eds.) (2021): Interaktive 3D-Zeugnisse von Holocaust-Überlebenden. Chancen und Grenzen einer innovativen Technologie. Eckert. Dossiers, Vol. 1. [PDF, 3MB]

Ali, Mehdi; Berrendorf, Max; Hoyt, Charles Tapley; Vermue, Laurent; Sharifzadeh, Sahand; Tresp, Volker and Lehmann, Jens (2021): PyKEEN 1.0: A Python Library for Training and Evaluating Knowledge Graph Embeddings. In: Journal of Machine Learning Research, Vol. 22, 2021

Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh and Zamani, Majid (2021): Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, 14-17 December 2021. In: 2021 60th IEEE Conference on Decision and Control (CDC). pp. 1314-1320

Angermeir, Florian; Voggenreiter, Markus; Moyon, Fabiola and Mendez, Daniel (2021): Enterprise-Driven Open Source Software: A Case Study on Security Automation. 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP), Madrid, Spain, 25-28 May 2021. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP). New York: IEEE. pp. 278-287

Aoki, M.; Primas, F.; Pasquini, L.; Weiss, A.; Salaris, M. and Carollo, D. (2021): Lithium in NGC 2243 and NGC 104. In: Astronomy & Astrophysics, Vol. 653, A13

Arunkumar, Mahima and Zielinski, Christina E. (2021): T-Cell Receptor Repertoire Analysis with Computational Tools-An Immunologist's Perspective. In: Cells, Vol. 10, No. 12, 3582

Aumiller, Maximilian; Ertl-Wagner, Birgit; Heckl, Christian; Lietke, Stefanie; Stepp, Herbert; Sroka, Ronald; Thon, Niklas; Ruhm, Adrian; Lilge, Lothar D. and Huang, Zhiwei (2021): Investigation on treatment light transmission changes during IPDT in comparison to T1 hyperintensity in early post-therapeutic T1-weighted MRI. European Conferences on Biomedical Optics, Germany, 20-25 June 2021. In: Huang, Zhiwei and Lilge, Lothar D. (eds.) : Translational Biophotonics: Diagnostics and Therapeutics. Vol. 11919. New York: SPIE. p. 59

Baier, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9116-1974; Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 and Friedberger, Karlheinz ORCID logoORCID: https://orcid.org/0000-0001-7624-654X (2021): JavaSMT 3: Interacting with SMT Solvers in Java. In: Silva, Alexandra and Leino, K. Rustan M. (eds.) : Computer Aided Verification. 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Theoretical Computer Science and General Issues (LNTCS), Vol. 12760. Cham: Springer. pp. 195-208

Baur, Stefan; Emmerichs, David; Moosmann, Frank; Pinggera, Peter; Ommer, Bjorn and Geiger, Andreas (2021): SLIM: Self-Supervised LiDAR Scene Flow and Motion Segmentation. 2021 IEEE/CVF International Conference on Computer Vision (ICCV), Montreal, QC, Canada, 10-17 October 2021. In: 2021 IEEE/CVF International Conference on Computer Vision (ICCV). New York: IEEE. pp. 13106-13116

Beer, Anna; Stephan, Lisa and Seidl, Thomas (2021): LUCKe — Connecting Clustering and Correlation Clustering. 2021 International Conference on Data Mining Workshops (ICDMW), Auckland, New Zealand, 07-10 December 2021. In: 2021 International Conference on Data Mining Workshops (ICDMW). New York: IEEE. pp. 431-440

Bernhard, Maximilian and Schubert, Matthias (2021): Correcting Imprecise Object Locations for Training Object Detectors in Remote Sensing Applications. In: Remote Sensing, Vol. 13, No. 24, 4962

Beyer, Dirk (2021): First international competition on software testing. In: International Journal on Software Tools for Technology Transfer, Vol. 23, No. 6: pp. 833-846

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 (2021): Status Report on Software Testing: Test-Comp 2021. In: Guerra, Esther and Stoelinga, Mariëlle (eds.) : Fundamental Approaches to Software Engineering. 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Theoretical Computer Science and General Issues (LNTCS), Vol. 12649. Cham: Springer. pp. 341-357

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Friedberger, Karlheinz ORCID logoORCID: https://orcid.org/0000-0001-7624-654X and Holzner, Stephan (2021): PJBDD: A BDD Library for Java and Multi-Threading. In: Hou, Zhe and Ganesh, Vijay (eds.) : Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), Vol. 12971. Cham: Springer. pp. 144-149

Beyer, Dirk and Jakobs, Marie-Christine (2021): Cooperative verifier-based testing with CoVeriTest. In: International Journal on Software Tools for Technology Transfer, Vol. 23, No. 3: pp. 313-333

Blattmann, Andreas; Milbich, Timo; Dorkenwald, Michael and Ommer, Bjorn (2021): iPOKE: Poking a Still Image for Controlled Stochastic Video Synthesis. 2021 IEEE/CVF International Conference on Computer Vision (ICCV), Montreal, QC, Canada, 10-17 October 2021. In: 2021 IEEE/CVF International Conference on Computer Vision (ICCV). New York: IEEE. pp. 14687-14697

Bliudze, Simon; Katsaros, Panagiotis; Bensalem, Saddek and Wirsing, Martin (2021): On methods and tools for rigorous system design. In: International Journal on Software Tools for Technology Transfer, Vol. 23, No. 5: pp. 679-684

Borutta, Felix; Kröger, Peer and Renz, Matthias (2021): A Cost Model for Reverse Nearest Neighbor Query Processing on R-Trees Using Self Pruning. In: Reyes, Nora; Connor, Richard; Kriege, Nils; Kazempour, Daniyal; Bartolini, Ilaria; Schubert, Erich and Chen, Jian-Jia (eds.) : Similarity Search and Applications :14th International Conference, SISAP 2021, Dortmund, Germany, September 29 – October 1, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), Vol. 13058. Cham: Springer. pp. 45-53

Bouquet, Elizabeth; Mäkelä, Ville and Schmidt, Albrecht (2021): Exploring the Design of Companions in Video Games. Mindtrek '21: Academic Mindtrek 2021, Tampere/Virtual, Finland, June 1 - 3, 2021. In: Academic Mindtrek 2021. New York: Association for Computing Machinery (ACM). pp. 145-153

Busch, Julian; Hunemorder, Maximilian; Held, Janis; Kroger, Peer and Seidl, Thomas (2021): Implicit Hough Transform Neural Networks for Subspace Clustering. 2021 IEEE International Conference on Data Mining (ICDM), Auckland, New Zealand, 07-10 December 2021. In: 2021 International Conference on Data Mining Workshops (ICDMW). New York: IEEE. pp. 441-448

Böhm, Christian; Perdacher, Martin and Plant, Claudia (2021): A Novel Hilbert Curve for Cache-Locality Preserving Loops. In: IEEE Transactions on Big Data, Vol. 7, No. 2: pp. 241-254

Campagner, Andrea; Ciucci, Davide and Hüllermeier, Eyke (2021): Rough set-based feature selection for weakly labeled data. In: International Journal of Approximate Reasoning, Vol. 136: pp. 150-167

Chang, Chip-Hong; Holcomb, Daniel E.; Ruehrmair, Ulrich and Schaumont, Patrick (2021): The ASHES 2019 special issue at JCEN. In: Journal of Cryptographic Engineering, Vol. 11, No. 3: pp. 199-200

Choi, Frederick; Mayer, Sven and Harrison, Chris (2021): 3D Hand Pose Estimation on Conventional Capacitive Touchscreens. MobileHCI '21: 23rd International Conference on Mobile Human-Computer Interaction, Toulouse, France, 27 September 2021- 1 October 2021. In: Proceedings of the 23rd International Conference on Mobile Human-Computer Interaction. New York: ACM. pp. 1-13

Chromik, Michael (2021): Making SHAP Rap: Bridging Local and Global Insights Through Interaction and Narratives. In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : Human-Computer Interaction – INTERACT 2021. 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part II. Lecture Notes in Computer Science (LNCS), Vol. 12933. Cham: Springer. pp. 641-651

Chromik, Michael and Butz, Andreas (2021): Human-XAI Interaction: A Review and Design Principles for Explanation User Interfaces. In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : Human-Computer Interaction – INTERACT 2021. 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part II. Lecture Notes in Computer Science (LNCS), Vol. 12933. Cham: Springer. pp. 619-640

Chromik, Michael; Eiband, Malin; Buchner, Felicitas; Krüger, Adrian and Butz, Andreas (2021): I Think I Get Your Point, AI! The Illusion of Explanatory Depth in Explainable AI. IUI '21: 26th International Conference on Intelligent User Interfaces, College Station TX USA, April 14 - 17, 2021. In: IUI '21: 26th International Conference on Intelligent User Interfaces. New York: Association for Computing Machinery. pp. 307-317

Chung, Minh Thanh and Kranzlmuller, Dieter (2021): User-defined Tools for Characterizing Task-Parallel Applications and Predicting Load Imbalance. 15th International Conference on Advanced Computing and Applications (ACOMP), Ho Chi Minh City, Vietnam, 24-26 November 2021. In: 15th International Conference on Advanced Computing and Applications (ACOMP). New York: IEEE. pp. 98-105

Delgado Rodriguez, Sarah; Prange, Sarah; Mecke, Lukas and Alt, Florian (2021): ActPad– A Smart Desk Platform to Enable User Interaction with IoT Devices. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-6

Diep, Thanh-Dang and Furlinger, Karl (2021): Nonblocking Data Structures for Distributed-Memory Machines: Stacks as an Example. 2021 29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), Valladolid, Spain, 10-12 March 2021. In: 2021 29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). New York: IEEE. pp. 9-17

Drewes, Heiko ORCID logoORCID: https://orcid.org/0000-0001-5987-2864; Müller, Evelyn; Rothe, Sylvia ORCID logoORCID: https://orcid.org/0000-0002-3819-3608 and Hußmann, Heinrich ORCID logoORCID: https://orcid.org/0000-0003-1709-7905 (2021): Gaze-Based Interaction for Interactive Storytelling in VR. In: De Paolis, Lucio Tomasso; Arpaia, Pasquale and Bourdot, Patrick (eds.) : Augmented Reality, Virtual Reality, and Computer Graphics. 8th International Conference, AVR 2021, Virtual Event, September 7–10, 2021, Proceedings. Lecture Notes in Computer Science (LNIP), Vol. 12980. Cham: Springer. pp. 91-108

Du, Haizhou; Zhou, Yan; Ma, Yunpu and Wang, Shiwei (2021): Astrologer: Exploiting graph neural Hawkes process for event propagation prediction with spatio-temporal characteristics. In: Knowledge-Based Systems, Vol. 228, 107247

Eiband, Malin; Buschek, Daniel and Hussmann, Heinrich (2021): How to Support Users in Understanding Intelligent Systems? Structuring the Discussion. IUI '21: 26th International Conference on Intelligent User Interfaces, College Station TX USA, April 14 - 17, 2021. In: 26th International Conference on Intelligent User Interfaces. New York: Association for Computing Machinery. pp. 120-132

Englmeier, David; Sajko, Wanja and Butz, Andreas (2021): Spherical World in Miniature: Exploring the Tiny Planets Metaphor for Discrete Locomotion in Virtual Reality. IEEE Virtual Reality and 3D User Interfaces (VR), Lisboa, Portugal, 27 March 2021 - 01 April 2021. In: 2021 IEEE Virtual Reality and 3D User Interfaces (VR). pp. 345-352

Fayolle, Pierre-Alain and Friedrich, Markus (2021): Reconstruction of Convex Polytope Compositions from 3D Point-clouds. In: Souza, A. Augusto; Havran, Vlastimil; Braz, Jose and Bouatouch, Kadi (eds.) : Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (GRAPP). Setúbal, Portuagl: SciTePress. pp. 75-84

Feger, Sebastian Stefan; Woźniak, Paweł W.; Niess, Jasmin and Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 (2021): Tailored Science Badges: Enabling New Forms of Research Interaction. DIS '21: Designing Interactive Systems Conference 2021, Virtual Event USA, 28 June 2021- 2 July 2021. In: Wendy, Yu; Oehlberg, Laura; Follmer, Sean; Fox, Sarah and Kuznetsov, Stacey (eds.) : Designing Interactive Systems Conference 2021. New York: Association for Computing Machinery (ACM). pp. 576-588

Fischer, Konrad; Vaupel, Sarah; Heller, Niels; Mader, Sebastian and Bry, François (2021): Effects of Competitive Coding Games on Novice Programmers. In: Auer, Michael E. and Rüütmann, Tiia (eds.) : Educating Engineers for Future Industrial Revolutions. Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020), Volume 1. Advances in Intelligent Systems and Computing (AISC), Vol. 1328. Cham: Springer. pp. 464-475

Freymuller, Christian; Kalinina, Sviatlana; Ruck, Angelika; Sroka, Ronald; Ruhm, Adrian; Beaurepaire, Emmanuel; Ben-Yakar, Adela and Park, YongKeun (2021): Fluorescence lifetime phantoms based on quenched coumarin derivatives. European Conferences on Biomedical Optics, Germany, 20-25 June 2021. In: Beaurepaire, Emmanuel; Ben-Yakar, Adela and Park, YongKeun (eds.) : Advances in Microscopic Imaging III. Vol. 11922. New York: SPIE. p. 55

Friedel, Caroline C.; Whisnant, Adam W.; Djakovic, Lara; Rutkowski, Andrzej J.; Friedl, Marie-Sophie; Kluge, Michael; Williamson, James C.; Sai, Somesh; Vidal, Ramon Oliveira; Sauer, Sascha; Hennig, Thomas; Grothey, Arnhild; Milic, Andrea; Prusty, Bhupesh K.; Lehner, Paul J.; Matheson, Nicholas J.; Erhard, Florian and Doelken, Lars (2021): Dissecting Herpes Simplex Virus 1-Induced Host Shutoff at the RNA Level. In: Journal of Virology, Vol. 95, No. 3, e01399-20

Fries, Christian P. (2021): Stochastic algorithmic differentiation of (expectations of) discontinuous functions (indicator functions). In: International Journal of Computer Mathematics, Vol. 99, No. 2: pp. 204-226

Frikha, Ahmed; Krompass, Denis and Tresp, Volker (2021): ARCADe: A Rapid Continual Anomaly Detector. 2020 25th International Conference on Pattern Recognition (ICPR), Milan, Italy, 10-15 January 2021. In: 2020 25th International Conference on Pattern Recognition (ICPR). New York: IEEE. pp. 10449-10456

Frikha, Ahmed; Krompaß, Denis; Köpken, Hans-Georg and Tresp, Volker (2021): Few-Shot One-Class Classification via Meta-Learning. The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21), Virtual Event, February 2-9, 2021. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35. AAAI Press. pp. 7448-7456

Froehlich, Michael; Kobiella, Charlotte; Schmidt, Albrecht and Alt, Florian (2021): Is it Better With Onboarding? Improving First-Time Cryptocurrency App Experiences. DIS '21: Designing Interactive Systems Conference 2021, United States, 28 June 2021- 2 July 2021. In: Ju, Wendy; Oehlberg, Lora; Follmer, Sean; Fox, Sarah and Kuznetsov, Stacey (eds.) : Designing Interactive Systems Conference 2021. New York: Association for Computing Machinery (ACM). pp. 78-89

Froehlich, Michael; Wagenhaus, Maurizio Raphael; Schmidt, Albrecht and Alt, Florian (2021): Don’t Stop Me Now! Exploring Challenges Of First-Time Cryptocurrency Users. DIS '21: Designing Interactive Systems Conference 2021, United States, 28 June 2021- 2 July 2021. In: Ju, Wendy; Oehlberg, Lora; Follmer, Sean; Fox, Sarah and Kuznetsov, Stacey (eds.) : Designing Interactive Systems Conference 2021. New York: Association for Computing Machinery (ACM). pp. 138-148

Fromm, Michael; Faerman, Evgeniy; Berrendorf, Max; Bhargava, Siddharth; Qi, Ruoxia; Zhang, Yao; Dennert, Lukas; Selle, Sophia; Mao, Yang and Seidl, Thomas (2021): Argument Mining Driven Analysis of Peer-Reviews. The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21), Virtual Event, February 2-9, 2021. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35. AAAI Press. pp. 4758-4766

Gabor, Thomas; Phan, Thomy and Linnhoff-Popien, Claudia (2021): Productive fitness in diversity-aware evolutionary algorithms. In: Natural Computing, Vol. 20, No. 3: pp. 363-376

Garcia, N.; Kawan, C. and Yüksel, S. (2021): Ergodicity Conditions for Controlled Stochastic Nonlinear Systems under Information Constraints. In: Ifac Papersonline, Vol. 54, No. 9: pp. 737-742

Garcia, Nicolas; Kawan, Christoph and Yuksel, Serdar (2021): Ergodicity of Controlled Stochastic Nonlinear Systems under Information Constraints: Refined Bounds via Splitting. 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, 14-17 December 2021. In: 2021 60th IEEE Conference on Decision and Control (CDC). New York: IEEE. pp. 3887-3892

Garcia, Nicolas; Kawan, Christoph and Yüksel, Serdar (2021): ERGODICITY CONDITIONS FOR CONTROLLED STOCHASTIC NONLINEAR SYSTEMS UNDER INFORMATION CONSTRAINTS: A VOLUME GROWTH APPROACH. In: Siam Journal on Control and Optimization, Vol. 59, No. 1: pp. 534-560

Geistlinger, Ludwig; Csaba, Gergely; Santarelli, Mara; Ramos, Marcel; Schiffer, Lucas; Turaga, Nitesh; Law, Charity; Davis, Sean; Carey, Vincent; Morgan, Martin; Zimmer, Ralf and Waldron, Levi (2021): Toward a gold standard for benchmarking gene set enrichment analysis. In: Briefings in Bioinformatics, Vol. 22, No. 1: pp. 545-556

Genz, Fabio ORCID logoORCID: https://orcid.org/0000-0002-2130-5570; Fuchs, Niklas ORCID logoORCID: https://orcid.org/0000-0002-3369-2459; Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319; Müller, Simone ORCID logoORCID: https://orcid.org/0000-0001-5830-8655 and Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (2021): Evaluation of Proprietary Social VR Platforms for Use in Distance Learning. In: De Paolis, Lucio Tomasso; Arpaia, Pasquale and Bourdot, Patrick (eds.) : Augmented Reality, Virtual Reality, and Computer Graphics. 8th International Conference, AVR 2021, Virtual Event, September 7–10, 2021, Proceedings. Lecture Notes in Computer Science (LNIP), Vol. 12980. Cham: Springer. pp. 462-480

Genz, Fabio ORCID logoORCID: https://orcid.org/0000-0002-2130-5570; Hufeld, Clemens ORCID logoORCID: https://orcid.org/0000-0002-9428-3456; Müller, Simone ORCID logoORCID: https://orcid.org/0000-0001-5830-8655; Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319; Starck, Johannes ORCID logoORCID: https://orcid.org/0000-0001-8066-2108 and Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (2021): Replacing EEG Sensors by AI Based Emulation. In: De Paolis, Lucio Tomasso; Arpaia, Pasquale and Bourdot, Patrick (eds.) : Augmented Reality, Virtual Reality, and Computer Graphics. 8th International Conference, AVR 2021, Virtual Event, September 7–10, 2021, Proceedings. Lecture Notes in Computer Science (LNIP), Vol. 12980. Cham: Springer. pp. 66-80

Gu, Jindong; Tresp, Volker and Hu, Han (2021): Capsule Network is Not More Robust than Convolutional Network. 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), Nashville, TN, USA, 20-25 June 2021. In: 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). New York: IEEE. pp. 14304-14312

Gu, Jindong; Zhao, Rui and Tresp, Volker (2021): Semantics for Global and Local Interpretation of Deep Convolutional Neural Networks. 2021 International Joint Conference on Neural Networks (IJCNN), Shenzhen, China, 18-22 July 2021. In: 2021 International Joint Conference on Neural Networks (IJCNN). IEEE. pp. 1-8

Haddenhorst, Björn; Bengs, Viktor and Hüllermeier, Eyke (2021): On testing transitivity in online preference learning. In: Machine Learning, Vol. 110, No. 8: pp. 2063-2084

Haliburton, Luke; Hoppe, Matthias; Schmidt, Albrecht and Kosch, Thomas (2021): Quick, Print This Page! The Value of Analogue Media in a Digital World. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-7

Hennicker, Rolf; Knapp, Alexander and Madeira, Alexandre (2021): Hybrid dynamic logic institutions for event/data-based systems. In: Formal Aspects of Computing, Vol. 33, No. 6: pp. 1209-1248

Hennicker, Rolf; Knapp, Alexander and Madeira, Alexandre (2021): Observational interpretations of hybrid dynamic logic with binders and silent transitions. In: Journal of Logical and Algebraic Methods in Programming, Vol. 122, 100698

Hermankova, Kristyna; Kourilova, Xenie; Pernicova, Iva; Bezdicek, Matej; Lengerova, Martina; Obruca, Stanislav and Sedlar, Karel (2021): Complete Genome Sequence of the Type Strain Tepidimonas taiwanensis LMG 22826(T), a Thermophilic Alkaline Protease and Polyhydroxyalkanoate Producer. In: Genome Biology and Evolution, Vol. 13, No. 12, evab280

Hirsch, Linda ORCID logoORCID: https://orcid.org/0000-0001-7239-7084 and Butz, Andreas (2021): Blend in or Pop Out? Designing an Embedded Interface for a Historical Cemetery. In: Ardito, Carmelo; Manzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : Human-Computer Interaction – INTERACT 2021. 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part III. Lecture Notes in Computer Science (LNCS), Vol. 12934. Cham: Springer. pp. 635-645

Hirsch, Linda ORCID logoORCID: https://orcid.org/0000-0001-7239-7084; Li, Yanhong; Geiger, Hendrik and Butz, Andreas (2021): Safe-to-Touch: Tracking Touched Areas in Public Transport. In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : Human-Computer Interaction – INTERACT 2021. 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part V. Lecture Notes in Computer Science (LNCS), Vol. 12936. Cham: Springer. pp. 486-489

Hofmann, Valentin; Pierrehumbert, Janet and Schütze, Hinrich (2021): Superbizarre Is Not Superb: Derivational Morphology Improves BERT’s Interpretation of Complex Words. Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Online, August 1–6, 2021. In: Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 1: Long Papers). Association for Computational Linguistics (ACL). pp. 3594-3608

Hommel, Wolfgang; Pöhn, Daniela; Seeber, Sebastian; Stiemert, Lars; Schopp, Matthias and Pham, Stefanie (2021): Field Studies on the Impact of Cryptographic Signatures and Encryption on Phishing Emails. In: Mori, Paolo; Lenzini, Gabriele and Furnell, Steven (eds.) : Proceedings of the 7th International Conference on Information Systems Security and Privacy (ICISSP). Setúbal, Portuagl: SciTePress. pp. 384-390

Huang, Yong; Tejero, Rut; Lee, Vivian K.; Brusco, Concetta; Hannah, Theodore; Bertucci, Taylor B.; Alves, Chrystian Junqueira; Katsyv, Igor; Kluge, Michael; Foty, Ramsey; Zhang, Bin; Friedel, Caroline C.; Dai, Guohao; Zou, Hongyan and Friedel, Roland H. (2021): Plexin-B2 facilitates glioblastoma infiltration by modulating cell biomechanics. In: Communications Biology, Vol. 4, No. 1, 145

Huck, Sascha Manuel; Fung, Georger S.K.; Parodi, Katia; Stierstorfer, Karl; Bosmans, Hilde; Zhao, Wei and Yu, Lifeng (2021): A method for optimization of the x-ray tube current in ROI imaging using a simulation framework for radiation dose and image quality calculation for arbitrary fluence distributions. SPIE Medical Imaging, California, United States, 15-20 February 2021. In: Bosmans, Hilde; Zhao, Wei and Yu, Lifeng (eds.) : Medical Imaging 2021: Physics of Medical Imaging. Vol. 11595. p. 2

Jagtap, Pushpak; Soudjani, Sadegh and Zamani, Majid (2021): Formal Synthesis of Stochastic Systems via Control Barrier Certificates. In: IEEE Transactions on Automatic Control, Vol. 66, No. 7: pp. 3097-3110

Jahanshahi, Niloofar; Jagtap, Pushpak and Zamani, Majid (2021): Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. In: IEEE Control Systems Letters, Vol. 5, No. 1: pp. 253-258

Jungblut, Pascal (2021): Task Scheduling in Reconfigurable Computing with OpenCL. 2021 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), Portland, OR, USA, June 17 2021 to June 21 2021. In: 2021 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW): IPDPS 2021 PhD Forum Welcome and Abstracts. IEEE. p. 1012

Jungblut, Pascal and Fürlinger, Karl (2021): Portable Node-Level Parallelism for the PGAS Model. In: International Journal of Parallel Programming, Vol. 49, No. 6: pp. 867-885

Kaltenhauser, Annika; Terzimehić, Nađa and Butz, Andreas (2021): MEMEography: Understanding Users Through Internet Memes. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-7

Karolus, Jakob; Bachmann, Felix; Kosch, Thomas; Schmidt, Albrecht and Woźniak, Paweł W. (2021): Facilitating Bodily Insights Using Electromyography-Based Biofeedback during Physical Activity. MobileHCI '21: 23rd International Conference on Mobile Human-Computer Interaction, Toulouse, France, 27 September 2021- 1 October 2021. In: Proceedings of the 23rd International Conference on Mobile Human-Computer Interaction. New York: ACM. pp. 1-15

Karolus, Jakob and Wozniak, Pawel W. (2021): Proficiency-aware systems: Designing for user reflection in context-aware systems. In: It-Information Technology, Vol. 63, No. 3: pp. 167-175

Kawan, Christoph; Hafstein, Sigurdur and Giesl, Peter (2021): A Subgradient Algorithm for Data-Rate Optimization in the Remote State Estimation Problem. In: Siam Journal on Applied Dynamical Systems, Vol. 20, No. 4: pp. 2142-2173

Kawan, Christoph; Hafstein, Sigurdur Freyr and Giesl, Peter (2021): ResEntSG: Restoration entropy estimation for dynamical systems via Riemannian metric optimization. In: Softwarex, Vol. 15, 100743

Kawan, Christoph; Matveev, Alexey S. and Pogromsky, Alexander Yu (2021): Remote state estimation problem: Towards the data-rate limit along the avenue of the second Lyapunov method. In: Automatica, Vol. 125, 109467

Kawan, Christoph; Mironchenko, Andrii; Swikir, Abdalla; Noroozi, Navid and Zamani, Majid (2021): A Lyapunov-Based Small-Gain Theorem for Infinite Networks. In: IEEE Transactions on Automatic Control, Vol. 66, No. 12: pp. 5830-5844

Kawan, Christoph; Mironchenko, Andrii and Zamani, Majid (2021): Construction of ISS Lyapunov functions for infinite networks of ISS systems. 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, 14-17 December 2021. In: 2021 60th IEEE Conference on Decision and Control (CDC). New York: IEEE. pp. 4811-4816

Kawan, Christoph and Yüksel, Serdar (2021): Invariance Properties of Controlled Stochastic Nonlinear Systems Under Information Constraints. In: IEEE Transactions on Automatic Control, Vol. 66, No. 10: pp. 4514-4529

Khaled, Mahmoud and Zamani, Majid (2021): Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. In: IEEE Design & Test, Vol. 38, No. 5: pp. 25-34

Kilian, Annika; Karolus, Jakob; Kosch, Thomas; Schmidt, Albrecht and Woźniak, Paweł W. (2021): EMPiano: Electromyographic Pitch Control on the Piano Keyboard. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. pp. 1-4

Knierim, Pascal; Kosch, Thomas and Schmidt, Albrecht (2021): The Nomadic Office: A Location Independent Workspace Through Mixed Reality. In: IEEE Pervasive Computing, Vol. 20, No. 4: pp. 71-78

Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319 (2021): Evaluation of the Interaction with a Digital 3D Testimony. Between Emotion and Technology. In: Ballis, Anja; Gloe, Markus; Duda, Florian; Heindl, Fabian; Hüttl, Ernst; Kolb, Daniel and Schwendemann, Lisa (eds.) : Interaktive 3D-Zeugnisse von Holocaust-Überlebenden. Eckert. Dossiers, Vol. 1. Braunschweig: Georg-Eckert-Institut für internationale Schulbuchforschung. pp. 63-82 [PDF, 709kB]

Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319 and Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (10. May 2021): Preserving Conversations with Contemporary Holocaust Witnesses. Evaluation of Interactions with a Digital 3D Testimony. 2021 CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 2021. In: [PDF, 5MB]

Koner, Rajat; Li, Hang; Hildebrandt, Marcel; Das, Deepan; Tresp, Volker and Günnemann, Stephan (2021): Graphhopper: Multi-hop Scene Graph Reasoning for Visual Question Answering. In: Hotho, Abdreas; Blomquist, Eva; Dietze, Stefan; Fokoue, Achille; Ding, Ying; Barnaghi, Payam; Haller, Armin; Dragoni, Mauro and Alani, Harith (eds.) : The Semantic Web – ISWC 2021 : 20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), Vol. 12922. Cham: Springer. pp. 111-127

Köhle, Kay; Hoppe, Matthias; Schmidt, Albrecht and Mäkelä, Ville (2021): Diegetic and Non-diegetic Health Interfaces in VR Shooter Games. In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : Human-Computer Interaction – INTERACT 2021. 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part III. Lecture Notes in Computer Science (LNCS), Vol. 12934. Cham: Springer. pp. 3-11

Langer, Stefan; Dietz, Dennis and Butz, Andreas (2021): Towards Risk Indication In Mountain Biking Using Smart Wearables. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-7

Leblanc, Julien; Coullomb, Alexis; Bidan, Cecile M.; Wehnekamp, Fabian; Qian, Chen; Lamb, Don C.; Dupont, Aurelie; Beaurepaire, Emmanuel; Ben-Yakar, Adela and Park, YongKeun (2021): QuanTI-FRET calibration for quantitative FRET imaging in living samples. European Conferences on Biomedical Optics, Online, 20-25 June 2021. In: Beaurepaire, Emmanuel; Ben-Yakar, Adela and Park, YongKeun (eds.) : Advances in Microscopic Imaging III. Vol. 11923. SPIE. p. 13

Leblanc, Julien; Coullomb, Alexis; Bidan, Cecile M.; Wehnekamp, Fabian; Qian, Chen; Lamb, Don C.; Dupont, Aurelie; Beaurepaire, Emmanuel; Ben-Yakar, Adela and Park, YongKeun (2021): QuanTI-FRET calibration for quantitative FRET imaging in living samples. European Conferences on Biomedical Optics, Germany, 20-25 June 2021. In: Beaurepaire, Emmanuel; Ben-Yakar, Adela and Park, YongKeun (eds.) : Advances in Microscopic Imaging III. Vol. 11922. New York: SPIE. p. 13

Leiber, Collin; Bauer, Lena G. M.; Schelling, Benjamin; Böhm, Christian and Plant, Claudia (2021): Dip-based Deep Embedded Clustering with k-Estimation. KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Singapore, August 14 - 18, 2021. In: Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery & Data Mining. New York: ACM. pp. 903-913

Li, Jingyi; George, Ceenu; Ngao, Andrea; Holländer, Kai; Mayer, Stefan and Butz, Andreas (2021): Rear-Seat Productivity in Virtual Reality: Investigating VR Interaction in the Confined Space of a Car. In: Multimodal Technologies and Interaction, Vol. 5, No. 4, 15

Li, Jingyi; Mayer, Alexandra and Butz, Andreas (2021): Towards a Design Space of Haptics in Everyday Virtual Reality across Different Spatial Scales. In: Multimodal Technologies and Interaction, Vol. 5, No. 7, 36

Li, Yanhong; Sun, Yu; Lu, Tianyang; Weber, Thomas and Hußmann, Heinrich (2021): GrouPen: A Tangible User Interface to Support Remote Collaborative Learning. In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : Human-Computer Interaction – INTERACT 2021. 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part V. Lecture Notes in Computer Science (LNCS), Vol. 12935. Cham: Springer. pp. 590-598

Lienen, Julian and Hüllermeier, Eyke (2021): Instance weighting through data imprecisiation. In: International Journal of Approximate Reasoning, Vol. 134: pp. 1-14

Linek, Matthäus; Schrader, Isabel; Volgger, Veronika; Rühm, Adrian; Sroka, Ronald; Lilge, Lothar D. and Huang, Zhiwei (2021): Hyperspectral imaging for perfusion assessment of the skin with convolutional neuronal networks. European Conferences on Biomedical Optics, Germany, 20-25 June 2021. In: Huang, Zhiwei and Lilge, Lothar D. (eds.) : Translational Biophotonics: Diagnostics and Therapeutics. Vol. 11919. New York: SPE. p. 11

Linnhoff-Popien, Claudia; Illium, Steffen; Ritz, Fabian and Müller, Robert (2021): Acoustic Anomaly Detection for Machine Sounds based on Image Transfer Learning. In: Rocha, Ana Paula; Steels, Luc and Herik, Jaap van den (eds.) : Proceedings of the 13th International Conference on Agents and Artificial Intelligence (Volume 2). ICAART, Setúbal, Portuagl: SciTePress. pp. 49-56

Linnhoff-Popien, Claudia; Klein, Cornel; Sauer, Horst; Schmid, Reiner; Wieghardt, Jan; Zeller, Marc; Sedlmeier, Andreas; Gabor, Thomas; Müller, Robert; Phan, Thomy and Ritz, Fabian (2021): SAT-MARL: Specification Aware Training in Multi-Agent Reinforcement Learning. In: Rocha, Ana Paula; Steels, Luc and Herik, Jaap van den (eds.) : Proceedings of the 13th International Conference on Agents and Artificial Intelligence (Volume 1). ICAART, Setúbal, Portuagl: SciTePress. pp. 28-37

Linnhoff-Popien, Claudia; Ochs, Jörg; Platschek, Christian; Schröder, Tobias; Ritz, Fabian; Illium, Steffen and Müller, Robert (2021): Acoustic Leak Detection in Water Networks. In: Proceedings of the 13th International Conference on Agents (Volume 2) and Artificial Intelligence. ICAART, Setúbal, Portuagl: SciTePress. pp. 306-313

Liu, Siyuan; Noroozi, Navid and Zamani, Majid (2021): Symbolic models for infinite networks of control systems: A compositional approach. In: Nonlinear Analysis-Hybrid Systems, Vol. 43, 101097

Liu, Siyuan; Swikir, Abdalla and Zamani, Majid (2021): Verification of approximate opacity for switched systems: A compositional approach. In: Nonlinear Analysis-Hybrid Systems, Vol. 42, 101084

Liu, Siyuan and Zamani, Majid (2021): Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. In: Automatica, Vol. 131, 109745

Liu, Siyuan and Zamani, Majid (2021): Verification of Approximate Opacity via Barrier Certificates. In: IEEE Control Systems Letters, Vol. 5, No. 4: pp. 1369-1374

Liu, Siyuan and Zamani, Majid (2021): Verification of Approximate Opacity via Barrier Certificates. 2021 American Control Conference (ACC), New Orleans, LA, USA, 25-28 May 2021. In: 2021 American Control Conference (ACC). New York: IEEE. pp. 764-769

Liu, Yushan; Hildebrandt, Marcel; Joblin, Mitchell; Ringsquandl, Martin; Raissouni, Rime and Tresp, Volker (2021): Neural Multi-hop Reasoning with Logical Rules on Biomedical Knowledge Graphs. In: Verborgh, Ruben; Hose, Katja; Paulheim, Heiko; Champin, Pierre-Antoine; Maleshkova, Maria; Corcho, Oskar; Ristoski, Petar and Alam, Mehwish (eds.) : The Semantic Web. 18th International Conference, ESWC 2021, Virtual Event, June 6–10, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), Vol. 12731. Cham: Springer. pp. 375-391

Ma, Yong; Drewes, Heiko and Butz, Andreas (2021): Fake Moods: Can Users Trick an Emotion-Aware VoiceBot? CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-4

Ma, Yong ORCID logoORCID: https://orcid.org/0000-0002-8398-4118; Li, Jingyi ORCID logoORCID: https://orcid.org/0000-0002-3315-1855; Drewes, Heiko ORCID logoORCID: https://orcid.org/0000-0001-5987-2864 and Butz, Andreas ORCID logoORCID: https://orcid.org/0000-0002-9007-9888 (2021): You Sound Relaxed Now – Measuring Restorative Effects from Speech Signals. In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : Human-Computer Interaction – INTERACT 2021. 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part II. Lecture Notes in Computer Science (LNCS), Vol. 12933. Cham: Springer. pp. 585-594

Ma, Yunpu and Tresp, Volker (2021): Causal Inference under Networked Interference and Intervention Policy Enhancement. In: 24Th International Conference on Artificial Intelligence and Statistics (Aistats), Vol. 130

Mang, Julia; Küchenhoff, Helmut; Meinck, Sabine and Prenzel, Manfred (2021): Sampling weights in multilevel modelling: an investigation using PISA sampling structures. In: Large-Scale Assessments in Education, Vol. 9, No. 1, 6

Mironchenko, Andrii; Kawan, Christoph and Glück, Jochen (2021): Nonlinear small-gain theorems for input-to-state stability of infinite interconnections. In: Mathematics of Control Signals and Systems, Vol. 33, No. 4: pp. 573-615

Mironchenko, Andrii; Noroozi, Navid; Kawan, Christoph and Zamani, Majid (2021): ISS small-gain criteria for infinite networks with linear gain functions. In: Systems & Control Letters, Vol. 157, 105051

Mironchenko, Andrii; Noroozi, Navid; Kawan, Christoph and Zamani, Majid (2021): A small-gain approach to ISS of infinite networks with homogeneous gain operators. 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, 14-17 December 2021. In: 2021 60th IEEE Conference on Decision and Control (CDC). pp. 4817-4822

Mortier, Thomas; Wydmuch, Marek; Dembczynski, Krzysztof; Hüllermeier, Eyke and Waegeman, Willem (2021): Efficient set-valued prediction in multi-class classification. In: Data Mining and Knowledge Discovery, Vol. 35, No. 4: pp. 1435-1469

Müller, Robert; Illium, Steffen and Linnhoff-Popien, Claudia (2021): Deep Recurrent Interpolation Networks for Anomalous Sound Detection. 2021 International Joint Conference on Neural Networks (IJCNN), Shenzhen, China, 18-22 July 2021. In: 2021 International Joint Conference on Neural Networks (IJCNN). pp. 1-7

Nejati, Ameneh; Lavaei, Abolfazl; Soudjani, Sadegh and Zamani, Majid (2021): Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. In: Ifac Papersonline, Vol. 54, No. 5: pp. 277-282

Nguyen, Vu-Linh and Hüllermeier, Eyke (2021): Multilabel Classification with Partial Abstention: Bayes-Optimal Prediction under Label Independence. In: Journal of Artificial Intelligence Research, Vol. 72: pp. 613-665

Noroozi, Navid; Mironchenko, Andrii; Kawan, Christoph and Zamani, Majid (2021): Set stability of infinite networks: ISS small-gain theory and its applications. In: Ifac Papersonline, Vol. 54, No. 9: pp. 72-77

Paternò, Fabio; Burnett, Margaret; Fischer, Gerhard; Matera, Maristella; Myers, Brad and Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 (2021): Artificial Intelligence versus End-User Development: A Panel on What Are the Tradeoffs in Daily Automations? In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : (2021): Human-Computer Interaction – INTERACT 2021 : 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part V. Lecture Notes in Computer Science (LNISA), Vol. 12936. Berlin: Springer. pp. 340-343

Pfeuffer, Ken; Abdrabou, Yasmeen; Esteves, Augusto; Rivu, Radiah; Abdelrahman, Yomna; Meitner, Stefanie; Saadi, Amr and Alt, Florian (2021): ARtention: A design space for gaze-adaptive user interfaces in augmented reality. In: Computers & Graphics-Uk, Vol. 95: pp. 1-12

Phan, Thomy; Belzner, Lenz; Gabor, Thomas; Sedlmeier, Andreas; Ritz, Fabian and Linnhoff-Popien, Claudia (2021): Resilient Multi-Agent Reinforcement Learning with Adversarial Value Decomposition. The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21), Virtual Event, February 2-9, 2021. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35. AAAI Press. pp. 11308-11316

Prange, Sarah ORCID logoORCID: https://orcid.org/0000-0001-8303-1600; Mayer, Sven ORCID logoORCID: https://orcid.org/0000-0001-5462-8782; Bittl, Maria-Lena; Hassib, Mariam and Alt, Florian ORCID logoORCID: https://orcid.org/0000-0001-8354-2195 (2021): Investigating User Perceptions Towards Wearable Mobile Electromyography. In: Ardito, Carmelo; Lanzilotti, Rosa; Milizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : Human-Computer Interaction – INTERACT 2021. 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part V. Lecture Notes in Computer Science (LNCS), Vol. 12935. Cham: Springer. pp. 339-360

Prange, Sarah; Shams, Ahmed; Piening, Robin; Abdelrahman, Yomna and Alt, Florian (2021): PriView– Exploring Visualisations to Support Users’ Privacy Awareness. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-18

Qian, Li; Plant, Claudia and Bohm, Christian (2021): Density-Based Clustering for Adaptive Density Variation. 2021 IEEE International Conference on Data Mining (ICDM), Auckland, New Zealand, 07-10 December 2021. In: 2021 IEEE International Conference on Data Mining (ICDM). New York: IEEE. pp. 1282-1287

Radiah, Rivu; Makela, Ville; Prange, Sarah; Rodriguez, Sarah Delgado; Piening, Robin; Zhou, Yumeng; Kohle, Kay; Pfeuffer, Ken; Abdelrahman, Yomna; Hoppe, Matthias; Schmidt, Albrecht and Alt, Florian (2021): Remote VR Studies: A Framework for Running Virtual Reality Studies Remotely Via Participant-Owned HMDs. In: Acm Transactions on Computer-Human Interaction, Vol. 28, No. 6, 46

Rivu, Radiah; Zhou, Yumeng; Welsch, Robin; Mäkelä, Ville and Alt, Florian (2021): When Friends Become Strangers: Understanding the Influence of Avatar Gender on Interpersonal Distance in Virtual Reality. In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : Human-Computer Interaction – INTERACT 2021. 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part V. Lecture Notes in Computer Science (LNCS), Vol. 12936. Cham: Springer. pp. 234-250

Rombach, Robin; Esser, Patrick and Ommer, Bjorn (2021): Geometry-Free View Synthesis: Transformers and no 3D Priors. 2021 IEEE/CVF International Conference on Computer Vision (ICCV), Montreal, QC, Canada, 10-17 October 2021. In: 2021 IEEE/CVF International Conference on Computer Vision (ICCV). New York: IEEE. pp. 14336-14346

Rusu, Marius Mihai; Schött, Svenja Yvonne; Williamson, John H.; Schmidt, Albrecht and Murray-Smith, Roderick (2021): Low-Dimensional Embeddings for Interaction Design. In: Advanced Intelligent Systems, Vol. 4, No. 2, 2100045

Salamati, Ali; Lavaei, Abolfazl; Soudjani, Sadegh and Zamani, Majid (2021): Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. In: Ifac Papersonline, Vol. 54, No. 5: pp. 7-12

Salamati, Ali; Soudjani, Sadegh and Zamani, Majid (2021): Data-driven verification of stochastic linear systems with signal temporal logic constraints. In: Automatica, Vol. 131, 109781

Saoud, Adnane; Jagtap, Pushpak; Zamani, Majid and Girard, Antoine (2021): Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. In: IEEE Transactions on Control of Network Systems, Vol. 8, No. 2: pp. 702-712

Schmid, Kyrill; Müller, Robert; Belzner, Lenz; Tochtermann, Johannes and Linnhoff-Popien, Claudia (2021): Distributed Emergent Agreements with Deep Reinforcement Learning. 2021 International Joint Conference on Neural Networks (IJCNN), Shenzhen, China, 18-22 July 2021. In: 2021 International Joint Conference on Neural Networks (IJCNN). pp. 1-8

Schmid, Kyrill; Ritz, Fabian; Illium, Steffen and Müller, Robert (2021): Analysis of Feature Representations for Anomalous Sound Detection. In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence (Volume 2). ICAART, Setúbal, Portuagl: SciTePress. pp. 97-106

Schmidt, Albrecht (2021): The End of Serendipity: Will Artificial Intelligence Remove Chance and Choice in Everyday Life? CHItaly '21: CHItaly 2021: 14th Biannual Conference of the Italian SIGCHI Chapter, Bolzano, Italy, July 11 - 13, 2021. In: De Angeli, Antonella; Chittaro, Luca; Gennari, Rosella; De Marsico, Maria; Melonio, Alessandra; Gena, Cristina; De Russis, Luigi and Spano, Lucio Davide (eds.) : CHItaly 2021: 14th Biannual Conference of the Italian SIGCHI Chapter. New York: Association for Computing Machinery (ACM). pp. 1-4

Schmidt, Albrecht; Alt, Florian and Mäkelä, Ville (2021): Evaluation in Human-Computer Interaction – Beyond Lab Studies. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-4

Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990; Giannotti, Fosca; Mackay, Wendy; Shneiderman, Ben and Väänänen, Kaisa (2021): Artificial Intelligence for Humankind: A Panel on How to Create Truly Interactive and Human-Centered AI for the Benefit of Individuals and Society. In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : (2021): Human-Computer Interaction – INTERACT 2021 : 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part V. Lecture Notes in Computer Science book series (LNISA), Vol. 12936. Cham: Springer. pp. 335-339

Schmidt, Albrecht; Mayer, Sven and Buschek, Daniel (2021): Introduction to Intelligent User Interfaces. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-4

Schneegass, Christina; Irmscher, Diana; Bemmann, Florian and Buschek, Daniel (2021): LYLO – Exploring Disclosed Configurations for Inter-Personal Location Sharing. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-6

Shaker, Ammar and Hüllermeier, Eyke (2021): TSK-Streams: learning TSK fuzzy systems for regression on data streams. In: Data Mining and Knowledge Discovery, Vol. 35, No. 5: pp. 1941-1971

Sharifzadeh, Sahand; Baharlou, Sina Moayed; Berrendorf, Max; Koner, Rajat and Tresp, Volker (2021): Improving Visual Relation Detection using Depth Maps. 2020 25th International Conference on Pattern Recognition (ICPR), Milan, Italy, 10-15 January 2021. In: 2020 25th International Conference on Pattern Recognition (ICPR). New York: IEEE. pp. 3597-3604

Sharifzadeh, Sahand; Moayed Baharlou, Sina and Tresp, Volker (2021): Classification by Attention: Scene Graph Classification with Prior Knowledge. The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21), Virtual Event, February 2-9, 2021. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35. AAAI Press. pp. 5025-5033

Stachl, Clemens ORCID logoORCID: https://orcid.org/0000-0002-4498-3067; Au, Quay ORCID logoORCID: https://orcid.org/0000-0002-5252-8902; Schoedel, Ramona; Gosling, Samuel D. ORCID logoORCID: https://orcid.org/0000-0001-8970-591X; Harari, Gabriella M.; Buschek, Daniel ORCID logoORCID: https://orcid.org/0000-0002-0013-715X; Voelkel, Sarah Theres; Schuwerk, Tobias ORCID logoORCID: https://orcid.org/0000-0003-3720-7120; Oldemeier, Michelle; Ullmann, Theresa ORCID logoORCID: https://orcid.org/0000-0003-1215-8561; Hussmann, Heinrich; Bischl, Bernd ORCID logoORCID: https://orcid.org/0000-0001-6002-6980 and Bühner, Markus ORCID logoORCID: https://orcid.org/0000-0002-0597-8708 (2021): Predicting personality from patterns of behavior collected with smartphones. In: Proceedings of the National Academy of Sciences of the United States of America, Vol. 118, No. 29, 1920484117

Stepp, Herbert; Homann, Christian; Hennig, Georg; Vogeser, Michael; Lilge, Lothar D. and Huang, Zhiwei (2021): Two-wavelength excitation spectroscopy for non-invasive detection of the iron deficiency indicator zinc protoporphyrin IX. European Conferences on Biomedical Optics, Germany, 20-25 June 2021. In: Huang, Zhiwei and Lilge, Lothar D. (eds.) : Translational Biophotonics: Diagnostics and Therapeutics. Vol. 11919. New York: SPE. p. 23

Steuer, Jana; Kellermann, Hanna; Grupp, Frank; Goessl, Claus; Hopp, Ulrich; Lang-Bardl, Florian; Bender, Ralf; Shaklan, Stuart B. and Ruane, Garreth J. (2021): Confirming transiting exoplanets with the Fraunhofer Telescope Wendelstein. SPIE Optical Engineering + Applications, San Diego, California, United States, 1-5 August 2021. In: Shaklan, Stuart B. and Ruane, Garreth J. (eds.) : Techniques and Instrumentation for Detection of Exoplanets X. Vol. 11823. New York: SPIE. p. 63

Straus, Niklas; Rottkamp, Lukas; Schmoll, Sebastian and Schubert, Matthias (2021): Efficient Parking Search using Shared Fleet Data. 22nd IEEE International Conference on Mobile Data Management (MDM), Toronto, ON, Canada, 15-18 June 2021. In: 2021 22nd IEEE International Conference on Mobile Data Management (MDM). New York: IEEE. pp. 115-120

Strohm, Florian; Sood, Ekta; Mayer, Sven; Muller, Philipp; Bace, Mihai and Bulling, Andreas (2021): Neural Photofit: Gaze-based Mental Image Reconstruction. 2021 IEEE/CVF International Conference on Computer Vision (ICCV), Montreal, QC, Canada, 10-17 October 2021. In: 2021 IEEE/CVF International Conference on Computer Vision (ICCV). New York: IEEE. pp. 245-254

Sun, Xin; Yu, Yongbo; Liang, Yao; Dong, Junyu; Plant, Claudia and Böhm, Christian (2021): Fusing attributed and topological global-relations for network embedding. In: Information Sciences, Vol. 558: pp. 76-90

Swikir, Abdalla; Girard, Antoine and Zamani, Majid (2021): Symbolic Models for a Class of Impulsive Systems. In: IEEE Control Systems Letters, Vol. 5, No. 1: pp. 247-252

Terzimehić, Nađa (2021): Real-World Presence in the Era of Ubiquitous Computing. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-4

Terzimehić, Nađa; George, Ceenu; Häuslschmid, Renate and Hussmann, Heinrich (2021): On Ubiquitous Technology, a Digital World and their Influence on People’s Feeling and Control of Presence in Everyday Life. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-7

Terzimehić, Nađa; Schött, Svenja Yvonne; Bemmann, Florian and Buschek, Daniel (2021): MEMEories: Internet Memes as Means for Daily Journaling. DIS '21: Designing Interactive Systems Conference 2021, United States, 28 June 2021- 2 July 2021. In: Ju, Wendy; Oehlberg, Lora; Follmer, Sean; Fox, Sarah and Kuznetsov, Stacey (eds.) : Designing Interactive Systems Conference 2021. New York: Association for Computing Machinery (ACM). pp. 538-548

Tomar, Mahendra Singh; Rungger, Matthias and Zamani, Majid (2021): Invariance Feedback Entropy of Uncertain Control Systems. In: IEEE Transactions on Automatic Control, Vol. 66, No. 12: pp. 5680-5695

Trisovic, Ana; Mika, Katherine; Boyd, Ceilyn; Feger, Sebastian and Crosas, Merce (2021): Repository Approaches to Improving the Quality of Shared Data and Code. In: Data, Vol. 6, No. 2, 15

Tschernutter, Daniel and Feuerriegel, Stefan (2021): A Latent Customer Flow Model for Interpretable Predictions of Check-In Counts. 2021 IEEE International Conference on Big Data (Big Data), Orlando, FL, USA, 15-18 December 2021. In: 2021 IEEE International Conference on Big Data (Big Data). New York: IEEE. pp. 529-539

Villa, Steeven; Niess, Jasmin; Eska, Bettina; Schmidt, Albrecht and Machulla, Tonja-Katrin (2021): Assisting Motor Skill Transfer for Dance StudentsUsing Wearable Feedback. UbiComp '21: The 2021 ACM International Joint Conference on Pervasive and Ubiquitous Computing, United States, September 21 - 26, 2021. In: 2021 International Symposium on Wearable Computers. New York: Association for Computing Machinery (ACM). pp. 38-42

Volgger, Veronika; Felicio-Briegel, Axelle; Freymüller, Christian; Rühm, Adrian; Linek, Matthäus; Sroka, Ronald; Lilge, Lothar D. and Huang, Zhiwei (2021): Investigation on hyperspectral imaging derived indices for perfusion monitoring. European Conferences on Biomedical Optics, Germany, 20-25 June 2021. In: Huang, Zhiwei and Lilge, Lothar D. (eds.) : Translational Biophotonics: Diagnostics and Therapeutics. Vol. 11919. New York: SPIE. p. 15

Wahane, Shalaka; Zhou, Xianxiao; Zhou, Xiang; Guo, Lei; Friedl, Marie-Sophie; Kluge, Michael; Ramakrishnan, Aarthi; Shen, Li; Friedel, Caroline C.; Zhang, Bin; Friedel, Roland H. and Zou, Hongyan (2021): Diversified transcriptional responses of myeloid and glial cells in spinal cord injury shaped by HDAC3 activity. In: Science Advances, Vol. 7, No. 9, eabd8811

Wang, Chao; Usai, Marcel; Li, Jingyi; Baumann, Martin and Flemisch, Frank (2021): Workshop on Human-Vehicle-Environment Cooperation in Automated driving: The Next Stage of a Classic Topic. AutomotiveUI '21 Adjunct: 13th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, Leeds, United Kingdom, September 9 - 14, 2021. In: 13th International Conference on Automotive User Interfaces and Interactive Vehicular Applications. New York: Association for Computing Machinery (ACM). pp. 200-203

Weber, Thomas ORCID logoORCID: https://orcid.org/0000-0002-6894-605X; Hußmann, Heinrich ORCID logoORCID: https://orcid.org/0000-0003-1709-7905 and Eiband, Malin (2021): Quantifying the Demand for Explainability. In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe and Inkpen, Kori (eds.) : Human-Computer Interaction – INTERACT 2021. 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part II. Lecture Notes in Computer Science (LNISA), Vol. 12933. Cham: Springer. pp. 652-661

Weber, Thomas; Winiker, Christina and Hussmann, Heinrich (2021): A Closer Look at Machine Learning Code. CHI '21: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine and Igarashi, Takeo (eds.) : Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery. pp. 1-6

Wehler, Joachim (2021): Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions. In: Fundamenta Informaticae, Vol. 182, No. 3: pp. 363-393

Weitkämper, Felix ORCID logoORCID: https://orcid.org/0000-0002-3895-8279 (1. April 2021): Statistical Relational Artificial Intelligence with Relative Frequencies. A Contribution to Modelling and Transfer Learning across Domain Sizes. [PDF, 369kB]

Weitkämper, Felix ORCID logoORCID: https://orcid.org/0000-0002-3895-8279 (2021): Axiomatizing Boolean Differentiation. In: Große, Daniel and Drechsler, Rolf (eds.) : Recent Findings in Boolean Techniques. Selected Papers from the 14th International Workshop on Boolean Problems. Cham: Springer. pp. 83-104 [PDF, 333kB]

Weitkämper, Felix Q. ORCID logoORCID: https://orcid.org/0000-0002-3895-8279 (2021): An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions. In: Theory and Practice of Logic Programming, Vol. 21, No. Special Issue 6: pp. 802-817 [PDF, 401kB]

Welsch, Robin; Wessels, Marlene; Bernhard, Christoph; Thones, Sven and Castell, Christoph von (2021): Physical distancing and the perception of interpersonal distance in the COVID-19 crisis. In: Scientific Reports, Vol. 11, No. 1, 11485

Wiethoff, Alexander; Hoggenmueller, Marius; Rossmy, Beat; Hirsch, Linda; Hespanhol, Luke and Tomitsch, Martin (2021): A Media Architecture Approach for Designing the Next Generation of Urban Interfaces. In: Interaction Design and Architectures, No. 48: pp. 9-32

Woźniak, Paweł W.; Karolus, Jakob; Lang, Florian; Eckerth, Caroline; Schöning, Johannes; Rogers, Yvonne and Niess, Jasmin (2021): Creepy Technology: What Is It and How Do You Measure It? CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems, Yokohama, Japan, May 8 - 13, 2021. In: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM). p. 719

Xie, Yifan; Yin, Xiang; Li, Shaoyuan and Zamani, Majid (2021): Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications. 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, 14-17 December 2021. In: 2021 60th IEEE Conference on Decision and Control (CDC). pp. 7015-7021

Xing, Yiran; Shi, Zai; Meng, Zhao; Lakemeyer, Gerhard; Ma, Yunpu and Wattenhofer, Roger (2021): KM-BART: Knowledge Enhanced Multimodal BART for Visual Commonsense Generation. 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Online, August 1–6, 2021. In: Ji, Heng; Park, Jong C. and Xia, Rui (eds.) : Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 1: Long Papers). Association for Computational Linguistics (ACL). pp. 525-535

Ye, Wei; Mautz, Dominik; Böhm, Christian; Singh, Ambuj and Plant, Claudia (2021): Incorporating User's Preference into Attributed Graph Clustering. In: IEEE Transactions on Knowledge and Data Engineering, Vol. 33, No. 12: pp. 3716-3728

Zellner, Ludwig; Sontheim, Janina; Richter, Florian; Lindner, Gabriel and Seidl, Thomas (2021): SCORER-Gap: Sequentially Correlated Rules for Event Recommendation Considering Gap Size. 2021 International Conference on Data Mining Workshops (ICDMW), Auckland, New Zealand, 07-10 December 2021. In: 2021 International Conference on Data Mining Workshops (ICDMW). New York: IEEE. pp. 925-934

Zhang, Zelun Tony; Liu, Yuanting and Hussmann, Heinrich (2021): Forward Reasoning Decision Support: Toward a More Complete View of the Human-AI Interaction Design Space. CHItaly '21: CHItaly 2021: 14th Biannual Conference of the Italian SIGCHI Chapter, Bolzano, Italy, July 11 - 13, 2021. In: De Angeli, Antonella; Chittaro, Luca; Gennari, Rosella; De Marsico, Maria; Melonio, Alessandra; Gena, Cristina; De Russis, Luigi and Spano, Lucio Davide (eds.) : CHItaly 2021: 14th Biannual Conference of the Italian SIGCHI Chapter. New York: Association for Computing Machinery (ACM). pp. 1-5

Zhong, Bingzhuo; Lavaei, Abolfazl; Cao, Hongpeng; Zamani, Majid and Caccamo, Marco (2021): Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems. In: Nonlinear Analysis-Hybrid Systems, Vol. 43, 101110

2020

Al Khatib, Mohammad and Zamani, Majid (2020): Controller synthesis for interconnected systems using parametric assume-guarantee contracts. 2020 American Control Conference (ACC), Denver, CO, USA, 1-3 July 2020. In: 2020 American Control Conference (ACC). IEEE. pp. 5419-5424

Altinigneli, Muzaffer Can; Miklautz, Lukas; Bohm, Christian and Plant, Claudia (2020): Hierarchical Quick Shift Guided Recurrent Clustering. In: 2020 IEEE 36Th International Conference on Data Engineering (Icde 2020): pp. 1842-1845

Anand, Mahathi; Lavaei, Abolfazl and Zamani, Majid (2020): Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems. In: Ifac Papersonline, Vol. 53, No. 2: pp. 1862-1867

Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Kretinsky, Jan; Weininger, Maximilian and Zamani, Majid (2020): Demo: dtControl: Decision Tree Learning Algorithms for Controller Representation. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)

Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Kretinsky, Jan; Weininger, Maximilian and Zamani, Majid (2020): dtControl: Decision Tree Learning Algorithms for Controller Representation. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)

Becker, Moritz; Matt, Christian ORCID logoORCID: https://orcid.org/0000-0001-9800-2335 and Hess, Thomas ORCID logoORCID: https://orcid.org/0000-0003-3969-7477 (2020): It's Not Just About the Product: How Persuasive Communication Affects the Disclosure of Personal Health Information. In: Data Base for Advances in Information Systems, Vol. 51, No. 1: pp. 37-50

Beer, Anna; Seeholzer, Dominik; Schueler, Nadine-Sarah and Seidl, Thomas (2020): Angle-Based Clustering. In: Similarity Search and Applications, Sisap 2020, Vol. 12440: pp. 312-320

Behzadi, Sahar; Müller, Nikola S.; Plant, Claudia and Boehm, Christian (2020): Clustering of mixed-type data considering concept hierarchies: problem specification and algorithm. In: International Journal of Data Science and Analytics, Vol. 10, No. 3: pp. 233-248

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 and Huisman, Marieke (2020): Selected and Extended Papers from TACAS 2018: Preface. In: Journal of Automated Reasoning, Vol. 64, No. 7: pp. 1331-1332 [PDF, 172kB]

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 and Huisman, Marieke (2020): Tools for the construction and analysis of systems. In: International Journal on Software Tools for Technology Transfer, Vol. 22: pp. 685-687 [PDF, 213kB]

Bing, Zhenshan; Lemke, Christian; Cheng, Long; Huang, Kai and Knoll, Alois (2020): Energy-efficient and damage-recovery slithering gait design for a snake-like robot based on reinforcement learning and inverse reinforcement learning. In: Neural Networks, Vol. 129: pp. 323-333

Bing, Zhenshan; Lemke, Christian; Morin, Fabric O.; Jiang, Zhuangyi; Cheng, Long; Huang, Kai and Knoll, Alois (October 2020): Perception-Action Coupling Target Tracking Control for a Snake Robot via Reinforcement Learning. In: Frontiers in Neurorobotics, Vol. 14, 591128: pp. 1-13 [PDF, 2MB]

Boehm, Christian and Plant, Claudia (2020): Massively Parallel Graph Drawing and Representation Learning. In: 2020 IEEE International Conference on Big Data (Big Data): pp. 609-616

Bry, François (2020): In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming. In: Theory and Practice of Logic Programming, Vol. 20, No. 1: pp. 99-146 [PDF, 443kB]

Carrami, Eli M.; Sharifzadeh, Sahand; Wietek, Nina C.; Artibani, Mara; El-Sahhar, Salma; Sauka-Spengler, Tatjana; Yau, Christopher; Tresp, Volker and Ahmed, Ahmed A. (2020): A highly accurate platform for clone-specific mutation discovery enables the study of active mutational processes. In: eLife, Vol. 9, e55207 [PDF, 1MB]

Chung, Minh Thanh; Weidendorfer, Josef; Samfass, Philipp; Fuerlinger, Karl and Kranzlmüller, Dieter (2020): Scheduling across Multiple Applications using Task-Based Programming Models. In: Proceedings of Fourth Annual Workshop on Emerging Parallel and Distributed Runtime Systems and Middleware (Ipdrm 2020): pp. 1-8

Colley, Ashley; Pfleging, Bastian; Alt, Florian and Hakkila, Jonna (2020): Exploring public wearable display of wellness tracker data. In: International Journal of Human-Computer Studies, Vol. 138, 102408

Danciu, Vitalian (2020): Organisational Security Dependent on Individual Privacy. In: SN Computer Science, Vol. 1, No. 4, 205 [PDF, 743kB]

Danciu, Vitalian and Tran, Cuong Ngoc (2020): Side-Effects Causing Hidden Conflicts in Software-Defined Networks. In: SN Computer Science, Vol. 1, No. 5, 278 [PDF, 1MB]

De Nicola, Rocco; Jähnichen, Stefan and Wirsing, Martin (2020): Rigorous engineering of collective adaptive systems: special section. In: International Journal on Software Tools for Technology Transfer, Vol. 22, No. 4: pp. 389-397 [PDF, 248kB]

Dietz, Felix; Hoppe, Matthias; Karolus, Jakob; Wozniak, Pawel W.; Schmidt, Albrecht and Machulla, Tonja (2020): VRsneaky: Stepping into an Audible Virtual World with Gait-Aware Auditory Feedback. In: Chi'20: Extended Abstracts of the 2020 Chi Conference on Human Factors in Computing Systems, INT041

Eiband, Malin; Voelkel, Sarah Theres; Buschek, Daniel; Cook, Sophia and Hussmann, Heinrich (2020): A Method and Analysis to Elicit User-Reported Problems in Intelligent Everyday Applications. In: ACM Transactions on Interactive Intelligent Systems, Vol. 10, No. 4, 28

Englmeier, David; Doerner, Julia; Butz, Andreas and Hoellerer, Tobias (2020): A Tangible Spherical Proxy for Object Manipulation in Augmented Reality. In: 2020 IEEE Conference on Virtual Reality and 3D User Interfaces (Vr 2020): pp. 221-229

Feld, Sebastian; Roch, Christoph; Gabor, Thomas; To, Xiao-Ting Michelle and Linnhoff-Popien, Claudia (2020): The Dynamic Time Warping Distance Measure as QUBO Formulation. In: 2020 5th International Conference on Computer and Communication Systems (ICCCS 2020): pp. 946-950

Friedl, Sabrina; Schmoll, Sebastian; Borutta, Felix and Schubert, Matthias (2020): SMART-Env. In: 2020 21St IEEE International Conference on Mobile Data Management (Mdm 2020): pp. 234-235

Friedrich, Markus; Illium, Steffen; Fayolle, Pierre-Alain and Linnhoff-Popien, Claudia (2020): A Hybrid Approach for Segmenting and Fitting Solid Primitives to 3D Point Clouds. In: Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Vol 1: Grapp: pp. 38-48

Gabor, Thomas; Sedlmeier, Andreas; Phan, Thomy; Ritz, Fabian; Kiermeier, Marie; Belzner, Lenz; Kempter, Bernhard; Klein, Cornel; Sauer, Horst; Schmid, Reiner; Wieghardt, Jan; Zeller, Marc and Linnhoff-Popien, Claudia (2020): The scenario coevolution paradigm: adaptive quality assurance for adaptive systems. In: International Journal on Software Tools for Technology Transfer, Vol. 22: pp. 457-476 [PDF, 1MB]

Gabor, Thomas; Zielinski, Sebastian; Roch, Christoph; Feld, Sebastian and Linnhoff-Popien, Claudia (2020): The UQ Platform: A Unifed Approach To Quantum Annealing. In: 2020 5Th International Conference on Computer and Communication Systems (Icccs 2020): pp. 115-119

George, Ceenu; Tamunjoh, Patrick and Hussmann, Heinrich (2020): Invisible Boundaries for VR: Auditory and Haptic Signals as Indicators for Real World Boundaries. In: IEEE Transactions on Visualization and Computer Graphics, Vol. 26, No. 12: pp. 3414-3422

Goncalves, Patrik; Orlosky, Jason and Machulla, Tonja-Katrin (2020): An Augmented Reality Assistant to Support Button Selection for Patients with Age-related Macular Degeneration. In: 2020 IEEE Conference on Virtual Reality and 3D User Interfaces Workshops (Vrw 2020): pp. 731-732

Gregorio Hertz, Priscilla; Rettenberger, Martin; Welsch, Robin and Turner, Daniel (2020): Die klinisch-forensische Bedeutung des Selbstregulationsmodells sexueller Delinquenz und Rückfälligkeit bei pädosexuellen Straftaten. In: Forensische Psychiatrie Psychologie Kriminologie, Vol. 14, No. 3: pp. 336-343

Grupe, Gisela; Klaut, Dominika; Otto, Larissa; Mauder, Markus; Lohrer, Johannes; Kroeger, Peer and Lang, Amei (2020): The genesis and spread of the early Fritzens-Sanzeno culture (5th/4th cent. BCE) - Stable isotope analysis of cremated and uncremated skeletal finds. In: Journal of Archaeological Science-Reports, Vol. 29, 102121

Gu, Jindong and Tresp, Volker (2020): Improving the Robustness of Capsule Networks to Image Affine Transformations. In: 2020 Ieee/Cvf Conference on Computer Vision and Pattern Recognition (Cvpr): pp. 7283-7291

Gu, Jindong and Tresp, Volker (2020): Search for Better Students to Learn Distilled Knowledge. In: ECAI 2020: 24th European Conference on Artificial Intelligence, Vol. 325: pp. 1159-1165

Gugenheimer, Jan; McGill, Mark; Huron, Samuel; Mai, Christian; Williamson, Julie and Nebeling, Michael (2020): Exploring Potentially Abusive Ethical, Social and Political Implications of Mixed Reality Research in HCI. In: Chi'20: Extended Abstracts of the 2020 Chi Conference on Human Factors in Computing Systems

Gwozdz, Maja (2020): Figurative Language Grounding in Humanoid Robots. In: Intelligent Systems and Applications, Vol 2, Vol. 1038: pp. 347-362

Hahn, Carsten; Phan, Thomy; Feld, Sebastian; Roch, Christoph; Ritz, Fabian; Sedlmeier, Andreas; Gabor, Thomas and Linnhoff-Popien, Claudia (2020): Nash Equilibria in Multi-Agent Swarms. In: Icaart: Proceedings of the 12Th International Conference on Agents and Artificial Intelligence, Vol 1: pp. 234-241

Han, Jiawei; Liu, Yanheng; Sun, Xin and Chen, Aiping (2020): A self-adjusting quantum key renewal management scheme in classical network symmetric cryptography. In: Journal of Supercomputing, Vol. 76, No. 6: pp. 4212-4230

Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre and Mindt, Felix (2020): Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. In: Dynamic Logic: New Trends and Applications, Dali 2019, Vol. 12005: pp. 19-34

Hesse, Wolfgang (2020): Das Zerstörungspotenzial von Big Data und Künstlicher Intelligenz für die Demokratie. In: Informatik Spektrum, Vol. 43: pp. 339-346 [PDF, 458kB]

Hildebrandt, Marcel; Serna, Jorge Andres Quintero; Ma, Yunpu; Ringsquandl, Martin; Joblin, Mitchell and Tresp, Volker (2020): Reasoning on Knowledge Graphs with Debate Dynamics. In: Thirty-Fourth Aaai Conference on Artificial Intelligence, the Thirty-Second Innovative Applications of Artificial Intelligence Conference and the Tenth Aaai Symposium on Educational Advances in Artificial Intelligence, Vol. 34: pp. 4123-4131

Hirsch, Linda; Rossmy, Beat; Bemmann, Florian and Butz, Andreas (2020): Affordances Based on Traces of Use in Urban Environments. In: Tei'20: Proceedings of the Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction: pp. 729-742

Hoecker, Julian; Ozcan, Mehmet; Hammer, Sebastian; Fischer, Mathias; Bichler, Benedikt; Armer, Melina; Rieder, Philipp; Drach, Volker; Pflaum, Jens; Nickel, Bert and Dyakonov, Vladimir (2020): Seed crystal free growth of high-quality double cation - double halide perovskite single crystals for optoelectronic applications. In: Journal of Materials Chemistry C, Vol. 8, No. 24: pp. 8275-8283

Hoggenmueller, Marius; Hespanhol, Luke; Wiethoff, Alexander and Tomitsch, Martin (2020): Self-moving robots and pulverised urban displays: status quo, taxonomy, and challenges in emerging pervasive display research. In: Personal and Ubiquitous Computing

Hollaender, Kai; Ou, Changkun; Schellenberg, Luca and Butz, Andreas (2020): All Fun and Games: Obtaining Critical Pedestrian Behavior Data from an Online Simulation. In: Chi'20: Extended Abstracts of the 2020 Chi Conference on Human Factors in Computing Systems, LBW091

Hubregtsen, Thomas; Segler, Christoph; Pichlmeier, Josef; Sarkar, Aritra; Gabor, Thomas and Bertels, Koen (2020): Integration and Evaluation of Quantum Accelerators for Data-Driven User Functions. In: Proceedings of the Twentyfirst International Symposium on Quality Electronic Design (Isqed 2020): pp. 329-334

Jagtap, Pushpak; Swikir, Abdalla and Zamani, Majid (2020): Compositional Construction of Control Barrier Functions for Interconnected Control Systems. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)

Jagtap, Pushpak and Zamani, Majid (2020): Symbolic models for retarded jump-diffusion systems. In: Automatica, Vol. 111, 108666

Jahanshahi, Niloofar; Jagtap, Pushpak and Zamani, Majid (2020): Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions. In: Ifac Papersonline, Vol. 53, No. 2: pp. 2441-2446

Jakobs, Marie-Christine (2020): CoVeriTest: interleaving value and predicate analysis for test-case generation. In: International Journal on Software Tools for Technology Transfer

Jennes, Iris; Friedrich, Markus; Bank, Jaco van der; Broeck, Wendy van den; Ebert, Andre and Boonen, Michelle (2020): The benefits of interdisciplinary scenario-building for hybrid radio applications. In: Telematics and Informatics, Vol. 54, 101455

Jones, Paul W.; Thornton, Allen E.; Jones, Andrea A.; Knerich, Verena M.; Lang, Donna J.; Woodward, Melissa L.; Panenka, William J.; Su, Wayne; Barr, Alasdair M.; Buchanan, Tari; Honer, William G. and Gicas, Kristina M. (June 2020): Amygdala Nuclei Volumes Are Selectively Associated With Social Network Size in Homeless and Precariously Housed Persons. In: Frontiers in Behavioral Neuroscience, Vol. 14, 97: pp. 1-9 [PDF, 1MB]

Joppich, Markus; Olenchuk, Margaryta; Mayer, Julia M.; Emslander, Quirin; Jimenez-Soto, Luisa F. and Zimmer, Ralf (2020): SEQU-INTO: Early detection of impurities, contamination and off-targets (ICOs) in long read/MinION sequencing. In: Computational and Structural Biotechnology Journal, Vol. 18: pp. 1342-1351

Kawan, C.; Matveev, A. and Pogromsky, A. (2020): Data rate limits for the remote state estimation problem. In: Ifac Papersonline, Vol. 53, No. 2: pp. 4955-4960

Kawan, Christoph; Mironchenko, Andrii; Swikir, Abdalla; Noroozi, Navid and Zamani, Majid (2020): A spectral small-gain condition for input-to-state stability of infinite networks. In: Ifac Papersonline, Vol. 53, No. 2: pp. 5303-5308

Kazempour, Daniyal; Beer, Anna; Kroger, Peer and Seidl, Thomas (2020): I fold you so! An internal evaluation measure for arbitrary oriented subspace clustering. In: 20th IEEE International Conference on Data Mining Workshops (ICDMW 2020): pp. 316-323

Kazempour, Daniyal; Kroeger, Long Matthias Yan Peer and Seidl, Thomas (2020): You see a set of wagons - I see one train: Towards a unified view of local and global arbitrarily oriented subspace clusters. In: 20th IEEE International Conference on Data Mining Workshops (ICDMW 2020): pp. 308-315

Kazempour, Daniyal; Kroeger, Peer and Seidl, Thomas (2020): Towards an Internal Evaluation Measure for Arbitrarily Oriented Subspace Clustering. In: 20th IEEE International Conference on Data Mining Workshops (ICDMW 2020): pp. 300-307

Knierim, Pascal; Kosch, Thomas; Groschopp, Johannes and Schmidt, Albrecht (2020): Opportunities and Challenges of Text Input in Portable Virtual Reality. In: Chi'20: Extended Abstracts of the 2020 Chi Conference on Human Factors in Computing Systems, LBW134

Koepueklue, Okan; Ledwon, Thomas; Rong, Yao; Kose, Neslihan and Rigoll, Gerhard (2020): DriverMHG: A Multi-Modal Dataset for Dynamic Recognition of Driver Micro Hand Gestures and a Real-Time Recognition Framework. In: 2020 15th IEEE International Conference on Automatic Face and Gesture Recognition (Fg 2020): pp. 77-84

Kubitza, Thomas; Bader, Patrick; Moegerle, Matthias and Schmidt, Albrecht (2020): Developing IoT Systems: It's All About the Software. In: Computer, Vol. 53, No. 4: pp. 58-62

Kun, Andrew; Henze, Niels; Schwind, Valentin; Wolf, Katrin; Kocur, Martin and Schmidt, Albrecht (2020): Preparing an Online Lecture That We Wouldn't Hate to Attend. In: IEEE Pervasive Computing, Vol. 19, No. 3: pp. 51-55

Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh and Zamani, Majid (2020): Poster: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)

Lavaei, Abolfazl; Somenzi, Fabio; Soudjani, Sadegh; Trivedi, Ashutosh and Zamani, Majid (2020): Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. In: 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS 2020): pp. 98-107

Lavaei, Abolfazl; Soudjani, Sadegh and Zamani, Majid (2020): Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. In: IEEE Transactions on Automatic Control, Vol. 65, No. 12: pp. 5280-5295

Lavaei, Abolfazl; Soudjani, Sadegh and Zamani, Majid (2020): Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach. In: Nonlinear Analysis-Hybrid Systems, Vol. 36, 100880

Lavaei, Abolfazl; Soudjani, Sadegh and Zamani, Majid (2020): Compositional abstraction-based synthesis for networks of stochastic switched systems. In: Automatica, Vol. 114, 108827

Lemberger, Thomas (2020): Plain random test generation with PRTest. In: International Journal on Software Tools for Technology Transfer, Vol. 23: pp. 871-873 [PDF, 271kB]

Li, Yanhong; Rossmy, Beat and Hussmann, Heinrich (2020): Tangible Interaction with Light: A Review. In: Multimodal Technologies and Interaction, Vol. 4, No. 4, 72

Liu, Dongge; Ernst, Gidon; Murray, Toby and Rubinstein, Benjamin I. P. (2020): LEGION: Best-First Concolic Testing. In: 2020 35th IEEE/ACM International Conference on Automated Software Engineering (Ase 2020): pp. 54-65

Liu, Siyuan; Yin, Xiang and Zamani, Majid (2020): On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems. In: 2020 American Control Conference (Acc): pp. 5413-5418

Lu, Yifeng; Zhang, Yao; Richter, Florian and Seidl, Thomas (2020): k-Nearest Neighbor based Clustering with Shape Alternation Adaptivity. In: 2020 International Joint Conference on Neural Networks (Ijcnn)

Luckow, Andre and Jha, Shantenu (2020): Methods and Experiences for Developing Abstractions for Data-intensive, Scientific Applications. In: 2020 IEEE 34Th International Parallel and Distributed Processing Symposium Workshops (Ipdpsw 2020): pp. 636-645

Mai, Thong Le; Chung, Minh Thanh; Le, Van Thanh and Thoai, Nam (2020): From Transcripts to Insights for Recommending the Curriculum to University Students. In: SN Computer Science, Vol. 1, No. 6, 323 [PDF, 2MB]

Matthies, Denys J. C.; Urban, Bodo; Wolf, Katrin and Schmidt, Albrecht (2020): Reflexive Interaction Extending the concept of Peripheral Interaction. In: Proceedings of the 31st Australian Conference on Human-Computer-Interaction (Ozchi'19): pp. 266-278

Mautz, Dominik; Plant, Claudia and Boehm, Christian (2020): DeepECT: The Deep Embedded Cluster Tree. In: Data Science and Engineering, Vol. 5, No. 4: pp. 419-432

Mautz, Dominik; Ye, Wei; Plant, Claudia and Boehm, Christian (2020): Non-Redundant Subspace Clusterings with Nr-Kmeans and Nr-DipMeans. In: ACM Transactions on Knowledge Discovery From Data, Vol. 14, No. 5, 55

Meizner, Jan; Nowakowski, Piotr; Kapala, Jan; Wojtowicz, Patryk; Bubak, Marian; Tran, Viet; Bobak, Martin and Hoeb, Maximilian (2020): TOWARDS EXASCALE COMPUTING ARCHITECTURE AND ITS PROTOTYPE: SERVICES AND INFRASTRUCTURE. In: Computing and Informatics, Vol. 39, No. 4: pp. 860-880

Miklautz, Lukas; Mautz, Dominik; Altinigneli, Muzaffer Can; Boehm, Christian and Plant, Claudia (2020): Deep Embedded Non-Redundant Clustering. In: Thirty-Fourth Aaai Conference on Artificial Intelligence, the Thirty-Second Innovative Applications of Artificial Intelligence Conference and the Tenth Aaai Symposium on Educational Advances in Artificial Intelligence, Vol. 34: pp. 5174-5181

Nejati, Ameneh; Soudjani, Sadegh and Zamani, Majid (2020): Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. In: IEEE Control Systems Letters, Vol. 4, No. 4: pp. 845-850

Nejati, Ameneh; Soudjani, Sadegh and Zamani, Majid (2020): Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems. In: Ifac Papersonline, Vol. 53, No. 2: pp. 1856-1861

Nejati, Ameneh and Zamani, Majid (2020): Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach. In: Ifac Papersonline, Vol. 53, No. 2: pp. 1962-1967

Nowak, Adam; Knierim, Pascal; Romanowski, Andrzej; Schmidt, Albrecht and Kosch, Thomas (2020): What does the Oscilloscope Say?: Comparing the Efficiency of In-Situ Visualisations during Circuit Analysis. In: Chi'20: Extended Abstracts of the 2020 Chi Conference on Human Factors in Computing Systems, LBW263

Prange, Sarah and Alt, Florian (2020): I Wish You Were Smart(er): Investigating Users' Desires and Needs Towards Home Appliances. In: Chi'20: Extended Abstracts of the 2020 Chi Conference on Human Factors in Computing Systems, LBW133

Purdam, Kingsley; Sakshaug, Joseph; Bourne, Mollie and Bayliss, David (2020): Understanding 'Don't know' answers to survey questions-an International comparative analysis using interview paradata. In: Innovation-the European Journal of Social Science Research

Rabbi, Jakaria; Ray, Nilanjan; Schubert, Matthias; Chowdhury, Subir and Chao, Dennis (2020): Small-Object Detection in Remote Sensing Images with End-to-End Edge-Enhanced GAN and Object Detector Network. In: Remote Sensing, Vol. 12, No. 9, 1432

Ranasinghe, Champika; Hollaender, Kai; Currano, Rebecca; Sirkin, David; Moore, Dylan; Schneegass, Stefan and Ju, Wendy (2020): Autonomous Vehicle-Pedestrian Interaction Across Cultures: Towards Designing Better External Human Machine Interfaces (eHMIs). In: Chi'20: Extended Abstracts of the 2020 Chi Conference on Human Factors in Computing Systems, LBW334

Ravanbakhsh, Mahdyar; Tschernezki, Vadim; Last, Felix; Klein, Tassilo; Batmanghelich, Kayhan; Tresp, Volker and Nabi, Moin (2020): HUMAN-MACHINE COLLABORATION FOR MEDICAL IMAGE SEGMENTATION. In: 2020 IEEE International Conference on Acoustics, Speech, and Signal Processing: pp. 1040-1044

Richter, Florian; Lu, Yifeng; Kazempour, Daniyal and Seidl, Thomas (2020): Show Me the Crowds! Revealing Cluster Structures Through AMTICS. In: Data Science and Engineering, Vol. 5, No. 4: pp. 360-374

Richter, Florian; Lu, Yifeng; Zellner, Ludwig; Sontheim, Janina and Seidl, Thomas (2020): TOAD: Trace Ordering for Anomaly Detection. In: 2020 2nd International Conference on Process Mining (ICPM 2020): pp. 169-176

Roch, Christoph; Impertro, Alexander; Phan, Thomy; Gabor, Thomas; Feld, Sebastian and Linnhoff-Popien, Claudia (2020): Cross Entropy Hyperparameter Optimization for Constrained Problem Hamiltonians Applied to QAOA. In: 2020 International Conference on Rebooting Computing (Icrc 2020): pp. 50-57

Rossmy, Beat (2020): Metaphors and Technologies for new Tangible User Interfaces. In: Tei'20: Proceedings of the Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction: pp. 925-929

Rothe, Sylvia; Schmidt, Alexander; Montagud, Mario; Buschek, Daniel and Hußmann, Heinrich (2020): Social viewing in cinematic virtual reality: a design space for social movie applications. In: Virtual Reality [PDF, 1MB]

Salamati, Ali; Soudjani, Sadegh and Zamani, Majid (2020): Data-Driven Verification under Signal Temporal Logic Constraints. In: Ifac Papersonline, Vol. 53, No. 2: pp. 76-81

Sax, Irmi; Feld, Sebastian; Zielinski, Sebastian; Gabor, Thomas; Linnhoff-Popien, Claudia and Mauerer, Wolfgang (2020): Approximate Approximation on a Quantum Annealer. In: 17th ACM International Conference on Computing Frontiers 2020 (CF 2020): pp. 108-117

Schitz, Dmitrij; Graf, Gaetano; Rieth, Dominik and Aschemann, Harald (2020): Corridor-Based Shared Autonomy for Teleoperated Driving. In: Ifac Papersonline, Vol. 53, No. 2: pp. 15368-15373

Schmid, Kyrill; Belzner, Lenz; Phan, Thomy; Gabor, Thomas and Linnhoff-Popien, Claudia (2020): Multi-agent Reinforcement Learning for Bargaining under Risk and Asymmetric Information. In: Icaart: Proceedings of the 12Th International Conference on Agents and Artificial Intelligence, Vol 1: pp. 144-151

Schmidmaier, Matthias; Hussmann, Heinrich and Runge, Dominik Maurice (2020): Beep Beep: Building Trust with Sound. In: Chi'20: Extended Abstracts of the 2020 Chi Conference on Human Factors in Computing Systems, LBW129

Sedlmeier, Andreas; Gabor, Thomas; Phan, Thomy; Belzner, Lenz and Linnhoff-Popien, Claudia (2020): Uncertainty-based Out-of-Distribution Classification in Deep Reinforcement Learning. In: Icaart: Proceedings of the 12Th International Conference on Agents and Artificial Intelligence, Vol 2: pp. 522-529

Shoukourian, Hayk and Kranzlmueller, Dieter (2020): Forecasting power-efficiency related key performance indicators for modern data centers using LSTMs. In: Future Generation Computer Systems-the International Journal of Escience, Vol. 112: pp. 362-382

Smith, Stanley W.; Arcak, Murat and Zamani, Majid (2020): Approximate abstractions of control systems with an application to aggregation. In: Automatica, Vol. 119, 109065

Sun, Xin; Yu, Yongbo; Yang, Yuting; Dong, Junyu; Boehm, Christian and Chen, Xueen (2020): Modeling and analysis of the ocean dynamic with Gaussian complex network*. In: Chinese Physics B, Vol. 29, No. 10, 108901

Swikir, Abdalla; Noroozi, Navid and Zamani, Majid (2020): Compositional Synthesis of Symbolic Models for Infinite Networks. In: Ifac Papersonline, Vol. 53, No. 2: pp. 1868-1873

Thevin, Lauren; Briant, Carine and Brock, Anke M. (2020): X-Road: Virtual Reality Glasses for Orientation and Mobility Training of People with Visual Impairments. In: ACM Transactions on Accessible Computing, Vol. 13, No. 2, 7

Thevin, Lauren and Machulla, Tonja (2020): Three Common Misconceptions about Visual Impairments. In: 2020 IEEE Conference on Virtual Reality and 3D User Interfaces Workshops (Vrw 2020): pp. 523-524

Tomar, Mahendra Singh and Zamani, Majid (2020): Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems. In: IEEE Control Systems Letters, Vol. 4, No. 4: pp. 827-832

Trautmann, Dietrich; Fromm, Michael; Tresp, Volker; Seidl, Thomas and Schütze, Hinrich (2020): Relational and Fine-Grained Argument Mining. The LMU Munich project ReMLAV within the DFG Priority Program RATIO “Robust Argumentation Machines”. In: Datenbank-Spektrum, Vol. 20, No. 2: pp. 99-105 [PDF, 365kB]

Tschetsch, L.; Mussauer, A.; Mauder, M.; Lohrer, J.; Kroeger, P.; Mayr, C.; Soellner, F. and Grupe, G. (2020): Multi-isotope fingerprints (O, Sr and Pb) in archaeological animal bone bioapatite: Similarity search and the suitability for provenance analysis in a geologically complex Alpine region. In: Archaeometry, Vol. 62: pp. 35-52

Ullrich, Daniel; Butz, Andreas ORCID logoORCID: https://orcid.org/0000-0002-9007-9888 and Diefenbach, Sarah ORCID logoORCID: https://orcid.org/0000-0002-4347-5028 (18. December 2020): The Eternal Robot: Anchoring Effects in Humans' Mental Models of Robots and Their Self. In: Frontiers in Robotics and AI, Vol. 7, 546724: pp. 1-14 [PDF, 1MB]

Wang, Xiuye; Hennig, Thomas; Whisnant, Adam W.; Erhard, Florian; Prusty, Bhupesh K.; Friedel, Caroline C.; Forouzmand, Elmira; Hu, William; Erber, Luke; Chen, Yue; Sandri-Goldin, Rozanne M.; Doelken, Lars and Shi, Yongsheng (2020): Herpes simplex virus blocks host transcription termination via the bimodal activities of ICP27. In: Nature Communications, Vol. 11, No. 1, 293 [PDF, 2MB]

Weibl, Johannes and Hess, Thomas ORCID logoORCID: https://orcid.org/0000-0003-3969-7477 (2020): Turning Data into Value - Exploring the Role of Synergy in Leveraging Value among Data. In: Information Systems Management, Vol. 37, No. 3: pp. 227-239

Weitkämper, Felix ORCID logoORCID: https://orcid.org/0000-0002-3895-8279 (17. April 2020): Scaling the weight parameters in Markov logic networks and relational logistic regression models. [PDF, 476kB]

Weitkämper, Felix ORCID logoORCID: https://orcid.org/0000-0002-3895-8279 (2. June 2020): The first-order theory of boolean differentiation. Extended version. [PDF, 404kB]

Welsch, Robin; Hecht, Heiko; Chuang, Lewis and Castell, Christoph von (2020): Interpersonal Distance in the SARS-CoV-2 Crisis. In: Human Factors, Vol. 62, No. 7: pp. 1095-1101 [PDF, 2MB]

Whisnant, Adam W.; Jürges, Christopher S.; Hennig, Thomas; Wyler, Emanuel; Prusty, Bhupesh; Rutkowski, Andrzej J.; L'hernault, Anne; Djakovic, Lara; Goebel, Margarete; Doering, Kristina; Menegatti, Jennifer; Antrobus, Robin; Matheson, Nicholas J.; Künzig, Florian W. H.; Mastrobuoni, Guido; Bielow, Chris; Kempa, Stefan; Liang, Chunguang; Dandekar, Thomas; Zimmer, Ralf; Landthaler, Markus; Graesser, Friedrich; Lehner, Paul J.; Friedel, Caroline C.; Erhard, Florian and Dölken, Lars (2020): Integrative functional genomics decodes herpes simplex virus 1. In: Nature Communications, Vol. 11, No. 1, 2038 [PDF, 2MB]

Yu, Zhongjing; Wang, Han; Liu, Yang; Bohm, Christian and Shao, Junming (2020): Community Attention Network for Semi-supervised Node Classification. In: 20th IEEE International Conference on Data Mining (ICDM 2020): pp. 1382-1387

Zhou, Xiang; Wahane, Shalaka; Friedl, Marie-Sophie; Kluge, Michael; Friedel, Caroline C.; Avrampou, Kleopatra; Zachariou, Venetia; Guo, Lei; Zhang, Bin; He, Xijing; Friedel, Roland H. and Zou, Hongyan (2020): Microglia and macrophages promote corralling, wound compaction and recovery after spinal cord injury via Plexin-B2. In: Nature Neuroscience, Vol. 23, No. 3: pp. 337-350

da Silva, Vinicius; Ramos, Marcel; Groenen, Martien; Crooijmans, Richard; Johansson, Anna; Regitano, Luciana; Coutinho, Luiz; Zimmer, Ralf; Waldron, Levi and Geistlinger, Ludwig (2020): CNVRanger: association analysis of CNVs with gene expression and quantitative phenotypes. In: Bioinformatics, Vol. 36, No. 3: pp. 972-973

2019

Abada, A.; Abbrescia, M.; AbdusSalam, S. S.; Abdyukhanov, I.; Fernandez, J. Abelleira; Abramov, A.; Aburaia, M.; Acar, A. O.; Adzic, P. R.; Agrawal, P.; Aguilar-Saavedra, J. A.; Aguilera-Verdugo, J. J.; Aiba, M.; Aichinger, I.; Aielli, G.; Akay, A.; Akhundov, A.; Aksakal, H.; Albacete, J. L.; Albergo, S.; Alekou, A.; Aleksa, M.; Aleksan, R.; Fernandez, R. M. Alemany; Alexahin, Y.; Alia, R. G.; Alioli, S.; Tehrani, N. Alipour; Allanach, B. C.; Allport, P. P.; Altinli, M.; Altmannshofer, W.; Ambrosio, G.; Amorim, D.; Amstutz, O.; Anderlini, L.; Andreazza, A.; Andreini, M.; Andriatis, A.; Andris, C.; Andronic, A.; Angelucci, M.; Antinori, F.; Antipov, S. A.; Antonelli, M.; Antonello, M.; Antonioli, P.; Antusch, S.; Anulli, F.; Apolinario, L.; Apollinari, G.; Apollonio, A.; Appelo, D.; Appleby, R. B.; Apyan, A.; Apyan, A.; Arbey, A.; Arbuzov, A.; Arduini, G.; Ari, V.; Arias, S.; Armesto, N.; Arnaldi, R.; Arsenyev, S. A.; Arzeo, M.; Asai, S.; Aslanides, E.; Assmann, R. W.; Astapovych, D.; Atanasov, M.; Atieh, S.; Attie, D.; Auchmann, B.; Audurier, A.; Aull, S.; Aumon, S.; Aune, S.; Avino, F.; Avrillaud, G.; Aydin, G.; Azatov, A.; Azuelos, G.; Azzi, P.; Azzolini, O.; Azzurri, P.; Bacchetta, N.; Bacchiocchi, E.; Bachacou, H.; Baek, Y. W.; Baglin, V.; Bai, Y.; Baird, S.; Baker, M. J.; Baldwin, M. J.; Ball, A. H.; Ballarino, A.; Banerjee, S.; Barber, D. P.; Barducci, D.; Barjhoux, P.; Barna, D.; Barnafoldi, G. G.; Barnes, M. J.; Barr, A.; Garcia, J. Barranco; da Costa, J. Barreiro Guimaraes; Bartmann, W.; Baryshevsky, V.; Barzi, E.; Bass, S. A.; Bastianin, A.; Baudouy, B.; Bauer, F.; Bauer, M.; Baumgartner, T.; Bautista-Guzman, I.; Bayindir, C.; Beaudette, F.; Bedeschi, F.; Beguin, M.; Bellafont, I.; Bellagamba, L.; Bellegarde, N.; Belli, E.; Bellingeri, E.; Bellini, F.; Bellomo, G.; Belomestnykh, S.; Bencivenni, G.; Benedikt, M.; Bernardi, G.; Bernardi, J.; Bernet, C.; Bernhardt, J. M.; Bernini, C.; Berriaud, C.; Bertarelli, A.; Bertolucci, S.; Besana, M. I.; Besancon, M.; Beznosov, O.; Bhat, P.; Bhat, C.; Biagini, M. E.; Biarrotte, J. -L.; Chevalier, A. Bibet; Bielert, E. R.; Biglietti, M.; Bilei, G. M.; Bilki, B.; Biscari, C.; Bishara, F.; Blanco-Garcia, O. R.; Blanquez, F. R.; Blekman, F.; Blondel, A.; Bluemlein, J.; Boccali, T.; Boels, R.; Bogacz, S. A.; Bogomyagkov, A.; Boine-Frankenheim, O.; Boland, M. J.; Bologna, S.; Bolukbasi, O.; Bomben, M.; Bondarenko, S.; Bonvini, M.; Boos, E.; Bordini, B.; Bordry, F.; Borghello, G.; Borgonovi, L.; Borowka, S.; Bortoletto, D.; Boscherini, D.; Boscolo, M.; Boselli, S.; Bosley, R. R.; Bossu, F.; Botta, C.; Bottura, L.; Boughezal, R.; Boutin, D.; Bovone, G.; Jelisavic, I. Bozovic; Bozbey, A.; Bozzi, C.; Bozzini, D.; Braccini, V.; Braibant-Giacomelli, S.; Bramante, J.; Braun-Munzinger, P.; Briffa, J. A.; Britzger, D.; Brodsky, S. J.; Brooke, J. J.; Bruce, R.; De Renstrom, P. Bruckman; Bruna, E.; Bruning, O.; Brunner, O.; Brunner, K.; Bruzzone, P.; Buffat, X.; Bulyak, E.; Burkart, F.; Burkhardt, H.; Burnet, J. -P.; Butin, F.; Buttazzo, D.; Butterworth, A.; Caccia, M.; Cai, Y.; Caiffi, B.; Cairo, V.; Cakir, O.; Calaga, R.; Calatroni, S.; Calderini, G.; Calderola, G.; Caliskan, A.; Calvet, D.; Calviani, M.; Camalich, J. M.; Camarri, P.; Campanelli, M.; Camporesi, T.; Canbay, A. C.; Canepa, A.; Cantergiani, E.; Cantore-Cavalli, D.; Capeans, M.; Cardarelli, R.; Cardella, U.; Cardini, A.; Calame, C. M. Carloni; Carra, F.; Carra, S.; Carvalho, A.; Casalbuoni, S.; Casas, J.; Cascella, M.; Castelnovo, P.; Castorina, G.; Catalano, G.; Cavasinni, V.; Cazzato, E.; Cennini, E.; Cerri, A.; Cerutti, F.; Cervantes, J.; Chaikovska, I.; Chakrabortty, J.; Chala, M.; Chamizo-Llatas, M.; Chanal, H.; Chanal, D.; Chance, S.; Chance, A.; Charitos, P.; Charles, J.; Charles, T. K.; Chattopadhyay, S.; Chehab, R.; Chekanov, S. V.; Chen, N.; Chernoded, A.; Chetvertkova, V.; Chevalier, L.; Chiarelli, G.; Chiarello, G.; Chiesa, M.; Chiggiato, P.; Childers, J. T.; Chmielinska, A.; Cholakian, A.; Chomaz, P.; Chorowski, M.; Chou, W.; Chrzaszcz, M.; Chyhyrynets, E.; Cibinetto, G.; Ciftci, A. K.; Ciftci, R.; Cimino, R.; Ciuchini, M.; Clark, P. J.; Coadou, Y.; Cobal, M.; Coccaro, A.; Cogan, J.; Cogneras, E.; Collamati, F.; Colldelram, C.; Collier, P.; Collot, J.; Contino, R.; Conventi, F.; Cook, C. T. A.; Cooley, L.; Corcella, G.; Cornell, A. S.; Corral, G. H.; Correia-Rodrigues, H.; Costanza, F.; Pinto, P. Costa; Couderc, F.; Coupard, J.; Craig, N.; Crespo Garrido, I.; Crivellin, A.; Croteau, J. F.; Crouch, M.; Alaniz, E. Cruz; Cure, B.; Curti, J.; Curtin, D.; Czech, M.; Dachauer, C.; D'Agnolo, R. T.; Daibo, M.; Dainese, A.; Dalena, B.; Daljevec, A.; Dallapiazza, W.; Schwartzentruber, L. D'Aloia; Dam, M.; D'Ambrosio, G.; Das, S. P.; DasBakshi, S.; da Silva, W.; da Silveira, G. G.; D'Auria, V.; D'Auria, S.; David, A.; Davidek, T.; Deandrea, A.; de Blas, J.; Debono, C. J.; De Curtis, S.; De Filippis, N.; de Florian, D.; Deghaye, S.; de Jong, S. J.; Del Bo, C.; Del Duca, V.; Delikaris, D.; Deliot, F.; Dell'Acqua, A.; Delle Rose, L.; Delmastro, M.; De Lucia, E.; Demarteau, M.; Denegri, D.; Deniau, L.; Denisov, D.; Denizli, H.; Denner, A.; d'Enterria, D.; de Rijk, G.; De Roeck, A.; Derue, F.; Deschamps, O.; Descotes-Genon, S.; Dev, P. S. B.; de Regie, J. B. de Vivie; Dewanjee, R. K.; Di Ciaccio, A.; Di Cicco, A.; Dillon, B. M.; Di Micco, B.; Di Nezza, P.; Di Vita, S.; Doblhammer, A.; Dominjon, A.; D'Onofrio, M.; Dordei, F.; Drago, A.; Draper, P.; Drasal, Z.; Drewes, M.; Duarte, L.; Dubovyk, I.; Duda, P.; Dudarev, A.; Dudko, L.; Düllmann, D.; Duenser, M.; du Pree, T.; Durante, M.; Yildiz, H. Duran; Dutta, S.; Duval, F.; Duval, J. M.; Dydyshka, Y.; Dziewit, B.; Eisenhardt, S.; Eisterer, M.; Ekelof, T.; El Khechen, D.; Ellis, S. A.; Ellis, J.; Ellison, J. A.; Elsener, K.; Elsing, M.; Enari, Y.; Englert, C.; Eriksson, H.; Eskola, K. J.; Esposito, L. S.; Etisken, O.; Etzion, E.; Fabbricatore, P.; Falkowski, A.; Falou, A.; Faltova, J.; Fan, J.; Fano, L.; Farilla, A.; Farinelli, R.; Farinon, S.; Faroughy, D. A.; Fartoukh, S. D.; Faus-Golfe, A.; Fawcett, W. J.; Felici, G.; Felsberger, L.; Ferdeghini, C.; Fernandez Navarro, A. M.; Fernandez-Tellez, A.; Troitino, J. Ferradas; Ferrara, G.; Ferrari, R.; Ferreira, L.; da Silva, P. Ferreira; Ferrera, G.; Ferro, F.; Fiascaris, M.; Fiorendi, S.; Fiorio, C.; Fischer, O.; Fischer, E.; Flieger, W.; Florio, M.; Fonnesu, D.; Fontanesi, E.; Foppiani, N.; Foraz, K.; Forkel-Wirth, D.; Forte, S.; Fouaidy, M.; Fournier, D.; Fowler, T.; Fox, J.; Francavilla, P.; Franceschini, R.; Franchino, S.; Franco, E.; Freitas, A.; Fuks, B.; Furukawa, K.; Furuseth, S. V.; Gabrielli, E.; Gaddi, A.; Galanti, M.; Gallo, E.; Ganjour, S.; Gao, J.; Gao, J.; Diaz, V. Garcia; Perez, M. Garcia; Garcia Tabares, L.; Garion, C.; Garzelli, M. V.; Garzia, I.; Gascon-Shotkin, S. M.; Gaudio, G.; Gay, P.; Ge, S. -F.; Gehrmann, T.; Genest, M. H.; Gerard, R.; Gerigk, F.; Gerwig, H.; Giacomelli, P.; Giagu, S.; Gianfelice-Wendt, E.; Gianotti, F.; Giffoni, F.; Gilardoni, S. S.; Costa, M. Gil; Giovannetti, M.; Giovannozzi, M.; Giubellino, P.; Giudice, G. F.; Giunta, A.; Gladilin, L. K.; Glukhov, S.; Gluza, J.; Gobbi, G.; Goddard, B.; Goertz, F.; Golling, T.; Goncalves, V. P.; Netto, D. Goncalves; Goncalo, R.; Gomez, L. A. Gonzalez; Zadeh, S. Gorgi; Gorine, G.; Gorini, E.; Gourlay, S. A.; Gouskos, L.; Grancagnolo, F.; Grassellino, A.; Grau, A.; Graverini, E.; Gray, H. M.; Greco, M.; Greco, M.; Grenard, J. -L.; Grimm, O.; Grojean, C.; Gromov, V. A.; Grosse-Oetringhaus, J. F.; Grudiev, A.; Grzanka, K.; Gu, J.; Guadagnoli, D.; Guidi, V.; Guiducci, S.; Canton, G. Guillermo; Gunaydin, Y. O.; Gupta, R.; Gupta, R. S.; Gutierrez, J.; Gutleber, J.; Guyot, C.; Guzey, V.; Gwenlan, C.; Haberstroh, C.; Hacisahinoglu, B.; Haerer, B.; Hahn, K.; Hahn, T.; Hammad, A.; Han, C.; Hance, M.; Hannah, A.; Harris, P. C.; Hati, C.; Haug, S.; Hauptman, J.; Haurylavets, V.; He, H. -J.; Hegglin, A.; Hegner, B.; Heinemann, K.; Heinemeyer, S.; Helsens, C.; Henriques, A.; Henriques, A.; Hernandez, P.; Hernandez-Pinto, R. J.; Hernandez-Sanchez, J.; Herzig, T.; Hiekkanen, I.; Hillert, W.; Hoehn, T.; Hofer, M.; Hofle, W.; Holdener, F.; Holleis, S.; Holzer, B.; Hong, D. K.; Honorato, C. G.; Hopkins, S. C.; Hrdinka, J.; Hug, F.; Humann, B.; Humer, H.; Hurth, T.; Hutton, A.; Iacobucci, G.; Ibarrola, N.; Iconomidou-Fayard, L.; Ilyina-Brunner, K.; Incandela, J.; Infantino, A.; Ippolito, V.; Ishino, M.; Islam, R.; Ita, H.; Ivanovs, A.; Iwamoto, S.; Iyer, A.; Bermudez, S. Izquierdo; Jadach, S.; Jamin, D. O.; Janot, P.; Jarry, P.; Jeff, A.; Jenny, P.; Jensen, E.; Jensen, M.; Jiang, X.; Jimenez, J. M.; Jones, M. A.; Jones, O. R.; Jowett, J. M.; Jung, S.; Kaabi, W.; Kado, M.; Kahle, K.; Kalinovskaya, L.; Kalinowski, J.; Kamenik, J. F.; Kannike, K.; Kara, S. O.; Karadeniz, H.; Karaventzas, V.; Karpov, I.; Kartal, S.; Karyukhin, A.; Kashikhin, V.; Behr, J. Katharina; Kaya, U.; Keintzel, J.; Keinz, P. A.; Keppel, K.; Kersevan, R.; Kershaw, K.; Khanpour, H.; Khatibi, S.; Yanehsari, M. Khatiri; Khoze, V. V.; Kieseler, J.; Kilic, A.; Kilpinen, A.; Kim, Y. -K.; Kim, D. W.; Klein, U.; Klein, M.; Kling, F.; Klinkenberg, N.; Kloeppel, S.; Klute, M.; Klyukhin, V. I.; Knecht, M.; Kniehl, B.; Kocak, F.; Koeberl, C.; Kolano, A. M.; Kollegger, A.; Kolodziej, K.; Kolomiets, A. A.; Komppula, J.; Koop, I.; Koppenburg, P.; Koratzinos, M.; Kordiaczynska, M.; Korjik, M.; Kortner, O.; Kostka, P.; Kotlarski, W.; Kotnig, C.; Kottig, T.; Kotwal, A. V.; Kovalenko, A. D.; Kowalski, S.; Kozaczuk, J.; Kozlov, G. A.; Kozub, S. S.; Krainer, A. M.; Kramer, T.; Kraemer, M.; Krammer, M.; Krasnov, A. A.; Krauss, F.; Kravalis, K.; Kretzschmar, L.; Kriske, R. M.; Kritscher, H.; Krkotic, P.; Kroha, H.; Kucharczyk, M.; Kuday, S.; Kuendig, A.; Kuhlmann, G.; Kulesza, A.; Kumar, M.; Kumar, M.; Kusina, A.; Kuttimalai, S.; Kuze, M.; Kwon, T.; Lackner, F.; Lackner, M.; La Francesca, E.; Laine, M.; Lamanna, G.; La Mendola, S.; Lancon, E.; Landsberg, G.; Langacker, P.; Lange, C.; Langner, A.; Lankford, A. J.; Lansberg, J. P.; Lari, T.; Laycock, P. J.; Lebrun, P.; Lechner, A.; Lee, K.; Lee, S.; Lee, R.; Lefevre, T.; Le Guen, P.; Lehtinen, T.; Leith, S. B.; Lenzi, P.; Leogrande, E.; Leonidopoulos, C.; Leon-Monzon, I.; Lerner, G.; Leroy, O.; Lesiak, T.; Levai, P.; Leveratto, A.; Levichev, E.; Li, G.; Li, S.; Li, R.; Liberati, D.; Liepe, M.; Lissauer, D. A.; Liu, Z.; Lobko, A.; Locci, E.; Agaliotis, E. Logothetis; Lombardo, M. P.; Long, A. J.; Lorin, C.; Losito, R.; Louzguiti, A.; Low, I.; Lucchesi, D.; Lucchini, M. T.; Luciani, A.; Lueckhof, M.; Lunt, A. J. G.; Luzum, M.; Lyubimtsev, D. A.; Maggiora, M.; Magnin, N.; Mahmoud, M. A.; Mahmoudi, F.; Maitre, J.; Makarenko, V.; Malagoli, A.; Malcles, J.; Malgeri, L.; Mallon, P. J.; Maltoni, F.; Malvezzi, S.; Malyshev, O. B.; Mancinelli, G.; Mandrik, P.; Manfrinetti, P.; Mangano, M.; Manil, P.; Mannelli, M.; Marchiori, G.; Marhauser, F.; Mariani, V.; Marinozzi, V.; Mariotto, S.; Marquard, P.; Marquet, C.; Marriott-Dodington, T.; Martin, R.; Martin, O.; Camalich, J. Martin; Martinez, T.; Bruzual, H. Martinez; Martinez-Hernandez, M. I.; Martins, D. E.; Marzani, S.; Marzocca, D.; Marzola, L.; Masciocchi, S.; Masina, I.; Massimiliano, A.; Massironi, A.; Masubuchi, T.; Matveev, V. A.; Mazzoni, M. A.; McCullough, M.; McIntosh, P. A.; Meade, P.; Medina, L.; Meier, A.; Meignan, J.; Mele, B.; Mendes Saraiva, J. G.; Menez, F.; Mentink, M.; Meoni, E.; Meridiani, P.; Merk, M.; Mermod, P.; Mertens, V.; Mether, L.; Metral, E.; Migliorati, M.; Milanese, A.; Milardi, C.; Milhano, G.; Militsyn, B. L.; Millet, F.; Minashvili, I.; Minervini, J. V.; Miralles, L. S.; Mirarchi, D.; Mishima, S.; Missiaen, D. P.; Mitselmakher, G.; Mitsuhashi, T.; Mnich, J.; Najafabadi, M. Mohammadi; Mohapatra, R. N.; Mokhov, N.; Molson, J. G.; Monge, R.; Montag, C.; Montagna, G.; Monteil, S.; Montenero, G.; Montesinos, E.; Moortgat, F.; Morange, N.; Morello, G.; Llacer, M. Moreno; Moretti, M.; Moretti, S.; Morley, A. K.; Moros, A.; Morozov, I.; Morretta, V.; Morrone, M.; Mostacci, A.; Muanza, S.; Muchnoi, N.; Muehlegger, M.; Mulder, M.; Mulders, M.; Mueller, B.; Mueller, F.; Mueller, A. -S.; Munilla, J.; Murray, M. J.; Muttoni, Y.; Myers, S.; Mylona, M.; Nachtman, J.; Nakamoto, T.; Nardecchia, M.; Nardini, G.; Nason, P.; Nergiz, Z.; Nesterenko, A. V.; Nettstraeter, A.; Neubuser, C.; Neundorf, J.; Niccoli, F.; Nicrosini, O.; Nie, Y.; Niedermayer, U.; Niedziela, J.; Niemi, A.; Nikitin, S. A.; Nisati, A.; No, J. M.; Nonis, M.; Nosochkov, Y.; Novak, M.; Novokhatski, A.; O'Callaghan, J. M.; Ochando, C.; Ogur, S.; Ohmi, K.; Oide, K.; Okorokov, V. A.; Okumura, Y.; Oleari, C.; Olness, F. I.; Onel, Y.; Ortino, M.; Osborne, J.; Osland, P.; Otto, T.; Oyulmaz, K. Y.; Ozansoy, A.; Ozcan, V.; Ozdemir, K.; Pagliarone, C. E.; da Silva, H. F. Pais; Palmieri, E.; Palumbo, L.; Pampaloni, A.; Pan, R. -Q.; Panareo, M.; Panella, O.; Panico, G.; Panizzo, G.; Pankov, A. A.; Pantsyrny, V.; Papadopoulos, C. G.; Papaefstathiou, A.; Papaphilippou, Y.; Parker, M. A.; Parma, V.; Pasquali, M.; Patra, S. K.; Patterson, R.; Paukkunen, H.; Pauss, F.; Peggs, S.; Penttinen, J. -P.; Peon, G.; Perepelkin, E. E.; Perez, E.; Perez, J. C.; Perez, G.; Perez, F.; Codina, E. Perez; Perez Morales, J.; Perfilov, M.; Pernegger, H.; Peruzzi, M.; Pes, C.; Peters, K.; Petracca, S.; Petriello, F.; Pezzotti, L.; Pfeiffer, S.; Piccinini, F.; Pieloni, T.; Pierini, M.; Pikhartova, H.; Pikurs, G.; Pilicer, E.; Piminov, P.; Pira, C.; Pittau, R.; Placzek, W.; Plagge, M.; Plehn, T.; Pleier, M. -A.; Ploskon, M.; Podeur, M.; Podlech, H.; Podzorny, T.; Poggioli, L.; Poiron, A.; Polesello, G.; Lener, M. Poli; Polini, A.; Polinski, J.; Polozov, S. M.; Ponce, L.; Pont, M.; Pontecorvo, L.; Portaluri, T.; Potamianos, K.; Prasse, C.; Prausa, M.; Preinerstorfer, A.; Premat, E.; Price, T.; Primavera, M.; Prino, F.; Prioli, M.; Proudfoot, J.; Provino, A.; Pugnat, T.; Pukhaeva, N.; Pulawski, S.; Pulikowski, D.; Punzi, G.; Putti, M.; Pyarelal, A.; Quack, H.; Quispe, M.; Racioppi, A.; Rafique, H.; Raginel, V.; Raidal, M.; Ramirez-Uribe, N. S.; Ramsey-Musolf, M. J.; Rata, R.; Ratoff, P.; Ravotti, F.; Rebello Teles, P.; Reboud, M.; Redaelli, S.; Renner, E.; Renteria-Olivo, A. E.; Rescigno, M.; Reuter, J.; Ribon, A.; Ricci, A. M.; Riegler, W.; Riemann, S.; Riemann, B.; Riemann, T.; Rifflet, J. M.; Rimmer, R. A.; Rinaldesi, R.; Rinolfi, L.; Rubiras, O. Rios; Risselada, T.; Rivetti, A.; Rivkin, L.; Rizzo, T.; Robens, T.; Robert, F.; Robson, A. J.; Rochepault, E.; Roda, C.; Rodrigo, G.; Rodriguez-Cahuantzi, M.; Rogan, C.; Roig, M.; Rojas-Torres, S.; Rojo, J.; Rolandi, G.; Rolando, G.; Roloff, P.; Romanenko, A.; Romanov, A.; Roncarolo, F.; Rosado Sanchez, A.; Rosaz, G.; Rossi, L.; Rossi, A.; Rossmanith, R.; Rousset, B.; Royon, C.; Ruan, X.; Ruehl, I.; Ruhlmann-Kleider, V.; Ruiz, R.; Rumyantsev, L.; Ruprecht, R.; Ryazanov, A. I.; Saba, A.; Sadykov, R.; de Jauregui, D. Saez; Sahin, M.; Sailer, B.; Saito, M.; Sala, F.; Salam, G. P.; Salfeld-Nebgen, J.; Salgado, C. A.; Salini, S.; Sallese, J. M.; Salmi, T.; Salzburger, A.; Sampayo, O. A.; Sanfilippo, S.; Santiago, J.; Santopinto, E.; Santoro, R.; Sanz Ull, A.; Sarasola, X.; Sarpun, I. H.; Sauvain, M.; Savelyeva, S.; Sawada, R.; Sborlini, G. F. R.; Schaffer, A.; Schaumann, M.; Schenk, M.; Scheuerlein, C.; Schienbein, I.; Schlenga, K.; Schmickler, H.; Schmidt, R.; Schoerling, D.; Schoeerner-Sadenius, T.; Schoning, A.; Schott, M.; Schulte, D.; Schwaller, P.; Schwanenberger, C.; Schwemling, P.; Schwerg, N.; Scibile, L.; Sciuto, A.; Scomparin, E.; Sebastiani, C.; Seeber, B.; Segreti, M.; Selva, P.; Selvaggi, M.; Senatore, C.; Senol, A.; Serin, L.; Serluca, M.; Serra, N.; Seryi, A.; Sestini, L.; Sfyrla, A.; Shaposhnikov, M.; Shaposhnikova, E.; Sharkov, B. Y.; Shatilov, D.; Shelton, J.; Shiltsev, V.; Shipsey, I. P.; Shirkov, G. D.; Shivaji, A.; Shwartz, D.; Sian, T.; Sidorov, S.; Silvestrini, L.; Simand, N.; Simon, F.; Singh, B. K.; Siodmok, A.; Sirois, Y.; Sirtori, E.; Sirvinskaite, R.; Sitar, B.; Sjoestrand, T.; Skands, P.; Skordis, E.; Skovpen, K.; Skrzypek, M.; Slade, E.; Slavich, P.; Slovak, R.; Smaluk, V.; Smirnov, V.; Snoeys, W.; Soffi, L.; Sollander, P.; Solovyanov, O.; Soltveit, H. K.; Song, H.; Sopicki, P.; Sorbi, M.; Spallino, L.; Spannowsky, M.; Spataro, B.; Sphicas, P.; Spiesberger, H.; Spiller, P.; Spira, M.; Srivastava, T.; Stachel, J.; Stakia, A.; Stanyard, J. L.; Starchenko, E.; Starikov, A. Y.; Stasto, A. M.; Statera, M.; Steerenberg, R.; Steggemann, J.; Stenvall, A.; Stivanello, F.; Stockinger, D.; Stoel, L. S.; Stoeger-Pollach, M.; Strauss, B.; Stuart, M.; Stupakov, G.; Su, S.; Sublet, A.; Sugita, K.; Sulak, L.; Sullivan, M. K.; Sultansoy, S.; Sumida, T.; Suzuki, K.; Sylva, G.; Syphers, M. J.; Sznajder, A.; Taborelli, M.; Tahir, N. A.; Takeuchi, M.; Tal Hod, E.; Tambasco, C.; Tanaka, J.; Tang, K.; Tapan, I.; Taroni, S.; Tartarelli, G. F.; Tassielli, G.; Tavian, L.; Taylor, T. M.; Taylor, G. N.; Teixeira, A. M.; Tejeda-Munoz, G.; Telnov, V. I.; Tenchini, R.; ten Kate, H. H. J.; Terashi, K.; Tesi, A.; Testa, M.; Tetrel, C.; Teytelman, D.; Thaler, J.; Thamm, A.; Thomas, S.; Tiirakari, M. T.; Tikhomirov, V.; Tikhonov, D.; Timko, H.; Tisserand, V.; Tkachenko, L. M.; Tkaczuk, J.; Tock, J. P.; Todd, B.; Todesco, E.; Garcia, R. Tomas; Tommasini, D.; Tonelli, G.; Toral, F.; Torims, T.; Torre, R.; Townsend, Z.; Trant, R.; Treille, D.; Trentadue, L.; Tricoli, A.; Tricomi, A.; Trischuk, W.; Tropin, I. S.; Tuchming, B.; Tudora, A. A.; Turbiarz, B.; Cakir, I. Turk; Turri, M.; Tydecks, T.; Usovitsch, J.; Uythoven, J.; Vaglio, R.; Valassi, A.; Valchkova, F.; Valdivia Garcia, M. A.; Valente, P.; Valente, R. U.; Valente-Feliciano, A. -M.; Valentino, G.; Silva, L. Vale; Valet, J. M.; Valizadeh, R.; Valle, J. W. F.; Vallecorsa, S.; Vallone, G.; van Leeuwen, M.; van Rienen, U. H.; van Riesen-Haupt, L.; Varasteh, M.; Vecchi, L.; Vedrine, P.; Velev, G.; Veness, R.; Ventura, A.; Delsolaro, W. Venturini; Verducci, M.; Verhaaren, C. B.; Vernieri, C.; Verweij, A. P.; Verwilligen, O.; Viazlo, O.; Vicini, A.; Viehhauser, G.; Vignaroli, N.; Vignolo, M.; Vitrano, A.; Vivarelli, I.; Vlachos, S.; Vogel, M.; Vogt, D. M.; Voelkl, V.; Volkov, P.; Volpini, G.; von Ahnen, J.; Vorotnikov, G.; Voutsinas, G. G.; Vysotsky, V.; Wagner, U.; Wallny, R.; Wang, L. -T.; Wang, R.; Wang, K.; Ward, B. F. L.; Watson, T. P.; Watson, N. K.; Was, Z.; Weiland, C.; Weinzierl, S.; Welsch, C. P.; Wenninger, J.; Widorski, M.; Wiedemann, U. A.; Wienands, H. -U.; Wilkinson, G.; Williams, P. H.; Winter, A.; Wohlfahrt, A.; Wojton, T.; Wollmann, D.; Womersley, J.; Woog, D.; Wu, X.; Wulzer, A.; Yanehsari, M. K.; Yang, G.; Yang, H. J.; Yao, W. -M.; Yazgan, E.; Yermolchik, V.; Yilmaz, A.; Yilmaz, A.; Yoo, H. -D.; Yost, S. A.; You, T.; Young, C.; Yu, T. -T.; Yu, F.; Zaborowska, A.; Zadeh, S. G.; Zahnd, M.; Zanetti, M.; Zanotto, L.; Zawiejski, L.; Zeiler, P.; Zerlauth, M.; Zernov, S. M.; Dell Porta, G. Zevi; Zhang, Z.; Zhang, Y.; Zhang, C.; Zhang, H.; Zhao, Z.; Zhong, Y. -M.; Zhou, J.; Zhou, D.; Zhuang, P.; Zick, G.; Zimmermann, F.; Zinn-Justin, J.; Zivkovic, L.; Zlobin, A. V.; Zobov, M.; Zupan, J. and Zurita, J. (2019): FCC-ee: The Lepton Collider: Future Circular Collider Conceptual Design Report Volume 2. In: European Physical Journal-Special Topics, Vol. 228, No. 2: pp. 261-623

Al Khatib, Mohammad and Zamani, Majid (2019): Verification and synthesis of interconnected embedded control systems under timing contracts. In: Proceedings of the 2019 22Nd Acm International Conference on Hybrid Systems: Computation and Control (Hscc '19): pp. 208-217

Ammar, Constantin; Berchtold, Evi; Csaba, Gergely; Schmidt, Andreas; Imhof, Axel and Zimmer, Ralf (2019): Multi-Reference Spectral Library Yields Almost Complete Coverage of Heterogeneous LC-MS/MS Data Sets. In: Journal of Proteome Research, Vol. 18, No. 4: pp. 1553-1566

Ammar, Constantin; Gruber, Markus; Csaba, Gergely and Zimmer, Ralf (2019): MS-EmpiRe Utilizes Peptide-level Noise Distributions for Ultra-sensitive Detection of Differentially Expressed Proteins. In: Molecular & Cellular Proteomics, Vol. 18, No. 9: pp. 1880-1892

Bader, Patrick; Voit, Alexandra; Huy Viet, Le; Wozniak, Pawel W.; Henze, Niels and Schmidt, Albrecht (2019): WindowWall: Towards Adaptive Buildings with Interactive Windows as Ubiquitous Displays. In: Acm Transactions on Computer-Human Interaction, Vol. 26, No. 2, 11

Barbanera, Franco; de'Liguoro, Ugo and Hennicker, Rolf (2019): Connecting open systems of communicating finite state machines. In: Journal of Logical and Algebraic Methods in Programming, Vol. 109, UNSP 100476

Baugut, Philip and Neumann, Katharina (2019): How Right-Wing Extremists Use and Perceive News Media. In: Journalism & Mass Communication Quarterly, Vol. 96, No. 3: pp. 696-720

Beer, Anna; Kazempour, Daniyal; Stephan, Lisa and Seidl, Thomas (2019): LUCK-Linear Correlation Clustering Using Cluster Algorithms and a kNN based Distance Function. In: Scientific and Statistical Database Management (Ssdbm 2019): pp. 181-184

Beer, Anna and Seidl, Thomas (2019): Graph Ordering and Clustering - A Circular Approach. In: Scientific and Statistical Database Management (Ssdbm 2019): pp. 185-188

Berchtold, Evi; Csaba, Gergely and Zimmer, Ralf (2019): YESdb: integrative analysis of environmental stress in yeast. In: Database-the Journal of Biological Databases and Curation, baz023

Berchtold, Evi; Vetter, Martina; Guendert, Melanie; Csaba, Gergely; Fathke, Christine; Ulbrich, Susanne E.; Thomssen, Christoph; Zimmer, Ralf and Kantelhardt, Eva J. (2019): Comparison of six breast cancer classifiers using qPCR. In: Bioinformatics, Vol. 35, No. 18: pp. 3412-3420

Bergs, Christoph; Khalil, Mohamed; Hildebrandt, Marcel; Heizmann, Michael; Wuechner, Roland; Bletzinger, Kai-Uwe and Tresp, Volker (2019): Health indication of electric motors using a hybrid modeling approach. In: Tm-Technisches Messen, Vol. 86, No. 11: pp. 640-650

Beyer, Dirk and Lemberger, Thomas (2019): TESTCov: Robust Test-Suite Execution and Coverage Measurement. In: 34Th Ieee/Acm International Conference on Automated Software Engineering (Ase 2019): pp. 1074-1077

Beyer, Dirk; Loewe, Stefan and Wendler, Philipp (2019): Reliable benchmarking: requirements and solutions. In: International Journal on Software Tools for Technology Transfer, Vol. 21, No. 1: pp. 1-29

Borojeni, Shadan Sadeghian; Meschtscherjakov, Alexander; Pfleging, Bastian; Ju, Wendy; Flemisch, Frank; Janssen, Christian P.; Kun, Andrew L. and Riener, Andreas (2019): Looking into the Future: Weaving the Threads of Vehicle Automation. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Borutta, Felix; Busch, Julian; Faerman, Evgeniy; Klink, Adina and Schubert, Matthias (2019): Structural Graph Representations based on Multiscale Local Network Topologies. In: 2019 Ieee/Wic/Acm International Conference on Web Intelligence (Wi 2019): pp. 91-98

Borutta, Felix; Schmoll, Sebastian and Friedl, Sabrina (2019): Optimizing the Spatio-Temporal Resource Search Problem with Reinforcement Learning (GIS Cup). In: 27Th Acm Sigspatial International Conference on Advances in Geographic Information Systems (Acm Sigspatial Gis 2019): pp. 628-631

Brandenburg, Stefan and Chuang, Lewis (2019): Take-over requests during highly automated driving: How should they be presented and under what conditions? In: Transportation Research Part F-Traffic Psychology and Behaviour, Vol. 66: pp. 214-225

Braun, Michael; Broy, Nora; Pflegin, Bastian and Alt, Florian (2019): Visualizing natural language interaction for conversational in-vehicle information systems to minimize driver distraction. In: Journal on Multimodal User Interfaces, Vol. 13, No. 2: pp. 71-88

Braun, Michael; Mainz, Anja; Chadowitz, Ronee; Pfleging, Bastian and Alt, Florian (2019): At Your Service: Designing Voice Assistant Personalities to Improve Automotive User Interfaces A Real World Driving Study. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Bugai, Andrii; Quaresma, Alexandre J. C.; Friedel, Caroline C.; Lenasi, Tina; Duester, Robert; Sibley, Christopher R.; Fujinaga, Koh; Kukanja, Petra; Hennig, Thomas; Blasius, Melanie; Geyer, Matthias; Ule, Jernej; Doelken, Lars and Barboric, Matjaz (2019): P-TEFb Activation by RBM7 Shapes a Pro-survival Transcriptional Response to Genotoxic Stress. In: Molecular Cell, Vol. 74, No. 2

Camilo Vasquez-Correa, Juan; Arias-Vergara, Tomas; Orozco-Arroyave, J. R.; Eskofier, Björn; Klucken, Jochen and Noeth, Elmar (2019): Multimodal Assessment of Parkinson's Disease: A Deep Learning Approach. In: IEEE Journal of Biomedical and Health Informatics, Vol. 23, No. 4: pp. 1618-1630

Campello, Ricardo J. G. B.; Kröger, Peer; Sander, Jörg and Zimek, Arthur (2019): Density-based clustering. In: Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, Vol. 10, No. 2, e1343

Chanias, Simon; Myers, Michael D. and Hess, Thomas ORCID logoORCID: https://orcid.org/0000-0003-3969-7477 (2019): Digital transformation strategy making in pre-digital organizations: The case of a financial services provider. In: Journal of Strategic Information Systems, Vol. 28, No. 1: pp. 17-33

Chen, Jieneng; Chen, Jingye; Zhang, Ruiming and Hu, Xiaobin (28. June 2019): Toward a Brain-Inspired System: Deep Recurrent Reinforcement Learning for a Simulated Self-Driving Agent. In: Frontiers in Neurorobotics, Vol. 13, 40: pp. 1-9 [PDF, 1MB]

Cheng, Chi-Lun; Tsai, Jia-Ren and Schneeweiss, Hans (2019): Polynomial regression with heteroscedastic measurement errors in both axes: Estimation and hypothesis testing. In: Statistical Methods in Medical Research, Vol. 28, No. 9: pp. 2681-2696

Da Silva, Adriano and Kawan, Christoph (2019): Lyapunov exponents and partial hyperbolicity of chain control sets on flag manifolds. In: Israel Journal of Mathematics, Vol. 232, No. 2: pp. 947-1000

Eiband, Malin; Buschek, Daniel; Kremer, Alexander and Hussmann, Heinrich (2019): The Impact of Placebic Explanations on Trust in Intelligent Systems. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Eiband, Malin; Voelkel, Sarah Theres; Buschek, Daniel; Cook, Sophia and Hussmann, Heinrich (2019): When People and Algorithms Meet: User-reported Problems in Intelligent Everyday Applications. In: Proceedings of Iui 2019: pp. 96-106

Elagroudy, Passant; Khamis, Mohamed; Mathis, Florian; Irmscher, Diana; Bulling, Andreas and Schmidt, Albrecht (2019): Can Privacy-Aware Lifelogs Alter Our Memories? In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Emmerich, Paul; Ellmann, Simon; Bonk, Fabian; Egger, Alex; Garcia Sanchez-Torija, Esau; Guenzel, Thomas; Di Luzio, Sebastian; Obada, Alexandru; Stadlmeier, Maximilian; Voit, Sebastian and Carle, Georg (2019): The Case for Writing Network Drivers in High-Level Programming Languages. In: 2019 Acm/Ieee Symposium on Architectures for Networking and Communications Systems (Ancs)

Englmeier, David; Schönewald, Isabel; Butz, Andreas and Hoellerer, Tobias (2019): Sphere in Hand: Exploring Tangible Interaction with Immersive Spherical Visualizations. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 912-913

Englmeier, David; Schönewald, Isabel; Butz, Andreas and Hollerer, Tobias (2019): Feel the Globe: Enhancing the Perception of Immersive Spherical Visualizations with Tangible Proxies. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 1693-1698

Ernst, Gidon and Murray, Toby (2019): SECCSL: Security Concurrent Separation Logic. In: Computer Aided Verification, Cav 2019, Pt Ii, Vol. 11562: pp. 208-230

Feger, Sebastian S.; Dallmeier-Tiessen, Sunje; Schmidt, Albrecht and Wozniak, Pawel W. (2019): Designing for Reproducibility: A Qualitative Study of Challenges and Opportunities in High Energy Physics. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Feger, Sebastian S.; Dallmeier-Tiessen, Sunje; Wozniak, Pawel W. and Schmidt, Albrecht (2019): Gamification in Science: A Study of Requirements in the Context of Reproducible Research. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Feger, Sebastian S.; Dallmeier-Tiessen, Sunje; Wozniak, Pawel W. and Schmidt, Albrecht (2019): The Role of HCI in Reproducible Science: Understanding, Supporting and Motivating Core Practices. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Feld, Sebastian; Sedlmeier, Andreas; Friedrich, Markus; Franz, Jan and Belzner, Lenz (2019): Bayesian Surprise in Indoor Environments. In: 27Th Acm Sigspatial International Conference on Advances in Geographic Information Systems (Acm Sigspatial Gis 2019): pp. 129-138

Felsberger, Lukas; Todd, Benjamin and Kranzlmüller, Dieter (2019): Power Converter Maintenance Optimization Using a Model-Based Digital Reliability Twin Paradigm. In: 2019 4Th International Conference on System Reliability and Safety (Icsrs 2019): pp. 213-217

Fowler, Michael D. (2019): Mapping k-combinations and Dih(4) in John Cage's Variations I as utilities for determinate and indeterminate realization strategies. In: Journal of Mathematics and Music, Vol. 13, No. 2: pp. 171-191

Friedrich, Markus; Fayolle, Pierre-Alain; Gabor, Thomas and Linnhoff-Popien, Claudia (2019): Optimizing Evolutionary CSG Tree Extraction. In: Proceedings of the 2019 Genetic and Evolutionary Computation Conference (Gecco'19): pp. 1183-1191

Fromm, Michael; Faerman, Evgeniy and Seidl, Thomas (2019): TACAM: Topic And Context Aware Argument Mining. In: 2019 Ieee/Wic/Acm International Conference on Web Intelligence (Wi 2019): pp. 99-106

Fromm, Michael; Schubert, Matthias; Castilla, Guillermo; Linke, Julia and McDermid, Greg (2019): Automated Detection of Conifer Seedlings in Drone Imagery Using Convolutional Neural Networks. In: Remote Sensing, Vol. 11, No. 21, 2585

Funk, Christina; Raschbichler, Verena; Lieber, Diana; Wetschky, Jens; Arnold, Eileen K.; Leimser, Jacqueline; Biggel, Michael; Friedel, Caroline C.; Ruzsics, Zsolt and Bailer, Susanne M. (2019): Comprehensive analysis of nuclear export of herpes simplex virus type 1 tegument proteins and their Epstein-Barr virus orthologs. In: Traffic, Vol. 20, No. 2: pp. 152-167

Gabor, Thomas; Illium, Steffen; Mattausch, Andy; Belzner, Lenz and Linnhoff-Popien, Claudia (2019): Self-Replication in Neural Networks. In: Alife 2019: the 2019 Conference on Artificial Life: pp. 424-431

Gabor, Thomas; Sedlmeier, Andreas; Kiermeier, Marie; Phan, Thomy; Henrich, Marcel; Pichlmair, Monika; Kempter, Bernhard; Klein, Cornel; Sauer, Horst; Schmid, Reiner and Wieghardt, Jan (2019): Scenario Co-Evolution for Reinforcement Learning on a Grid World Smart Factory Domain. In: Proceedings of the 2019 Genetic and Evolutionary Computation Conference (Gecco'19): pp. 898-906

Gamm, Matthias von; Schaub, Annalisa; Jones, Alisha N.; Wolf, Christine; Behrens, Gesine; Lichti, Johannes; Essig, Katharina; Macht, Anna; Pircher, Joachim; Ehrlich, Andreas; Davari, Kathrin; Chauhan, Dhruv; Busch, Benjamin; Wurst, Wolfgang; Feederle, Regina; Feuchtinger, Annette; Tschoep, Matthias H.; Friedel, Caroline C.; Hauck, Stefanie M.; Sattler, Michael; Geerlof, Arie; Hornung, Veit; Heissmeyer, Vigo; Schulz, Christian; Heikenwalder, Mathias and Glasmacher, Elke (2019): Immune homeostasis and regulation of the interferon pathway require myeloid-derived Regnase-3. In: Journal of Experimental Medicine, Vol. 216, No. 7: pp. 1700-1723

Garcia-Hernandez, Ruben Jesus and Kranzlmüller, Dieter (2019): NOMAD VR: Multiplatform virtual reality viewer for chemistry simulations. In: Computer Physics Communications, Vol. 237: pp. 230-237

George, Ceenu and Hassib, Mariam (2019): Towards Augmenting IVR Communication with Physiological Sensing Data. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

George, Ceenu; Khamis, Mohamed; Buschek, Daniel and Hussmann, Heinrich (2019): Investigating the Third Dimension for Authentication in Immersive Virtual Reality and in the Real World. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 277-285

George, Ceenu; Schwuchow, Julia and Hussmann, Heinrich (2019): Fearing Disengagement from the Real World Exploring Non-Experts' Mental Model and Expectations of Mobile Virtual Reality. In: 25Th Acm Symposium on Virtual Reality Software and Technology (Vrst 2019), UNSP 8

Giordano, Alessandro Massimo; Ott, Christian and Albu-Schaeffer, Alin (2019): Coordinated Control of Spacecraft's Attitude and End-Effector for Space Robots. In: IEEE Robotics and Automation Letters, Vol. 4, No. 2: pp. 2108-2115

Glatz, Christiane and Chuang, Lewis L. (2019): The time course of auditory looming cues in redirecting visuospatial attention. In: Scientific Reports, Vol. 9, 743 [PDF, 1MB]

Gu, Jindong; Yang, Yinchong and Tresp, Volker (2019): Understanding Individual Decisions of CNNs via Contrastive Backpropagation. In: Computer Vision - Accv 2018, Pt Iii, Vol. 11363: pp. 119-134

Gugenheimer, Jan; Mai, Christian; McGill, Mark; Williamson, Julie; Steinicke, Frank and Perlin, Ken (2019): Challenges Using Head-Mounted Displays In Shared and Social Spaces. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Hagemann, Georg; Zhou, Qian; Stavness, Ian and Fels, Sidney (2019): Investigating Spherical Fish Tank Virtual Reality Displays for Establishing Realistic Eye-Contact. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 950-951

Hahn, Carsten; Phan, Thomy; Gabor, Thomas; Belzner, Lenz and Linnhoff-Popien, Claudia (2019): Emergent Escape-based Flocking Behavior using Multi-Agent Reinforcement Learning. In: Alife 2019: the 2019 Conference on Artificial Life: pp. 598-605

Heller, Niels and Bry, Francois (2019): Organizing Peer Correction in Tertiary STEM Education: An Approach and its Evaluation. In: International Journal of Engineering Pedagogy, Vol. 9, No. 4: pp. 16-32

Heller, Niels and Bry, Francois (2019): Predicting Learners' Behaviours to Get It Wrong. In: Methodologies and Intelligent Systems for Technology Enhanced Learning, Vol. 804: pp. 12-19

Heller, Niels; Mader, Sebastian and Bry, Francois (2019): More than the Sum of its Parts: Designing Learning Formats from Core Components. In: Sac '19: Proceedings of the 34Th Acm/Sigapp Symposium on Applied Computing: pp. 2473-2476

Hepperle, Daniel; Weiss, Yannick; Siess, Andreas and Woelfel, Matthias (2019): 2D, 3D or speech? A case study on which user interface is preferable for what kind of object interaction in immersive virtual reality. In: Computers & Graphics-Uk, Vol. 82: pp. 321-331

Hildebrandt, Marcel; Khalil, Mohamed; Bergs, Christoph; Tresp, Volker; Wuechner, Roland; Bletzinger, Kai-Uwe and Heizmann, Michael (2019): Remaining Useful Life Estimation for Unknown Motors Using a Hybrid Modeling Approach. In: 2019 Ieee 17Th International Conference on Industrial Informatics (Indin): pp. 1327-1332

Hildebrandt, Marcel; Sunder, Swathi Shyam; Mogoreanu, Serghei; Joblin, Mitchell; Mehta, Akhil; Thon, Ingo and Tresp, Volker (2019): A Recommender System for Complex Real-World Applications with Nonlinear Dependencies and Knowledge Graph Context. In: Semantic Web, Eswc 2019, Vol. 11503: pp. 179-193

Hirsch, Linda (2019): Designing interactive interfaces by keeping the natural beauty of public places. In: Ubicomp/Iswc'19 Adjunct: Proceedings of the 2019 Acm International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 Acm International Symposium on Wearable Computers: pp. 969-972

Hollaender, Kai (2019): A Pedestrian Perspective on Autonomous Vehicles. In: Proceedings of the 24Th International Conference on Intelligent User Interfaces: Companion (Iui 2019): pp. 149-150

Hoppe, Matthias; Karolus, Jakob; Dietz, Felix; Wozniak, Pawel W.; Schmidt, Albrecht and Machulla, Tonja (2019): VRsneaky: Increasing Presence in VR Through Gait-Aware Auditory Feedback. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 (4. September 2019): Game-based learning - Developing a business game for interactive architectural visualization. 11th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games), Vienna, Austria, 4. - 6. September 2019. In: 2019 11th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games) : Vienna, Austria, 4-6 September 2019 : proceedings. Piscataway, NJ: IEEE.

Joppich, Markus; Weber, Christian and Zimmer, Ralf (2019): Using Context-Sensitive Text Mining to Identify miRNAs in Different Stages of Atherosclerosis. In: Thrombosis and Haemostasis, Vol. 119, No. 8: pp. 1247-1264

Joppich, Markus and Zimmer, Ralf (2019): From command-line bioinformatics to bioGUI. In: Peerj, Vol. 7, e8111

Kawan, Christoph and Yuksel, Serdar (2019): Stochastic stability of nonlinear dynamical systems under information constraints. In: 2019 Ieee Information Theory Workshop (Itw): pp. 85-89

Kazempour, Daniyal; Emmerig, Kilian; Kröger, Peer and Seidl, Thomas (2019): Detecting Global Periodic Correlated Clusters in Event Series based on Parameter Space Transform. In: Scientific and Statistical Database Management (Ssdbm 2019): pp. 222-225

Kazempour, Daniyal and Seidl, Thomas (2019): On systematic hyperparameter analysis through the example of subspace clustering. In: Scientific and Statistical Database Management (Ssdbm 2019): pp. 226-229

Keskinen, Tuuli; Makela, Ville; Kallioniemi, Pekka; Hakulinen, Jaakko; Karhu, Jussi; Ronkainen, Kimmo; Makela, John and Turunen, Markku (2019): The Effect of Camera Height, Actor Behavior, and Viewer Position on the User Experience of 360 degrees Videos. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 423-430

Khaled, Mahmoud and Zamani, Majid (2019): pFaces: An Acceleration Ecosystem for Symbolic Control. In: Proceedings of the 2019 22Nd Acm International Conference on Hybrid Systems: Computation and Control (Hscc '19): pp. 252-257

Khamis, Mohamed; Schuster, Nora; George, Ceenu and Pfeiffer, Max (2019): ElectroCutscenes: Realistic Haptic Feedback in Cutscenes of Virtual Reality Games Using Electric Muscle Stimulation. In: 25Th Acm Symposium on Virtual Reality Software and Technology (Vrst 2019), UNSP 13

Khamis, Mohamed; Seitz, Tobias; Mertl, Leonhard; Nguyen, Alice; Schneller, Mario and Li, Zhe (2019): Passquerade: Improving Error Correction of Text Passwords on Mobile Devices by using Graphic Filters for Password Masking. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Kharvari, Farzam and Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 (4. September 2019): The role of serious gaming using virtual reality applications for 3D architectural visualization. 11th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games), Vienna, Austria, 4. - 6. September 2019. In: 2019 11th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games) : Vienna, Austria, 4-6 September 2019 : proceedings. Piscataway, NJ: IEEE.

Kiss, Francisco and Schmidt, Albrecht (2019): Stressed by Design? The Problems of Transferring Interaction Design from Workstations to Mobile Interfaces. In: Proceedings of the 13Th Eai International Conference on Pervasive Computing Technologies for Healthcare (Pervasivehealth 2019): pp. 377-382

Kiss, Francisco; Woźniak, Paweł W.; Scheerer, Felix; Dominiak, Julia; Romanowski, Andrzej and Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 (4. May 2019): Clairbuoyance: Improving Directional Perception for Swimmers. Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, Glasgow, UK, 4.-9. Mai 2019. In: New York, NY, USA: Association for Computing Machinery. 237:1-237:12 [PDF, 5MB]

Knerich, Verena; Jones, Andrea A.; Seyedin, Sam; Siu, Christopher; Dinh, Louie; Mostafavi, Sara; Barr, Alasdair M.; Panenka, William J.; Thornton, Allen E.; Honer, William G. and Rutherford, Alexander R. (2019): Social and structural factors associated with substance use within the support network of adults living in precarious housing in a socially marginalized neighborhood of Vancouver, Canada.
In: PLOS One 14(9), e0222611 [PDF, 1MB]

Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319; Kurtz, Wolfgang; Weismüller, Jens; Ramm, Alexander von; Ludwig, Ralf ORCID logoORCID: https://orcid.org/0000-0002-4225-4098 and Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (10. April 2019): Using virtual reality to visualize extreme rainfall events derived from climate simulations. EGU General Assembly 2019, Vienna, Austria, April 7th–12th 2019. In: [PDF, 2MB]

Kosch, Thomas; Karolus, Jakob; Ha, Havy and Schmidt, Albrecht (2019): Your Skin Resists: Exploring Electrodermal Activity as Workload Indicator during Manual Assembly. In: Proceedings of the Acm Sigchi Symposium on Engineering Interactive Computing Systems (Eics'19)

Kowalewski, Roger; Jungblut, Pascal and Fuerlinger, Karl (2019): Engineering a Distributed Histogram Sort. In: 2019 Ieee International Conference on Cluster Computing (Cluster): pp. 81-91

Lagasio, Martina; Parodi, Antonio; Pulvirenti, Luca; Meroni, Agostino N.; Boni, Giorgio; Pierdicca, Nazzareno; Marzano, Frank S.; Luini, Lorenzo; Venuti, Giovanna; Realini, Eugenio; Gatti, Andrea; Tagliaferro, Giulio; Barindelli, Stefano; Guarnieri, Andrea Monti; Goga, Klodiana; Terzo, Olivier; Rucci, Alessio; Passera, Emanuele; Kranzlmüller, Dieter and Rommen, Bjorn (2019): A Synergistic Use of a High-Resolution Numerical Weather Prediction Model and High-Resolution Earth Observation Products to Improve Precipitation Forecast. In: Remote Sensing, Vol. 11, No. 20, 2387

Lang, Muriel; Pfister, Franz M. J.; Frohner, Jakob; Abedinpour, Kian; Pichler, Daniel; Fietzek, Urban; Um, Terry Taewoong; Kulic, Dana; Endo, Satoshi and Hirche, Sandra (2019): A Multi-Layer Gaussian Process for Motor Symptom Estimation in People With Parkinson's Disease. In: IEEE Transactions on Biomedical Engineering, Vol. 66, No. 11: pp. 3038-3049

Lavaei, Abolfaz; Soudjani, Sadegh and Zamani, Majid (2019): Compositional construction of infinite abstractions for networks of stochastic control systems. In: Automatica, Vol. 107: pp. 125-137

Lavaei, Abolfazl; Soudjani, Sadegh and Zamani, Majid (2019): Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. In: 2019 18Th European Control Conference (Ecc): pp. 2802-2807

Lavaei, Abolfazl and Zamani, Majid (2019): Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach. In: Ifac Papersonline, Vol. 52, No. 3: pp. 31-36

Lavaei, Abolfazl and Zamani, Majid (2019): Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems. In: Proceedings of the 5Th International Workshop on Symbolic-Numeric Methods for Reasoning About Cps and Iot (Snr 2019): pp. 3-5

Ma, Yunpu; Tresp, Volker and Daxberger, Erik A. (2019): Embedding models for episodic knowledge graphs. In: Journal of Web Semantics, Vol. 59, UNSP 100490

Mader, Sebastian and Bry, Francois (2019): Blending Classroom, Collaborative, and Individual Learning Using Backstage 2. In: Methodologies and Intelligent Systems for Technology Enhanced Learning, Vol. 804: pp. 3-11

Mader, Sebastian and Bry, Francois (2019): Fun and Engagement in Lecture Halls Through Social Gamification. In: International Journal of Engineering Pedagogy, Vol. 9, No. 2: pp. 113-132

Mader, Sebastian; Heller, Niels and Bry, Francois (2019): Adding Narrative to Gamification and Educational Games With Generic Templates. In: Proceedings of the 18Th European Conference on E-Learning (Ecel 2019): pp. 360-368

Maekelae, Ville; Keskinen, Tuuli; Makela, John; Kallioniemi, Pekka; Karhu, Jussi; Ronkainen, Kimmo; Burova, Alisa; Hakulinen, Jaakko and Turunen, Markku (2019): What Are Others Looking at? Exploring 360 degrees Videos on HMDs with Visual Cues about Other Viewers. In: Tvx 2019: Proceedings of the 2019 Acm International Conference on Interactive Experiences for Tv and Online Video: pp. 13-24

Manavalan, Anil Paul Chirackal; Pilarova, Kveta; Kluge, Michael; Bartholomeeusen, Koen; Rajecky, Michal; Oppelt, Jan; Khirsariya, Prashant; Paruch, Kamil; Krejci, Lumir; Friedel, Caroline C. and Blazek, Dalibor (2019): CDK12 controls G1/S progression by regulating RNAPII processivity at core DNA replication genes. In: EMBO Reports, e47592

Mardanbegi, Diako; Pfeuffer, Ken; Perzl, Alexander; Mayer, Benedikt; Jalaliniya, Shahram and Gellersen, Hans (2019): EyeSeeThrough: Unifying Tool Selection and Application in Virtual Environments. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 474-483

Matt, Christian ORCID logoORCID: https://orcid.org/0000-0001-9800-2335; Becker, Moritz; Kolbeck, Andreas and Hess, Thomas ORCID logoORCID: https://orcid.org/0000-0003-3969-7477 (2019): Continuously Healthy, Continuously Used? A Thematic Analysis of User Perceptions on Consumer Health Wearables. In: Pacific Asia Journal of the Association for Information Systems, Vol. 11, No. 1: pp. 108-132

Mauder, M.; Ntoutsi, E.; Kröger, P.; Mayr, C.; Toncala, A.; Hölzl, S. and Grupe, G. (2019): Significance and Limitations of Stable Oxygen Isotope Ratios in the Apatite Phosphate of Archaeological Vertebrate Finds for Provenance Analysis in an Alpine Reference Region. In: Archaeometry, Vol. 61, No. 1: pp. 194-210

Mecke, Lukas; Buschek, Daniel; Kiermeier, Mathias; Prange, Sarah and Alt, Florian (2019): Exploring Intentional Behaviour Modifications for Password Typing on Mobile Touchscreen Devices. In: Proceedings of the Fifteenth Symposium on Usable Privacy and Security (Soups 2019): pp. 303-317

Mecke, Lukas; Rodriguez, Sarah Delgado; Buschek, Daniel; Prange, Sarah and Alt, Florian (2019): Communicating Device Confidence Level and Upcoming Re-Authentications in Continuous Authentication Systems on Mobile Devices. In: Proceedings of the Fifteenth Symposium on Usable Privacy and Security (Soups 2019): pp. 289-301

Metzger, Philipp; Kirchleitner, Sabrina; Kluge, Michael; König, Lars M.; Hoerth, Christine; Rambuscheck, Carlotta A.; Bohmer, Daniel; Ahlfeld, Julia; Kobold, Sebastian; Friedel, Caroline C.; Endres, Stefan; Schnurr, Max and Duewell, Peter (2019): Immunostimulatory RNA leads to functional reprogramming of myeloid-derived suppressor cells in pancreatic cancer. In: Journal for Immunotherapy of Cancer, Vol. 7, No. 1, 288

Michael, Schmidt; Michael, Brenner and Thomas, Schaaf (2019): IT Service Management Frameworks Compared - Simplifying Service Portfolio Management. In: 2019 Ifip/Ieee Symposium on Integrated Network and Service Management (Im): pp. 421-427

Muehlhofer, Moritz; Berchtold, Evi; Stratil, Chris G.; Csaba, Gergely; Kunold, Elena; Bach, Nina C.; Sieber, Stephan A.; Haslbeck, Martin; Zimmer, Ralf and Buchner, Johannes (2019): The Heat Shock Response in Yeast Maintains Protein Homeostasis by Chaperoning and Replenishing Proteins. In: Cell Reports, Vol. 29, No. 13

Peng, Zirong; Lu, Yifeng; Hatzoglou, Constantinos; da Silva, Alisson Kwiatkowski; Vurpillot, Francois; Ponge, Dirk; Raabe, Dierk and Gault, Baptiste (2019): An Automated Computational Approach for Complete In-Plane Compositional Interface Analysis by Atom Probe Tomography. In: Microscopy and Microanalysis, Vol. 25, No. 2: pp. 389-400

Perdacher, Martin; Plant, Claudia and Boehm, Christian (2019): Cache-oblivious High-performance Similarity Join. In: Sigmod '19: Proceedings of the 2019 International Conference on Management of Data: pp. 87-104

Pfeuffer, Ken; Geiger, Matthias J.; Prange, Sarah; Mecke, Lukas; Buschek, Daniel and Alt, Florian (2019): Behavioural Biometrics in VR Identifying People from Body Motion and Relations in Virtual Reality. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Phan, Thomy; Belzner, Lenz; Kiermeier, Marie; Friedrich, Markus; Schmid, Kyrill and Linnhoff-Popien, Claudia (2019): Memory Bounded Open-Loop Planning in Large POMDPs Using Thompson Sampling. In: Thirty-Third Aaai Conference on Artificial Intelligence / Thirty-First Innovative Applications of Artificial Intelligence Conference / Ninth Aaai Symposium on Educational Advances in Artificial Intelligence: pp. 7941-7948

Phan, Thomy; Schmid, Kyrill; Belzner, Lenz; Gabor, Thomas; Feld, Sebastian and Linnhoff-Popien, Claudia (2019): Distributed Policy Iteration for Scalable Approximation of Cooperative Multi-Agent Policies. In: Aamas '19: Proceedings of the 18Th International Conference on Autonomous Agents and Multiagent Systems: pp. 2162-2164

Prange, Sarah; Buschek, Daniel; Pfeuffer, Ken; Mecke, Lukas; Ehrich, Peter; Le, Jens and Alt, Florian (2019): Go for GOLD: Investigating User Behaviour in Goal-Oriented Tasks. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Richter, Florian and Seidl, Thomas (2019): Looking into the TESSERACT: Time-drifts in event streams using series of evolving rolling averages of completion times. In: Information Systems, Vol. 84: pp. 265-282

Rohrmoser, Michaela; Kluge, Michael; Yahia, Yousra; Gruber-Eber, Anita; Maqbool, Muhammad Ahmad; Forne, Ignasi; Krebs, Stefan; Blum, Helmut; Greifenberg, Ann Katrin; Geyer, Matthias; Descostes, Nicolas; Imhof, Axel; Andrau, Jean-Christophe; Friedel, Caroline C. and Eick, Dirk (2019): MIR sequences recruit zinc finger protein ZNF768 to expressed genes. In: Nucleic Acids Research, Vol. 47, No. 2: pp. 700-715

Roider, Florian; Ruemelin, Sonja; Pfleging, Bastian and Gros, Tom (2019): Investigating the effects of modality switches on driver distraction and interaction efficiency in the car. In: Journal on Multimodal User Interfaces, Vol. 13, No. 2: pp. 89-97

Rojas-Rengifo, Diana F.; Ulloa-Guerrero, Cindy P.; Joppich, Markus; Haas, Rainer; del Pilar Delgado, Maria; Jaramillo, Carlos and Jimenez-Soto, Luisa F. (2019): Tryptophan usage by Helicobacter pylori differs among strains. In: Scientific Reports, Vol. 9, 873 [PDF, 1MB]

Rossmy, Beat and Wiethoff, Alexander (2019): COMB - Shape as a Meaningful Element of Interaction. In: Tei'19: Proceedings of the Thirteenth International Conference on Tangible, Embedded, and Embodied Interaction: pp. 287-295

Rossmy, Beat and Wiethoff, Alexander (2019): StringTouch - A Scalable Low-Cost Concept for Deformable Interfaces. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Rothe, Sylvia; Kegeles, Boris and Hussmann, Heinrich (2019): Camera Heights in Cinematic Virtual Reality: How Viewers Perceive Mismatches Between Camera and Eye Height. In: Tvx 2019: Proceedings of the 2019 Acm International Conference on Interactive Experiences for Tv and Online Video: pp. 25-34

Rothe, Sylvia; Pothmann, Pascal; Drewe, Heiko and Hussmann, Heinrich (2019): Interaction Techniques for Cinematic Virtual Reality. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 1733-1737

Rothe, Sylvia; Sarakiotis, Vanessa and Hussmann, Heinrich (2019): Where to Place the Camera Shot Sizes and Camera Distances in Cinematic Virtual Reality. In: 25Th Acm Symposium on Virtual Reality Software and Technology (Vrst 2019), UNSP 101

Schilling, Tim; Sipatchin, Alexandra; Chuang, Lewis and Wahl, Siegfried (2019): Looking Through "Rose-Tinted" Glasses: The Influence of Tint on Visual Affective Processing. In: Frontiers in Human Neuroscience, Vol. 13, 187

Schmidmaier, Matthias; Han, Zhiwei; Weber, Thomas; Liu, Yuanting and Hussmann, Heinrich (2019): Real-Time Personalization in Adaptive IDEs. In: Adjunct Publication of the 27Th Conference on User Modeling, Adaptation and Personalization (Acm Umap '19 Adjunct): pp. 81-86

Schneegass, Stefan; Poguntke, Romina and Machulla, Tonja (2019): Understanding the Impact of Information Representation on Willingness to Share Information. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Schneider, Hanna (2019): Designing for empowerment - An investigation and critical reflection. In: It-Information Technology, Vol. 61, No. 1: pp. 59-65

Schneider, Hanna; Wayrauther, Julia; Hassib, Mariam and Butz, Andreas (2019): Communicating Uncertainty in Fertility Prognosis. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Schwind, Valentin; Knierim, Pascal; Haas, Nico and Henze, Niels (2019): Using Presence Questionnaires in Virtual Reality. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Sedlar, Karel; Kolek, Jan; Gruber, Markus; Jureckova, Katerina; Branska, Barbora; Csaba, Gergely; Vasylkivska, Maryna; Zimmer, Ralf; Patakova, Petra and Provaznik, Ivo (2019): A transcriptional response of Clostridium beijerinckii NRRL B-598 to a butanol shock. In: Biotechnology for Biofuels, Vol. 12, No. 1, 243

Staudacher, Korbinian; Mader, Sebastian and Bry, Francois (2019): Automated Scaffolding and Feedback for Proof Construction: A Case Study. In: Proceedings of the 18Th European Conference on E-Learning (Ecel 2019): pp. 542-550

Sun, Xin; Song, Zenghui; Dong, Junyu; Yu, Yongbo; Plant, Claudia and Boehm, Christian (2019): Network Structure and Transfer Behaviors Embedding via Deep Prediction Model. In: Thirty-Third Aaai Conference on Artificial Intelligence / Thirty-First Innovative Applications of Artificial Intelligence Conference / Ninth Aaai Symposium on Educational Advances in Artificial Intelligence: pp. 5041-5048

Swikir, Abdalla and Zamani, Majid (2019): Compositional Abstractions of Interconnected Discrete-Time Switched Systems. In: 2019 18Th European Control Conference (Ecc): pp. 1251-1256

Swikir, Abdalla and Zamani, Majid (2019): Compositional synthesis of finite abstractions for networks of systems: A small-gain approach. In: Automatica, Vol. 107: pp. 551-561

Tejero, Rut; Huang, Yong; Katsyv, Igor; Kluge, Michael; Lin, Jung-Yi; Tome-Garcia, Jessica; Daviaud, Nicolas; Wang, Yuanshuo; Zhang, Bin; Tsankova, Nadejda M.; Friedel, Caroline C.; Zou, Hongyan and Friedel, Roland H. (2019): Gene signatures of quiescent glioblastoma cells reveal mesenchymal shift and interactions with niche microenvironment. In: Ebiomedicine, Vol. 42: pp. 252-269

Terzimehic, Nada; Haeuslschmid, Renate; Hussmann, Heinrich and Schraefel, M. C. (2019): A Review & Analysis of Mindfulness Research in HCI Framing Current Lines of Research and Future Opportunities. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Thanh-Dang, Diep; Kien Trung, Pham; Fürlinger, Karl and Nam, Thoai (2019): A time-stamping system to detect memory consistency errors in MPI one-sided applications. In: Parallel Computing, Vol. 86: pp. 36-44

Thevin, Lauren; Jouffrais, Christophe; Rodier, Nicolas; Palard, Nicolas; Hachet, Martin and Brock, Anke M. (2019): Creating Accessible Interactive Audio-Tactile Drawings Using Spatial Augmented Reality. In: Proceedings of the 2019 Acm International Conference on Interactive Surfaces and Spaces (Iss '19): pp. 17-28

Thome, Johannes; Behnke, Kerstin; Gleitz, Markus; Steer, Lydia; Weiher, Martina and Hasford, Jörg (2019): Qualität und Struktur der ambulanten Versorgung von erwachsenen Patienten mit ADHS (Aufmerksamkeitsdefizit-/Hyperaktivitätsstörung). Ergebnisse der RAABE-Studie [Retrospektive Daten-Analyse der ADHS-Behandlung Erwachsener]. In: Psychiatrische Praxis, Vol. 46, No. 6: pp. 317-323

Wang, Yingding; Fischer, Nikolai and Bry, Francois (2019): Pervasive Persuasion for Stress Self-Regulation. In: 2019 Ieee International Conference on Pervasive Computing and Communications Workshops (Percom Workshops): pp. 724-730

Weber, Thomas; Zoitl, Alois and Hussmann, Heinrich (2019): Usability of Development Tools: A CASE-Study. In: 2019 Acm/Ieee 22Nd International Conference on Model Driven Engineering Languages and Systems Companion (Models-C 2019): pp. 228-235

Weil, Lea ORCID logoORCID: https://orcid.org/0000-0003-0743-7873; Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319; Weismüller, Jens ORCID logoORCID: https://orcid.org/0000-0002-0252-5826; Imm, Eric and Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (26. September 2019): Raising Awareness for Endangered Species using Augmented Reality. Enviroinfo 2019, Kassel, Germany, September 23rd-26th 2019. In: [PDF, 826kB]

Wiegand, Gesa; Schmidmaier, Matthias; Weber, Thomas; Liu, Yuanting and Hussmann, Heinrich (2019): I Drive - You Trust: Explaining Driving Behavior Of Autonomous Cars. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Zakreuskaya, Anastasiya and Hapfelmeier, Jana (2019): progViz: Visualizing Patient Journeys Based on Finite State Models. In: 2019 23Rd International Conference Information Visualisation (Iv): Biomedical Visualization and Geometric Modelling & Imaging: pp. 405-410

Zhang, Kuize; Yin, Xiang and Zamani, Majid (2019): Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. In: IEEE Transactions on Automatic Control, Vol. 64, No. 12: pp. 5116-5123

Zhang, Yuchong; Ma, Yong; Omrani, Adel; Yadav, Rahul; Fjeld, Morten and Fratarcangeli, Marco (2019): Automatic Image Segmentation for Microwave Tomography (MWT): From Implementation to Comparative Evaluation. In: Proceedings of the 12Th International Symposium on Visual Information Communication and Interaction, Vinci 2019

2018

Abdelrahman, Yomna; Wozniak, Pawel; Knierim, Pascal; Henze, Niels and Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 (2018): Exploration of Alternative Vision Modes Using Depth and Thermal Cameras. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 245-252

Alt, Florian; Geiger, Sabrina and Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 (6. June 2018): ShapelineGuide – Teaching mid-air gestures for large interactive displays. PerDis 2018 - Proceedings of the 7th ACM International Symposium on Pervasive Displays, LMU München, Germany, 6. - 8. Juni 2018. In: PerDis 2018 - Proceedings of the 7th ACM International Symposium on Pervasive Displays.

Auda, Jonas; Hoppe, Matthias; Amiraslanov, Orkhan; Zhou, Bo; Knierim, Pascal; Schneegass, Stefan; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 and Lukowicz, Paul (2018): LYRA: Smart Wearable In-flight Service Assistant. In: Iswc'18: Proceedings of the 2018 Acm International Symposium on Wearable Computers: pp. 212-213

Benton, Nick; Hofmann, Martin and Nigam, Vivek (2018): Effect-dependent transformations for concurrent programs. In: Science of Computer Programming, Vol. 155: pp. 27-51

Benton, Nick; Hofmann, Martin and Nigam, Vivek (2018): Proof-relevant logical relations for name generation. In: Logical Methods in Computer Science, Vol. 14, No. 1, 25 [PDF, 265kB]

Beyer, Dirk; Dangl, Matthias and Wendler, Philipp (2018): A Unifying View on SMT-Based Software Verification. In: Journal of Automated Reasoning, Vol. 60, No. 3: pp. 299-335

Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas and Wehrheim, Heike (2018): Reducer-Based Construction of Conditional Verifiers. In: Proceedings 2018 Ieee/Acm 40Th International Conference on Software Engineering (Icse): pp. 1182-1193

Braun, Michael; Volkel, Sarah Theres; Wiegand, Gesa; Puls, Thomas; Steidl, Daniel; Weiss, Yannick and Alt, Florian (2018): The Smile is The New Like: Controlling Music with Facial Expressions to Minimize Driver Distraction. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 383-389

Buschek, Daniel; Hassib, Mariam and Alt, Florian (2018): Personal Mobile Messaging in Context: Chat Augmentations for Expressiveness and Awareness. In: Acm Transactions on Computer-Human Interaction, Vol. 25, No. 4, 23

Buschek, Daniel; Völkel, Sarah; Stachl, Clemens; Mecke, Lukas; Prange, Sarah and Pfeuffer, Ken (2018): Experience Sampling as Information Transmission: Perspective and Implications. In: Proceedings of the 2018 Acm International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2018 Acm International Symposium on Wearable Computers (Ubicomp/Iswc'18 Adjunct): pp. 606-611

Caramazza, Piergiorgio; Boccolini, Alessandro; Buschek, Daniel; Hullin, Matthias; Higham, Catherine F.; Henderson, Robert; Murray-Smith, Roderick and Faccio, Daniele (2018): Neural network identification of people hidden from view with a single-pixel, single-photon detector. In: Scientific Reports, Vol. 8, 11945 [PDF, 1MB]

Costa, Camila F.; Nascimento, Mario A. and Schubert, Matthias (2018): Diverse nearest neighbors queries using linear skylines. In: Geoinformatica, Vol. 22, No. 4: pp. 815-844

Davari, Kathrin; Lichti, Johannes; Friedel, Caroline C. and Glasmacher, Elke (2018): Real-time Analysis of Transcription Factor Binding, Transcription, Translation, and Turnover to Display Global Events During Cellular Activation. In: Jove-Journal of Visualized Experiments, No. 133, e56752

Dingler, Tilman; Tag, Benjamin; Lehrer, Sabrina and Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 (2018): Reading Scheduler: Proactive Recommendations to Help Users Cope with Their Daily Reading Volume. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 239-244

Drewes, Heiko; Khamis, Mohamed and Alt, Florian (2018): Smooth Pursuit Target Speeds and Trajectories. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 139-146

Eiband, Malin; Schneider, Hanna; Bilandzic, Mark; Fazekas-Con, Julian; Haug, Mareike and Hussmann, Heinrich (2018): Bringing Transparency Design into Practice. In: Iui 2018: Proceedings of the 23Rd International Conference on Intelligent User Interfaces: pp. 211-223

Erhard, Florian; Halenius, Anne; Zimmermann, Cosima; L'Hernault, Anne; Kowalewski, Daniel J.; Weekes, Michael P.; Stevanovic, Stefan; Zimmer, Ralf and Doelken, Lars (2018): Improved Ribo-seq enables identification of cryptic translation events. In: Nature Methods, Vol. 15, No. 5: pp. 363-366

Faerman, Evgeniy; Borutta, Felix; Fountoulakis, Kimon and Mahoney, Michael W. (2018): LASAGNE: Locality And Structure Aware Graph Node Embedding. In: 2018 Ieee/Wic/Acm International Conference on Web Intelligence (Wi 2018): pp. 246-253

Faltaous, Sarah; Baumann, Martin; Schneegass, Stefan and Chuang, Lewis L. (2018): Design Guidelines for Reliability Communication in Autonomous Vehicles. In: Automotiveui'18: Proceedings of the 10Th Acm International Conference on Automotive User Interfaces and Interactive Vehicular Applications: pp. 258-267

Fasola, Salvatore; Muggeo, Vito M. R. and Küchenhoff, Helmut (2018): A heuristic, iterative algorithm for change-point detection in abrupt change models. In: Computational Statistics, Vol. 33, No. 2: pp. 997-1015

Felsberger, Lukas; Kranzlmüller, Dieter and Todd, Benjamin (2018): Field-Reliability Predictions Based on Statistical System Lifecycle Models. In: Machine Learning and Knowledge Extraction, Cd-Make 2018, Vol. 11015: pp. 98-117

Frey, Christian; Zufle, Andreas; Emrich, Tobias and Renz, Matthias (2018): Efficient Information Flow Maximization in Probabilistic Graphs. In: IEEE Transactions on Knowledge and Data Engineering, Vol. 30, No. 5: pp. 880-894

Fürlinger, Karl; Kowalewski, Roger; Fuchs, Tobias and Lehmann, Benedikt (2018): Investigating the Performance and Productivity of DASH Using the Cowichan Problems. In: Hpc Asia'18: Proceedings of Workshops of Hpc Asia: pp. 11-20

Gabor, Thomas; Belzner, Lenz; Phan, Thomy and Schmid, Kyrill (2018): Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms. In: 15Th Ieee International Conference on Autonomic Computing (Icac 2018): pp. 131-140

Gaina, Raluca D.; Couetoux, Adrien; Sömers, Dennis J. N. J.; Winands, Mark H. M.; Vodopivec, Tom; Kirchgessner, Florian; Liu, Jialin; Lucas, Simon M. and Perez-Liebana, Diego (2018): The 2016 Two-Player GVGAI Competition. In: IEEE Transactions on Games, Vol. 10, No. 2: pp. 209-220

Geistlinger, Ludwig; Silva, Vinicius Henrique da; Mello Cesar, Aline Silva; Tizioto, Polyana Cristine; Waldron, Levi; Zimmer, Ralf; Correia de Almeida Regitano, Luciana and Coutinho, Luiz Lehmann (2018): Widespread modulation of gene expression by copy number variation in skeletal muscle. In: Scientific Reports, Vol. 8, 1399 [PDF, 2MB]

George, Ceenu; Eiband, Malin; Hufnagel, Michael and Hussmann, Heinrich (2018): Trusting Strangers in Immersive Virtual Reality. In: Companion of the 23Rd International Conference on Intelligent User Interfaces (Iui'18)

George, Ceenu; Spitzer, Michael and Hussmann, Heinrich (2018): Training in IVR: Investigating the Effect of Instructor Design on Social Presence and Performance of the VR User. In: 24Th Acm Symposium on Virtual Reality Software and Technology (Vrst 2018)

Haas, Jürgen G.; Weber, Julia; Gonzalez, Orland; Zimmer, Ralf and Griffiths, Samantha J. (2018): Antiviral activity of the mineralocorticoid receptor NR3C2 against Herpes simplex virus Type 1 (HSV-1) infection. In: Scientific Reports, Vol. 8, No. 1 [PDF, 1MB]

Hennicker, Rolf and Bidoit, Michel (2018): Compatibility properties of synchronously and asynchronously communicating components. In: Logical Methods in Computer Science, Vol. 14, No. 1, 1 [PDF, 562kB]

Hennicker, Rolf; Madeira, Alexandre and Wirsing, Martin (2018): Behavioural and abstractor specifications revisited. In: Theoretical Computer Science, Vol. 741: pp. 32-43

Hennig, Thomas; Michalski, Marco; Rutkowski, Andrzej J.; Djakovic, Lara; Whisnant, Adam W.; Friedl, Marie-Sophie; Jha, Bhaskar Anand; Baptista, Marisa A. P.; L'Hernault, Anne; Erhard, Florian; Doelken, Lars and Friedel, Caroline C. (2018): HSV-1-induced disruption of transcription termination resembles a cellular stress response but selectively increases chromatin accessibility downstream of genes.
In: PLOS Pathogens 14(3), e1006954 [PDF, 11MB]

Hodges, Steve; Scott, James; Chen, Nicholas; Taylor, Stuart; Helmes, John; Wright, Phil; Walker, Laura; Trim, Nick; Grosse-Puppendahl, Tobias; Knierim, Pascal; Wood, Gavin and Denney, Thomas (2018): Enhancing Smartphone Productivity and Reliability with an Integrated Display Cover. In: Proceedings of the 2018 Acm International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2018 Acm International Symposium on Wearable Computers (Ubicomp/Iswc'18 Adjunct): pp. 349-352

Hoppe, Matthias; Knierim, Pascal; Kosch, Thomas; Funk, Markus; Futami, Lauren; Schneegass, Stefan; Henze, Niels; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 and Machulla, Tonja (2018): VRHapticDrones: Providing Haptics in Virtual Reality through Quadcopters. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 7-18

Hänsel, Katrin; Poguntke, Romina; Haddadi, Hamed; Alomainy, Akram and Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 (21. April 2018): What to Put on the User: Sensing Technologies for Studies and Physiology Aware Systems. 2018 CHI Conference on Human Factors in Computing Systems, Montreal QC, Canada, 21.-26. April 2018. In: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery. 145:1-145:14 [PDF, 710kB]

Häuslschmid, Renate; Fritzsche, Benjamin and Butz, Andreas (2018): Can a Helmet-mounted Display Make Motorcycling Safer? In: Iui 2018: Proceedings of the 23Rd International Conference on Intelligent User Interfaces: pp. 467-476

Höllander, Kai and Pfleging, Bastian (2018): Preparing Drivers for Planned Control Transitions in Automated Cars. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 83-92

Kaltenthaler, Daniel; Lohrer, Johannes-Y.; Richter, Florian and Kröger, Peer (2018): Interdisciplinary knowledge cohesion through distributed information management systems. In: Journal of Information Communication & Ethics in Society, Vol. 16, No. 4: pp. 413-426

Kazempour, Daniyal; Beer, Anna; Herzog, Friederike; Kaltenthaler, Daniel; Lohrer, Johannes-Y. and Seidl, Thomas (2018): FATBIRD: A Tool for Flight and Trajectories Analyses of Birds. In: 2018 Ieee 14Th International Conference on E-Science (E-Science 2018): pp. 75-82

Kiss, Francisco; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 and Wozniak, Pawel W. (2018): Experiencing VOS: a Visual Orientation System. In: Nordichi'18: Proceedings of the 10Th Nordic Conference on Human-Computer Interaction: pp. 944-947

Kluge, Michael and Friedel, Caroline C. (2018): Watchdog - a workflow management system for the distributed analysis of large-scale experimental data. In: BMC Bioinformatics 19:97 [PDF, 2MB]

Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319; Kurtz, Wolfgang; Weismüller, Jens; Ramm, Alexander von; Ludwig, Ralf ORCID logoORCID: https://orcid.org/0000-0002-4225-4098 and Kranzlmüller, Dieter (5. September 2018): Visualization of climate simulation data in virtual reality using commercial game engines. Enviroinfo 2018, Garching near Munich, Germany, September 5th - 7th 2018. In: Bungartz, Hans-Joachim; Kranzlmüller, Dieter; Weinberg, Volker; Weismüller, Jens and Wohlgemutz, Volker (eds.) : Adjunct Proceedings of the 32nd EnviroInfo conference. Aachen, Germany: Shaker Verlag GmbH. pp. 39-45 [PDF, 414kB]

Kowalewski, Roger; Fuchs, Tobias; Fürlinger, Karl and Guggemos, Tobias (2018): Utilizing Heterogeneous Memory Hierarchies in the PGAS Model. In: 2018 26Th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (Pdp 2018): pp. 353-357

Kwiatkowski da Silva, A.; Ponge, D.; Peng, Z.; Inden, G.; Lu, Y.; Breen, A.; Gault, B. and Raabe, D. (2018): Phase nucleation through confined spinodal fluctuations at crystal defects evidenced in Fe-Mn alloys. In: Nature Communications, Vol. 9, 1137 [PDF, 6MB]

König, Alexander; Witzlsperger, Kathrin; Leutwiler, Florin and Hohmann, Sören (2018): Overview of HAD validation and passive HAD as a concept for validating highly automated cars. In: At-Automatisierungstechnik, Vol. 66, No. 2: pp. 132-145

Lachner, Florian; Schneider, Hanna; Simon, Lisa and Butz, Andreas (2018): Nurturing Empathy between UX Design Teams and Users in Digitally-Mediated User Research. In: Nordichi'18: Proceedings of the 10Th Nordic Conference on Human-Computer Interaction: pp. 273-285

Lahmer, Marie; Glatz, Christiane; Seibold, Verena C. and Chuang, Lewis L. (2018): Looming Auditory Collision Warnings for Semi-Automated Driving: An ERP Study. In: Automotiveui'18: Proceedings of the 10Th Acm International Conference on Automotive User Interfaces and Interactive Vehicular Applications: pp. 310-319

Lehmann, Florian and Kipp, Michael (2018): How to Hold Your Phone When Tapping: A Comparative Study of Performance, Precision, and Errors. In: Proceedings of the 2018 Acm International Conference on Interactive Surfaces and Spaces (Iss'18): pp. 115-127

Lu, Yifeng and Seidl, Thomas (2018): Towards Efficient Closed Infrequent Itemset Mining using Bi-directional Traversing. In: 2018 Ieee 5Th International Conference on Data Science and Advanced Analytics (Dsaa): pp. 140-149

Luckow, Andre; Chantzialexiou, George and Jha, Shantenu (2018): Pilot-Streaming: A Stream Processing Framework for High-Performance Computing. In: 2018 Ieee 14Th International Conference on E-Science (E-Science 2018): pp. 177-188

Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf and Martins, Manuel A. (2018): A logic for the stepwise development of reactive systems. In: Theoretical Computer Science, Vol. 744: pp. 78-96

Mai, Christian; Bartsch, Sarah Aragon and Rieger, Lea (2018): Evaluating Shared Surfaces for Co-Located Mixed-Presence Collaboration. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 1-5

Mai, Christian; Wiltzius, Tim; Alt, Florian and Hussmann, Heinrich (2018): Feeling Alone in Public - Investigating the Influence of Spatial Layout on Users' VR Experience. In: Nordichi'18: Proceedings of the 10Th Nordic Conference on Human-Computer Interaction: pp. 286-298

Marouane, Chadly; Gutschale, Robert and Linnhoff-Popien, Claudia (2018): Visual Odometry for Pedestrians Based on Orientation Attributes of SURF. In: Proceedings of Sai Intelligent Systems Conference (Intellisys) 2016, Vol 2, Vol. 16: pp. 153-174

Mautz, Dominik; Ye, Wei; Plant, Claudia and Böhm, Christian (2018): Discovering Non-Redundant K-means Clusterings in Optimal Subspaces. In: Kdd'18: Proceedings of the 24Th Acm Sigkdd International Conference on Knowledge Discovery & Data Mining: pp. 1973-1982

Mayer, Sven; Viet Le, Huy; Nesti, Alessandro; Henze, Niels; Bülthoff, Heinrich H. and Chuang, Lewis L. (2018): The Effect of Road Bumps on Touch Interaction in Cars. In: Automotiveui'18: Proceedings of the 10Th Acm International Conference on Automotive User Interfaces and Interactive Vehicular Applications: pp. 85-93

Mecke, Lukas; Pfeuffer, Ken; Prange, Sarah and Alt, Florian (2018): Open Sesame!: User Perception of Physical, Biometric, and Behavioural Authentication Concepts to Open Doors. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 153-159

Moessbauer, Felix; Kowalewski, Roger; Fuchs, Tobias and Fürlinger, Karl (2018): A Portable Multidimensional Coarray for C plus. In: 2018 26Th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (Pdp 2018): pp. 18-25

Müller, Niklas; Eska, Bettina; Schäffer, Richard; Völkel, Sarah Theres; Braun, Michael; Wiegand, Gesa and Alt, Florian (2018): Arch'n'Smile: A Jump'n'Run Game Using Facial Expression Recognition Control For Entertaining Children During Car Journeys. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 335-339

Natarelli, Lucia; Geissler, Claudia; Csaba, Gergely; Wei, Yuanyuan; Zhu, Mengyu; di Francesco, Andrea; Hartmann, Petra; Zimmer, Ralf and Schober, Andreas (2018): miR-103 promotes endothelial maladaptation by targeting lncWDR59. In: Nature Communications, Vol. 9, 2645 [PDF, 4MB]

Prange, Sarah; Buschek, Daniel and Alt, Florian (2018): An Exploratory Study on Correlations of Hand Size and Mobile Touch Interactions. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 279-283

Rothe, Sylvia; Althammer, Felix and Khamis, Mohamed (2018): GazeRecall: Using Gaze Direction to Increase Recall of Details in Cinematic Virtual Reality. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 115-119

Rothe, Sylvia; Höllerer, Tobias and Hussmann, Heinrich (2018): CVR-Analyzer: A Tool for Analyzing Cinematic Virtual Reality Viewing Patterns. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 127-137

Rothe, Sylvia; Kegeles, Boris; Allary, Mathias and Hussmann, Heinrich (2018): The Impact of Camera Height in Cinematic Virtual Reality. In: 24Th Acm Symposium on Virtual Reality Software and Technology (Vrst 2018)

Schmid, Kyrill; Belzner, Lenz; Gabor, Thomas and Phan, Thomy (2018): Action Markets in Deep Multi-Agent Reinforcement Learning. In: Artificial Neural Networks and Machine Learning - Icann 2018, Pt Ii, Vol. 11140: pp. 240-249

Schneegass, Christina; Terzimehic, Nada; Nettah, Mariam and Schneegass, Stefan (2018): Informing the Design of User-adaptive Mobile Language Learning Applications. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 233-238

Schramm, Christof; Wang, Yingding and Bry, Francois (2018): CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge. In: 2018 Ieee/Acm 5Th International Workshop on Crowd Sourcing in Software Engineering (Csi-Se): pp. 1-8

Schuchart, Joseph; Kowalewski, Roger and Fürlinger, Karl (2018): Recent Experiences in Using MPI-3 RMA in the DASH PGAS Runtime. In: Hpc Asia'18: Proceedings of Workshops of Hpc Asia: pp. 21-30

Schödel, Ramona; Au, Quay; Völkel, Sarah Theres; Lehmann, Florian; Becker, Daniela; Bühner, Markus; Bischl, Bernd; Hussmann, Heinrich and Stachl, Clemens (2018): Digital Footprints of Sensation Seeking. A Traditional Concept in the Big Data Era. In: Zeitschrift für Psychologie-Journal of Psychology, Vol. 226, No. 4: pp. 232-245

Sedlmeier, Andreas and Feld, Sebastian (2018): Learning indoor space perception. In: Journal of Location Based Services, Vol. 12, No. 3-4: pp. 179-214

Soto, Mauro Avila; Voit, Alexandra; Hassan, Ahmed Shereen; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 and Machulla, Tonja (2018): Self-Identifying Tactile Overlays. In: Assets'18: Proceedings of the 20Th International Acm Sigaccess Conference on Computers and Accessibility: pp. 423-425

Stillfried, Georg; Stepper, Johannes; Neppl, Hannah; Vogel, Jörn and Höppner, Hannes (2018): Elastic Elements in a Wrist Prosthesis for Drumming Reduce Muscular Effort, but Increase Imprecision and Perceived Stress. In: Frontiers in Neurorobotics, Vol. 12, 9 [PDF, 1MB]

Strzys, M. P.; Kapp, S.; Thees, M.; Klein, P.; Lukowicz, P.; Knierim, Pascal; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 and Kuhn, J. (2018): Physics holo.lab learning experience: using smartglasses for augmented reality labwork to foster the concepts of heat conduction. In: European Journal of Physics, Vol. 39, No. 3, 35703

Tang, Hanlin; Schrimpf, Martin; Lotter, William; Moerman, Charlotte; Paredes, Ana; Caro, Josue Ortega; Hardesty, Walter; Cox, David and Kreiman, Gabriel (2018): Recurrent computations for visual pattern completion. In: Proceedings of the National Academy of Sciences of the United States of America, Vol. 115, No. 35: pp. 8835-8840 [PDF, 1MB]

Tavakkolkhah, Pegah; Zimmer, Ralf and Küffner, Robert (2018): Detection of network motifs using three-way ANOVA.
In: PLOS One 13(8), e0201382 [PDF, 2MB]

Tran, Cuong Ngoc and Danciu, Vitalian (2018): On Conflict Handling in Software-Defined Networks. In: 2018 International Conference on Advanced Computing and Applications (Acomp): pp. 50-57

Trotter, Ludwig; Davies, Nigel; Prange, Sarah; Alt, Florian and Khamis, Mohamed (2018): Design Considerations for Secure and Usable Authentication on Situated Displays. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 483-490

Tseng, Tsun-Ming; Li, Mengchu; Freitas, Daniel Nestor; Mongersun, Amy; Araci, Ismail Emre; Ho, Tsung-Yi and Schlichtmann, Ulf (2018): Columba S: A Scalable Co-Layout Design Automation Tool for Microfluidic Large-Scale Integration. In: 2018 55Th Acm/Esda/Ieee Design Automation Conference (Dac)

Völkel, Sarah Theres; Wilkowska, Wiktoria and Ziefle, Martina (2018): Gender-Specific Motivation and Expectations toward Computer Science. In: Proceedings of the 4Th Conference on Gender & It (Genderit '18): pp. 123-134

Wei, Yuanyuan; Corbalan-Campos, Judit; Gurung, Rashmi; Natarelli, Lucia; Zhu, Mengyu; Exner, Nicole; Erhard, Florian; Greulich, Franziska; Geiler, Claudia; Uhlenhaut, N. Henriette; Zimmer, Ralf and Schober, Andreas (2018): Dicer in Macrophages Prevents Atherosclerosis by Promoting Mitochondrial Oxidative Metabolism. In: Circulation, Vol. 138, No. 18: pp. 2007-2020 [PDF, 7kB]

Zimmermann, Alfred; Schmidt, Rainer; Bogner, Justus; Jugel, Dierk and Möhring, Michael (2018): Software Evolution for Digital Transformation. In: Proceedings of the 13Th International Conference on Evaluation of Novel Approaches To Software Engineering: pp. 205-212

2017

Abdelrahman, Yomna; Khamis, Mohamed; Schneegass, Stefan and Alt, Florian (6. May 2017): Stay Cool! Understanding Thermal Attacks on Mobile-based User Authentication. Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, Denver, Colorado, USA, 6. - 11. Mai 2017. In: New York, NY, USA: Association for Computing Machinery. pp. 3751-3763 [PDF, 1MB]

Abdelrahman, Yomna; Velloso, Eduardo; Dingler, Tilman; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 and Vetere, Frank (September 2017): Cognitive Heat: Exploring the Usage of Thermal Imaging to Unobtrusively Estimate Cognitive Load. In: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, Vol. 1, No. 3: 33:1-33:20 [PDF, 3MB]

Avis, David and Friedmann, Oliver (2017): An exponential lower bound for Cunningham's rule. In: Mathematical Programming, Vol. 161, No. 43132: pp. 271-305

Barann, Matthias; Zimmer, Ralf and Birzele, Fabian (2017): Manananggal - a novel viewer for alternative splicing events. In: BMC Bioinformatics 18:120 [PDF, 3MB]

Beck, Michael Till and Botero, Juan Felipe (2017): Scalable and coordinated allocation of service function chains. In: Computer Communications, Vol. 102: pp. 78-88

Berchtold, Evi; Csaba, Gergely and Zimmer, Ralf (2017): RelExplain-integrating data and networks to explain biological processes. In: Bioinformatics, Vol. 33, No. 12: pp. 1837-1844

Bonfert, Thomas and Friedel, Caroline C. (2017): Prediction of Poly(A) Sites by Poly(A) Read Mapping.
In: PLOS One 12(1), e0170914 [PDF, 5MB]

Bry, François and Pohl, Alexander Yong-Su (2017): Large class teaching with Backstage. In: Journal of Applied Research in Higher Education, Vol. 9, No. 1: pp. 105-128

Casanova, Guillaume; Englmeier, Elias; Houle, Michael E.; Kröger, Peer; Nett, Michael; Schubert, Erich and Zimek, Arthur (2017): Dimensional Testing for Reverse k-Nearest Neighbor Search. In: Proceedings of the Vldb Endowment, Vol. 10, No. 7: pp. 769-780

Davari, Kathrin; Lichti, Johannes; Gallus, Christian; Greulich, Franziska; Uhlenhaut, N. Henriette ORCID logoORCID: https://orcid.org/0000-0002-4220-4779; Heinig, Matthias; Friedel, Caroline C. and Glasmacher, Elke (2017): Rapid Genome-wide Recruitment of RNA Polymerase II Drives Transcription, Splicing, and Translation Events during T Cell Responses. In: Cell Reports, Vol. 19, No. 3: pp. 643-654

Decker, Tim-Michael; Kluge, Michael; Krebs, Stefan; Shah, Nilay; Blum, Helmut; Friedel, Caroline C. and Eick, Dirk (2017): Transcriptome analysis of dominant-negative Brd4 mutants identifies Brd4-specific target genes of small molecule inhibitor JQ1. In: Scientific Reports, Vol. 7, 1684 [PDF, 1MB]

Dingler, Tilman; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 and Machulla, Tonja (September 2017): Building Cognition-Aware Systems: A Mobile Toolkit for Extracting Time-of-Day Fluctuations of Cognitive Performance. In: Proceedings of the ACM on interactive, mobile, wearable and ubiquitous technologies : IMWUT, Vol. 1, No. 3: 47:1-47:15 [PDF, 814kB]

Feld, Sebastian; Lyu, Hao and Keler, Andreas (2017): Identifying Divergent Building Structures Using Fuzzy Clustering of Isovist Features. In: Progress in Location-Based Services 2016: pp. 151-172

Fiori, E.; Ferraris, L.; Molini, L.; Siccardi, F.; Kranzlmüller, D. and Parodi, A. (2017): Triggering and evolution of a deep convective system in the Mediterranean Sea: modelling and observations at a very fine scale. In: Quarterly Journal of the Royal Meteorological Society, Vol. 143, No. 703: pp. 927-941

Glaser, Laura V.; Rieger, Simone; Thumann, Sybille; Beer, Sophie; Kuklik-Roos, Cornelia; Martin, Dietmar E.; Maier, Kerstin C.; Harth-Hertle, Marie L.; Grüning, Björn; Backofen, Rolf; Krebs, Stefan; Blum, Helmut; Zimmer, Ralf; Erhard, Florian and Kempkes, Bettina (2017): EBF1 binds to EBNA2 and promotes the assembly of EBNA2 chromatin complexes in B cells.
In: PLOS Pathogens 13(10), e1006664 [PDF, 8MB]

Gruber, Hermann; Holzer, Markus and Jakobi, Sebastian (2017): More on deterministic and nondeterministic finite cover automata. In: Theoretical Computer Science, Vol. 679: pp. 18-30

Hess, Thomas ORCID logoORCID: https://orcid.org/0000-0003-3969-7477 and Barthel, Philipp (2017): Wieviel digitale Transformation steckt im Informationsmanagement? Zum Zusammenspiel eines etablierten und eines neuen Managementkonzepts. In: HMD Praxis der Wirtschaftsinformatik, Vol. 54, No. 3: pp. 313-323

Hoffmann, Eike Jens; Schauer, Lorenz; Schönfeld, Mirco and Kraus, Maximilian (2017): Robust Pedestrian Dead Reckoning using Anchor Point Recalibration. International Conference on Indoor Positioning and Indoor Navigation (IPIN), Sapporo, Japan, 18-21 September, 2017. In: 2017 International Conference on Indoor Positioning and Indoor Navigation (IPIN) : 18-21 September, 2017, Sapporo, Japan. Piscataway, NJ: IEEE.

Huschenbett, Martin; Kartzow, Alexander and Schlicht, Philipp (2017): Pumping for ordinal-automatic structures. In: Computability-the Journal of the Association Cie, Vol. 6, No. 2: pp. 125-164

Höhl, Wolfgang (9. March 2017): Industrie 4.0 und Angewandte Interaktive Technologien (APITs). Identifizieren von Projektpartnern und interdisziplinären Synergien mit der APITs-Vernetzungsmatrix. Elemente, Aufbau und Struktur interaktiver industrieller Anwendungen für Augmented Reality, Mixed Reality und Virtual Reality. [PDF, 833kB]

Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 (16. September 2017): Open Innovation and Applied Interactive Technologies. Identifying project partners and interdisciplinary synergies with the Applied Interactive Technologies (APITs) networking matrix. ACM Symposium on Applied Perception, Brandenburg University of Technology in Cottbus, Germany, 16. - 17. September 2017. In: [PDF, 270kB]

Josse, Gregor; Schmid, Klaus Arthur; Zufle, Andreas; Skoumas, Georgios; Schubert, Matthias; Renz, Matthias; Pfoser, Dieter and Nascimento, Mario A. (2017): Knowledge extraction from crowdsourced data for the enrichment of road networks. In: Geoinformatica, Vol. 21, No. 4: pp. 763-795

Jost, Steffen; Vasconcelos, Pedro; Florido, Mario and Hammond, Kevin (2017): Type-Based Cost Analysis for Lazy Functional Languages. In: Journal of Automated Reasoning, Vol. 59, No. 1: pp. 87-120

Khamis, Mohamed; Henderson, J. and Du, Guiying (2017): PerDis 2017. In: Ieee Pervasive Computing, Vol. 16, No. 4: pp. 86-89

Kiermeier, Marie; Feld, Sebastian and Linnhoff-Popien, Claudia (2017): Root Cause Analysis for Global Anomalous Events in Self-Organizing Industrial Systems. IEEE 21st International Conference on Intelligent Engineering Systems, Larnaca, Cyprus, October 20-23, 2017. In: Szakál, Anikó (ed.) : INES 2017 : IEEE 21st International Conference on Intelligent Engineering Systems : proceedings : October 20-23, 2017, Larnaca, Cyprus. Piscataway, NJ: IEEE. pp. 163-168

Kiermeier, Marie; Werner, Martin; Linnhoff-Popien, Claudia; Sauer, Horst and Wieghardt, Jan (2017): Anomaly detection in self-organizing industrial systems using pathlets. 2017 IEEE International Conference on Industrial Technology (ICIT), Toronto, 22-25 March 2017. In: Institute of Electrical and Electronics Engineers (ed.) , 2017 IEEE International Conference on Industrial Technology (ICIT) : 22-25 March 2017. Piscataway, NJ: IEEE. pp. 1226-1231

Kriegel, Hans-Peter; Schubert, Erich and Zimek, Arthur (2017): The (black) art of runtime evaluation: Are we comparing algorithms or implementations? In: Knowledge and information Systems, Vol. 52, No. 2: pp. 341-378

Leong, Siew Hoon; Parodi, Antonio and Kranzlmüller, Dieter (2017): A robust reliable energy-aware urgent computing resource allocation for flash-flood ensemble forecasting on HPC infrastructures for decision support. In: Future Generation Computer Systems-the international Journal of Escience, Vol. 68: pp. 136-149

Li, Qin; Shi, Xiaoshuang; Zhou, Linfei; Sao, Zhifeng and Guo, Zhenhua (2017): Active learning via local structure reconstruction. In: Pattern Recognition Letters, Vol. 92: pp. 81-88

Makinen, Veli; Staneva, Valeria; Tomescu, Alexandru I.; Valenzuela, Daniel and Wilzbach, Sebastian (2017): Interval scheduling maximizing minimum coverage. In: Discrete Applied Mathematics, Vol. 225: pp. 130-135

Matt, Christian ORCID logoORCID: https://orcid.org/0000-0001-9800-2335; Hörndlein, Christian and Hess, Thomas ORCID logoORCID: https://orcid.org/0000-0003-3969-7477 (2017): Let the crowd be my peers? How researchers assess the prospects of social peer review. In: Electronic Markets, Vol. 27, No. 2: pp. 111-124

Mayer, Philip (2017): A taxonomy of cross-language linking mechanisms in open source frameworks. In: Computing, Vol. 99, No. 7: pp. 701-724

Migault, Daniel; Guggemos, Tobias; Killian, Sylvain; Laurent, Maryline; Pujolle, Guy and Warye, Jean Philippe (2017): Diet-ESP: IP layer security for IoT. In: Journal of Computer Security, Vol. 25, No. 2: pp. 173-203

Morlok, Tina; Hess, Thomas ORCID logoORCID: https://orcid.org/0000-0003-3969-7477 and Matt, Christian ORCID logoORCID: https://orcid.org/0000-0001-9800-2335 (2017): Führung und Privatheit in der digitalen Arbeitswelt. Auswirkungen einer erhöhten Transparenz. In: Datenschutz und Datensicherheit : DuD, Vol. 40, No. 5: pp. 310-314

Müller, Jens; Kreuz, Sebastian; Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 and Lüdecke, Volker (5. October 2017): A process full of challenges: A serious game about the German energy transition. 11th European Conference on Games Based Learning, ECGBL 2017, Graz, Austria, 5. - 6. Oktober 2017. In: Proceedings of the 11th European Conference on Games Based Learning, ECGBL 2017. pp. 456-463

Natarelli, Lucia; Hartmann, Petra; Wei, Yuanyuan; Geissler, Claudia; Csaba, Gergely; Zimmer, Ralf and Schober, Andreas (2017): MIR-103 target LNCWDR59 to affect endothelial proliferation balanced by NOTCH1 and WNT signaling co-activation. In: Atherosclerosis, Vol. 263, E5-E5

Parodi, Antonio; Kranzlmüller, Dieter; Clematis, Andrea; Danovaro, Emanuele; Galizia, Antonella; Garrote, Luis; Llasat, Maria Carmen; Caumont, Olivier; Richard, Evelyne; Harpham, Quillon; Siccardi, Franco; Ferraris, Luca; Rebora, Nicola; Delogu, Fabio; Fiori, Elisabetta; Molini, Luca; Foufoula-Georgiou, Efi and D'Agostino, Daniele (2017): DRIHM(2US): An e-Science Environment for Hydrometeorological Research on High-Impact Weather Events. In: Bulletin of the American Meteorological Society, Vol. 98, No. 10: pp. 2149-2166

Roider, Florian; Rümelin, Sonja; Pfleging, Bastian and Gross, Tom (2017): The Effects of Situational Demands on Gaze, Speech and Gesture Input in the Vehicle. In: Automotiveui 2017: Proceedings of the 9th international Conference On Automotive User interfaces and interactive Vehicular Applications: pp. 94-102

Ruhhammer, Christian; Baumann, Michael; Protschky, Valentin; Kloeden, Horst; Klanner, Felix and Stiller, Christoph (2017): Automated Intersection Mapping From Crowd Trajectory Data. In: Ieee Transactions On intelligent Transportation Systems, Vol. 18, No. 3: pp. 666-677

Schmid, Klaus Arthur; Zufle, Andreas; Emrich, Tobias; Renz, Matthias and Cheng, Reynold (2017): Uncertain Voronoi cell computation based on space decomposition. In: Geoinformatica, Vol. 21, No. 4: pp. 797-827

Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 (2017): Technologies to Amplify the Mind. In: Computer, Vol. 50, No. 10: pp. 102-106

Schubert, Erich; Sander, Jörg; Ester, Martin; Kriegel, Hans-Peter and Xu, Xiaowei (2017): DBSCAN Revisited, Revisited: Why and How You Should (Still) Use DBSCAN. In: ACM Transactions on Database Systems, Vol. 42, No. 3, 19

Shao, Junming; Wang, Xinzuo; Yang, Qinli; Plant, Claudia and Böhm, Christian (2017): Synchronization-based scalable subspace clustering of high-dimensional data. In: Knowledge and information Systems, Vol. 52, No. 1: pp. 83-111

Singh, Anna and Hess, Thomas ORCID logoORCID: https://orcid.org/0000-0003-3969-7477 (2017): How Chief Digital Officers Promote the Digital Transformation of their Companies. In: Mis Quarterly Executive, Vol. 16, No. 1: pp. 1-17

Unat, Didem; Dubey, Anshu; Höfler, Torsten; Shalf, John; Abraham, Mark; Bianco, Mauro; Chamberlain, Bradford L.; Cledat, Romain; Edwards, H. Carter; Finkel, Hal; Fürlinger, Karl; Hannig, Frank; Jeannot, Emmanuel; Kamil, Amir; Keasler, Jeff; Kelly, Paul H. J.; Leung, Vitus; Ltaief, Hatem; Maruyama, Naoya; Newburn, Chris J. and Pericas, Miquel (2017): Trends in Data Locality Abstractions for HPC Systems. In: Ieee Transactions On Parallel and Distributed Systems, Vol. 28, No. 10: pp. 3007-3020

Wyler, Emanuel; Menegatti, Jennifer; Franke, Vedran; Kocks, Christine; Boltengagen, Anastasiya; Hennig, Thomas; Theil, Kathrin; Rutkowski, Andrzej; Ferrai, Carmelo; Bär, Laura; Kermas, Lisa; Friedel, Caroline; Rajewsky, Nikolaus; Akalin, Altuna; Dölken, Lars; Gräßer, Friedrich and Landthaler, Markus (2017): Widespread activation of antisense transcription of the host genome during herpes simplex virus 1 infection. In: Genome Biology 18:209 [PDF, 1MB]

Zhou, Linfei; Plant, Claudia and Böhm, Christian (2017): Joint Gaussian Based Measures for Multiple-Instance Learning. 2017 IEEE 33rd International Conference on Data Engineering (ICDE), San Diego, CA, 19-22 April 2017. In: Institute of Electrical and Electronics Engineers (ed.) , ICDE 2017 : 2017 IEEE 33rd International Conference on Data Engineering : 19-22 April 2017, San Diego, California, USA : proceedings. Piscataway, NJ: IEEE. pp. 203-206

Züfle, Andreas; Trajcevski, Goce; Pfoser, Dieter; Renz, Matthias; Rice, Matthew T.; Leslie, Timothy; Delamater, Paul and Emrich, Tobias (2017): Handling Uncertainty in Geo-Spatial Data. 2017 IEEE 33rd International Conference on Data Engineering (ICDE), San Diego, CA, 19-22 April 2017. In: Institute of Electrical and Electronics Engineers (ed.) , CDE 2017 : 2017 IEEE 33rd International Conference on Data Engineering : 19-22 April 2017, San Diego, California, USA : proceedings. Piscataway, NJ: IEEE. pp. 1467-1470

2016

Alt, Florian; Bulling, Andreas; Mecke, Lukas and Buschek, Daniel (2016): Attention, please! Comparing Features for Measuring Audience Attention Towards Pervasive Displays. Conference on Designing Interactive Systems, Brisbane, Australia, June 4 - 8, 2016. In: DIS 2016 : Proceedings of the 2016 ACM Conference on Designing Interactive Systems. New York: Association for Computing Machinery. pp. 823-828

Anthes, Christoph; García-Hernández, Rubén Jesús; Wiedemann, Markus and Kranzlmüller, Dieter (2016): State of the Art of Virtual Reality Technology. 2016 IEEE Aerospace Conference, Big Sky, Montana, USA, 5-12 March 2016. In: IEEE Computer Society.

Apel, Sven; Beyer, Dirk; Mordan, Vitaly; Mutilin, Vadim and Stahlbauer, Andreas (2016): On-the-Fly Decomposition of Specifications in Software Model Checking. 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE 2016, Seattle, WA, USA, November 13 - 18, 2016. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Association for Computing Machinery. pp. 349-361

Baier, Stephan; Krompass, Denis and Tresp, Volker (2016): Learning Representations for Discrete Sensor Networks using Tensor Decompositions. 2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), Baden-Baden, Germany, 19-21 September 2016. In: IEEE Computer Society. pp. 84-89

Barth, Stephan (2016): Deciding Monadic Second Order Logic over ω(omega)-Words by Specialized Finite Automata. In: Ábrahám, Erika and Huisman, Marieke (eds.) : Integrated formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Programming and Software Engineering, Vol. 9681. Cham: Springer. pp. 245-259

Beck, Michael Till; Felipe Botero, Juan and Samelin, Kai (2016): Resilient Allocation of Service Function Chains. 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), Palo Alto, CA, USA, 7-10 November 2016. In: IEEE Computer Society. pp. 128-133

Beck, Michael Till; Krenn, Stephan; Preiss, Franz-Stefan and Samelin, Kai (2016): Practical Signing-Right Revocation. In: Trust and Trustworthy Computing: 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings. Security and Cryptology, Vol. 9824. Cham: Springer. pp. 21-39

Belzner, Lenz; Beck, Michael Till; Gabor, Thomas; RoeIle, Harald and Sauer, Horst (2016): Software Engineering for Distributed Autonomous Real-Time Systems. SEsCPS '16, Austin, Texas, May 14 - 22, 2016. In: Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems. New York, NY: Association for Computing Machinery. pp. 54-57

Belzner, Lenz and Gabor, Thomas (2016): QoS-Aware Multi-Armed Bandits. 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, 12-16 Sept. 2016. In: IEEE Computer Soc.. pp. 118-119

Belzner, Lenz; Hennicker, Rolf and Wirsing, Martin (2016): OnPlan: A Framework for Simulation-Based Online Planning. In: Braga, Christiano and Ölveczky, Peter Csaba (eds.) : Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science, Vol. 9539. Springer. pp. 1-30

Berchtold, Evi; Csaba, Gergely and Zimmer, Ralf (2016): Evaluating Transcription Factor Activity Changes by Scoring Unexplained Target Genes in Expression Data.
In: PLOS ONE 11(10), e0164513 [PDF, 2MB]

Beyer, Dirk (2016): Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques. In: Margaria, Tiziana and Steffen, Bernhard (eds.) : Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer. pp. 874-880

Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel and Heizmann, Matthias (2016): Correctness Witnesses: Exchanging Verification Results between Verifiers. 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE 2016, Seattle, WA, USA, November 13 - 18, 2016. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York: Association for Computing Machinery. pp. 326-337

Beyer, Dirk and Friedberger, Karlheinz (2016): A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. In: Electronic Proceedings in Theoretical Computer Science, No. 233: pp. 61-71 [PDF, 313kB]

Beyer, Dirk and Lemberger, Thomas (2016): Symbolic Execution with CEGAR. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer. pp. 195-211

Boidol, Jonathan and Hapfelmeier, Andreas (2016): Detecting Data Stream Dependencies on High Dimensional Data. International Conference on Internet of Things and Big Data IoTBD, Rome, Italy, April 23-25, 2016. In: Ramachandran, Muthu (ed.) : Proceedings of the International Conference on Internet of Things and Big Data. Setúbal: Scitepress. pp. 383-390

Buschek, Daniel (2016): There is more to biometrics than user identification: Making mobile interactions personal, secure and representative. In: It-information Technology, Vol. 58, No. 5: pp. 247-253

Buschek, Daniel; De Luca, Alexander and Alt, Florian (2016): Evaluating the Influence of Targets and Hand Postures on Touch-based Behavioural Biometrics. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association for Computing Machinery. pp. 1349-1361

Buschek, Daniel; Hartmann, Fabian; Zezschwitz, Emanuel von; De Luca, Alexander and Alt, Florian (2016): SnapApp: Reducing Authentication Overhead with a Time-Constrained Fast Unlock Option. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association for Computing Machinery. pp. 3736-3747

Böhm, Christian; Perdacher, Martin and Plant, Claudia (2016): Cache-oblivious Loops Based on a Novel Space-filling Curve. 2016 IEEE International Conference on Big Data (Big Data), Washington D.C., USA, 5-8 December 2016. In: IEEE Computer Society. pp. 17-26

Campos, Guilherme O.; Zimek, Arthur; Sander, Jörg; Campello, Ricardo J. G. B.; Micenková, Barbora; Schubert, Erich; Assent, Ira and Houle, Michael E. (2016): On the evaluation of unsupervised outlier detection: measures, datasets, and an empirical study. In: Data Mining and Knowledge Discovery, Vol. 30, No. 4: pp. 891-927

Christ, Patrick Ferdinand; Lachner, Florian; Hösl, Axel; Menze, Björn; Diepold, Klaus and Butz, Andreas (2016): Human-Drone-Interaction: A Case Study to Investigate the Relation Between Autonomy and User Experience. In: Hua, Gang and Jégou, Hervé (eds.) : Computer Vision – ECCV 2016 Workshops: Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part II. Image Processing, Computer Vision, Pattern Recognition, and Graphics, Vol. 9914. Cham: Springer. pp. 238-253

Colley, Ashley; Seitz, Tobias; Lappalainen, Tuomas; Kranz, Matthias and Hakkila, Jonna (2016): Extending the Touchscreen Pattern Lock Mechanism with Duplicated and Temporal Codes. In: Advances in Human-Computer interaction, 8762892 [PDF, 2MB]

Dal Lago, Ugo and Schöpp, Ulrich (2016): Computation by interaction for space-bounded functional programming. In: Information and Computation, Vol. 248: pp. 150-194

Dalsgaard, Peter; Halskov, Kim and Wiethoff, Alexander (2016): Designing Media Architecture: Tools and Approaches for Addressing the Main Design Challenges. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association for Computing Machinery. pp. 2562-2573

De Luca, Alexander and Zezschwitz, Emanuel von (2016): Usable privacy and security. In: It-information Technology, Vol. 58, No. 5: pp. 215-216

Decker, Hendrik and Misra, Sanjay (2016): Measure-Based Repair Checking by Integrity Checking. In: Computational Science and Its Applications – ICCSA 2016: 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V. Theoretical Computer Science and General Issues, Vol. 9790. Cham: Springer. pp. 530-543

Diaz, Carlos Mauricio Castano; Dorner, Birgit; Hußmann, Heinrich and Strijbos, Jan-Willem (2016): Eppur si Muove Considerations in the Research of Commercial Video Games. 2016 8th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES), Barcelona, Spain, 7-9 September 2016. In: IEEE Computer Society.

Ebert, Andre; Feld, Sebstian and Dorfmeister, Florian (2016): Segmented and Directional Impact Detection for Parked Vehicles using Mobile Devices. 2016 International Conference on Systems, Signals and Image Processing (IWSSIP), Bratislava, Slovakia, 23-25 May 2016. In: IEEE Computer Society. pp. 303-306

Elffers, Jan; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob and Vinyals, Marc (2016): Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers. In: Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9710. Cham: Springer. pp. 160-176

Esteban, Cristóbal; Staeck, Oliver; Baier, Stephan; Yang, Yinchong and Tresp, Volker (2016): Predicting Clinical Events by Combining Static and Dynamic Information using Recurrent Neural Networks. 2016 IEEE International Conference on Healthcare Informatics (ICHI), Chicago, Illinois, USA, 4-7 October 2016. In: IEEE Computer Society. pp. 93-101

Esteban, Cristóbal; Tresp, Volker; Yang, Yinchong; Baier, Stephan and Krompaß, Denis (2016): Predicting the Co-Evolution of Event and Knowledge Graphs. 19th International Conference on Information Fusion (FUSION), Heidelberg, Germany, 5-8 July 2016. In: IEEE Computer Society. pp. 98-105

Fakesch, Jens (25. July 2016): Multi-User 3D Augmented Reality Anwendung für die gemeinsame Interaktion mit virtuellen 3D Objekten. Master Thesis, Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München. [PDF, 31MB]

Feld, Sebastian; Schönfeld, Mirco and Werner, Martin (2016): Traversing Bitcoin's P2P network: insights into the structure of a decentralised currency. In: International Journal of Computational Science and Engineering, Vol. 13, No. 2: pp. 122-131

Feld, Sebastian; Werner, Martin and Linnhoff-Popien, Claudia (2016): Approximated Environment Features with Application to Trajectory Annotation. 2016 IEEE Symposium Series on Computational Intelligence (SSCI), Athens, Greece, 6-9 December 2016. In: IEEE Computer Society.

Frank, Anton; Heikkurinen, Matti; Jamitzky, Ferdinand; Satzger, Helmut and Kranzlmüller, Dieter (2016): In need of partnerships-An essay about the collaboration between computational sciences and IT services. In: Journal of Computational Science, Vol. 14: pp. 78-84

Franzke, Maximilian; Bleicher, Janina and Züfle, Andreas (2016): Finding Influencers in Temporal Social Networks Using Intervention Analysis. In: Cheema, Muhammad Aamir; Zhang, Wenjie and Chang, Lijun (eds.) : Databases Theory and Applications: 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings. Lecture Notes in Computer Science, Vol. 9877. Cham: Springer. pp. 3-16

Franzke, Maximilian; Emrich, Tobias; Zufle, Andreas and Renz, Matthias (2016): Indexing Multi-Metric Data. In: 2016 32nd IEEE international Conference On Data Engineering (ICDE): pp. 1122-1133

Fuchs, Tobias and Fürlinger, Karl (2016): A Multi-Dimensional Distributed Array Abstraction for PGAS. 2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS), Sydney, Australia, 12-14 Dec. 2016. In: IEEE Computer Soc.. pp. 1061-1068

Fulda, Johanna; Brehmer, Matthew and Munzner, Tamara (2016): TimeLineCurator: Interactive Authoring of Visual Timelines from Unstructured Text. In: Ieee Transactions On Visualization and Computer Graphics, Vol. 22, No. 1: pp. 300-309

Fysaraki, Maria and Hussmann, Heinrich (2016): Towards Tool Support for Team Awareness in Collaborative Argumentation. 8th International Conference on Computer Supported Education, Rome, Italy, April 21-23, 2016. In: Uhomoibhi, James (ed.) : Proceedings of the 8th International Conference on Computer Supported Education - (Volume 1). Scitepress. pp. 507-512

Fürlinger, Karl; Fuchs, Tobias and Kowalewski, Roger (2016): DASH: A C ++ PGAS Library for Distributed Data Structures and Parallel Algorithms. In: Proceedings of 2016 Ieee 18th international Conference On High Performance Computing and Communications;Ieee 14th international Conference On Smart City;Ieee 2Nd international Conference On Data Science and Systems (Hpcc/Smartcity/Dss): pp. 983-990

Gabor, Thomas; Belzner, Lenz; Kiermeier, Marie; Beck, Michael Till and Neitz, Alexander (2016): A Simulation-Based Architecture for Smart Cyber-Physical Systems. 2016 IEEE International Conference on Autonomic Computing (ICAC), Würzburg, Germany, July 18 - 22, 2016. In: IEEE Computer Soc.. pp. 374-379

García-Hernández, Rubén Jesús; Anthes, Christoph; Wiedemann, Markus and Kranzlmüller, Dieter (2016): Perspectives for Using Virtual Reality to Extend Visual Data Mining in Information Visualization. 2016 IEEE Aerospace Conference, Big Sky, Montana, USA, 5-12 March 2016. In: IEEE Computer Society.

Geistlinger, Ludwig; Csaba, Gergely and Zimmer, Ralf (2016): Bioconductor's EnrichmentBrowser: seamless navigation through combined results of set- & network-based enrichment analysis. In: BMC Bioinformatics 17:45 [PDF, 1MB]

Goebl, Sebastian; Tonch, Annika; Böhm, Christian and Plant, Claudia (2016): MeGS: Partitioning Meaningful Subgraph Structures using Minimum Description Length. 2016 IEEE 16th International Conference on Data Mining (ICDM), Barcelona, Catalonia, Spain, 12-15 Dec. 2016. In: IEEE Computer Soc.. pp. 889-894

Guillen, Oscar M.; Schmidt, Dawin and Sigl, Georg (2016): Practical Evaluation of Code Injection in Encrypted Firmware Updates. In: Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (Date): pp. 325-330

Haeuslschmid, Renate; Shou, Yixin; O'Donovan, John; Burnett, Gary and Butz, Andreas (2016): First Steps towards a View Management Concept for Large-sized Head-up Displays with Continuous Depth. Automotive'UI 16, Ann Arbor, MI, USA, October 24 - 26, 2016. In: Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular Applications. Association for Computing Machinery. pp. 1-8

Han, Jiawei; Liu, Yanheng; Sun, Xin and Song, Lijun (2016): Enhancing Data and Privacy Security in Mobile Cloud Computing through Quantum Cryptography. 2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS), 26-28 August 2016. In: IEEE Computer Society. pp. 398-401

Hassani, Marwan; Lu, Yifeng; Wischnewsky, Jens and Seidl, Thomas (2016): A Geometric Approach for Mining Sequential Patterns in Interval-Based Data Streams. 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Vancouver, Canada, 24-29 July 2016. In: IEEE Computer Society. pp. 2128-2135

Hassani, Marwan and Seidl, Thomas (2016): Clustering Big Data streams: recent challenges and contributions. In: It-information Technology, Vol. 58, No. 4: pp. 206-213

Haykin, Simon; Tresp, Volker and Benediktsson, Jon Atli (2016): Big Data: Practical Applications. In: Proceedings of the Ieee, Vol. 104, No. 11: pp. 2082-2084

Heikkurinen, Matti and Kranzlmüller, Dieter (2016): Environmental computing - applications, tools and data solutions. 2016 IEEE 12th International Conference on e-Science (e-Science), Baltimore, Maryland, USA, 23-27 October 2016. In: IEEE Computer Society. p. 449

Hennicker, Rolf (2016): A Calculus for Open Ensembles and their Composition. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer. pp. 570-588

Hennicker, Rolf; Bidoit, Michel and Dang, Thanh-Son (2016): On Synchronous and Asynchronous Compatibility of Communicating Components. In: Lafuente, Alberto Lluch and Proença, José (eds.) : Coordination Models and Languages. 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proc. Programming and Software Engineering, Vol. 9686. Cham: Springer. pp. 138-156

Hoffmann, Eike Jens; Werner, Martin and Schauer, Lorenz (2016): Indoor Navigation Using Virtual Anchor Points. 2016 European Navigation Conference (ENC), Helsinki, Finland, 30 May 2016-2 June 2016. In: IEEE Computer Soc..

Hogan, Trevor; Hornecker, Eva; Stusak, Simon; Jansen, Yvonne; Alexander, Jason; Moere, Andrew Vande; Hinrichs, Uta and Nolan, Kieran (2016): Tangible Data, explorations in data physicalization. In: Bakker, Saskia (ed.) : Proceedings of the Tenth Anniversary Conference on Tangible Embedded and Embodied Interaction : 14-17 February 2016, Eindhoven, the Netherlands. New York, N.Y: Association for Computing Machinery. pp. 753-756

Hoggenmüller, Marius and Wiethoff, Alexander (2016): LightBricks - A Physical Prototyping Toolkit for Do-it-Yourself Media Architecture. 3rd Conference on Media Architecture Biennale, Sydney, Australia, June 01 - 04, 2016. In: Proceedings of the 3Rd Conference on Media Architecture Biennale (MAB 16). New York: Association for Computing Machinery.

Horn, Daniel and Bischl, Bernd (2016): Multi-Objective Parameter Configuration of Machine Learning Algorithms using Model-Based Optimization. 2016 IEEE Symposium Series on Computational Intelligence (SSCI), Athens, Greece, 6-9 December 2016. In: IEEE Computer Society.

Häuslschmid, Renate; Pfleging, Bastian and Alt, Florian (2016): A Design Space to Support the Development of Windshield Applications for the Car. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association for Computing Machinery. pp. 5076-5091

Jakob, Matthias and Nikolaidis, Ioanis (2016): A Top-Down Aggregation Convergecast Schedule Construction. In: 2016 9th Ifip Wireless and Mobile Networking Conference (Wmnc): pp. 17-24

Jaskowiak, Pablo A.; Moulavi, Davoud; Furtado, Antonio C. S.; Campello, Ricardo J. G. B.; Zimek, Arthur and Sander, Jörg (2016): On strategies for building effective ensembles of relative clustering validity criteria. In: Knowledge and information Systems, Vol. 47, No. 2: pp. 329-354

Jähnichen, Stefan and Wirsing, Martin (2016): Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer. pp. 639-641

Jähnichen, Stefan and Wirsing, Martin (2016): Rigorous Engineering of Collective Adaptive Systems Track Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer. pp. 535-538

Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319 (December 2016): Mesh based Scene Evaluation Metrics for LOD and Simplification. Master Thesis, Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München. [PDF, 8MB]

Kowalewski, Roger and Fürlinger, Karl (2016): Nasty-MPI: Debugging Synchronization Errors in MPI-3 One-Sided Applications. In: Euro-Par 2016: Parallel Processing. 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9833. Cham: Springer. pp. 51-62

Kroiß, Christian and Bureš, Tomáš (2016): Logic-based modeling of information transfer in cyber-physical multi-agent systems. In: Future Generation Computer Systems-the international Journal of Escience, Vol. 56: pp. 124-139

Lachner, Florian; Nägelein, Philipp; Kowalski, Robert; Spann, Martin and Butz, Andreas (2016): Quantified UX: Towards a Common Organizational Understanding of User Experience. 9th Nordic Conference on Human-Computer Interaction NordiCHI '16, Gothenburg, Sweden, October 23 - 27, 2016. In: Proceedings of the NordiCHI '16: the 9th Nordic Conference On Human-Computer Interaction. New York: Association for Computing Machinery.

Li, Lin; Fussenegger, Markus and Cichon, Gordon (2016): A Data Locality and Memory Contention Analysis Method in Embedded NUMA Multi-core Systems. 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC), Lyon, France, 21-23 September 2016. In: IEEE Computer Society. pp. 85-92

Lohrer, Johannes-Y.; Kaltenthaler, Daniel; Kröger, Peer; Meijden, Christiaan van der and Obermaier, Henriette (2016): A generic framework for synchronized distributed data management in archaeological related disciplines. In: Future Generation Computer Systems-the international Journal of Escience, Vol. 56: pp. 558-570

Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf and Martins, Manuel A. (2016): Dynamic Logic with Binders and its Application to the Development of Reactive Systems. In: Sampaio, Augusto and Wang, Farn (eds.) : Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9965. Cham: Springer. pp. 422-440

Maiterth, Matthias; Schulz, Martin; Kranzlmüller, Dieter and Rountree, Barry (2016): Power Balancing in an Emulated Exascale Environment. 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), Chicago, Illinois, USA, 23-27 May 2016. In: IEEE Computer Society. pp. 1142-1149

Marouane, Chadly; Ebert, Andre; Linnhoff-Popien, Claudia and Christil, Maximilian (2016): Step and activity detection based on the orientation and scale attributes of the SURF algorithm. 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN), Alcalá de Henares, Madrid, Spain, 4-7 October 2016. In: IEEE Computer Society.

Marouane, Chadly; Maier, Marco; Leupold, Alexander and Linnhoff-Popien, Claudia (2016): Visual Odometry using motion vectors from visual feature points. 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN), Alcalá de Henares, Madrid, Spain, 4-7 October 2016. In: IEEE Computer Soc..

Mauder, Markus; Bobkova, Yulia and Ntoutsi, Eirini (2016): GMMbuilder - User-Driven Discovery of Clustering Structure for Bioarchaeology. In: Berendt, Bettina (ed.) : Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part III. Lecture Notes in Artificial Intelligence, Vol. 9853. Cham: Springer. pp. 8-11

Mauder, Markus; Ntoutsi, Eirini; Kröger, Peer; Mayr, Christoph; Grupe, Gisela; Toncala, Anita and Hölzl, Stefan (2016): Applying Data Mining Methods for the Analysis of Stable Isotope Data in Bioarchaeology. 2016 IEEE 12th International Conference on e-Science (e-Science), Baltimore, Maryland, USA, 23-27 October 2016. In: IEEE Computer Society. pp. 233-242

Mautz, Dominik; Böhm, Christian and Plant, Claudia (2016): Subspace Clustering Ensembles Through Tensor Decomposition. IEEE 16th International Conference on Data Mining Workshops (ICDMW), Barcelona, Catalonia, Spain, 12-15 Dec. 2016. In: IEEE Computer Society. pp. 1225-1234

Mohr, Anja; Kothe, Tina and Hußmann, Heinrich (2016): DEMO - Web Application ArtEater. International Conference on Interaction Design and Children IDC '16, Manchester, United Kingdom, June 21 - 24, 2016. In: Proceedings of the 15th international Conference On interaction Design and Children (Idc2016). New York: Association for Computing Machinery. pp. 684-687

Nickel, Maximilian; Murphy, Kevin; Tresp, Volker and Gabrilovich, Evgeniy (2016): A Review of Relational Machine Learning for Knowledge Graphs. In: Proceedings of the Ieee, Vol. 104, No. 1: pp. 11-33

Odaker, Thomas; Kranzlmüller, Dieter and Volkert, Jens (2016): GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses. In: Kofroň, Jan and Vojnar, Tomáš (eds.) : Mathematical and Engineering Methods in Computer Science : 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23–25, 2015, Revised Selected Papers. Programming and Software Engineering, Vol. 9548. Cham: Springer. pp. 107-118

Odaker, Thomas; Wiedemann, Markus; Anthes, Christoph and Kranzlmüller, Dieter (2016): Texture Analysis and Repacking for Improved Storage Efficiency. 22nd ACM Conference on Virtual Reality Software and Technology, Munich, Germany, November 02 - 04, 2016. In: Proceedings of the 22nd ACM Conference on Virtual Reality Software and Technology. New York, NY: Association for Computing Machinery. pp. 361-362

Palleis, Henri and Hußmann, Heinrich (2016): Indirect 2D Touch Panning: How Does It Affect Spatial Memory and Navigation Performance? In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association for Computing Machinery. pp. 1947-1951

Pesch, Robert and Zimmer, Ralf (2016): Cross-species Conservation of context-specific networks. In: BMC Systems Biology 10:76 [PDF, 2MB]

Petrakis, Iosif (2016): A constructive function-theoretic approach to topological compactness. 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS '16, New York, NY, USA, July 05 - 08, 2016. In: Proceedings of the 31St Annual Acm-Ieee Symposium On Logic in Computer Science (LICS 2016). New York: Association for Computing Machinery. pp. 605-614

Pfleging, Bastian; Fekety, Drea K.; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 and Kun, Andrew L. (2016): A Model Relating Pupil Diameter to Mental Workload and Lighting Conditions. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association for Computing Machinery. pp. 5776-5788

Richter, Jakob; Kotthaus, Helena; Bischl, Bernd; Marwedel, Peter; Rahnenführer, Jörg and Lang, Michel (2016): Faster Model-Based Optimization Through Resource-Aware Scheduling Strategies. In: Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers. Theoretical Computer Science and General Issues, Vol. 10079. Cham: Springer. pp. 267-273

Ringsquandl, Martin; Lamparter, Steffen and Lepratti, Raffaello (2016): Graph-based Predictions and Recommendations in Flexible Manufacturing Systems. IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, Florence, Italy, 23-26 October 2016. In: IEEE Computer Society. pp. 6937-6942

Ringsquandl, Martin; Lamparter, Steffen; Thon, Ingo; Lepratti, Raffaello and Kröger, Peer (2016): Knowledge Graph Constraints for Multi-label Graph Classification. IEEE 16th International Conference on Data Mining Workshops (ICDMW), Barcelona, Catalonia, Spain, 12-15 Dec. 2016. In: IEEE Computer Society. pp. 121-127

Scharwächter, Erik; Müller, Emmanuel; Donges, Jonathan; Hassani, Marwan and Seidl, Thomas (2016): Detecting Change Processes in Dynamic Networks by Frequent Graph Evolution Rule Mining. IEEE 16th International Conference on Data Mining (ICDM), Barcelona, Catalonia, Spain, 12-15 Dec. 2016. In: IEEE Computer Society. pp. 1191-1196

Schauer, Lorenz; Dorfmeister, Florian and Wirth, Florian (2016): Analyzing Passive Wi-Fi Fingerprinting for Privacy-Preserving Indoor-Positioning. In: Proceedings of 2016 international Conference On Localization and Gnss (Icl-Gnss)

Schauer, Lorenz; Marcus, Philipp and Linnhoff-Popien, Claudia (2016): Towards Feasible Wi-Fi based Indoor Tracking Systems Using Probabilistic Methods. 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN), Alcalá de Henares, Madrid, Spain, 4-7 October 2016. In: IEEE Computer Society.

Schiffers, Michael; gentschen Felde, Nils and Kranzlmüller, Dieter (2016): I have a DRIHM: A case study in lifting computational science services up to the scientific mainstream. In: Journal of Computational Science, Vol. 14: pp. 85-89

Schmid, Klaus Arthur; Frey, Christian; Peng, Fengchao; Weiler, Michael; Zufle, Andreas; Chen, Lei and Renz, Matthias (2016): TrendTracker: Modelling the motion of trends in space and time. IEEE 16th International Conference on Data Mining Workshops (ICDMW), Barcelona, Catalonia, Spain, 12-15 Dec. 2016. In: IEEE Computer Society. pp. 1145-1152

Schneider, Hanna; Frison, Katharina; Wagner, Julie and Butz, Andras (2016): CrowdUX: A Case for Using Widespread and Lightweight Tools in the Quest for UX. Conference on Designing Interactive Systems, Brisbane, Australia, June 4 - 8, 2016. In: Foth, Marcus (ed.) : DIS 2016 : Proceedings of the 2016 ACM Conference on Designing Interactive Systems. New York: Association for Computing Machinery. pp. 415-425

Schneider, Hanna; Hill, Susan and Blandford, Ann (2016): Patients Know Best: Qualitative Study on How Families Use Patient-Controlled Personal Health Records. In: Journal of Medical internet Research, Vol. 18, No. 2, e43 [PDF, 3MB]

Schneider, Hanna; Moser, Kilian; Butz, Andreas and Alt, Florian (2016): Understanding the Mechanics of Persuasive System Design: a Mixed-Method Theory-driven Analysis of the Mobile Fitness Coach Freeletics. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association for Computing Machinery. pp. 309-320

Schordan, Markus; Beyer, Dirk and Lundberg, Jonas (2016): Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Theoretical Computer Science and General Issues, Vol. 9952. Cham: Springer. pp. 191-194

Schöppner, Patricia; Csaba, Gergely; Braun, Tatjana; Daake, Marina; Richter, Bettina; Lange, Oliver F.; Zacharias, Martin; Zimmer, Ralf and Haslbeck, Martin (2016): Regulatory Implications of Non-Trivial Splicing: Isoform 3 of Rab1A Shows Enhanced Basal Activity and Is Not Controlled by Accessory Proteins. In: Journal of Molecular Biology, Vol. 428, No. 8: pp. 1544-1557

Senjak, Christoph-Simon and Hofmann, Martin (2016): An Implementation of Deflate in Coq. In: Fitzgerald, John (ed.) : FM 2016: Formal Methods. 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Programming and Software Engineering, Vol. 9995. Cham: Springer. pp. 612-627

Steinberger, Fabius; Proppe, Patrick; Schroeter, Ronald and Alt, Florian (2016): CoastMaster: An Ambient Speedometer to Gamify Safe Driving. Automotive UI'16, Ann Arbor, MI, USA, October 24 - 26, 2016. In: Proceedings of the 8th International Conference on Automotive User Interfaces and Interactive Vehicular Applications. Association for Computing Machinery. pp. 83-90

Stusak, Simon; Hobe, Moritz and Butz, Andreas (2016): If Your Mind Can Grasp It, Your Hands Will Help. In: Bakker, Saskia (ed.) : Proceedings of the Tenth Anniversary Conference on Tangible Embedded and Embodied Interaction : 14-17 February 2016, Eindhoven, the Netherlands. New York, N.Y: Association for Computing Machinery. pp. 92-99

Tausch, Sarah; Ta, Stephanie and Hußmann, Heinrich (2016): A Comparison of Cooperative and Competitive Visualizations for Co-located Collaboration. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. Association for Computing Machinery. pp. 5034-5039

Tresp, Volker; Overhage, J. Marc; Bundschus, Markus; Rabizadeh, Shahrooz; Fasching, Peter A. and Yu, Shipeng (2016): Going Digital: A Survey on Digitalization and Large-Scale Data Analytics in Healthcare. In: Proceedings of the Ieee, Vol. 104, No. 11: pp. 2180-2206

Tseng, Tsun-Ming; Li, Mengchu; Li, Bing; Ho, Tsung-Yi and Schlichtmann, Ulf (2016): Columba: co-layout synthesis for continuous-flow microfluidic biochips. DAC '16. In: Proceedings of the 53rd Annual Design Automation Conference. New York, NY: Association for Computing Machinery.

Ullrich, Daniel and Butz, Andreas (2016): Social Robots for the 21st Century. In: Computer, Vol. 49, No. 6: pp. 88-92

Velloso, Eduardo; Wirth, Markus; Weichel, Christian; Esteves, Augusto and Gellersen, Hans (2016): AmbiGaze: Direct Control of Ambient Devices by Gaze. Conference on Designing Interactive Systems, Brisbane, Australia, June 4 - 8, 2016. In: DIS 2016 : Proceedings of the 2016 ACM Conference on Designing Interactive Systems. New York: Association for Computing Machinery. pp. 812-817

Werner, Martin (2016): Privacy-protected communication for location-based services. In: Security and Communication Networks, Vol. 9, No. 2: pp. 130-138

Werner, Martin; Hahn, Carsten and Schauer, Lorenz (2016): DeepMoVIPS: Visual Indoor Positioning Using Transfer Learning. 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN), Alcalá de Henares, Madrid, Spain, 4-7 October 2016. In: IEEE Computer Society.

Wurm, Luisa; García, Rubén; Anthes, Christoph; Kranzlmüller, Dieter and Höhl, Wolfgang (30. May 2016): Benefits of Tablet Interfaces for Immersive Visualization in Information Visualization. WSCG 2016 International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision, Plzen / CZ, 30. Mai - 03. Juni 2016. In: [PDF, 7MB]

Yang, Yinchong; Esteban, Cristóbal and Tresp, Volker (2016): Embedding Mapping Approaches for Tensor Factorization and Knowledge Graph Modelling. In: Sack, Harald (ed.) : The Semantic Web. Latest Advances and New Domains 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9678. Cham: Springer. pp. 199-213

Ye, Wei; Maurus, Samuel; Hubig, Nina and Plant, Claudia (2016): Generalized Independent Subspace Clustering. IEEE 16th International Conference on Data Mining (ICDM), Barcelona, Catalonia, Spain, 12-15 Dec. 2016. In: IEEE Computer Society. pp. 569-578

Zach, Neta; Küffner, Robert; Atassi, Nazem; Chio, Adriano; Cudkowicz, Merit; Hardiman, Orla and Stolovitzky, Gustavo (2016): The ALS Stratification Prize-Using the Power of Big Data and Crowdsourcing for Catalyzing Breakthroughs in Amyotrophic Lateral Sclerosis (ALS). In: Neurology, Vol. 86

Zezschwitz, Emanuel von; Ebbinghaus, Sigrid; Hußmann, Heinrich and De Luca, Alexander (2016): You Can't Watch This! Privacy-Respectful Photo Browsing on Smartphones. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association for Computing Machinery. pp. 4320-4324

Zhang, Jian-Nan; Michel, Uwe; Lenz, Christof; Friedel, Caroline C.; Köster, Sarah; d'Hedouville, Zara; Tönges, Lars; Urlaub, Henning; Bähr, Mathias; Lingor, Paul and Koch, Jan C. (2016): Calpain-mediated cleavage of collapsin response mediator protein-2 drives acute axonal degeneration. In: Scientific Reports, Vol. 6, 37050 [PDF, 2MB]

Zhou, Linfei; Georgii, Elisabeth; Plant, Claudia and Böhm, Christian (2016): Covariate-Related Structure Extraction from Paired Data. In: Renda, M. Elena (ed.) : Information Technology in Bio- and Medical Informatics: 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings. Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 9832. Cham: Springer. pp. 151-162

Zhou, Linfei; Wackersreuther, Bianca; Fiedler, Frank; Plant, Claudia and Böhm, Christian (2016): Gaussian Component based Index for GMMs. In: 2016 IEEE 16th international Conference On Data Mining (ICDM): pp. 1365-1370

Zimmermann, Max; Ntoutsi, Eirini and Spiliopoulou, Myra (2016): Extracting opinionated (sub)features from a stream of product reviews using accumulated novelty and internal reorganization. In: Information Sciences, Vol. 329: pp. 876-899

da Silva, Vinicius Henrique; De Almeida Regitano, Luciana Correia; Geistlinger, Ludwig; Pértille, Fábio; Giachetto, Poliana Fernanda; Brassaloti, Ricardo Augusto; Morosini, Natália Silva; Zimmer, Ralf and Coutinho, Luiz Lehmann (2016): Genome-Wide Detection of CNVs and Their Association with Meat Tenderness in Nelore Cattle.
In: PLOS ONE 11(6), e0157711 [PDF, 1MB]

2015

Albrecht, Benjamin (2015): Computing all hybridization networks for multiple binary phylogenetic input trees. In: BMC Bioinformatics 16:236 [PDF, 1MB]

Bonfert, Thomas; Kirner, Evelyn; Csaba, Gergely; Zimmer, Ralf and Friedel, Caroline C. (2015): ContextMap 2: fast and accurate context-based RNA-seq mapping. In: BMC Bioinformatics 16:122 [PDF, 1MB]

Broschart, Daniel and Höhl, Wolfgang (1. April 2015): Augmented Reality in Architektur und Stadtplanung. Potenziale von Augmented Reality in Architektur und Stadtplanung. In: GIS Science, No. 1: pp. 20-29 [PDF, 847kB]

Erhard, Florian and Zimmer, Ralf (2015): Count ratio model reveals bias affecting NGS fold changes. In: Nucleic Acids Research, Vol. 43, No. 20, e136 [PDF, 1MB]

Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 and Broschart, Daniel (2015): Augmented reality in architecture and urban planning. In: GIS.Science : die Zeitschrift für Geoinformatik, Vol. 1: pp. 20-29

Murakawa, Yasuhiro; Hinz, Michael; Mothes, Janina; Schuetz, Anja; Uhl, Michael; Wyler, Emanuel; Yasuda, Tomoharu; Mastrobuoni, Guido; Friedel, Caroline C.; Dölken, Lars; Kempa, Stefan; Schmidt-Supprian, Marc; Blüthgen, Nils; Backofen, Rolf; Heinemann, Udo; Wolf, Jana; Scheidereit, Claus and Landthaler, Markus (2015): RC3H1 post-transcriptionally regulates A20 mRNA and modulates the activity of the IKK/NF-kappa B pathway. In: Nature Communications, Vol. 6, 7367 [PDF, 3MB]

Rutkowski, Andrzej J.; Erhard, Florian; L'Hernault, Anne; Bonfert, Thomas; Schilhabel, Markus; Crump, Colin; Rosenstiel, Philip; Efstathiou, Stacey; Zimmer, Ralf; Friedel, Caroline C. and Dölken, Lars (2015): Widespread disruption of host transcription termination in HSV-1 infection. In: Nature Communications, Vol. 6, 7126 [PDF, 1MB]

Schreiber, Konrad; Csaba, Gergely; Haslbeck, Martin and Zimmer, Ralf (2015): Alternative Splicing in Next Generation Sequencing Data of Saccharomyces cerevisiae.
In: PLOS ONE 10(10), e0140487 [PDF, 1MB]

Yang, Qinli; Boehm, Christian; Scholz, Miklas; Plant, Claudia and Shao, Junming (2015): Predicting Multiple Functions of Sustainable Flood Retention Basins under Uncertainty via Multi-Instance Multi-Label Learning. In: Water, Vol. 7, No. 4: pp. 1359-1377 [PDF, 2MB]

2014

Beard, Philippa M.; Griffiths, Samantha J.; Gonzalez, Orland; Haga, Ismar R.; Jowers, Tali Pechenick; Reynolds, Danielle K.; Wildenhain, Jan; Tekotte, Hille; Auer, Manfred; Tyers, Mike; Ghazal, Peter; Zimmer, Ralf and Haas, Jürgen (2014): A Loss of Function Analysis of Host Factors Influencing Vaccinia virus Replication by RNA Interference.
In: PLOS ONE 9(6), e98431 [PDF, 1MB]

Behmel, Andreas; Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 and Kienzl, Thomas (2014): MRI design review system: A mixed reality interactive design review system for architecture, serious games and engineering using game engines, standard software, a tablet computer and natural interfaces. IEEE International Symposium on Mixed and Augmented Reality (ISMAR 2014), Technische Universität München, Deutschland, 10. - 12. September 2014. In: ISMAR 2014 - IEEE International Symposium on Mixed and Augmented Reality - Science and Technology 2014, Proceedings.

Behmel, Andreas; Kienzl, Thomas and Höhl, Wolfgang (11. September 2014): [DEMO] MRI Design Review System. A Mixed Reality Interactive Design Review System for Architecture, Serious Games and Engineering using Game Engines, Standard Software, a Tablet Computer and Natural Interfaces. ISMAR 2014 International Symposium on Mixed and Augmented Reality, Technische Universität München, 08. - 12. September 2014. In: [PDF, 257kB]

Gulko, Miriam Kolog; Dyall-Smith, Mike; Gonzalez, Orland and Oesterhelt, Dieter (2014): How Do Haloarchaea Synthesize Aromatic Amino Acids?
In: PLOS ONE 9(9), e107475 [PDF, 2MB]

Höhl, Wolfgang (1. January 2014): Sim Games, Simulation und industrielle Anwendungen. In: Kaiser, Markus (ed.) : Ringvorlesung Games. Retro Gaming, Gamification, Augmented Reality, Vol. 1. 1. München: Verlag Dr. Gabriele Hooffacker / MedienCampus Bayern e.V.. pp. 80-97 [PDF, 682kB]

Luisa Bonet, Maria; Buss, Sam and Johannsen, Jan (2014): Improved Separations of Regular Resolution from Clause Learning Proof Systems. In: Journal of Artificial intelligence Research, Vol. 49: pp. 669-703

Schöpp, Ulrich (2014): On the Relation of Interaction Semantics to Continuations and Defunctionalization. In: Logical Methods in Computer Science, Vol. 10, No. 4, 10 [PDF, 618kB]

Windhager, Lukas; Zierer, Jonas and Kueffner, Robert (2014): Refining Ensembles of Predicted Gene Regulatory Networks Based on Characteristic Interaction Sets.
In: PLOS ONE 9(2), e84596 [PDF, 770kB]

2013

Brodt, Simon and Bry, François (2013): Analysing Temporal Relations – Beyond Windows, Frames and Predicates. [PDF, 487kB]

Erhard, Florian; Doelken, Lars; Jaskiewicz, Lukasz and Zimmer, Ralf (2013): PARma: identification of microRNA target sites in AGO-PAR-CLIP data. In: Genome Biology 14:R79 [PDF, 3MB]

2012

Brodt, Simon and Bry, François (2012): Temporal Stream Algebra. [PDF, 395kB]

Bry, François (2012): Human Computation and Economics. [PDF, 180kB]

Bry, François; Kneißl, Fabian; Weiand, Klara and Furche, Tim (2012): Term-Specific Eigenvector-Centrality in Multi-Relation Networks. In: International Journal of Social Network Mining, Vol. 1, No. 2: pp. 141-159 [PDF, 351kB]

Hausmann, Steffen; Scherr, Maximilian and Bry, François (2012): Complex Actions for Event Processing. [PDF, 299kB]

Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 (4. June 2012): Netzwerktheorie und Prozessoptimierung. In: Business + Innovation, No. 2: pp. 24-32

Kneißl, Fabian and Bry, François (2012): Borsa Parole – A Market for Linguistic Speculation. [PDF, 2MB]

Lindner, Robert and Friedel, Caroline C. (2012): A comprehensive evaluation of alignment algorithms in the context of RNA-seq.
In: PLOS ONE 7(12), e52403 [PDF, 416kB]

Pohl, Alexander; Gehlen-Baum, Vera and Bry, François (2012): Enhancing the Digital Backchannel Backstage on the Basis of a Formative User Study. In: International Journal of Emerging Technologies in Learning - iJET, Vol. 7, No. 1: pp. 33-41 [PDF, 561kB]

2011

Baumgart, Daniel; Pohl, Alexander; Gehlen-Baum, Vera and Bry, François (2011): Providing guidance on Backstage, a novel digital backchannel for large class teaching. [PDF, 406kB]

Brodt, Simon; Hausmann, Steffen and Bry, François (31. August 2011): D4.5 Implementation. [PDF, 406kB]

Hausmann, Steffen; Brodt, Simon and Bry, François (28. February 2011): Dura. Concepts and Examples. [PDF, 1MB]

Kotowski, Jakub; Bry, François and Eisinger, Norbert (2011): A Potpourri of Reason Maintenance Methods. Incremental View Maintenance Reconsidered. [PDF, 553kB]

Naeem, Haroon; Küffner, Robert and Zimmer, Ralf (2011): MIRTFnet: analysis of miRNA regulated transcription factors.
In: PLOS ONE 6(8), e22519 [PDF, 628kB]

2010

Brodt, Simon; Hausmann, Steffen and Bry, François (31. August 2010): Reactive Rules for Emergency Management. [PDF, 762kB]

Brodt, Simon; Hausmann, Steffen; Bry, François; Poppe, Olga and Eckert, Michael (30. June 2010): A Survey on IT-Techniques for a Dynamic Emergency Management in Large Infrastructures. [PDF, 658kB]

Gonzalez, Orland; Oberwinkler, Tanja; Mansueto, Locedie; Pfeiffer, Friedhelm; Mendoza, Eduardo; Zimmer, Ralf and Oesterhelt, Dieter (June 2010): Characterization of growth and metabolism of the haloalkaliphile Natronomonas pharaonis.
In: PLOS Computational Biology 6(6), e1000799 [PDF, 1MB]

Kessel, Moritz; Ruppel, Peter and Gschwandtner, Florian (2010): BIGML: A Location Model with Individual Waypoint Graphs for Indoor Location-based Services. In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Vol. 33, No. 4: pp. 261-267 [PDF, 2MB]

Küffner, Robert; Petri, Tobias; Windhager, Lukas and Zimmer, Ralf (20. September 2010): Petri Nets with Fuzzy Logic (PNFL): Reverse Engineering and Parametrization.
In: PLOS ONE 5(9), e12807 [PDF, 1MB]

Linnhoff-Popien, Claudia and Verclas, Stephan (2010): Open Innovation: die T-Systems-LMU München Kooperation „Mobile Business Applications“. In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Vol. 37, No. 1: pp. 41-47 [PDF, 1MB]

Naeem, Haroon; Küffner, Robert; Csaba, Gergely and Zimmer, Ralf (2010): miRSel: automated extraction of associations between microRNAs and genes from the biomedical literature. In: BMC Bioinformatics 11:135 [PDF, 1MB]

2009

Brodt, Simon; Bry, François and Eisinger, Norbert (2009): Search for More Declarativity. Backward Reasoning for Rule Languages Reconsidered. Third International Conference on Web Reasoning and Rule Systems, Chantilly, Virginia, USA, 25.- 26. Oktober 2009. In: Web Reasoning and Rule Systems : Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Berlin u.a.: Springer. pp. 71-86 [PDF, 348kB]

Bry, François; Furche, Tim and Linse, Benedikt (2009): Model Theory and Entailment Rules for RDF Containers, Collections and Reification. [PDF, 193kB]

Bry, François; Furche, Tim; Linse, Benedikt; Pohl, Alexander; Weinzierl, Antonius and Yestekhina, Olga (2009): Four Lessons in Versatility or How Query Languages Adapt to the Web. In: Bry, François (ed.) : (2009): Semantic Techniques for the Web : The REWERSE Perspective. Lecture Notes in Computer Science, Vol. 5500. Berlin u.a.: Springer. pp. 50-160 [PDF, 1MB]

Bry, François; Furche, Tim and Weiand, Klara (2009): Web Queries: From a Web of Data to a Semantic Web? Web Information Systems Engineering - WISE 2009, Proceedings of 10th International Conference on Web Systems Engineering (WISE2009), Pozan, Polen, 5. - 7. Oktober 2009. In: Vossen, Gottfried (ed.) : Web Information Systems Engineering - WISE 2009 10th International Conference, Poznań, Poland, October 5-7, 2009. Proceedings. Berlin u.a.: Springer. pp. 71-86 [PDF, 77kB]

Bry, François and Kotowski, Jakub (19. June 2009): Reason Maintenance - Conceptual Framework. [PDF, 732kB]

Csaba, Gergely; Birzele, Fabian and Zimmer, Ralf (2009): Systematic comparison of SCOP and CATH: a new gold standard for protein structure analysis. In: BMC Structural Biology 9:23 [PDF, 781kB]

Eckert, Michael and Bry, François (1. April 2009): Aktuelles Schlagwort "Complex Event Processing (CEP)". In: Informatik-Spektrum, Vol. 32, No. 2: pp. 163-167 [PDF, 144kB]

Eckert, Michael and Bry, François (2009): Complex Event Processing (CEP). [PDF, 134kB]

Gonzalez, Orland; Gronau, Susanne; Pfeiffer, Friedhelm; Mendoza, Eduardo; Zimmer, Ralf and Oesterhelt, Dieter (3. April 2009): Systems analysis of bioenergetics and growth of the extreme halophile Halobacterium salinarum.
In: PLOS Computational Biology 5(4), e1000332 [PDF, 1MB]

Kotowski, Jakub and Bry, François (2009): A Perfect Match for Reasoning, Explanation, and Reason Maintenance. Third International Conference, RR 2009, Chantilly, USA, 25. - 26. Oktober 2009. In: Polleres, Axel (ed.) : Web reasoning and rule systems : third international conference, RR 2009, Chantilly, VA, USA, October 25 - 26, 2009 ; proceedings. Vol. 5837. Berlin: Springer. pp. 227-241 [PDF, 238kB]

Kotowski, Jakub; Stroka, Stephanie; Bry, François and Schaffert, Sebastian (2009): Dependency Updates and Reasoning in KiWi. [PDF, 82kB]

Landes, Jürgen; Paris, Jeff B. and Vencovská, Alena (2009): Instantial Relevance in Polyadic Inductive Logic. Logic and Its Applications, Chennai, January 9-11 2009. In: Ramanujam, R. and Sarukkai, Sundar (eds.) : Logic and its applications : third Indian conference ; proceedings. Berlin, Heidelberg: Springer. pp. 162-169

2008

Bry, François; Furche, Tim; Ley, Clemens; Linse, Benedikt and Marnette, Bruno (2008): Taming Existence in RDF Querying. Second International Conference, RR 2008, Karlsruhe, Deutschland, 31. Oktober - 1. November 2008. In: Calvanese, Diego (ed.) : Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings. Berlin u.a.: Springer. pp. 236-237 [PDF, 74kB]

Bry, François; Furche, Tim and Linse, Benedikt (2008): Simulation Subsumption or Déjà vu on the Web. Second International Conference, RR 2008, Karlsruhe, Deutschland, 31. Oktober - 1. November 2008. In: Calvanese, Diego (ed.) : Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings. Berlin u.a.: Springer. pp. 28-42 [PDF, 253kB]

Bry, François and Kotowski, Jakub (1. September 2008): Reason Maintenance - State of the Art. [PDF, 538kB]

Morgan, Alexander A.; Lu, Zhiyong; Wang, Xinglong; Cohen, Aaron M.; Fluck, Juliane; Ruch, Patrick; Divoli, Anna; Fundel, Katrin; Leaman, Robert; Hakenberg, Joerg; Sun, Chengjie; Liu, Heng-hui; Torres, Rafael; Krauthammer, Michael; Lau, William W.; Liu, Hongfang; Hsu, Chun-Nan; Schuemie, Martijn; Cohen, K. Bretonnel and Hirschman, Lynette (2008): Overview of BioCreative II gene normalization. In: Genome Biology 9:S3 [PDF, 377kB]

Weiand, Klara; Bry, François and Furche, Tim (31. August 2008): Reasoning & Querying – State of the Art. Keyword-based querying for XML and RDF. [PDF, 972kB]

2007

Aßmann, Uwe; Berger, Sacha; Bry, François; Henriksson, Jakob and Pătrânjan, Paula-Lavinia (2007): A Generic Module System forWeb Rule Languages: Divide and Rule. International Symposium, RuleML 2007, Orlando, Florida, USA, 25. - 26.. Oktober 2007. In: Paschke, Adrian (ed.) : Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings. Berlin u.a.: Springer. pp. 63-77 [PDF, 521kB]

Berger, Sacha; Bry, François; Furche, Tim and Häusler, Andreas J. (2007): Completing Queries: Rewriting of IncompleteWeb Queries under Schema Constraints. RR 2007: First International Conference on Web Reasoning and Rule Systems, Innsbruck, Austria, 7. - 8. Juni 2007. In: Antoniou, Grigoris (ed.) : Web Reasoning and Rule Systems : First International Conference, RR 2007 , Innsbruck , Austria, June 7-8, 2007 ; Proceedings. Berlin u.a.: Springer. pp. 319-328 [PDF, 159kB]

Berstel, Bruno; Bonnard, Philippe; Bry, François; Eckert, Michael and Patranjan, Paula-Lavinia (2007): Reactive Rules on the Web. Reasoning Web 2007 Third International Summer School, Dresden, Germany, 3. - 7. September 2007. In: Antoniou, Grigoris (ed.) : Reasoning Web : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures. Berlin u.a.: Springer. pp. 183-239 [PDF, 496kB]

Bry, François and Eckert, Michael (2007): Rule-Based Composite Event Queries. The Language XChangeEQ and its Semantics. RR 2007: First International Conference on Web Reasoning and Rule Systems, Innsbruck, Austria, 7. - 8. Juni 2007. In: Antoniou, Grigoris (ed.) : Web Reasoning and Rule Systems : First International Conference, RR 2007 , Innsbruck , Austria, June 7-8, 2007 ; Proceedings. Berlin u.a.: Springer. pp. 16-30 [PDF, 206kB]

Bry, François; Eisinger, Norbert; Eiter, Thomas; Furche, Tim; Gottlob, Georg; Ley, Clemens; Linse, Benedikt; Pichler, Reinhard and Wei, Fang (2007): Foundations of Rule-Based Query Answering. Reasoning Web 2007 - Third International Summer School, Dresden, Germany, 3. - 7. September 2007. In: Antoniou, Grigoris (ed.) : Reasoning Web : Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures. Berlin u.a.: Springer. pp. 1-153 [PDF, 1MB]

Furche, Tim; Linse, Benedikt; Bry, François; Plexousakis, Dimitris and Gottlob, Georg (2007): RDF Querying. Language Constructs and Evaluation Methods Compared. Reasoning Web 2006: Summer School, Lisbon, Portugal, 4. - 8. September 2006. In: Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures. Berlin u.a.: Springer. pp. 1-52 [PDF, 662kB]

Schaffert, Sebastian; Bry, François and Baumeister, Joachim (1. December 2007): Semantic Wiki. In: Informatik-Spektrum, Vol. 30, No. 6: pp. 434-439 [PDF, 310kB]

Uwe, Aßmann; Berger, Sacha; Bry, François; Furche, Tim; Henriksson, Jakob and Johannes, Jendrik (2007): Modular Web Queries — From Rules to Stores. OTM 2007 Workshops, Vilamoura, Portugal, 25. - 30. November 2007. In: Meersman, Robert (ed.) : On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops ; OTM Confederated International Workshops and Posters AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal,. Berlin u.a.: Springer. pp. 1165-1175 [PDF, 193kB]

2006

Berger, Sacha; Bry, François; Furche, Tim; Linse, Benedikt and Schroeder, Andreas (2006): Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt. PPSWR 2006, Budva, Montenegro, 10. - 11. Juni 2006. In: Alferes, José Júlio (ed.) : Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers. Vol. 4187. Berlin: Springer. pp. 219-224 [PDF, 645kB]

Bry, François and Eckert, Michael (2006): Twelve Theses on Reactive Rules for the Web. EDBT 2006 Workshops, Munich, Germany, 26. - 31. März 2006. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 842-854 [PDF, 152kB]

Bry, François; Eckert, Michael and Patranjan, Paula-Lavinia (2006): Twelve Theses on Reactive Rules for the Web. APWeb 2006 International Workshops, Harbin, China, 16. - 18. Januar 2006. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 38-47 [PDF, 145kB]

Bry, François; Eckert, Michael; Patrânjan, Paula-Lavinia and Romanenko, Inna (2006): Realizing Business Processes with ECA Rules. Benefits, Challenges, Limits. PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, Budva, Montenegro, 10. - 11. Juni 2006. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 48-62 [PDF, 197kB]

Bry, François; Furche, Tim and Linse, Benedikt (2006): AMaχoS—Abstract Machine for Xcerpt. Architecture and Principles. PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, Budva, Montenegro, 10. - 11. Juni 2006. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 105-119 [PDF, 3MB]

Bry, François; Furche, Tim and Linse, Benedikt (2006): Data Model and Query Constructs for Versatile Web Query Languages. State-of-the-Art and Challenges for Xcerpt. PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, Budva, Montenegro, 10. - 11. Juni 2006. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 90-104 [PDF, 230kB]

Bry, François and Marchiori, Massimo (2006): Ten Theses on Logic Languages for the Semantic Web. PPSWR 2005, Third International Workshop Principles and Practice of Semantic Web Reasoning, Schloss Dagstuhl, Deutschland, 11. - 16. September 2005. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 42-49 [PDF, 158kB]

Bry, François and Marchiori, Massimo (2006): Towards a Rule Interchange Language for the Web. [PDF, 179kB]

Spranger, Stephanie and Bry, François (2006): Temporal Data Modeling and Reasoning for Information Systems. [PDF, 280kB]

2005

Alferes, José Júlio; Berndtsson, Mikael; Bry, François; Eckert, Michael; Henze, Nicola; May, Wolfgang; Patrânjan, Paula Lavinia and Schroeder, Michael (28. February 2005): Use-cases on evolution. [PDF, 528kB]

Alferes, José Júlio; Berndtsson, Mikael; Bry, François; Eckert, Michael; Henze, Nicola; May, Wolfgang; Patrânjan, Paula Lavinia and Schroeder, Michael (28. February 2005): Use-cases on reactivity. [PDF, 100kB]

Bailey, James; Bry, François; Eckert, Michael and Patrânjan, Paula Lavinia (2005): Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web. [PDF, 175kB]

Bailey, James; Bry, François; Eckert, Michael and Patrânjan, Paula Lavinia (2005): Reactivity on the Web. Event Queries in XChange. [PDF, 210kB]

Bailey, James; Bry, François; Furche, Tim and Schaffert, Sebastian (2005): Web and Semantic Web Query Languages. A Survey. Reasoning Web First International Summer School 2005, Msida, Malta, 25. - 29. Juli 2005. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 35-133 [PDF, 875kB]

Bry, François; Colonna, François-Marie and Lorenz, Bernhard (2005): Multi-Paradigm Reasoning for Access to Heterogeneous GIS. [PDF, 213kB]

Bry, François and Manthey, Rainer (2005): Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo. [PDF, 125kB]

Bry, François; Rieß, Frank-André and Spranger, Stephanie (2005): A Reasoner for Calendric and Temporal Data. Extended Version. [PDF, 194kB]

Bry, François; Rieß, Frank-André and Spranger, Stephanie (2005): A Reasoner for Calendric and Temporal Data. [Short version]. [PDF, 149kB]

Bry, François; Rieß, Frank-André and Spranger, Stephanie (2005): A Type Language for Calendars. [Short Version]. [PDF, 176kB]

Bry, François; Rieß, Frank-André and Spranger, Stephanie (2005): A Type Language for Calendars. [Extended Version]. [PDF, 242kB]

Meuss, Holger; Schulz, Klaus U.; Weigel, Felix; Leonardi, Simone and Bry, François (1. March 2005): Visual exploration and retrieval of XML document collections with the generic system X2. In: International Journal on Digital Libraries, Vol. 5, No. 1: pp. 3-17 [PDF, 379kB]

Schaffert, Sebastian; Bry, François and Furche, Tim (15. April 2005): Initial Draft of a Possible Declarative Semantics for the Language. [PDF, 587kB]

2004

Alferes, José Júlio; Bailey, James; Berndtsson, Mikael; Bry, François; Dietrich, Jens; Kozlenkov, Alexander; May, Wolfgang; Patrânjan, Paula Lavinia; Pinto, Alexandre; Schroeder, Michael and Wagner, Gerd (5. August 2004): State-of-the-art on evolution and reactivity. [PDF, 817kB]

Bolzer, Oliver; Bry, François; Furche, Tim; Kraus, Sebastian and Schaffert, Sebastian (6. March 2004): Development of Use Cases, Part I. Illustrating the Functionality of a Versatile Web Query Language. [PDF, 728kB]

Bry, François; Furche, Tim; Badea, Liviu; Koch, Christoph; Schaffert, Sebastian and Berger, Sacha (15. August 2004): Identification of Design Principles. [PDF, 405kB]

Bry, François; Furche, Tim and Olteanu, Dan (2004): Datenströme. Informatik-Spektrum, 27 [PDF, 90kB]

Bry, François and Kröger, Peer (2004): Bioinformatics Databases: State of the Art and Research Perspectives. ADBIS 2003, 7th East European Conference Advances in Databases and Information Systems, Dresden, Deutschland, 3. - 6. September 2003. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. p. 3 [PDF, 24kB]

Bry, François; Nagel, Wolfgang E. and Schroeder, Michael (1. December 2004): Grid-Computing. In: Informatik-Spektrum, Vol. 27, No. 6: pp. 542-545 [PDF, 83kB]

Bry, François; Patranjan, Paula-Lavinia and Schaffert, Sebastian (2004): Poster Presentation: Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web. ICLP 2004, 20th International Conference on Logic Programming, Saint-Malo, Frankreich, 6. - 10. September 2004. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 450-451 [PDF, 84kB]

Bry, François; Schaffert, Sebastian and Schroeder, Andreas (January 2004): A contribution to the Semantics of Xcerpt, a Web Query and Transformation Language. (Extended Abstract). [PDF, 133kB]

Furche, Tim; Bry, François; Schaffert, Sebastian; Orsini, Renzo; Horrocks, Ian; Kraus, Michael and Bolzer, Oliver (8. September 2004): Survey over Existing Query and Transformation Languages. [PDF, 917kB]

2003

Bry, François; Lorenz, Bernhard; Ohlbach, Hans Jürgen and Spranger, Stephanie (2003): On Reasoning on Time and Location on the Web. PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, Mumbai, India, 9. - 13. Dezember 2003. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 69-83 [PDF, 154kB]

Bry, François and Schaffert, Sebastian (2003): An Entailment Relation for Reasoning on the Web. RuleML 2003, Second International Workshop on Rules and Rule Markup Languages, Sunibel Island, Florida, USA, 20. October 2003. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 17-34 [PDF, 317kB]

Bry, François and Wagner, Holger (September 2003): Collaborative Categorization on the Web. Approach, Prototype, and Experience Report. [PDF, 263kB]

Kraus, Michael; Bry, François and Kitagawa, Kazuhiro (2003): A Visual Language for Web Querying and Reasoning. PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, Mumbai, India, 9. - 13. Dezember 2003. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 99-112 [PDF, 326kB]

Kraus, Michael; Bry, François and Kitagawa, Kazuhiro (2003): XML Document Adaptation Queries (XDAQ). An Approach to Adaptation Reasoning Using Web Query Languages. PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, Mumbai, India, 9. - 13. Dezember 2003. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 113-127 [PDF, 184kB]

Weigel, Felix; Meuss, Holger; Bry, François and Schulz, Klaus U. (2003): Content-Aware DataGuides for Indexing Large Collections of XML Documents. [PDF, 835kB]

2002

Bry, François and Kraus, Michael (2002): Adaptive Hypermedia made simple using HTML/XML Style Sheet Selectors. [PDF, 115kB]

Bry, François and Kraus, Michael (2002): Perspectives for Electronic Books in the World Wide Web Age. In: The Electronic Library, Vol. 20, No. 4: pp. 275-287 [PDF, 82kB]

Bry, François and Kröger, Peer (2002): Aktuelles Schlagwort "Datenbanken in der Bioinformatik". Informatik-Spektrum, 25 [PDF, 69kB]

Bry, François and Schaffert, Sebastian (2002): The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. NODe 2002 Web- and Database-Related Workshops, Erfurt, Deutschland, 7. - 10. Oktober 2002. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 295-310 [PDF, 219kB]

Bry, François and Schaffert, Sebastian (2002): Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. [PDF, 198kB]

Bry, François and Schaffert, Sebastian (2002): Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. ICLP 2002, 18th International Conference on Logic Programming, Kopenhagen, Dänemark, 29. Juli - 1. August 2002. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 255-270 [PDF, 190kB]

Schaffert, Dan; Meuss, Holger; Furche, Tim and Bry, François (2002): XPath: Looking Forward. EDBT 2002 Workshops XMLDM, MDDE, and YRWS, Prag, Tschechische Republik, 24. - 28. März 2002. In: Lecture Notes in Computer Science. Berlin u.a.: Springer. pp. 109-127 [PDF, 276kB]

2001

Bry, François; Kraus, Michael; Olteanu, Dan and Schaffert, Sebastian (13. June 2001): Aktuelles Schlagwort "Semi-strukturierte Daten". Informatik-Spektrum, 24 [PDF, 100kB]

2000

Bry, François and Kröger, Peer (2000): A Molecular Biology Database Digest. [PDF, 1MB]

Bry, François and Yahya, Adnan (2000): Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. Journal of Automated Reasoning, 25 [PDF, 425kB]

1999

Backofen, Rolf; Bry, François; Clote, Peter; Kriegel, Hans-Peter; Seidl, Thomas and Schulz, Klaus (1. October 1999): Aktuelles Schlagwort Bioinformatik. Informatik-Spektrum, 22 [PDF, 397kB]

Backofen, Rolf; Böck, August; Bry, François; Buckenmaier, Andreas; Clote, Peter; Gabriel, Wilfried; Grosschedl, Rudolf; Hegering, Heinz-Gerd; Hermann, Reinhold G.; Kriegel, Hans-Peter; Kahmann, Regine; Kröger, Fred; Linnhoff-Popien, Claudia; Mewes, Hans-Werner; Weiss, Elisabeth H. and Wirsing, Martin (1999): Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München. [PDF, 469kB]

1998

Bry, François; Clote, Peter; Hegering, Heinz-Gerd; Kriegel, Hans-Peter; Kröger, Fred; Ludwig, Thomas and Wirsing, Martin (1998): Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters. [PDF, 131kB]

1997

Bry, François and Torge, Sunna (December 1997): Model Generation for Appllications - A Tableaux Method. Complete for Finite Satisfiability. [PDF, 252kB]

Swoboda, Walter J.; Mühlberger, Nikolai; Weitkunat, Rolf and Schneeweiß, Sebastian (1997): Internet Surveys by Direct Mailing: An Innovative Way of Collecting Data. In: Social Science Computer Review, Vol. 15, No. 3: pp. 242-255 [PDF, 848kB]

1996

Bry, François and Seipel, Dietmar (1996): Schlagwort "Deduktive Datenbanken". Informatik-Spektrum, 19 [PDF, 82kB]

1995

Bry, François; Manthey, Rainer and Schütz, Heribert (1995): Deduktive Datenbanken. Künstliche Intelligenz : KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Themenheft Logische Programmierung [PDF, 168kB]

1994

Bry, François (1994): Constrained Query Answering. preliminary report. 1st International Workshop on Nonstandard Queries and Answers, Toulouse, Frankreich, 01. - 04.07.1991. In: Demolombe, R. (ed.) : Nonstandard Queries and nonstandard Answers. pp. 1-19 [PDF, 2MB]

1993

Bry, François (1993): Towards Intelligent Databases. 7th International Symposium on Methodologies for Intelligent Systems (ISMIS '93), Trondheim, Norway, 15.-18. Juni1993. In: Komorowski, Jan (ed.) : Methodologies for intelligent systems. Berlin u.a.: Springer. pp. 116-131 [PDF, 2MB]

Bry, François; Boley, Harold and Geske, Ulrich (1993): Neuere Entwicklung der deklarativen KI-Programmierung. 17. Fachtagung für Künstliche Intelligenz, Berlin, 13.09.-16.09.1993. In: Kobsa, Alfred (ed.) : Proceedings 17. Fachtagung für Künstliche Intelligenz. pp. 1-11 [PDF, 1MB]

1992

Bry, François (1992): Reflections on the Foundations of Meta-Programming. Is a Type Theory Needed? Joint International Conference and Symposium on Logic Programming, Washington, 11.1992. In: Apt, Krzysztof R. (ed.) : Logic Programming. [PDF, 560kB]

1991

Bry, François (1991): Negation in Logic Programming. A Formalization in Constructive Logic. 1st Workshop on Information Systems and Artificial Intelligence: Integration Aspects, Ulm, 19.03.-21.03.1990. In: Karagiannis, Dimitris (ed.) : Information Systems and Artificial Intelligence: Integration Aspects. pp. 30-46 [PDF, 1MB]

Bry, François; Manthey, Rainer and Martens, Bernd (1991): Integrity Verification in Knowledge Bases. 2nd Russian Conference on Logic Programming (RCLP), St. Petersburg, 11.09.-16.09.1991. In: Voronkov, Andrej (ed.) : Logic programming. pp. 114-139 [PDF, 3MB]

1990

Bry, François (October 1990): Query Evaluation in Deductive Databases. Bottom-up and Top-down Reconciled. In: Data & knowledge engineering, Vol. 5, No. 4: pp. 289-312 [PDF, 1MB]

Bry, François (1990): Upside-down Deduction. Proceedings 6èmes Journées Bases de Données Avancées, Montpellier, 25. - 28.09.1990. In: Institut National de Recherche en Informatique et en Automatique (ed.) , 6èmes Journées Bases de Données Avancées. pp. 1-12 [PDF, 1MB]

Bry, François (1990): Query Evaluation in Recursive Databases. Bottom-up and Top-down Reconciled. First International Conference on Deductive and Object-Oriented Databases (DOOD89), Kyoto, Japan, 4. - 6. Dezember1989. In: Kim, Won (ed.) : Deductive and object-oriented databases. Amsterdam: North Holland Publishing Company. pp. 25-44 [PDF, 2MB]

Bry, François (1990): Intensional Updates. Abduction via Deduction. 7th International Conference on Logic Programming (ICLP), Jerusalem, 18.06.-20.06.1990. In: Warren, David H. (ed.) : Logic programming. pp. 561-575 [PDF, 1MB]

1989

Bry, François (1989): Logic Programming as Constructivism. A Formalization and its Application to Databases. Symposium on Principles of Database Systems, Philadelphia, Pennslyvania, 29.03.-31.03.1989. In: Association for Computing Machinery / Special Interest Group on Automata and Computability Theory (ed.) , Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Philadelphia: Association for Computing Machinery. pp. 34-50 [PDF, 2MB]

Bry, François (1989): Towards an Efficient Evaluation of General Queries. Quantifier and Disjunction Processing Revisited. ACM SIGMOD International Conference on the Management of Data, Portland, Oregon, 31.5. - 2.6.1989. In: Clifford, James (ed.) : Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data. Vol. 18. New York: Association for Computing Machinery. pp. 193-204 [PDF, 2MB]

Bry, François (1989): Logical Rewritings for Improving the evaluation of Quantified Queries. 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Ungarn, 26.06.-30.06.1989. In: Demetrovics, János (ed.) : MFDBS eighty-nine. pp. 100-116 [PDF, 1MB]

1988

Bry, François and Decker, Hendrik (1988): Préserver l'Intégrité d'une Base de Données Déductive. Une Méthode et son Implémentation. 4èmes Journées Bases de Données Avancées, Benodet, Frankreich, 17. - 20.05.1988. In: Compte-rendus des 4èmes Journées Bases de Données Avancées. [PDF, 1MB]

Bry, François; Decker, Hendrik and Manthey, Rainer (1988): A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. International Conference on Extending Database Technology, Venedig, 14.03.-18.03.1988. In: Schmidt, Joachim W. (ed.) : Advances in database technology. pp. 488-505 [PDF, 1MB]

Bry, François and Manthey, Rainer (1988): SATCHMO: A Theorem Prover Implemented in Prolog. 9th International Conference on Automated Deduction (CADE), Argonne, Illinois, 23.05.-26.05.1988. In: Lusk, Ewing (ed.) : Proceedings 9th International Conference on Automated Deduction (CADE). pp. 415-434 [PDF, 2MB]

1987

Bry, François and Manthey, Rainer (1987): Proving Finite Satisfiability of Deductive Databases. 1st Workshop on Computer Science Logic (CSL), Karlsruhe, 12.10.-16.10.1987. In: Börger, Egon (ed.) : Lecture Notes in Computer Science - CSL '87 : 1st Workshop on Computer Science Logic. pp. 44-55 [PDF, 955kB]

Bry, François and Manthey, Rainer (1987): A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. 11th German Workshop on Artificial Intelligence (GWAI), Geseke bei Paderborn, Deutschland, 28.09. - 02.10.1987. In: Morik, Katharina (ed.) : GWAI-87: 11th German Workshop on Artificial Intelligence ; proceedings. Berlin u.a.: Springer. pp. 221-230 [PDF, 1MB]

1986

Bry, François and Manthey, Rainer (1986): Sur la Validité des Schémas de Bases de Données. Journées Bases de Données Avancées, Giens, Frankreich, 22. - 25.04.1986. In: Journées Bases de Données Avancées. Vol. 2. pp. 1-19 [PDF, 1MB]

Bry, François and Manthey, Rainer (1986): Checking Consistency of Database Constraints. A Logical Basis. 12th International Conference on Very Large Data Bases (VLDB), Kyoto, Japan, 25. - 28. August 1986. In: Kambayashi, Yahiko (ed.) : Very large data bases. Los Altos: Morgan Kaufman. pp. 13-20 [PDF, 1MB]

Bry, François and Thauront, Gérard (September 1986): Gestion Interne de Données Statistiques. In: Modèles et Bases de Données, Vol. 4: pp. 25-38 [PDF, 2MB]

Bry, François and Thauront, Gérard (1986): Spécificités des SGBD statistiques. 4th International Symposium on Data Analysis and Informatics, Versailles, 09.10.-11.10.1985. In: Diday, E. (ed.) : Data analysis and informatics. pp. 749-758 [PDF, 1MB]

1984

Bry, François (1984): A Statistical Data Model. 6th symposium on Computional Statistics (COMPSTAT), Prag, 21.08.-22.08.1984. In: Havránek, Tomáš (ed.) : Proceedings in computational statistics. pp. 1-4 [PDF, 340kB]

1983

Bry, François (1983): On the Factorization of Graphs with Exactly One Vertex of Infinite Degree. In: Discrete Mathematics, Vol. 43, No. 2-3: pp. 317-320 [PDF, 7MB]

Bry, François (1983): On the Number of 1-Factors of Locally Finite Graphs. In: Journal of combinatorial theory, Vol. 34, No. 1: pp. 48-57 [PDF, 374kB]

Bry, François (1983): Sur les Couplages dans les Graphes localement finis. In: Annals of Discrete Mathematics, Vol. 17: pp. 143-147 [PDF, 714kB]

1982

Bry, François and Las Vergnas, Michel (1982): The Edmonds-Gallai Decomposition for Matchings in Locally Finite Graphs. In: Combinatorica, Vol. 2, No. 3: pp. 229-235 [PDF, 1MB]

1981

Bry, François (February 1981): Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members. In: Journal of Combinatorial Theory - Series B, Vol. 30, No. 1: pp. 100-102 [PDF, 123kB]

Bry, François (1981): Sur les Couplages dans les Graphes Infinis. Dissertation, Université Pierre et Marie Curie, Paris 6
[PDF, 5MB]

1978

Amzallag, Émile; Piccioli, Norbert and Bry, François (1978): Introduction a la statistique. Paris: Hermann Collection Methodes. [PDF, 17MB]

This list was generated on Thu Nov 30 18:51:49 2023 CET.

Open Access LMU is powered by EPrints 3, which is developed by the School of Electronics and Computer Science at the University of Southampton.
Imprint - Privacy Disclaimer