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.
1906 Publications
2014 | Conference Paper | LibreCat-ID: 408
Integrating Software and Hardware Verification
M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in: E. Albert, E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), 2014, pp. 307–322.
LibreCat
| Files available
| DOI
M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in: E. Albert, E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), 2014, pp. 307–322.
2014 | Conference Paper | LibreCat-ID: 4080
TEM investigations on the nanoheteroepitaxy of semiconductors
J. Lindner, in: 2014.
LibreCat
J. Lindner, in: 2014.
2014 | Conference Paper | LibreCat-ID: 4082
Microscopic studies of plasmonic nanostructures II
J. Lindner, in: 2014.
LibreCat
J. Lindner, in: 2014.
2014 | Conference Paper | LibreCat-ID: 4083
Nanostrukturierte Oberflächen, nicht nur zum Spass
J. Lindner, in: 2014.
LibreCat
J. Lindner, in: 2014.
2014 | Conference Paper | LibreCat-ID: 409
Integrating Service Matchers into a Service Market Architecture
M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.
LibreCat
| Files available
| DOI
M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.
2014 | Conference Paper | LibreCat-ID: 41
RSDL workbench results for OAEI 2014
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 9th International Workshop on Ontology Matching Collocated with the 13th International Semantic Web Conference (ISWC 2014), Riva Del Garda, Trentino, Italy, October 20, 2014., CEUR-WS.org, 2014, pp. 155--162.
LibreCat
| Download (ext.)
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 9th International Workshop on Ontology Matching Collocated with the 13th International Semantic Web Conference (ISWC 2014), Riva Del Garda, Trentino, Italy, October 20, 2014., CEUR-WS.org, 2014, pp. 155--162.
2014 | Journal Article | LibreCat-ID: 410
Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal On Advances in Intelligent Systems (IntSys) 7 (2014) 572--594.
LibreCat
| Files available
| Download (ext.)
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal On Advances in Intelligent Systems (IntSys) 7 (2014) 572--594.
2014 | Mastersthesis | LibreCat-ID: 411
Improving Service Specifications for the Service Matching on a Service Market
V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market, Universität Paderborn, 2014.
LibreCat
V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 412
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, C. Scheideler, K. Graffi, in: Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014, pp. 1–10.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, C. Scheideler, K. Graffi, in: Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014, pp. 1–10.
2014 | Bachelorsthesis | LibreCat-ID: 413
Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes
F. Eusterholz, Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes, Universität Paderborn, 2014.
LibreCat
F. Eusterholz, Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes, Universität Paderborn, 2014.
2014 | Mastersthesis | LibreCat-ID: 414
Hiding software components using functional encryption
J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.
LibreCat
J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.
2014 | Mastersthesis | LibreCat-ID: 415
Handling Incomplete Service Specifications using Fuzzy Matching
S. Vijapurwala, Handling Incomplete Service Specifications Using Fuzzy Matching, Universität Paderborn, 2014.
LibreCat
S. Vijapurwala, Handling Incomplete Service Specifications Using Fuzzy Matching, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 416
Group Signature Schemes with Strong Exculpability
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
LibreCat
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 417
Grammar-based model transformations
G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
LibreCat
| Files available
| DOI
G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.
LibreCat
| Files available
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.
2014 | Dissertation | LibreCat-ID: 419
Gender and ethnic discrimination in hiring : evidence from field experiments in the German labor market
A. Kolle, Gender and Ethnic Discrimination in Hiring : Evidence from Field Experiments in the German Labor Market, Universität Paderborn, 2014.
LibreCat
| Files available
A. Kolle, Gender and Ethnic Discrimination in Hiring : Evidence from Field Experiments in the German Labor Market, Universität Paderborn, 2014.
2014 | Mastersthesis | LibreCat-ID: 420
Fuzzy Matching of Service Price Specifications
S. Merschjohann, Fuzzy Matching of Service Price Specifications, Universität Paderborn, 2014.
LibreCat
S. Merschjohann, Fuzzy Matching of Service Price Specifications, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 421
Fujisaki-Okamoto Transformation
J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
LibreCat
J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
2014 | Mastersthesis | LibreCat-ID: 422
Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions, Universität Paderborn, 2014.
LibreCat
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions, Universität Paderborn, 2014.
2014 | Mastersthesis | LibreCat-ID: 423
Finding Optimal Self-Adaption Rules by Design-Space Exploration
S. Jojiju, Finding Optimal Self-Adaption Rules by Design-Space Exploration, Universität Paderborn, 2014.
LibreCat
S. Jojiju, Finding Optimal Self-Adaption Rules by Design-Space Exploration, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 424
Fast and Flexible Automatic Composition of Semantic Web Services
C. Finkensiep, Fast and Flexible Automatic Composition of Semantic Web Services, Universität Paderborn, 2014.
LibreCat
C. Finkensiep, Fast and Flexible Automatic Composition of Semantic Web Services, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 425
Evaluation of Color Spaces for Robust Image Segmentation
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), 2014, pp. 648–655.
LibreCat
| Files available
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), 2014, pp. 648–655.
2014 | Mastersthesis | LibreCat-ID: 426
Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.
LibreCat
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.
2014 | Mastersthesis | LibreCat-ID: 427
Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction
B. Bulk, Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction, Universität Paderborn, 2014.
LibreCat
B. Bulk, Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 428
Estimating Functional Reusability of Services
F. Mohr, in: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418.
LibreCat
| Files available
| Download (ext.)
F. Mohr, in: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418.
2014 | Bachelorsthesis | LibreCat-ID: 429
Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters
M. Herbort, Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters, Universität Paderborn, 2014.
LibreCat
M. Herbort, Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 430
Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT
A. Krakau, Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT, Universität Paderborn, 2014.
LibreCat
A. Krakau, Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT, Universität Paderborn, 2014.
2014 | Dissertation | LibreCat-ID: 431
Energy-efficient Scheduling Algorithms
P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn, 2014.
LibreCat
| Files available
P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 4315
Light Scattering By Random Irregular Particles With Different Morphology
Y. Grynko, E. Zubko, in: 2014.
LibreCat
| Files available
Y. Grynko, E. Zubko, in: 2014.
2014 | Mastersthesis | LibreCat-ID: 432
Energy-Efficient Queuing with Delayed Deactivation
N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität Paderborn, 2014.
LibreCat
N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 433
Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA
T. Wiersema, A. Bockhorn, M. Platzner, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
LibreCat
| Files available
| DOI
T. Wiersema, A. Bockhorn, M. Platzner, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
2014 | Journal Article | LibreCat-ID: 4335
Radio Frequency Electromechanical Control over a Surface Plasmon Polariton Coupler
C. Ruppert, F. Förster, A. Zrenner, J.B. Kinzel, A. Wixforth, H.J. Krenner, M. Betz, ACS Photonics 1 (2014) 91–95.
LibreCat
| DOI
C. Ruppert, F. Förster, A. Zrenner, J.B. Kinzel, A. Wixforth, H.J. Krenner, M. Betz, ACS Photonics 1 (2014) 91–95.
2014 | Bachelorsthesis | LibreCat-ID: 434
Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen
L. Luo, Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
LibreCat
L. Luo, Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 435
Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules
A. Antoniadis, N. Barcelo, M. Consuegra, P. Kling, M. Nugent, K. Pruhs, M. Scquizzato, in: Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.
LibreCat
| Files available
| DOI
A. Antoniadis, N. Barcelo, M. Consuegra, P. Kling, M. Nugent, K. Pruhs, M. Scquizzato, in: Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.
2014 | Mastersthesis | LibreCat-ID: 436
Easy-to-use on-the-fly binary program acceleration on many-cores
M. Damschen, Easy-to-Use on-the-Fly Binary Program Acceleration on Many-Cores, Universität Paderborn, 2014.
LibreCat
M. Damschen, Easy-to-Use on-the-Fly Binary Program Acceleration on Many-Cores, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 437
Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells
V. Wemhöner, Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells, Universität Paderborn, 2014.
LibreCat
V. Wemhöner, Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 438
Designing an Anonymous and Secure Reputation System Using a Group Signature Variant
A. Kokoschka, Designing an Anonymous and Secure Reputation System Using a Group Signature Variant, Universität Paderborn, 2014.
LibreCat
A. Kokoschka, Designing an Anonymous and Secure Reputation System Using a Group Signature Variant, Universität Paderborn, 2014.
2014 | Dissertation | LibreCat-ID: 440
Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions
D. Kaimann, Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions, Universität Paderborn, 2014.
LibreCat
| Files available
D. Kaimann, Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions, Universität Paderborn, 2014.
2014 | Book Chapter | LibreCat-ID: 5027
Vermögensteuer als Beitrag der Wohlhabenden für mehr Gleichheit - eine wirtschaftswissenschaftliche Betrachtung eines Steuerreformvorschlags
C. Sureth-Sloane, in: U. Braukmann, B. Kremer, H.-H. Kremer (Eds.), Wirtschaftspädagogische Handlungsfelder, Eusl Verlag, Detmold, 2014.
LibreCat
C. Sureth-Sloane, in: U. Braukmann, B. Kremer, H.-H. Kremer (Eds.), Wirtschaftspädagogische Handlungsfelder, Eusl Verlag, Detmold, 2014.
2014 | Book Chapter | LibreCat-ID: 5029
Effizienzmessung industrieller Dienstleistungen mittels Data Envelopment Analysis (ServDEA)
K. Backhaus, J. Becker, D. Beverungen, D. Breuker, O. Bröker, P. Alexander Brüne, H.-A. Dietrich, R. Knackstedt, H. Peter Rauer, F. Reichle, R. Wilken, in: K. Möller, W. Schultze (Eds.), Produktivität von Dienstleistungen, 2014, pp. 53--133.
LibreCat
| DOI
K. Backhaus, J. Becker, D. Beverungen, D. Breuker, O. Bröker, P. Alexander Brüne, H.-A. Dietrich, R. Knackstedt, H. Peter Rauer, F. Reichle, R. Wilken, in: K. Möller, W. Schultze (Eds.), Produktivität von Dienstleistungen, 2014, pp. 53--133.
2014 | Dissertation | LibreCat-ID: 5030
Zur Attraktivität von Advance Tax Rulings (ATRs) und Advance Pricing Agreements (APAs) für Investoren und Steuerbehörden: The Attractiveness of Advance Tax Rulings (ATRs) and Advance Pricing Agreements(APAs) for Investors and Tax Authorities
P. Kortebusch, Zur Attraktivität von Advance Tax Rulings (ATRs) Und Advance Pricing Agreements (APAs) Für Investoren Und Steuerbehörden: The Attractiveness of Advance Tax Rulings (ATRs) and Advance Pricing Agreements(APAs) for Investors and Tax Authorities, Universität Paderborn, Paderborn, 2014.
LibreCat
P. Kortebusch, Zur Attraktivität von Advance Tax Rulings (ATRs) Und Advance Pricing Agreements (APAs) Für Investoren Und Steuerbehörden: The Attractiveness of Advance Tax Rulings (ATRs) and Advance Pricing Agreements(APAs) for Investors and Tax Authorities, Universität Paderborn, Paderborn, 2014.
2014 | Working Paper | LibreCat-ID: 5033
Should Multinational Companies Request an Advance Pricing Agreement (APA) - Or Shouldn't They?
P. Kortebusch, Should Multinational Companies Request an Advance Pricing Agreement (APA) - Or Shouldn’t They?, 2014.
LibreCat
P. Kortebusch, Should Multinational Companies Request an Advance Pricing Agreement (APA) - Or Shouldn’t They?, 2014.
2014 | Working Paper | LibreCat-ID: 5036
Can Tax Rate Increases Foster Investment Under Entry and Exit Flexibility? - Insights from an Economic Experiment
R. Fahr, E.A. Janssen, C. Sureth-Sloane, Can Tax Rate Increases Foster Investment Under Entry and Exit Flexibility? - Insights from an Economic Experiment, 2014.
LibreCat
R. Fahr, E.A. Janssen, C. Sureth-Sloane, Can Tax Rate Increases Foster Investment Under Entry and Exit Flexibility? - Insights from an Economic Experiment, 2014.
2014 | Working Paper | LibreCat-ID: 5037
Do Investors Request Advance Tax Rulings to Alleviate Tax Risk (and do tax authorities provide them)? A Joint Taxpayers’ and Tax Authorities’ View on Investment Behavior
M. Diller, P. Kortebusch, G. Schneider, C. Sureth-Sloane, Do Investors Request Advance Tax Rulings to Alleviate Tax Risk (and Do Tax Authorities Provide Them)? A Joint Taxpayers’ and Tax Authorities’ View on Investment Behavior, 2014.
LibreCat
M. Diller, P. Kortebusch, G. Schneider, C. Sureth-Sloane, Do Investors Request Advance Tax Rulings to Alleviate Tax Risk (and Do Tax Authorities Provide Them)? A Joint Taxpayers’ and Tax Authorities’ View on Investment Behavior, 2014.
2014 | Working Paper | LibreCat-ID: 5040
Boon or Bane? Advance Tax Rulings As a Measure to Mitigate Tax Uncertainty and Foster Investment
M. Diller, P. Kortebusch, G. Schneider, C. Sureth-Sloane, Boon or Bane? Advance Tax Rulings As a Measure to Mitigate Tax Uncertainty and Foster Investment, 2014.
LibreCat
M. Diller, P. Kortebusch, G. Schneider, C. Sureth-Sloane, Boon or Bane? Advance Tax Rulings As a Measure to Mitigate Tax Uncertainty and Foster Investment, 2014.
2014 | Journal Article | LibreCat-ID: 5110
Gibt es eine optimale Frauenquote?
B.M. Gilroy, A. Heimann, M. Schopf, WiSt-Wirtschaftswissenschaftliches Studium 43 (2014) 85–90.
LibreCat
B.M. Gilroy, A. Heimann, M. Schopf, WiSt-Wirtschaftswissenschaftliches Studium 43 (2014) 85–90.
2014 | Newspaper Article | LibreCat-ID: 5142
Vom Wollen und Können ethischen Entscheidens
R. Fahr, Theologie Und Glaube 104 (2014) 260–269.
LibreCat
R. Fahr, Theologie Und Glaube 104 (2014) 260–269.
2014 | Journal Article | LibreCat-ID: 5143
Customer satisfaction in private banking
V. Seiler, M. Rudolf, Credit and Capital Markets - Kredit Und Kapital 47 (2014) 485–520.
LibreCat
V. Seiler, M. Rudolf, Credit and Capital Markets - Kredit Und Kapital 47 (2014) 485–520.
2014 | Book | LibreCat-ID: 5147
Verantwortungsvolles Handeln in Unternehmen. Die Rolle von kognitiven Verzerrungen und Selbsttäuschung bei ethischen Entscheidungen
R. Fahr, Verantwortungsvolles Handeln in Unternehmen. Die Rolle von Kognitiven Verzerrungen Und Selbsttäuschung Bei Ethischen Entscheidungen, Klaus von Stoch, Paderborn, 2014.
LibreCat
R. Fahr, Verantwortungsvolles Handeln in Unternehmen. Die Rolle von Kognitiven Verzerrungen Und Selbsttäuschung Bei Ethischen Entscheidungen, Klaus von Stoch, Paderborn, 2014.
2014 | Book Chapter | LibreCat-ID: 5164
Contagious conflict: spill-over effects of labor conflict between and within organizations
A. Akkerman, R. Torenvlied, A. Lehr, K. Thommes, in: Social Conflict within and between Groups, Psychology Press, 2014.
LibreCat
A. Akkerman, R. Torenvlied, A. Lehr, K. Thommes, in: Social Conflict within and between Groups, Psychology Press, 2014.