[{"citation":{"mla":"Birkenheuer, Georg, et al. “PIRANHA – Hunter of Idle Resources.” <i>Proc. GI Informatiktage</i>, vol. 2, Gesellschaft für Informatik (GI), 2005, pp. 91–94.","bibtex":"@inproceedings{Birkenheuer_Hagelweide_Hagemeier_Japs_Keller_Mayr_Meyer_Schumacher_Voß_Zajac_2005, place={Bonn, Germany}, series={Lecture Notes in Informatics}, title={PIRANHA – Hunter of Idle Resources}, volume={2}, booktitle={Proc. GI Informatiktage}, publisher={Gesellschaft für Informatik (GI)}, author={Birkenheuer, Georg and Hagelweide, Wilke and Hagemeier, Björn and Japs, Viktor and Keller, Matthias and Mayr, Nikolas and Meyer, Jan and Schumacher, Tobias and Voß, Kerstin and Zajac, Markus}, year={2005}, pages={91–94}, collection={Lecture Notes in Informatics} }","ama":"Birkenheuer G, Hagelweide W, Hagemeier B, et al. PIRANHA – Hunter of Idle Resources. In: <i>Proc. GI Informatiktage</i>. Vol 2. Lecture Notes in Informatics. Bonn, Germany: Gesellschaft für Informatik (GI); 2005:91-94.","ieee":"G. Birkenheuer <i>et al.</i>, “PIRANHA – Hunter of Idle Resources,” in <i>Proc. GI Informatiktage</i>, 2005, vol. 2, pp. 91–94.","apa":"Birkenheuer, G., Hagelweide, W., Hagemeier, B., Japs, V., Keller, M., Mayr, N., … Zajac, M. (2005). PIRANHA – Hunter of Idle Resources. In <i>Proc. GI Informatiktage</i> (Vol. 2, pp. 91–94). Bonn, Germany: Gesellschaft für Informatik (GI).","chicago":"Birkenheuer, Georg, Wilke Hagelweide, Björn Hagemeier, Viktor Japs, Matthias Keller, Nikolas Mayr, Jan Meyer, Tobias Schumacher, Kerstin Voß, and Markus Zajac. “PIRANHA – Hunter of Idle Resources.” In <i>Proc. GI Informatiktage</i>, 2:91–94. Lecture Notes in Informatics. Bonn, Germany: Gesellschaft für Informatik (GI), 2005.","short":"G. Birkenheuer, W. Hagelweide, B. Hagemeier, V. Japs, M. Keller, N. Mayr, J. Meyer, T. Schumacher, K. Voß, M. Zajac, in: Proc. GI Informatiktage, Gesellschaft für Informatik (GI), Bonn, Germany, 2005, pp. 91–94."},"publication":"Proc. GI Informatiktage","department":[{"_id":"27"}],"type":"conference","place":"Bonn, Germany","date_created":"2018-04-17T14:42:20Z","intvolume":"         2","date_updated":"2022-01-06T06:56:08Z","author":[{"first_name":"Georg","last_name":"Birkenheuer","full_name":"Birkenheuer, Georg"},{"last_name":"Hagelweide","first_name":"Wilke","full_name":"Hagelweide, Wilke"},{"last_name":"Hagemeier","first_name":"Björn","full_name":"Hagemeier, Björn"},{"full_name":"Japs, Viktor","last_name":"Japs","first_name":"Viktor"},{"first_name":"Matthias","last_name":"Keller","full_name":"Keller, Matthias"},{"first_name":"Nikolas","last_name":"Mayr","full_name":"Mayr, Nikolas"},{"last_name":"Meyer","first_name":"Jan","full_name":"Meyer, Jan"},{"last_name":"Schumacher","first_name":"Tobias","full_name":"Schumacher, Tobias"},{"full_name":"Voß, Kerstin","last_name":"Voß","first_name":"Kerstin"},{"full_name":"Zajac, Markus","first_name":"Markus","last_name":"Zajac"}],"status":"public","title":"PIRANHA – Hunter of Idle Resources","year":"2005","volume":2,"user_id":"24135","_id":"2414","series_title":"Lecture Notes in Informatics","publisher":"Gesellschaft für Informatik (GI)","page":"91-94"},{"citation":{"short":"A. Buyken, W. Dettmann, M. Kersting, A. Kroke, Br J Nutr 94 (2005) 796–803.","chicago":"Buyken, Anette, W Dettmann, M Kersting, and A Kroke. “Glycaemic Index and Glycaemic Load in the Diet of Healthy Schoolchildren: Trends from 1990 to 2002, Contribution of Different Carbohydrate Sources and Relationships to Dietary Quality.” <i>Br J Nutr</i> 94, no. 5 (2005): 796–803. <a href=\"https://doi.org/10.1079/bjn20051537\">https://doi.org/10.1079/bjn20051537</a>.","ieee":"A. Buyken, W. Dettmann, M. Kersting, and A. Kroke, “Glycaemic index and glycaemic load in the diet of healthy schoolchildren: trends from 1990 to 2002, contribution of different carbohydrate sources and relationships to dietary quality.,” <i>Br J Nutr</i>, vol. 94, no. 5, pp. 796–803, 2005, doi: <a href=\"https://doi.org/10.1079/bjn20051537\">10.1079/bjn20051537</a>.","apa":"Buyken, A., Dettmann, W., Kersting, M., &#38; Kroke, A. (2005). Glycaemic index and glycaemic load in the diet of healthy schoolchildren: trends from 1990 to 2002, contribution of different carbohydrate sources and relationships to dietary quality. <i>Br J Nutr</i>, <i>94</i>(5), 796–803. <a href=\"https://doi.org/10.1079/bjn20051537\">https://doi.org/10.1079/bjn20051537</a>","bibtex":"@article{Buyken_Dettmann_Kersting_Kroke_2005, title={Glycaemic index and glycaemic load in the diet of healthy schoolchildren: trends from 1990 to 2002, contribution of different carbohydrate sources and relationships to dietary quality.}, volume={94}, DOI={<a href=\"https://doi.org/10.1079/bjn20051537\">10.1079/bjn20051537</a>}, number={5}, journal={Br J Nutr}, author={Buyken, Anette and Dettmann, W and Kersting, M and Kroke, A}, year={2005}, pages={796–803} }","ama":"Buyken A, Dettmann W, Kersting M, Kroke A. Glycaemic index and glycaemic load in the diet of healthy schoolchildren: trends from 1990 to 2002, contribution of different carbohydrate sources and relationships to dietary quality. <i>Br J Nutr</i>. 2005;94(5):796-803. doi:<a href=\"https://doi.org/10.1079/bjn20051537\">10.1079/bjn20051537</a>","mla":"Buyken, Anette, et al. “Glycaemic Index and Glycaemic Load in the Diet of Healthy Schoolchildren: Trends from 1990 to 2002, Contribution of Different Carbohydrate Sources and Relationships to Dietary Quality.” <i>Br J Nutr</i>, vol. 94, no. 5, 2005, pp. 796–803, doi:<a href=\"https://doi.org/10.1079/bjn20051537\">10.1079/bjn20051537</a>."},"external_id":{"pmid":["16277784"]},"status":"public","volume":94,"user_id":"61597","_id":"25931","page":"796-803","publication":"Br J Nutr","issue":"5","department":[{"_id":"17"},{"_id":"22"},{"_id":"571"}],"type":"journal_article","date_created":"2021-10-08T12:08:13Z","intvolume":"        94","date_updated":"2022-01-06T06:57:14Z","publication_identifier":{"issn":["0007-1145","1475-2662"]},"author":[{"id":"65985","first_name":"Anette","last_name":"Buyken","full_name":"Buyken, Anette"},{"full_name":"Dettmann, W","first_name":"W","last_name":"Dettmann"},{"full_name":"Kersting, M","last_name":"Kersting","first_name":"M"},{"first_name":"A","last_name":"Kroke","full_name":"Kroke, A"}],"year":"2005","title":"Glycaemic index and glycaemic load in the diet of healthy schoolchildren: trends from 1990 to 2002, contribution of different carbohydrate sources and relationships to dietary quality.","pmid":"1","doi":"10.1079/bjn20051537","language":[{"iso":"eng"}]},{"doi":"10.1016/j.ces.2004.11.064","user_id":"70093","volume":61,"page":"167-181","language":[{"iso":"eng"}],"_id":"26149","date_updated":"2022-01-06T06:57:17Z","publication_status":"published","intvolume":"        61","status":"public","year":"2005","title":"Predictive simulation of nanoparticle precipitation based on the population balance equation","author":[{"last_name":"Schwarzer","first_name":"Hans-Christoph","full_name":"Schwarzer, Hans-Christoph"},{"first_name":"Florian","last_name":"Schwertfirm","full_name":"Schwertfirm, Florian"},{"full_name":"Manhart, Michael","last_name":"Manhart","first_name":"Michael"},{"id":"464","last_name":"Schmid","first_name":"Hans-Joachim","full_name":"Schmid, Hans-Joachim"},{"first_name":"Wolfgang","last_name":"Peukert","full_name":"Peukert, Wolfgang"}],"publication_identifier":{"issn":["0009-2509"]},"type":"journal_article","date_created":"2021-10-13T15:57:59Z","abstract":[{"text":"Nanoparticle precipitation is an interesting process to generate particles with tailored properties. In this study we investigate the impact of various process steps such as solid formation, mixing and agglomeration on the resulting particle size distribution (PSD) as representative property using barium sulfate as exemplary material. Besides the experimental investigation, process simulations were carried out by solving the full 1D population balance equation coupled to a model describing the micromixing kinetics based on a finite-element Galerkin h-p-method. This combination of population balance and micromixing model was applied successfully to predict the influence of mixing on mean sizes (good quantitative agreement between experimental data and simulation results are obtained) and gain insights into nanoparticle precipitation: The interfacial energy was identified to be a critical parameter in predicting the particle size, poor mixing results in larger particles and the impact of agglomeration was found to increase with supersaturation due to larger particle numbers. Shear-induced agglomeration was found to be controllable through the residence time in turbulent regions and the intensity of turbulence, necessary for intense mixing but undesired due to agglomeration. By this approach, however, the distribution width is underestimated which is attributed to the large spectrum of mixing histories of fluid elements on their way through the mixer. Therefore, an improved computational fluid dynamics-based approach using direct numerical simulation with a Lagrangian particle tracking strategy is applied in combination with the coupled population balance–micromixing approach. We found that the full DNS-approach, coupled to the population balance and micromixing model is capable of predicting not only the mean sizes but the full PSD in nanoparticle precipitation.","lang":"eng"}],"issue":"1","publication":"Chemical Engineering Science","citation":{"ieee":"H.-C. Schwarzer, F. Schwertfirm, M. Manhart, H.-J. Schmid, and W. Peukert, “Predictive simulation of nanoparticle precipitation based on the population balance equation,” <i>Chemical Engineering Science</i>, vol. 61, no. 1, pp. 167–181, 2005, doi: <a href=\"https://doi.org/10.1016/j.ces.2004.11.064\">10.1016/j.ces.2004.11.064</a>.","apa":"Schwarzer, H.-C., Schwertfirm, F., Manhart, M., Schmid, H.-J., &#38; Peukert, W. (2005). Predictive simulation of nanoparticle precipitation based on the population balance equation. <i>Chemical Engineering Science</i>, <i>61</i>(1), 167–181. <a href=\"https://doi.org/10.1016/j.ces.2004.11.064\">https://doi.org/10.1016/j.ces.2004.11.064</a>","mla":"Schwarzer, Hans-Christoph, et al. “Predictive Simulation of Nanoparticle Precipitation Based on the Population Balance Equation.” <i>Chemical Engineering Science</i>, vol. 61, no. 1, 2005, pp. 167–81, doi:<a href=\"https://doi.org/10.1016/j.ces.2004.11.064\">10.1016/j.ces.2004.11.064</a>.","bibtex":"@article{Schwarzer_Schwertfirm_Manhart_Schmid_Peukert_2005, title={Predictive simulation of nanoparticle precipitation based on the population balance equation}, volume={61}, DOI={<a href=\"https://doi.org/10.1016/j.ces.2004.11.064\">10.1016/j.ces.2004.11.064</a>}, number={1}, journal={Chemical Engineering Science}, author={Schwarzer, Hans-Christoph and Schwertfirm, Florian and Manhart, Michael and Schmid, Hans-Joachim and Peukert, Wolfgang}, year={2005}, pages={167–181} }","short":"H.-C. Schwarzer, F. Schwertfirm, M. Manhart, H.-J. Schmid, W. Peukert, Chemical Engineering Science 61 (2005) 167–181.","ama":"Schwarzer H-C, Schwertfirm F, Manhart M, Schmid H-J, Peukert W. Predictive simulation of nanoparticle precipitation based on the population balance equation. <i>Chemical Engineering Science</i>. 2005;61(1):167-181. doi:<a href=\"https://doi.org/10.1016/j.ces.2004.11.064\">10.1016/j.ces.2004.11.064</a>","chicago":"Schwarzer, Hans-Christoph, Florian Schwertfirm, Michael Manhart, Hans-Joachim Schmid, and Wolfgang Peukert. “Predictive Simulation of Nanoparticle Precipitation Based on the Population Balance Equation.” <i>Chemical Engineering Science</i> 61, no. 1 (2005): 167–81. <a href=\"https://doi.org/10.1016/j.ces.2004.11.064\">https://doi.org/10.1016/j.ces.2004.11.064</a>."}},{"doi":"10.1016/j.ces.2004.11.068","user_id":"70093","volume":61,"page":"293-305","_id":"26151","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:57:17Z","publication_status":"published","intvolume":"        61","title":"Evolution of the fractal dimension for simultaneous coagulation and sintering","year":"2005","status":"public","author":[{"last_name":"Schmid","first_name":"Hans-Joachim","full_name":"Schmid, Hans-Joachim","id":"464"},{"full_name":"Al-Zaitone, Belal","first_name":"Belal","last_name":"Al-Zaitone"},{"last_name":"Artelt","first_name":"Christian","full_name":"Artelt, Christian"},{"full_name":"Peukert, Wolfgang","first_name":"Wolfgang","last_name":"Peukert"}],"publication_identifier":{"issn":["0009-2509"]},"type":"journal_article","date_created":"2021-10-13T16:02:52Z","abstract":[{"lang":"eng","text":"Simulation results on the evolution of aggregate structure in aerosol processes with coagulation and sintering as the dominant mechanisms are presented. A model for simulation of the three-dimensional morphology of nano-structured aggregates formed by concurrent coagulation and sintering is applied. The model is based on a stochastic diffusion controlled cluster–cluster aggregation algorithm and sintering is modeled as a successive overlapping of spherical primary particles, which are allowed to grow in order to maintain mass conservation. This leads to computer simulated structured aggregates which are then subject to evaluation. Two different methods to determine the fractal dimension are presented which give comparable results. It is shown that even very small particles show the same fractal behavior. Furthermore, equilibrium structures assuming a constant ratio of the characteristic collision time to the characteristic fusion time are considered as well as the kinetics of structural changes due to a change in the ambient conditions."}],"publication":"Chemical Engineering Science","issue":"1","citation":{"mla":"Schmid, Hans-Joachim, et al. “Evolution of the Fractal Dimension for Simultaneous Coagulation and Sintering.” <i>Chemical Engineering Science</i>, vol. 61, no. 1, 2005, pp. 293–305, doi:<a href=\"https://doi.org/10.1016/j.ces.2004.11.068\">10.1016/j.ces.2004.11.068</a>.","ama":"Schmid H-J, Al-Zaitone B, Artelt C, Peukert W. Evolution of the fractal dimension for simultaneous coagulation and sintering. <i>Chemical Engineering Science</i>. 2005;61(1):293-305. doi:<a href=\"https://doi.org/10.1016/j.ces.2004.11.068\">10.1016/j.ces.2004.11.068</a>","bibtex":"@article{Schmid_Al-Zaitone_Artelt_Peukert_2005, title={Evolution of the fractal dimension for simultaneous coagulation and sintering}, volume={61}, DOI={<a href=\"https://doi.org/10.1016/j.ces.2004.11.068\">10.1016/j.ces.2004.11.068</a>}, number={1}, journal={Chemical Engineering Science}, author={Schmid, Hans-Joachim and Al-Zaitone, Belal and Artelt, Christian and Peukert, Wolfgang}, year={2005}, pages={293–305} }","apa":"Schmid, H.-J., Al-Zaitone, B., Artelt, C., &#38; Peukert, W. (2005). Evolution of the fractal dimension for simultaneous coagulation and sintering. <i>Chemical Engineering Science</i>, <i>61</i>(1), 293–305. <a href=\"https://doi.org/10.1016/j.ces.2004.11.068\">https://doi.org/10.1016/j.ces.2004.11.068</a>","ieee":"H.-J. Schmid, B. Al-Zaitone, C. Artelt, and W. Peukert, “Evolution of the fractal dimension for simultaneous coagulation and sintering,” <i>Chemical Engineering Science</i>, vol. 61, no. 1, pp. 293–305, 2005, doi: <a href=\"https://doi.org/10.1016/j.ces.2004.11.068\">10.1016/j.ces.2004.11.068</a>.","short":"H.-J. Schmid, B. Al-Zaitone, C. Artelt, W. Peukert, Chemical Engineering Science 61 (2005) 293–305.","chicago":"Schmid, Hans-Joachim, Belal Al-Zaitone, Christian Artelt, and Wolfgang Peukert. “Evolution of the Fractal Dimension for Simultaneous Coagulation and Sintering.” <i>Chemical Engineering Science</i> 61, no. 1 (2005): 293–305. <a href=\"https://doi.org/10.1016/j.ces.2004.11.068\">https://doi.org/10.1016/j.ces.2004.11.068</a>."}},{"abstract":[{"lang":"eng","text":"This work investigates effects of reduced accessible surface area of aggregate particles and surface energy on titania particle formation and growth. It is taken into consideration that surface-related growth mechanisms, i.e. surface reaction and condensation, are limited to the fraction of the surface area of primary particles which is exposed to the collision with single molecules. Surface energy data determine the critical particle size with respect to evaporation and values are varied within the published range. This implies to develop a model which considers “surface shielding” and accounts for the formation of stable clusters from a supersaturated vapour due to nucleation and condensation besides considering the generation of monomers due to chemical reaction, growth due to surface reaction, agglomeration and sintering. Taking the accessible surface area into account is found out to be especially important if agglomerates contain a large number of primary particles or if agglomerate structure is rather compact. In this case, precursor consumption and primary particle growth turn out to be significantly retarded. Surface energy data are shown to be decisive with respect to the thermodynamic barrier to the formation of particles, thus to active particle formation and growth mechanisms, besides affecting sintering kinetics. Elevated surface energy data typically retard precursor consumption and favour primary particle growth."}],"citation":{"short":"C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 36 (2005) 147–172.","chicago":"Artelt, C., Hans-Joachim Schmid, and W. Peukert. “On the Impact of Accessible Surface and Surface Energy on Particle Formation and Growth from the Vapour Phase.” <i>Journal of Aerosol Science</i> 36, no. 2 (2005): 147–72. <a href=\"https://doi.org/10.1016/j.jaerosci.2004.08.003\">https://doi.org/10.1016/j.jaerosci.2004.08.003</a>.","apa":"Artelt, C., Schmid, H.-J., &#38; Peukert, W. (2005). On the impact of accessible surface and surface energy on particle formation and growth from the vapour phase. <i>Journal of Aerosol Science</i>, <i>36</i>(2), 147–172. <a href=\"https://doi.org/10.1016/j.jaerosci.2004.08.003\">https://doi.org/10.1016/j.jaerosci.2004.08.003</a>","ieee":"C. Artelt, H.-J. Schmid, and W. Peukert, “On the impact of accessible surface and surface energy on particle formation and growth from the vapour phase,” <i>Journal of Aerosol Science</i>, vol. 36, no. 2, pp. 147–172, 2005, doi: <a href=\"https://doi.org/10.1016/j.jaerosci.2004.08.003\">10.1016/j.jaerosci.2004.08.003</a>.","ama":"Artelt C, Schmid H-J, Peukert W. On the impact of accessible surface and surface energy on particle formation and growth from the vapour phase. <i>Journal of Aerosol Science</i>. 2005;36(2):147-172. doi:<a href=\"https://doi.org/10.1016/j.jaerosci.2004.08.003\">10.1016/j.jaerosci.2004.08.003</a>","bibtex":"@article{Artelt_Schmid_Peukert_2005, title={On the impact of accessible surface and surface energy on particle formation and growth from the vapour phase}, volume={36}, DOI={<a href=\"https://doi.org/10.1016/j.jaerosci.2004.08.003\">10.1016/j.jaerosci.2004.08.003</a>}, number={2}, journal={Journal of Aerosol Science}, author={Artelt, C. and Schmid, Hans-Joachim and Peukert, W.}, year={2005}, pages={147–172} }","mla":"Artelt, C., et al. “On the Impact of Accessible Surface and Surface Energy on Particle Formation and Growth from the Vapour Phase.” <i>Journal of Aerosol Science</i>, vol. 36, no. 2, 2005, pp. 147–72, doi:<a href=\"https://doi.org/10.1016/j.jaerosci.2004.08.003\">10.1016/j.jaerosci.2004.08.003</a>."},"issue":"2","publication":"Journal of Aerosol Science","type":"journal_article","date_created":"2021-10-13T16:09:43Z","intvolume":"        36","date_updated":"2022-01-06T06:57:17Z","publication_status":"published","author":[{"last_name":"Artelt","first_name":"C.","full_name":"Artelt, C."},{"full_name":"Schmid, Hans-Joachim","first_name":"Hans-Joachim","last_name":"Schmid","id":"464"},{"first_name":"W.","last_name":"Peukert","full_name":"Peukert, W."}],"publication_identifier":{"issn":["0021-8502"]},"year":"2005","status":"public","title":"On the impact of accessible surface and surface energy on particle formation and growth from the vapour phase","volume":36,"doi":"10.1016/j.jaerosci.2004.08.003","user_id":"70093","_id":"26153","language":[{"iso":"eng"}],"page":"147-172"},{"citation":{"apa":"Betz, S. (2005). <i>Unscharfe Break-Even-Analyse bei Einproduktproduktion</i> (Vol. Nr. 87). Paderborn.","ieee":"S. Betz, <i>Unscharfe Break-Even-Analyse bei Einproduktproduktion</i>, vol. Nr. 87. Paderborn, 2005.","chicago":"Betz, Stefan. <i>Unscharfe Break-Even-Analyse bei Einproduktproduktion</i>. Vol. Nr. 87. Working Paper. Paderborn, 2005.","short":"S. Betz, Unscharfe Break-Even-Analyse bei Einproduktproduktion, Paderborn, 2005.","mla":"Betz, Stefan. <i>Unscharfe Break-Even-Analyse bei Einproduktproduktion</i>. Vol. Nr. 87, 2005.","ama":"Betz S. <i>Unscharfe Break-Even-Analyse bei Einproduktproduktion</i>. Vol Nr. 87. Paderborn; 2005.","bibtex":"@book{Betz_2005, place={Paderborn}, series={Working Paper}, title={Unscharfe Break-Even-Analyse bei Einproduktproduktion}, volume={Nr. 87}, author={Betz, Stefan}, year={2005}, collection={Working Paper} }"},"type":"working_paper","department":[{"_id":"193"}],"place":"Paderborn","date_created":"2018-05-03T13:00:37Z","date_updated":"2022-01-06T06:57:18Z","publication_status":"published","status":"public","year":"2005","title":"Unscharfe Break-Even-Analyse bei Einproduktproduktion","author":[{"first_name":"Stefan","last_name":"Betz","full_name":"Betz, Stefan","id":"54"}],"user_id":"21811","volume":"Nr. 87","language":[{"iso":"ger"}],"_id":"2622","series_title":"Working Paper"},{"date_created":"2021-10-15T12:29:17Z","department":[{"_id":"63"},{"_id":"26"}],"type":"journal_article","citation":{"chicago":"Ziegler, Martin, and Benno Fuchssteiner. “Nonlinear Reformulation of Heisenberg’s Dynamics.” <i>International Journal of Theoretical Physics</i>, 2005, 693–717. <a href=\"https://doi.org/10.1007/s10773-005-7048-9\">https://doi.org/10.1007/s10773-005-7048-9</a>.","short":"M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.","ieee":"M. Ziegler and B. Fuchssteiner, “Nonlinear Reformulation of Heisenberg’s Dynamics,” <i>International Journal of Theoretical Physics</i>, pp. 693–717, 2005, doi: <a href=\"https://doi.org/10.1007/s10773-005-7048-9\">10.1007/s10773-005-7048-9</a>.","apa":"Ziegler, M., &#38; Fuchssteiner, B. (2005). Nonlinear Reformulation of Heisenberg’s Dynamics. <i>International Journal of Theoretical Physics</i>, 693–717. <a href=\"https://doi.org/10.1007/s10773-005-7048-9\">https://doi.org/10.1007/s10773-005-7048-9</a>","bibtex":"@article{Ziegler_Fuchssteiner_2005, title={Nonlinear Reformulation of Heisenberg’s Dynamics}, DOI={<a href=\"https://doi.org/10.1007/s10773-005-7048-9\">10.1007/s10773-005-7048-9</a>}, journal={International Journal of Theoretical Physics}, author={Ziegler, Martin and Fuchssteiner, Benno}, year={2005}, pages={693–717} }","ama":"Ziegler M, Fuchssteiner B. Nonlinear Reformulation of Heisenberg’s Dynamics. <i>International Journal of Theoretical Physics</i>. Published online 2005:693-717. doi:<a href=\"https://doi.org/10.1007/s10773-005-7048-9\">10.1007/s10773-005-7048-9</a>","mla":"Ziegler, Martin, and Benno Fuchssteiner. “Nonlinear Reformulation of Heisenberg’s Dynamics.” <i>International Journal of Theoretical Physics</i>, 2005, pp. 693–717, doi:<a href=\"https://doi.org/10.1007/s10773-005-7048-9\">10.1007/s10773-005-7048-9</a>."},"publication":"International Journal of Theoretical Physics","_id":"26278","language":[{"iso":"eng"}],"page":"693-717","doi":"10.1007/s10773-005-7048-9","user_id":"15415","author":[{"full_name":"Ziegler, Martin","first_name":"Martin","last_name":"Ziegler"},{"first_name":"Benno","last_name":"Fuchssteiner","full_name":"Fuchssteiner, Benno"}],"publication_identifier":{"issn":["0020-7748","1572-9575"]},"status":"public","year":"2005","title":"Nonlinear Reformulation of Heisenberg's Dynamics","date_updated":"2022-01-06T06:57:18Z","publication_status":"published"},{"user_id":"57672","language":[{"iso":"ger"}],"_id":"26722","publisher":"BIS/DIZ","date_updated":"2022-01-06T06:57:26Z","year":"2005","status":"public","title":"Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern","author":[{"first_name":"Frank","last_name":"Hellmich","full_name":"Hellmich, Frank","id":"26282"}],"type":"book","department":[{"_id":"460"}],"date_created":"2021-10-22T07:08:25Z","place":"Oldenburg","citation":{"bibtex":"@book{Hellmich_2005, place={Oldenburg}, title={Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern}, publisher={BIS/DIZ}, author={Hellmich, Frank}, year={2005} }","ama":"Hellmich F. <i>Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern</i>. BIS/DIZ; 2005.","mla":"Hellmich, Frank. <i>Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern</i>. BIS/DIZ, 2005.","short":"F. Hellmich, Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern, BIS/DIZ, Oldenburg, 2005.","chicago":"Hellmich, Frank. <i>Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern</i>. Oldenburg: BIS/DIZ, 2005.","ieee":"F. Hellmich, <i>Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern</i>. Oldenburg: BIS/DIZ, 2005.","apa":"Hellmich, F. (2005). <i>Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern</i>. BIS/DIZ."}},{"extern":"1","citation":{"ama":"Hellmich F, ed. <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht</i>. BIS; 2005.","bibtex":"@book{Hellmich_2005, place={Oldenburg}, title={Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht}, publisher={BIS}, year={2005} }","mla":"Hellmich, Frank, editor. <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht</i>. BIS, 2005.","chicago":"Hellmich, Frank, ed. <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht</i>. Oldenburg: BIS, 2005.","short":"F. Hellmich, ed., Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005.","apa":"Hellmich, F. (Ed.). (2005). <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht</i>. BIS.","ieee":"F. Hellmich, Ed., <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht</i>. Oldenburg: BIS, 2005."},"department":[{"_id":"460"}],"type":"book_editor","date_created":"2021-10-22T07:49:04Z","place":"Oldenburg","date_updated":"2022-01-06T06:57:26Z","title":"Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht","year":"2005","status":"public","editor":[{"id":"26282","first_name":"Frank","last_name":"Hellmich","full_name":"Hellmich, Frank"}],"user_id":"57672","_id":"26732","publisher":"BIS","language":[{"iso":"ger"}]},{"alternative_title":["Working Paper Department Taxation, Accounting and Finance, Fakultät für Wirtschaftswissenschaften, Universität Paderborn"],"volume":"Nr. 86","user_id":"21811","_id":"2676","series_title":"Working Paper","date_updated":"2022-01-06T06:57:27Z","author":[{"full_name":"Betz, Stefan","first_name":"Stefan","last_name":"Betz","id":"54"}],"title":"Unscharfe Produktionsprogrammplanung bei Alternativproduktion","year":"2005","status":"public","department":[{"_id":"193"}],"type":"working_paper","place":"Paderborn","date_created":"2018-05-07T14:26:56Z","citation":{"short":"S. Betz, Unscharfe Produktionsprogrammplanung Bei Alternativproduktion, Paderborn, 2005.","chicago":"Betz, Stefan. <i>Unscharfe Produktionsprogrammplanung Bei Alternativproduktion</i>. Vol. Nr. 86. Working Paper. Paderborn, 2005.","ieee":"S. Betz, <i>Unscharfe Produktionsprogrammplanung bei Alternativproduktion</i>, vol. Nr. 86. Paderborn, 2005.","apa":"Betz, S. (2005). <i>Unscharfe Produktionsprogrammplanung bei Alternativproduktion</i> (Vol. Nr. 86). Paderborn.","bibtex":"@book{Betz_2005, place={Paderborn}, series={Working Paper}, title={Unscharfe Produktionsprogrammplanung bei Alternativproduktion}, volume={Nr. 86}, author={Betz, Stefan}, year={2005}, collection={Working Paper} }","ama":"Betz S. <i>Unscharfe Produktionsprogrammplanung Bei Alternativproduktion</i>. Vol Nr. 86. Paderborn; 2005.","mla":"Betz, Stefan. <i>Unscharfe Produktionsprogrammplanung Bei Alternativproduktion</i>. Vol. Nr. 86, 2005."}},{"date_updated":"2022-01-06T06:57:28Z","author":[{"id":"26282","full_name":"Hellmich, Frank","first_name":"Frank","last_name":"Hellmich"}],"status":"public","year":"2005","title":"Förderung selbstregulativer Fähigkeiten in der Grundschule","editor":[{"first_name":"Frank","last_name":"Hellmich","full_name":"Hellmich, Frank"}],"user_id":"57672","language":[{"iso":"ger"}],"_id":"26801","publisher":"BIS","page":"265-276","extern":"1","citation":{"chicago":"Hellmich, Frank. “Förderung selbstregulativer Fähigkeiten in der Grundschule.” In <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht </i>, edited by Frank Hellmich, 265–76. Oldenburg: BIS, 2005.","short":"F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , BIS, Oldenburg, 2005, pp. 265–276.","ieee":"F. Hellmich, “Förderung selbstregulativer Fähigkeiten in der Grundschule,” in <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht </i>, F. Hellmich, Ed. Oldenburg: BIS, 2005, pp. 265–276.","apa":"Hellmich, F. (2005). Förderung selbstregulativer Fähigkeiten in der Grundschule. In F. Hellmich (Ed.), <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht </i> (pp. 265–276). BIS.","bibtex":"@inbook{Hellmich_2005, place={Oldenburg}, title={Förderung selbstregulativer Fähigkeiten in der Grundschule}, booktitle={Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht }, publisher={BIS}, author={Hellmich, Frank}, editor={Hellmich, Frank}, year={2005}, pages={265–276} }","ama":"Hellmich F. Förderung selbstregulativer Fähigkeiten in der Grundschule. In: Hellmich F, ed. <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht </i>. BIS; 2005:265-276.","mla":"Hellmich, Frank. “Förderung selbstregulativer Fähigkeiten in der Grundschule.” <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht </i>, edited by Frank Hellmich, BIS, 2005, pp. 265–76."},"publication":"Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht ","department":[{"_id":"460"}],"type":"book_chapter","place":"Oldenburg","date_created":"2021-10-25T10:39:23Z"},{"publisher":"BIS","_id":"26802","language":[{"iso":"ger"}],"page":"13-29","editor":[{"last_name":"Hellmich","first_name":"Frank","full_name":"Hellmich, Frank"}],"user_id":"57672","author":[{"id":"26282","full_name":"Hellmich, Frank","last_name":"Hellmich","first_name":"Frank"}],"status":"public","title":"Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?","year":"2005","date_updated":"2022-01-06T06:57:28Z","place":"Oldenburg","date_created":"2021-10-25T10:41:53Z","department":[{"_id":"460"}],"type":"book_chapter","citation":{"chicago":"Hellmich, Frank. “Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?” In <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht</i>, edited by Frank Hellmich, 13–29. Oldenburg: BIS, 2005.","ama":"Hellmich F. Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule? In: Hellmich F, ed. <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht</i>. BIS; 2005:13-29.","short":"F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005, pp. 13–29.","bibtex":"@inbook{Hellmich_2005, place={Oldenburg}, title={Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?}, booktitle={Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht}, publisher={BIS}, author={Hellmich, Frank}, editor={Hellmich, Frank}, year={2005}, pages={13–29} }","apa":"Hellmich, F. (2005). Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule? In F. Hellmich (Ed.), <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht</i> (pp. 13–29). BIS.","mla":"Hellmich, Frank. “Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?” <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht</i>, edited by Frank Hellmich, BIS, 2005, pp. 13–29.","ieee":"F. Hellmich, “Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?,” in <i>Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht</i>, F. Hellmich, Ed. Oldenburg: BIS, 2005, pp. 13–29."},"publication":"Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht","extern":"1"},{"year":"2005","title":"What about Rituale im Grundschulunterricht?","status":"public","author":[{"full_name":"Hellmich, Frank","last_name":"Hellmich","first_name":"Frank","id":"26282"}],"date_updated":"2022-01-06T06:57:28Z","page":"4","publisher":"Didaktisches Zentrum (Oldenburger VorDrucke 514)","_id":"26803","language":[{"iso":"ger"}],"user_id":"57672","editor":[{"last_name":"Bohlen","first_name":"Ilona","full_name":"Bohlen, Ilona"}],"publication":"Rituale im Grundschulunterricht","citation":{"short":"F. Hellmich, in: I. Bohlen (Ed.), Rituale im Grundschulunterricht, Didaktisches Zentrum (Oldenburger VorDrucke 514), Oldenburg, 2005, p. 4.","chicago":"Hellmich, Frank. “What about Rituale im Grundschulunterricht?” In <i>Rituale im Grundschulunterricht</i>, edited by Ilona Bohlen, 4. Oldenburg: Didaktisches Zentrum (Oldenburger VorDrucke 514), 2005.","ieee":"F. Hellmich, “What about Rituale im Grundschulunterricht?,” in <i>Rituale im Grundschulunterricht</i>, I. Bohlen, Ed. Oldenburg: Didaktisches Zentrum (Oldenburger VorDrucke 514), 2005, p. 4.","apa":"Hellmich, F. (2005). What about Rituale im Grundschulunterricht? In I. Bohlen (Ed.), <i>Rituale im Grundschulunterricht</i> (p. 4). Didaktisches Zentrum (Oldenburger VorDrucke 514).","bibtex":"@inbook{Hellmich_2005, place={Oldenburg}, title={What about Rituale im Grundschulunterricht?}, booktitle={Rituale im Grundschulunterricht}, publisher={Didaktisches Zentrum (Oldenburger VorDrucke 514)}, author={Hellmich, Frank}, editor={Bohlen, Ilona}, year={2005}, pages={4} }","ama":"Hellmich F. What about Rituale im Grundschulunterricht? In: Bohlen I, ed. <i>Rituale im Grundschulunterricht</i>. Didaktisches Zentrum (Oldenburger VorDrucke 514); 2005:4.","mla":"Hellmich, Frank. “What about Rituale im Grundschulunterricht?” <i>Rituale im Grundschulunterricht</i>, edited by Ilona Bohlen, Didaktisches Zentrum (Oldenburger VorDrucke 514), 2005, p. 4."},"extern":"1","date_created":"2021-10-25T10:43:44Z","place":"Oldenburg","type":"book_chapter","department":[{"_id":"460"}]},{"publisher":"Didaktisches Zentrum (Oldenburger VorDrucke 509)","_id":"26804","language":[{"iso":"ger"}],"user_id":"57672","status":"public","title":"„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´","year":"2005","author":[{"id":"26282","first_name":"Frank","last_name":"Hellmich","full_name":"Hellmich, Frank"},{"last_name":"Abt","first_name":"Melanie","full_name":"Abt, Melanie"},{"last_name":"Bruns","first_name":"Heike","full_name":"Bruns, Heike"}],"date_updated":"2022-01-06T06:57:28Z","date_created":"2021-10-25T10:47:07Z","place":"Oldenburg","type":"book","department":[{"_id":"460"}],"citation":{"short":"F. Hellmich, M. Abt, H. Bruns, „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´, Didaktisches Zentrum (Oldenburger VorDrucke 509), Oldenburg, 2005.","chicago":"Hellmich, Frank, Melanie Abt, and Heike Bruns. <i>„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´</i>. Oldenburg: Didaktisches Zentrum (Oldenburger VorDrucke 509), 2005.","apa":"Hellmich, F., Abt, M., &#38; Bruns, H. (2005). <i>„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´</i>. Didaktisches Zentrum (Oldenburger VorDrucke 509).","ieee":"F. Hellmich, M. Abt, and H. Bruns, <i>„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´</i>. Oldenburg: Didaktisches Zentrum (Oldenburger VorDrucke 509), 2005.","ama":"Hellmich F, Abt M, Bruns H. <i>„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´</i>. Didaktisches Zentrum (Oldenburger VorDrucke 509); 2005.","bibtex":"@book{Hellmich_Abt_Bruns_2005, place={Oldenburg}, title={„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´}, publisher={Didaktisches Zentrum (Oldenburger VorDrucke 509)}, author={Hellmich, Frank and Abt, Melanie and Bruns, Heike}, year={2005} }","mla":"Hellmich, Frank, et al. <i>„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´</i>. Didaktisches Zentrum (Oldenburger VorDrucke 509), 2005."},"extern":"1"},{"department":[{"_id":"460"}],"type":"book_chapter","place":"Oldenburg","date_created":"2021-10-25T11:50:12Z","extern":"1","citation":{"ieee":"J. Steckmann and F. Hellmich, “Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund,” in <i>Lehren und Lernen nach IGLU - Grundschulunterricht heute</i>, F. Hellmich, Ed. Oldenburg: BIS, 2005, pp. 103–115.","apa":"Steckmann, J., &#38; Hellmich, F. (2005). Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund. In F. Hellmich (Ed.), <i>Lehren und Lernen nach IGLU - Grundschulunterricht heute</i> (pp. 103–115). BIS.","mla":"Steckmann, J., and Frank Hellmich. “Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund.” <i>Lehren und Lernen nach IGLU - Grundschulunterricht heute</i>, edited by Frank Hellmich, BIS, 2005, pp. 103–15.","bibtex":"@inbook{Steckmann_Hellmich_2005, place={Oldenburg}, title={Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund}, booktitle={Lehren und Lernen nach IGLU - Grundschulunterricht heute}, publisher={BIS}, author={Steckmann, J and Hellmich, Frank}, editor={Hellmich, Frank}, year={2005}, pages={103–115} }","ama":"Steckmann J, Hellmich F. Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund. In: Hellmich F, ed. <i>Lehren und Lernen nach IGLU - Grundschulunterricht heute</i>. BIS; 2005:103-115.","short":"J. Steckmann, F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU - Grundschulunterricht heute, BIS, Oldenburg, 2005, pp. 103–115.","chicago":"Steckmann, J, and Frank Hellmich. “Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund.” In <i>Lehren und Lernen nach IGLU - Grundschulunterricht heute</i>, edited by Frank Hellmich, 103–15. Oldenburg: BIS, 2005."},"publication":"Lehren und Lernen nach IGLU - Grundschulunterricht heute","editor":[{"last_name":"Hellmich","first_name":"Frank","full_name":"Hellmich, Frank"}],"user_id":"57672","_id":"26806","publisher":"BIS","language":[{"iso":"ger"}],"page":"103-115","date_updated":"2022-01-06T06:57:28Z","author":[{"full_name":"Steckmann, J","first_name":"J","last_name":"Steckmann"},{"id":"26282","full_name":"Hellmich, Frank","last_name":"Hellmich","first_name":"Frank"}],"title":"Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund","status":"public","year":"2005"},{"author":[{"last_name":"Olderog","first_name":"Ernst-Rüdiger","full_name":"Olderog, Ernst-Rüdiger"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"Specification and (property) inheritance in {CSP-OZ}","status":"public","year":"2005","date_updated":"2022-01-06T06:59:06Z","_id":"3227","page":"227--257","doi":"10.1016/j.scico.2004.05.017","user_id":"29719","citation":{"bibtex":"@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance in {CSP-OZ}}, DOI={<a href=\"https://doi.org/10.1016/j.scico.2004.05.017\">10.1016/j.scico.2004.05.017</a>}, number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, year={2005}, pages={227--257} }","ama":"Olderog E-R, Wehrheim H. Specification and (property) inheritance in {CSP-OZ}. <i>Sci Comput Program</i>. 2005;(1-3):227--257. doi:<a href=\"https://doi.org/10.1016/j.scico.2004.05.017\">10.1016/j.scico.2004.05.017</a>","mla":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” <i>Sci. Comput. Program.</i>, no. 1–3, 2005, pp. 227--257, doi:<a href=\"https://doi.org/10.1016/j.scico.2004.05.017\">10.1016/j.scico.2004.05.017</a>.","chicago":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” <i>Sci. Comput. Program.</i>, no. 1–3 (2005): 227--257. <a href=\"https://doi.org/10.1016/j.scico.2004.05.017\">https://doi.org/10.1016/j.scico.2004.05.017</a>.","short":"E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.","ieee":"E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in {CSP-OZ},” <i>Sci. Comput. Program.</i>, no. 1–3, pp. 227--257, 2005.","apa":"Olderog, E.-R., &#38; Wehrheim, H. (2005). Specification and (property) inheritance in {CSP-OZ}. <i>Sci. Comput. Program.</i>, (1–3), 227--257. <a href=\"https://doi.org/10.1016/j.scico.2004.05.017\">https://doi.org/10.1016/j.scico.2004.05.017</a>"},"issue":"1-3","publication":"Sci. Comput. Program.","date_created":"2018-06-14T06:38:42Z","department":[{"_id":"77"}],"type":"journal_article"},{"citation":{"bibtex":"@article{Wehrheim_2005, title={Slicing techniques for verification re-use}, DOI={<a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">10.1016/j.tcs.2005.06.020</a>}, number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005}, pages={509--528} }","ama":"Wehrheim H. Slicing techniques for verification re-use. <i>Theor Comput Sci</i>. 2005;(3):509--528. doi:<a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">10.1016/j.tcs.2005.06.020</a>","mla":"Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” <i>Theor. Comput. Sci.</i>, no. 3, 2005, pp. 509--528, doi:<a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">10.1016/j.tcs.2005.06.020</a>.","short":"H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.","chicago":"Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” <i>Theor. Comput. Sci.</i>, no. 3 (2005): 509--528. <a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">https://doi.org/10.1016/j.tcs.2005.06.020</a>.","ieee":"H. Wehrheim, “Slicing techniques for verification re-use,” <i>Theor. Comput. Sci.</i>, no. 3, pp. 509--528, 2005.","apa":"Wehrheim, H. (2005). Slicing techniques for verification re-use. <i>Theor. Comput. Sci.</i>, (3), 509--528. <a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">https://doi.org/10.1016/j.tcs.2005.06.020</a>"},"issue":"3","publication":"Theor. Comput. Sci.","department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-14T06:40:02Z","date_updated":"2022-01-06T06:59:06Z","author":[{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"Slicing techniques for verification re-use","year":"2005","status":"public","user_id":"29719","doi":"10.1016/j.tcs.2005.06.020","_id":"3228","page":"509--528"},{"citation":{"chicago":"Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” In <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>, edited by Martin Steffen and Gianluigi Zavattaro, 67--82. Lecture Notes in Computer Science, 2005. <a href=\"https://doi.org/10.1007/11494881_5\">https://doi.org/10.1007/11494881_5</a>.","short":"H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.","apa":"Rasch, H., &#38; Wehrheim, H. (2005). Checking the Validity of Scenarios in {UML} Models. In M. Steffen &#38; G. Zavattaro (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i> (pp. 67--82). <a href=\"https://doi.org/10.1007/11494881_5\">https://doi.org/10.1007/11494881_5</a>","ieee":"H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,” in <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>, 2005, pp. 67--82.","ama":"Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In: Steffen M, Zavattaro G, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>. Lecture Notes in Computer Science. ; 2005:67--82. doi:<a href=\"https://doi.org/10.1007/11494881_5\">10.1007/11494881_5</a>","bibtex":"@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Checking the Validity of Scenarios in {UML} Models}, DOI={<a href=\"https://doi.org/10.1007/11494881_5\">10.1007/11494881_5</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen, Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture Notes in Computer Science} }","mla":"Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>, edited by Martin Steffen and Gianluigi Zavattaro, 2005, pp. 67--82, doi:<a href=\"https://doi.org/10.1007/11494881_5\">10.1007/11494881_5</a>."},"publication":"Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings","date_created":"2018-06-14T06:41:20Z","department":[{"_id":"77"}],"type":"conference","author":[{"full_name":"Rasch, Holger","last_name":"Rasch","first_name":"Holger"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"status":"public","title":"Checking the Validity of Scenarios in {UML} Models","year":"2005","date_updated":"2022-01-06T06:59:06Z","_id":"3229","series_title":"Lecture Notes in Computer Science","page":"67--82","editor":[{"last_name":"Steffen","first_name":"Martin","full_name":"Steffen, Martin"},{"last_name":"Zavattaro","first_name":"Gianluigi","full_name":"Zavattaro, Gianluigi"}],"doi":"10.1007/11494881_5","user_id":"29719"},{"_id":"3230","series_title":"Lecture Notes in Computer Science","page":"360--374","editor":[{"full_name":"Lau, Kung{-}Kiu","first_name":"Kung{-}Kiu","last_name":"Lau"},{"last_name":"Banach","first_name":"Richard","full_name":"Banach, Richard"}],"doi":"10.1007/11576280_25","user_id":"29719","author":[{"full_name":"Brückner, Ingo","last_name":"Brückner","first_name":"Ingo"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"year":"2005","status":"public","title":"Slicing an Integrated Formal Method for Verification","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:42:51Z","department":[{"_id":"77"}],"type":"conference","citation":{"ama":"Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification. In: Lau K-}Kiu, Banach R, eds. <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>. Lecture Notes in Computer Science. ; 2005:360--374. doi:<a href=\"https://doi.org/10.1007/11576280_25\">10.1007/11576280_25</a>","bibtex":"@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={<a href=\"https://doi.org/10.1007/11576280_25\">10.1007/11576280_25</a>}, booktitle={Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors}, year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science} }","mla":"Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374, doi:<a href=\"https://doi.org/10.1007/11576280_25\">10.1007/11576280_25</a>.","chicago":"Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” In <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>, edited by Kung{-}Kiu Lau and Richard Banach, 360--374. Lecture Notes in Computer Science, 2005. <a href=\"https://doi.org/10.1007/11576280_25\">https://doi.org/10.1007/11576280_25</a>.","short":"I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.","apa":"Brückner, I., &#38; Wehrheim, H. (2005). Slicing an Integrated Formal Method for Verification. In K.-}Kiu Lau &#38; R. Banach (Eds.), <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i> (pp. 360--374). <a href=\"https://doi.org/10.1007/11576280_25\">https://doi.org/10.1007/11576280_25</a>","ieee":"I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,” in <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>, 2005, pp. 360--374."},"publication":"Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings"},{"user_id":"29719","doi":"10.1007/11415787_3","editor":[{"first_name":"Helen","last_name":"Treharne","full_name":"Treharne, Helen"},{"full_name":"King, Steve","last_name":"King","first_name":"Steve"},{"last_name":"C. Henson","first_name":"Martin","full_name":"C. Henson, Martin"},{"last_name":"A. Schneider","first_name":"Steve","full_name":"A. Schneider, Steve"}],"page":"24--44","_id":"3231","series_title":"Lecture Notes in Computer Science","date_updated":"2022-01-06T06:59:06Z","title":"Non-atomic Refinement in {Z} and {CSP}","status":"public","year":"2005","author":[{"last_name":"Derrick","first_name":"John","full_name":"Derrick, John"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-14T06:44:17Z","publication":"{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings","citation":{"apa":"Derrick, J., &#38; Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}. In H. Treharne, S. King, M. C. Henson, &#38; S. A. Schneider (Eds.), <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i> (pp. 24--44). <a href=\"https://doi.org/10.1007/11415787_3\">https://doi.org/10.1007/11415787_3</a>","ieee":"J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>, 2005, pp. 24--44.","chicago":"Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.” In <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 24--44. Lecture Notes in Computer Science, 2005. <a href=\"https://doi.org/10.1007/11415787_3\">https://doi.org/10.1007/11415787_3</a>.","short":"J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.","mla":"Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.” <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>, edited by Helen Treharne et al., 2005, pp. 24--44, doi:<a href=\"https://doi.org/10.1007/11415787_3\">10.1007/11415787_3</a>.","ama":"Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne H, King S, C. Henson M, A. Schneider S, eds. <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>. Lecture Notes in Computer Science. ; 2005:24--44. doi:<a href=\"https://doi.org/10.1007/11415787_3\">10.1007/11415787_3</a>","bibtex":"@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={<a href=\"https://doi.org/10.1007/11415787_3\">10.1007/11415787_3</a>}, booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44}, collection={Lecture Notes in Computer Science} }"}}]