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
@article{Krimphove_2014, title={Rechtliche Unterstützung für studierwil-lige Care-Leaver}, number={http://www2.careleaver.de/?page_id=224}, journal={Careleaver Deutschland}, author={Krimphove, Dieter}, year={2014} }
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 2867
@book{Sauer_2014, title={Evaluierung von Initialisierungsmethoden für Fuzzy-k-means Algorithmen}, author={Sauer, Malte}, year={2014} }
LibreCat
 

2014 | Journal Article | LibreCat-ID: 3168
@article{Tofan_Travkin_Schellhorn_Wehrheim_2014, title={Two approaches for proving linearizability of multiset}, DOI={10.1016/j.scico.2014.04.001}, journal={Sci. Comput. Program.}, author={Tofan, Bogdan and Travkin, Oleg and Schellhorn, Gerhard and Wehrheim, Heike}, year={2014}, pages={297--314} }
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3170
@inproceedings{Derrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Quiescent Consistency: Defining and Verifying Relaxed Linearizability}, DOI={10.1007/978-3-319-06410-9_15}, booktitle={{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike}, editor={B. Jones, Cliff and Pihlajasaari, Pekka and Sun, JunEditors}, year={2014}, pages={200--214}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3175
@article{Isenberg_Wehrheim_2014, title={Proof-Carrying Hardware via {IC3}}, journal={CoRR}, author={Isenberg, Tobias and Wehrheim, Heike}, year={2014} }
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2709
@article{Gu_Hehenkamp_2014, title={Too Much of a Good Thing? Welfare Consequences of Market Transparency}, volume={170}, DOI={10.1628/093245614x13895979380392}, number={2}, journal={Journal of Institutional and Theoretical Economics JITE}, publisher={Mohr Siebeck}, author={Gu, Yiquan and Hehenkamp, Burkhard}, year={2014}, pages={225–248} }
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 2627
@article{Veit_Clemons_Buxmann_Hess_Kundisch_Leimeister_Loos_Spann_2014, title={Geschäftsmodelle - Eine Forschungsagenda für die Wirtschaftsinformatik}, volume={56}, number={1}, journal={Wirtschaftsinformatik}, author={Veit, D. and Clemons, E. and Buxmann, A. and Hess, T. and Kundisch, Dennis and Leimeister, J.-M. and Loos, P. and Spann, M.}, year={2014}, pages={55–64} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2742
@inproceedings{Beutner_Kundisch_Magenheim_Zoyke_2014, title={Support, Supervision, Feedback and Lecturers Role in the use of the Classroom Response Systems PINGO}, booktitle={Proceedings of the E-LEARN 2014 - World Conference on E-Learning}, author={Beutner, Marc and Kundisch, Dennis and Magenheim, J. and Zoyke, A.}, year={2014} }
LibreCat
 

2014 | Report | LibreCat-ID: 2824
@book{Eymann_Kundisch_Recker_2014, series={Wirtschaftsinformatik}, title={Should I Stay or Should I Go - Herausforderungen und Chancen eines Wechsels zwischen Hochschulsystemen}, volume={56 (2)}, author={Eymann, T. and Kundisch, Dennis and Recker, J.}, year={2014}, pages={131–144}, collection={Wirtschaftsinformatik} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 377
@inproceedings{Riebler_Kenter_Plessl_Sorge_2014, title={Reconstructing AES Key Schedules from Decayed Memory with FPGAs}, DOI={10.1109/FCCM.2014.67}, booktitle={Proceedings of Field-Programmable Custom Computing Machines (FCCM)}, publisher={IEEE}, author={Riebler, Heinrich and Kenter, Tobias and Plessl, Christian and Sorge, Christoph}, year={2014}, pages={222–229} }
LibreCat | Files available | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: BibTeX

Export / Embed