en
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.
13870 Publications
2014 | Journal Article | LibreCat-ID: 2088
Rechtliche Unterstützung für studierwil-lige Care-Leaver
D. Krimphove, Careleaver Deutschland (2014).
LibreCat
D. Krimphove, Careleaver Deutschland (2014).
2014 | Bachelorsthesis | LibreCat-ID: 2867
Evaluierung von Initialisierungsmethoden für Fuzzy-k-means Algorithmen
M. Sauer, Evaluierung von Initialisierungsmethoden Für Fuzzy-k-Means Algorithmen, 2014.
LibreCat
M. Sauer, Evaluierung von Initialisierungsmethoden Für Fuzzy-k-Means Algorithmen, 2014.
2014 | Journal Article | LibreCat-ID: 3168
Two approaches for proving linearizability of multiset
B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.
LibreCat
| DOI
B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.
2014 | Conference Paper | LibreCat-ID: 3170
Quiescent Consistency: Defining and Verifying Relaxed Linearizability
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat
| DOI
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
2014 | Journal Article | LibreCat-ID: 3175
Proof-Carrying Hardware via {IC3}
T. Isenberg, H. Wehrheim, CoRR (2014).
LibreCat
T. Isenberg, H. Wehrheim, CoRR (2014).
2014 | Journal Article | LibreCat-ID: 2709
Too Much of a Good Thing? Welfare Consequences of Market Transparency
Y. Gu, B. Hehenkamp, Journal of Institutional and Theoretical Economics JITE 170 (2014) 225–248.
LibreCat
| DOI
Y. Gu, B. Hehenkamp, Journal of Institutional and Theoretical Economics JITE 170 (2014) 225–248.
2014 | Journal Article | LibreCat-ID: 2627
Geschäftsmodelle - Eine Forschungsagenda für die Wirtschaftsinformatik
D. Veit, E. Clemons, A. Buxmann, T. Hess, D. Kundisch, J.-M. Leimeister, P. Loos, M. Spann, Wirtschaftsinformatik 56 (2014) 55–64.
LibreCat
D. Veit, E. Clemons, A. Buxmann, T. Hess, D. Kundisch, J.-M. Leimeister, P. Loos, M. Spann, Wirtschaftsinformatik 56 (2014) 55–64.
2014 | Conference Paper | LibreCat-ID: 2742
Support, Supervision, Feedback and Lecturers Role in the use of the Classroom Response Systems PINGO
M. Beutner, D. Kundisch, J. Magenheim, A. Zoyke, in: Proceedings of the E-LEARN 2014 - World Conference on E-Learning, 2014.
LibreCat
M. Beutner, D. Kundisch, J. Magenheim, A. Zoyke, in: Proceedings of the E-LEARN 2014 - World Conference on E-Learning, 2014.
2014 | Report | LibreCat-ID: 2824
Should I Stay or Should I Go - Herausforderungen und Chancen eines Wechsels zwischen Hochschulsystemen
T. Eymann, D. Kundisch, J. Recker, Should I Stay or Should I Go - Herausforderungen und Chancen eines Wechsels zwischen Hochschulsystemen, 2014.
LibreCat
T. Eymann, D. Kundisch, J. Recker, Should I Stay or Should I Go - Herausforderungen und Chancen eines Wechsels zwischen Hochschulsystemen, 2014.
2014 | Conference Paper | LibreCat-ID: 377
Reconstructing AES Key Schedules from Decayed Memory with FPGAs
H. Riebler, T. Kenter, C. Plessl, C. Sorge, in: Proceedings of Field-Programmable Custom Computing Machines (FCCM), IEEE, 2014, pp. 222–229.
LibreCat
| Files available
| DOI
H. Riebler, T. Kenter, C. Plessl, C. Sorge, in: Proceedings of Field-Programmable Custom Computing Machines (FCCM), IEEE, 2014, pp. 222–229.