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.

18405 Publications


2016 | Bachelorsthesis | LibreCat-ID: 134
Verifikation von Service Kompositionen mit Prolog
P. Heinisch, Verifikation von Service Kompositionen mit Prolog, Universität Paderborn, 2016.
LibreCat
 

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
 

2016 | Dissertation | LibreCat-ID: 1190
Induction-based Verification of Timed Systems
T. Isenberg, Induction-Based Verification of Timed Systems, Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Book Chapter | LibreCat-ID: 13268 LibreCat | DOI
 

2016 | Book | LibreCat-ID: 12892
Handbuch für Lehrkräfte. Ein Handbuch zur Nutzung des SEEL-Online-Course-Creators
M. Beutner, J. Schneider, Handbuch für Lehrkräfte. Ein Handbuch zur Nutzung des SEEL-Online-Course-Creators, IK Verlag, Paderborn, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 11988
On the impact of adjacent channel interference in multi-channel VANETs
C. Campolo, C. Sommer, F. Dressler, A. Molinaro, in: 2016 IEEE International Conference on Communications (ICC), 2016.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 12013
Cars as a main ICT resource of smart cities
F. Hagenauer, F. Dressler, O. Altintas, C. Sommer, in: Smart Cities and Homes, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 13864 LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 139
Towards the price of leasing online
S. Abshoff, P. Kling, C. Markarian, F. Meyer auf der Heide, P. Pietrzyk, Journal of Combinatorial Optimization (2016) 1197--1216.
LibreCat | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 13910
Two-dimensional symbiotic solitons and vortices in binary condensates with attractive cross-species interaction
X. Ma, R. Driben, B.A. Malomed, T. Meier, S. Schumacher, Scientific Reports 6 (2016) 34847.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 13915
Dynamics of dipoles and vortices in nonlinearly coupled three-dimensional field oscillators
R. Driben, V.V. Konotop, B.A. Malomed, T. Meier, Physical Review E 94 (2016).
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 13477
Optical response of the Cu2S2diamond core in Cu2II(NGuaS)2Cl2
M. Witte, B. Grimm-Lebsanft, A. Goos, S. Binder, M. Rübhausen, M. Bernard, A. Neuba, S. Gorelsky, U. Gerstmann, G. Henkel, W.G. Schmidt, S. Herres-Pawlis, Journal of Computational Chemistry 37 (2016) 2181–2192.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 13491
A Bifunctional Electrocatalyst for Oxygen Evolution and Oxygen Reduction Reactions in Water
W. Schöfberger, F. Faschinger, S. Chattopadhyay, S. Bhakta, B. Mondal, J.A.A.W. Elemans, S. Müllegger, S. Tebi, R. Koch, F. Klappenberger, M. Paszkiewicz, J.V. Barth, E. Rauls, H. Aldahhak, W.G. Schmidt, A. Dey, Angewandte Chemie International Edition (2016) 2350–2355.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 1373
Delayed (de-)activation in servers with a sleep mode
M. Herlich, N. Bredenbals, H. Karl, Sustainable Computing: Informatics and Systems 10 (2016) 48–55.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 1450
Key Aspects of a Sustainable Health Insurance System in Germany
M. Pelster, V. Hagemann, F. Laporte Uribe, Applied Health Economics and Health Policy 14 (2016) 293–312.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 1455
Doppler-Effekt für rotierende Objekte
T. Zentgraf, Physik in Unserer Zeit 47 (2016) 163–164.
LibreCat | DOI
 

2016 | Mastersthesis | LibreCat-ID: 146
Symmetric Anonymous Credentials with Protocols for Relations on Attributes
J. Hamm, Symmetric Anonymous Credentials with Protocols for Relations on Attributes, Universität Paderborn, 2016.
LibreCat
 

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
 

2016 | Mastersthesis | LibreCat-ID: 153
Shared Resource Scheduling with Interconnected Services
J. König, Shared Resource Scheduling with Interconnected Services, Universität Paderborn, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 15404
Plackett-Luce networks for dyad ranking
D. Schäfer, E. Hüllermeier, in: In Workshop LWDA “Lernen, Wissen, Daten, Analysen” Potsdam, Germany, 2016.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: Default

Export / Embed