---
_id: '3168'
author:
- first_name: Bogdan
full_name: Tofan, Bogdan
last_name: Tofan
- first_name: Oleg
full_name: Travkin, Oleg
last_name: Travkin
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Tofan B, Travkin O, Schellhorn G, Wehrheim H. Two approaches for proving linearizability
of multiset. Sci Comput Program. 2014:297--314. doi:10.1016/j.scico.2014.04.001
apa: Tofan, B., Travkin, O., Schellhorn, G., & Wehrheim, H. (2014). Two approaches
for proving linearizability of multiset. Sci. Comput. Program., 297--314.
https://doi.org/10.1016/j.scico.2014.04.001
bibtex: '@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} }'
chicago: Tofan, Bogdan, Oleg Travkin, Gerhard Schellhorn, and Heike Wehrheim. “Two
Approaches for Proving Linearizability of Multiset.” Sci. Comput. Program.,
2014, 297--314. https://doi.org/10.1016/j.scico.2014.04.001.
ieee: B. Tofan, O. Travkin, G. Schellhorn, and H. Wehrheim, “Two approaches for
proving linearizability of multiset,” Sci. Comput. Program., pp. 297--314,
2014.
mla: Tofan, Bogdan, et al. “Two Approaches for Proving Linearizability of Multiset.”
Sci. Comput. Program., 2014, pp. 297--314, doi:10.1016/j.scico.2014.04.001.
short: B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014)
297--314.
date_created: 2018-06-13T07:56:12Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '77'
doi: 10.1016/j.scico.2014.04.001
page: 297--314
publication: Sci. Comput. Program.
status: public
title: Two approaches for proving linearizability of multiset
type: journal_article
user_id: '29719'
year: '2014'
...
---
_id: '3169'
author:
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Schellhorn G, Derrick J, Wehrheim H. A Sound and Complete Proof Technique for
Linearizability of Concurrent Data Structures. {ACM} Trans Comput Log.
2014;(4):31:1--31:37. doi:10.1145/2629496
apa: Schellhorn, G., Derrick, J., & Wehrheim, H. (2014). A Sound and Complete
Proof Technique for Linearizability of Concurrent Data Structures. {ACM} Trans.
Comput. Log., (4), 31:1--31:37. https://doi.org/10.1145/2629496
bibtex: '@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} }'
chicago: 'Schellhorn, Gerhard, John Derrick, and Heike Wehrheim. “A Sound and Complete
Proof Technique for Linearizability of Concurrent Data Structures.” {ACM} Trans.
Comput. Log., no. 4 (2014): 31:1--31:37. https://doi.org/10.1145/2629496.'
ieee: G. Schellhorn, J. Derrick, and H. Wehrheim, “A Sound and Complete Proof Technique
for Linearizability of Concurrent Data Structures,” {ACM} Trans. Comput. Log.,
no. 4, pp. 31:1--31:37, 2014.
mla: Schellhorn, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability
of Concurrent Data Structures.” {ACM} Trans. Comput. Log., no. 4, 2014,
pp. 31:1--31:37, doi:10.1145/2629496.
short: G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014)
31:1--31:37.
date_created: 2018-06-13T07:57:31Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '77'
doi: 10.1145/2629496
issue: '4'
page: 31:1--31:37
publication: '{ACM} Trans. Comput. Log.'
status: public
title: A Sound and Complete Proof Technique for Linearizability of Concurrent Data
Structures
type: journal_article
user_id: '29719'
year: '2014'
...
---
_id: '3170'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Bogdan
full_name: Tofan, Bogdan
last_name: Tofan
- first_name: Oleg
full_name: Travkin, Oleg
last_name: Travkin
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Dongol B, Schellhorn G, Tofan B, Travkin O, Wehrheim H. Quiescent
Consistency: Defining and Verifying Relaxed Linearizability. In: B. Jones C, Pihlajasaari
P, Sun J, eds. {FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:200--214.
doi:10.1007/978-3-319-06410-9_15'
apa: 'Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., & Wehrheim,
H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability.
In C. B. Jones, P. Pihlajasaari, & J. Sun (Eds.), {FM} 2014: Formal Methods
- 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp.
200--214). https://doi.org/10.1007/978-3-319-06410-9_15'
bibtex: '@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} }'
chicago: 'Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg
Travkin, and Heike Wehrheim. “Quiescent Consistency: Defining and Verifying Relaxed
Linearizability.” In {FM} 2014: Formal Methods - 19th International Symposium,
Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones, Pekka Pihlajasaari,
and Jun Sun, 200--214. Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-06410-9_15.'
ieee: 'J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, and H. Wehrheim,
“Quiescent Consistency: Defining and Verifying Relaxed Linearizability,” in {FM}
2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014.
Proceedings, 2014, pp. 200--214.'
mla: 'Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed
Linearizability.” {FM} 2014: Formal Methods - 19th International Symposium,
Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al.,
2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.'
short: '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.'
date_created: 2018-06-13T07:58:40Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-319-06410-9_15
editor:
- first_name: Cliff
full_name: B. Jones, Cliff
last_name: B. Jones
- first_name: Pekka
full_name: Pihlajasaari, Pekka
last_name: Pihlajasaari
- first_name: Jun
full_name: Sun, Jun
last_name: Sun
page: 200--214
publication: '{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: 'Quiescent Consistency: Defining and Verifying Relaxed Linearizability'
type: conference
user_id: '29719'
year: '2014'
...
---
_id: '3171'
author:
- first_name: Oleg
full_name: Travkin, Oleg
last_name: Travkin
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs.
In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11'
apa: 'Travkin, O., & Wehrheim, H. (2014). Handling {TSO} in Mechanized Linearizability
Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing
- 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel,
November 18-20, 2014. Proceedings (pp. 132--147). https://doi.org/10.1007/978-3-319-13338-6_11'
bibtex: '@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}
}'
chicago: 'Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability
Proofs.” In Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings, edited by Eran Yahav, 132--147. Lecture Notes in Computer Science,
2014. https://doi.org/10.1007/978-3-319-13338-6_11.'
ieee: 'O. Travkin and H. Wehrheim, “Handling {TSO} in Mechanized Linearizability
Proofs,” in Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings, 2014, pp. 132--147.'
mla: 'Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability
Proofs.” Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.'
short: 'O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification
and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa,
Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.'
date_created: 2018-06-13T07:59:46Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-319-13338-6_11
editor:
- first_name: Eran
full_name: Yahav, Eran
last_name: Yahav
page: 132--147
publication: 'Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014.
Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Handling {TSO} in Mechanized Linearizability Proofs
type: conference
user_id: '29719'
year: '2014'
...
---
_id: '3172'
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Isenberg T, Wehrheim H. Timed Automata Verification via {IC3} with Zones.
In: Merz S, Pang J, eds. Formal Methods and Software Engineering - 16th International
Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:203--218.
doi:10.1007/978-3-319-11737-9_14'
apa: Isenberg, T., & Wehrheim, H. (2014). Timed Automata Verification via {IC3}
with Zones. In S. Merz & J. Pang (Eds.), Formal Methods and Software Engineering
- 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg,
Luxembourg, November 3-5, 2014. Proceedings (pp. 203--218). https://doi.org/10.1007/978-3-319-11737-9_14
bibtex: '@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} }'
chicago: Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via
{IC3} with Zones.” In Formal Methods and Software Engineering - 16th International
Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 203--218.
Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-11737-9_14.
ieee: T. Isenberg and H. Wehrheim, “Timed Automata Verification via {IC3} with Zones,”
in Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November
3-5, 2014. Proceedings, 2014, pp. 203--218.
mla: Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3}
with Zones.” Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November
3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218,
doi:10.1007/978-3-319-11737-9_14.
short: 'T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and
Software Engineering - 16th International Conference on Formal Engineering Methods,
{ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp.
203--218.'
date_created: 2018-06-13T08:01:04Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-319-11737-9_14
editor:
- first_name: Stephan
full_name: Merz, Stephan
last_name: Merz
- first_name: Jun
full_name: Pang, Jun
last_name: Pang
page: 203--218
publication: Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5,
2014. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Timed Automata Verification via {IC3} with Zones
type: conference
user_id: '29719'
year: '2014'
...
---
_id: '3173'
author:
- first_name: Steve
full_name: A. Schneider, Steve
last_name: A. Schneider
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: David
full_name: M. Williams, David
last_name: M. Williams
citation:
ama: 'A. Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} Properties
in Event-B Refinement. In: Albert E, Sekerinski E, eds. Integrated Formal Methods
- 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11,
2014, Proceedings. Lecture Notes in Computer Science. ; 2014:221--237. doi:10.1007/978-3-319-10181-1_14'
apa: A. Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014).
Managing {LTL} Properties in Event-B Refinement. In E. Albert & E. Sekerinski
(Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 221--237). https://doi.org/10.1007/978-3-319-10181-1_14
bibtex: '@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} }'
chicago: A. Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams.
“Managing {LTL} Properties in Event-B Refinement.” In Integrated Formal Methods
- 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11,
2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 221--237.
Lecture Notes in Computer Science, 2014. https://doi.org/10.1007/978-3-319-10181-1_14.
ieee: S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL}
Properties in Event-B Refinement,” in Integrated Formal Methods - 11th International
Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings,
2014, pp. 221--237.
mla: A. Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.”
Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro,
Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil
Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.
short: '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.'
date_created: 2018-06-13T08:04:33Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
doi: 10.1007/978-3-319-10181-1_14
editor:
- first_name: Elvira
full_name: Albert, Elvira
last_name: Albert
- first_name: Emil
full_name: Sekerinski, Emil
last_name: Sekerinski
page: 221--237
publication: Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Managing {LTL} Properties in Event-B Refinement
type: conference
user_id: '29719'
year: '2014'
...
---
_id: '3174'
author:
- first_name: Steve
full_name: Schneider, Steve
last_name: Schneider
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: David
full_name: M. Williams, David
last_name: M. Williams
citation:
ama: Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties
in Event-B refinement. CoRR. 2014.
apa: Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014). Managing
{LTL} properties in Event-B refinement. CoRR.
bibtex: '@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} }'
chicago: Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams.
“Managing {LTL} Properties in Event-B Refinement.” CoRR, 2014.
ieee: S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL}
properties in Event-B refinement,” CoRR, 2014.
mla: Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.”
CoRR, 2014.
short: S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
date_created: 2018-06-13T08:05:39Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
publication: CoRR
status: public
title: Managing {LTL} properties in Event-B refinement
type: journal_article
user_id: '29719'
year: '2014'
...
---
_id: '3175'
author:
- first_name: Tobias
full_name: Isenberg, Tobias
last_name: Isenberg
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. CoRR. 2014.
apa: Isenberg, T., & Wehrheim, H. (2014). Proof-Carrying Hardware via {IC3}.
CoRR.
bibtex: '@article{Isenberg_Wehrheim_2014, title={Proof-Carrying Hardware via {IC3}},
journal={CoRR}, author={Isenberg, Tobias and Wehrheim, Heike}, year={2014} }'
chicago: Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.”
CoRR, 2014.
ieee: T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via {IC3},” CoRR,
2014.
mla: Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.”
CoRR, 2014.
short: T. Isenberg, H. Wehrheim, CoRR (2014).
date_created: 2018-06-13T08:07:24Z
date_updated: 2022-01-06T06:59:02Z
department:
- _id: '77'
publication: CoRR
status: public
title: Proof-Carrying Hardware via {IC3}
type: journal_article
user_id: '29719'
year: '2014'
...
---
_id: '27041'
author:
- first_name: Madlen
full_name: Stimming, Madlen
last_name: Stimming
- first_name: Christina M.
full_name: Mesch, Christina M.
last_name: Mesch
- first_name: Mathilde
full_name: Kersting, Mathilde
last_name: Kersting
- first_name: Lars
full_name: Libuda, Lars
id: '88682'
last_name: Libuda
orcid: 0000-0003-1603-3133
citation:
ama: 'Stimming M, Mesch CM, Kersting M, Libuda L. Fish and rapeseed oil consumption
in infants and mothers: dietary habits and determinants in a nationwide sample
in Germany. European Journal of Nutrition. Published online 2014:1069-1080.
doi:10.1007/s00394-014-0784-y'
apa: 'Stimming, M., Mesch, C. M., Kersting, M., & Libuda, L. (2014). Fish and
rapeseed oil consumption in infants and mothers: dietary habits and determinants
in a nationwide sample in Germany. European Journal of Nutrition, 1069–1080.
https://doi.org/10.1007/s00394-014-0784-y'
bibtex: '@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} }'
chicago: 'Stimming, Madlen, Christina M. Mesch, Mathilde Kersting, and Lars Libuda.
“Fish and Rapeseed Oil Consumption in Infants and Mothers: Dietary Habits and
Determinants in a Nationwide Sample in Germany.” European Journal of Nutrition,
2014, 1069–80. https://doi.org/10.1007/s00394-014-0784-y.'
ieee: 'M. Stimming, C. M. Mesch, M. Kersting, and L. Libuda, “Fish and rapeseed
oil consumption in infants and mothers: dietary habits and determinants in a nationwide
sample in Germany,” European Journal of Nutrition, pp. 1069–1080, 2014,
doi: 10.1007/s00394-014-0784-y.'
mla: 'Stimming, Madlen, et al. “Fish and Rapeseed Oil Consumption in Infants and
Mothers: Dietary Habits and Determinants in a Nationwide Sample in Germany.” European
Journal of Nutrition, 2014, pp. 1069–80, doi:10.1007/s00394-014-0784-y.'
short: M. Stimming, C.M. Mesch, M. Kersting, L. Libuda, European Journal of Nutrition
(2014) 1069–1080.
date_created: 2021-11-01T20:14:14Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1007/s00394-014-0784-y
language:
- iso: eng
page: 1069-1080
publication: European Journal of Nutrition
publication_identifier:
issn:
- 1436-6207
- 1436-6215
publication_status: published
status: public
title: 'Fish and rapeseed oil consumption in infants and mothers: dietary habits and
determinants in a nationwide sample in Germany'
type: journal_article
user_id: '49428'
year: '2014'
...
---
_id: '27042'
author:
- first_name: Madlen
full_name: Stimming, Madlen
last_name: Stimming
- first_name: Christina M.
full_name: Mesch, Christina M.
last_name: Mesch
- first_name: Mathilde
full_name: Kersting, Mathilde
last_name: Kersting
- first_name: Hermann
full_name: Kalhoff, Hermann
last_name: Kalhoff
- first_name: Hans
full_name: Demmelmair, Hans
last_name: Demmelmair
- first_name: Berthold
full_name: Koletzko, Berthold
last_name: Koletzko
- first_name: Anne
full_name: Schmidt, Anne
last_name: Schmidt
- first_name: Volker
full_name: Böhm, Volker
last_name: Böhm
- first_name: Lars
full_name: Libuda, Lars
id: '88682'
last_name: Libuda
orcid: 0000-0003-1603-3133
citation:
ama: Stimming M, Mesch CM, Kersting M, et al. Vitamin E Content and Estimated Need
in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated
Fatty Acids (LC-PUFA) Enrichment. Journal of Agricultural and Food Chemistry.
Published online 2014:10153-10161. doi:10.1021/jf502469b
apa: Stimming, M., Mesch, C. M., Kersting, M., Kalhoff, H., Demmelmair, H., Koletzko,
B., Schmidt, A., Böhm, V., & Libuda, L. (2014). Vitamin E Content and Estimated
Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated
Fatty Acids (LC-PUFA) Enrichment. Journal of Agricultural and Food Chemistry,
10153–10161. https://doi.org/10.1021/jf502469b
bibtex: '@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}
}'
chicago: Stimming, Madlen, Christina M. Mesch, Mathilde Kersting, Hermann Kalhoff,
Hans Demmelmair, Berthold Koletzko, Anne Schmidt, Volker Böhm, and Lars Libuda.
“Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas
With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment.”
Journal of Agricultural and Food Chemistry, 2014, 10153–61. https://doi.org/10.1021/jf502469b.
ieee: 'M. Stimming et al., “Vitamin E Content and Estimated Need in German
Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty
Acids (LC-PUFA) Enrichment,” Journal of Agricultural and Food Chemistry,
pp. 10153–10161, 2014, doi: 10.1021/jf502469b.'
mla: Stimming, Madlen, et al. “Vitamin E Content and Estimated Need in German Infant
and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids
(LC-PUFA) Enrichment.” Journal of Agricultural and Food Chemistry, 2014,
pp. 10153–61, doi:10.1021/jf502469b.
short: M. Stimming, C.M. Mesch, M. Kersting, H. Kalhoff, H. Demmelmair, B. Koletzko,
A. Schmidt, V. Böhm, L. Libuda, Journal of Agricultural and Food Chemistry (2014)
10153–10161.
date_created: 2021-11-01T20:16:04Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1021/jf502469b
language:
- iso: eng
page: 10153-10161
publication: Journal of Agricultural and Food Chemistry
publication_identifier:
issn:
- 0021-8561
- 1520-5118
publication_status: published
status: public
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
type: journal_article
user_id: '49428'
year: '2014'
...
---
_id: '27044'
author:
- first_name: Krishna
full_name: Vyncke, Krishna
last_name: Vyncke
- first_name: Inge
full_name: Huybrechts, Inge
last_name: Huybrechts
- first_name: Myriam
full_name: Van Winckel, Myriam
last_name: Van Winckel
- first_name: Magdalena
full_name: Cuenca Garcia, Magdalena
last_name: Cuenca Garcia
- first_name: Idoia
full_name: Labayen, Idoia
last_name: Labayen
- first_name: Frederic
full_name: Gottrand, Frederic
last_name: Gottrand
- first_name: Kurt
full_name: Widhalm, Kurt
last_name: Widhalm
- first_name: Catherine
full_name: Leclercq, Catherine
last_name: Leclercq
- first_name: Lars
full_name: Libuda, Lars
id: '88682'
last_name: Libuda
orcid: 0000-0003-1603-3133
- first_name: Yannis
full_name: Manios, Yannis
last_name: Manios
- first_name: Michael
full_name: Sjostrom, Michael
last_name: Sjostrom
- first_name: Denes
full_name: Molnar, Denes
last_name: Molnar
- first_name: Luis A.
full_name: Moreno, Luis A.
last_name: Moreno
- first_name: Marcela
full_name: Gonzalez-Gross, Marcela
last_name: Gonzalez-Gross
- first_name: André
full_name: Spinneker, André
last_name: Spinneker
- first_name: Fatima
full_name: Perez de Heredia, Fatima
last_name: Perez de Heredia
- first_name: Maria
full_name: Plada, Maria
last_name: Plada
- first_name: Stefaan
full_name: De Henauw, Stefaan
last_name: De Henauw
citation:
ama: 'Vyncke K, Huybrechts I, Van Winckel M, et al. Dietary Lipid Intake only Partially
Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents:
Impact of Other Dietary Factors. Lipids. Published online 2014:881-893.
doi:10.1007/s11745-014-3935-2'
apa: 'Vyncke, K., Huybrechts, I., Van Winckel, M., Cuenca Garcia, M., Labayen, I.,
Gottrand, F., Widhalm, K., Leclercq, C., Libuda, L., Manios, Y., Sjostrom, M.,
Molnar, D., Moreno, L. A., Gonzalez-Gross, M., Spinneker, A., Perez de Heredia,
F., Plada, M., & De Henauw, S. (2014). Dietary Lipid Intake only Partially
Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents:
Impact of Other Dietary Factors. Lipids, 881–893. https://doi.org/10.1007/s11745-014-3935-2'
bibtex: '@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} }'
chicago: 'Vyncke, Krishna, Inge Huybrechts, Myriam Van Winckel, Magdalena Cuenca
Garcia, Idoia Labayen, Frederic Gottrand, Kurt Widhalm, et al. “Dietary Lipid
Intake Only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition
in Adolescents: Impact of Other Dietary Factors.” Lipids, 2014, 881–93.
https://doi.org/10.1007/s11745-014-3935-2.'
ieee: 'K. Vyncke et al., “Dietary Lipid Intake only Partially Influences
Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of
Other Dietary Factors,” Lipids, pp. 881–893, 2014, doi: 10.1007/s11745-014-3935-2.'
mla: 'Vyncke, Krishna, et al. “Dietary Lipid Intake Only Partially Influences Variance
in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary
Factors.” Lipids, 2014, pp. 881–93, doi:10.1007/s11745-014-3935-2.'
short: K. Vyncke, I. Huybrechts, M. Van Winckel, M. Cuenca Garcia, I. Labayen, F.
Gottrand, K. Widhalm, C. Leclercq, L. Libuda, Y. Manios, M. Sjostrom, D. Molnar,
L.A. Moreno, M. Gonzalez-Gross, A. Spinneker, F. Perez de Heredia, M. Plada, S.
De Henauw, Lipids (2014) 881–893.
date_created: 2021-11-01T20:19:35Z
date_updated: 2022-01-06T06:57:32Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1007/s11745-014-3935-2
language:
- iso: eng
page: 881-893
publication: Lipids
publication_identifier:
issn:
- 0024-4201
- 1558-9307
publication_status: published
status: public
title: 'Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid
Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors'
type: journal_article
user_id: '49428'
year: '2014'
...
---
_id: '27059'
abstract:
- lang: eng
text: The present study aimed to investigate the relationships between macronutrient
intake and serum lipid profile in adolescents from eight European cities participating
in the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) cross-sectional
study (2006–7), and to assess the role of body fat-related variables in these
associations. Weight, height, waist circumference, skinfold thicknesses, total
cholesterol, HDL-cholesterol (HDL-C), LDL-cholesterol, TAG, apoB and apoA1 were
measured in 454 adolescents (44 % boys) aged 12·5–17·5 years. Macronutrient intake
(g/4180 kJ per d (1000 kcal per d)) was assessed using two non-consecutive 24 h
dietary recalls. Associations were evaluated by multi-level analysis and adjusted
for sex, age, maternal education, centre, sum of four skinfolds, moderate-to-vigorous
physical activity, sedentary behaviours and diet quality index for adolescents.
Carbohydrate intake was inversely associated with HDL-C (β = − 0·189, P< 0·001).
An inverse association was found between fat intake and TAG (β = − 0·319, P< 0·001).
Associations between macronutrient intake and serum lipids varied according to
adiposity levels, i.e. an inverse association between carbohydrate intake and
HDL-C was only observed in those adolescents with a higher waist:height ratio.
As serum lipids and excess body fat are the major markers of CVD, these findings
should be considered when developing strategies to prevent the risk of CVD among
adolescents.
author:
- first_name: Silvia
full_name: Bel-Serrat, Silvia
last_name: Bel-Serrat
- first_name: Theodora
full_name: Mouratidou, Theodora
last_name: Mouratidou
- first_name: Inge
full_name: Huybrechts, Inge
last_name: Huybrechts
- first_name: Idoia
full_name: Labayen, Idoia
last_name: Labayen
- first_name: Magdalena
full_name: Cuenca-García, Magdalena
last_name: Cuenca-García
- first_name: Gonzalo
full_name: Palacios, Gonzalo
last_name: Palacios
- first_name: Christina
full_name: Breidenassel, Christina
last_name: Breidenassel
- first_name: Dénes
full_name: Molnár, Dénes
last_name: Molnár
- first_name: Romana
full_name: Roccaldo, Romana
last_name: Roccaldo
- first_name: Kurt
full_name: Widhalm, Kurt
last_name: Widhalm
- first_name: Frederic
full_name: Gottrand, Frederic
last_name: Gottrand
- first_name: Anthony
full_name: Kafatos, Anthony
last_name: Kafatos
- first_name: Yannis
full_name: Manios, Yannis
last_name: Manios
- first_name: Krishna
full_name: Vyncke, Krishna
last_name: Vyncke
- first_name: Michael
full_name: Sjöström, Michael
last_name: Sjöström
- first_name: Lars
full_name: Libuda, Lars
id: '88682'
last_name: Libuda
orcid: 0000-0003-1603-3133
- first_name: Sonia
full_name: Gómez-Martínez, Sonia
last_name: Gómez-Martínez
- first_name: Luis A.
full_name: Moreno, Luis A.
last_name: Moreno
citation:
ama: 'Bel-Serrat S, Mouratidou T, Huybrechts I, et al. 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. British
Journal of Nutrition. Published online 2014:2049-2059. doi:10.1017/s0007114514003183'
apa: 'Bel-Serrat, S., Mouratidou, T., Huybrechts, I., Labayen, I., Cuenca-García,
M., Palacios, G., Breidenassel, C., Molnár, D., Roccaldo, R., Widhalm, K., Gottrand,
F., Kafatos, A., Manios, Y., Vyncke, K., Sjöström, M., Libuda, L., Gómez-Martínez,
S., & Moreno, L. A. (2014). 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. British Journal of Nutrition,
2049–2059. https://doi.org/10.1017/s0007114514003183'
bibtex: '@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} }'
chicago: 'Bel-Serrat, Silvia, Theodora Mouratidou, Inge Huybrechts, Idoia Labayen,
Magdalena Cuenca-García, Gonzalo Palacios, Christina Breidenassel, et al. “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.” British Journal of Nutrition, 2014, 2049–59. https://doi.org/10.1017/s0007114514003183.'
ieee: 'S. Bel-Serrat et al., “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,” British Journal of Nutrition,
pp. 2049–2059, 2014, doi: 10.1017/s0007114514003183.'
mla: 'Bel-Serrat, Silvia, et al. “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.” British Journal of Nutrition,
2014, pp. 2049–59, doi:10.1017/s0007114514003183.'
short: S. Bel-Serrat, T. Mouratidou, I. Huybrechts, I. Labayen, M. Cuenca-García,
G. Palacios, C. Breidenassel, D. Molnár, R. Roccaldo, K. Widhalm, F. Gottrand,
A. Kafatos, Y. Manios, K. Vyncke, M. Sjöström, L. Libuda, S. Gómez-Martínez, L.A.
Moreno, British Journal of Nutrition (2014) 2049–2059.
date_created: 2021-11-02T20:18:54Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1017/s0007114514003183
language:
- iso: eng
page: 2049-2059
publication: British Journal of Nutrition
publication_identifier:
issn:
- 0007-1145
- 1475-2662
publication_status: published
status: public
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'
type: journal_article
user_id: '49428'
year: '2014'
...
---
_id: '27060'
author:
- first_name: Christina M.
full_name: Mesch, Christina M.
last_name: Mesch
- first_name: Madlen
full_name: Stimming, Madlen
last_name: Stimming
- first_name: Kristina
full_name: Foterek, Kristina
last_name: Foterek
- first_name: Annett
full_name: Hilbig, Annett
last_name: Hilbig
- first_name: Ute
full_name: Alexy, Ute
last_name: Alexy
- first_name: Mathilde
full_name: Kersting, Mathilde
last_name: Kersting
- first_name: Lars
full_name: Libuda, Lars
id: '88682'
last_name: Libuda
orcid: 0000-0003-1603-3133
citation:
ama: Mesch CM, Stimming M, Foterek K, et al. Food variety in commercial and homemade
complementary meals for infants in Germany. Market survey and dietary practice.
Appetite. Published online 2014:113-119. doi:10.1016/j.appet.2014.01.074
apa: Mesch, C. M., Stimming, M., Foterek, K., Hilbig, A., Alexy, U., Kersting, M.,
& Libuda, L. (2014). Food variety in commercial and homemade complementary
meals for infants in Germany. Market survey and dietary practice. Appetite,
113–119. https://doi.org/10.1016/j.appet.2014.01.074
bibtex: '@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} }'
chicago: Mesch, Christina M., Madlen Stimming, Kristina Foterek, Annett Hilbig,
Ute Alexy, Mathilde Kersting, and Lars Libuda. “Food Variety in Commercial and
Homemade Complementary Meals for Infants in Germany. Market Survey and Dietary
Practice.” Appetite, 2014, 113–19. https://doi.org/10.1016/j.appet.2014.01.074.
ieee: 'C. M. Mesch et al., “Food variety in commercial and homemade complementary
meals for infants in Germany. Market survey and dietary practice,” Appetite,
pp. 113–119, 2014, doi: 10.1016/j.appet.2014.01.074.'
mla: Mesch, Christina M., et al. “Food Variety in Commercial and Homemade Complementary
Meals for Infants in Germany. Market Survey and Dietary Practice.” Appetite,
2014, pp. 113–19, doi:10.1016/j.appet.2014.01.074.
short: C.M. Mesch, M. Stimming, K. Foterek, A. Hilbig, U. Alexy, M. Kersting, L.
Libuda, Appetite (2014) 113–119.
date_created: 2021-11-02T20:21:10Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '35'
- _id: '22'
- _id: '395'
doi: 10.1016/j.appet.2014.01.074
language:
- iso: eng
page: 113-119
publication: Appetite
publication_identifier:
issn:
- 0195-6663
publication_status: published
status: public
title: Food variety in commercial and homemade complementary meals for infants in
Germany. Market survey and dietary practice
type: journal_article
user_id: '49428'
year: '2014'
...
---
_id: '2707'
author:
- first_name: Tobias
full_name: Mutter, Tobias
last_name: Mutter
- first_name: Dennis
full_name: Kundisch, Dennis
id: '21117'
last_name: Kundisch
citation:
ama: 'Mutter T, Kundisch D. Behavioral Mechanisms Prompted by Badges: The Goal-Gradient
Hypothesis. In: Proceedings of the International Conference on Information
Systems (ICIS). ; 2014.'
apa: 'Mutter, T., & Kundisch, D. (2014). Behavioral Mechanisms Prompted by Badges:
The Goal-Gradient Hypothesis. In Proceedings of the International Conference
on Information Systems (ICIS). Auckland, Neuseeland.'
bibtex: '@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} }'
chicago: 'Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by
Badges: The Goal-Gradient Hypothesis.” In Proceedings of the International
Conference on Information Systems (ICIS), 2014.'
ieee: 'T. Mutter and D. Kundisch, “Behavioral Mechanisms Prompted by Badges: The
Goal-Gradient Hypothesis,” in Proceedings of the International Conference on
Information Systems (ICIS), Auckland, Neuseeland, 2014.'
mla: 'Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by Badges:
The Goal-Gradient Hypothesis.” Proceedings of the International Conference
on Information Systems (ICIS), 2014.'
short: 'T. Mutter, D. Kundisch, in: Proceedings of the International Conference
on Information Systems (ICIS), 2014.'
conference:
location: Auckland, Neuseeland
name: International Conference on Information Systems (ICIS)
date_created: 2018-05-08T14:36:10Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '276'
language:
- iso: eng
publication: Proceedings of the International Conference on Information Systems (ICIS)
publication_status: published
status: public
title: 'Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis'
type: conference
user_id: '16205'
year: '2014'
...
---
_id: '2708'
author:
- first_name: Philipp
full_name: Herrmann, Philipp
last_name: Herrmann
citation:
ama: 'Herrmann P. The Hunt for Quality in a Market: Exploring the Relationship between
Local Market Structure and Digitized Customer Experience. In: ; 2014.'
apa: 'Herrmann, P. (2014). The Hunt for Quality in a Market: Exploring the Relationship
between Local Market Structure and Digitized Customer Experience. Presented at
the Workshop on Information Systems & Economics (WISE), Auckland, Neuseeland.'
bibtex: '@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} }'
chicago: 'Herrmann, Philipp. “The Hunt for Quality in a Market: Exploring the Relationship
between Local Market Structure and Digitized Customer Experience,” 2014.'
ieee: 'P. Herrmann, “The Hunt for Quality in a Market: Exploring the Relationship
between Local Market Structure and Digitized Customer Experience,” presented at
the Workshop on Information Systems & Economics (WISE), Auckland, Neuseeland,
2014.'
mla: 'Herrmann, Philipp. The Hunt for Quality in a Market: Exploring the Relationship
between Local Market Structure and Digitized Customer Experience. 2014.'
short: 'P. Herrmann, in: 2014.'
conference:
location: Auckland, Neuseeland
name: Workshop on Information Systems & Economics (WISE)
date_created: 2018-05-08T14:59:11Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '276'
language:
- iso: eng
status: public
title: 'The Hunt for Quality in a Market: Exploring the Relationship between Local
Market Structure and Digitized Customer Experience'
type: conference
user_id: '16205'
year: '2014'
...
---
_id: '2709'
abstract:
- lang: eng
text: 'This paper studies welfare consequences of consumer-side market transparency
with endogenous entry of firms. Different from most studies, we consider the unique
symmetric entry equilibrium, which is in mixed strategies. We identify two effects
of market transparency on welfare: a competition effect and a novel market-structure
effect. We show, surprisingly, that for almost all demand functions the negative
market-structure effect eventually dominates the positive competition effect as
the market becomes increasingly transparent. Consumer-side market transparency
can therefore be socially excessive even without collusion. The only exception
among commonly used demand functions is the set of constant demand functions. '
article_type: original
author:
- first_name: Yiquan
full_name: Gu, Yiquan
last_name: Gu
- first_name: Burkhard
full_name: Hehenkamp, Burkhard
id: '37339'
last_name: Hehenkamp
citation:
ama: Gu Y, Hehenkamp B. Too Much of a Good Thing? Welfare Consequences of Market
Transparency. Journal of Institutional and Theoretical Economics JITE.
2014;170(2):225-248. doi:10.1628/093245614x13895979380392
apa: Gu, Y., & Hehenkamp, B. (2014). Too Much of a Good Thing? Welfare Consequences
of Market Transparency. Journal of Institutional and Theoretical Economics
JITE, 170(2), 225–248. https://doi.org/10.1628/093245614x13895979380392
bibtex: '@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} }'
chicago: 'Gu, Yiquan, and Burkhard Hehenkamp. “Too Much of a Good Thing? Welfare
Consequences of Market Transparency.” Journal of Institutional and Theoretical
Economics JITE 170, no. 2 (2014): 225–48. https://doi.org/10.1628/093245614x13895979380392.'
ieee: Y. Gu and B. Hehenkamp, “Too Much of a Good Thing? Welfare Consequences of
Market Transparency,” Journal of Institutional and Theoretical Economics JITE,
vol. 170, no. 2, pp. 225–248, 2014.
mla: Gu, Yiquan, and Burkhard Hehenkamp. “Too Much of a Good Thing? Welfare Consequences
of Market Transparency.” Journal of Institutional and Theoretical Economics
JITE, vol. 170, no. 2, Mohr Siebeck, 2014, pp. 225–48, doi:10.1628/093245614x13895979380392.
short: Y. Gu, B. Hehenkamp, Journal of Institutional and Theoretical Economics JITE
170 (2014) 225–248.
date_created: 2018-05-08T17:37:21Z
date_updated: 2022-01-06T06:57:33Z
department:
- _id: '280'
- _id: '475'
doi: 10.1628/093245614x13895979380392
intvolume: ' 170'
issue: '2'
page: 225-248
publication: Journal of Institutional and Theoretical Economics JITE
publication_identifier:
issn:
- 0932-4569
publication_status: published
publisher: Mohr Siebeck
status: public
title: Too Much of a Good Thing? Welfare Consequences of Market Transparency
type: journal_article
user_id: '37339'
volume: 170
year: '2014'
...
---
_id: '2713'
author:
- first_name: Philipp
full_name: Herrmann, Philipp
last_name: Herrmann
- first_name: Mohammad
full_name: Rahman, Mohammad
last_name: Rahman
citation:
ama: 'Herrmann P, Rahman M. The Hunt for Quality in a Market: Exploring the Relationship
between Local Market Structure and Digitized Customer Experience. In: Workshop
on Information Systems & Economics (WISE). ; 2014.'
apa: 'Herrmann, P., & Rahman, M. (2014). The Hunt for Quality in a Market: Exploring
the Relationship between Local Market Structure and Digitized Customer Experience.
In Workshop on Information Systems & Economics (WISE). Auckland, Neuseeland.'
bibtex: '@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} }'
chicago: 'Herrmann, Philipp, and Mohammad Rahman. “The Hunt for Quality in a Market:
Exploring the Relationship between Local Market Structure and Digitized Customer
Experience.” In Workshop on Information Systems & Economics (WISE),
2014.'
ieee: 'P. Herrmann and M. Rahman, “The Hunt for Quality in a Market: Exploring the
Relationship between Local Market Structure and Digitized Customer Experience,”
in Workshop on Information Systems & Economics (WISE), Auckland, Neuseeland,
2014.'
mla: 'Herrmann, Philipp, and Mohammad Rahman. “The Hunt for Quality in a Market:
Exploring the Relationship between Local Market Structure and Digitized Customer
Experience.” Workshop on Information Systems & Economics (WISE), 2014.'
short: 'P. Herrmann, M. Rahman, in: Workshop on Information Systems & Economics
(WISE), 2014.'
conference:
location: Auckland, Neuseeland
name: Workshop on Information Systems & Economics (WISE)
date_created: 2018-05-09T08:49:33Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '276'
language:
- iso: eng
publication: Workshop on Information Systems & Economics (WISE)
status: public
title: 'The Hunt for Quality in a Market: Exploring the Relationship between Local
Market Structure and Digitized Customer Experience'
type: conference_abstract
user_id: '16205'
year: '2014'
...
---
_id: '2714'
author:
- first_name: Thomas
full_name: John, Thomas
last_name: John
citation:
ama: 'John T. Modeling Languages for Business Models as Tools for Innovation: Towards
a Theoretical Foundation. In: Proceedings of the Americas’ Conference on Information
Systems (AMCIS). ; 2014.'
apa: 'John, T. (2014). Modeling Languages for Business Models as Tools for Innovation:
Towards a Theoretical Foundation. In Proceedings of the Americas’ Conference
on Information Systems (AMCIS). Savannah, USA.'
bibtex: '@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} }'
chicago: 'John, Thomas. “Modeling Languages for Business Models as Tools for Innovation:
Towards a Theoretical Foundation.” In Proceedings of the Americas’ Conference
on Information Systems (AMCIS), 2014.'
ieee: 'T. John, “Modeling Languages for Business Models as Tools for Innovation:
Towards a Theoretical Foundation,” in Proceedings of the Americas’ Conference
on Information Systems (AMCIS), Savannah, USA, 2014.'
mla: 'John, Thomas. “Modeling Languages for Business Models as Tools for Innovation:
Towards a Theoretical Foundation.” Proceedings of the Americas’ Conference
on Information Systems (AMCIS), 2014.'
short: 'T. John, in: Proceedings of the Americas’ Conference on Information Systems
(AMCIS), 2014.'
conference:
location: Savannah, USA
name: Americas' Conference on Information Systems (AMCIS)
date_created: 2018-05-09T08:53:06Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '276'
language:
- iso: eng
publication: Proceedings of the Americas' Conference on Information Systems (AMCIS)
status: public
title: 'Modeling Languages for Business Models as Tools for Innovation: Towards a
Theoretical Foundation'
type: conference
user_id: '16205'
year: '2014'
...
---
_id: '2715'
author:
- first_name: Thomas
full_name: Görzen, Thomas
id: '47700'
last_name: Görzen
- first_name: Dennis
full_name: Kundisch, Dennis
id: '21117'
last_name: Kundisch
- first_name: C.
full_name: Ottensmann, C.
last_name: Ottensmann
- first_name: A.
full_name: Haubrock, A.
last_name: Haubrock
citation:
ama: 'Görzen T, Kundisch D, Ottensmann C, Haubrock A. Research on Electric Mobility
in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet. In: Proceedings
of the European Electric Vehicle Congress (EEVC). ; 2014.'
apa: 'Görzen, T., Kundisch, D., Ottensmann, C., & Haubrock, A. (2014). Research
on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle
Fleet. In Proceedings of the European Electric Vehicle Congress (EEVC).
Brussels, Belgium.'
bibtex: '@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} }'
chicago: 'Görzen, Thomas, Dennis Kundisch, C. Ottensmann, and A. Haubrock. “Research
on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle
Fleet.” In Proceedings of the European Electric Vehicle Congress (EEVC),
2014.'
ieee: 'T. Görzen, D. Kundisch, C. Ottensmann, and A. Haubrock, “Research on Electric
Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet,”
in Proceedings of the European Electric Vehicle Congress (EEVC), Brussels,
Belgium, 2014.'
mla: 'Görzen, Thomas, et al. “Research on Electric Mobility in Germany: Monitoring
a Commercial Battery Electric Vehicle Fleet.” Proceedings of the European Electric
Vehicle Congress (EEVC), 2014.'
short: 'T. Görzen, D. Kundisch, C. Ottensmann, A. Haubrock, in: Proceedings of the
European Electric Vehicle Congress (EEVC), 2014.'
conference:
location: Brussels, Belgium
name: European Electric Vehicle Congress (EEVC)
date_created: 2018-05-09T08:57:04Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '276'
language:
- iso: eng
publication: Proceedings of the European Electric Vehicle Congress (EEVC)
publication_status: published
status: public
title: 'Research on Electric Mobility in Germany: Monitoring a Commercial Battery
Electric Vehicle Fleet'
type: conference
user_id: '16205'
year: '2014'
...
---
_id: '27166'
author:
- first_name: Reinhard
full_name: Keil, Reinhard
last_name: Keil
- first_name: Harald
full_name: Selke, Harald
id: '497'
last_name: Selke
- first_name: Felix
full_name: Winkelnkemper, Felix
id: '3117'
last_name: Winkelnkemper
citation:
ama: Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide
Web. Trahasch S, Pl {\ "o} tzner R, Schneider G, Gayer C, Sassiat D, W {\ "o}
hrle N, eds. Published online 2014:51–60.
apa: Keil, R., Selke, H., & Winkelnkemper, F. (2014). Twenty years of learning
with the World Wide Web (S. Trahasch, R. Pl {\ "o} tzner , G. Schneider,
C. Gayer, D. Sassiat, & N. W {\ "o} hrle, Eds.; pp. 51–60).
bibtex: '@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)} }'
chicago: Keil, Reinhard, Harald Selke, and Felix Winkelnkemper. “Twenty Years of
Learning with the World Wide Web.” Edited by Stephan Trahasch, Rolf Pl {\ "o}
tzner , Gerhard Schneider, Claudia Gayer, Daniel Sassiat, and Nicole W {\ "o}
hrle. Lecture Notes in Informatics (LNI), 2014.
ieee: R. Keil, H. Selke, and F. Winkelnkemper, “Twenty years of learning with the
World Wide Web.” pp. 51–60, 2014.
mla: Keil, Reinhard, et al. Twenty Years of Learning with the World Wide Web.
Edited by Stephan Trahasch et al., 2014, pp. 51–60.
short: R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
date_created: 2021-11-05T23:07:46Z
date_updated: 2022-01-06T06:57:35Z
department:
- _id: '71'
editor:
- first_name: Stephan
full_name: Trahasch, Stephan
last_name: Trahasch
- first_name: 'Rolf '
full_name: ' Pl {\ "o} tzner , Rolf '
last_name: ' Pl {\ "o} tzner '
- first_name: Gerhard
full_name: Schneider, Gerhard
last_name: Schneider
- first_name: 'Claudia '
full_name: 'Gayer, Claudia '
last_name: Gayer
- first_name: Daniel
full_name: Sassiat, Daniel
last_name: Sassiat
- first_name: Nicole
full_name: W {\ "o} hrle, Nicole
last_name: W {\ "o} hrle
language:
- iso: eng
page: 51–60
publication_status: published
series_title: Lecture Notes in Informatics (LNI)
status: public
title: Twenty years of learning with the World Wide Web
type: conference
user_id: '71124'
year: '2014'
...