Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Veröffentlichungsdatum | Autoren | Dokumententyp | Sprache | Band
Springe zu: 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
Anzahl der Publikationen auf dieser Ebene: 837

2023

Jensen, Jan Alexander (16. Mai 2023): Enabling Efficient Serverless Federated Learning in Heterogeneous Environments. Masterarbeit, Fakultät für Mathematik, Informatik und Statistik, Ludwig-Maximilians-Universität München. [PDF, 1MB]

Kiesel, Rafael ORCID logoORCID: https://orcid.org/0000-0002-8866-3452; Rückschloß, Kilian ORCID logoORCID: https://orcid.org/0000-0002-7891-6030 und Weitkämper, Felix ORCID logoORCID: https://orcid.org/0000-0002-3895-8279 (2023): “What if?” in Probabilistic Logic Programming. In: Theory and Practice of Logic Programming, Bd. 23, Nr. 4: S. 884-899 [PDF, 545kB]

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 und Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (1. Mai 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), S. 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 und Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (1. Mai 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), S. 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, Bd. 60, Nr. 3: S. 326-352 [PDF, 122kB]

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

Gu, Jindong; Tresp, Volker und Qin, Yao (2022): Are Vision Transformers Robust to Patch Perturbations? Computer Vision – ECCV 2022, Tel Aviv, Israel, October 23–27, 2022. Avidan, Shai; Brostow, Gabriel; Cissé, Moustapha; Farinella, Giovanni Maria und Hassner, Tal (Hrsg.): In: Computer Vision – ECCV 2022. 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part I, Bd. 13672 Springer. S. 404-421

Gu, Jindong; Zhao, Hengshuang; Tresp, Volker und Qin, Yao (2022): SegPGD: An Effective and Efficient Adversarial Attack for Evaluating and Boosting Segmentation Robustness. Computer Vision – ECCV 2022, Tel Aviv, Israel, October 23–27, 2022. Avidan, Shai; Brostow, Gabriel; Cissé, Moustapha; Farinella, Giovanni Maria und Hassner, Tal (Hrsg.): In: Computer Vision – ECCV 2022. 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XXIX, Bd. 13689 Springer. S. 308-325

Holländer, Kai; Hoggenmüller, Marius; Gruber, Romy; Völkel, Sarah Theres und 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, Bd. 4 [PDF, 2MB]

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

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

Sprinz, Johannah ORCID logoORCID: https://orcid.org/0000-0002-6425-7054 (10. Februar 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 und Striewe, Michael (2022): Building a Corpus of Task-Based Grading and Feedback Systems for Learning and Teaching Programming. In: International Journal of Engineering Pedagogy, Bd. 12, Nr. 5: S. 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 und Schwendemann, Lisa (Hrsg.) (2021): Interaktive 3D-Zeugnisse von Holocaust-Überlebenden. Chancen und Grenzen einer innovativen Technologie. Eckert. Dossiers, Bd. 1. [PDF, 3MB]

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

Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh und 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), S. 1314-1320

Angermeir, Florian; Voggenreiter, Markus; Moyon, Fabiola und 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. S. 278-287

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

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

Aumiller, Maximilian; Ertl-Wagner, Birgit; Heckl, Christian; Lietke, Stefanie; Stepp, Herbert; Sroka, Ronald; Thon, Niklas; Ruhm, Adrian; Lilge, Lothar D. und 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. Huang, Zhiwei und Lilge, Lothar D. (Hrsg.): In: Translational Biophotonics: Diagnostics and Therapeutics, Bd. 11919 New York: SPIE. S. 59

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

Baur, Stefan; Emmerichs, David; Moosmann, Frank; Pinggera, Peter; Ommer, Björn ORCID logoORCID: https://orcid.org/0000-0003-0766-120X und 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. S. 13106-13116

Beer, Anna; Stephan, Lisa und 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. S. 431-440

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

Beyer, Dirk (2021): First international competition on software testing. In: International Journal on Software Tools for Technology Transfer, Bd. 23, Nr. 6: S. 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 und Stoelinga, Mariëlle (Hrsg.): 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), Bd. 12649. Cham: Springer. S. 341-357

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Friedberger, Karlheinz ORCID logoORCID: https://orcid.org/0000-0001-7624-654X und Holzner, Stephan (2021): PJBDD: A BDD Library for Java and Multi-Threading. In: Hou, Zhe und Ganesh, Vijay (Hrsg.): 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), Bd. 12971. Cham: Springer. S. 144-149

Beyer, Dirk und Jakobs, Marie-Christine (2021): Cooperative verifier-based testing with CoVeriTest. In: International Journal on Software Tools for Technology Transfer, Bd. 23, Nr. 3: S. 313-333

Blattmann, Andreas; Milbich, Timo; Dorkenwald, Michael und Ommer, Björn ORCID logoORCID: https://orcid.org/0000-0003-0766-120X (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. S. 14687-14697

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

Borutta, Felix; Kröger, Peer und 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 und Chen, Jian-Jia (Hrsg.): Similarity Search and Applications :14th International Conference, SISAP 2021, Dortmund, Germany, September 29 – October 1, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), Bd. 13058. Cham: Springer. S. 45-53

Bouquet, Elizabeth; Mäkelä, Ville und 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). S. 145-153

Busch, Julian; Hunemorder, Maximilian; Held, Janis; Kroger, Peer und 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. S. 441-448

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

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

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

Choi, Frederick; Mayer, Sven und 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. S. 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 und Inkpen, Kori (Hrsg.): 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), Bd. 12933. Cham: Springer. S. 641-651

Chromik, Michael und 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 und Inkpen, Kori (Hrsg.): 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), Bd. 12933. Cham: Springer. S. 619-640

Chromik, Michael; Eiband, Malin; Buchner, Felicitas; Krüger, Adrian und 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. S. 307-317

Chung, Minh Thanh und 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. S. 98-105

Delgado Rodriguez, Sarah; Prange, Sarah; Mecke, Lukas und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 1-6

Diep, Thanh-Dang und 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. S. 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 und 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 und Bourdot, Patrick (Hrsg.): 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), Bd. 12980. Cham: Springer. S. 91-108

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

Eiband, Malin; Buschek, Daniel und 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. S. 120-132

Englmeier, David; Sajko, Wanja und 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), S. 345-352

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

Feger, Sebastian Stefan; Woźniak, Paweł W.; Niess, Jasmin und 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. Wendy, Yu; Oehlberg, Laura; Follmer, Sean; Fox, Sarah und Kuznetsov, Stacey (Hrsg.): In: Designing Interactive Systems Conference 2021, New York: Association for Computing Machinery (ACM). S. 576-588

Fischer, Konrad; Vaupel, Sarah; Heller, Niels; Mader, Sebastian und Bry, François (2021): Effects of Competitive Coding Games on Novice Programmers. In: Auer, Michael E. und Rüütmann, Tiia (Hrsg.): 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), Bd. 1328. Cham: Springer. S. 464-475

Freymuller, Christian; Kalinina, Sviatlana; Ruck, Angelika; Sroka, Ronald; Ruhm, Adrian; Beaurepaire, Emmanuel; Ben-Yakar, Adela und Park, YongKeun (2021): Fluorescence lifetime phantoms based on quenched coumarin derivatives. European Conferences on Biomedical Optics, Germany, 20-25 June 2021. Beaurepaire, Emmanuel; Ben-Yakar, Adela und Park, YongKeun (Hrsg.): In: Advances in Microscopic Imaging III, Bd. 11922 New York: SPIE. S. 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 und Doelken, Lars (2021): Dissecting Herpes Simplex Virus 1-Induced Host Shutoff at the RNA Level. In: Journal of Virology, Bd. 95, Nr. 3, e01399-20

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

Frikha, Ahmed; Krompass, Denis und 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. S. 10449-10456

Frikha, Ahmed; Krompaß, Denis; Köpken, Hans-Georg und 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. Proceedings of the AAAI Conference on Artificial Intelligence. Bd. 35, Nr. 8 AAAI Press. S. 7448-7456

Froehlich, Michael; Kobiella, Charlotte; Schmidt, Albrecht und 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. Ju, Wendy; Oehlberg, Lora; Follmer, Sean; Fox, Sarah und Kuznetsov, Stacey (Hrsg.): In: Designing Interactive Systems Conference 2021, New York: Association for Computing Machinery (ACM). S. 78-89

Froehlich, Michael; Wagenhaus, Maurizio Raphael; Schmidt, Albrecht und 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. Ju, Wendy; Oehlberg, Lora; Follmer, Sean; Fox, Sarah und Kuznetsov, Stacey (Hrsg.): In: Designing Interactive Systems Conference 2021, New York: Association for Computing Machinery (ACM). S. 138-148

Fromm, Michael; Faerman, Evgeniy; Berrendorf, Max; Bhargava, Siddharth; Qi, Ruoxia; Zhang, Yao; Dennert, Lukas; Selle, Sophia; Mao, Yang und 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, Bd. 35, Nr. 6 AAAI Press. S. 4758-4766

Gabor, Thomas; Phan, Thomy und Linnhoff-Popien, Claudia (2021): Productive fitness in diversity-aware evolutionary algorithms. In: Natural Computing, Bd. 20, Nr. 3: S. 363-376

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

Garcia, Nicolas; Kawan, Christoph und 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. S. 3887-3892

Garcia, Nicolas; Kawan, Christoph und 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, Bd. 59, Nr. 1: S. 534-560

Geistlinger, Ludwig; Csaba, Gergely; Santarelli, Mara; Ramos, Marcel; Schiffer, Lucas; Turaga, Nitesh; Law, Charity; Davis, Sean; Carey, Vincent; Morgan, Martin; Zimmer, Ralf und Waldron, Levi (2021): Toward a gold standard for benchmarking gene set enrichment analysis. In: Briefings in Bioinformatics, Bd. 22, Nr. 1: S. 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 und 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 und Bourdot, Patrick (Hrsg.): 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), Bd. 12980. Cham: Springer. S. 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 und 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 und Bourdot, Patrick (Hrsg.): 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), Bd. 12980. Cham: Springer. S. 66-80

Gu, Jindong; Tresp, Volker und 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. S. 14304-14312

Gu, Jindong; Zhao, Rui und 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. S. 1-8

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

Haliburton, Luke; Hoppe, Matthias; Schmidt, Albrecht und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 1-7

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

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

Hermankova, Kristyna; Kourilova, Xenie; Pernicova, Iva; Bezdicek, Matej; Lengerova, Martina; Obruca, Stanislav und 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, Bd. 13, Nr. 12, evab280

Hirsch, Linda ORCID logoORCID: https://orcid.org/0000-0001-7239-7084 und 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 und Inkpen, Kori (Hrsg.): 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), Bd. 12934. Cham: Springer. S. 635-645

