Informatik und Informationswissenschaft: Recent submissions

  • Bak, Stanley; Bogomolov, Sergiy; Schilling, Christian (2017) - Contribution to a conference collection
    Published in: ARCH16 : 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems / Frehse, Goran; Althoff, Matthias (ed.). - Manchester : easychair, 2017. - (EPiC Series in Computing ; 43). - pp. 80-90. - ISSN 2398-7340
  • Althoff, Matthias; Bak, Stanley; Chen, Xin; Fan, Chuchu; Forets, Marcelo; Frehse, Goran; Kochdumper, Niklas; Li, Yangge; Mitra, Sayan; Schilling, Christian et al. (2018) - Contribution to a conference collection
    Published in: ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems / Frehse, Goran (ed.). - Manchester : EasyChair, 2018. - (EPiC Series in Computing ; 54). - pp. 23-52. - ISSN 2398-7340
  • Immler, Fabian; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Forets, Marcelo; Geretti, Luca; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian (2019) - Contribution to a conference collection
    Published in: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems / Frehse, Goran; Althoff, Matthias (ed.). - Manchester : EasyChair, 2019. - (EPiC Series in Computing ; 61). - pp. 41-61. - ISSN 2398-7340
  • Althoff, Matthias; Bak, Stanley; Forets, Marcelo; Frehse, Goran; Kochdumper, Niklas; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan (2019) - Contribution to a conference collection
    Published in: ARCH19 : 6th International Workshop on Applied Verification of Continuous and Hybrid Systems / Frehse, Goran; Althoff, Matthias (ed.). - Manchester : EasyChair, 2019. - (EPiC Series in Computing ; 61). - pp. 14-40. - ISSN 2398-7340
  • Spinde, Timo; Rudnitckaia, Lada; Mitrović, Jelena; Hamborg, Felix; Granitzer, Michael; Gipp, Bela; Donnay, Karsten (2021) - Journal article
    Published in: Information Processing & Management ; 58 (2021), 3. - 102505. - Elsevier. - ISSN 0306-4573. - eISSN 1873-5371
  • Geretti, Luca; dit Sandretto, Julien Alexandre; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter; Forets, Marcelo; Freire, Daniel; Schilling, Christian et al. (2020) - Contribution to a conference collection
    Published in: ARCH20 : 7th International Workshop on Applied Verification of Continuous and Hybrid Systems / Frehse, Goran; Althoff, Matthias (ed.). - Manchester : EasyChair, 2020. - (EPiC Series in Computing ; 74). - pp. 49-75. - ISSN 2398-7340
  • Althoff, Matthias; Bak, Stanley; Bao, Zongnan; Forets, Marcelo; Frehse, Goran; Freire, Daniel; Kochdumper, Niklas; Li, Yangge; Mitra, Sayan; Schilling, Christian et al. (2020) - Contribution to a conference collection
    Published in: ARCH20 : 7th International Workshop on Applied Verification of Continuous and Hybrid Systems / Frehse, Goran; Althoff, Matthias (ed.). - Manchester : easychair, 2020. - (EPiC Series in Computing ; 74). - pp. 16-18. - ISSN 2398-7340
  • Beck, Christin; Booth, Hannah; El-Assady, Mennatallah; Butt, Miriam (2020) - Contribution to a conference collection
    Published in: Proceedings of the 14th Linguistic Annotation Workshop / Dipper, Stefanie; Zelders, Amir (ed.). - Stroudsburg, PA : ACL, 2020. - pp. 60-73. - ISBN 978-1-952148-33-0
  • Lu, Kecheng; Feng, Mi; Chen, Xin; Sedlmair, Michael; Deussen, Oliver; Lischinski, Dani; Cheng, Zhanglin; Wang, Yunhai (2021) - Journal article
    Published in: IEEE Transactions on Visualization and Computer Graphics ; 27 (2021), 2. - pp. 475-484. - IEEE. - ISSN 1077-2626. - eISSN 1941-0506
  • Bu, Chuan; Zhang, Quanjie; Wang, Qianwen; Zhang, Jian; Sedlmair, Michael; Deussen, Oliver; Wang, Yunhai (2021) - Journal article
    Published in: IEEE Transactions on Visualization and Computer Graphics ; 27 (2021), 2. - pp. 1634-1643. - IEEE. - ISSN 1077-2626. - eISSN 1941-0506
  • Hu, Ruizhen; Chen, Bin; Xu, Juzhan; Van Kaick, Oliver; Deussen, Oliver; Huang, Hui (2021) - Journal article
    Published in: IEEE Transactions on Visualization and Computer Graphics ; 2021. - IEEE. - ISSN 1077-2626. - eISSN 1941-0506
  • Rupp, Matthias (2015) - Journal article
    Published in: International Journal of Quantum Chemistry ; 115 (2015), 16. - pp. 1003-1004. - Wiley. - ISSN 0020-7608. - eISSN 1097-461X
  • Timm, Mike; Storandt, Sabine (2020) - Contribution to a conference collection
    Published in: 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2020) / Huisman, Dennis; Zaroliagis, Christos D. (ed.). - Saarbrücken/Wadern : Dagstuhl Publishing, 2020. - (OpenAccess Series in Informatics (OASIcs) ; 85). - 2. - eISSN 1868-8969. - ISBN 978-3-95977-170-2
  • Nyshadham, Chandramouli; Rupp, Matthias; Bekker, Brayden; Shapeev, Alexander V.; Mueller, Tim; Rosenbrock, Conrad W.; Csányi, Gábor; Wingate, David W.; Hart, Gus L. W. (2019) - Journal article
    Published in: npj Computational Materials ; 5 (2019), 1. - 51. - Nature Publishing Group. - eISSN 2057-3960
  • Jiang, Xukai; Yang, Kai; Yuan, Bing; Gong, Bin; Wan, Lin; Patil, Nitin A.; Swarbrick, James D.; Schreiber, Falk; Velkov, Tony; Li, Jian et al. (2020) - Journal article
    Published in: The Journal of Biological Chemistry ; 295 (2020), 47. - pp. 15902-15912. - Elsevier. - ISSN 0021-9258. - eISSN 1083-351X
  • Kotlarek, Joseph; Kwon, Oh-Hyun; Ma, Kwan-Liu; Eades, Peter; Kerren, Andreas; Klein, Karsten; Schreiber, Falk (2020) - Contribution to a conference collection
    Published in: 2020 IEEE Pacific Visualization Symposium (PacificVis) : Tianjin, China, 14-17 April, 2020 : proceedings / Beck, Fabian; Seo, Jinwook; Wang, Chaoli (ed.). - Piscataway, NJ : IEEE, 2020. - pp. 1-10. - ISSN 2165-8765. - eISSN 2165-8773. - ISBN 978-1-72815-698-9
  • Schneider, Bruno; Keim, Daniel A.; El-Assady, Mennatallah (2020) - Contribution to a conference collection
    Published in: VISIGRAPP 2020 : proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications : Valletta, Malta, February 27-29, 2020 ; Volume 3: IVAPP / Kerren, Andreas et al. (ed.). - Sétubal : SCITEPRESS, 2020. - pp. 141-148. - ISBN 9789897584022
  • Hartenfeller, Markus; Zettl, Heiko; Walter, Miriam; Rupp, Matthias; Reisen, Felix; Proschak, Ewgenij; Weggen, Sascha; Stark, Holger; Schneider, Gisbert (2012) - Journal article
    Published in: PLoS Computational Biology ; 8 (2012), 2. - e1002380. - Public Library of Science (PLoS). - ISSN 1553-734X. - eISSN 1553-7358
  • Bogomolov, Sergiy; Schilling, Christian; Bartocci, Ezio; Batt, Gregory; Kong, Hui; Grosu, Radu (2015) - Contribution to a conference collection
    Published in: Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17 - 19, 2015, proceedings / Piterman, Nir (ed.). - Cham : Springer, 2015. - (Lecture Notes in Computer Science ; 9434). - pp. 19-35. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-26286-4
  • Rupp, Matthias; Bauer, Matthias R.; Wilcken, Rainer; Lange, Andreas; Reutlinger, Michael; Boeckler, Frank M.; Schneider, Gisbert (2014) - Journal article
    Published in: PLoS Computational Biology ; 10 (2014), 1. - e1003400. - Public Library of Science (PLoS). - ISSN 1553-734X. - eISSN 1553-7358

Search KOPS


Browse

My Account