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.

14243 Publications


2014 | Conference Paper | LibreCat-ID: 15662
Developing Coding Schemes for Program Comprehension using Eye Movements
T. Busjahn, C. Schulte, E. Kropp, in: PPIG, Psychology of Programming Interest Group, 2014, p. 15.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 15092
Efficient XML Keyword Search Based on DAG-Compression
S. Böttcher, R. Hartel, J. Rabe, in: Database and Expert Systems Applications - 25th International Conference, DEXA 2014, Springer, Cham, 2014, pp. 122–137.
LibreCat | DOI
 

2014 | Book Review | LibreCat-ID: 15573
Dietmar von der Pfordten: Normative Ethik (Berlin/New York: Walter de Gruyter, 2010)
R. Hagengruber, Philosophisches Jahrbuch 1 (2014) 210–213.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 15965
On the fatigue properties of metals manufactured by selective laser melting – The role of ductility
S. Leuders, T. Lieneke, S. Lammers, T. Tröster, T. Niendorf, Journal of Materials Research (2014) 1911–1919.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 15864
Influence of Coulomb-induced band couplings on linear excitonic absorption spectra of semiconducting carbon nanotubes
H. Liu, S. Schumacher, T. Meier, Physical Review B (2014).
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 16064
Learning from imprecise and fuzzy observations: Data disambiguation through generalized loss minimization
E. Hüllermeier, International Journal of Approximate Reasoning 55 (2014) 1519–1534.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 16069
Visualization of evolving fuzzy-rule-based systems
S. Henzgen, M. Strickert, E. Hüllermeier, Evolving Systems 5 (2014) 175–191.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 16083
The comprehensive diagnostic study is suggested as a design to model the diagnostic process
N. Donner-Banzhoff, J. Haasenritter, E. Hüllermeier, A. Viniol, S. Bösner, A. Becker, Journal of Clinical Epidemiology 2 (2014) 124–132.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 16122
Quasistatic and crash tests of steel-CFRP hybrid pillar structures for automotive applications
C. Lauter, J. Niewel, T. Tröster, International Journal of Automotive Composites (2014).
LibreCat | DOI
 

2014 | Dissertation | LibreCat-ID: 16127
Entwicklung und Herstellung von Hybridbauteilen aus Metallen und Faserverbundkunststoffen für den Leichtbau im Automobil
C. Lauter, Entwicklung und Herstellung von Hybridbauteilen aus Metallen und Faserverbundkunststoffen für den Leichtbau im Automobil, Shaker Verlag, Aachen, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 1702
Symmetry-Selective Third-Harmonic Generation from Plasmonic Metacrystals
S. Chen, G. Li, F. Zeuner, W.H. Wong, E.Y.B. Pun, T. Zentgraf, K.W. Cheah, S. Zhang, Physical Review Letters 113 (2014).
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 1923
Collective action and the common enemy effect
K. De Jaegher, B. Hoyer, Defence and Peace Economics 27 (2014) 644–664.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 1858
SKIP*: A Self-Stabilizing Skip Graph
R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, J. ACM (2014) 36:1--36:26.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 2039
Grenzen der Logik
D. Krimphove, Rechtstheorie (2014) 315 – 339.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2976
Analysis of Agglomerative Clustering
M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3169
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3171
Handling {TSO} in Mechanized Linearizability Proofs
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 2717
Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market
C. Weskamp, T. John, L. Suhl, D. Kundisch, A. Teetz, M. Rose, in: Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2729
A Crook is a Crook … But is He Still a Crook Abroad? On the Effect of Immigration on Destination-Country Corruption
E. Dimant, T. Krieger, M. Redlin, German Economic Review 16 (2014) 464–489.
LibreCat | DOI
 

2014 | Report | LibreCat-ID: 2731
Providing aid to repressive terrorist source countries does not make the U.S. any safer
T. Gries, D. Meierriecks, M. Redlin, Providing Aid to Repressive Terrorist Source Countries Does Not Make the U.S. Any Safer, 2014.
LibreCat | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 2522
Competitive outcomes and the inner core of NTU market games
S. Brangewitz, J.-P. Gamp, Economic Theory 57 (2014) 529–554.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 2623
Beating Irrationality: Does Delegating to IT Alleviate the Sunk Cost Effect?
P. Herrmann, D. Kundisch, M. Rahman, Management Science 64 (2014) 831–850.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2743
Evaluation von Lerndesigns mit einem webbasierten Classroom Response System in der universitären Lehre
M. Beutner, D. Kundisch, J. Magenheim, J. Neugebauer, A. Zoyke, in: S. Trahasch (Ed.), Proceedings of the 12. e-Learning Fachtagung Informatik, GI, Freiburg, 2014, pp. 121–126.
LibreCat
 