Hirsch, Linda ORCID logoORCID: https://orcid.org/0000-0001-7239-7084; Li, Yanhong; Geiger, Hendrik und 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 und Inkpen, Kori (Hrsg.): 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), Bd. 12936. Cham: Springer. S. 486-489

Hofmann, Valentin; Pierrehumbert, Janet und 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). S. 3594-3608

Hommel, Wolfgang; Pöhn, Daniela; Seeber, Sebastian; Stiemert, Lars; Schopp, Matthias und Pham, Stefanie (2021): Field Studies on the Impact of Cryptographic Signatures and Encryption on Phishing Emails. In: Mori, Paolo; Lenzini, Gabriele und Furnell, Steven (Hrsg.): Proceedings of the 7th International Conference on Information Systems Security and Privacy (ICISSP). Setúbal, Portuagl: SciTePress. S. 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 und Friedel, Roland H. (2021): Plexin-B2 facilitates glioblastoma infiltration by modulating cell biomechanics. In: Communications Biology, Bd. 4, Nr. 1, 145

Huck, Sascha Manuel; Fung, Georger S.K.; Parodi, Katia; Stierstorfer, Karl; Bosmans, Hilde; Zhao, Wei und 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. Bosmans, Hilde; Zhao, Wei und Yu, Lifeng (Hrsg.): In: Medical Imaging 2021: Physics of Medical Imaging, Bd. 11595 S. 2

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

Jahanshahi, Niloofar; Jagtap, Pushpak und Zamani, Majid (2021): Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. In: IEEE Control Systems Letters, Bd. 5, Nr. 1: S. 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. S. 1012

Jungblut, Pascal und Fürlinger, Karl (2021): Portable Node-Level Parallelism for the PGAS Model. In: International Journal of Parallel Programming, Bd. 49, Nr. 6: S. 867-885

Kaltenhauser, Annika; Terzimehić, Nađa und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 1-7

Karolus, Jakob; Bachmann, Felix; Kosch, Thomas; Schmidt, Albrecht und 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. S. 1-15

Karolus, Jakob und Wozniak, Pawel W. (2021): Proficiency-aware systems: Designing for user reflection in context-aware systems. In: It-Information Technology, Bd. 63, Nr. 3: S. 167-175

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

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

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

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

Kawan, Christoph; Mironchenko, Andrii und 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. S. 4811-4816

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

Khaled, Mahmoud und Zamani, Majid (2021): Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. In: IEEE Design & Test, Bd. 38, Nr. 5: S. 25-34

Kilian, Annika; Karolus, Jakob; Kosch, Thomas; Schmidt, Albrecht und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, S. 1-4

Knierim, Pascal; Kosch, Thomas und Schmidt, Albrecht (2021): The Nomadic Office: A Location Independent Workspace Through Mixed Reality. In: IEEE Pervasive Computing, Bd. 20, Nr. 4: S. 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 und Schwendemann, Lisa (Hrsg.): Interaktive 3D-Zeugnisse von Holocaust-Überlebenden. Eckert. Dossiers, Bd. 1. Braunschweig: Georg-Eckert-Institut für internationale Schulbuchforschung. S. 63-82 [PDF, 709kB]

Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319 und Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (10. Mai 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. [PDF, 5MB]

Koner, Rajat; Li, Hang; Hildebrandt, Marcel; Das, Deepan; Tresp, Volker und 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 und Alani, Harith (Hrsg.): 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), Bd. 12922. Cham: Springer. S. 111-127

Köhle, Kay; Hoppe, Matthias; Schmidt, Albrecht und 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 und Inkpen, Kori (Hrsg.): 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), Bd. 12934. Cham: Springer. S. 3-11

Langer, Stefan; Dietz, Dennis und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 1-7

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

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

Leiber, Collin; Bauer, Lena G. M.; Schelling, Benjamin; Böhm, Christian und 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. S. 903-913

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

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

Li, Yanhong; Sun, Yu; Lu, Tianyang; Weber, Thomas und 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 und Inkpen, Kori (Hrsg.): 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), Bd. 12935. Cham: Springer. S. 590-598

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

Linek, Matthäus; Schrader, Isabel; Volgger, Veronika; Rühm, Adrian; Sroka, Ronald; Lilge, Lothar D. und 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. Huang, Zhiwei und Lilge, Lothar D. (Hrsg.): In: Translational Biophotonics: Diagnostics and Therapeutics, Bd. 11919 New York: SPE. S. 11

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

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

Linnhoff-Popien, Claudia; Ochs, Jörg; Platschek, Christian; Schröder, Tobias; Ritz, Fabian; Illium, Steffen und 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. S. 306-313

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

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

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

Liu, Siyuan und Zamani, Majid (2021): Verification of Approximate Opacity via Barrier Certificates. In: IEEE Control Systems Letters, Bd. 5, Nr. 4: S. 1369-1374

Liu, Siyuan und 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. S. 764-769

Liu, Yushan; Hildebrandt, Marcel; Joblin, Mitchell; Ringsquandl, Martin; Raissouni, Rime und 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 und Alam, Mehwish (Hrsg.): The Semantic Web. 18th International Conference, ESWC 2021, Virtual Event, June 6–10, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), Bd. 12731. Cham: Springer. S. 375-391

Ma, Yong; Drewes, Heiko und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 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 und 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 und Inkpen, Kori (Hrsg.): 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), Bd. 12933. Cham: Springer. S. 585-594

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

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

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

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

Mironchenko, Andrii; Noroozi, Navid; Kawan, Christoph und 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), S. 4817-4822

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

Müller, Robert; Illium, Steffen und 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), S. 1-7

Nejati, Ameneh; Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid (2021): Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. In: Ifac Papersonline, Bd. 54, Nr. 5: S. 277-282

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

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

Paternò, Fabio; Burnett, Margaret; Fischer, Gerhard; Matera, Maristella; Myers, Brad und 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 und Inkpen, Kori (Hrsg.): (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), Bd. 12936. Berlin: Springer. S. 340-343

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

Phan, Thomy; Belzner, Lenz; Gabor, Thomas; Sedlmeier, Andreas; Ritz, Fabian und 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, Bd. 35, Nr. 13 AAAI Press. S. 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 und 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 und Inkpen, Kori (Hrsg.): 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), Bd. 12935. Cham: Springer. S. 339-360

Prange, Sarah; Shams, Ahmed; Piening, Robin; Abdelrahman, Yomna und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 1-18

Qian, Li; Plant, Claudia und 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. S. 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 und 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, Bd. 28, Nr. 6, 46

Rivu, Radiah; Zhou, Yumeng; Welsch, Robin; Mäkelä, Ville und 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 und Inkpen, Kori (Hrsg.): 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), Bd. 12936. Cham: Springer. S. 234-250

Rombach, Robin; Esser, Patrick und Ommer, Björn ORCID logoORCID: https://orcid.org/0000-0003-0766-120X (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. S. 14336-14346

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

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

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

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

Schmid, Kyrill; Müller, Robert; Belzner, Lenz; Tochtermann, Johannes und 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), S. 1-8

Schmid, Kyrill; Ritz, Fabian; Illium, Steffen und 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. S. 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. De Angeli, Antonella; Chittaro, Luca; Gennari, Rosella; De Marsico, Maria; Melonio, Alessandra; Gena, Cristina; De Russis, Luigi und Spano, Lucio Davide (Hrsg.): In: CHItaly 2021: 14th Biannual Conference of the Italian SIGCHI Chapter, New York: Association for Computing Machinery (ACM). S. 1-4

Schmidt, Albrecht; Alt, Florian und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 1-4

Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990; Giannotti, Fosca; Mackay, Wendy; Shneiderman, Ben und 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 und Inkpen, Kori (Hrsg.): (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), Bd. 12936. Cham: Springer. S. 335-339

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

Schneegass, Christina; Irmscher, Diana; Bemmann, Florian und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 1-6

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

Sharifzadeh, Sahand; Baharlou, Sina Moayed; Berrendorf, Max; Koner, Rajat und 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. S. 3597-3604

Sharifzadeh, Sahand; Moayed Baharlou, Sina und 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, Bd. 35, Nr. 6 AAAI Press. S. 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 und 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, Bd. 118, Nr. 29, 1920484117

Stepp, Herbert; Homann, Christian; Hennig, Georg; Vogeser, Michael; Lilge, Lothar D. und 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. Huang, Zhiwei und Lilge, Lothar D. (Hrsg.): In: Translational Biophotonics: Diagnostics and Therapeutics, Bd. 11919 New York: SPE. S. 23

Steuer, Jana; Kellermann, Hanna; Grupp, Frank; Goessl, Claus; Hopp, Ulrich; Lang-Bardl, Florian; Bender, Ralf; Shaklan, Stuart B. und 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. Shaklan, Stuart B. und Ruane, Garreth J. (Hrsg.): In: Techniques and Instrumentation for Detection of Exoplanets X, Bd. 11823 New York: SPIE. S. 63

Straus, Niklas; Rottkamp, Lukas; Schmoll, Sebastian und 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. S. 115-120

Strohm, Florian; Sood, Ekta; Mayer, Sven; Muller, Philipp; Bace, Mihai und 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. S. 245-254

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

Swikir, Abdalla; Girard, Antoine und Zamani, Majid (2021): Symbolic Models for a Class of Impulsive Systems. In: IEEE Control Systems Letters, Bd. 5, Nr. 1: S. 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 1-4

Terzimehić, Nađa; George, Ceenu; Häuslschmid, Renate und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 1-7

Terzimehić, Nađa; Schött, Svenja Yvonne; Bemmann, Florian und 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. Ju, Wendy; Oehlberg, Lora; Follmer, Sean; Fox, Sarah und Kuznetsov, Stacey (Hrsg.): In: Designing Interactive Systems Conference 2021, New York: Association for Computing Machinery (ACM). S. 538-548

Tomar, Mahendra Singh; Rungger, Matthias und Zamani, Majid (2021): Invariance Feedback Entropy of Uncertain Control Systems. In: IEEE Transactions on Automatic Control, Bd. 66, Nr. 12: S. 5680-5695

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

Tschernutter, Daniel und 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. S. 529-539

Villa, Steeven; Niess, Jasmin; Eska, Bettina; Schmidt, Albrecht und 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). S. 38-42

Volgger, Veronika; Felicio-Briegel, Axelle; Freymüller, Christian; Rühm, Adrian; Linek, Matthäus; Sroka, Ronald; Lilge, Lothar D. und Huang, Zhiwei (2021): Investigation on hyperspectral imaging derived indices for perfusion monitoring. European Conferences on Biomedical Optics, Germany, 20-25 June 2021. Huang, Zhiwei und Lilge, Lothar D. (Hrsg.): In: Translational Biophotonics: Diagnostics and Therapeutics, Bd. 11919 New York: SPIE. S. 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. und Zou, Hongyan (2021): Diversified transcriptional responses of myeloid and glial cells in spinal cord injury shaped by HDAC3 activity. In: Science Advances, Bd. 7, Nr. 9, eabd8811

