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: 13790 | 13726 | 13697 | 13673 | 13550 | 13446 | 13406 | 13359 | 13347 | 13346 | 13342 | 13341 | 13281 | 13251 | 13247 | 13244 | 13243 | 13241 | 13198 | 13058 | 12980 | 12971 | 12936 | 12935 | 12934 | 12933 | 12922 | 12760 | 12731 | 12649 | 12037 | 12032 | 10079 | 9995 | 9965 | 9952 | 9914 | 9877 | 9853 | 9833 | 9832 | 9824 | 9790 | 9710 | 9686 | 9681 | 9678 | 9548 | 9539 | 5500 | 1474 | 1328 | 433 | 21 | 16 | 15 | 11 | 7 | 6 | 5 | 1
Anzahl der Publikationen auf dieser Ebene: 87

13790

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Strejček, Jan ORCID logoORCID: https://orcid.org/0000-0001-5873-403X (2022): Case Study on Verification-Witness Validators: Where We Are and Where We Go. 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Singh, Gagandeep und Urban, Caterina (Hrsg.): In: Static Analysis. Proceedings, Lecture Notes in Computer Science Bd. 13790 Cham, Switzerland: Springer. S. 160-174

13726

Hünemörder, Maximilian ORCID logoORCID: https://orcid.org/0000-0001-9848-3714; Schäfer, Levin; Schüler, Nadine-Sarah; Eichberg, Michael und Kröger, Peer (2022): SePass: Semantic Password Guessing Using k-nn Similarity Search in Word Embeddings. 18th International Conference on Advanced Data Mining and Applications, ADMA 2022, Brisbane, QLD, Australia, November 28–30, 2022. In: Advanced Data Mining and Applications. 18th International Conference, ADMA 2022, Brisbane, QLD, Australia, November 28–30, 2022, Proceedings, Part II, Lecture Notes in Computer Science Bd. 13726 Cham: Springer. S. 28-42

13697

Shit, Suprosanna ORCID logoORCID: https://orcid.org/0000-0003-4435-7207; Koner, Rajat ORCID logoORCID: https://orcid.org/0000-0003-3441-8192; Wittmann, Bastian; Paetzold, Johannes; Ezhov, Ivan; Li, Hongwei; Pan, Jiazhen; Sharifzadeh, Sahand; Kaissis, Georgios; Tresp, Volker und Menze, Bjoern (2022): Relationformer: A Unified Framework for Image-to-Graph Generation. 17th European Conference on 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, Lecture Notes in Computer Science Bd. 13697 Cham, Switzerland: Springer. S. 422-439

13673

Wu, Boxi; Gu, Jindong; Li, Zhifeng; Cai, Deng; He, Xiaofei und Liu, Wei (2022): Towards Efficient Adversarial Training on Vision Transformers. 17th European Conference on Computer Vision (ECCV 2022), Tel Aviv, Israel, October 23–27, 2022. In: Computer Vision – ECCV 2022. 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XIII, Lecture Notes in Computer Science Bd. 13673 Cham: Springer. S. 307-325

13550

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Lingsch Rosenfeld, Marian ORCID logoORCID: https://orcid.org/0000-0002-8172-3184 und Spiessl, Martin ORCID logoORCID: https://orcid.org/0000-0002-9169-9130 (2022): A Unifying Approach for Control-Flow-Based Loop Abstraction. 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, Berlin, Germany, September 26–30, 2022. Schlingloff, Bernd-Holger und Chai, Ming (Hrsg.): In: Software Engineering and Formal Methods. 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings, Lecture Notes in Computer Science Bd. 13550 Cham, Switzerland: Springer. S. 3-19

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Spiessl, Martin ORCID logoORCID: https://orcid.org/0000-0002-9169-9130 und Umbricht, Sven ORCID logoORCID: https://orcid.org/0000-0002-5704-0404 (2022): Cooperation Between Automatic and Interactive Software Verifiers. 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, Berlin, Germany, September 26–30, 2022. Schlingloff, Bernd-Holger und Chai, Ming (Hrsg.): In: Software Engineering and Formal Methods. 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings, Lecture Notes in Computer Science Bd. 13550 Cham, Switzerland: Springer. S. 111-128

13446

