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.
1597 Publications
2016 | Conference Paper | LibreCat-ID: 142
C. Scheideler, A. Setzer, and T. F. Strothmann, “Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks,” in Proceedings of the 30th International Symposium on Distributed Computing (DISC), 2016, pp. 71--84.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 143
F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “The Monotone Circuit Value Problem with Bounded Genus Is in NC,” in Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON), 2016, pp. 92–102.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 144
B. Monien and M. Mavronicolas, “The complexity of equilibria for risk-modeling valuations,” Theoretical Computer Science, vol. 634, pp. 67–96, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 145
M. Feldotto and K. Graffi, “Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM,” Concurrency and Computation: Practice and Experience, vol. 28, no. 5, pp. 1655–1677, 2016.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 131
A. Holzmann, Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 132
T. Wiersema and M. Platzner, “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware,” in Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
M. Dewender, Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
P. Heinisch, Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 10136
M. Eikel, Insider-resistent Distributed Storage Systems. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Abstract | LibreCat-ID: 135
S. Strotmeyer, T. John, and D. Kundisch, “Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung,” in Multikonferenz Wirtschaftsinformatik (MKWI), Ilmenau, Germany, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 136
D. Vollmers, Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 5934
N. N, Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 5932
N. N, Wie wertvoll ist der Einzelne für das Team? - Performancemessung der Bundesligaspieler anhand der kooperativen Spieltheorie der Saison 2014/2015. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 5940
N. N, Automatisiertes Matching von Angebot und Nachfrage in der Kunststoffindustrie Ein Fallbeispiel in Kooperation mit der PINPOOLS GmbH. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 5935
N. N, Der Einfluss von Netzwerken auf Gleichgewichtspreise - eine spieltheoretische Analyse. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 5931
N. N, Hat vertikale Integration einen Einfluss auf die allgemeine Wohlfahrt? Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 5941
N. N, Stabile Supply-Chains - Basierend auf der Theorie der Matching-Märkte. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 5933
N. N, Die Berechnung von Machtindizes - ein Vergleich verschiedener Verfahren. Universität Paderborn, 2016.
LibreCat