Wang, Chao; Usai, Marcel; Li, Jingyi; Baumann, Martin und 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). S. 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 und Eiband, Malin (2021): Quantifying the Demand for Explainability. In: Ardito, Carmelo; Lanzilotti, Rosa; Malizia, Alessio; Petrie, Helen; Piccinno, Antonio; Desolda, Giuseppe und Inkpen, Kori (Hrsg.): 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), Bd. 12933. Cham: Springer. S. 652-661

Weber, Thomas; Winiker, Christina und 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. Kitamura, Yoshifumi; Quigley, Aaron; Isbister, Katherine und Igarashi, Takeo (Hrsg.): In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, New York: Association for Computing Machinery. S. 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, Bd. 182, Nr. 3: S. 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 und Drechsler, Rolf (Hrsg.): Recent Findings in Boolean Techniques. Selected Papers from the 14th International Workshop on Boolean Problems. Cham: Springer. S. 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, Bd. 21, Nr. Special Issue 6: S. 802-817 [PDF, 401kB]

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

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

Woźniak, Paweł W.; Karolus, Jakob; Lang, Florian; Eckerth, Caroline; Schöning, Johannes; Rogers, Yvonne und 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). S. 719

Xie, Yifan; Yin, Xiang; Li, Shaoyuan und 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), S. 7015-7021

Xing, Yiran; Shi, Zai; Meng, Zhao; Lakemeyer, Gerhard; Ma, Yunpu und 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. Ji, Heng; Park, Jong C. und Xia, Rui (Hrsg.): 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). S. 525-535

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

Zellner, Ludwig; Sontheim, Janina; Richter, Florian; Lindner, Gabriel und 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. S. 925-934

Zhang, Zelun Tony; Liu, Yuanting und 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. De Angeli, Antonella; Chittaro, Luca; Gennari, Rosella; De Marsico, Maria; Melonio, Alessandra; Gena, Cristina; De Russis, Luigi und Spano, Lucio Davide (Hrsg.): In: CHItaly 2021: 14th Biannual Conference of the Italian SIGCHI Chapter, New York: Association for Computing Machinery (ACM). S. 1-5

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

2020

Al Khatib, Mohammad und 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. 2020 American Control Conference (ACC). IEEE. S. 5419-5424

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

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

Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Kretinsky, Jan; Weininger, Maximilian und 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 und 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 und 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, Bd. 51, Nr. 1: S. 37-50

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

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

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

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

Bing, Zhenshan; Lemke, Christian; Cheng, Long; Huang, Kai und 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, Bd. 129: S. 323-333

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

Boehm, Christian und Plant, Claudia (2020): Massively Parallel Graph Drawing and Representation Learning. In: 2020 IEEE International Conference on Big Data (Big Data): S. 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, Bd. 20, Nr. 1: S. 99-146 [PDF, 443kB]

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

Chung, Minh Thanh; Weidendorfer, Josef; Samfass, Philipp; Fuerlinger, Karl und 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): S. 1-8

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

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

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

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

Dietz, Felix; Hoppe, Matthias; Karolus, Jakob; Wozniak, Pawel W.; Schmidt, Albrecht und 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 und Hussmann, Heinrich (2020): A Method and Analysis to Elicit User-Reported Problems in Intelligent Everyday Applications. In: ACM Transactions on Interactive Intelligent Systems, Bd. 10, Nr. 4, 28

Englmeier, David; Doerner, Julia; Butz, Andreas und 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): S. 221-229

Feld, Sebastian; Roch, Christoph; Gabor, Thomas; To, Xiao-Ting Michelle und 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): S. 946-950

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

Friedrich, Markus; Illium, Steffen; Fayolle, Pierre-Alain und 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: S. 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 und Linnhoff-Popien, Claudia (2020): The scenario coevolution paradigm: adaptive quality assurance for adaptive systems. In: International Journal on Software Tools for Technology Transfer, Bd. 22: S. 457-476 [PDF, 1MB]

Gabor, Thomas; Zielinski, Sebastian; Roch, Christoph; Feld, Sebastian und 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): S. 115-119

George, Ceenu; Tamunjoh, Patrick und 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, Bd. 26, Nr. 12: S. 3414-3422

Goncalves, Patrik; Orlosky, Jason und 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): S. 731-732

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

Grupe, Gisela; Klaut, Dominika; Otto, Larissa; Mauder, Markus; Lohrer, Johannes; Kroeger, Peer und 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, Bd. 29, 102121

Gu, Jindong und 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): S. 7283-7291

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

Gugenheimer, Jan; McGill, Mark; Huron, Samuel; Mai, Christian; Williamson, Julie und 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, Bd. 1038: S. 347-362

Hahn, Carsten; Phan, Thomy; Feld, Sebastian; Roch, Christoph; Ritz, Fabian; Sedlmeier, Andreas; Gabor, Thomas und 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: S. 234-241

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

Hennicker, Rolf; Knapp, Alexander; Madeira, Alexandre und 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, Bd. 12005: S. 19-34

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

Hildebrandt, Marcel; Serna, Jorge Andres Quintero; Ma, Yunpu; Ringsquandl, Martin; Joblin, Mitchell und 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, Bd. 34: S. 4123-4131

Hirsch, Linda; Rossmy, Beat; Bemmann, Florian und 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: S. 729-742

Hoecker, Julian; Ozcan, Mehmet; Hammer, Sebastian; Fischer, Mathias; Bichler, Benedikt; Armer, Melina; Rieder, Philipp; Drach, Volker; Pflaum, Jens; Nickel, Bert und 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, Bd. 8, Nr. 24: S. 8275-8283

Hoggenmueller, Marius; Hespanhol, Luke; Wiethoff, Alexander und 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 und 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 und 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): S. 329-334

Jagtap, Pushpak; Swikir, Abdalla und 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 und Zamani, Majid (2020): Symbolic models for retarded jump-diffusion systems. In: Automatica, Bd. 111, 108666

Jahanshahi, Niloofar; Jagtap, Pushpak und Zamani, Majid (2020): Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions. In: Ifac Papersonline, Bd. 53, Nr. 2: S. 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 und Boonen, Michelle (2020): The benefits of interdisciplinary scenario-building for hybrid radio applications. In: Telematics and Informatics, Bd. 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. und Gicas, Kristina M. (Juni 2020): Amygdala Nuclei Volumes Are Selectively Associated With Social Network Size in Homeless and Precariously Housed Persons. In: Frontiers in Behavioral Neuroscience, Bd. 14, 97: S. 1-9 [PDF, 1MB]

Joppich, Markus; Olenchuk, Margaryta; Mayer, Julia M.; Emslander, Quirin; Jimenez-Soto, Luisa F. und 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, Bd. 18: S. 1342-1351

Kawan, C.; Matveev, A. und Pogromsky, A. (2020): Data rate limits for the remote state estimation problem. In: Ifac Papersonline, Bd. 53, Nr. 2: S. 4955-4960

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

Kazempour, Daniyal; Beer, Anna; Kroger, Peer und 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): S. 316-323

Kazempour, Daniyal; Kroeger, Long Matthias Yan Peer und 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): S. 308-315

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

Knierim, Pascal; Kosch, Thomas; Groschopp, Johannes und 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 und 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): S. 77-84

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

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

Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh und 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 und 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): S. 98-107

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

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

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

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

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

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

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

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

Luckow, Andre und 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): S. 636-645

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

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

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

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

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

Miklautz, Lukas; Mautz, Dominik; Altinigneli, Muzaffer Can; Boehm, Christian und 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, Bd. 34: S. 5174-5181

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

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

Nejati, Ameneh und Zamani, Majid (2020): Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach. In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1962-1967

Nowak, Adam; Knierim, Pascal; Romanowski, Andrzej; Schmidt, Albrecht und 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 und 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 und 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 und Chao, Dennis (2020): Small-Object Detection in Remote Sensing Images with End-to-End Edge-Enhanced GAN and Object Detector Network. In: Remote Sensing, Bd. 12, Nr. 9, 1432

Ranasinghe, Champika; Hollaender, Kai; Currano, Rebecca; Sirkin, David; Moore, Dylan; Schneegass, Stefan und 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 und Nabi, Moin (2020): HUMAN-MACHINE COLLABORATION FOR MEDICAL IMAGE SEGMENTATION. In: 2020 IEEE International Conference on Acoustics, Speech, and Signal Processing: S. 1040-1044

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

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

Roch, Christoph; Impertro, Alexander; Phan, Thomy; Gabor, Thomas; Feld, Sebastian und Linnhoff-Popien, Claudia (2020): Cross Entropy Hyperparameter Optimization for Constrained Problem Hamiltonians Applied to QAOA. In: 2020 International Conference on Rebooting Computing (Icrc 2020): S. 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: S. 925-929

Rothe, Sylvia; Schmidt, Alexander; Montagud, Mario; Buschek, Daniel und 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 und Zamani, Majid (2020): Data-Driven Verification under Signal Temporal Logic Constraints. In: Ifac Papersonline, Bd. 53, Nr. 2: S. 76-81

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

Schitz, Dmitrij; Graf, Gaetano; Rieth, Dominik und Aschemann, Harald (2020): Corridor-Based Shared Autonomy for Teleoperated Driving. In: Ifac Papersonline, Bd. 53, Nr. 2: S. 15368-15373

Schmid, Kyrill; Belzner, Lenz; Phan, Thomy; Gabor, Thomas und 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: S. 144-151

Schmidmaier, Matthias; Hussmann, Heinrich und 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 und 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: S. 522-529

Shoukourian, Hayk und 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, Bd. 112: S. 362-382

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

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

Swikir, Abdalla; Noroozi, Navid und Zamani, Majid (2020): Compositional Synthesis of Symbolic Models for Infinite Networks. In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1868-1873

Thevin, Lauren; Briant, Carine und 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, Bd. 13, Nr. 2, 7

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

Tomar, Mahendra Singh und Zamani, Majid (2020): Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems. In: IEEE Control Systems Letters, Bd. 4, Nr. 4: S. 827-832

Trautmann, Dietrich; Fromm, Michael; Tresp, Volker; Seidl, Thomas und 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, Bd. 20, Nr. 2: S. 99-105 [PDF, 365kB]

Tschetsch, L.; Mussauer, A.; Mauder, M.; Lohrer, J.; Kroeger, P.; Mayr, C.; Soellner, F. und 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, Bd. 62: S. 35-52