2014 | Conference Abstract | LibreCat-ID: 2748
Webbasierte Classroom Response Systeme in der Hochschullehre - eine eimpirische Fallstudie zur Unterstützung von Lehr-/Lernprozessen aus Studierendensicht
A. Zoyke, M. Beutner, J. Magenheim, D. Kundisch, P. Herrmann, W. Reinhardt, in: 43. Dghd Jahrestagung, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2750
Analyzing Risk Interaction Effects among IT Projects based on Modern Portfolio Theory
B. Heinrich, D. Kundisch, S. Zimmermann, in: Tagungsband Der Multikonferenz Wirtschaftsinformatik 2014 (MKWI), Universität Paderborn, Paderborn, 2014, pp. 1392–1403.
LibreCat
 

2014 | Report | LibreCat-ID: 2825
Vorwort der Tagungsleitung
L. Suhl, D. Kundisch, Vorwort Der Tagungsleitung, 2014.
LibreCat
 

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
 

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
 

2014 | Dissertation | LibreCat-ID: 431
Energy-efficient Scheduling Algorithms
P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn, 2014.
LibreCat | Files available
 

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
 

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
 

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
 

2014 | Journal Article | LibreCat-ID: 328
ReconOS - An Operating System Approach for Reconfigurable Computing
A. Agne, M. Happe, A. Keller, E. Lübbers, B. Plattner, M. Platzner, C. Plessl, IEEE Micro 34 (2014) 60–71.
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 3289
Low Carbon Economics - Theory and application
T. Gries, in: X. Jinjun (Ed.), Low Carbon Economics , 2014, pp. 361–382.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 330
Zur Ausbreitung und Behinderung von Epidemien - Eine Netzwerkanalyse
L. Drigalsky, Zur Ausbreitung und Behinderung von Epidemien - Eine Netzwerkanalyse, Universität Paderborn, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 335
Verschiebungen an der Grenze zwischen Hardware und Software
M. Platzner, C. Plessl, in: J. Künsemöller, N.O. Eke, L. Foit, T. Kaerlein (Eds.), Logiken strukturbildender Prozesse: Automatismen, Wilhelm Fink, Paderborn, 2014, pp. 123–144.
LibreCat | Files available
 

2014 | Dissertation | LibreCat-ID: 385
Privacy-Preserving Multiparty Digital Rights Management
R. Petrlic, Privacy-Preserving Multiparty Digital Rights Management, Universität Paderborn, 2014.
LibreCat | Files available
 

2014 | Journal Article | LibreCat-ID: 3905
iSoNTRE: The Social Network Transformer into Recommendation Engine
C. Abu Quba Rana, S. Hassas, F. Usama, M. Alshomary, C. Gertosio, 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) (2014) 169–175.
LibreCat | Download (ext.)
 

2014 | Mastersthesis | LibreCat-ID: 392
On the Relation between Innovation and Competion: The Case of Energy Industry
N. Brummel, On the Relation between Innovation and Competion: The Case of Energy Industry, Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 397
Minimum Linear Arrangement of Series-Parallel Graphs
C. Scheideler, M. Eikel, A. Setzer, in: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.
LibreCat | Files available
 

2014 | Bachelorsthesis | LibreCat-ID: 373
Reputationssysteme für zusammengesetzte Dienstleistungen
D. Pahl, Reputationssysteme für zusammengesetzte Dienstleistungen, Universität Paderborn, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 378
Re-Chord: A Self-stabilizing Chord Overlay Network
S. Kniesburges, A. Koutsopoulos, C. Scheideler, Theory of Computing Systems (2014) 591–612.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 380
Quality of Service in Network Creation Games
A. Cord-Landwehr, A. Mäcker, F. Meyer auf der Heide, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 423–428.
LibreCat | Files available | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 342
Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 347
Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection
S. Meisner, M. Platzner, in: D. Goehringer, M. Santambrogio, J.P. Cardoso, K. Bertels (Eds.), Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), Springer, 2014, pp. 283–290.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 3493
Über das Zusammenwirken der Gestaltung und Emergenz von Geschäftsprozessen als Organisationsroutinen
D. Beverungen, WIRTSCHAFTSINFORMATIK (2014) 209--222.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 366
Security and Privacy Challenges in On-The-Fly Computing
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–142.
LibreCat | Files available
 

2014 | Book Chapter | LibreCat-ID: 3664
Grasping learning during internships: the case of engineering education
D. Gijbels, C. Harteis, V. Donche, P. Van den Bossche, S. Maes, K. Temmen, in: C. Harteis, J. Seifried, A. Rausch (Eds.), Discourses on Professional Learning, Springer, Dordrecht, 2014, pp. 177--188.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 354
Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds
M. Keller, C. Robbert, H. Karl, in: Proceedings of 7th International Conference on Utility and Cloud Computing (UCC), 2014, pp. 387--395.
LibreCat | Files available | DOI
 

2014 | Mastersthesis | LibreCat-ID: 359
Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB
M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB, Universität Paderborn, 2014.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed