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.
7292 Publications
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 | Journal Article | LibreCat-ID: 13458
Vibration eigenmodes of the Au-(5×2)/Si(111) surface studied by Raman spectroscopy and first-principles calculations
M. Liebhaber, B. Halbig, U. Bass, J. Geurts, S. Neufeld, S. Sanna, W.G. Schmidt, E. Speiser, J. Räthel, S. Chandola, N. Esser, Physical Review B 94 (2016).
LibreCat
| DOI
M. Liebhaber, B. Halbig, U. Bass, J. Geurts, S. Neufeld, S. Sanna, W.G. Schmidt, E. Speiser, J. Räthel, S. Chandola, N. Esser, Physical Review B 94 (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 | Conference Paper | LibreCat-ID: 10226
Evaluating tests in medical diagnosis-Combining machine learning with game-theoretical concepts
K. Pfannschmidt, E. Hüllermeier, S. Held, R. Neiger, in: In Proceedings IPMU 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part 1, Eindhoven, The Netherlands, Springer, 2016, pp. 450–461.
LibreCat
K. Pfannschmidt, E. Hüllermeier, S. Held, R. Neiger, in: In Proceedings IPMU 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part 1, Eindhoven, The Netherlands, Springer, 2016, pp. 450–461.
2016 | Journal Article | LibreCat-ID: 10266
Exploiting HIV-1 protease and reverse transcriptase cross-resistance information for improved drug resistance prediction by means of multi-label classification
M. Riemenschneider, R. Senge, U. Neumann, E. Hüllermeier, D. Heider, BioData Mining 9 (2016).
LibreCat
M. Riemenschneider, R. Senge, U. Neumann, E. Hüllermeier, D. Heider, BioData Mining 9 (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 | Journal Article | LibreCat-ID: 13478
Surface vibrational Raman modes of In:Si(111)(4×1)and(8×2)nanowires
E. Speiser, N. Esser, S. Wippermann, W.G. Schmidt, Physical Review B 94 (2016).
LibreCat
| DOI
E. Speiser, N. Esser, S. Wippermann, W.G. Schmidt, Physical Review B 94 (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 | Conference Paper | LibreCat-ID: 24264
Fast Dynamic Fault Injection for Virtual Microcontroller Platforms
P. Adelt, B. Koppelmann, W. Müller, M. Becker, B. Kleinjohann, C. Scheytt, in: Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC), Tallin, Estonia, 2016.
LibreCat
| Files available
| DOI
P. Adelt, B. Koppelmann, W. Müller, M. Becker, B. Kleinjohann, C. Scheytt, in: Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC), Tallin, Estonia, 2016.
2016 | Conference Paper | LibreCat-ID: 24265
An all-transmission-line 220 GHz differential LNA in SiGe BiCMOS
Y. Mao, K. Schmalz, C. Scheytt, E. Shiju, in: IEEE International Symposium on Radio-Frequency Integration Technology, Taipei, Taiwan, 2016.
LibreCat
| Files available
| DOI
Y. Mao, K. Schmalz, C. Scheytt, E. Shiju, in: IEEE International Symposium on Radio-Frequency Integration Technology, Taipei, Taiwan, 2016.
2016 | Journal Article | LibreCat-ID: 31800
"Merit hat 4 von 5 Subtraktionsaufgaben durch Rückwärtszählen gelöst". Leistungsbeurteilung im inklusiven Mathematikunterricht
U. Häsel-Weide, Sonderpädagogische Förderung heute 4 (2016) 356–368.
LibreCat
U. Häsel-Weide, Sonderpädagogische Förderung heute 4 (2016) 356–368.
2016 | Book Chapter | LibreCat-ID: 31825
Schreiberfahrung von Studierenden aus verschiedenen Fächergruppen und deren wahrgenommener Unterstützungsbedarf beim akademischen Schreiben. Ergebnisse einer Querschnittsstudie
S. Ballweg, C. Kuhn, L. Hertweck, in: S. Ballweg (Ed.), Schreibberatung und Schreibförderung. Impulse aus Theorie, Empirie und Praxis, Lang, Frankfurt, 2016, pp. 137–172.
LibreCat
S. Ballweg, C. Kuhn, L. Hertweck, in: S. Ballweg (Ed.), Schreibberatung und Schreibförderung. Impulse aus Theorie, Empirie und Praxis, Lang, Frankfurt, 2016, pp. 137–172.
2016 | Book Chapter | LibreCat-ID: 31824
Portfolios as a means of developing and assessing writing skills
S. Ballweg, in: S. Göpferich, I. Neumann, C. Sing (Eds.), Developing and Assessing Academic Writing Skills, Lang, Frankfurt, 2016, pp. 143–172.
LibreCat
S. Ballweg, in: S. Göpferich, I. Neumann, C. Sing (Eds.), Developing and Assessing Academic Writing Skills, Lang, Frankfurt, 2016, pp. 143–172.