Ullrich, Daniel; Butz, Andreas ORCID logoORCID: https://orcid.org/0000-0002-9007-9888 und Diefenbach, Sarah ORCID logoORCID: https://orcid.org/0000-0002-4347-5028 (18. Dezember 2020): The Eternal Robot: Anchoring Effects in Humans' Mental Models of Robots and Their Self. In: Frontiers in Robotics and AI, Bd. 7, 546724: S. 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 und Shi, Yongsheng (2020): Herpes simplex virus blocks host transcription termination via the bimodal activities of ICP27. In: Nature Communications, Bd. 11, Nr. 1, 293 [PDF, 2MB]

Weibl, Johannes und 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, Bd. 37, Nr. 3: S. 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. Juni 2020): The first-order theory of boolean differentiation. Extended version. [PDF, 404kB]

Welsch, Robin; Hecht, Heiko; Chuang, Lewis und Castell, Christoph von (2020): Interpersonal Distance in the SARS-CoV-2 Crisis. In: Human Factors, Bd. 62, Nr. 7: S. 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 und Dölken, Lars (2020): Integrative functional genomics decodes herpes simplex virus 1. In: Nature Communications, Bd. 11, Nr. 1, 2038 [PDF, 2MB]

Yu, Zhongjing; Wang, Han; Liu, Yang; Bohm, Christian und Shao, Junming (2020): Community Attention Network for Semi-supervised Node Classification. In: 20th IEEE International Conference on Data Mining (ICDM 2020): S. 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. und Zou, Hongyan (2020): Microglia and macrophages promote corralling, wound compaction and recovery after spinal cord injury via Plexin-B2. In: Nature Neuroscience, Bd. 23, Nr. 3: S. 337-350

da Silva, Vinicius; Ramos, Marcel; Groenen, Martien; Crooijmans, Richard; Johansson, Anna; Regitano, Luciana; Coutinho, Luiz; Zimmer, Ralf; Waldron, Levi und Geistlinger, Ludwig (2020): CNVRanger: association analysis of CNVs with gene expression and quantitative phenotypes. In: Bioinformatics, Bd. 36, Nr. 3: S. 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. und Zurita, J. (2019): FCC-ee: The Lepton Collider: Future Circular Collider Conceptual Design Report Volume 2. In: European Physical Journal-Special Topics, Bd. 228, Nr. 2: S. 261-623

Al Khatib, Mohammad und 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): S. 208-217

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

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

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

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

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

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

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

Berchtold, Evi; Csaba, Gergely und 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 und Kantelhardt, Eva J. (2019): Comparison of six breast cancer classifiers using qPCR. In: Bioinformatics, Bd. 35, Nr. 18: S. 3412-3420

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

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

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

Borojeni, Shadan Sadeghian; Meschtscherjakov, Alexander; Pfleging, Bastian; Ju, Wendy; Flemisch, Frank; Janssen, Christian P.; Kun, Andrew L. und 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 und Schubert, Matthias (2019): Structural Graph Representations based on Multiscale Local Network Topologies. In: 2019 Ieee/Wic/Acm International Conference on Web Intelligence (Wi 2019): S. 91-98

Borutta, Felix; Schmoll, Sebastian und 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): S. 628-631

Brandenburg, Stefan und 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, Bd. 66: S. 214-225

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

Braun, Michael; Mainz, Anja; Chadowitz, Ronee; Pfleging, Bastian und 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 und Barboric, Matjaz (2019): P-TEFb Activation by RBM7 Shapes a Pro-survival Transcriptional Response to Genotoxic Stress. In: Molecular Cell, Bd. 74, Nr. 2

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

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

Chanias, Simon; Myers, Michael D. und 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, Bd. 28, Nr. 1: S. 17-33

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

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

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

Eiband, Malin; Buschek, Daniel; Kremer, Alexander und 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 und Hussmann, Heinrich (2019): When People and Algorithms Meet: User-reported Problems in Intelligent Everyday Applications. In: Proceedings of Iui 2019: S. 96-106

Elagroudy, Passant; Khamis, Mohamed; Mathis, Florian; Irmscher, Diana; Bulling, Andreas und 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 und 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 und 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): S. 912-913

Englmeier, David; Schönewald, Isabel; Butz, Andreas und 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): S. 1693-1698

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

Feger, Sebastian S.; Dallmeier-Tiessen, Sunje; Schmidt, Albrecht und 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. und 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. und 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 und Belzner, Lenz (2019): Bayesian Surprise in Indoor Environments. In: 27Th Acm Sigspatial International Conference on Advances in Geographic Information Systems (Acm Sigspatial Gis 2019): S. 129-138

Felsberger, Lukas; Todd, Benjamin und 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): S. 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, Bd. 13, Nr. 2: S. 171-191

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

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

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

Funk, Christina; Raschbichler, Verena; Lieber, Diana; Wetschky, Jens; Arnold, Eileen K.; Leimser, Jacqueline; Biggel, Michael; Friedel, Caroline C.; Ruzsics, Zsolt und 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, Bd. 20, Nr. 2: S. 152-167

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

Gabor, Thomas; Sedlmeier, Andreas; Kiermeier, Marie; Phan, Thomy; Henrich, Marcel; Pichlmair, Monika; Kempter, Bernhard; Klein, Cornel; Sauer, Horst; Schmid, Reiner und 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): S. 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 und Glasmacher, Elke (2019): Immune homeostasis and regulation of the interferon pathway require myeloid-derived Regnase-3. In: Journal of Experimental Medicine, Bd. 216, Nr. 7: S. 1700-1723

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

George, Ceenu und 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 und 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): S. 277-285

George, Ceenu; Schwuchow, Julia und 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 und Albu-Schaeffer, Alin (2019): Coordinated Control of Spacecraft's Attitude and End-Effector for Space Robots. In: IEEE Robotics and Automation Letters, Bd. 4, Nr. 2: S. 2108-2115

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

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

Gugenheimer, Jan; Mai, Christian; McGill, Mark; Williamson, Julie; Steinicke, Frank und 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 und 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): S. 950-951

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

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

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

Heller, Niels; Mader, Sebastian und 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: S. 2473-2476

Hepperle, Daniel; Weiss, Yannick; Siess, Andreas und 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, Bd. 82: S. 321-331

Hildebrandt, Marcel; Khalil, Mohamed; Bergs, Christoph; Tresp, Volker; Wuechner, Roland; Bletzinger, Kai-Uwe und 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): S. 1327-1332

Hildebrandt, Marcel; Sunder, Swathi Shyam; Mogoreanu, Serghei; Joblin, Mitchell; Mehta, Akhil; Thon, Ingo und Tresp, Volker (2019): A Recommender System for Complex Real-World Applications with Nonlinear Dependencies and Knowledge Graph Context. In: Semantic Web, Eswc 2019, Bd. 11503: S. 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: S. 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): S. 149-150

Hoppe, Matthias; Karolus, Jakob; Dietz, Felix; Wozniak, Pawel W.; Schmidt, Albrecht und 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 und Zimmer, Ralf (2019): Using Context-Sensitive Text Mining to Identify miRNAs in Different Stages of Atherosclerosis. In: Thrombosis and Haemostasis, Bd. 119, Nr. 8: S. 1247-1264

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

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

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

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

Keskinen, Tuuli; Makela, Ville; Kallioniemi, Pekka; Hakulinen, Jaakko; Karhu, Jussi; Ronkainen, Kimmo; Makela, John und 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): S. 423-430

Khaled, Mahmoud und 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): S. 252-257

Khamis, Mohamed; Schuster, Nora; George, Ceenu und 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 und 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 und 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. 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 und 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): S. 377-382

Kiss, Francisco; Woźniak, Paweł W.; Scheerer, Felix; Dominiak, Julia; Romanowski, Andrzej und Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 (4. Mai 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. 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. und 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 und 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. [PDF, 2MB]

Kosch, Thomas; Karolus, Jakob; Ha, Havy und 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 und Fuerlinger, Karl (2019): Engineering a Distributed Histogram Sort. In: 2019 Ieee International Conference on Cluster Computing (Cluster): S. 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 und 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, Bd. 11, Nr. 20, 2387

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

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

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

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

Lavaei, Abolfazl und 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): S. 3-5

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

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

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

Mader, Sebastian; Heller, Niels und 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): S. 360-368

Maekelae, Ville; Keskinen, Tuuli; Makela, John; Kallioniemi, Pekka; Karhu, Jussi; Ronkainen, Kimmo; Burova, Alisa; Hakulinen, Jaakko und 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: S. 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. und 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 und 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): S. 474-483

Matt, Christian ORCID logoORCID: https://orcid.org/0000-0001-9800-2335; Becker, Moritz; Kolbeck, Andreas und 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, Bd. 11, Nr. 1: S. 108-132

Mauder, M.; Ntoutsi, E.; Kröger, P.; Mayr, C.; Toncala, A.; Hölzl, S. und 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, Bd. 61, Nr. 1: S. 194-210

Mecke, Lukas; Buschek, Daniel; Kiermeier, Mathias; Prange, Sarah und 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): S. 303-317

Mecke, Lukas; Rodriguez, Sarah Delgado; Buschek, Daniel; Prange, Sarah und 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): S. 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 und Duewell, Peter (2019): Immunostimulatory RNA leads to functional reprogramming of myeloid-derived suppressor cells in pancreatic cancer. In: Journal for Immunotherapy of Cancer, Bd. 7, Nr. 1, 288

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

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

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

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

Pfeuffer, Ken; Geiger, Matthias J.; Prange, Sarah; Mecke, Lukas; Buschek, Daniel und 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 und 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: S. 7941-7948

Phan, Thomy; Schmid, Kyrill; Belzner, Lenz; Gabor, Thomas; Feld, Sebastian und 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: S. 2162-2164

Prange, Sarah; Buschek, Daniel; Pfeuffer, Ken; Mecke, Lukas; Ehrich, Peter; Le, Jens und 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 und Seidl, Thomas (2019): Looking into the TESSERACT: Time-drifts in event streams using series of evolving rolling averages of completion times. In: Information Systems, Bd. 84: S. 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. und Eick, Dirk (2019): MIR sequences recruit zinc finger protein ZNF768 to expressed genes. In: Nucleic Acids Research, Bd. 47, Nr. 2: S. 700-715

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

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

Rossmy, Beat und 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: S. 287-295

Rossmy, Beat und 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 und 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: S. 25-34

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

Rothe, Sylvia; Sarakiotis, Vanessa und 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 und Wahl, Siegfried (6. Juni 2019): Looking Through "Rose-Tinted" Glasses: The Influence of Tint on Visual Affective Processing. In: Frontiers in Human Neuroscience, Bd. 13, 187 [PDF, 2MB]