Genz, Fabio ORCID logoORCID: https://orcid.org/0000-0002-2130-5570; Hufeld, Clemens ORCID logoORCID: https://orcid.org/0000-0002-9428-3456 und Kranzlmüller, Dieter ORCID logoORCID: https://orcid.org/0000-0002-8319-0123 (2022): Processing Physiological Sensor Data in Near Real-Time as Social Signals for Their Use on Social Virtual Reality Platforms. First International Conference on Extended Reality, XR Salento 2022, Lecce, Italy, 6-8 July 2022. De Paolis, Lucio Tommaso; Arpaia, Pasquale und Sacco, Marco (Hrsg.): In: Extended Reality First International Conference, XR Salento 2022, Lecce, Italy, July 6–8, 2022, Proceedings, Part II, Lecture Notes in Computer Science Bd. 13446 Cham, Switzerland: Springer. S. 44-62

13406

Li, Hang; Khan, Qadeer; Tresp, Volker und Cremers, Daniel (2022): Biologically Inspired Neural Path Finding. 15th International Conference on Brain Informatics (BI 2022), Padua, Italy, July 15–17, 2022. Mahmud, Mufti; He, Jing; Vassanelli, Stefano; Zundert, André van und Zhong, Ning (Hrsg.): In: Brain Informatics, Lecture Notes in Computer Science Bd. 13406 Cham: Springer. S. 329-342

13359

Petrakis, Iosif ORCID logoORCID: https://orcid.org/0000-0002-4121-7455 und Wessel, Daniel ORCID logoORCID: https://orcid.org/0000-0002-6768-4457 (2022): Algebras of Complemented Subsets. 18th Conference on Computability in Europe (CiE 2022), Swansea, UK, July 11–15, 2022. Berger, Ulrich; Franklin, Johanna N. Y.; Manea, Florin und Pauly, Arno (Hrsg.): In: Revolutions and Revelations in Computability. 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings, Lecture Notes in Computer Science Bd. 13359 Cham: Springer. S. 246-258

13347

Sedlar, Karel ORCID logoORCID: https://orcid.org/0000-0002-8269-4020 und Zimmer, Ralf ORCID logoORCID: https://orcid.org/0000-0003-1439-2327 (2022): Comparison of Stranded and Non-stranded RNA-Seq in Predicting Small RNAs in a Non-model Bacterium. 9th International Work-Conference, IWBBIO 2022, Maspalomas, Gran Canaria, Spain, June 27–30, 2022. Rojas, Ignacio; Valenzuela, Olga; Rojas, Fernando; Herrera, Luis Javier und Ortuño, Francisco (Hrsg.): In: Bioinformatics and Biomedical Engineering. 9th International Work-Conference, IWBBIO 2022, Maspalomas, Gran Canaria, Spain, June 27–30, 2022, Proceedings, Part II, Lecture Notes in Computer Science Bd. 13347 Cham, Switzerland: Springer. S. 45-56

13346

Schubö, Alexandra ORCID logoORCID: https://orcid.org/0000-0002-3970-2240; Hadziahmetovic, Armin ORCID logoORCID: https://orcid.org/0000-0002-3765-5460; Joppich, Markus ORCID logoORCID: https://orcid.org/0000-0002-6665-8951 und Zimmer, Ralf ORCID logoORCID: https://orcid.org/0000-0003-1439-2327 (2022): Collecting SARS-CoV-2 Encoded miRNAs via Text Mining. 9th International Work-Conference, IWBBIO 2022, Maspalomas, Gran Canaria, Spain, June 27–30, 2022. In: Bioinformatics and Biomedical Engineering. 9th International Work-Conference, IWBBIO 2022, Maspalomas, Gran Canaria, Spain, June 27–30, 2022, Proceedings, Part I, Lecture Notes in Computer Science Bd. 13346 Cham: Springer. S. 429-441

Schwarzerova, Jana ORCID logoORCID: https://orcid.org/0000-0003-2918-9313; Pierides, Iro; Sedlar, Karel ORCID logoORCID: https://orcid.org/0000-0002-8269-4020 und Weckwerth, Wolfram ORCID logoORCID: https://orcid.org/0000-0002-9719-6358 (2022): Linear Predictive Modeling for Immune Metabolites Related to Other Metabolites. 9th International Work-Conference, IWBBIO 2022, Maspalomas, Gran Canaria, Spain, June 27–30, 2022. Rojas, Ignacio; Valenzuela, Olga; Rojas, Fernando; Herrera, Luis Javier und Ortuño, Francisco (Hrsg.): In: Bioinformatics and Biomedical Engineering. 9th International Work-Conference, IWBBIO 2022, Maspalomas, Gran Canaria, Spain, June 27–30, 2022, Proceedings, Part I, Lecture Notes in Computer Science Bd. 13346 Cham: Springer. S. 16-27

13342

