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