Schmidmaier, Matthias; Han, Zhiwei; Weber, Thomas; Liu, Yuanting und 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): S. 81-86

Schneegass, Stefan; Poguntke, Romina und 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, Bd. 61, Nr. 1: S. 59-65

Schneider, Hanna; Wayrauther, Julia; Hassib, Mariam und 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 und 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 und Provaznik, Ivo (2019): A transcriptional response of Clostridium beijerinckii NRRL B-598 to a butanol shock. In: Biotechnology for Biofuels, Bd. 12, Nr. 1, 243

Staudacher, Korbinian; Mader, Sebastian und 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): S. 542-550

Sun, Xin; Song, Zenghui; Dong, Junyu; Yu, Yongbo; Plant, Claudia und 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: S. 5041-5048

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

Swikir, Abdalla und Zamani, Majid (2019): Compositional synthesis of finite abstractions for networks of systems: A small-gain approach. In: Automatica, Bd. 107: S. 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 und Friedel, Roland H. (2019): Gene signatures of quiescent glioblastoma cells reveal mesenchymal shift and interactions with niche microenvironment. In: Ebiomedicine, Bd. 42: S. 252-269

Terzimehic, Nada; Haeuslschmid, Renate; Hussmann, Heinrich und 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 und Nam, Thoai (2019): A time-stamping system to detect memory consistency errors in MPI one-sided applications. In: Parallel Computing, Bd. 86: S. 36-44

Thevin, Lauren; Jouffrais, Christophe; Rodier, Nicolas; Palard, Nicolas; Hachet, Martin und 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): S. 17-28

Thome, Johannes; Behnke, Kerstin; Gleitz, Markus; Steer, Lydia; Weiher, Martina und 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, Bd. 46, Nr. 6: S. 317-323

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

Weber, Thomas; Zoitl, Alois und 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): S. 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 und 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. [PDF, 826kB]

Wiegand, Gesa; Schmidmaier, Matthias; Weber, Thomas; Liu, Yuanting und 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 und 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: S. 405-410

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

Zhang, Yuchong; Ma, Yong; Omrani, Adel; Yadav, Rahul; Fjeld, Morten und 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 und 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): S. 245-252

Alt, Florian; Geiger, Sabrina und Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 (6. Juni 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. 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 und Lukowicz, Paul (2018): LYRA: Smart Wearable In-flight Service Assistant. In: Iswc'18: Proceedings of the 2018 Acm International Symposium on Wearable Computers: S. 212-213

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

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

Beyer, Dirk; Dangl, Matthias und Wendler, Philipp (2018): A Unifying View on SMT-Based Software Verification. In: Journal of Automated Reasoning, Bd. 60, Nr. 3: S. 299-335

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

Braun, Michael; Volkel, Sarah Theres; Wiegand, Gesa; Puls, Thomas; Steidl, Daniel; Weiss, Yannick und 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): S. 383-389

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

Buschek, Daniel; Völkel, Sarah; Stachl, Clemens; Mecke, Lukas; Prange, Sarah und 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): S. 606-611

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

Costa, Camila F.; Nascimento, Mario A. und Schubert, Matthias (2018): Diverse nearest neighbors queries using linear skylines. In: Geoinformatica, Bd. 22, Nr. 4: S. 815-844

Davari, Kathrin; Lichti, Johannes; Friedel, Caroline C. und 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, Nr. 133, e56752

Dingler, Tilman; Tag, Benjamin; Lehrer, Sabrina und 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): S. 239-244

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

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

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

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

Faltaous, Sarah; Baumann, Martin; Schneegass, Stefan und 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: S. 258-267

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

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

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

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

Gabor, Thomas; Belzner, Lenz; Phan, Thomy und Schmid, Kyrill (2018): Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms. In: 15Th Ieee International Conference on Autonomic Computing (Icac 2018): S. 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. und Perez-Liebana, Diego (2018): The 2016 Two-Player GVGAI Competition. In: IEEE Transactions on Games, Bd. 10, Nr. 2: S. 209-220

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

George, Ceenu; Eiband, Malin; Hufnagel, Michael und 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 und 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 und Griffiths, Samantha J. (2018): Antiviral activity of the mineralocorticoid receptor NR3C2 against Herpes simplex virus Type 1 (HSV-1) infection. In: Scientific Reports, Bd. 8, Nr. 1 [PDF, 1MB]

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

Hennicker, Rolf; Madeira, Alexandre und Wirsing, Martin (2018): Behavioural and abstractor specifications revisited. In: Theoretical Computer Science, Bd. 741: S. 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 und 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 und 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): S. 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 und Machulla, Tonja (2018): VRHapticDrones: Providing Haptics in Virtual Reality through Quadcopters. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): S. 7-18

Hänsel, Katrin; Poguntke, Romina; Haddadi, Hamed; Alomainy, Akram und 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. 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 und Butz, Andreas (2018): Can a Helmet-mounted Display Make Motorcycling Safer? In: Iui 2018: Proceedings of the 23Rd International Conference on Intelligent User Interfaces: S. 467-476

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

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

Kazempour, Daniyal; Beer, Anna; Herzog, Friederike; Kaltenthaler, Daniel; Lohrer, Johannes-Y. und 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): S. 75-82

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

Kluge, Michael und 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 und 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. Bungartz, Hans-Joachim; Kranzlmüller, Dieter; Weinberg, Volker; Weismüller, Jens und Wohlgemutz, Volker (Hrsg.): In: Adjunct Proceedings of the 32nd EnviroInfo conference, Aachen, Germany: Shaker Verlag GmbH. S. 39-45 [PDF, 414kB]

Kowalewski, Roger; Fuchs, Tobias; Fürlinger, Karl und 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): S. 353-357

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

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

Lachner, Florian; Schneider, Hanna; Simon, Lisa und 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: S. 273-285

Lahmer, Marie; Glatz, Christiane; Seibold, Verena C. und 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: S. 310-319

Lehmann, Florian und 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): S. 115-127

Lu, Yifeng und 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): S. 140-149

Luckow, Andre; Chantzialexiou, George und 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): S. 177-188

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

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

Mai, Christian; Wiltzius, Tim; Alt, Florian und 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: S. 286-298

Marouane, Chadly; Gutschale, Robert und 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, Bd. 16: S. 153-174

Mautz, Dominik; Ye, Wei; Plant, Claudia und 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: S. 1973-1982

Mayer, Sven; Viet Le, Huy; Nesti, Alessandro; Henze, Niels; Bülthoff, Heinrich H. und 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: S. 85-93

Mecke, Lukas; Pfeuffer, Ken; Prange, Sarah und 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): S. 153-159

Moessbauer, Felix; Kowalewski, Roger; Fuchs, Tobias und 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): S. 18-25

Müller, Niklas; Eska, Bettina; Schäffer, Richard; Völkel, Sarah Theres; Braun, Michael; Wiegand, Gesa und 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): S. 335-339

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

Prange, Sarah; Buschek, Daniel und 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): S. 279-283

Rothe, Sylvia; Althammer, Felix und 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): S. 115-119

Rothe, Sylvia; Höllerer, Tobias und 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): S. 127-137

Rothe, Sylvia; Kegeles, Boris; Allary, Mathias und 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 und Phan, Thomy (2018): Action Markets in Deep Multi-Agent Reinforcement Learning. In: Artificial Neural Networks and Machine Learning - Icann 2018, Pt Ii, Bd. 11140: S. 240-249

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

Schramm, Christof; Wang, Yingding und 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): S. 1-8

Schuchart, Joseph; Kowalewski, Roger und 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: S. 21-30

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

Sedlmeier, Andreas und Feld, Sebastian (2018): Learning indoor space perception. In: Journal of Location Based Services, Bd. 12, Nr. 3-4: S. 179-214

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

Stillfried, Georg; Stepper, Johannes; Neppl, Hannah; Vogel, Jörn und 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, Bd. 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 und 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, Bd. 39, Nr. 3, 35703

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

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

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

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

