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.
1892 Publications
2014 | Book Chapter | LibreCat-ID: 3685
@inbook{Goller_Harteis_2014, place={Dordrecht}, title={Employing agency in academic settings: Doctoral students shaping their own experiences}, booktitle={Discourses on Professional Learning}, publisher={Springer}, author={Goller, Michael and Harteis, Christian}, editor={Harteis, Christian and Rausch, Andreas and Seifried, JürgenEditors}, year={2014}, pages={189--210} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 3686
@inbook{Harteis_Goller_2014, place={Dordrecht}, title={New skills for new jobs: Work agency as a necessary condition for successful lifelong learning}, booktitle={Promoting, assessing, recognizing and certifying lifelong learning}, publisher={Springer}, author={Harteis, Christian and Goller, Michael}, editor={Halttunen, Timo and Koivisto, Mari and Billett, StephenEditors}, year={2014}, pages={37--56} }
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 369
@book{Rath_2014, title={RSA-Full Domain Hash Revisited}, publisher={Universität Paderborn}, author={Rath, Timo}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 3699
@article{Müller_2014, title={The challenge of assessing the market value of private companies using a standardised combination method for tax purposes--Lessons to be learnt from past experience}, number={1}, journal={European Accounting Review}, author={Müller, Jens}, year={2014}, pages={117--141} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 370
@inproceedings{Harks_Höfer_Schewior_Skopalik_2014, title={Routing Games with Progressive Filling}, DOI={10.1109/TNET.2015.2468571}, booktitle={Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14)}, author={Harks, Tobias and Höfer, Martin and Schewior, Kevin and Skopalik, Alexander}, year={2014}, pages={352–360} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 371
@inproceedings{Scheideler_Setzer_Eikel_2014, series={LNCS}, title={RoBuSt: A Crash-Failure-Resistant Distributed Storage System}, DOI={10.1007/978-3-319-14472-6_8}, booktitle={Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS)}, author={Scheideler, Christian and Setzer, Alexander and Eikel, Martina}, year={2014}, pages={107--122}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Book Chapter | LibreCat-ID: 3718
@inbook{Harteis_2014, place={Hohengeheren}, title={Auswirkungen des Bologna-Prozesses: Eine Expertise der Hochschuldidaktik}, booktitle={Herausforderung kompetenzorientierte Hochschule}, publisher={Schneider}, author={Harteis, Christian}, editor={Arnold, Rolf and Wolf, KEditors}, year={2014}, pages={189–211} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 3719
@inbook{Harteis_2014, place={Cheltenham}, title={Investigating intuition under the perpective of expertise: Experiences from two experimental studies}, booktitle={Handbook of intuition research methodology}, publisher={Edward Elgar}, author={Harteis, Christian}, editor={Sinclair, MarthaEditor}, year={2014}, pages={116–129} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 372
@inproceedings{Keller_Karl_2014, title={Response Time-Optimized Distributed Cloud Resource Allocation}, DOI={10.1145/2627566.2627570}, booktitle={Proceedings of the SIGCOMM workshop on Distributed cloud computing}, author={Keller, Matthias and Karl, Holger}, year={2014}, pages={47--52} }
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 373
@book{Pahl_2014, title={Reputationssysteme für zusammengesetzte Dienstleistungen}, publisher={Universität Paderborn}, author={Pahl, David}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 374
@inproceedings{Wold_Agne_Torresen_2014, series={LNCS}, title={Relocatable Hardware Threads in Run-Time Reconfigurable Systems}, DOI={10.1007/978-3-319-05960-0_6}, booktitle={Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications}, author={Wold, Alexander and Agne, Andreas and Torresen, Jim}, editor={Goehringer, Diana and Santambrogio, MarcoDomenico and Cardoso, JoãoM.P. and Bertels, KoenEditors}, year={2014}, pages={61–72}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 375
@article{von Detten_Platenius_Becker_2014, title={Reengineering Component-Based Software Systems with Archimetrix}, DOI={10.1007/s10270-013-0341-9}, number={4}, journal={Journal of Software and Systems Modeling}, publisher={Springer}, author={von Detten, Markus and Platenius, Marie Christin and Becker, Steffen}, year={2014}, pages={1239--1268} }
LibreCat
| Files available
| DOI
2014 | Dissertation | LibreCat-ID: 376
@book{Herlich_2014, title={Reducing Energy Consumption of Radio Access Networks}, publisher={Universität Paderborn}, author={Herlich, Matthias}, year={2014} }
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 378
@article{Kniesburges_Koutsopoulos_Scheideler_2014, title={Re-Chord: A Self-stabilizing Chord Overlay Network}, DOI={10.1007/s00224-012-9431-2}, number={3}, journal={Theory of Computing Systems}, publisher={Springer}, author={Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian}, year={2014}, pages={591–612} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 379
@inproceedings{Abshoff_Markarian_Meyer auf der Heide_2014, series={LNCS}, title={Randomized Online Algorithms for Set Cover Leasing Problems}, DOI={10.1007/978-3-319-12691-3_3}, booktitle={Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Abshoff, Sebastian and Markarian, Christine and Meyer auf der Heide, Friedhelm}, year={2014}, pages={25–34}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 380
@inproceedings{Cord-Landwehr_Mäcker_Meyer auf der Heide_2014, title={Quality of Service in Network Creation Games}, DOI={10.1007/978-3-319-13129-0_34}, booktitle={Proceedings of the 10th International Conference on Web and Internet Economics (WINE)}, author={Cord-Landwehr, Andreas and Mäcker, Alexander and Meyer auf der Heide, Friedhelm}, year={2014}, pages={423–428} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3805
@inproceedings{Brüseke_Wachsmuth_Engels_Becker_2014, title={PBlaman: performance blame analysis based on Palladio contracts}, number={12}, booktitle={Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment}, author={Brüseke, Frank and Wachsmuth, Henning and Engels, Gregor and Becker, Steffen}, year={2014}, pages={1975–2004} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 382
@inproceedings{Künsemöller_Brangewitz_Karl_Haake_2014, title={Provider Competition in Infrastructure-as-a-Service}, DOI={10.1109/SCC.2014.35}, booktitle={Proceedings of the 2014 IEEE International Conference on Services Computing (SCC)}, author={Künsemöller, Jörn and Brangewitz, Sonja and Karl, Holger and Haake, Claus-Jochen}, year={2014}, pages={203–210} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
@inproceedings{Wonisch_Schremmer_Wehrheim_2014, series={Lecture Notes in Informatics (LNI)}, title={Programs from Proofs -- Approach and Applications}, booktitle={Proceedings of the Software Engineering Conference (SE)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2014}, pages={67–68}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 384
@inproceedings{Petrlic_Lutters_Sorge_2014, title={Privacy-Preserving Reputation Management}, DOI={10.1145/2554850.2554881}, booktitle={Proceedings of the 29th Symposium On Applied Computing (SAC)}, author={Petrlic, Ronald and Lutters, Sascha and Sorge, Christoph}, year={2014}, pages={1712–1718} }
LibreCat
| Files available
| DOI
2014 | Dissertation | LibreCat-ID: 385
@book{Petrlic_2014, title={Privacy-Preserving Multiparty Digital Rights Management}, publisher={Universität Paderborn}, author={Petrlic, Ronald}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 386
@inproceedings{Petrlic_Sorge_2014, title={Privacy-Preserving Digital Rights Management based on Attribute-based Encryption}, DOI={10.1109/NTMS.2014.6814044}, booktitle={Proceedings of the Sixth IFIP International Conference on New Technologies, Mobility and Security (NTMS)}, author={Petrlic, Ronald and Sorge, Christoph}, year={2014}, pages={1–5} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 387
@article{Awerbuch_Richa_Scheideler_Schmid_Zhang_2014, title={Principles of Robust Medium Access and an Application to Leader Election}, DOI={10.1145/2635818}, number={4}, journal={Transactions on Algorithms}, publisher={ACM}, author={Awerbuch, Baruch and Richa, Andrea W. and Scheideler, Christian and Schmid, Stefan and Zhang, Jin}, year={2014} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3877
@inproceedings{Wachsmuth_Trenkmann_Stein_Engels_2014, title={Modeling Review Argumentation for Robust Sentiment Analysis}, booktitle={Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers}, author={Wachsmuth, Henning and Trenkmann, Martin and Stein, Benno and Engels, Gregor}, year={2014}, pages={553–564} }
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 389
@book{Stapel_Suhl_2014, title={Ontology-based Representation of Optimization Models}, publisher={Universität Paderborn}, author={Stapel, Florian and Suhl, Lena}, year={2014} }
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 3890
@article{Hammer_2014, title={Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver}, volume={338}, DOI={10.1016/j.optcom.2014.09.087}, journal={Optics Communications}, publisher={Elsevier BV}, author={Hammer, Manfred}, year={2014}, pages={447–456} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 390
@article{Huma_Gerth_Engels_2014, title={On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains}, DOI={10.1007/s00450-014-0254-z}, number={3–4}, journal={Computer Science - Research and Development}, publisher={Springer}, author={Huma, Zille and Gerth, Christian and Engels, Gregor}, year={2014}, pages={333–361} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3905
@article{Abu Quba Rana_Hassas_Usama_Alshomary_Gertosio_2014, title={iSoNTRE: The Social Network Transformer into Recommendation Engine}, journal={2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA)}, author={Abu Quba Rana, Chamsi and Hassas, Salima and Usama, Fayyad and Alshomary, Milad and Gertosio, Christine}, year={2014}, pages={169–175} }
LibreCat
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 391
@book{Feldkord_2014, title={On Variants of the Page Migration Problem}, publisher={Universität Paderborn}, author={Feldkord, Björn}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 28936
@inproceedings{Davis_Eickelmann_2014, place={Philadelphia, PA}, title={The restructuring of schooling with digital technologies and implications for policy makers and practitioners}, booktitle={Proceedings of the American Educational Research Association annual meeting (AERA)}, author={Davis, Niki and Eickelmann, Birgit}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 28937
@inproceedings{Eickelmann_Vennemann_Gerick_Lorenz_2014, place={Philadelphia, PA}, title={Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011}, booktitle={Proceedings of the American Educational Research Association annual meeting (AERA)}, author={Eickelmann, Birgit and Vennemann, Mario and Gerick, Julia and Lorenz, Ramona}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 28938
@inproceedings{Vennemann_Eickelmann_2014, place={Philadelphia, PA}, title={Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools}, booktitle={Proceedings of the American Educational Research Association annual meeting (AERA)}, author={Vennemann, Mario and Eickelmann, Birgit}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 28939
@inproceedings{Lai_Eickelmann_Fisser_Khaddage_Knezek_Webb_Davis_Erstad_Gibson_2014, title={Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013}, booktitle={Proceedings of KeyCIT Conference 2014}, author={Lai, Kwok-Wing and Eickelmann, Birgit and Fisser, Petra and Khaddage, Ferial and Knezek, Gerald and Webb, Mary and Davis, Niki and Erstad, Ola and Gibson, David C.}, year={2014} }
LibreCat
2014 | Research Data | LibreCat-ID: 28993
@book{Drossel_Bos_Zieger_2014, title={Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit}, publisher={Jugendring Dortmund}, author={Drossel, Kerstin and Bos, Wilfried and Zieger, Laura}, year={2014} }
LibreCat
2014 | Mastersthesis | LibreCat-ID: 2900
@book{Brauer_2014, title={A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures}, author={Brauer, Sascha}, year={2014} }
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 2976
@article{Ackermann_Blömer_Kuntze_Sohler_2014, title={Analysis of Agglomerative Clustering}, volume={69}, DOI={10.1007/s00453-012-9717-4}, journal={Algorithmica}, publisher={Springer US}, author={Ackermann, Marcel Rudolf and Blömer, Johannes and Kuntze, Daniel and Sohler, Christian}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 2977
@inproceedings{Blömer_Bujna_Kuntze_2014, title={A Theoretical and Experimental Comparison of the EM and SEM Algorithm}, DOI={10.1109/icpr.2014.253}, booktitle={2014 22nd International Conference on Pattern Recognition}, publisher={IEEE}, author={Blömer, Johannes and Bujna, Kathrin and Kuntze, Daniel}, year={2014} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3127
@article{Jager_2014, title={Die Zukunft der Kryptographie}, DOI={10.1007/s11623-014-0204-8}, number={7}, journal={Datenschutz und Datensicherheit}, author={Jager, Tibor}, year={2014}, pages={445--451} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3128
@inproceedings{Fleischhacker_Jager_Schröder_2014, title={On Tight Security Proofs for Schnorr Signatures}, DOI={10.1007/978-3-662-45611-8_27}, booktitle={Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I}, author={Fleischhacker, Nils and Jager, Tibor and Schröder, Dominique}, year={2014}, pages={512--531} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3167
@article{Schneider_Treharne_Wehrheim_2014, title={The behavioural semantics of Event-B refinement}, DOI={10.1007/s00165-012-0265-0}, number={2}, journal={Formal Asp. Comput.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, year={2014}, pages={251--280} }
LibreCat
| DOI
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 | Journal Article | LibreCat-ID: 3169
@article{Schellhorn_Derrick_Wehrheim_2014, title={A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures}, DOI={10.1145/2629496}, number={4}, journal={{ACM} Trans. Comput. Log.}, author={Schellhorn, Gerhard and Derrick, John and Wehrheim, Heike}, year={2014}, pages={31:1--31:37} }
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 | Conference Paper | LibreCat-ID: 3171
@inproceedings{Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Handling {TSO} in Mechanized Linearizability Proofs}, DOI={10.1007/978-3-319-13338-6_11}, booktitle={Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Yahav, EranEditor}, year={2014}, pages={132--147}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
@inproceedings{Isenberg_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Timed Automata Verification via {IC3} with Zones}, DOI={10.1007/978-3-319-11737-9_14}, booktitle={Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}, author={Isenberg, Tobias and Wehrheim, Heike}, editor={Merz, Stephan and Pang, JunEditors}, year={2014}, pages={203--218}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
@inproceedings{A. Schneider_Treharne_Wehrheim_M. Williams_2014, series={Lecture Notes in Computer Science}, title={Managing {LTL} Properties in Event-B Refinement}, DOI={10.1007/978-3-319-10181-1_14}, booktitle={Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings}, author={A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={221--237}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
@article{Schneider_Treharne_Wehrheim_M. Williams_2014, title={Managing {LTL} properties in Event-B refinement}, journal={CoRR}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, year={2014} }
LibreCat
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: 27041
@article{Stimming_Mesch_Kersting_Libuda_2014, title={Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany}, DOI={10.1007/s00394-014-0784-y}, journal={European Journal of Nutrition}, author={Stimming, Madlen and Mesch, Christina M. and Kersting, Mathilde and Libuda, Lars}, year={2014}, pages={1069–1080} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27042
@article{Stimming_Mesch_Kersting_Kalhoff_Demmelmair_Koletzko_Schmidt_Böhm_Libuda_2014, title={Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment}, DOI={10.1021/jf502469b}, journal={Journal of Agricultural and Food Chemistry}, author={Stimming, Madlen and Mesch, Christina M. and Kersting, Mathilde and Kalhoff, Hermann and Demmelmair, Hans and Koletzko, Berthold and Schmidt, Anne and Böhm, Volker and Libuda, Lars}, year={2014}, pages={10153–10161} }
LibreCat
| DOI