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.
9804 Publications
2018 | Journal Article | LibreCat-ID: 669
Feldotto, Matthias, et al. “Congestion Games with Mixed Objectives.” Journal of Combinatorial Optimization, vol. 36, no. 4, Springer Nature, 2018, pp. 1145–67, doi:10.1007/s10878-017-0189-y.
LibreCat
| Files available
| DOI
| arXiv
2018 | Book | LibreCat-ID: 6738
Gruber, Hans, and Christian Harteis. Individual and Social Influences on Professional Learning. Springer International Publishing, 2018, doi:10.1007/978-3-319-97041-7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6763
Jovanovikj, Ivan, et al. “Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model.” Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, edited by Jan Mendling and Haralambos Mouratidis, Springer International Publishing, 2018, pp. 133–47, doi:https://doi.org/10.1007/978-3-319-92901-9_13.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6828
Derrick, John, et al. “Mechanized Proofs of Opacity: A Comparison of Two Techniques.” Formal Asp. Comput., vol. 30, no. 5, 2018, pp. 597–625, doi:10.1007/s00165-017-0433-3.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
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 | 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