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.

14330 Publications


2014 | Conference Paper | LibreCat-ID: 3173
Managing {LTL} Properties in Event-B Refinement
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat | DOI
 

2014 | Book (Editor) | LibreCat-ID: 3666
Discourses on professional learning
C. Harteis, A. Rausch, J. Seifried, eds., Discourses on Professional Learning, Springer, Dordrecht, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 3678
Pre-service teachers’ perspectives and practices in utilizing ubiquitous technologies for academic-oriented learning and knowledge management
A.L. Daunert, C. Harteis, in: J.-E. Pelet (Ed.), E-Learning 2.0 Technologies and Web Applications in Higher Education, IGI Global, Hershey, 2014, pp. 254--272.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 368
Scheduling Shared Continuous Resources on Many-Cores
A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S. Riechers, T. Süss, in: Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2014, pp. 128–137.
LibreCat | Files available | DOI
 

2014 | Book Chapter | LibreCat-ID: 3685
Employing agency in academic settings: Doctoral students shaping their own experiences
M. Goller, C. Harteis, in: C. Harteis, A. Rausch, J. Seifried (Eds.), Discourses on Professional Learning, Springer, Dordrecht, 2014, pp. 189--210.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 370
Routing Games with Progressive Filling
T. Harks, M. Höfer, K. Schewior, A. Skopalik, in: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 2014, pp. 352–360.
LibreCat | Files available | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 332
Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten
M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten, Universität Paderborn, 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 337
Verhandlungen vs Auktionen im Beschäftigungsmanagement
C. Berkemeier, Verhandlungen vs Auktionen im Beschäftigungsmanagement, Universität Paderborn, 2014.
LibreCat
 

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
 

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
 

Search

Filter Publications

Display / Sort

Export / Embed