[{"page":"115-118","intvolume":"        11","citation":{"apa":"Hellmich, F., &#38; Sämisch, M. (2007).  Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium? In K. Möller, P. Hanke, C. Beinbrech, A. K. Hein, T. Kleickmann, &#38; R. Schagers (Eds.), <i>Qualität von Grundschulunterricht entwickeln, erfassen und bewerten</i> (Vol. 11, pp. 115–118). VS Verlag für Sozialwissenschaften.","bibtex":"@inbook{Hellmich_Sämisch_2007, place={Wiesbaden}, series={Jahrbuch Grundschulforschung }, title={ Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium?}, volume={11}, booktitle={Qualität von Grundschulunterricht entwickeln, erfassen und bewerten}, publisher={VS Verlag für Sozialwissenschaften}, author={Hellmich, Frank and Sämisch, Markus}, editor={Möller, Kornelia and Hanke, Petra and Beinbrech, Christina and Hein, Anna Katharina  and Kleickmann, Thilo and Schagers, Ruth}, year={2007}, pages={115–118}, collection={Jahrbuch Grundschulforschung } }","short":"F. Hellmich, M. Sämisch, in: K. Möller, P. Hanke, C. Beinbrech, A.K. Hein, T. Kleickmann, R. Schagers (Eds.), Qualität von Grundschulunterricht entwickeln, erfassen und bewerten, VS Verlag für Sozialwissenschaften, Wiesbaden, 2007, pp. 115–118.","mla":"Hellmich, Frank, and Markus Sämisch. “ Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium?” <i>Qualität von Grundschulunterricht entwickeln, erfassen und bewerten</i>, edited by Kornelia Möller et al., vol. 11, VS Verlag für Sozialwissenschaften, 2007, pp. 115–18.","ieee":"F. Hellmich and M. Sämisch, “ Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium?,” in <i>Qualität von Grundschulunterricht entwickeln, erfassen und bewerten</i>, vol. 11, K. Möller, P. Hanke, C. Beinbrech, A. K. Hein, T. Kleickmann, and R. Schagers, Eds. Wiesbaden: VS Verlag für Sozialwissenschaften, 2007, pp. 115–118.","chicago":"Hellmich, Frank, and Markus Sämisch. “ Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium?” In <i>Qualität von Grundschulunterricht entwickeln, erfassen und bewerten</i>, edited by Kornelia Möller, Petra Hanke, Christina Beinbrech, Anna Katharina  Hein, Thilo Kleickmann, and Ruth Schagers, 11:115–18. Jahrbuch Grundschulforschung . Wiesbaden: VS Verlag für Sozialwissenschaften, 2007.","ama":"Hellmich F, Sämisch M.  Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium? In: Möller K, Hanke P, Beinbrech C, Hein AK, Kleickmann T, Schagers R, eds. <i>Qualität von Grundschulunterricht entwickeln, erfassen und bewerten</i>. Vol 11. Jahrbuch Grundschulforschung . VS Verlag für Sozialwissenschaften; 2007:115-118."},"place":"Wiesbaden","year":"2007","title":" Augen zu und durch!? – Wie lernen angehende Grundschullehrerinnen und -lehrer im Studium?","volume":11,"date_created":"2021-10-25T09:48:54Z","author":[{"first_name":"Frank","last_name":"Hellmich","full_name":"Hellmich, Frank","id":"26282"},{"last_name":"Sämisch","full_name":"Sämisch, Markus","first_name":"Markus"}],"date_updated":"2022-01-06T06:57:28Z","publisher":"VS Verlag für Sozialwissenschaften","status":"public","editor":[{"full_name":"Möller, Kornelia","last_name":"Möller","first_name":"Kornelia"},{"last_name":"Hanke","full_name":"Hanke, Petra","first_name":"Petra"},{"last_name":"Beinbrech","full_name":"Beinbrech, Christina","first_name":"Christina"},{"first_name":"Anna Katharina ","last_name":"Hein","full_name":"Hein, Anna Katharina "},{"first_name":"Thilo","last_name":"Kleickmann","full_name":"Kleickmann, Thilo"},{"full_name":"Schagers, Ruth","last_name":"Schagers","first_name":"Ruth"}],"publication":"Qualität von Grundschulunterricht entwickeln, erfassen und bewerten","type":"book_chapter","language":[{"iso":"ger"}],"extern":"1","department":[{"_id":"460"}],"user_id":"57672","series_title":"Jahrbuch Grundschulforschung ","_id":"26781"},{"_id":"26786","user_id":"57672","department":[{"_id":"460"}],"language":[{"iso":"ger"}],"extern":"1","type":"journal_article","publication":"Bildungsforschung ","abstract":[{"text":"Erfolgreiche anschlussfähige Bildungsprozesse stellen eine wichtige Voraussetzung für die Persönlichkeits- und Kompetenzentwicklung von Kindern dar. Der Vorbereitung auf einen erfolgreichen Übergang vom Kindergarten in die Grundschule kommt dabei eine besondere Schlüsselstellung zu. Vor diesem Hintergrund wird in diesem Beitrag über eine Untersuchung berichtet, bei der 112 Vorschulkinder zu ihren Einstellungen und Erwartungen im Zusammenhang mit ihrer bevorstehenden Grundschulzeit befragt wurden. Die Ergebnisse verdeutlichen Anknüpfungspunkte für Konzepte zur Vorbereitung von Übergängen.","lang":"eng"}],"status":"public","date_updated":"2022-01-06T06:57:28Z","author":[{"first_name":"Frank","last_name":"Hellmich","id":"26282","full_name":"Hellmich, Frank"}],"date_created":"2021-10-25T09:57:06Z","volume":"4.1","title":"Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule","doi":"10.25539/BILDUNGSFORSCHUN.V1I0.59","year":"2007","citation":{"apa":"Hellmich, F. (2007). Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule. <i>Bildungsforschung </i>, <i>4.1</i>. <a href=\"https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59\">https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59</a>","short":"F. Hellmich, Bildungsforschung  4.1 (2007).","mla":"Hellmich, Frank. “Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule.” <i>Bildungsforschung </i>, vol. 4.1, 2007, doi:<a href=\"https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59\">10.25539/BILDUNGSFORSCHUN.V1I0.59</a>.","bibtex":"@article{Hellmich_2007, title={Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule}, volume={4.1}, DOI={<a href=\"https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59\">10.25539/BILDUNGSFORSCHUN.V1I0.59</a>}, journal={Bildungsforschung }, author={Hellmich, Frank}, year={2007} }","ama":"Hellmich F. Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule. <i>Bildungsforschung </i>. 2007;4.1. doi:<a href=\"https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59\">10.25539/BILDUNGSFORSCHUN.V1I0.59</a>","ieee":"F. Hellmich, “Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule,” <i>Bildungsforschung </i>, vol. 4.1, 2007, doi: <a href=\"https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59\">10.25539/BILDUNGSFORSCHUN.V1I0.59</a>.","chicago":"Hellmich, Frank. “Bedingungen anschlussfähiger Bildungsprozesse von Kindern beim Übergang vom Kindergarten in die Grundschule.” <i>Bildungsforschung </i> 4.1 (2007). <a href=\"https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59\">https://doi.org/10.25539/BILDUNGSFORSCHUN.V1I0.59</a>."}},{"_id":"26788","department":[{"_id":"460"}],"user_id":"57672","language":[{"iso":"ger"}],"extern":"1","publication":"Bildungsforschung ","type":"journal_article","status":"public","date_updated":"2022-01-06T06:57:28Z","volume":"4.1","date_created":"2021-10-25T10:00:46Z","author":[{"first_name":"Frank","full_name":"Hellmich, Frank","id":"26282","last_name":"Hellmich"}],"title":"Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich","doi":"10.25656/01:4628","year":"2007","citation":{"apa":"Hellmich, F. (2007). Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich. <i>Bildungsforschung </i>, <i>4.1</i>. <a href=\"https://doi.org/10.25656/01:4628\">https://doi.org/10.25656/01:4628</a>","short":"F. Hellmich, Bildungsforschung  4.1 (2007).","bibtex":"@article{Hellmich_2007, title={Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich}, volume={4.1}, DOI={<a href=\"https://doi.org/10.25656/01:4628\">10.25656/01:4628</a>}, journal={Bildungsforschung }, author={Hellmich, Frank}, year={2007} }","mla":"Hellmich, Frank. “Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich.” <i>Bildungsforschung </i>, vol. 4.1, 2007, doi:<a href=\"https://doi.org/10.25656/01:4628\">10.25656/01:4628</a>.","chicago":"Hellmich, Frank. “Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich.” <i>Bildungsforschung </i> 4.1 (2007). <a href=\"https://doi.org/10.25656/01:4628\">https://doi.org/10.25656/01:4628</a>.","ieee":"F. Hellmich, “Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich,” <i>Bildungsforschung </i>, vol. 4.1, 2007, doi: <a href=\"https://doi.org/10.25656/01:4628\">10.25656/01:4628</a>.","ama":"Hellmich F. Möglichkeiten der Förderung mathematischer Vorläuferfähigkeiten im vorschulischen Bereich. <i>Bildungsforschung </i>. 2007;4.1. doi:<a href=\"https://doi.org/10.25656/01:4628\">10.25656/01:4628</a>"}},{"extern":"1","language":[{"iso":"ger"}],"_id":"26790","department":[{"_id":"460"}],"user_id":"57672","editor":[{"first_name":"Frank ","full_name":"Hellmich, Frank ","last_name":"Hellmich"}],"status":"public","publication":"Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule","type":"book_chapter","title":"Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit","date_updated":"2022-01-06T06:57:28Z","publisher":"Schneider Hohengehren","author":[{"full_name":"Hellmich, Frank","id":"26282","last_name":"Hellmich","first_name":"Frank"},{"first_name":"Meike","last_name":"Grüßing ","full_name":"Grüßing , Meike"}],"date_created":"2021-10-25T10:07:07Z","year":"2007","place":"Baltmannsweiler","page":"119-140","citation":{"bibtex":"@inbook{Hellmich_Grüßing _2007, place={Baltmannsweiler}, title={Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit}, booktitle={Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule}, publisher={Schneider Hohengehren}, author={Hellmich, Frank and Grüßing , Meike}, editor={Hellmich, Frank }, year={2007}, pages={119–140} }","mla":"Hellmich, Frank, and Meike Grüßing . “Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit.” <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>, edited by Frank  Hellmich, Schneider Hohengehren, 2007, pp. 119–40.","short":"F. Hellmich, M. Grüßing , in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 119–140.","apa":"Hellmich, F., &#38; Grüßing , M. (2007). Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit. In F. Hellmich (Ed.), <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i> (pp. 119–140). Schneider Hohengehren.","chicago":"Hellmich, Frank, and Meike Grüßing . “Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit.” In <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>, edited by Frank  Hellmich, 119–40. Baltmannsweiler: Schneider Hohengehren, 2007.","ieee":"F. Hellmich and M. Grüßing , “Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit,” in <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>, F. Hellmich, Ed. Baltmannsweiler: Schneider Hohengehren, 2007, pp. 119–140.","ama":"Hellmich F, Grüßing  M. Standards und Perspektiven für das Mathematiklernen in der Vor- und Grundschulzeit. In: Hellmich F, ed. <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>. Schneider Hohengehren; 2007:119-140."}},{"year":"2007","place":"Baltmannsweiler","citation":{"bibtex":"@inbook{Hellmich_2007, place={Baltmannsweiler}, title={Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung}, booktitle={Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule}, publisher={Schneider Hohengehren}, author={Hellmich, Frank}, editor={Hellmich, Frank}, year={2007}, pages={3–7} }","short":"F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule, Schneider Hohengehren, Baltmannsweiler, 2007, pp. 3–7.","mla":"Hellmich, Frank. “Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung.” <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>, edited by Frank Hellmich, Schneider Hohengehren, 2007, pp. 3–7.","apa":"Hellmich, F. (2007). Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung. In F. Hellmich (Ed.), <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i> (pp. 3–7). Schneider Hohengehren.","ama":"Hellmich F. Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung. In: Hellmich F, ed. <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>. Schneider Hohengehren; 2007:3-7.","ieee":"F. Hellmich, “Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung,” in <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>, F. Hellmich, Ed. Baltmannsweiler: Schneider Hohengehren, 2007, pp. 3–7.","chicago":"Hellmich, Frank. “Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung.” In <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule</i>, edited by Frank Hellmich, 3–7. Baltmannsweiler: Schneider Hohengehren, 2007."},"page":"3-7","title":"Standards, Perspektiven und Tendenzen in der Grundschulpädagogik – Einleitung","date_updated":"2022-01-06T06:57:28Z","publisher":"Schneider Hohengehren","date_created":"2021-10-25T10:10:12Z","author":[{"first_name":"Frank","full_name":"Hellmich, Frank","id":"26282","last_name":"Hellmich"}],"editor":[{"first_name":"Frank","last_name":"Hellmich","full_name":"Hellmich, Frank"}],"status":"public","type":"book_chapter","publication":"Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule","extern":"1","language":[{"iso":"ger"}],"_id":"26791","user_id":"57672","department":[{"_id":"460"}]},{"language":[{"iso":"ger"}],"extern":"1","_id":"26793","user_id":"57672","department":[{"_id":"460"}],"editor":[{"full_name":"Hellmich, Frank","last_name":"Hellmich","first_name":"Frank"}],"status":"public","type":"book_chapter","publication":"Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule ","title":"„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU","date_updated":"2022-01-06T06:57:28Z","publisher":"Schneider Hohengehren","date_created":"2021-10-25T10:12:13Z","author":[{"first_name":"Frank","full_name":"Hellmich, Frank","id":"26282","last_name":"Hellmich"}],"year":"2007","place":"Baltmannsweiler","citation":{"ama":"Hellmich F. „Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU. In: Hellmich F, ed. <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule </i>. Schneider Hohengehren; 2007:11-32.","chicago":"Hellmich, Frank. “„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU.” In <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule </i>, edited by Frank Hellmich, 11–32. Baltmannsweiler: Schneider Hohengehren, 2007.","ieee":"F. Hellmich, “„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU,” in <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule </i>, F. Hellmich, Ed. Baltmannsweiler: Schneider Hohengehren, 2007, pp. 11–32.","apa":"Hellmich, F. (2007). „Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU. In F. Hellmich (Ed.), <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule </i> (pp. 11–32). Schneider Hohengehren.","mla":"Hellmich, Frank. “„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU.” <i>Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule </i>, edited by Frank Hellmich, Schneider Hohengehren, 2007, pp. 11–32.","short":"F. Hellmich, in: F. Hellmich (Ed.), Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule , Schneider Hohengehren, Baltmannsweiler, 2007, pp. 11–32.","bibtex":"@inbook{Hellmich_2007, place={Baltmannsweiler}, title={„Nach dem Spiel ist vor dem Spiel!?“ – Grundschulpädagogik nach IGLU}, booktitle={Perspektiven für das Lehren und Lernen in der Grundschule. Theorie und Praxis der Grundschule }, publisher={Schneider Hohengehren}, author={Hellmich, Frank}, editor={Hellmich, Frank}, year={2007}, pages={11–32} }"},"page":"11-32"},{"_id":"3211","user_id":"29719","department":[{"_id":"77"}],"type":"journal_article","publication":"Acta Inf.","status":"public","date_updated":"2022-01-06T06:59:05Z","date_created":"2018-06-13T09:56:17Z","author":[{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"title":"On using data abstractions for model checking refinements","doi":"10.1007/s00236-007-0042-3","issue":"1","year":"2007","citation":{"mla":"Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” <i>Acta Inf.</i>, no. 1, 2007, pp. 41--71, doi:<a href=\"https://doi.org/10.1007/s00236-007-0042-3\">10.1007/s00236-007-0042-3</a>.","bibtex":"@article{Derrick_Wehrheim_2007, title={On using data abstractions for model checking refinements}, DOI={<a href=\"https://doi.org/10.1007/s00236-007-0042-3\">10.1007/s00236-007-0042-3</a>}, number={1}, journal={Acta Inf.}, author={Derrick, John and Wehrheim, Heike}, year={2007}, pages={41--71} }","short":"J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.","apa":"Derrick, J., &#38; Wehrheim, H. (2007). On using data abstractions for model checking refinements. <i>Acta Inf.</i>, (1), 41--71. <a href=\"https://doi.org/10.1007/s00236-007-0042-3\">https://doi.org/10.1007/s00236-007-0042-3</a>","ama":"Derrick J, Wehrheim H. On using data abstractions for model checking refinements. <i>Acta Inf</i>. 2007;(1):41--71. doi:<a href=\"https://doi.org/10.1007/s00236-007-0042-3\">10.1007/s00236-007-0042-3</a>","chicago":"Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” <i>Acta Inf.</i>, no. 1 (2007): 41--71. <a href=\"https://doi.org/10.1007/s00236-007-0042-3\">https://doi.org/10.1007/s00236-007-0042-3</a>.","ieee":"J. Derrick and H. Wehrheim, “On using data abstractions for model checking refinements,” <i>Acta Inf.</i>, no. 1, pp. 41--71, 2007."},"page":"41--71"},{"department":[{"_id":"77"}],"user_id":"29719","_id":"3212","publication":"Electr. Notes Theor. Comput. Sci.","type":"journal_article","status":"public","date_created":"2018-06-13T09:57:37Z","author":[{"full_name":"Metzler, Björn","last_name":"Metzler","first_name":"Björn"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_updated":"2022-01-06T06:59:05Z","doi":"10.1016/j.entcs.2006.02.031","title":"Extending a Component Specification Language with Time","issue":"2","page":"47--67","citation":{"ama":"Metzler B, Wehrheim H. Extending a Component Specification Language with Time. <i>Electr Notes Theor Comput Sci</i>. 2007;(2):47--67. doi:<a href=\"https://doi.org/10.1016/j.entcs.2006.02.031\">10.1016/j.entcs.2006.02.031</a>","ieee":"B. Metzler and H. Wehrheim, “Extending a Component Specification Language with Time,” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 47--67, 2007.","chicago":"Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2 (2007): 47--67. <a href=\"https://doi.org/10.1016/j.entcs.2006.02.031\">https://doi.org/10.1016/j.entcs.2006.02.031</a>.","apa":"Metzler, B., &#38; Wehrheim, H. (2007). Extending a Component Specification Language with Time. <i>Electr. Notes Theor. Comput. Sci.</i>, (2), 47--67. <a href=\"https://doi.org/10.1016/j.entcs.2006.02.031\">https://doi.org/10.1016/j.entcs.2006.02.031</a>","bibtex":"@article{Metzler_Wehrheim_2007, title={Extending a Component Specification Language with Time}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2006.02.031\">10.1016/j.entcs.2006.02.031</a>}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Metzler, Björn and Wehrheim, Heike}, year={2007}, pages={47--67} }","mla":"Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, 2007, pp. 47--67, doi:<a href=\"https://doi.org/10.1016/j.entcs.2006.02.031\">10.1016/j.entcs.2006.02.031</a>.","short":"B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67."},"year":"2007"},{"title":"Modelchecking Correctness of Refactorings - Some Experiments","doi":"10.1016/j.entcs.2006.08.041","date_updated":"2022-01-06T06:59:05Z","author":[{"last_name":"Estler","full_name":"Estler, H.{-}Christian","first_name":"H.{-}Christian"},{"first_name":"Thomas","full_name":"Ruhroth, Thomas","last_name":"Ruhroth"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2018-06-13T09:59:12Z","year":"2007","page":"3--17","citation":{"ama":"Estler H.-}Christian, Ruhroth T, Wehrheim H. Modelchecking Correctness of Refactorings - Some Experiments. <i>Electr Notes Theor Comput Sci</i>. 2007:3--17. doi:<a href=\"https://doi.org/10.1016/j.entcs.2006.08.041\">10.1016/j.entcs.2006.08.041</a>","ieee":"H. .-}Christian Estler, T. Ruhroth, and H. Wehrheim, “Modelchecking Correctness of Refactorings - Some Experiments,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 3--17, 2007.","chicago":"Estler, H.{-}Christian, Thomas Ruhroth, and Heike Wehrheim. “Modelchecking Correctness of Refactorings - Some Experiments.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2007, 3--17. <a href=\"https://doi.org/10.1016/j.entcs.2006.08.041\">https://doi.org/10.1016/j.entcs.2006.08.041</a>.","bibtex":"@article{Estler_Ruhroth_Wehrheim_2007, title={Modelchecking Correctness of Refactorings - Some Experiments}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2006.08.041\">10.1016/j.entcs.2006.08.041</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Ruhroth, Thomas and Wehrheim, Heike}, year={2007}, pages={3--17} }","short":"H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17.","mla":"Estler, H. .. }Christian, et al. “Modelchecking Correctness of Refactorings - Some Experiments.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2007, pp. 3--17, doi:<a href=\"https://doi.org/10.1016/j.entcs.2006.08.041\">10.1016/j.entcs.2006.08.041</a>.","apa":"Estler, H. .-}Christian, Ruhroth, T., &#38; Wehrheim, H. (2007). Modelchecking Correctness of Refactorings - Some Experiments. <i>Electr. Notes Theor. Comput. Sci.</i>, 3--17. <a href=\"https://doi.org/10.1016/j.entcs.2006.08.041\">https://doi.org/10.1016/j.entcs.2006.08.041</a>"},"_id":"3213","department":[{"_id":"77"}],"user_id":"29719","status":"public","publication":"Electr. Notes Theor. Comput. Sci.","type":"journal_article"},{"date_created":"2018-06-13T10:00:14Z","author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"last_name":"Güldali","full_name":"Güldali, Baris","first_name":"Baris"},{"id":"1737","full_name":"Soltenborn, Christian","orcid":"0000-0002-0342-8227","last_name":"Soltenborn","first_name":"Christian"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_updated":"2022-01-06T06:59:05Z","doi":"10.1007/978-3-540-89020-1_2","title":"Assuring Consistency of Business Process Models and Web Services Using Visual Contracts","citation":{"ama":"Engels G, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Sch{\\\"{u}}rr A, Nagl M, Z{\\\"{u}}ndorf A, eds. <i>Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers</i>. Lecture Notes in Computer Science. ; 2007:17--31. doi:<a href=\"https://doi.org/10.1007/978-3-540-89020-1_2\">10.1007/978-3-540-89020-1_2</a>","chicago":"Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” In <i>Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers</i>, edited by Andy Sch{\\\"{u}}rr, Manfred Nagl, and Albert Z{\\\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007. <a href=\"https://doi.org/10.1007/978-3-540-89020-1_2\">https://doi.org/10.1007/978-3-540-89020-1_2</a>.","ieee":"G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts,” in <i>Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers</i>, 2007, pp. 17--31.","apa":"Engels, G., Güldali, B., Soltenborn, C., &#38; Wehrheim, H. (2007). Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In A. Sch{\\\"{u}}rr, M. Nagl, &#38; A. Z{\\\"{u}}ndorf (Eds.), <i>Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers</i> (pp. 17--31). <a href=\"https://doi.org/10.1007/978-3-540-89020-1_2\">https://doi.org/10.1007/978-3-540-89020-1_2</a>","bibtex":"@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-89020-1_2\">10.1007/978-3-540-89020-1_2</a>}, booktitle={Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\\\"{u}}rr, Andy and Nagl, Manfred and Z{\\\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31}, collection={Lecture Notes in Computer Science} }","short":"G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\\\"{u}}rr, M. Nagl, A. Z{\\\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.","mla":"Engels, Gregor, et al. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” <i>Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers</i>, edited by Andy Sch{\\\"{u}}rr et al., 2007, pp. 17--31, doi:<a href=\"https://doi.org/10.1007/978-3-540-89020-1_2\">10.1007/978-3-540-89020-1_2</a>."},"page":"17--31","year":"2007","series_title":"Lecture Notes in Computer Science","user_id":"14955","department":[{"_id":"77"}],"_id":"3214","language":[{"iso":"eng"}],"type":"conference","publication":"Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers","status":"public","editor":[{"first_name":"Andy","last_name":"Sch{\\\"{u}}rr","full_name":"Sch{\\\"{u}}rr, Andy"},{"full_name":"Nagl, Manfred","last_name":"Nagl","first_name":"Manfred"},{"last_name":"Z{\\\"{u}}ndorf","full_name":"Z{\\\"{u}}ndorf, Albert","first_name":"Albert"}]},{"date_updated":"2022-01-06T06:59:05Z","author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"first_name":"Christian","id":"1737","full_name":"Soltenborn, Christian","orcid":"0000-0002-0342-8227","last_name":"Soltenborn"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-13T10:01:31Z","title":"Analysis of {UML} Activities Using Dynamic Meta Modeling","doi":"10.1007/978-3-540-72952-5_5","year":"2007","page":"76--90","citation":{"mla":"Engels, Gregor, et al. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:<a href=\"https://doi.org/10.1007/978-3-540-72952-5_5\">10.1007/978-3-540-72952-5_5</a>.","short":"G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.","bibtex":"@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-72952-5_5\">10.1007/978-3-540-72952-5_5</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={76--90}, collection={Lecture Notes in Computer Science} }","apa":"Engels, G., Soltenborn, C., &#38; Wehrheim, H. (2007). Analysis of {UML} Activities Using Dynamic Meta Modeling. In M. M. Bonsangue &#38; E. Broch Johnsen (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i> (pp. 76--90). <a href=\"https://doi.org/10.1007/978-3-540-72952-5_5\">https://doi.org/10.1007/978-3-540-72952-5_5</a>","ieee":"G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using Dynamic Meta Modeling,” in <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, 2007, pp. 76--90.","chicago":"Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” In <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. <a href=\"https://doi.org/10.1007/978-3-540-72952-5_5\">https://doi.org/10.1007/978-3-540-72952-5_5</a>.","ama":"Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>. Lecture Notes in Computer Science. ; 2007:76--90. doi:<a href=\"https://doi.org/10.1007/978-3-540-72952-5_5\">10.1007/978-3-540-72952-5_5</a>"},"_id":"3215","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"14955","language":[{"iso":"eng"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings","type":"conference","editor":[{"full_name":"M. Bonsangue, Marcello","last_name":"M. Bonsangue","first_name":"Marcello"},{"full_name":"Broch Johnsen, Einar","last_name":"Broch Johnsen","first_name":"Einar"}],"status":"public"},{"_id":"3216","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","editor":[{"last_name":"M. Bonsangue","full_name":"M. Bonsangue, Marcello","first_name":"Marcello"},{"first_name":"Einar","last_name":"Broch Johnsen","full_name":"Broch Johnsen, Einar"}],"status":"public","publication":"Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings","type":"conference","title":"Refactoring Object-Oriented Specifications with Data and Processes","doi":"10.1007/978-3-540-72952-5_15","date_updated":"2022-01-06T06:59:05Z","author":[{"full_name":"Ruhroth, Thomas","last_name":"Ruhroth","first_name":"Thomas"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-13T10:03:09Z","year":"2007","page":"236--251","citation":{"ieee":"T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with Data and Processes,” in <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, 2007, pp. 236--251.","chicago":"Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications with Data and Processes.” In <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007. <a href=\"https://doi.org/10.1007/978-3-540-72952-5_15\">https://doi.org/10.1007/978-3-540-72952-5_15</a>.","ama":"Ruhroth T, Wehrheim H. Refactoring Object-Oriented Specifications with Data and Processes. In: M. Bonsangue M, Broch Johnsen E, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>. Lecture Notes in Computer Science. ; 2007:236--251. doi:<a href=\"https://doi.org/10.1007/978-3-540-72952-5_15\">10.1007/978-3-540-72952-5_15</a>","short":"T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.","bibtex":"@inproceedings{Ruhroth_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Refactoring Object-Oriented Specifications with Data and Processes}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-72952-5_15\">10.1007/978-3-540-72952-5_15</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Ruhroth, Thomas and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={236--251}, collection={Lecture Notes in Computer Science} }","mla":"Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications with Data and Processes.” <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i>, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 236--251, doi:<a href=\"https://doi.org/10.1007/978-3-540-72952-5_15\">10.1007/978-3-540-72952-5_15</a>.","apa":"Ruhroth, T., &#38; Wehrheim, H. (2007). Refactoring Object-Oriented Specifications with Data and Processes. In M. M. Bonsangue &#38; E. Broch Johnsen (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings</i> (pp. 236--251). <a href=\"https://doi.org/10.1007/978-3-540-72952-5_15\">https://doi.org/10.1007/978-3-540-72952-5_15</a>"}},{"year":"2007","citation":{"mla":"Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced Mechatronic Systems.” <i>International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}</i>, edited by Lionel C. Briand and Alexander L. Wolf, 2007, pp. 72--84, doi:<a href=\"https://doi.org/10.1109/FOSE.2007.28\">10.1109/FOSE.2007.28</a>.","short":"W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.","bibtex":"@inproceedings{Schäfer_Wehrheim_2007, title={The Challenges of Building Advanced Mechatronic Systems}, DOI={<a href=\"https://doi.org/10.1109/FOSE.2007.28\">10.1109/FOSE.2007.28</a>}, booktitle={International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={C. Briand, Lionel and L. Wolf, AlexanderEditors}, year={2007}, pages={72--84} }","apa":"Schäfer, W., &#38; Wehrheim, H. (2007). The Challenges of Building Advanced Mechatronic Systems. In L. C. Briand &#38; A. L. Wolf (Eds.), <i>International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}</i> (pp. 72--84). <a href=\"https://doi.org/10.1109/FOSE.2007.28\">https://doi.org/10.1109/FOSE.2007.28</a>","ama":"Schäfer W, Wehrheim H. The Challenges of Building Advanced Mechatronic Systems. In: C. Briand L, L. Wolf A, eds. <i>International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}</i>. ; 2007:72--84. doi:<a href=\"https://doi.org/10.1109/FOSE.2007.28\">10.1109/FOSE.2007.28</a>","chicago":"Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced Mechatronic Systems.” In <i>International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}</i>, edited by Lionel C. Briand and Alexander L. Wolf, 72--84, 2007. <a href=\"https://doi.org/10.1109/FOSE.2007.28\">https://doi.org/10.1109/FOSE.2007.28</a>.","ieee":"W. Schäfer and H. Wehrheim, “The Challenges of Building Advanced Mechatronic Systems,” in <i>International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}</i>, 2007, pp. 72--84."},"page":"72--84","date_updated":"2022-01-06T06:59:05Z","author":[{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_created":"2018-06-14T06:30:41Z","title":"The Challenges of Building Advanced Mechatronic Systems","doi":"10.1109/FOSE.2007.28","type":"conference","publication":"International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}","editor":[{"first_name":"Lionel","last_name":"C. Briand","full_name":"C. Briand, Lionel"},{"first_name":"Alexander","last_name":"L. Wolf","full_name":"L. Wolf, Alexander"}],"status":"public","_id":"3221","user_id":"29719","department":[{"_id":"77"}]},{"year":"2007","citation":{"short":"J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.","mla":"Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.” <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>, edited by Jim Davies and Jeremy Gibbons, 2007, pp. 195--214, doi:<a href=\"https://doi.org/10.1007/978-3-540-73210-5_11\">10.1007/978-3-540-73210-5_11</a>.","bibtex":"@inproceedings{Derrick_Schellhorn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Proving Linearizability Via Non-atomic Refinement}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-73210-5_11\">10.1007/978-3-540-73210-5_11</a>}, booktitle={Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Davies, Jim and Gibbons, JeremyEditors}, year={2007}, pages={195--214}, collection={Lecture Notes in Computer Science} }","apa":"Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2007). Proving Linearizability Via Non-atomic Refinement. In J. Davies &#38; J. Gibbons (Eds.), <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i> (pp. 195--214). <a href=\"https://doi.org/10.1007/978-3-540-73210-5_11\">https://doi.org/10.1007/978-3-540-73210-5_11</a>","chicago":"Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability Via Non-Atomic Refinement.” In <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>, edited by Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007. <a href=\"https://doi.org/10.1007/978-3-540-73210-5_11\">https://doi.org/10.1007/978-3-540-73210-5_11</a>.","ieee":"J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic Refinement,” in <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>, 2007, pp. 195--214.","ama":"Derrick J, Schellhorn G, Wehrheim H. Proving Linearizability Via Non-atomic Refinement. In: Davies J, Gibbons J, eds. <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>. Lecture Notes in Computer Science. ; 2007:195--214. doi:<a href=\"https://doi.org/10.1007/978-3-540-73210-5_11\">10.1007/978-3-540-73210-5_11</a>"},"page":"195--214","title":"Proving Linearizability Via Non-atomic Refinement","doi":"10.1007/978-3-540-73210-5_11","date_updated":"2022-01-06T06:59:05Z","author":[{"first_name":"John","full_name":"Derrick, John","last_name":"Derrick"},{"full_name":"Schellhorn, Gerhard","last_name":"Schellhorn","first_name":"Gerhard"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_created":"2018-06-14T06:32:05Z","editor":[{"full_name":"Davies, Jim","last_name":"Davies","first_name":"Jim"},{"last_name":"Gibbons","full_name":"Gibbons, Jeremy","first_name":"Jeremy"}],"status":"public","type":"conference","publication":"Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings","_id":"3222","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}]},{"type":"book_chapter","publication":"50 Years of EU Economic Dynamics","status":"public","editor":[{"full_name":"Tilly, Richard","last_name":"Tilly","first_name":"Richard"},{"first_name":"Paul J.J.","last_name":"Welfens","full_name":"Welfens, Paul J.J."},{"first_name":"Michael","full_name":"Heise, Michael","last_name":"Heise"}],"user_id":"186","department":[{"_id":"19"},{"_id":"200"},{"_id":"475"},{"_id":"202"}],"_id":"3293","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-3-540-74054-4"]},"citation":{"apa":"Gries, T. (2007). Global Shift – The European Union, the United States, and the Emergence of China. In R. Tilly, P. J. J. Welfens, &#38; M. Heise (Eds.), <i>50 Years of EU Economic Dynamics</i> (pp. 25–45). Springer.","bibtex":"@inbook{Gries_2007, title={Global Shift – The European Union, the United States, and the Emergence of China}, booktitle={50 Years of EU Economic Dynamics}, publisher={Springer}, author={Gries, Thomas}, editor={Tilly, Richard and Welfens, Paul J.J. and Heise, MichaelEditors}, year={2007}, pages={25–45} }","short":"T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.","mla":"Gries, Thomas. “Global Shift – The European Union, the United States, and the Emergence of China.” <i>50 Years of EU Economic Dynamics</i>, edited by Richard Tilly et al., Springer, 2007, pp. 25–45.","ieee":"T. Gries, “Global Shift – The European Union, the United States, and the Emergence of China,” in <i>50 Years of EU Economic Dynamics</i>, R. Tilly, P. J. J. Welfens, and M. Heise, Eds. Springer, 2007, pp. 25–45.","chicago":"Gries, Thomas. “Global Shift – The European Union, the United States, and the Emergence of China.” In <i>50 Years of EU Economic Dynamics</i>, edited by Richard Tilly, Paul J.J. Welfens, and Michael Heise, 25–45. Springer, 2007.","ama":"Gries T. Global Shift – The European Union, the United States, and the Emergence of China. In: Tilly R, Welfens PJJ, Heise M, eds. <i>50 Years of EU Economic Dynamics</i>. Springer; 2007:25-45."},"page":"25-45","year":"2007","author":[{"id":"186","full_name":"Gries, Thomas","last_name":"Gries","first_name":"Thomas"}],"date_created":"2018-06-22T10:14:33Z","date_updated":"2022-01-06T06:59:09Z","publisher":"Springer","title":"Global Shift – The European Union, the United States, and the Emergence of China"},{"page":"101 -116","citation":{"apa":"Gries, T., &#38; Xue, J. (2007). Educational Disparity and Income Inequality in Urban China. In <i>The Economic Science</i> (Vol. 55, No. 3, pp. 101–116).","short":"T. Gries, J. Xue, in: The Economic Science, 2007, pp. 101–116.","mla":"Gries, Thomas, and Jinjun Xue. “Educational Disparity and Income Inequality in Urban China.” <i>The Economic Science</i>, vol. 55, No. 3, 2007, pp. 101–16.","bibtex":"@inbook{Gries_Xue_2007, title={Educational Disparity and Income Inequality in Urban China}, volume={55, No. 3}, booktitle={The Economic Science}, author={Gries, Thomas and Xue, Jinjun}, year={2007}, pages={101–116} }","ama":"Gries T, Xue J. Educational Disparity and Income Inequality in Urban China. In: <i>The Economic Science</i>. Vol 55, No. 3. ; 2007:101-116.","ieee":"T. Gries and J. Xue, “Educational Disparity and Income Inequality in Urban China,” in <i>The Economic Science</i>, vol. 55, No. 3, 2007, pp. 101–116.","chicago":"Gries, Thomas, and Jinjun Xue. “Educational Disparity and Income Inequality in Urban China.” In <i>The Economic Science</i>, 55, No. 3:101–16, 2007."},"year":"2007","volume":"55, No. 3","author":[{"last_name":"Gries","id":"186","full_name":"Gries, Thomas","first_name":"Thomas"},{"first_name":"Jinjun","full_name":"Xue, Jinjun","last_name":"Xue"}],"date_created":"2018-06-22T10:25:28Z","date_updated":"2022-01-06T06:59:09Z","title":"Educational Disparity and Income Inequality in Urban China","publication":"The Economic Science","type":"book_chapter","status":"public","department":[{"_id":"19"},{"_id":"200"},{"_id":"475"},{"_id":"202"}],"user_id":"186","_id":"3294","language":[{"iso":"eng"}]},{"doi":"10.2307/3318539","title":"Local Polynomial Estimation with a FARIMA-GARCH Error Process","date_created":"2018-07-05T14:28:34Z","author":[{"first_name":"Jan","full_name":"Beran, Jan","last_name":"Beran"},{"first_name":"Yuanhua","last_name":"Feng","full_name":"Feng, Yuanhua","id":"20760"}],"volume":7,"date_updated":"2022-01-06T06:59:18Z","publisher":"JSTOR","citation":{"mla":"Beran, Jan, and Yuanhua Feng. “Local Polynomial Estimation with a FARIMA-GARCH Error Process.” <i>Bernoulli</i>, vol. 7, no. 5, 733, JSTOR, 2007, doi:<a href=\"https://doi.org/10.2307/3318539\">10.2307/3318539</a>.","short":"J. Beran, Y. Feng, Bernoulli 7 (2007).","bibtex":"@article{Beran_Feng_2007, title={Local Polynomial Estimation with a FARIMA-GARCH Error Process}, volume={7}, DOI={<a href=\"https://doi.org/10.2307/3318539\">10.2307/3318539</a>}, number={5733}, journal={Bernoulli}, publisher={JSTOR}, author={Beran, Jan and Feng, Yuanhua}, year={2007} }","apa":"Beran, J., &#38; Feng, Y. (2007). Local Polynomial Estimation with a FARIMA-GARCH Error Process. <i>Bernoulli</i>, <i>7</i>(5). <a href=\"https://doi.org/10.2307/3318539\">https://doi.org/10.2307/3318539</a>","ama":"Beran J, Feng Y. Local Polynomial Estimation with a FARIMA-GARCH Error Process. <i>Bernoulli</i>. 2007;7(5). doi:<a href=\"https://doi.org/10.2307/3318539\">10.2307/3318539</a>","ieee":"J. Beran and Y. Feng, “Local Polynomial Estimation with a FARIMA-GARCH Error Process,” <i>Bernoulli</i>, vol. 7, no. 5, 2007.","chicago":"Beran, Jan, and Yuanhua Feng. “Local Polynomial Estimation with a FARIMA-GARCH Error Process.” <i>Bernoulli</i> 7, no. 5 (2007). <a href=\"https://doi.org/10.2307/3318539\">https://doi.org/10.2307/3318539</a>."},"intvolume":"         7","year":"2007","issue":"5","publication_status":"published","publication_identifier":{"issn":["1350-7265"]},"article_number":"733","user_id":"10075","department":[{"_id":"206"}],"_id":"3470","status":"public","type":"journal_article","publication":"Bernoulli"},{"conference":{"location":"St. Gallen, Switzerland","name":"15th European Conference on Information System"},"title":"Identification of services --- A stakeholder-based approach to SOA development and its application in the area of production planning","author":[{"last_name":"Klose","full_name":"Klose, Karsten","first_name":"Karsten"},{"last_name":"Knackstedt","full_name":"Knackstedt, Ralf","first_name":"Ralf"},{"first_name":"Daniel","last_name":"Beverungen","id":"59677","full_name":"Beverungen, Daniel"}],"date_created":"2018-07-06T10:02:09Z","date_updated":"2022-01-06T06:59:18Z","citation":{"chicago":"Klose, Karsten, Ralf Knackstedt, and Daniel Beverungen. “Identification of Services --- A Stakeholder-Based Approach to SOA Development and Its Application in the Area of Production Planning.” In <i>Proceedings of the 15th European Conference on Information System</i>. St. Gallen, Switzerland, 2007.","ieee":"K. Klose, R. Knackstedt, and D. Beverungen, “Identification of services --- A stakeholder-based approach to SOA development and its application in the area of production planning,” in <i>Proceedings of the 15th European Conference on Information System</i>, St. Gallen, Switzerland, 2007.","ama":"Klose K, Knackstedt R, Beverungen D. Identification of services --- A stakeholder-based approach to SOA development and its application in the area of production planning. In: <i>Proceedings of the 15th European Conference on Information System</i>. St. Gallen, Switzerland; 2007.","short":"K. Klose, R. Knackstedt, D. Beverungen, in: Proceedings of the 15th European Conference on Information System, St. Gallen, Switzerland, 2007.","bibtex":"@inproceedings{Klose_Knackstedt_Beverungen_2007, place={St. Gallen, Switzerland}, title={Identification of services --- A stakeholder-based approach to SOA development and its application in the area of production planning}, booktitle={Proceedings of the 15th European Conference on Information System}, author={Klose, Karsten and Knackstedt, Ralf and Beverungen, Daniel}, year={2007} }","mla":"Klose, Karsten, et al. “Identification of Services --- A Stakeholder-Based Approach to SOA Development and Its Application in the Area of Production Planning.” <i>Proceedings of the 15th European Conference on Information System</i>, 2007.","apa":"Klose, K., Knackstedt, R., &#38; Beverungen, D. (2007). Identification of services --- A stakeholder-based approach to SOA development and its application in the area of production planning. In <i>Proceedings of the 15th European Conference on Information System</i>. St. Gallen, Switzerland."},"year":"2007","place":"St. Gallen, Switzerland","extern":"1","department":[{"_id":"526"}],"user_id":"21671","_id":"3481","status":"public","publication":"Proceedings of the 15th European Conference on Information System","type":"conference"},{"year":"2007","citation":{"short":"J. Becker, A. Winkelmann, D. Beverungen, C. Janiesch, HMD --- Praxis Der Wirtschaftsinformatik (2007) 45--56.","bibtex":"@article{Becker_Winkelmann_Beverungen_Janiesch_2007, title={Bereitstellung von Artikelstammdaten}, number={258}, journal={HMD --- Praxis der Wirtschaftsinformatik}, author={Becker, Jörg and Winkelmann, Axel and Beverungen, Daniel and Janiesch, Christian}, year={2007}, pages={45--56} }","mla":"Becker, Jörg, et al. “Bereitstellung von Artikelstammdaten.” <i>HMD --- Praxis Der Wirtschaftsinformatik</i>, no. 258, 2007, pp. 45--56.","apa":"Becker, J., Winkelmann, A., Beverungen, D., &#38; Janiesch, C. (2007). Bereitstellung von Artikelstammdaten. <i>HMD --- Praxis Der Wirtschaftsinformatik</i>, (258), 45--56.","ama":"Becker J, Winkelmann A, Beverungen D, Janiesch C. Bereitstellung von Artikelstammdaten. <i>HMD --- Praxis der Wirtschaftsinformatik</i>. 2007;(258):45--56.","chicago":"Becker, Jörg, Axel Winkelmann, Daniel Beverungen, and Christian Janiesch. “Bereitstellung von Artikelstammdaten.” <i>HMD --- Praxis Der Wirtschaftsinformatik</i>, no. 258 (2007): 45--56.","ieee":"J. Becker, A. Winkelmann, D. Beverungen, and C. Janiesch, “Bereitstellung von Artikelstammdaten,” <i>HMD --- Praxis der Wirtschaftsinformatik</i>, no. 258, pp. 45--56, 2007."},"page":"45--56","issue":"258","title":"Bereitstellung von Artikelstammdaten","date_updated":"2022-01-06T06:59:20Z","date_created":"2018-07-06T12:15:30Z","author":[{"first_name":"Jörg","last_name":"Becker","full_name":"Becker, Jörg"},{"first_name":"Axel","full_name":"Winkelmann, Axel","last_name":"Winkelmann"},{"first_name":"Daniel","last_name":"Beverungen","full_name":"Beverungen, Daniel","id":"59677"},{"first_name":"Christian","last_name":"Janiesch","full_name":"Janiesch, Christian"}],"status":"public","type":"journal_article","publication":"HMD --- Praxis der Wirtschaftsinformatik","extern":"1","_id":"3508","user_id":"21671","department":[{"_id":"526"}]},{"year":"2007","place":"Turku","citation":{"chicago":"Bauer, J, M Rehrl, and Christian Harteis. “Measurement of Learning Culture: A Motivational Approach.” In <i>Learning in the Workplace--New Developments</i>, edited by Hans Gruber and Tuire Palonen, 21--50. Turku: Turun Yliopisto, 2007.","ieee":"J. Bauer, M. Rehrl, and C. Harteis, “Measurement of learning culture: a motivational approach,” in <i>Learning in the workplace--new developments</i>, H. Gruber and T. Palonen, Eds. Turku: Turun Yliopisto, 2007, pp. 21--50.","ama":"Bauer J, Rehrl M, Harteis C. Measurement of learning culture: a motivational approach. In: Gruber H, Palonen T, eds. <i>Learning in the Workplace--New Developments</i>. Turku: Turun Yliopisto; 2007:21--50.","apa":"Bauer, J., Rehrl, M., &#38; Harteis, C. (2007). Measurement of learning culture: a motivational approach. In H. Gruber &#38; T. Palonen (Eds.), <i>Learning in the workplace--new developments</i> (pp. 21--50). Turku: Turun Yliopisto.","short":"J. Bauer, M. Rehrl, C. Harteis, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace--New Developments, Turun Yliopisto, Turku, 2007, pp. 21--50.","mla":"Bauer, J., et al. “Measurement of Learning Culture: A Motivational Approach.” <i>Learning in the Workplace--New Developments</i>, edited by Hans Gruber and Tuire Palonen, Turun Yliopisto, 2007, pp. 21--50.","bibtex":"@inbook{Bauer_Rehrl_Harteis_2007, place={Turku}, title={Measurement of learning culture: a motivational approach}, booktitle={Learning in the workplace--new developments}, publisher={Turun Yliopisto}, author={Bauer, J and Rehrl, M and Harteis, Christian}, editor={Gruber, Hans and Palonen, TuireEditors}, year={2007}, pages={21--50} }"},"page":"21--50","title":"Measurement of learning culture: a motivational approach","publisher":"Turun Yliopisto","date_updated":"2022-01-06T06:59:27Z","author":[{"first_name":"J","full_name":"Bauer, J","last_name":"Bauer"},{"first_name":"M","last_name":"Rehrl","full_name":"Rehrl, M"},{"first_name":"Christian","full_name":"Harteis, Christian","id":"27503","last_name":"Harteis","orcid":"https://orcid.org/0000-0002-3570-7626"}],"date_created":"2018-07-23T11:19:19Z","editor":[{"first_name":"Hans","last_name":"Gruber","full_name":"Gruber, Hans"},{"first_name":"Tuire","full_name":"Palonen, Tuire","last_name":"Palonen"}],"status":"public","type":"book_chapter","publication":"Learning in the workplace--new developments","_id":"3611","user_id":"27503","department":[{"_id":"452"}]}]