Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7568 Publications
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2018). Making Linearizability Compositional for Partially Ordered Executions. In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (pp. 110–129). https://doi.org/10.1007/978-3-319-98938-9\_7
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
Engels, G., Maier, G. W., Ötting, S. K., Steffen, E., & Teetz, A. (2018). Gerechtigkeit in flexiblen Arbeits- und Managementprozessen. In S. Wischmann & E. A. Hartmann (Eds.), Zukunft der Arbeit – Eine praxisnahe Betrachtung (pp. 221–231). Berlin, Heidelberg: Springer Verlag. https://doi.org/10.1007/978-3-662-49266-6_16
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, R. (2018). Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, J. N. (2018). Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1060
Neumann, J., Gutt, D., Kundisch, D., & van Straaten, D. (2018). When Local Praise Becomes Cheap Talk - Analyzing the Relationship between Reviewer Location and Usefulness of Online Reviews. In Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1061
Gutt, D. (2018). Sorting Out the Lemons - Identifying Product Failures in Online Reviews and their Relationship with Sales. In Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 1063
Stroh-Maraun, N., Kaimann, D., & Cox, J. (2018). More than skills: A novel matching proposal for multiplayer video games. Entertainment Computing, 25, 26–36. https://doi.org/10.1016/j.entcom.2017.12.002
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 107
Zimmermann , S., Herrmann, P., Kundisch, D., & Nault, B. (2018). Decomposing the Variance of Consumer Ratings and the Impact on Price and Demand. Information Systems Research, 29(4), 984–1002. https://doi.org/10.1287/isre.2017.0764
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE) (pp. 1182--1193). Gothenburg, Sweden: ACM.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, F. P. (2018). Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn.
LibreCat
2018 | Book Chapter | LibreCat-ID: 1104
Geierhos, M. (2018). Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen. In S. Freitag, M. Geierhos, R. Asmani, & J. I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit (1st ed., pp. 111–128). Paderborn, Germany: Ferdinand Schöningh.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1171
Müller, M., Gutt, D., & Neumann, J. (n.d.). Beschreib mir deine Wohnung und ich sag dir wer du bist - Eine explorative Analyse von Gastgeberpersönlichkeiten auf Airbnb. In Multikonferenz Wirtschaftsinformatik (MKWI) 2018. Lüneburg.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 1173
Kaimann, D., Stroh-Maraun, N., & Cox, J. (2018). A Duration Model Analysis of Consumer Preferences and Determinants of Video Game Consumption. Journal of Consumer Behaviour, 17(3), 290–301. https://doi.org/10.1002/cb.1711
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 11760 | 
Ebbers, J., Nelus, A., Martin, R., & Haeb-Umbach, R. (2018). Evaluation of Modulation-MFCC Features and DNN Classification for Acoustic Event Detection. In DAGA 2018, München.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1181 |
Bäumer, F. S., & Geierhos, M. (2018). How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018) (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1182 |
Friesen, E., Bäumer, F. S., & Geierhos, M. (2018). CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018) (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1183 |
Caron, M., Bäumer, F. S., & Geierhos, M. (2018). Back to Basics: Extracting Software Requirements with a Syntactic Approach. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018) (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11835 |
Heymann, J., Drude, L., Haeb-Umbach, R., Kinoshita, K., & Nakatani, T. (2018). Frame-Online DNN-WPE Dereverberation. In IWAENC 2018, Tokio, Japan.
LibreCat
| Files available
| Download (ext.)