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.
9773 Publications
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, Simon, et al. “Making Linearizability Compositional for Partially Ordered Executions.” Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–29, doi:10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
Engels, Gregor, et al. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.” Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, edited by Steffen Wischmann and Ernst Andreas Hartmann, Springer Verlag, 2018, pp. 221–31, doi:10.1007/978-3-662-49266-6_16.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate Hardware.” IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers (IEEE), 2018, pp. 22–25, doi:10.1109/LES.2017.2758200.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, Richard. Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1060
Neumann, Jürgen, et al. “When Local Praise Becomes Cheap Talk - Analyzing the Relationship between Reviewer Location and Usefulness of Online Reviews.” Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1061
Gutt, Dominik. “Sorting Out the Lemons - Identifying Product Failures in Online Reviews and Their Relationship with Sales.” Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 1063
Stroh-Maraun, Nadja, et al. “More than Skills: A Novel Matching Proposal for Multiplayer Video Games.” Entertainment Computing, vol. 25, Elsevier, 2018, pp. 26–36, doi:10.1016/j.entcom.2017.12.002.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1064
Rumert, Luis. Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells. Universität Paderborn, 2018.
LibreCat
2018 | Mastersthesis | LibreCat-ID: 1066
Arfeen, Muhammad Fahad. How Effective Are Leniency Programs in Cartel Deterrence - An Overview of the Empirical and Experimental Literature. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1067
Kersting, Florian. Die Deutsche Fußball Liga GmbH - ein Syndikat? Die Zentralvermarktung der Live-TV-Übertragungsrechte aus wettbewerbspolitischer Sicht. Universität Paderborn, 2018.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 1068
Beichl, Philipp. Das Zusammenschlussvorhaben der REWE Markt GmbH und Coop eG - eine wettbewerbspolitische Analyse. Universität Paderborn, 2018.
LibreCat
2018 | Journal Article | LibreCat-ID: 107
Zimmermann , Steffen, et al. “Decomposing the Variance of Consumer Ratings and the Impact on Price and Demand.” Information Systems Research, vol. 29, no. 4, INFORMS, 2018, pp. 984–1002, doi:10.1287/isre.2017.0764.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.” Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 1104
Geierhos, Michaela. “Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen.” Unschärfe - Der Umgang mit fehlender Eindeutigkeit, edited by Steffen Freitag et al., 1st ed., Ferdinand Schöningh, 2018, pp. 111–28.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1171
Müller, Michelle, et al. “Beschreib mir deine Wohnung und ich sag dir wer du bist - Eine explorative Analyse von Gastgeberpersönlichkeiten auf Airbnb.” Multikonferenz Wirtschaftsinformatik (MKWI) 2018.
LibreCat
| Files available
2018 | Journal Article | LibreCat-ID: 1173
Kaimann, Daniel, et al. “A Duration Model Analysis of Consumer Preferences and Determinants of Video Game Consumption.” Journal of Consumer Behaviour, vol. 17, no. 3, Wiley Online Library, 2018, pp. 290–301, doi:10.1002/cb.1711.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 11760 | 
Ebbers, Janek, et al. “Evaluation of Modulation-MFCC Features and DNN Classification for Acoustic Event Detection.” DAGA 2018, München, 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1181 |
Bäumer, Frederik Simon, and Michaela Geierhos. “How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas.” 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), edited by Klaus Schmid et al., vol. 2075, CEUR-WS.org, 2018.
LibreCat
| Files available
| Download (ext.)