Tseng, Tsun-Ming; Li, Mengchu; Freitas, Daniel Nestor; Mongersun, Amy; Araci, Ismail Emre; Ho, Tsung-Yi und 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 und Ziefle, Martina (2018): Gender-Specific Motivation and Expectations toward Computer Science. In: Proceedings of the 4Th Conference on Gender & It (Genderit '18): S. 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 und Schober, Andreas (2018): Dicer in Macrophages Prevents Atherosclerosis by Promoting Mitochondrial Oxidative Metabolism. In: Circulation, Bd. 138, Nr. 18: S. 2007-2020 [PDF, 7kB]

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

2017

Abdelrahman, Yomna; Khamis, Mohamed; Schneegass, Stefan und Alt, Florian (6. Mai 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. New York, NY, USA: Association for Computing Machinery. S. 3751-3763 [PDF, 1MB]

Abdelrahman, Yomna; Velloso, Eduardo; Dingler, Tilman; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 und 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, Bd. 1, Nr. 3: 33:1-33:20 [PDF, 3MB]

Avis, David und Friedmann, Oliver (2017): An exponential lower bound for Cunningham's rule. In: Mathematical Programming, Bd. 161, Nr. 43132: S. 271-305

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

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

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

Bonfert, Thomas und 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 und Pohl, Alexander Yong-Su (2017): Large class teaching with Backstage. In: Journal of Applied Research in Higher Education, Bd. 9, Nr. 1: S. 105-128

Casanova, Guillaume; Englmeier, Elias; Houle, Michael E.; Kröger, Peer; Nett, Michael; Schubert, Erich und Zimek, Arthur (2017): Dimensional Testing for Reverse k-Nearest Neighbor Search. In: Proceedings of the Vldb Endowment, Bd. 10, Nr. 7: S. 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. und Glasmacher, Elke (2017): Rapid Genome-wide Recruitment of RNA Polymerase II Drives Transcription, Splicing, and Translation Events during T Cell Responses. In: Cell Reports, Bd. 19, Nr. 3: S. 643-654

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

Dingler, Tilman; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 und 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, Bd. 1, Nr. 3: 47:1-47:15 [PDF, 814kB]

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

Fiori, E.; Ferraris, L.; Molini, L.; Siccardi, F.; Kranzlmüller, D. und 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, Bd. 143, Nr. 703: S. 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 und 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 und Jakobi, Sebastian (2017): More on deterministic and nondeterministic finite cover automata. In: Theoretical Computer Science, Bd. 679: S. 18-30

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

Hoffmann, Eike Jens; Schauer, Lorenz; Schönfeld, Mirco und 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 und Schlicht, Philipp (2017): Pumping for ordinal-automatic structures. In: Computability-the Journal of the Association Cie, Bd. 6, Nr. 2: S. 125-164

Höhl, Wolfgang (9. März 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. [PDF, 270kB]

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

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

Khamis, Mohamed; Henderson, J. und Du, Guiying (2017): PerDis 2017. In: Ieee Pervasive Computing, Bd. 16, Nr. 4: S. 86-89

Kiermeier, Marie; Feld, Sebastian und 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. Szakál, Anikó (Hrsg.): In: INES 2017 : IEEE 21st International Conference on Intelligent Engineering Systems : proceedings : October 20-23, 2017, Larnaca, Cyprus, Piscataway, NJ: IEEE. S. 163-168

Kiermeier, Marie; Werner, Martin; Linnhoff-Popien, Claudia; Sauer, Horst und 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. Institute of Electrical and Electronics Engineers (Hrsg.), In: 2017 IEEE International Conference on Industrial Technology (ICIT) : 22-25 March 2017, Piscataway, NJ: IEEE. S. 1226-1231

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

Leong, Siew Hoon; Parodi, Antonio und 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, Bd. 68: S. 136-149

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

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

Matt, Christian ORCID logoORCID: https://orcid.org/0000-0001-9800-2335; Hörndlein, Christian und 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, Bd. 27, Nr. 2: S. 111-124

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

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

Morlok, Tina; Hess, Thomas ORCID logoORCID: https://orcid.org/0000-0003-3969-7477 und 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, Bd. 40, Nr. 5: S. 310-314

Müller, Jens; Kreuz, Sebastian; Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 und Lüdecke, Volker (5. Oktober 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. Proceedings of the 11th European Conference on Games Based Learning, ECGBL 2017. S. 456-463

Natarelli, Lucia; Hartmann, Petra; Wei, Yuanyuan; Geissler, Claudia; Csaba, Gergely; Zimmer, Ralf und Schober, Andreas (2017): MIR-103 target LNCWDR59 to affect endothelial proliferation balanced by NOTCH1 and WNT signaling co-activation. In: Atherosclerosis, Bd. 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 und 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, Bd. 98, Nr. 10: S. 2149-2166

Roider, Florian; Rümelin, Sonja; Pfleging, Bastian und 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: S. 94-102

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

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

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

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

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

Singh, Anna und 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, Bd. 16, Nr. 1: S. 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. und Pericas, Miquel (2017): Trends in Data Locality Abstractions for HPC Systems. In: Ieee Transactions On Parallel and Distributed Systems, Bd. 28, Nr. 10: S. 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 und 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 und 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. Institute of Electrical and Electronics Engineers (Hrsg.), In: ICDE 2017 : 2017 IEEE 33rd International Conference on Data Engineering : 19-22 April 2017, San Diego, California, USA : proceedings, Piscataway, NJ: IEEE. S. 203-206

Züfle, Andreas; Trajcevski, Goce; Pfoser, Dieter; Renz, Matthias; Rice, Matthew T.; Leslie, Timothy; Delamater, Paul und 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. Institute of Electrical and Electronics Engineers (Hrsg.), In: CDE 2017 : 2017 IEEE 33rd International Conference on Data Engineering : 19-22 April 2017, San Diego, California, USA : proceedings, Piscataway, NJ: IEEE. S. 1467-1470

2016

Alt, Florian; Bulling, Andreas; Mecke, Lukas und 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. S. 823-828

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

Apel, Sven; Beyer, Dirk; Mordan, Vitaly; Mutilin, Vadim und 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. S. 349-361

Baier, Stephan; Krompass, Denis und 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. IEEE Computer Society. S. 84-89

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

Beck, Michael Till; Felipe Botero, Juan und 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. IEEE Computer Society. S. 128-133

Beck, Michael Till; Krenn, Stephan; Preiss, Franz-Stefan und 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, Bd. 9824. Cham: Springer. S. 21-39

Belzner, Lenz; Beck, Michael Till; Gabor, Thomas; RoeIle, Harald und 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. S. 54-57

Belzner, Lenz und 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. IEEE Computer Soc.. S. 118-119

Belzner, Lenz; Hennicker, Rolf und Wirsing, Martin (2016): OnPlan: A Framework for Simulation-Based Online Planning. In: Braga, Christiano und Ölveczky, Peter Csaba (Hrsg.): 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, Bd. 9539. Springer. S. 1-30

Berchtold, Evi; Csaba, Gergely und 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 und Steffen, Bernhard (Hrsg.): 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, Bd. 9952. Cham: Springer. S. 874-880

Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel und 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. S. 326-337

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

Beyer, Dirk und 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, Bd. 9952. Cham: Springer. S. 195-211

Boidol, Jonathan und 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. Ramachandran, Muthu (Hrsg.): In: Proceedings of the International Conference on Internet of Things and Big Data, Setúbal: Scitepress. S. 383-390

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

Buschek, Daniel; De Luca, Alexander und Alt, Florian (2016): Evaluating the Influence of Targets and Hand Postures on Touch-based Behavioural Biometrics. In: Kaye, Jofish (Hrsg.): 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. S. 1349-1361

Buschek, Daniel; Hartmann, Fabian; Zezschwitz, Emanuel von; De Luca, Alexander und Alt, Florian (2016): SnapApp: Reducing Authentication Overhead with a Time-Constrained Fast Unlock Option. In: Kaye, Jofish (Hrsg.): 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. S. 3736-3747

Böhm, Christian; Perdacher, Martin und 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. IEEE Computer Society. S. 17-26

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

Christ, Patrick Ferdinand; Lachner, Florian; Hösl, Axel; Menze, Björn; Diepold, Klaus und Butz, Andreas (2016): Human-Drone-Interaction: A Case Study to Investigate the Relation Between Autonomy and User Experience. In: Hua, Gang und Jégou, Hervé (Hrsg.): 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, Bd. 9914. Cham: Springer. S. 238-253

Colley, Ashley; Seitz, Tobias; Lappalainen, Tuomas; Kranz, Matthias und 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 und Schöpp, Ulrich (2016): Computation by interaction for space-bounded functional programming. In: Information and Computation, Bd. 248: S. 150-194

Dalsgaard, Peter; Halskov, Kim und Wiethoff, Alexander (2016): Designing Media Architecture: Tools and Approaches for Addressing the Main Design Challenges. In: Kaye, Jofish (Hrsg.): 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. S. 2562-2573

De Luca, Alexander und Zezschwitz, Emanuel von (2016): Usable privacy and security. In: It-information Technology, Bd. 58, Nr. 5: S. 215-216

Decker, Hendrik und 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, Bd. 9790. Cham: Springer. S. 530-543

Diaz, Carlos Mauricio Castano; Dorner, Birgit; Hußmann, Heinrich und 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. IEEE Computer Society.

Ebert, Andre; Feld, Sebstian und 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. IEEE Computer Society. S. 303-306

Elffers, Jan; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob und 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, Bd. 9710. Cham: Springer. S. 160-176

Esteban, Cristóbal; Staeck, Oliver; Baier, Stephan; Yang, Yinchong und 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. IEEE Computer Society. S. 93-101

Esteban, Cristóbal; Tresp, Volker; Yang, Yinchong; Baier, Stephan und 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. IEEE Computer Society. S. 98-105

Fakesch, Jens (25. Juli 2016): Multi-User 3D Augmented Reality Anwendung für die gemeinsame Interaktion mit virtuellen 3D Objekten. Masterarbeit, Fakultät für Mathematik, Informatik und Statistik, Ludwig-Maximilians-Universität München. [PDF, 31MB]

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

Feld, Sebastian; Werner, Martin und 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. IEEE Computer Society.

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

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

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

Fuchs, Tobias und 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. IEEE Computer Soc.. S. 1061-1068

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

Fysaraki, Maria und 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. Uhomoibhi, James (Hrsg.): In: Proceedings of the 8th International Conference on Computer Supported Education - (Volume 1), Scitepress. S. 507-512

Fürlinger, Karl; Fuchs, Tobias und 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): S. 983-990

Gabor, Thomas; Belzner, Lenz; Kiermeier, Marie; Beck, Michael Till und 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. IEEE Computer Soc.. S. 374-379

García-Hernández, Rubén Jesús; Anthes, Christoph; Wiedemann, Markus und 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. IEEE Computer Society.

Geistlinger, Ludwig; Csaba, Gergely und 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 und 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. IEEE Computer Soc.. S. 889-894

Guillen, Oscar M.; Schmidt, Dawin und 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): S. 325-330

Haeuslschmid, Renate; Shou, Yixin; O'Donovan, John; Burnett, Gary und 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. S. 1-8

Han, Jiawei; Liu, Yanheng; Sun, Xin und 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. IEEE Computer Society. S. 398-401

Hassani, Marwan; Lu, Yifeng; Wischnewsky, Jens und 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. IEEE Computer Society. S. 2128-2135

Hassani, Marwan und Seidl, Thomas (2016): Clustering Big Data streams: recent challenges and contributions. In: It-information Technology, Bd. 58, Nr. 4: S. 206-213

Haykin, Simon; Tresp, Volker und Benediktsson, Jon Atli (2016): Big Data: Practical Applications. In: Proceedings of the Ieee, Bd. 104, Nr. 11: S. 2082-2084

Heikkurinen, Matti und 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. IEEE Computer Society. S. 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, Bd. 9952. Cham: Springer. S. 570-588

Hennicker, Rolf; Bidoit, Michel und Dang, Thanh-Son (2016): On Synchronous and Asynchronous Compatibility of Communicating Components. In: Lafuente, Alberto Lluch und Proença, José (Hrsg.): 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, Bd. 9686. Cham: Springer. S. 138-156

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

Hogan, Trevor; Hornecker, Eva; Stusak, Simon; Jansen, Yvonne; Alexander, Jason; Moere, Andrew Vande; Hinrichs, Uta und Nolan, Kieran (2016): Tangible Data, explorations in data physicalization. In: Bakker, Saskia (Hrsg.): 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. S. 753-756

Hoggenmüller, Marius und 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 und 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. IEEE Computer Society.

Häuslschmid, Renate; Pfleging, Bastian und Alt, Florian (2016): A Design Space to Support the Development of Windshield Applications for the Car. In: Kaye, Jofish (Hrsg.): 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. S. 5076-5091

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

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

Jähnichen, Stefan und 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, Bd. 9952. Cham: Springer. S. 639-641

Jähnichen, Stefan und 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, Bd. 9952. Cham: Springer. S. 535-538

Kolb, Daniel ORCID logoORCID: https://orcid.org/0000-0001-9645-3319 (Dezember 2016): Mesh based Scene Evaluation Metrics for LOD and Simplification. Masterarbeit, Fakultät für Mathematik, Informatik und Statistik, Ludwig-Maximilians-Universität München. [PDF, 8MB]

Kowalewski, Roger und 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, Bd. 9833. Cham: Springer. S. 51-62

Kroiß, Christian und 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, Bd. 56: S. 124-139

Lachner, Florian; Nägelein, Philipp; Kowalski, Robert; Spann, Martin ORCID logoORCID: https://orcid.org/0000-0003-4645-3913 und 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 und 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. IEEE Computer Society. S. 85-92

Lohrer, Johannes-Y.; Kaltenthaler, Daniel; Kröger, Peer; Meijden, Christiaan van der und 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, Bd. 56: S. 558-570

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

Maiterth, Matthias; Schulz, Martin; Kranzlmüller, Dieter und 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. IEEE Computer Society. S. 1142-1149

Marouane, Chadly; Ebert, Andre; Linnhoff-Popien, Claudia und 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. IEEE Computer Society.

Marouane, Chadly; Maier, Marco; Leupold, Alexander und 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. IEEE Computer Soc..

Mauder, Markus; Bobkova, Yulia und Ntoutsi, Eirini (2016): GMMbuilder - User-Driven Discovery of Clustering Structure for Bioarchaeology. In: Berendt, Bettina (Hrsg.): 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, Bd. 9853. Cham: Springer. S. 8-11

Mauder, Markus; Ntoutsi, Eirini; Kröger, Peer; Mayr, Christoph; Grupe, Gisela; Toncala, Anita und 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. IEEE Computer Society. S. 233-242

Mautz, Dominik; Böhm, Christian und 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. IEEE Computer Society. S. 1225-1234

Mohr, Anja; Kothe, Tina und 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. S. 684-687

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

Odaker, Thomas; Kranzlmüller, Dieter und Volkert, Jens (2016): GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses. In: Kofroň, Jan und Vojnar, Tomáš (Hrsg.): 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, Bd. 9548. Cham: Springer. S. 107-118

Odaker, Thomas; Wiedemann, Markus; Anthes, Christoph und 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. S. 361-362

Palleis, Henri und Hußmann, Heinrich (2016): Indirect 2D Touch Panning: How Does It Affect Spatial Memory and Navigation Performance? In: Kaye, Jofish (Hrsg.): 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. S. 1947-1951

Pesch, Robert und 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. S. 605-614

Pfleging, Bastian; Fekety, Drea K.; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 und Kun, Andrew L. (2016): A Model Relating Pupil Diameter to Mental Workload and Lighting Conditions. In: Kaye, Jofish (Hrsg.): 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. S. 5776-5788

Richter, Jakob; Kotthaus, Helena; Bischl, Bernd; Marwedel, Peter; Rahnenführer, Jörg und 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, Bd. 10079. Cham: Springer. S. 267-273

Ringsquandl, Martin; Lamparter, Steffen und 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. IEEE Computer Society. S. 6937-6942

Ringsquandl, Martin; Lamparter, Steffen; Thon, Ingo; Lepratti, Raffaello und 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. IEEE Computer Society. S. 121-127

Scharwächter, Erik; Müller, Emmanuel; Donges, Jonathan; Hassani, Marwan und 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. IEEE Computer Society. S. 1191-1196

Schauer, Lorenz; Dorfmeister, Florian und 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 und 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. IEEE Computer Society.

Schiffers, Michael; gentschen Felde, Nils und 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, Bd. 14: S. 85-89

Schmid, Klaus Arthur; Frey, Christian; Peng, Fengchao; Weiler, Michael; Zufle, Andreas; Chen, Lei und 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. IEEE Computer Society. S. 1145-1152

Schneider, Hanna; Frison, Katharina; Wagner, Julie und 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. Foth, Marcus (Hrsg.): In: DIS 2016 : Proceedings of the 2016 ACM Conference on Designing Interactive Systems, New York: Association for Computing Machinery. S. 415-425

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

Schneider, Hanna; Moser, Kilian; Butz, Andreas und 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 (Hrsg.): 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. S. 309-320

Schordan, Markus; Beyer, Dirk und 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, Bd. 9952. Cham: Springer. S. 191-194

Schöppner, Patricia; Csaba, Gergely; Braun, Tatjana; Daake, Marina; Richter, Bettina; Lange, Oliver F.; Zacharias, Martin; Zimmer, Ralf und 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, Bd. 428, Nr. 8: S. 1544-1557

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

Steinberger, Fabius; Proppe, Patrick; Schroeter, Ronald und 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. S. 83-90

Stusak, Simon; Hobe, Moritz und Butz, Andreas (2016): If Your Mind Can Grasp It, Your Hands Will Help. In: Bakker, Saskia (Hrsg.): 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. S. 92-99

Tausch, Sarah; Ta, Stephanie und Hußmann, Heinrich (2016): A Comparison of Cooperative and Competitive Visualizations for Co-located Collaboration. In: Kaye, Jofish (Hrsg.): 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. S. 5034-5039

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

Tseng, Tsun-Ming; Li, Mengchu; Li, Bing; Ho, Tsung-Yi und 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 und Butz, Andreas (2016): Social Robots for the 21st Century. In: Computer, Bd. 49, Nr. 6: S. 88-92

Velloso, Eduardo; Wirth, Markus; Weichel, Christian; Esteves, Augusto und 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. S. 812-817

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

Werner, Martin; Hahn, Carsten und 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. IEEE Computer Society.

Wurm, Luisa; García, Rubén; Anthes, Christoph; Kranzlmüller, Dieter und Höhl, Wolfgang (30. Mai 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. [PDF, 7MB]

Yang, Yinchong; Esteban, Cristóbal und Tresp, Volker (2016): Embedding Mapping Approaches for Tensor Factorization and Knowledge Graph Modelling. In: Sack, Harald (Hrsg.): 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, Bd. 9678. Cham: Springer. S. 199-213

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

Zach, Neta; Küffner, Robert; Atassi, Nazem; Chio, Adriano; Cudkowicz, Merit; Hardiman, Orla und 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, Bd. 86

Zezschwitz, Emanuel von; Ebbinghaus, Sigrid; Hußmann, Heinrich und De Luca, Alexander (2016): You Can't Watch This! Privacy-Respectful Photo Browsing on Smartphones. In: Kaye, Jofish (Hrsg.): 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. S. 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 und Koch, Jan C. (2016): Calpain-mediated cleavage of collapsin response mediator protein-2 drives acute axonal degeneration. In: Scientific Reports, Bd. 6, 37050 [PDF, 2MB]

Zhou, Linfei; Georgii, Elisabeth; Plant, Claudia und Böhm, Christian (2016): Covariate-Related Structure Extraction from Paired Data. In: Renda, M. Elena (Hrsg.): 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, Bd. 9832. Cham: Springer. S. 151-162

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

Zimmermann, Max; Ntoutsi, Eirini und Spiliopoulou, Myra (2016): Extracting opinionated (sub)features from a stream of product reviews using accumulated novelty and internal reorganization. In: Information Sciences, Bd. 329: S. 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 und 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 und Friedel, Caroline C. (2015): ContextMap 2: fast and accurate context-based RNA-seq mapping. In: BMC Bioinformatics 16:122 [PDF, 1MB]

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

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

Höhl, Wolfgang ORCID logoORCID: https://orcid.org/0000-0002-2242-4395 und Broschart, Daniel (2015): Augmented reality in architecture and urban planning. In: GIS.Science : die Zeitschrift für Geoinformatik, Bd. 1: S. 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 und Landthaler, Markus (2015): RC3H1 post-transcriptionally regulates A20 mRNA and modulates the activity of the IKK/NF-kappa B pathway. In: Nature Communications, Bd. 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. und Dölken, Lars (2015): Widespread disruption of host transcription termination in HSV-1 infection. In: Nature Communications, Bd. 6, 7126 [PDF, 1MB]

Schreiber, Konrad; Csaba, Gergely; Haslbeck, Martin und 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 und Shao, Junming (2015): Predicting Multiple Functions of Sustainable Flood Retention Basins under Uncertainty via Multi-Instance Multi-Label Learning. In: Water, Bd. 7, Nr. 4: S. 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 und 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 und 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. ISMAR 2014 - IEEE International Symposium on Mixed and Augmented Reality - Science and Technology 2014, Proceedings.

Behmel, Andreas; Kienzl, Thomas und 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. [PDF, 257kB]

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

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

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

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

Windhager, Lukas; Zierer, Jonas und 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 und Bry, François (2013): Analysing Temporal Relations – Beyond Windows, Frames and Predicates. [PDF, 487kB]

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

2012

Brodt, Simon und 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 und Furche, Tim (2012): Term-Specific Eigenvector-Centrality in Multi-Relation Networks. In: International Journal of Social Network Mining, Bd. 1, Nr. 2: S. 141-159 [PDF, 351kB]

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

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

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

Lindner, Robert und 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 und 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, Bd. 7, Nr. 1: S. 33-41 [PDF, 561kB]

2011

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

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

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

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

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

2010

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

Brodt, Simon; Hausmann, Steffen; Bry, François; Poppe, Olga und Eckert, Michael (30. Juni 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 und Oesterhelt, Dieter (Juni 2010): Characterization of growth and metabolism of the haloalkaliphile Natronomonas pharaonis.
In: PLOS Computational Biology 6(6), e1000799 [PDF, 1MB]

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

Küffner, Robert; Petri, Tobias; Windhager, Lukas und 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 und Verclas, Stephan (2010): Open Innovation: die T-Systems-LMU München Kooperation „Mobile Business Applications“. In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Bd. 37, Nr. 1: S. 41-47 [PDF, 1MB]

Naeem, Haroon; Küffner, Robert; Csaba, Gergely und 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 und 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. S. 71-86 [PDF, 348kB]

Bry, François; Furche, Tim und 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 und Yestekhina, Olga (2009): Four Lessons in Versatility or How Query Languages Adapt to the Web. In: Bry, François (Hrsg.): (2009): Semantic Techniques for the Web : The REWERSE Perspective. Lecture Notes in Computer Science, Bd. 5500. Berlin u.a.: Springer. S. 50-160 [PDF, 1MB]

Bry, François; Furche, Tim und 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. Vossen, Gottfried (Hrsg.): In: Web Information Systems Engineering - WISE 2009 10th International Conference, Poznań, Poland, October 5-7, 2009. Proceedings, Berlin u.a.: Springer. S. 71-86 [PDF, 77kB]

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

Csaba, Gergely; Birzele, Fabian und 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 und Bry, François (1. April 2009): Aktuelles Schlagwort "Complex Event Processing (CEP)". In: Informatik-Spektrum, Bd. 32, Nr. 2: S. 163-167 [PDF, 144kB]

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

Gonzalez, Orland; Gronau, Susanne; Pfeiffer, Friedhelm; Mendoza, Eduardo; Zimmer, Ralf und 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 und Bry, François (2009): A Perfect Match for Reasoning, Explanation, and Reason Maintenance. Third International Conference, RR 2009, Chantilly, USA, 25. - 26. Oktober 2009. Polleres, Axel (Hrsg.): In: Web reasoning and rule systems : third international conference, RR 2009, Chantilly, VA, USA, October 25 - 26, 2009 ; proceedings, Bd. 5837 Berlin: Springer. S. 227-241 [PDF, 238kB]

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

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

2008

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

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

Bry, François und 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 und Hirschman, Lynette (2008): Overview of BioCreative II gene normalization. In: Genome Biology 9:S3 [PDF, 377kB]

Weiand, Klara; Bry, François und 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 und 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. Paschke, Adrian (Hrsg.): In: Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings, Berlin u.a.: Springer. S. 63-77 [PDF, 521kB]

Berger, Sacha; Bry, François; Furche, Tim und 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. Antoniou, Grigoris (Hrsg.): In: Web Reasoning and Rule Systems : First International Conference, RR 2007 , Innsbruck , Austria, June 7-8, 2007 ; Proceedings, Berlin u.a.: Springer. S. 319-328 [PDF, 159kB]

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

Bry, François und 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. Antoniou, Grigoris (Hrsg.): In: Web Reasoning and Rule Systems : First International Conference, RR 2007 , Innsbruck , Austria, June 7-8, 2007 ; Proceedings, Berlin u.a.: Springer. S. 16-30 [PDF, 206kB]

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

Furche, Tim; Linse, Benedikt; Bry, François; Plexousakis, Dimitris und 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. S. 1-52 [PDF, 662kB]

Schaffert, Sebastian; Bry, François und Baumeister, Joachim (1. Dezember 2007): Semantic Wiki. In: Informatik-Spektrum, Bd. 30, Nr. 6: S. 434-439 [PDF, 310kB]

Uwe, Aßmann; Berger, Sacha; Bry, François; Furche, Tim; Henriksson, Jakob und Johannes, Jendrik (2007): Modular Web Queries — From Rules to Stores. OTM 2007 Workshops, Vilamoura, Portugal, 25. - 30. November 2007. Meersman, Robert (Hrsg.): In: 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. S. 1165-1175 [PDF, 193kB]

2006

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

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

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

Bry, François; Eckert, Michael; Patrânjan, Paula-Lavinia und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 48-62 [PDF, 197kB]

Bry, François; Furche, Tim und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 105-119 [PDF, 3MB]

Bry, François; Furche, Tim und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 90-104 [PDF, 230kB]

Bry, François und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 42-49 [PDF, 158kB]

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

Spranger, Stephanie und 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 und Schroeder, Michael (28. Februar 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 und Schroeder, Michael (28. Februar 2005): Use-cases on reactivity. [PDF, 100kB]

Bailey, James; Bry, François; Eckert, Michael und 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 und Patrânjan, Paula Lavinia (2005): Reactivity on the Web. Event Queries in XChange. [PDF, 210kB]

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

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

Bry, François und 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é und Spranger, Stephanie (2005): A Reasoner for Calendric and Temporal Data. Extended Version. [PDF, 194kB]

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

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

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

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

Schaffert, Sebastian; Bry, François und 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 und Wagner, Gerd (5. August 2004): State-of-the-art on evolution and reactivity. [PDF, 817kB]

Bolzer, Oliver; Bry, François; Furche, Tim; Kraus, Sebastian und Schaffert, Sebastian (6. März 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 und Berger, Sacha (15. August 2004): Identification of Design Principles. [PDF, 405kB]

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

Bry, François und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 3 [PDF, 24kB]

Bry, François; Nagel, Wolfgang E. und Schroeder, Michael (1. Dezember 2004): Grid-Computing. In: Informatik-Spektrum, Bd. 27, Nr. 6: S. 542-545 [PDF, 83kB]

Bry, François; Patranjan, Paula-Lavinia und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 450-451 [PDF, 84kB]

Bry, François; Schaffert, Sebastian und Schroeder, Andreas (Januar 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 und Bolzer, Oliver (8. September 2004): Survey over Existing Query and Transformation Languages. [PDF, 917kB]

2003

Bry, François; Lorenz, Bernhard; Ohlbach, Hans Jürgen und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 69-83 [PDF, 154kB]

Bry, François und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 17-34 [PDF, 317kB]

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

Kraus, Michael; Bry, François und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 99-112 [PDF, 326kB]

Kraus, Michael; Bry, François und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 113-127 [PDF, 184kB]

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

2002

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

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

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

Bry, François und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 295-310 [PDF, 219kB]

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

Bry, François und 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. Lecture Notes in Computer Science. Berlin u.a.: Springer. S. 255-270 [PDF, 190kB]

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

2001

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

2000

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

Bry, François und 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 und Schulz, Klaus (1. Oktober 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. und 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 und Wirsing, Martin (1998): Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters. [PDF, 131kB]

1997

Bry, François und Torge, Sunna (Dezember 1997): Model Generation for Appllications - A Tableaux Method. Complete for Finite Satisfiability. [PDF, 252kB]

Swoboda, Walter J.; Mühlberger, Nikolai; Weitkunat, Rolf und Schneeweiß, Sebastian (1997): Internet Surveys by Direct Mailing: An Innovative Way of Collecting Data. In: Social Science Computer Review, Bd. 15, Nr. 3: S. 242-255 [PDF, 848kB]

1996

Bry, François und Seipel, Dietmar (1996): Schlagwort "Deduktive Datenbanken". Informatik-Spektrum, 19 [PDF, 82kB]

1995

Bry, François; Manthey, Rainer und 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. Demolombe, R. (Hrsg.): In: Nonstandard Queries and nonstandard Answers, S. 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. Komorowski, Jan (Hrsg.): In: Methodologies for intelligent systems, Berlin u.a.: Springer. S. 116-131 [PDF, 2MB]

Bry, François; Boley, Harold und Geske, Ulrich (1993): Neuere Entwicklung der deklarativen KI-Programmierung. 17. Fachtagung für Künstliche Intelligenz, Berlin, 13.09.-16.09.1993. Kobsa, Alfred (Hrsg.): In: Proceedings 17. Fachtagung für Künstliche Intelligenz, S. 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. Apt, Krzysztof R. (Hrsg.): In: 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. Karagiannis, Dimitris (Hrsg.): In: Information Systems and Artificial Intelligence: Integration Aspects, S. 30-46 [PDF, 1MB]

Bry, François; Manthey, Rainer und Martens, Bernd (1991): Integrity Verification in Knowledge Bases. 2nd Russian Conference on Logic Programming (RCLP), St. Petersburg, 11.09.-16.09.1991. Voronkov, Andrej (Hrsg.): In: Logic programming, S. 114-139 [PDF, 3MB]

1990

Bry, François (Oktober 1990): Query Evaluation in Deductive Databases. Bottom-up and Top-down Reconciled. In: Data & knowledge engineering, Bd. 5, Nr. 4: S. 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. Institut National de Recherche en Informatique et en Automatique (Hrsg.), In: 6èmes Journées Bases de Données Avancées, S. 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. Kim, Won (Hrsg.): In: Deductive and object-oriented databases, Amsterdam: North Holland Publishing Company. S. 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. Warren, David H. (Hrsg.): In: Logic programming, S. 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. Association for Computing Machinery / Special Interest Group on Automata and Computability Theory (Hrsg.), In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Philadelphia: Association for Computing Machinery. S. 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. Clifford, James (Hrsg.): In: Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, Bd. 18, Nr. 2 New York: Association for Computing Machinery. S. 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. Demetrovics, János (Hrsg.): In: MFDBS eighty-nine, S. 100-116 [PDF, 1MB]

1988

Bry, François und 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 und 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. Schmidt, Joachim W. (Hrsg.): In: Advances in database technology, S. 488-505 [PDF, 1MB]

Bry, François und Manthey, Rainer (1988): SATCHMO: A Theorem Prover Implemented in Prolog. 9th International Conference on Automated Deduction (CADE), Argonne, Illinois, 23.05.-26.05.1988. Lusk, Ewing (Hrsg.): In: Proceedings 9th International Conference on Automated Deduction (CADE), S. 415-434 [PDF, 2MB]

1987

Bry, François und Manthey, Rainer (1987): Proving Finite Satisfiability of Deductive Databases. 1st Workshop on Computer Science Logic (CSL), Karlsruhe, 12.10.-16.10.1987. Börger, Egon (Hrsg.): In: Lecture Notes in Computer Science - CSL '87 : 1st Workshop on Computer Science Logic, S. 44-55 [PDF, 955kB]

Bry, François und 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. Morik, Katharina (Hrsg.): In: GWAI-87: 11th German Workshop on Artificial Intelligence ; proceedings, Berlin u.a.: Springer. S. 221-230 [PDF, 1MB]

1986

Bry, François und 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. Journées Bases de Données Avancées. Bd. 2 S. 1-19 [PDF, 1MB]

Bry, François und 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. Kambayashi, Yahiko (Hrsg.): In: Very large data bases, Los Altos: Morgan Kaufman. S. 13-20 [PDF, 1MB]

Bry, François und Thauront, Gérard (September 1986): Gestion Interne de Données Statistiques. In: Modèles et Bases de Données, Bd. 4: S. 25-38 [PDF, 2MB]

Bry, François und Thauront, Gérard (1986): Spécificités des SGBD statistiques. 4th International Symposium on Data Analysis and Informatics, Versailles, 09.10.-11.10.1985. Diday, E. (Hrsg.): In: Data analysis and informatics, S. 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. Havránek, Tomáš (Hrsg.): In: Proceedings in computational statistics, S. 1-4 [PDF, 340kB]

1983

Bry, François (1983): On the Factorization of Graphs with Exactly One Vertex of Infinite Degree. In: Discrete Mathematics, Bd. 43, Nr. 2-3: S. 317-320 [PDF, 7MB]

Bry, François (1983): On the Number of 1-Factors of Locally Finite Graphs. In: Journal of combinatorial theory, Bd. 34, Nr. 1: S. 48-57 [PDF, 374kB]

Bry, François (1983): Sur les Couplages dans les Graphes localement finis. In: Annals of Discrete Mathematics, Bd. 17: S. 143-147 [PDF, 714kB]

1982

Bry, François und Las Vergnas, Michel (1982): The Edmonds-Gallai Decomposition for Matchings in Locally Finite Graphs. In: Combinatorica, Bd. 2, Nr. 3: S. 229-235 [PDF, 1MB]

1981

Bry, François (Februar 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, Bd. 30, Nr. 1: S. 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 und Bry, François (1978): Introduction a la statistique. Paris: Hermann Collection Methodes. [PDF, 17MB]

Diese Liste wurde am Mon Mar 18 18:11:19 2024 CET erstellt.