[{"edition":"2","year":"2003","place":"Kassel","citation":{"short":"R. Grotjahn, in: L. Finscher (Ed.), Die Musik in Geschichte und Gegenwart. Bd. 9, 2nd ed., Bärenreiter/Metzler, Kassel, 2003.","bibtex":"@inbook{Grotjahn_2003, place={Kassel}, edition={2}, title={Kappel, Gertrude}, booktitle={Die Musik in Geschichte und Gegenwart. Bd. 9}, publisher={Bärenreiter/Metzler}, author={Grotjahn, Rebecca}, editor={Finscher, Ludwig}, year={2003} }","mla":"Grotjahn, Rebecca. “Kappel, Gertrude.” <i>Die Musik in Geschichte und Gegenwart. Bd. 9</i>, edited by Ludwig Finscher, 2nd ed., Bärenreiter/Metzler, 2003.","apa":"Grotjahn, R. (2003). Kappel, Gertrude. In L. Finscher (Ed.), <i>Die Musik in Geschichte und Gegenwart. Bd. 9</i> (2nd ed.). Bärenreiter/Metzler.","chicago":"Grotjahn, Rebecca. “Kappel, Gertrude.” In <i>Die Musik in Geschichte und Gegenwart. Bd. 9</i>, edited by Ludwig Finscher, 2nd ed. Kassel: Bärenreiter/Metzler, 2003.","ieee":"R. Grotjahn, “Kappel, Gertrude,” in <i>Die Musik in Geschichte und Gegenwart. Bd. 9</i>, 2nd ed., L. Finscher, Ed. Kassel: Bärenreiter/Metzler, 2003.","ama":"Grotjahn R. Kappel, Gertrude. In: Finscher L, ed. <i>Die Musik in Geschichte und Gegenwart. Bd. 9</i>. 2nd ed. Bärenreiter/Metzler; 2003."},"date_updated":"2023-01-19T11:33:57Z","publisher":"Bärenreiter/Metzler","date_created":"2023-01-19T11:33:43Z","author":[{"first_name":"Rebecca","last_name":"Grotjahn","full_name":"Grotjahn, Rebecca","id":"193"}],"title":"Kappel, Gertrude","main_file_link":[{"url":"https://www.mgg-online.com/mgg/stable/16714"}],"publication":"Die Musik in Geschichte und Gegenwart. Bd. 9","type":"encyclopedia_article","editor":[{"first_name":"Ludwig","last_name":"Finscher","full_name":"Finscher, Ludwig"}],"status":"public","_id":"37578","department":[{"_id":"535"}],"user_id":"73564","language":[{"iso":"ger"}]},{"date_updated":"2023-01-19T12:17:58Z","oa":"1","publisher":"Campus","author":[{"full_name":"Weber, Jutta","id":"31494","last_name":"Weber","first_name":"Jutta"}],"date_created":"2023-01-19T12:13:11Z","title":"Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. : Campus 2003","main_file_link":[{"url":"https://juttaweber.eu/wordpress/wp-content/uploads/2014/07/Weber_Umk%c3%a4mpfte-Bedeutungen_komplett_Campus2013.pdf","open_access":"1"}],"year":"2003","place":"Frankfurt a.M. / New York","citation":{"ieee":"J. Weber, <i>Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. : Campus 2003</i>. Frankfurt a.M. / New York: Campus, 2003.","chicago":"Weber, Jutta. <i>Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. : Campus 2003</i>. Frankfurt a.M. / New York: Campus, 2003.","ama":"Weber J. <i>Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. : Campus 2003</i>. Campus; 2003.","bibtex":"@book{Weber_2003, place={Frankfurt a.M. / New York}, title={Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. : Campus 2003}, publisher={Campus}, author={Weber, Jutta}, year={2003} }","mla":"Weber, Jutta. <i>Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. : Campus 2003</i>. Campus, 2003.","short":"J. Weber, Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. : Campus 2003, Campus, Frankfurt a.M. / New York, 2003.","apa":"Weber, J. (2003). <i>Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. : Campus 2003</i>. Campus."},"_id":"37590","user_id":"14932","department":[{"_id":"411"}],"extern":"1","language":[{"iso":"ger"}],"type":"dissertation","status":"public"},{"citation":{"short":"J. Weber, C. Bath, eds., Turbulente Körper und soziale Maschinen. Feministische Studien zur Technowissenschaftskultur, Leske &#38; Budrich, Opladen, 2003.","mla":"Weber, Jutta, and Corinna Bath, editors. <i>Turbulente Körper und soziale Maschinen. Feministische Studien zur Technowissenschaftskultur</i>. Leske &#38; Budrich, 2003.","bibtex":"@book{Weber_Bath_2003, place={Opladen}, title={Turbulente Körper und soziale Maschinen. Feministische Studien zur Technowissenschaftskultur}, publisher={Leske &#38; Budrich}, year={2003} }","apa":"Weber, J., &#38; Bath, C. (Eds.). (2003). <i>Turbulente Körper und soziale Maschinen. Feministische Studien zur Technowissenschaftskultur</i>. Leske &#38; Budrich.","ama":"Weber J, Bath C, eds. <i>Turbulente Körper und soziale Maschinen. Feministische Studien zur Technowissenschaftskultur</i>. Leske &#38; Budrich; 2003.","chicago":"Weber, Jutta, and Corinna Bath, eds. <i>Turbulente Körper und soziale Maschinen. Feministische Studien zur Technowissenschaftskultur</i>. Opladen: Leske &#38; Budrich, 2003.","ieee":"J. Weber and C. Bath, Eds., <i>Turbulente Körper und soziale Maschinen. Feministische Studien zur Technowissenschaftskultur</i>. Opladen: Leske &#38; Budrich, 2003."},"year":"2003","place":"Opladen","main_file_link":[{"open_access":"1","url":"https://juttaweber.eu/wordpress/wp-content/uploads/2021/03/Weber_Bath_Ed_TurbulenteKrper.pdf"}],"title":"Turbulente Körper und soziale Maschinen. Feministische Studien zur Technowissenschaftskultur","date_created":"2023-01-19T12:39:38Z","oa":"1","date_updated":"2023-01-19T12:39:55Z","publisher":"Leske & Budrich","status":"public","editor":[{"last_name":"Weber","id":"31494","full_name":"Weber, Jutta","first_name":"Jutta"},{"first_name":"Corinna","last_name":"Bath","full_name":"Bath, Corinna"}],"type":"book_editor","language":[{"iso":"ger"}],"extern":"1","user_id":"14932","department":[{"_id":"411"}],"_id":"37603"},{"year":"2003","place":"Bremen","citation":{"ama":"Weber J, Sick A, Bergermann U, et al., eds. <i>Eingreifen. Viren, Modelle, Tricks</i>. Thealit; 2003.","ieee":"J. Weber <i>et al.</i>, Eds., <i>Eingreifen. Viren, Modelle, Tricks</i>. Bremen: Thealit, 2003.","chicago":"Weber, Jutta, Andrea Sick, Ulrike Bergermann, Elke Bippus, Helene von Oldenburg, Claudia Reiche, and Marion Herz, eds. <i>Eingreifen. Viren, Modelle, Tricks</i>. Bremen: Thealit, 2003.","apa":"Weber, J., Sick, A., Bergermann, U., Bippus, E., von Oldenburg, H., Reiche, C., &#38; Herz, M. (Eds.). (2003). <i>Eingreifen. Viren, Modelle, Tricks</i>. Thealit.","bibtex":"@book{Weber_Sick_Bergermann_Bippus_von Oldenburg_Reiche_Herz_2003, place={Bremen}, title={Eingreifen. Viren, Modelle, Tricks}, publisher={Thealit}, year={2003} }","short":"J. Weber, A. Sick, U. Bergermann, E. Bippus, H. von Oldenburg, C. Reiche, M. Herz, eds., Eingreifen. Viren, Modelle, Tricks, Thealit, Bremen, 2003.","mla":"Weber, Jutta, et al., editors. <i>Eingreifen. Viren, Modelle, Tricks</i>. Thealit, 2003."},"date_updated":"2023-01-19T12:51:44Z","publisher":"Thealit","date_created":"2023-01-19T12:51:30Z","title":"Eingreifen. Viren, Modelle, Tricks","type":"book_editor","editor":[{"id":"31494","full_name":"Weber, Jutta","last_name":"Weber","first_name":"Jutta"},{"first_name":"Andrea","full_name":"Sick, Andrea","last_name":"Sick"},{"first_name":"Ulrike","full_name":"Bergermann, Ulrike","last_name":"Bergermann"},{"first_name":"Elke","last_name":"Bippus","full_name":"Bippus, Elke"},{"first_name":"Helene","full_name":"von Oldenburg, Helene","last_name":"von Oldenburg"},{"full_name":"Reiche, Claudia","last_name":"Reiche","first_name":"Claudia"},{"full_name":"Herz, Marion","last_name":"Herz","first_name":"Marion"}],"status":"public","_id":"37604","department":[{"_id":"411"}],"user_id":"14932","language":[{"iso":"ger"}],"extern":"1"},{"publication_status":"published","publication_identifier":{"issn":["0008-6223"]},"year":"2003","citation":{"chicago":"Arcos de Pedro, Maria Teresa de los, M Gunnar Garnier, Peter Oelhafen, Daniel Mathys, Jin Won Seo, Concepción Domingo, José Vicente Garcı́a-Ramos, and Santiago Sánchez-Cortés. “Strong Influence of Buffer Layer Type on Carbon Nanotube Characteristics.” <i>Carbon</i>, 2003, 187–90. <a href=\"https://doi.org/10.1016/j.carbon.2003.10.020\">https://doi.org/10.1016/j.carbon.2003.10.020</a>.","ieee":"M. T. de los Arcos de Pedro <i>et al.</i>, “Strong influence of buffer layer type on carbon nanotube characteristics,” <i>Carbon</i>, pp. 187–190, 2003, doi: <a href=\"https://doi.org/10.1016/j.carbon.2003.10.020\">10.1016/j.carbon.2003.10.020</a>.","ama":"de los Arcos de Pedro MT, Gunnar Garnier M, Oelhafen P, et al. Strong influence of buffer layer type on carbon nanotube characteristics. <i>Carbon</i>. Published online 2003:187-190. doi:<a href=\"https://doi.org/10.1016/j.carbon.2003.10.020\">10.1016/j.carbon.2003.10.020</a>","short":"M.T. de los Arcos de Pedro, M. Gunnar Garnier, P. Oelhafen, D. Mathys, J. Won Seo, C. Domingo, J. Vicente Garcı́a-Ramos, S. Sánchez-Cortés, Carbon (2003) 187–190.","mla":"de los Arcos de Pedro, Maria Teresa, et al. “Strong Influence of Buffer Layer Type on Carbon Nanotube Characteristics.” <i>Carbon</i>, 2003, pp. 187–90, doi:<a href=\"https://doi.org/10.1016/j.carbon.2003.10.020\">10.1016/j.carbon.2003.10.020</a>.","bibtex":"@article{de los Arcos de Pedro_Gunnar Garnier_Oelhafen_Mathys_Won Seo_Domingo_Vicente Garcı́a-Ramos_Sánchez-Cortés_2003, title={Strong influence of buffer layer type on carbon nanotube characteristics}, DOI={<a href=\"https://doi.org/10.1016/j.carbon.2003.10.020\">10.1016/j.carbon.2003.10.020</a>}, journal={Carbon}, author={de los Arcos de Pedro, Maria Teresa and Gunnar Garnier, M and Oelhafen, Peter and Mathys, Daniel and Won Seo, Jin and Domingo, Concepción and Vicente Garcı́a-Ramos, José and Sánchez-Cortés, Santiago}, year={2003}, pages={187–190} }","apa":"de los Arcos de Pedro, M. T., Gunnar Garnier, M., Oelhafen, P., Mathys, D., Won Seo, J., Domingo, C., Vicente Garcı́a-Ramos, J., &#38; Sánchez-Cortés, S. (2003). Strong influence of buffer layer type on carbon nanotube characteristics. <i>Carbon</i>, 187–190. <a href=\"https://doi.org/10.1016/j.carbon.2003.10.020\">https://doi.org/10.1016/j.carbon.2003.10.020</a>"},"page":"187-190","date_updated":"2023-01-24T08:29:35Z","date_created":"2021-07-07T11:40:00Z","author":[{"last_name":"de los Arcos de Pedro","full_name":"de los Arcos de Pedro, Maria Teresa","id":"54556","first_name":"Maria Teresa"},{"first_name":"M","last_name":"Gunnar Garnier","full_name":"Gunnar Garnier, M"},{"first_name":"Peter","full_name":"Oelhafen, Peter","last_name":"Oelhafen"},{"full_name":"Mathys, Daniel","last_name":"Mathys","first_name":"Daniel"},{"last_name":"Won Seo","full_name":"Won Seo, Jin","first_name":"Jin"},{"first_name":"Concepción","full_name":"Domingo, Concepción","last_name":"Domingo"},{"first_name":"José","full_name":"Vicente Garcı́a-Ramos, José","last_name":"Vicente Garcı́a-Ramos"},{"last_name":"Sánchez-Cortés","full_name":"Sánchez-Cortés, Santiago","first_name":"Santiago"}],"title":"Strong influence of buffer layer type on carbon nanotube characteristics","doi":"10.1016/j.carbon.2003.10.020","type":"journal_article","publication":"Carbon","status":"public","_id":"22614","user_id":"54556","department":[{"_id":"302"}],"language":[{"iso":"eng"}],"extern":"1"},{"date_created":"2021-07-07T11:41:10Z","author":[{"first_name":"M.G.","full_name":"Garnier, M.G.","last_name":"Garnier"},{"first_name":"Maria Teresa","full_name":"de los Arcos de Pedro, Maria Teresa","id":"54556","last_name":"de los Arcos de Pedro"},{"first_name":"J.","last_name":"Boudaden","full_name":"Boudaden, J."},{"last_name":"Oelhafen","full_name":"Oelhafen, P.","first_name":"P."}],"date_updated":"2023-01-24T08:30:05Z","doi":"10.1016/s0039-6028(03)00581-8","title":"Photoemission study of the iron-induced chemical reduction of silicon native oxide","publication_status":"published","publication_identifier":{"issn":["0039-6028"]},"citation":{"ieee":"M. G. Garnier, M. T. de los Arcos de Pedro, J. Boudaden, and P. Oelhafen, “Photoemission study of the iron-induced chemical reduction of silicon native oxide,” <i>Surface Science</i>, pp. 130–138, 2003, doi: <a href=\"https://doi.org/10.1016/s0039-6028(03)00581-8\">10.1016/s0039-6028(03)00581-8</a>.","chicago":"Garnier, M.G., Maria Teresa de los Arcos de Pedro, J. Boudaden, and P. Oelhafen. “Photoemission Study of the Iron-Induced Chemical Reduction of Silicon Native Oxide.” <i>Surface Science</i>, 2003, 130–38. <a href=\"https://doi.org/10.1016/s0039-6028(03)00581-8\">https://doi.org/10.1016/s0039-6028(03)00581-8</a>.","ama":"Garnier MG, de los Arcos de Pedro MT, Boudaden J, Oelhafen P. Photoemission study of the iron-induced chemical reduction of silicon native oxide. <i>Surface Science</i>. Published online 2003:130-138. doi:<a href=\"https://doi.org/10.1016/s0039-6028(03)00581-8\">10.1016/s0039-6028(03)00581-8</a>","apa":"Garnier, M. G., de los Arcos de Pedro, M. T., Boudaden, J., &#38; Oelhafen, P. (2003). Photoemission study of the iron-induced chemical reduction of silicon native oxide. <i>Surface Science</i>, 130–138. <a href=\"https://doi.org/10.1016/s0039-6028(03)00581-8\">https://doi.org/10.1016/s0039-6028(03)00581-8</a>","bibtex":"@article{Garnier_de los Arcos de Pedro_Boudaden_Oelhafen_2003, title={Photoemission study of the iron-induced chemical reduction of silicon native oxide}, DOI={<a href=\"https://doi.org/10.1016/s0039-6028(03)00581-8\">10.1016/s0039-6028(03)00581-8</a>}, journal={Surface Science}, author={Garnier, M.G. and de los Arcos de Pedro, Maria Teresa and Boudaden, J. and Oelhafen, P.}, year={2003}, pages={130–138} }","mla":"Garnier, M. G., et al. “Photoemission Study of the Iron-Induced Chemical Reduction of Silicon Native Oxide.” <i>Surface Science</i>, 2003, pp. 130–38, doi:<a href=\"https://doi.org/10.1016/s0039-6028(03)00581-8\">10.1016/s0039-6028(03)00581-8</a>.","short":"M.G. Garnier, M.T. de los Arcos de Pedro, J. Boudaden, P. Oelhafen, Surface Science (2003) 130–138."},"page":"130-138","year":"2003","user_id":"54556","department":[{"_id":"302"}],"_id":"22618","language":[{"iso":"eng"}],"extern":"1","type":"journal_article","publication":"Surface Science","status":"public"},{"user_id":"54556","department":[{"_id":"302"}],"_id":"22617","language":[{"iso":"eng"}],"extern":"1","type":"journal_article","publication":"Chemical Physics Letters","status":"public","date_created":"2021-07-07T11:40:58Z","author":[{"first_name":"Maria Teresa","full_name":"de los Arcos de Pedro, Maria Teresa","id":"54556","last_name":"de los Arcos de Pedro"},{"first_name":"Z.M.","last_name":"Wu","full_name":"Wu, Z.M."},{"first_name":"P.","last_name":"Oelhafen","full_name":"Oelhafen, P."}],"date_updated":"2023-01-24T08:29:49Z","doi":"10.1016/j.cplett.2003.09.057","title":"Is aluminum a suitable buffer layer for carbon nanotube growth?","publication_status":"published","publication_identifier":{"issn":["0009-2614"]},"citation":{"bibtex":"@article{de los Arcos de Pedro_Wu_Oelhafen_2003, title={Is aluminum a suitable buffer layer for carbon nanotube growth?}, DOI={<a href=\"https://doi.org/10.1016/j.cplett.2003.09.057\">10.1016/j.cplett.2003.09.057</a>}, journal={Chemical Physics Letters}, author={de los Arcos de Pedro, Maria Teresa and Wu, Z.M. and Oelhafen, P.}, year={2003}, pages={419–423} }","mla":"de los Arcos de Pedro, Maria Teresa, et al. “Is Aluminum a Suitable Buffer Layer for Carbon Nanotube Growth?” <i>Chemical Physics Letters</i>, 2003, pp. 419–23, doi:<a href=\"https://doi.org/10.1016/j.cplett.2003.09.057\">10.1016/j.cplett.2003.09.057</a>.","short":"M.T. de los Arcos de Pedro, Z.M. Wu, P. Oelhafen, Chemical Physics Letters (2003) 419–423.","apa":"de los Arcos de Pedro, M. T., Wu, Z. M., &#38; Oelhafen, P. (2003). Is aluminum a suitable buffer layer for carbon nanotube growth? <i>Chemical Physics Letters</i>, 419–423. <a href=\"https://doi.org/10.1016/j.cplett.2003.09.057\">https://doi.org/10.1016/j.cplett.2003.09.057</a>","ama":"de los Arcos de Pedro MT, Wu ZM, Oelhafen P. Is aluminum a suitable buffer layer for carbon nanotube growth? <i>Chemical Physics Letters</i>. Published online 2003:419-423. doi:<a href=\"https://doi.org/10.1016/j.cplett.2003.09.057\">10.1016/j.cplett.2003.09.057</a>","chicago":"Arcos de Pedro, Maria Teresa de los, Z.M. Wu, and P. Oelhafen. “Is Aluminum a Suitable Buffer Layer for Carbon Nanotube Growth?” <i>Chemical Physics Letters</i>, 2003, 419–23. <a href=\"https://doi.org/10.1016/j.cplett.2003.09.057\">https://doi.org/10.1016/j.cplett.2003.09.057</a>.","ieee":"M. T. de los Arcos de Pedro, Z. M. Wu, and P. Oelhafen, “Is aluminum a suitable buffer layer for carbon nanotube growth?,” <i>Chemical Physics Letters</i>, pp. 419–423, 2003, doi: <a href=\"https://doi.org/10.1016/j.cplett.2003.09.057\">10.1016/j.cplett.2003.09.057</a>."},"page":"419-423","year":"2003"},{"publication_status":"published","year":"2003","citation":{"ama":"Sanz MM, Domingo CM, de los Arcos de Pedro MT, Tanarro I, Herrero VJ. Time-resolved FTIR absorption and emission spectroscopy of plasmas produced in low-frequency-modulated N 2 O hollow cathode discharges. In: Sinitsa LN, ed. <i>13th Symposium and School on High-Resolution Molecular Spectroscopy</i>. ; 2003. doi:<a href=\"https://doi.org/10.1117/12.375373\">10.1117/12.375373</a>","chicago":"Sanz, M. M., Concepcion M. Domingo, Maria Teresa de los Arcos de Pedro, Isabel Tanarro, and Victor J. Herrero. “Time-Resolved FTIR Absorption and Emission Spectroscopy of Plasmas Produced in Low-Frequency-Modulated N 2 O Hollow Cathode Discharges.” In <i>13th Symposium and School on High-Resolution Molecular Spectroscopy</i>, edited by Leonid N. Sinitsa, 2003. <a href=\"https://doi.org/10.1117/12.375373\">https://doi.org/10.1117/12.375373</a>.","ieee":"M. M. Sanz, C. M. Domingo, M. T. de los Arcos de Pedro, I. Tanarro, and V. J. Herrero, “Time-resolved FTIR absorption and emission spectroscopy of plasmas produced in low-frequency-modulated N 2 O hollow cathode discharges,” in <i>13th Symposium and School on High-Resolution Molecular Spectroscopy</i>, 2003, doi: <a href=\"https://doi.org/10.1117/12.375373\">10.1117/12.375373</a>.","short":"M.M. Sanz, C.M. Domingo, M.T. de los Arcos de Pedro, I. Tanarro, V.J. Herrero, in: L.N. Sinitsa (Ed.), 13th Symposium and School on High-Resolution Molecular Spectroscopy, 2003.","mla":"Sanz, M. M., et al. “Time-Resolved FTIR Absorption and Emission Spectroscopy of Plasmas Produced in Low-Frequency-Modulated N 2 O Hollow Cathode Discharges.” <i>13th Symposium and School on High-Resolution Molecular Spectroscopy</i>, edited by Leonid N. Sinitsa, 2003, doi:<a href=\"https://doi.org/10.1117/12.375373\">10.1117/12.375373</a>.","bibtex":"@inproceedings{Sanz_Domingo_de los Arcos de Pedro_Tanarro_Herrero_2003, title={Time-resolved FTIR absorption and emission spectroscopy of plasmas produced in low-frequency-modulated N 2 O hollow cathode discharges}, DOI={<a href=\"https://doi.org/10.1117/12.375373\">10.1117/12.375373</a>}, booktitle={13th Symposium and School on High-Resolution Molecular Spectroscopy}, author={Sanz, M. M. and Domingo, Concepcion M. and de los Arcos de Pedro, Maria Teresa and Tanarro, Isabel and Herrero, Victor J.}, editor={Sinitsa, Leonid N.}, year={2003} }","apa":"Sanz, M. M., Domingo, C. M., de los Arcos de Pedro, M. T., Tanarro, I., &#38; Herrero, V. J. (2003). Time-resolved FTIR absorption and emission spectroscopy of plasmas produced in low-frequency-modulated N 2 O hollow cathode discharges. In L. N. Sinitsa (Ed.), <i>13th Symposium and School on High-Resolution Molecular Spectroscopy</i>. <a href=\"https://doi.org/10.1117/12.375373\">https://doi.org/10.1117/12.375373</a>"},"date_updated":"2023-01-24T08:30:20Z","author":[{"last_name":"Sanz","full_name":"Sanz, M. M.","first_name":"M. M."},{"full_name":"Domingo, Concepcion M.","last_name":"Domingo","first_name":"Concepcion M."},{"last_name":"de los Arcos de Pedro","id":"54556","full_name":"de los Arcos de Pedro, Maria Teresa","first_name":"Maria Teresa"},{"full_name":"Tanarro, Isabel","last_name":"Tanarro","first_name":"Isabel"},{"first_name":"Victor J.","full_name":"Herrero, Victor J.","last_name":"Herrero"}],"date_created":"2021-07-07T11:49:59Z","title":"Time-resolved FTIR absorption and emission spectroscopy of plasmas produced in low-frequency-modulated N 2 O hollow cathode discharges","doi":"10.1117/12.375373","publication":"13th Symposium and School on High-Resolution Molecular Spectroscopy","type":"conference","editor":[{"full_name":"Sinitsa, Leonid N.","last_name":"Sinitsa","first_name":"Leonid N."}],"status":"public","_id":"22625","department":[{"_id":"302"}],"user_id":"54556","extern":"1","language":[{"iso":"eng"}]},{"citation":{"chicago":"Kostienko, Tomasz, Wolfgang Müller, Adam Pawlak, and Tim Schattkowsky. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” In <i>Proceedings of CE 2003</i>. Madeira, Portugal, 2003.","ieee":"T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation,” 2003.","ama":"Kostienko T, Müller W, Pawlak A, Schattkowsky T. An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. In: <i>Proceedings of CE 2003</i>. ; 2003.","mla":"Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” <i>Proceedings of CE 2003</i>, 2003.","short":"T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003.","bibtex":"@inproceedings{Kostienko_Müller_Pawlak_Schattkowsky_2003, place={Madeira, Portugal}, title={An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation}, booktitle={Proceedings of CE 2003}, author={Kostienko, Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}, year={2003} }","apa":"Kostienko, T., Müller, W., Pawlak, A., &#38; Schattkowsky, T. (2003). An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. <i>Proceedings of CE 2003</i>."},"place":"Madeira, Portugal","year":"2003","date_created":"2023-01-24T09:35:07Z","author":[{"last_name":"Kostienko","full_name":"Kostienko, Tomasz","first_name":"Tomasz"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"full_name":"Pawlak, Adam","last_name":"Pawlak","first_name":"Adam"},{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"}],"date_updated":"2023-01-24T09:35:11Z","title":"An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation","publication":"Proceedings of CE 2003","type":"conference","status":"public","abstract":[{"text":"Engineering collaboration gets its new global dimension with the omnipotent access to Internet. Engineers have severe requirements concerning: security of design data, quality of net connections, easiness of collaboration, etc. This article presents visions and middleware architecture to establish pan-European col- laborative engineering infrastructure and its application in the field of Electronic Design Automation (EDA). We present a transparent infrastructure to engineers to enable their Internet-based collaboration during the de- sign of complex electronic systems. In thi s context, we introduce an advanced collaborative infrastructure (ACI) for distance spanning, tool integration, and administration as well as open interfaces for XML-based data exchange. ACI constitutes a backbone for our collaborative research and engineering studies by fostering a combination of most recent plug-and-play technologies and secure, peer-to-peer data transfer with XML- based tool integration. ACI and its deployments have been developed with the EU project E-Colleg (IST- 1999-11746).","lang":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39357","language":[{"iso":"eng"}]},{"date_created":"2023-01-24T09:33:08Z","author":[{"full_name":"Loeser, Chris","last_name":"Loeser","first_name":"Chris"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Franz","last_name":"Berger","full_name":"Berger, Franz"},{"first_name":"Heinz-Josef","full_name":"Eikerling, Heinz-Josef","last_name":"Eikerling"}],"date_updated":"2023-01-24T09:33:14Z","title":"Peer-to-Peer for Virtual Home Environments","citation":{"apa":"Loeser, C., Müller, W., Berger, F., &#38; Eikerling, H.-J. (2003). Peer-to-Peer for Virtual Home Environments. <i>Proceedings of HICCS-36</i>.","bibtex":"@inproceedings{Loeser_Müller_Berger_Eikerling_2003, place={Hawaii, USA}, title={Peer-to-Peer for Virtual Home Environments}, booktitle={Proceedings of HICCS-36}, author={Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling, Heinz-Josef}, year={2003} }","short":"C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.","mla":"Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” <i>Proceedings of HICCS-36</i>, 2003.","chicago":"Loeser, Chris, Wolfgang Müller, Franz Berger, and Heinz-Josef Eikerling. “Peer-to-Peer for Virtual Home Environments.” In <i>Proceedings of HICCS-36</i>. Hawaii, USA, 2003.","ieee":"C. Loeser, W. Müller, F. Berger, and H.-J. Eikerling, “Peer-to-Peer for Virtual Home Environments,” 2003.","ama":"Loeser C, Müller W, Berger F, Eikerling H-J. Peer-to-Peer for Virtual Home Environments. In: <i>Proceedings of HICCS-36</i>. ; 2003."},"year":"2003","place":"Hawaii, USA","department":[{"_id":"672"}],"user_id":"5786","_id":"39355","language":[{"iso":"eng"}],"publication":"Proceedings of HICCS-36","type":"conference","status":"public","abstract":[{"lang":"eng","text":"This pap er presents an approach to extend OSGi\r\nserver based home networks with JXTA's p eer-to-\r\np eer (P2P) technology to a multi-server home envi-\r\nronment connecting multiple private home networks\r\nto one true virtual environment for communication,\r\nmedia sharing/exchange, and distributed device con-\r\ntrol. We elab orate on the basic integration metho d-\r\nology and extend it to a general, security preserv-\r\ning, architectural concept based on a two level inte-\r\ngration concept for inhome and interhome networks.\r\nThe integration is achieved through additional OSGi\r\nservices for the management of virtual devices, p eer-\r\nto-p eer communication, and authentication. The ex-\r\nample of a Quality of Service based video streaming\r\nmanagement demonstrates one of the p otential ad-\r\nvanced application for which p eer-to-p eer can b e used\r\nin addition."}]},{"title":"Tool Integration and Management in Heterogeneous Computer Networks","author":[{"first_name":"Heinz-Josef","full_name":"Eikerling, Heinz-Josef","last_name":"Eikerling"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Tim","full_name":"Schattkowski, Tim","last_name":"Schattkowski"},{"first_name":"J.","last_name":"Wegner","full_name":"Wegner, J."}],"date_created":"2023-01-24T09:31:07Z","date_updated":"2023-01-24T09:31:12Z","citation":{"apa":"Eikerling, H.-J., Müller, W., Schattkowski, T., &#38; Wegner, J. (2003). Tool Integration and Management in Heterogeneous Computer Networks. <i>Proceedings of DATE’03</i>.","mla":"Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous Computer Networks.” <i>Proceedings of DATE’03</i>, 2003.","bibtex":"@inproceedings{Eikerling_Müller_Schattkowski_Wegner_2003, place={Munich, Germany}, title={Tool Integration and Management in Heterogeneous Computer Networks}, booktitle={Proceedings of DATE’03}, author={Eikerling, Heinz-Josef and Müller, Wolfgang and Schattkowski, Tim and Wegner, J.}, year={2003} }","short":"H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003.","ama":"Eikerling H-J, Müller W, Schattkowski T, Wegner J. Tool Integration and Management in Heterogeneous Computer Networks. In: <i>Proceedings of DATE’03</i>. ; 2003.","ieee":"H.-J. Eikerling, W. Müller, T. Schattkowski, and J. Wegner, “Tool Integration and Management in Heterogeneous Computer Networks,” 2003.","chicago":"Eikerling, Heinz-Josef, Wolfgang Müller, Tim Schattkowski, and J. Wegner. “Tool Integration and Management in Heterogeneous Computer Networks.” In <i>Proceedings of DATE’03</i>. Munich, Germany, 2003."},"place":"Munich, Germany","year":"2003","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39354","status":"public","publication":"Proceedings of DATE’03","type":"conference"},{"date_updated":"2023-01-24T09:47:54Z","date_created":"2023-01-24T09:47:49Z","author":[{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"title":"Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks","place":"Acapulco, Mexico","year":"2003","citation":{"mla":"Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>, 2003.","bibtex":"@inproceedings{Schäfer_Müller_2003, place={Acapulco, Mexico}, title={Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks}, booktitle={Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2003} }","short":"R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 2003.","apa":"Schäfer, R., &#38; Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>.","ieee":"R. Schäfer and W. Müller, “Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks,” 2003.","chicago":"Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” In <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>. Acapulco, Mexico, 2003.","ama":"Schäfer R, Müller W. Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. In: <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>. ; 2003."},"_id":"39365","user_id":"5786","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing","abstract":[{"lang":"eng","text":"Large-scale mobility in the era of embedded and mobile computers yields significant challenges with respect to personalization, networking, and security. Currently, mobile computing devices cannot be seamlessly and flexibly obtain information about the context in which computing takes place. This requires dedicated personalization and localization in combination with advanced autocustomization techniques in order to adapt them to the needs of the current context. For natural interaction, for instance, many devices offer different input and output modalities, which enable different modes of operation to perform the same task. Auto-customization of modalities and devices in range can be obtained, if the system has sufficient information on the user’s preferences, abilities, the current situation, and the device that performs a specific task. To aid the system’s decision, we propose a set of interrelated and expandable profiles, which are prepared for automated adaptation, what will play a central part in making the technology to become invisible."}],"status":"public"},{"_id":"39364","user_id":"5786","department":[{"_id":"672"}],"keyword":["UML","Object Constraint Language","Patterns","Property Specification"],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of SERP'03","abstract":[{"text":"The textual Object Constraint Language (OCL) is an of-\r\nficial part of the Unified Modeling Language (UML). OCL\r\nis primarily used to formulate restrictions over UML mod-\r\nels, in particular, invariants and operation pre- and post-\r\nconditions in the context of class diagrams. However, OCL\r\nis missing means to specify constraints over the dynamic\r\nbehavior of a UML model. We have therefore developed a\r\ntemporal extension of OCL that enables modelers to specify\r\nbehavioral state-oriented constraints. That work provides\r\nan alternative to the rather cryptic temporal logic formulae\r\nthat are commonly used to specify behavioral system prop-\r\nerties.\r\nThis article now illustrates that our OCL extension al-\r\nlows for specifying all kinds of properties that are regarded\r\nas relevant in practice. We present according temporal OCL\r\nexpressions for property specification patterns that have\r\nbeen identified in the area of formal specification.","lang":"eng"}],"status":"public","date_updated":"2023-01-24T09:45:54Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_created":"2023-01-24T09:45:49Z","title":"Expressing Property Specification Patterns with OCL","place":"Las Vegas, NV","year":"2003","citation":{"ama":"Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: <i>Proceedings of SERP’03</i>. ; 2003.","ieee":"S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.","chicago":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” In <i>Proceedings of SERP’03</i>. Las Vegas, NV, 2003.","mla":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” <i>Proceedings of SERP’03</i>, 2003.","bibtex":"@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","short":"S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Expressing Property Specification Patterns with OCL. <i>Proceedings of SERP’03</i>."}},{"date_created":"2023-01-24T09:49:18Z","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_updated":"2023-01-24T09:49:23Z","title":"Distributed Engineering Environment for the Design of Electronic Systems","citation":{"ama":"Schattkowsky T, Müller W. Distributed Engineering Environment for the Design of Electronic Systems. In: <i>Proceedings of CCE’03</i>. ; 2003.","ieee":"T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” 2003.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” In <i>Proceedings of CCE’03</i>. Poznan Poland, 2003.","bibtex":"@inproceedings{Schattkowsky_Müller_2003, place={Poznan Poland}, title={Distributed Engineering Environment for the Design of Electronic Systems}, booktitle={Proceedings of CCE’03}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2003} }","short":"T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” <i>Proceedings of CCE’03</i>, 2003.","apa":"Schattkowsky, T., &#38; Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. <i>Proceedings of CCE’03</i>."},"year":"2003","place":"Poznan Poland","department":[{"_id":"672"}],"user_id":"5786","_id":"39366","language":[{"iso":"eng"}],"publication":"Proceedings of CCE'03","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Computer supported collaborative work (CSCW) is currently of growing interest for application industrial context. Integrated workflow systems are available to allow the integration of globally distributed teams. However, in many areas (i.e. in electronic design automation), tool integration remains to be a critical issue since existing legacy tools have to be integrated into distributed workflows. By integrating tools based on the operational semantics, dynamic assignment and replacement of tools in the workflows becomes possible. We present a middleware for secure collaborative engineering that enables flexible tool management and overcomes existing networking problems through a peer-to-peer based network infrastructure."}]},{"citation":{"chicago":"Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” In <i>Proceedings of SEKE 2003</i>. San Francisco, 2003.","ieee":"S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object Constraint Language,” 2003.","ama":"Flake S, Müller W. Semantics of State-Oriented Expressions in the Object Constraint Language. In: <i>Proceedings of SEKE 2003</i>. ; 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. <i>Proceedings of SEKE 2003</i>.","mla":"Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” <i>Proceedings of SEKE 2003</i>, 2003.","bibtex":"@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","short":"S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003."},"year":"2003","place":"San Francisco","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_created":"2023-01-24T09:44:11Z","date_updated":"2023-01-24T09:44:24Z","title":"Semantics of State-Oriented Expressions in the Object Constraint Language","type":"conference","publication":"Proceedings of SEKE 2003","status":"public","abstract":[{"lang":"eng","text":"The textual Object Constraint Language (OCL) is an of-\r\nficial part of the Unified Modeling Language (UML). It is\r\nprimarily used to formulate restrictions for UML class di-\r\nagrams. Additionally, it is possible to refer to UML State-\r\nchart states in OCL expressions to reason about currently\r\nactivated states.\r\nHowever, neither the current OCL standard nor the pro-\r\nposal for the new OCL 2.0 version integrate Statecharts on\r\nthe language definition level, i.e., the semantics of State-\r\nchart states in the context of OCL expressions is not suf-\r\nficiently defined so far. To overcome this deficiency, this\r\narticle provides a formal semantics for state-oriented OCL\r\nexpressions for application with UML Statecharts."}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39363","language":[{"iso":"eng"}]},{"citation":{"short":"J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.","mla":"Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” <i>Proceedings of CCE’03</i>, 2003.","bibtex":"@inproceedings{Wang_Müller_2003, place={Poznan Poland}, title={SmartCard for Secure Collaborative Engineering}, booktitle={Proceedings of CCE’03}, author={Wang, J. and Müller, Wolfgang}, year={2003} }","apa":"Wang, J., &#38; Müller, W. (2003). SmartCard for Secure Collaborative Engineering. <i>Proceedings of CCE’03</i>.","ieee":"J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.","chicago":"Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” In <i>Proceedings of CCE’03</i>. Poznan Poland, 2003.","ama":"Wang J, Müller W. SmartCard for Secure Collaborative Engineering. In: <i>Proceedings of CCE’03</i>. ; 2003."},"place":"Poznan Poland","year":"2003","title":"SmartCard for Secure Collaborative Engineering","author":[{"full_name":"Wang, J.","last_name":"Wang","first_name":"J."},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_created":"2023-01-24T09:51:15Z","date_updated":"2023-01-24T09:51:20Z","status":"public","abstract":[{"text":"Confidentiality and security in data access and transmission over multiple open networks are of utmost importance for most collaborative engineering environments. In this article, we review smart card based security technologies for their application in computer-based collaborative engineering environments. We focus on most recent microprocessor-based smart cards and on JavaCard as a development infrastructure and operating system. Since JavaCard supports the integration of multiple applications on one card, it enables smart cards to integrate large sets of additional applications. In that context, we identify and discuss three potential key applications: authentication with biometrics, certification, and advanced profile management.","lang":"eng"}],"type":"conference","publication":"Proceedings of CCE'03","language":[{"iso":"eng"}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39367"},{"year":"2003","place":"Bremen","citation":{"apa":"Krupp, A., &#38; Müller, W. (2003). <i>Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten</i>.","short":"A. Krupp, W. Müller, (2003).","mla":"Krupp, Alexander, and Wolfgang Müller. <i>Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten</i>. 2003.","bibtex":"@article{Krupp_Müller_2003, place={Bremen}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }","ama":"Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. Published online 2003.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.","ieee":"A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.” Bremen, 2003."},"title":"Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten","date_updated":"2023-01-24T09:36:37Z","date_created":"2023-01-24T09:36:32Z","author":[{"first_name":"Alexander","last_name":"Krupp","full_name":"Krupp, Alexander"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"status":"public","type":"conference","language":[{"iso":"eng"}],"_id":"39360","user_id":"5786","series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","department":[{"_id":"672"}]},{"status":"public","publication":"Proceedings of FDL'03","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39368","citation":{"short":"A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.","bibtex":"@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }","mla":"Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” <i>Proceedings of FDL’03</i>, 2003.","apa":"Krupp, A., &#38; Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. <i>Proceedings of FDL’03</i>.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In <i>Proceedings of FDL’03</i>. Frankfurt, Germany, 2003.","ieee":"A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.","ama":"Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: <i>Proceedings of FDL’03</i>. ; 2003."},"year":"2003","place":"Frankfurt, Germany","title":"Combining Formal Refinement and Model Checking for Analysis of Realtime Systems","author":[{"first_name":"Alexander","full_name":"Krupp, Alexander","last_name":"Krupp"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_created":"2023-01-24T09:53:01Z","date_updated":"2023-01-24T09:53:06Z"},{"user_id":"5786","department":[{"_id":"672"}],"_id":"39369","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Workshop OCL 2.0 at UML 2003","status":"public","abstract":[{"text":"The latest OCL 2.0 proposal provides two semantic descriptions, i.e., a metamodel based semantics that uses UML itself to associate the semantic domain with the language concepts and a formal semantics based on a set-theoretic approach called object model. Unfortunately, these two semantics are currently neither consistent nor complete, as (a) the formal semantics does not consider the newly introduced concept of OCL messages and (b) both semantics lack an integration of Statecharts and a semantic denition of state-related operations. This article focuses on a formal semantics for OCL messages as a foundation for consistency among,the two OCL semantics. We extend object models and present an extended denition of a system state that comprises all relevant information to be able to evaluate OCL expressions also w.r.t. OCL messages.","lang":"eng"}],"date_created":"2023-01-24T09:54:09Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_updated":"2023-01-24T09:54:24Z","title":"Formal Semantics of OCL Messages","citation":{"apa":"Flake, S., &#38; Müller, W. (2003). Formal Semantics of OCL Messages. <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>.","mla":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>, 2003.","bibtex":"@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","short":"S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.","ieee":"S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.","chicago":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” In <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>. San Francisco, USA, 2003.","ama":"Flake S, Müller W. Formal Semantics of OCL Messages. In: <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>. ; 2003."},"place":"San Francisco, USA","year":"2003"},{"department":[{"_id":"313"},{"_id":"638"}],"user_id":"254","_id":"39985","language":[{"iso":"eng"}],"keyword":["Materials Chemistry","Metals and Alloys","Mechanical Engineering","Mechanics of Materials","Condensed Matter Physics","Electronic","Optical and Magnetic Materials"],"publication":"Synthetic Metals","type":"journal_article","status":"public","volume":141,"date_created":"2023-01-25T12:06:23Z","author":[{"first_name":"T","full_name":"Röder, T","last_name":"Röder"},{"first_name":"Heinz-Siegfried","last_name":"Kitzerow","id":"254","full_name":"Kitzerow, Heinz-Siegfried"},{"first_name":"J.C","last_name":"Hummelen","full_name":"Hummelen, J.C"}],"date_updated":"2023-01-25T12:09:38Z","publisher":"Elsevier BV","doi":"10.1016/s0379-6779(03)00412-0","title":"Morphology and fluorescence quenching in photovoltaic samples containing fullerene and poly(p-phenylene-vinylene) derivatives","issue":"3","publication_identifier":{"issn":["0379-6779"]},"publication_status":"published","intvolume":"       141","page":"271-275","citation":{"bibtex":"@article{Röder_Kitzerow_Hummelen_2003, title={Morphology and fluorescence quenching in photovoltaic samples containing fullerene and poly(p-phenylene-vinylene) derivatives}, volume={141}, DOI={<a href=\"https://doi.org/10.1016/s0379-6779(03)00412-0\">10.1016/s0379-6779(03)00412-0</a>}, number={3}, journal={Synthetic Metals}, publisher={Elsevier BV}, author={Röder, T and Kitzerow, Heinz-Siegfried and Hummelen, J.C}, year={2003}, pages={271–275} }","short":"T. Röder, H.-S. Kitzerow, J.C. Hummelen, Synthetic Metals 141 (2003) 271–275.","mla":"Röder, T., et al. “Morphology and Fluorescence Quenching in Photovoltaic Samples Containing Fullerene and Poly(p-Phenylene-Vinylene) Derivatives.” <i>Synthetic Metals</i>, vol. 141, no. 3, Elsevier BV, 2003, pp. 271–75, doi:<a href=\"https://doi.org/10.1016/s0379-6779(03)00412-0\">10.1016/s0379-6779(03)00412-0</a>.","apa":"Röder, T., Kitzerow, H.-S., &#38; Hummelen, J. C. (2003). Morphology and fluorescence quenching in photovoltaic samples containing fullerene and poly(p-phenylene-vinylene) derivatives. <i>Synthetic Metals</i>, <i>141</i>(3), 271–275. <a href=\"https://doi.org/10.1016/s0379-6779(03)00412-0\">https://doi.org/10.1016/s0379-6779(03)00412-0</a>","ama":"Röder T, Kitzerow H-S, Hummelen JC. Morphology and fluorescence quenching in photovoltaic samples containing fullerene and poly(p-phenylene-vinylene) derivatives. <i>Synthetic Metals</i>. 2003;141(3):271-275. doi:<a href=\"https://doi.org/10.1016/s0379-6779(03)00412-0\">10.1016/s0379-6779(03)00412-0</a>","chicago":"Röder, T, Heinz-Siegfried Kitzerow, and J.C Hummelen. “Morphology and Fluorescence Quenching in Photovoltaic Samples Containing Fullerene and Poly(p-Phenylene-Vinylene) Derivatives.” <i>Synthetic Metals</i> 141, no. 3 (2003): 271–75. <a href=\"https://doi.org/10.1016/s0379-6779(03)00412-0\">https://doi.org/10.1016/s0379-6779(03)00412-0</a>.","ieee":"T. Röder, H.-S. Kitzerow, and J. C. Hummelen, “Morphology and fluorescence quenching in photovoltaic samples containing fullerene and poly(p-phenylene-vinylene) derivatives,” <i>Synthetic Metals</i>, vol. 141, no. 3, pp. 271–275, 2003, doi: <a href=\"https://doi.org/10.1016/s0379-6779(03)00412-0\">10.1016/s0379-6779(03)00412-0</a>."},"year":"2003"}]