---
_id: '28938'
author:
- first_name: Mario
full_name: Vennemann, Mario
last_name: Vennemann
- first_name: Birgit
full_name: Eickelmann, Birgit
id: '40387'
last_name: Eickelmann
citation:
ama: 'Vennemann M, Eickelmann B. Can we predict usage out of possession? – A home
digital resources (HDR) scale to describe students’ digital learning resources
in primary schools. In: Proceedings of the American Educational Research Association
Annual Meeting (AERA). ; 2014.'
apa: Vennemann, M., & Eickelmann, B. (2014). Can we predict usage out of possession?
– A home digital resources (HDR) scale to describe students’ digital learning
resources in primary schools. Proceedings of the American Educational Research
Association Annual Meeting (AERA).
bibtex: '@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} }'
chicago: Vennemann, Mario, and Birgit Eickelmann. “Can We Predict Usage out of Possession?
– A Home Digital Resources (HDR) Scale to Describe Students’ Digital Learning
Resources in Primary Schools.” In Proceedings of the American Educational Research
Association Annual Meeting (AERA). Philadelphia, PA, 2014.
ieee: M. Vennemann and B. Eickelmann, “Can we predict usage out of possession? –
A home digital resources (HDR) scale to describe students’ digital learning resources
in primary schools,” 2014.
mla: Vennemann, Mario, and Birgit Eickelmann. “Can We Predict Usage out of Possession?
– A Home Digital Resources (HDR) Scale to Describe Students’ Digital Learning
Resources in Primary Schools.” Proceedings of the American Educational Research
Association Annual Meeting (AERA), 2014.
short: 'M. Vennemann, B. Eickelmann, in: Proceedings of the American Educational
Research Association Annual Meeting (AERA), Philadelphia, PA, 2014.'
date_created: 2021-12-15T10:24:08Z
date_updated: 2022-01-06T06:58:41Z
department:
- _id: '462'
language:
- iso: eng
place: Philadelphia, PA
publication: Proceedings of the American Educational Research Association annual meeting
(AERA)
status: public
title: Can we predict usage out of possession? – A home digital resources (HDR) scale
to describe students’ digital learning resources in primary schools
type: conference
user_id: '50923'
year: '2014'
...
---
_id: '28939'
author:
- first_name: Kwok-Wing
full_name: Lai, Kwok-Wing
last_name: Lai
- first_name: Birgit
full_name: Eickelmann, Birgit
id: '40387'
last_name: Eickelmann
- first_name: Petra
full_name: Fisser, Petra
last_name: Fisser
- first_name: Ferial
full_name: Khaddage, Ferial
last_name: Khaddage
- first_name: Gerald
full_name: Knezek, Gerald
last_name: Knezek
- first_name: Mary
full_name: Webb, Mary
last_name: Webb
- first_name: Niki
full_name: Davis, Niki
last_name: Davis
- first_name: Ola
full_name: Erstad, Ola
last_name: Erstad
- first_name: David C.
full_name: Gibson, David C.
last_name: Gibson
citation:
ama: 'Lai K-W, Eickelmann B, Fisser P, et al. Tackling Educational Challenges in
a Digitally Networked World: Strategies developed from the EDUsummIT 2013. In:
Proceedings of KeyCIT Conference 2014. ; 2014.'
apa: 'Lai, K.-W., Eickelmann, B., Fisser, P., Khaddage, F., Knezek, G., Webb, M.,
Davis, N., Erstad, O., & Gibson, D. C. (2014). Tackling Educational Challenges
in a Digitally Networked World: Strategies developed from the EDUsummIT 2013.
Proceedings of KeyCIT Conference 2014.'
bibtex: '@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} }'
chicago: 'Lai, Kwok-Wing, Birgit Eickelmann, Petra Fisser, Ferial Khaddage, Gerald
Knezek, Mary Webb, Niki Davis, Ola Erstad, and David C. Gibson. “Tackling Educational
Challenges in a Digitally Networked World: Strategies Developed from the EDUsummIT
2013.” In Proceedings of KeyCIT Conference 2014, 2014.'
ieee: 'K.-W. Lai et al., “Tackling Educational Challenges in a Digitally
Networked World: Strategies developed from the EDUsummIT 2013,” 2014.'
mla: 'Lai, Kwok-Wing, et al. “Tackling Educational Challenges in a Digitally Networked
World: Strategies Developed from the EDUsummIT 2013.” Proceedings of KeyCIT
Conference 2014, 2014.'
short: 'K.-W. Lai, B. Eickelmann, P. Fisser, F. Khaddage, G. Knezek, M. Webb, N.
Davis, O. Erstad, D.C. Gibson, in: Proceedings of KeyCIT Conference 2014, 2014.'
date_created: 2021-12-15T10:26:49Z
date_updated: 2022-01-06T06:58:41Z
department:
- _id: '462'
language:
- iso: eng
publication: Proceedings of KeyCIT Conference 2014
status: public
title: 'Tackling Educational Challenges in a Digitally Networked World: Strategies
developed from the EDUsummIT 2013'
type: conference
user_id: '50923'
year: '2014'
...
---
_id: '28993'
author:
- first_name: Kerstin
full_name: Drossel, Kerstin
id: '48921'
last_name: Drossel
- first_name: Wilfried
full_name: Bos, Wilfried
last_name: Bos
- first_name: Laura
full_name: Zieger, Laura
last_name: Zieger
citation:
ama: Drossel K, Bos W, Zieger L. Kinder- Und Jugendarbeit in Dortmund. Studie
Zur Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit.
Jugendring Dortmund; 2014.
apa: Drossel, K., Bos, W., & Zieger, L. (2014). Kinder- und Jugendarbeit
in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder
Kinder- und Jugendarbeit. Jugendring Dortmund.
bibtex: '@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} }'
chicago: Drossel, Kerstin, Wilfried Bos, and Laura Zieger. Kinder- Und Jugendarbeit
in Dortmund. Studie Zur Situation Freiwillig Mitarbeitender in Der Dortmunder
Kinder- Und Jugendarbeit. Jugendring Dortmund, 2014.
ieee: K. Drossel, W. Bos, and L. Zieger, Kinder- und Jugendarbeit in Dortmund.
Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit.
Jugendring Dortmund, 2014.
mla: Drossel, Kerstin, et al. Kinder- Und Jugendarbeit in Dortmund. Studie Zur
Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit.
Jugendring Dortmund, 2014.
short: K. Drossel, W. Bos, L. Zieger, Kinder- Und Jugendarbeit in Dortmund. Studie
Zur Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit,
Jugendring Dortmund, 2014.
date_created: 2021-12-15T17:19:00Z
date_updated: 2022-01-06T06:58:43Z
department:
- _id: '462'
publisher: Jugendring Dortmund
status: public
title: Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender
in der Dortmunder Kinder- und Jugendarbeit
type: research_data
user_id: '50923'
year: '2014'
...
---
_id: '2900'
author:
- first_name: Sascha
full_name: Brauer, Sascha
id: '13291'
last_name: Brauer
citation:
ama: Brauer S. A Probabilistic Expectation Maximization Algorithm for Multivariate
Laplacian Mixtures.; 2014.
apa: Brauer, S. (2014). A Probabilistic Expectation Maximization Algorithm for
Multivariate Laplacian Mixtures.
bibtex: '@book{Brauer_2014, title={A Probabilistic Expectation Maximization Algorithm
for Multivariate Laplacian Mixtures}, author={Brauer, Sascha}, year={2014} }'
chicago: Brauer, Sascha. A Probabilistic Expectation Maximization Algorithm for
Multivariate Laplacian Mixtures, 2014.
ieee: S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate
Laplacian Mixtures. 2014.
mla: Brauer, Sascha. A Probabilistic Expectation Maximization Algorithm for Multivariate
Laplacian Mixtures. 2014.
short: S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate
Laplacian Mixtures, 2014.
date_created: 2018-05-25T09:45:38Z
date_updated: 2022-01-06T06:58:44Z
ddc:
- '000'
department:
- _id: '64'
file:
- access_level: closed
content_type: application/pdf
creator: feidens
date_created: 2018-05-25T09:45:33Z
date_updated: 2018-05-25T09:45:33Z
file_id: '2901'
file_name: 2014_Brauer_AProbabilisticExpectationMaximizationAlgorithmForMultivariateLaplacianMixtures.pdf
file_size: 971935
relation: main_file
success: 1
file_date_updated: 2018-05-25T09:45:33Z
has_accepted_license: '1'
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian
Mixtures
type: mastersthesis
user_id: '25078'
year: '2014'
...
---
_id: '2976'
author:
- first_name: Marcel Rudolf
full_name: Ackermann, Marcel Rudolf
last_name: Ackermann
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Daniel
full_name: Kuntze, Daniel
last_name: Kuntze
- first_name: Christian
full_name: Sohler, Christian
last_name: Sohler
citation:
ama: Ackermann MR, Blömer J, Kuntze D, Sohler C. Analysis of Agglomerative Clustering.
Algorithmica. 2014;69. doi:10.1007/s00453-012-9717-4
apa: Ackermann, M. R., Blömer, J., Kuntze, D., & Sohler, C. (2014). Analysis
of Agglomerative Clustering. Algorithmica, 69. https://doi.org/10.1007/s00453-012-9717-4
bibtex: '@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} }'
chicago: Ackermann, Marcel Rudolf, Johannes Blömer, Daniel Kuntze, and Christian
Sohler. “Analysis of Agglomerative Clustering.” Algorithmica 69 (2014).
https://doi.org/10.1007/s00453-012-9717-4.
ieee: M. R. Ackermann, J. Blömer, D. Kuntze, and C. Sohler, “Analysis of Agglomerative
Clustering,” Algorithmica, vol. 69, 2014.
mla: Ackermann, Marcel Rudolf, et al. “Analysis of Agglomerative Clustering.” Algorithmica,
vol. 69, Springer US, 2014, doi:10.1007/s00453-012-9717-4.
short: M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).
date_created: 2018-06-05T07:28:52Z
date_updated: 2022-01-06T06:58:49Z
department:
- _id: '64'
doi: 10.1007/s00453-012-9717-4
intvolume: ' 69'
publication: Algorithmica
publication_identifier:
eissn:
- 0178-4617
publication_status: published
publisher: Springer US
status: public
title: Analysis of Agglomerative Clustering
type: journal_article
user_id: '25078'
volume: 69
year: '2014'
...
---
_id: '2977'
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Kathrin
full_name: Bujna, Kathrin
last_name: Bujna
- first_name: Daniel
full_name: Kuntze, Daniel
last_name: Kuntze
citation:
ama: 'Blömer J, Bujna K, Kuntze D. A Theoretical and Experimental Comparison of
the EM and SEM Algorithm. In: 2014 22nd International Conference on Pattern
Recognition. IEEE; 2014. doi:10.1109/icpr.2014.253'
apa: Blömer, J., Bujna, K., & Kuntze, D. (2014). A Theoretical and Experimental
Comparison of the EM and SEM Algorithm. In 2014 22nd International Conference
on Pattern Recognition. IEEE. https://doi.org/10.1109/icpr.2014.253
bibtex: '@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} }'
chicago: Blömer, Johannes, Kathrin Bujna, and Daniel Kuntze. “A Theoretical and
Experimental Comparison of the EM and SEM Algorithm.” In 2014 22nd International
Conference on Pattern Recognition. IEEE, 2014. https://doi.org/10.1109/icpr.2014.253.
ieee: J. Blömer, K. Bujna, and D. Kuntze, “A Theoretical and Experimental Comparison
of the EM and SEM Algorithm,” in 2014 22nd International Conference on Pattern
Recognition, 2014.
mla: Blömer, Johannes, et al. “A Theoretical and Experimental Comparison of the
EM and SEM Algorithm.” 2014 22nd International Conference on Pattern Recognition,
IEEE, 2014, doi:10.1109/icpr.2014.253.
short: 'J. Blömer, K. Bujna, D. Kuntze, in: 2014 22nd International Conference on
Pattern Recognition, IEEE, 2014.'
date_created: 2018-06-05T07:29:15Z
date_updated: 2022-01-06T06:58:49Z
department:
- _id: '64'
doi: 10.1109/icpr.2014.253
publication: 2014 22nd International Conference on Pattern Recognition
publication_identifier:
isbn:
- '9781479952090'
publication_status: published
publisher: IEEE
status: public
title: A Theoretical and Experimental Comparison of the EM and SEM Algorithm
type: conference
user_id: '25078'
year: '2014'
...
---
_id: '3127'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
citation:
ama: Jager T. Die Zukunft der Kryptographie. Datenschutz und Datensicherheit.
2014;(7):445--451. doi:10.1007/s11623-014-0204-8
apa: Jager, T. (2014). Die Zukunft der Kryptographie. Datenschutz Und Datensicherheit,
(7), 445--451. https://doi.org/10.1007/s11623-014-0204-8
bibtex: '@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} }'
chicago: 'Jager, Tibor. “Die Zukunft Der Kryptographie.” Datenschutz Und Datensicherheit,
no. 7 (2014): 445--451. https://doi.org/10.1007/s11623-014-0204-8.'
ieee: T. Jager, “Die Zukunft der Kryptographie,” Datenschutz und Datensicherheit,
no. 7, pp. 445--451, 2014.
mla: Jager, Tibor. “Die Zukunft Der Kryptographie.” Datenschutz Und Datensicherheit,
no. 7, 2014, pp. 445--451, doi:10.1007/s11623-014-0204-8.
short: T. Jager, Datenschutz Und Datensicherheit (2014) 445--451.
date_created: 2018-06-07T09:21:18Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1007/s11623-014-0204-8
extern: '1'
issue: '7'
page: 445--451
publication: Datenschutz und Datensicherheit
status: public
title: Die Zukunft der Kryptographie
type: journal_article
user_id: '38235'
year: '2014'
...
---
_id: '3128'
author:
- first_name: Nils
full_name: Fleischhacker, Nils
last_name: Fleischhacker
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Dominique
full_name: Schröder, Dominique
last_name: Schröder
citation:
ama: 'Fleischhacker N, Jager T, Schröder D. On Tight Security Proofs for Schnorr
Signatures. In: 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. ; 2014:512--531.
doi:10.1007/978-3-662-45611-8_27'
apa: Fleischhacker, N., Jager, T., & Schröder, D. (2014). On Tight Security
Proofs for Schnorr Signatures. In 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 (pp. 512--531). https://doi.org/10.1007/978-3-662-45611-8_27
bibtex: '@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}
}'
chicago: Fleischhacker, Nils, Tibor Jager, and Dominique Schröder. “On Tight Security
Proofs for Schnorr Signatures.” In 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, 512--531, 2014. https://doi.org/10.1007/978-3-662-45611-8_27.
ieee: N. Fleischhacker, T. Jager, and D. Schröder, “On Tight Security Proofs for
Schnorr Signatures,” in 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, 2014,
pp. 512--531.
mla: Fleischhacker, Nils, et al. “On Tight Security Proofs for Schnorr Signatures.”
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, 2014, pp. 512--531,
doi:10.1007/978-3-662-45611-8_27.
short: 'N. Fleischhacker, T. Jager, D. Schröder, in: 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, 2014, pp. 512--531.'
date_created: 2018-06-07T09:21:46Z
date_updated: 2022-01-06T06:58:57Z
department:
- _id: '558'
doi: 10.1007/978-3-662-45611-8_27
extern: '1'
page: 512--531
publication: 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
status: public
title: On Tight Security Proofs for Schnorr Signatures
type: conference
user_id: '38235'
year: '2014'
...
---
_id: '3167'
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
citation:
ama: Schneider S, Treharne H, Wehrheim H. The behavioural semantics of Event-B refinement.
Formal Asp Comput. 2014;(2):251--280. doi:10.1007/s00165-012-0265-0
apa: Schneider, S., Treharne, H., & Wehrheim, H. (2014). The behavioural semantics
of Event-B refinement. Formal Asp. Comput., (2), 251--280. https://doi.org/10.1007/s00165-012-0265-0
bibtex: '@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} }'
chicago: 'Schneider, Steve, Helen Treharne, and Heike Wehrheim. “The Behavioural
Semantics of Event-B Refinement.” Formal Asp. Comput., no. 2 (2014): 251--280.
https://doi.org/10.1007/s00165-012-0265-0.'
ieee: S. Schneider, H. Treharne, and H. Wehrheim, “The behavioural semantics of
Event-B refinement,” Formal Asp. Comput., no. 2, pp. 251--280, 2014.
mla: Schneider, Steve, et al. “The Behavioural Semantics of Event-B Refinement.”
Formal Asp. Comput., no. 2, 2014, pp. 251--280, doi:10.1007/s00165-012-0265-0.
short: S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.
date_created: 2018-06-13T07:55:10Z
date_updated: 2022-01-06T06:59:01Z
department:
- _id: '77'
doi: 10.1007/s00165-012-0265-0
issue: '2'
page: 251--280
publication: Formal Asp. Comput.
status: public
title: The behavioural semantics of Event-B refinement
type: journal_article
user_id: '29719'
year: '2014'
...
---
_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'
...