Lang, Florian ORCID logoORCID: https://orcid.org/0000-0002-4582-5888; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 und Machulla, Tonja ORCID logoORCID: https://orcid.org/0000-0001-9518-4364 (2022): Mixed Reality as Assistive Technology: Guidelines Based on an Assessment of Residual Functional Vision in Persons with Low Vision. 18th International Conference on Computers Helping People with Special Needs, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022. Miesenberger, Klaus (Hrsg.): In: Computers Helping People with Special Needs. 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part II, Lecture Notes in Computer Science Bd. 13342 Cham: Springer. S. 484-493

Thevin, Lauren ORCID logoORCID: https://orcid.org/0000-0002-5273-2794 und Machulla, Tonja ORCID logoORCID: https://orcid.org/0000-0001-9518-4364 (2022): Visual Impairment Sensitization: Co-Designing a Virtual Reality Tool with Sensitization Instructors. 18th International Conference on Computers Helping People with Special Needs, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022. Miesenberger, Klaus (Hrsg.): In: Computers Helping People with Special Needs. 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part II, Lecture Notes in Computer Science Bd. 13342 Cham: Springer. S. 237-246

13341

Wieland, Markus; Thevin, Lauren; Schmidt, Albrecht ORCID logoORCID: https://orcid.org/0000-0003-3890-1990 und Machulla, Tonja (2022): Non-verbal Communication and Joint Attention Between People with and Without Visual Impairments: Deriving Guidelines for Inclusive Conversations in Virtual Realities. 18th International Conference on Computers Helping People with Special Needs, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022. Miesenberger, Klaus (Hrsg.): In: Computers Helping People with Special Needs, Lecture Notes in Computer Science Bd. 13341 Cham: Springer. S. 295-304

13281

Kopper, Philipp; Wiegrebe, Simon; Bischl, Bernd; Bender, Andreas ORCID logoORCID: https://orcid.org/0000-0001-5628-8611 und Rügamer, David ORCID logoORCID: https://orcid.org/0000-0002-8772-9202 (2022): DeepPAMM: Deep Piecewise Exponential Additive Mixed Models for Complex Hazard Structures in Survival Analysis. 26th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining (PAKDD 2022), Chengdu, China, May 16–19, 2022. Gama, João (Hrsg.): In: Advances in Knowledge Discovery and Data Mining. 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part II, Lecture Notes in Computer Science Bd. 13281 Cham: Springer. S. 249-261

13251

Ritz, Fabian ORCID logoORCID: https://orcid.org/0000-0001-7707-1358; Phan, Thomy; Müller, Robert ORCID logoORCID: https://orcid.org/0000-0003-3108-713X; Gabor, Thomas; Sedlmeier, Andreas; Zeller, Marc; Wieghardt, Jan; Schmid, Reiner; Sauer, Horst; Klein, Cornel und Linnhoff-Popien, Claudia (2022): Specification Aware Multi-Agent Reinforcement Learning. 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021. Rocha, Ana Paula; Steels, Luc und Herik, Jaap van den (Hrsg.): In: Agents and Artificial Intelligence. 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers, Lecture Notes in Computer Science Bd. 13251 Cham: Springer. S. 3-21

13247

Xu, Feifei; Zhou, Shanlin; Ma, Yunpu; Wang, Xinpeng; Zhang, Wenkai und Li, Zhisong (2022): Open-Domain Dialogue Generation Grounded with Dynamic Multi-form Knowledge Fusion. 27th International Conference on Database Systems for Advanced Applications (DASFAA 2022), Hyderabad, India, April 11–14, 2022. Bhattacharya, Arnab (Hrsg.): In: Database Systems for Advanced Applications. 27th International Conference, DASFAA 2022 Virtual Event, April 11–14, 2022 Proceedings, Part III, Lecture Notes in Computer Science Bd. 13247 Cham, Switzerland: Springer. S. 101-116

13244

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 (2022): Progress on Software Verification: SV-COMP 2022. 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022. In: Tools and Algorithms for the Construction and Analysis of Systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022 : proceedings, Part II, Lecture Notes in Computer Science Bd. 13244 Cham, Switzerland: Springer. S. 375-402

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Spiessl, Martin ORCID logoORCID: https://orcid.org/0000-0002-9169-9130 (2022): The Static Analyzer Frama-C in SV-COMP (Competition Contribution). 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Fisman, Dana und Rosu, Grigore (Hrsg.): In: Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings, Part II, Lecture Notes in Computer Science Bd. 13244 Cham: Springer. S. 429-434

Kettl, Matthias ORCID logoORCID: https://orcid.org/0000-0001-7365-5030 und Lemberger, Thomas ORCID logoORCID: https://orcid.org/0000-0003-0291-815X (2022): The Static Analyzer Infer in SV-COMP (Competition Contribution). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Munich, Germany, April 2–7, 2022. In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science Bd. 13244 Cham: Springer. S. 451-456

