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.
1925 Publications
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
2014 | Journal Article | LibreCat-ID: 27044
@article{Vyncke_Huybrechts_Van Winckel_Cuenca Garcia_Labayen_Gottrand_Widhalm_Leclercq_Libuda_Manios_et al._2014, title={Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors}, DOI={10.1007/s11745-014-3935-2}, journal={Lipids}, author={Vyncke, Krishna and Huybrechts, Inge and Van Winckel, Myriam and Cuenca Garcia, Magdalena and Labayen, Idoia and Gottrand, Frederic and Widhalm, Kurt and Leclercq, Catherine and Libuda, Lars and Manios, Yannis and et al.}, year={2014}, pages={881–893} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
@article{Bel-Serrat_Mouratidou_Huybrechts_Labayen_Cuenca-García_Palacios_Breidenassel_Molnár_Roccaldo_Widhalm_et al._2014, title={Associations between macronutrient intake and serum lipid profile depend on body fat in European adolescents: the Healthy Lifestyle in Europe by Nutrition in Adolescence (HELENA) study}, DOI={10.1017/s0007114514003183}, journal={British Journal of Nutrition}, author={Bel-Serrat, Silvia and Mouratidou, Theodora and Huybrechts, Inge and Labayen, Idoia and Cuenca-García, Magdalena and Palacios, Gonzalo and Breidenassel, Christina and Molnár, Dénes and Roccaldo, Romana and Widhalm, Kurt and et al.}, year={2014}, pages={2049–2059} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27060
@article{Mesch_Stimming_Foterek_Hilbig_Alexy_Kersting_Libuda_2014, title={Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice}, DOI={10.1016/j.appet.2014.01.074}, journal={Appetite}, author={Mesch, Christina M. and Stimming, Madlen and Foterek, Kristina and Hilbig, Annett and Alexy, Ute and Kersting, Mathilde and Libuda, Lars}, year={2014}, pages={113–119} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 2707
@inproceedings{Mutter_Kundisch_2014, title={Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis}, booktitle={Proceedings of the International Conference on Information Systems (ICIS)}, author={Mutter, Tobias and Kundisch, Dennis}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 2708
@inproceedings{Herrmann_2014, title={The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience}, author={Herrmann, Philipp}, 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 | Conference Abstract | LibreCat-ID: 2713
@inproceedings{Herrmann_Rahman_2014, title={The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience}, booktitle={Workshop on Information Systems & Economics (WISE)}, author={Herrmann, Philipp and Rahman, Mohammad}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 2714
@inproceedings{John_2014, title={Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation}, booktitle={Proceedings of the Americas’ Conference on Information Systems (AMCIS)}, author={John, Thomas}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 2715
@inproceedings{Görzen_Kundisch_Ottensmann_Haubrock_2014, title={Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet}, booktitle={Proceedings of the European Electric Vehicle Congress (EEVC)}, author={Görzen, Thomas and Kundisch, Dennis and Ottensmann, C. and Haubrock, A.}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 27166
@article{Keil_Selke_Winkelnkemper_2014, series={Lecture Notes in Informatics (LNI)}, title={Twenty years of learning with the World Wide Web}, author={Keil, Reinhard and Selke, Harald and Winkelnkemper, Felix}, editor={Trahasch, Stephan and Pl {\ "o} tzner , Rolf and Schneider, Gerhard and Gayer, Claudia and Sassiat, Daniel and W {\ "o} hrle, Nicole}, year={2014}, pages={51–60}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
@inproceedings{Winkelnkemper_Keil_2014, title={Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design}, volume={2014}, publisher={Oldenbourg Verlag}, author={Winkelnkemper, Felix and Keil, Reinhard}, editor={Butz, Andreas and Schlichter, Johann}, year={2014}, pages={255–264} }
LibreCat