13243

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 und Kanav, Sudeep ORCID logoORCID: https://orcid.org/0000-0001-6078-4175 (2022): CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022. Fisman, Dana (Hrsg.): In: Tools and algorithms for the construction and analysis of systems. Part 1. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022 : proceedings, Lecture Notes in Computer Science Bd. 13243 Cham, Switzerland: Springer. S. 561-579

13241

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662 (2022): Advances in Automatic Software Testing: Test-Comp 2022. 25th International Conference, FASE 2022, Munich, Germany, April 2–7, 2022. In: Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Lecture Notes in Computer Science Bd. 13241 S. 321-335

Beyer, Dirk ORCID logoORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID logoORCID: https://orcid.org/0000-0001-6078-4175 und Richter, Cedric ORCID logoORCID: https://orcid.org/0000-0003-2906-6508 (2022): Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. . In: Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Lecture Notes in Computer Science Bd. 13241 Cham, Switzerland: Springer. S. 49-70

13198

Draxler, Fiona ORCID logoORCID: https://orcid.org/0000-0002-3112-6015 (2022): Using Wearables to Optimize Learning at Home. INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021. Ardito, Carmelo (Hrsg.): In: Sense, Feel, Design. INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, Lecture Notes in Computer Science Bd. 13198 Cham, Switzerland: Springer. S. 474-480

13058

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

12980

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

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

12971

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

12936

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

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

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

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

12935

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

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

12934

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

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

12933

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

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

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

12922

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

12760

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

12731

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

12649

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

12037

Rezaei, Mina; Näppi, Janne J.; Bischl, Bernd ORCID logoORCID: https://orcid.org/0000-0001-6002-6980; Yoshida, Hiro; Park, Brian J. und Deserno, Thomas M. (2022): Deep mutual GANs: representation learning from multiple experts. SPIE Medical Imaging, 20–24 February 2022, San Diego, California, United States. Deserno, Thomas M. und Park, Brian J. (Hrsg.): In: Medical Imaging 2022: Imaging Informatics for Healthcare, Research, and Applications, SPIE Proceedings volume Bd. 12037 Bellingham, Washington, USA: SPIE. S. 32

12032

Soleymani, Farzin; Eslami, Mohammad; Elze, Tobias; Bischl, Bernd ORCID logoORCID: https://orcid.org/0000-0001-6002-6980; Rezaei, Mina; Išgum, Ivana und Colliot, Olivier (2022): Deep variational clustering framework for self-labeling large-scale medical images. Medical Imaging 2022: Image Processing, San Diego, California, United States, Online, 20–24 February 2022, 21-27 March 2022. Colliot, Olivier; Išgum, Ivana; Landman, Bennett A. und Loew, Murray H. (Hrsg.): In: Medical Imaging 2022: Image Processing : 20-24 February 2022, San Diego, California, United States : 21-27 March 2022, online, Proceedings of SPIE Bd. 12032 Bellingham, Washington, USA: SPIE. S. 9

10079

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

9995

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

9965

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

9952

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 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

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

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

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

9914

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

9877

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

9853

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

9833

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

9832

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

9824

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

9790

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

9710

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

9686

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

9681

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

9678

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

9548

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

9539

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

5500

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]

1474

Friedrich, Markus; Illium, Steffen; Fayolle, Pierre-Alain und Linnhoff-Popien, Claudia (2022): CSG Tree Extraction from 3D Point Clouds and Meshes Using a Hybrid Approach. VISIGRAPP 2020, Virtual, February 6–8, 2022. De Sousa, A. Augusto (Hrsg.): In: Computer Vision, Imaging and Computer Graphics Theory and Applications 17th International Joint Conference, VISIGRAPP 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers, Communications in Computer and Information Science Bd. 1474 Cham, Switzerland: Springer. S. 53-79

1328

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

433

Wimbauer, Anna; Richter, Florian und Seidl, Thomas (2022): PErrCas: Process Error Cascade Mining in Trace Streams. ICPM 2021 International Workshops, Eindhoven, The Netherlands,, October 31 – November 4, 2021. Munoz-Gama, Jorge und Lu, Xixi (Hrsg.): In: Process Mining Workshops. ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 – November 4, 2021, Revised Selected Papers, Lecture Notes in Business Information Processing Bd. 433 S. 224-236

21

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]

16

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]

15

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]

11

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]

7

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]

6

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]

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

5

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]

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]

1

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]

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]

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]

Diese Liste wurde am Wed May 1 18:19:15 2024 CEST erstellt.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz