[{"title":"La langue de Bruegel dans le théâtre des Pays-Bas espagnols du XVIème siècle","date_updated":"2024-09-03T10:30:47Z","publisher":"Peter Lang","date_created":"2023-01-25T20:19:17Z","author":[{"first_name":"Sabine","full_name":"Schmitz, Sabine","id":"21675","last_name":"Schmitz"}],"year":"2004","place":"Bruxelles, Frankfurt a.M.","page":" 25-42","citation":{"apa":"Schmitz, S. (2004). La langue de Bruegel dans le théâtre des Pays-Bas espagnols du XVIème siècle. In S. Schmitz &#38; H. Roland (Eds.), <i>Pour une iconographie des identités culturelles et nationales: la construction des images collectives à travers le texte et l’ image/ Ikonographie kultureller und nationaler Identität: Zur Konstruktion kollektiver images in Text und Bild</i> (pp. 25–42). Peter Lang.","bibtex":"@inbook{Schmitz_2004, place={Bruxelles, Frankfurt a.M.}, title={La langue de Bruegel dans le théâtre des Pays-Bas espagnols du XVIème siècle}, booktitle={Pour une iconographie des identités culturelles et nationales: la construction des images collectives à travers le texte et l’ image/ Ikonographie kultureller und nationaler Identität: Zur Konstruktion kollektiver images in Text und Bild}, publisher={Peter Lang}, author={Schmitz, Sabine}, editor={Schmitz, Sabine and Roland, Hubert}, year={2004}, pages={25–42} }","short":"S. Schmitz, in: S. Schmitz, H. Roland (Eds.), Pour Une Iconographie Des Identités Culturelles et Nationales: La Construction Des Images Collectives à Travers Le Texte et l’ Image/ Ikonographie Kultureller Und Nationaler Identität: Zur Konstruktion Kollektiver Images in Text Und Bild, Peter Lang, Bruxelles, Frankfurt a.M., 2004, pp. 25–42.","mla":"Schmitz, Sabine. “La Langue de Bruegel Dans Le Théâtre Des Pays-Bas Espagnols Du XVIème Siècle.” <i>Pour Une Iconographie Des Identités Culturelles et Nationales: La Construction Des Images Collectives à Travers Le Texte et l’ Image/ Ikonographie Kultureller Und Nationaler Identität: Zur Konstruktion Kollektiver Images in Text Und Bild</i>, edited by Sabine Schmitz and Hubert Roland, Peter Lang, 2004, pp. 25–42.","ama":"Schmitz S. La langue de Bruegel dans le théâtre des Pays-Bas espagnols du XVIème siècle. In: Schmitz S, Roland H, eds. <i>Pour Une Iconographie Des Identités Culturelles et Nationales: La Construction Des Images Collectives à Travers Le Texte et l’ Image/ Ikonographie Kultureller Und Nationaler Identität: Zur Konstruktion Kollektiver Images in Text Und Bild</i>. Peter Lang; 2004:25-42.","chicago":"Schmitz, Sabine. “La Langue de Bruegel Dans Le Théâtre Des Pays-Bas Espagnols Du XVIème Siècle.” In <i>Pour Une Iconographie Des Identités Culturelles et Nationales: La Construction Des Images Collectives à Travers Le Texte et l’ Image/ Ikonographie Kultureller Und Nationaler Identität: Zur Konstruktion Kollektiver Images in Text Und Bild</i>, edited by Sabine Schmitz and Hubert Roland, 25–42. Bruxelles, Frankfurt a.M.: Peter Lang, 2004.","ieee":"S. Schmitz, “La langue de Bruegel dans le théâtre des Pays-Bas espagnols du XVIème siècle,” in <i>Pour une iconographie des identités culturelles et nationales: la construction des images collectives à travers le texte et l’ image/ Ikonographie kultureller und nationaler Identität: Zur Konstruktion kollektiver images in Text und Bild</i>, S. Schmitz and H. Roland, Eds. Bruxelles, Frankfurt a.M.: Peter Lang, 2004, pp. 25–42."},"publication_identifier":{"isbn":["9783631510759"]},"language":[{"iso":"eng"}],"_id":"40110","user_id":"21675","editor":[{"last_name":"Schmitz","full_name":"Schmitz, Sabine","first_name":"Sabine"},{"last_name":"Roland","full_name":"Roland, Hubert","first_name":"Hubert"}],"status":"public","publication":"Pour une iconographie des identités culturelles et nationales: la construction des images collectives à travers le texte et l' image/ Ikonographie kultureller und nationaler Identität: Zur Konstruktion kollektiver images in Text und Bild","type":"book_chapter"},{"language":[{"iso":"eng"}],"user_id":"21675","_id":"39813","status":"public","editor":[{"full_name":"Schmitz, Sabine","last_name":"Schmitz","first_name":"Sabine"},{"first_name":"Jesus","full_name":"Canas Murillo, Jesus","last_name":"Canas Murillo"}],"type":"book_chapter","publication":"«Aufklärung»: Literatura y cultura del siglo XVIII en la Europa occidental y meridional- «Aufklärung»: Littérature et culture du XVIII ème siècle en Europe occidentale et méridionale","title":"Le corps emblématique dans l' Île de la raison de Marivaux ou une lecture de Gulliver's Travels de Jonathan Swift mise en scène par Marivaux","date_created":"2023-01-24T20:42:01Z","author":[{"last_name":"Schmitz","id":"21675","full_name":"Schmitz, Sabine","first_name":"Sabine"}],"publisher":"Peter Lang","date_updated":"2024-09-03T10:31:46Z","citation":{"chicago":"Schmitz, Sabine. “Le Corps Emblématique Dans l’ Île de La Raison de Marivaux Ou Une Lecture de Gulliver’s Travels de Jonathan Swift Mise En Scène Par Marivaux.” In <i>«Aufklärung»: Literatura y Cultura Del Siglo XVIII En La Europa Occidental y Meridional- «Aufklärung»: Littérature et Culture Du XVIII Ème Siècle En Europe Occidentale et Méridionale</i>, edited by Sabine Schmitz and Jesus Canas Murillo, 223–40. Frankfurt a.M.: Peter Lang, 2004.","ieee":"S. Schmitz, “Le corps emblématique dans l’ Île de la raison de Marivaux ou une lecture de Gulliver’s Travels de Jonathan Swift mise en scène par Marivaux,” in <i>«Aufklärung»: Literatura y cultura del siglo XVIII en la Europa occidental y meridional- «Aufklärung»: Littérature et culture du XVIII ème siècle en Europe occidentale et méridionale</i>, S. Schmitz and J. Canas Murillo, Eds. Frankfurt a.M.: Peter Lang, 2004, pp. 223–240.","ama":"Schmitz S. Le corps emblématique dans l’ Île de la raison de Marivaux ou une lecture de Gulliver’s Travels de Jonathan Swift mise en scène par Marivaux. In: Schmitz S, Canas Murillo J, eds. <i>«Aufklärung»: Literatura y Cultura Del Siglo XVIII En La Europa Occidental y Meridional- «Aufklärung»: Littérature et Culture Du XVIII Ème Siècle En Europe Occidentale et Méridionale</i>. Peter Lang; 2004:223-240.","apa":"Schmitz, S. (2004). Le corps emblématique dans l’ Île de la raison de Marivaux ou une lecture de Gulliver’s Travels de Jonathan Swift mise en scène par Marivaux. In S. Schmitz &#38; J. Canas Murillo (Eds.), <i>«Aufklärung»: Literatura y cultura del siglo XVIII en la Europa occidental y meridional- «Aufklärung»: Littérature et culture du XVIII ème siècle en Europe occidentale et méridionale</i> (pp. 223–240). Peter Lang.","mla":"Schmitz, Sabine. “Le Corps Emblématique Dans l’ Île de La Raison de Marivaux Ou Une Lecture de Gulliver’s Travels de Jonathan Swift Mise En Scène Par Marivaux.” <i>«Aufklärung»: Literatura y Cultura Del Siglo XVIII En La Europa Occidental y Meridional- «Aufklärung»: Littérature et Culture Du XVIII Ème Siècle En Europe Occidentale et Méridionale</i>, edited by Sabine Schmitz and Jesus Canas Murillo, Peter Lang, 2004, pp. 223–40.","short":"S. Schmitz, in: S. Schmitz, J. Canas Murillo (Eds.), «Aufklärung»: Literatura y Cultura Del Siglo XVIII En La Europa Occidental y Meridional- «Aufklärung»: Littérature et Culture Du XVIII Ème Siècle En Europe Occidentale et Méridionale, Peter Lang, Frankfurt a.M., 2004, pp. 223–240.","bibtex":"@inbook{Schmitz_2004, place={Frankfurt a.M.}, title={Le corps emblématique dans l’ Île de la raison de Marivaux ou une lecture de Gulliver’s Travels de Jonathan Swift mise en scène par Marivaux}, booktitle={«Aufklärung»: Literatura y cultura del siglo XVIII en la Europa occidental y meridional- «Aufklärung»: Littérature et culture du XVIII ème siècle en Europe occidentale et méridionale}, publisher={Peter Lang}, author={Schmitz, Sabine}, editor={Schmitz, Sabine and Canas Murillo, Jesus}, year={2004}, pages={223–240} }"},"page":"223-240","place":"Frankfurt a.M.","year":"2004","publication_identifier":{"isbn":["9783631519868"]}},{"language":[{"iso":"eng"}],"_id":"39810","user_id":"21675","editor":[{"full_name":"Schmitz, Sabine","id":"21675","last_name":"Schmitz","first_name":"Sabine"},{"first_name":"Hubert ","last_name":"Roland","full_name":"Roland, Hubert "}],"status":"public","type":"book_editor","title":"Pour une iconographie des identités culturelles et nationales- Ikonographie kultureller und nationaler Identität. La construction des images collectives à travers le texte et l’image- Zur Konstruktion kollektiver \"images\" in Text und Bild","publisher":"Peter Lang","date_updated":"2024-09-03T10:31:41Z","date_created":"2023-01-24T20:37:41Z","place":"Bruxelles, Frankfurt a.M","year":"2004","page":"294","citation":{"bibtex":"@book{Schmitz_Roland_2004, place={Bruxelles, Frankfurt a.M}, title={Pour une iconographie des identités culturelles et nationales- Ikonographie kultureller und nationaler Identität. La construction des images collectives à travers le texte et l’image- Zur Konstruktion kollektiver “images” in Text und Bild}, publisher={Peter Lang}, year={2004} }","mla":"Schmitz, Sabine, and Hubert Roland, editors. <i>Pour Une Iconographie Des Identités Culturelles et Nationales- Ikonographie Kultureller Und Nationaler Identität. La Construction Des Images Collectives à Travers Le Texte et l’image- Zur Konstruktion Kollektiver “Images” in Text Und Bild</i>. Peter Lang, 2004.","short":"S. Schmitz, H. Roland, eds., Pour Une Iconographie Des Identités Culturelles et Nationales- Ikonographie Kultureller Und Nationaler Identität. La Construction Des Images Collectives à Travers Le Texte et l’image- Zur Konstruktion Kollektiver “Images” in Text Und Bild, Peter Lang, Bruxelles, Frankfurt a.M, 2004.","apa":"Schmitz, S., &#38; Roland, H. (Eds.). (2004). <i>Pour une iconographie des identités culturelles et nationales- Ikonographie kultureller und nationaler Identität. La construction des images collectives à travers le texte et l’image- Zur Konstruktion kollektiver “images” in Text und Bild</i>. Peter Lang.","ama":"Schmitz S, Roland H, eds. <i>Pour Une Iconographie Des Identités Culturelles et Nationales- Ikonographie Kultureller Und Nationaler Identität. La Construction Des Images Collectives à Travers Le Texte et l’image- Zur Konstruktion Kollektiver “Images” in Text Und Bild</i>. Peter Lang; 2004.","chicago":"Schmitz, Sabine, and Hubert  Roland, eds. <i>Pour Une Iconographie Des Identités Culturelles et Nationales- Ikonographie Kultureller Und Nationaler Identität. La Construction Des Images Collectives à Travers Le Texte et l’image- Zur Konstruktion Kollektiver “Images” in Text Und Bild</i>. Bruxelles, Frankfurt a.M: Peter Lang, 2004.","ieee":"S. Schmitz and H. Roland, Eds., <i>Pour une iconographie des identités culturelles et nationales- Ikonographie kultureller und nationaler Identität. La construction des images collectives à travers le texte et l’image- Zur Konstruktion kollektiver “images” in Text und Bild</i>. Bruxelles, Frankfurt a.M: Peter Lang, 2004."},"publication_identifier":{"isbn":["9783631510759"]}},{"language":[{"iso":"eng"}],"user_id":"21675","_id":"39812","status":"public","editor":[{"first_name":"Sabine","last_name":"Schmitz","id":"21675","full_name":"Schmitz, Sabine"},{"first_name":"Jesus ","full_name":"Canas Murillo, Jesus ","last_name":"Canas Murillo"}],"type":"book_editor","title":"«Aufklärung»: Literatura y cultura del siglo XVIII en la Europa occidental y meridional- «Aufklärung»: Littérature et culture du XVIII ème siècle en Europe occidentale et méridionale","date_created":"2023-01-24T20:40:01Z","publisher":"Peter Lang ","date_updated":"2024-09-03T10:31:44Z","citation":{"apa":"Schmitz, S., &#38; Canas Murillo, J. (Eds.). (2004). <i>«Aufklärung»: Literatura y cultura del siglo XVIII en la Europa occidental y meridional- «Aufklärung»: Littérature et culture du XVIII ème siècle en Europe occidentale et méridionale</i>. Peter Lang .","short":"S. Schmitz, J. Canas Murillo, eds., «Aufklärung»: Literatura y Cultura Del Siglo XVIII En La Europa Occidental y Meridional- «Aufklärung»: Littérature et Culture Du XVIII Ème Siècle En Europe Occidentale et Méridionale, Peter Lang , Frankfurt a.M, 2004.","mla":"Schmitz, Sabine, and Jesus Canas Murillo, editors. <i>«Aufklärung»: Literatura y Cultura Del Siglo XVIII En La Europa Occidental y Meridional- «Aufklärung»: Littérature et Culture Du XVIII Ème Siècle En Europe Occidentale et Méridionale</i>. Peter Lang , 2004.","bibtex":"@book{Schmitz_Canas Murillo_2004, place={Frankfurt a.M}, title={«Aufklärung»: Literatura y cultura del siglo XVIII en la Europa occidental y meridional- «Aufklärung»: Littérature et culture du XVIII ème siècle en Europe occidentale et méridionale}, publisher={Peter Lang }, year={2004} }","ieee":"S. Schmitz and J. Canas Murillo, Eds., <i>«Aufklärung»: Literatura y cultura del siglo XVIII en la Europa occidental y meridional- «Aufklärung»: Littérature et culture du XVIII ème siècle en Europe occidentale et méridionale</i>. Frankfurt a.M: Peter Lang , 2004.","chicago":"Schmitz, Sabine, and Jesus  Canas Murillo, eds. <i>«Aufklärung»: Literatura y Cultura Del Siglo XVIII En La Europa Occidental y Meridional- «Aufklärung»: Littérature et Culture Du XVIII Ème Siècle En Europe Occidentale et Méridionale</i>. Frankfurt a.M: Peter Lang , 2004.","ama":"Schmitz S, Canas Murillo J, eds. <i>«Aufklärung»: Literatura y Cultura Del Siglo XVIII En La Europa Occidental y Meridional- «Aufklärung»: Littérature et Culture Du XVIII Ème Siècle En Europe Occidentale et Méridionale</i>. Peter Lang ; 2004."},"page":"276","place":"Frankfurt a.M","year":"2004","publication_identifier":{"isbn":["9783631519868"]}},{"main_file_link":[{"open_access":"1","url":"https://juttaweber.eu/wordpress/wp-content/uploads/2021/03/Weber_Performing-Post-Trans-Techno-Queer.pdf"}],"title":"Performing post / trans / techno / queer. Pluralisierung als Selbst- und Machttechnologie","date_created":"2023-01-18T07:20:32Z","author":[{"last_name":"Weber","id":"31494","full_name":"Weber, Jutta","first_name":"Jutta"}],"date_updated":"2023-01-18T07:21:24Z","oa":"1","publisher":"Königshausen & Neumann","citation":{"apa":"Weber, J. (2004). Performing post / trans / techno / queer. Pluralisierung als Selbst- und Machttechnologie. In <i>Gender Studies: Standorte – Zukunftsräume</i> (pp. 111–121). Königshausen &#38; Neumann.","bibtex":"@inbook{Weber_2004, title={Performing post / trans / techno / queer. Pluralisierung als Selbst- und Machttechnologie}, booktitle={Gender Studies: Standorte – Zukunftsräume}, publisher={Königshausen &#38; Neumann}, author={Weber, Jutta}, year={2004}, pages={111–121} }","mla":"Weber, Jutta. “Performing post / trans / techno / queer. Pluralisierung als Selbst- und Machttechnologie.” <i>Gender Studies: Standorte – Zukunftsräume</i>, Königshausen &#38; Neumann, 2004, pp. 111–21.","short":"J. Weber, in: Gender Studies: Standorte – Zukunftsräume, Königshausen &#38; Neumann, 2004, pp. 111–121.","ama":"Weber J. Performing post / trans / techno / queer. Pluralisierung als Selbst- und Machttechnologie. In: <i>Gender Studies: Standorte – Zukunftsräume</i>. Königshausen &#38; Neumann; 2004:111-121.","ieee":"J. Weber, “Performing post / trans / techno / queer. Pluralisierung als Selbst- und Machttechnologie,” in <i>Gender Studies: Standorte – Zukunftsräume</i>, Königshausen &#38; Neumann, 2004, pp. 111–121.","chicago":"Weber, Jutta. “Performing post / trans / techno / queer. Pluralisierung als Selbst- und Machttechnologie.” In <i>Gender Studies: Standorte – Zukunftsräume</i>, 111–21. Königshausen &#38; Neumann, 2004."},"page":"111-121","year":"2004","extern":"1","language":[{"iso":"ger"}],"user_id":"14932","department":[{"_id":"411"}],"_id":"37214","status":"public","type":"book_chapter","publication":"Gender Studies: Standorte – Zukunftsräume"},{"date_updated":"2023-01-18T07:27:14Z","author":[{"last_name":"Weber","id":"31494","full_name":"Weber, Jutta","first_name":"Jutta"},{"last_name":"Saupe","full_name":"Saupe, Angelika","first_name":"Angelika"}],"date_created":"2023-01-18T07:26:54Z","title":"Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung","place":"Berlin","year":"2004","citation":{"chicago":"Weber, Jutta, and Angelika Saupe. “Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung.” In <i>Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik</i>, 300–307. Berlin, 2004.","ieee":"J. Weber and A. Saupe, “Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung,” in <i>Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik</i>, 2004, pp. 300–307.","ama":"Weber J, Saupe A. Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung. In: <i>Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik</i>. ; 2004:300-307.","apa":"Weber, J., &#38; Saupe, A. (2004). Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung. <i>Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik</i>, 300–307.","short":"J. Weber, A. Saupe, in: Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik, Berlin, 2004, pp. 300–307.","bibtex":"@inproceedings{Weber_Saupe_2004, place={Berlin}, title={Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung}, booktitle={Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik}, author={Weber, Jutta and Saupe, Angelika}, year={2004}, pages={300–307} }","mla":"Weber, Jutta, and Angelika Saupe. “Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung.” <i>Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik</i>, 2004, pp. 300–07."},"page":"300-307","_id":"37216","user_id":"14932","department":[{"_id":"411"}],"language":[{"iso":"ger"}],"extern":"1","type":"conference","publication":"Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik","status":"public"},{"author":[{"last_name":"Weber","id":"31494","full_name":"Weber, Jutta","first_name":"Jutta"}],"date_created":"2023-01-18T07:31:12Z","date_updated":"2023-01-18T07:31:46Z","oa":"1","publisher":"Kleine Verlag","main_file_link":[{"open_access":"1","url":"https://juttaweber.eu/images/stories/dokumente/Weber_hybrideTechnologien.pdf"}],"title":"Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre Erkenntnispolitik","edition":"[Wiederabdruck]","page":"115-151","citation":{"apa":"Weber, J. (2004). Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre Erkenntnispolitik. In B. Doetsch (Ed.), <i>Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder</i> ([Wiederabdruck], pp. 115–151). Kleine Verlag.","mla":"Weber, Jutta. “Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre Erkenntnispolitik.” <i>Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder</i>, edited by Brigitte Doetsch, [Wiederabdruck], Kleine Verlag, 2004, pp. 115–51.","short":"J. Weber, in: B. Doetsch (Ed.), Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder, [Wiederabdruck], Kleine Verlag, Bielefeld, 2004, pp. 115–151.","bibtex":"@inbook{Weber_2004, place={Bielefeld}, edition={[Wiederabdruck]}, title={Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre Erkenntnispolitik}, booktitle={Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder}, publisher={Kleine Verlag}, author={Weber, Jutta}, editor={Doetsch, Brigitte}, year={2004}, pages={115–151} }","chicago":"Weber, Jutta. “Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre Erkenntnispolitik.” In <i>Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder</i>, edited by Brigitte Doetsch, [Wiederabdruck]., 115–51. Bielefeld: Kleine Verlag, 2004.","ieee":"J. Weber, “Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre Erkenntnispolitik,” in <i>Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder</i>, [Wiederabdruck]., B. Doetsch, Ed. Bielefeld: Kleine Verlag, 2004, pp. 115–151.","ama":"Weber J. Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre Erkenntnispolitik. In: Doetsch B, ed. <i>Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder</i>. [Wiederabdruck]. Kleine Verlag; 2004:115-151."},"place":"Bielefeld","year":"2004","department":[{"_id":"411"}],"user_id":"14932","_id":"37217","extern":"1","language":[{"iso":"ger"}],"publication":"Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder","type":"book_chapter","status":"public","editor":[{"full_name":"Doetsch, Brigitte","last_name":"Doetsch","first_name":"Brigitte"}]},{"publication":"Dokumentation. Impulse zur Wissenschaftsentwicklung","language":[{"iso":"ger"}],"year":"2004","corporate_editor":["Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften, Technik und Medizin"],"edition":"[Wiederabdruck]","title":"Turbulente Körper, emergente Maschinen? Über Körperkonzepte in Robotik und neuerer Technikkritik","date_created":"2023-01-18T07:39:26Z","editor":[{"full_name":"Paravicini, Ursula","last_name":"Paravicini","first_name":"Ursula"},{"first_name":"Maren","last_name":"Zempel-Gino","full_name":"Zempel-Gino, Maren"}],"status":"public","type":"book_chapter","extern":"1","_id":"37218","series_title":"Wissenschaftliche Reihe NFFG","user_id":"14932","department":[{"_id":"411"}],"place":"Hannover","citation":{"ieee":"J. Weber, “Turbulente Körper, emergente Maschinen? Über Körperkonzepte in Robotik und neuerer Technikkritik,” in <i>Dokumentation. Impulse zur Wissenschaftsentwicklung</i>, [Wiederabdruck]., vol. 4, U. Paravicini, M. Zempel-Gino, and Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften, Technik und Medizin, Eds. Hannover, 2004, pp. 87–104.","chicago":"Weber, Jutta. “Turbulente Körper, emergente Maschinen? Über Körperkonzepte in Robotik und neuerer Technikkritik.” In <i>Dokumentation. Impulse zur Wissenschaftsentwicklung</i>, edited by Ursula Paravicini, Maren Zempel-Gino, and Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften, Technik und Medizin, [Wiederabdruck]., 4:87–104. Wissenschaftliche Reihe NFFG. Hannover, 2004.","ama":"Weber J. Turbulente Körper, emergente Maschinen? Über Körperkonzepte in Robotik und neuerer Technikkritik. In: Paravicini U, Zempel-Gino M, Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften, Technik und Medizin, eds. <i>Dokumentation. Impulse zur Wissenschaftsentwicklung</i>. Vol 4. [Wiederabdruck]. Wissenschaftliche Reihe NFFG. ; 2004:87-104.","apa":"Weber, J. (2004). Turbulente Körper, emergente Maschinen? Über Körperkonzepte in Robotik und neuerer Technikkritik. In U. Paravicini, M. Zempel-Gino, &#38; Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften, Technik und Medizin (Eds.), <i>Dokumentation. Impulse zur Wissenschaftsentwicklung</i> ([Wiederabdruck], Vol. 4, pp. 87–104).","short":"J. Weber, in: U. Paravicini, M. Zempel-Gino, Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften, Technik und Medizin (Eds.), Dokumentation. Impulse zur Wissenschaftsentwicklung, [Wiederabdruck], Hannover, 2004, pp. 87–104.","bibtex":"@inbook{Weber_2004, place={Hannover}, edition={[Wiederabdruck]}, series={Wissenschaftliche Reihe NFFG}, title={Turbulente Körper, emergente Maschinen? Über Körperkonzepte in Robotik und neuerer Technikkritik}, volume={4}, booktitle={Dokumentation. Impulse zur Wissenschaftsentwicklung}, author={Weber, Jutta}, editor={Paravicini, Ursula and Zempel-Gino, Maren and Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften, Technik und Medizin}, year={2004}, pages={87–104}, collection={Wissenschaftliche Reihe NFFG} }","mla":"Weber, Jutta. “Turbulente Körper, emergente Maschinen? Über Körperkonzepte in Robotik und neuerer Technikkritik.” <i>Dokumentation. Impulse zur Wissenschaftsentwicklung</i>, edited by Ursula Paravicini et al., [Wiederabdruck], vol. 4, 2004, pp. 87–104."},"intvolume":"         4","page":"87-104","date_updated":"2023-01-18T08:23:55Z","author":[{"last_name":"Weber","id":"31494","full_name":"Weber, Jutta","first_name":"Jutta"}],"volume":4},{"date_created":"2023-01-20T11:14:10Z","date_updated":"2023-01-20T11:15:21Z","publisher":"Aisthesis Verlag","title":"Inszenierungen in Schrift und Bild. ","related_material":{"link":[{"url":"https://www.aisthesis.de/epages/63645342.sf/de_DE/?ObjectPath=/Shops/63645342/Products/978-3-89528-429-8","relation":"original"}]},"publication_status":"published","publication_identifier":{"isbn":["978-3-89528-429-8"]},"citation":{"ama":"Öhlschläger C, Neumann G, eds. <i>Inszenierungen in Schrift und Bild. </i>. Aisthesis Verlag; 2004.","ieee":"C. Öhlschläger and G. Neumann, Eds., <i>Inszenierungen in Schrift und Bild. </i>. Bielefeld: Aisthesis Verlag, 2004.","chicago":"Öhlschläger, Claudia, and Gerhard Neumann, eds. <i>Inszenierungen in Schrift und Bild. </i>. Bielefeld: Aisthesis Verlag, 2004.","apa":"Öhlschläger, C., &#38; Neumann, G. (Eds.). (2004). <i>Inszenierungen in Schrift und Bild. </i>. Aisthesis Verlag.","mla":"Öhlschläger, Claudia, and Gerhard Neumann, editors. <i>Inszenierungen in Schrift und Bild. </i>. Aisthesis Verlag, 2004.","bibtex":"@book{Öhlschläger_Neumann_2004, place={Bielefeld}, title={Inszenierungen in Schrift und Bild. }, publisher={Aisthesis Verlag}, year={2004} }","short":"C. Öhlschläger, G. Neumann, eds., Inszenierungen in Schrift und Bild. , Aisthesis Verlag, Bielefeld, 2004."},"year":"2004","place":"Bielefeld","user_id":"29963","department":[{"_id":"116"}],"_id":"37709","language":[{"iso":"ger"}],"type":"book_editor","status":"public","editor":[{"first_name":"Claudia","last_name":"Öhlschläger","full_name":"Öhlschläger, Claudia","id":"610"},{"first_name":"Gerhard","last_name":"Neumann","full_name":"Neumann, Gerhard"}]},{"publication_identifier":{"issn":["0935-9648","1521-4095"]},"publication_status":"published","page":"876-879","citation":{"apa":"Hinderling, C., Keles, Y., Stöckli, T., Knapp, H. F., de los Arcos de Pedro, M. T., Oelhafen, P., Korczagin, I., Hempenius, M. A., Vancso, G. J., Pugin, R., &#38; Heinzelmann, H. (2004). Organometallic Block Copolymers as Catalyst Precursors for Templated Carbon Nanotube Growth. <i>Advanced Materials</i>, 876–879. <a href=\"https://doi.org/10.1002/adma.200306447\">https://doi.org/10.1002/adma.200306447</a>","bibtex":"@article{Hinderling_Keles_Stöckli_Knapp_de los Arcos de Pedro_Oelhafen_Korczagin_Hempenius_Vancso_Pugin_et al._2004, title={Organometallic Block Copolymers as Catalyst Precursors for Templated Carbon Nanotube Growth}, DOI={<a href=\"https://doi.org/10.1002/adma.200306447\">10.1002/adma.200306447</a>}, journal={Advanced Materials}, author={Hinderling, C. and Keles, Y. and Stöckli, T. and Knapp, H. F. and de los Arcos de Pedro, Maria Teresa and Oelhafen, P. and Korczagin, I. and Hempenius, M. A. and Vancso, G. J. and Pugin, R. and et al.}, year={2004}, pages={876–879} }","mla":"Hinderling, C., et al. “Organometallic Block Copolymers as Catalyst Precursors for Templated Carbon Nanotube Growth.” <i>Advanced Materials</i>, 2004, pp. 876–79, doi:<a href=\"https://doi.org/10.1002/adma.200306447\">10.1002/adma.200306447</a>.","short":"C. Hinderling, Y. Keles, T. Stöckli, H.F. Knapp, M.T. de los Arcos de Pedro, P. Oelhafen, I. Korczagin, M.A. Hempenius, G.J. Vancso, R. Pugin, H. Heinzelmann, Advanced Materials (2004) 876–879.","ama":"Hinderling C, Keles Y, Stöckli T, et al. Organometallic Block Copolymers as Catalyst Precursors for Templated Carbon Nanotube Growth. <i>Advanced Materials</i>. Published online 2004:876-879. doi:<a href=\"https://doi.org/10.1002/adma.200306447\">10.1002/adma.200306447</a>","ieee":"C. Hinderling <i>et al.</i>, “Organometallic Block Copolymers as Catalyst Precursors for Templated Carbon Nanotube Growth,” <i>Advanced Materials</i>, pp. 876–879, 2004, doi: <a href=\"https://doi.org/10.1002/adma.200306447\">10.1002/adma.200306447</a>.","chicago":"Hinderling, C., Y. Keles, T. Stöckli, H. F. Knapp, Maria Teresa de los Arcos de Pedro, P. Oelhafen, I. Korczagin, et al. “Organometallic Block Copolymers as Catalyst Precursors for Templated Carbon Nanotube Growth.” <i>Advanced Materials</i>, 2004, 876–79. <a href=\"https://doi.org/10.1002/adma.200306447\">https://doi.org/10.1002/adma.200306447</a>."},"year":"2004","author":[{"first_name":"C.","last_name":"Hinderling","full_name":"Hinderling, C."},{"first_name":"Y.","full_name":"Keles, Y.","last_name":"Keles"},{"full_name":"Stöckli, T.","last_name":"Stöckli","first_name":"T."},{"full_name":"Knapp, H. F.","last_name":"Knapp","first_name":"H. F."},{"last_name":"de los Arcos de Pedro","id":"54556","full_name":"de los Arcos de Pedro, Maria Teresa","first_name":"Maria Teresa"},{"first_name":"P.","last_name":"Oelhafen","full_name":"Oelhafen, P."},{"first_name":"I.","last_name":"Korczagin","full_name":"Korczagin, I."},{"first_name":"M. A.","full_name":"Hempenius, M. A.","last_name":"Hempenius"},{"last_name":"Vancso","full_name":"Vancso, G. J.","first_name":"G. J."},{"full_name":"Pugin, R.","last_name":"Pugin","first_name":"R."},{"full_name":"Heinzelmann, H.","last_name":"Heinzelmann","first_name":"H."}],"date_created":"2021-07-07T11:40:38Z","date_updated":"2023-01-24T08:29:17Z","doi":"10.1002/adma.200306447","title":"Organometallic Block Copolymers as Catalyst Precursors for Templated Carbon Nanotube Growth","publication":"Advanced Materials","type":"journal_article","status":"public","department":[{"_id":"302"}],"user_id":"54556","_id":"22616","language":[{"iso":"eng"}],"extern":"1"},{"year":"2004","page":"7728-7734","citation":{"bibtex":"@article{de los Arcos de Pedro_Garnier_Seo_Oelhafen_Thommen_Mathys_2004, title={The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth}, DOI={<a href=\"https://doi.org/10.1021/jp049495v\">10.1021/jp049495v</a>}, journal={The Journal of Physical Chemistry B}, author={de los Arcos de Pedro, Maria Teresa and Garnier, Michael Gunnar and Seo, Jin Won and Oelhafen, Peter and Thommen, Verena and Mathys, Daniel}, year={2004}, pages={7728–7734} }","mla":"de los Arcos de Pedro, Maria Teresa, et al. “The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth.” <i>The Journal of Physical Chemistry B</i>, 2004, pp. 7728–34, doi:<a href=\"https://doi.org/10.1021/jp049495v\">10.1021/jp049495v</a>.","short":"M.T. de los Arcos de Pedro, M.G. Garnier, J.W. Seo, P. Oelhafen, V. Thommen, D. Mathys, The Journal of Physical Chemistry B (2004) 7728–7734.","apa":"de los Arcos de Pedro, M. T., Garnier, M. G., Seo, J. W., Oelhafen, P., Thommen, V., &#38; Mathys, D. (2004). The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth. <i>The Journal of Physical Chemistry B</i>, 7728–7734. <a href=\"https://doi.org/10.1021/jp049495v\">https://doi.org/10.1021/jp049495v</a>","ieee":"M. T. de los Arcos de Pedro, M. G. Garnier, J. W. Seo, P. Oelhafen, V. Thommen, and D. Mathys, “The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth,” <i>The Journal of Physical Chemistry B</i>, pp. 7728–7734, 2004, doi: <a href=\"https://doi.org/10.1021/jp049495v\">10.1021/jp049495v</a>.","chicago":"Arcos de Pedro, Maria Teresa de los, Michael Gunnar Garnier, Jin Won Seo, Peter Oelhafen, Verena Thommen, and Daniel Mathys. “The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth.” <i>The Journal of Physical Chemistry B</i>, 2004, 7728–34. <a href=\"https://doi.org/10.1021/jp049495v\">https://doi.org/10.1021/jp049495v</a>.","ama":"de los Arcos de Pedro MT, Garnier MG, Seo JW, Oelhafen P, Thommen V, Mathys D. The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth. <i>The Journal of Physical Chemistry B</i>. Published online 2004:7728-7734. doi:<a href=\"https://doi.org/10.1021/jp049495v\">10.1021/jp049495v</a>"},"publication_identifier":{"issn":["1520-6106","1520-5207"]},"publication_status":"published","title":"The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth","doi":"10.1021/jp049495v","date_updated":"2023-01-24T08:29:03Z","author":[{"first_name":"Maria Teresa","last_name":"de los Arcos de Pedro","full_name":"de los Arcos de Pedro, Maria Teresa","id":"54556"},{"last_name":"Garnier","full_name":"Garnier, Michael Gunnar","first_name":"Michael Gunnar"},{"last_name":"Seo","full_name":"Seo, Jin Won","first_name":"Jin Won"},{"first_name":"Peter","full_name":"Oelhafen, Peter","last_name":"Oelhafen"},{"first_name":"Verena","full_name":"Thommen, Verena","last_name":"Thommen"},{"first_name":"Daniel","last_name":"Mathys","full_name":"Mathys, Daniel"}],"date_created":"2021-07-07T11:40:10Z","status":"public","publication":"The Journal of Physical Chemistry B","type":"journal_article","extern":"1","language":[{"iso":"eng"}],"_id":"22615","department":[{"_id":"302"}],"user_id":"54556"},{"citation":{"ieee":"W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,” presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi: <a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">10.1109/HICSS.2004.1265674</a>.","chicago":"Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.” In <i>Proceedings of HICCS-37</i>. Waikoloa, HI, USA, 2004. <a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">https://doi.org/10.1109/HICSS.2004.1265674</a>.","ama":"Müller W, Schäfer R, Bleul S. Interactive Multimodal User Interfaces for Mobile Devices. In: <i>Proceedings of HICCS-37</i>. ; 2004. doi:<a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">10.1109/HICSS.2004.1265674</a>","bibtex":"@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive Multimodal User Interfaces for Mobile Devices}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">10.1109/HICSS.2004.1265674</a>}, booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}, year={2004} }","mla":"Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” <i>Proceedings of HICCS-37</i>, 2004, doi:<a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">10.1109/HICSS.2004.1265674</a>.","short":"W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.","apa":"Müller, W., Schäfer, R., &#38; Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. <i>Proceedings of HICCS-37</i>. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA. <a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">https://doi.org/10.1109/HICSS.2004.1265674</a>"},"place":"Waikoloa, HI, USA","year":"2004","publication_identifier":{"isbn":["0-7695-2056-1"]},"conference":{"name":"37th Annual Hawaii International Conference on System Sciences","location":"Waikoloa, HI, USA"},"doi":"10.1109/HICSS.2004.1265674","title":"Interactive Multimodal User Interfaces for Mobile Devices","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Schäfer, Robbie","last_name":"Schäfer","first_name":"Robbie"},{"first_name":"Steffen","last_name":"Bleul","full_name":"Bleul, Steffen"}],"date_created":"2023-01-24T08:46:31Z","date_updated":"2023-01-24T08:46:37Z","status":"public","abstract":[{"lang":"eng","text":"Portable devices come with different limitations in user interaction like limited display size, small keyboard, and different sorts of input and output capabilities. With the advance of speech recognition and speech synthesis technologies, their complementary use becomes attractive for mobile devices in order to implement real multimodal user interaction. However, current systems and formats do not sufficiently integrate advanced multimodal interactions. We introduce an advanced generic multimodal interaction and rendering system (MIRS) dedicated for mobile devices. MIRS incorporates efficient processing of XML specification languages for limited, mobile devices and comes with the XML-based dialog and interface specification language (DISL). DISL can be considered as an UIML subset, which is enhanced by the means of state-oriented dialog specifications. The dialog specification is based on ODSN (object oriented dialog specification notation), which has been introduced to define user interface control by means of interaction states with transition rules."}],"publication":"Proceedings of HICCS-37","type":"conference","language":[{"iso":"eng"}],"keyword":["User interfaces","Speech recognition","Streaming media","Specification languages","Keyboards","Speech synthesis","Rendering (computer graphics)","Ambient intelligence","Humans","Displays"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39053"},{"status":"public","abstract":[{"text":"We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the simulation scheduler including the management of new SystemVerilog regions. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemVerilog Language Reference Manual [1]. Our formal semantics is a concise, unambiguous, high-level specification for SystemVerilog-based implementations and for investigation of interoperabilities of SystemVerilog with SpecC, SystemC, and VHDL.","lang":"eng"}],"publication":"Proceedings of FDL’04","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39055","citation":{"ieee":"M. Zambaldi, W. Ecker, T. Kruse, and W. Müller, “The Formal Simulation Semantics of SystemVerilog,” presented at the  Forum on specification and Design Languages, Lille, France, 2004.","chicago":"Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In <i>Proceedings of FDL’04</i>. Lille, France, 2004.","ama":"Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of SystemVerilog. In: <i>Proceedings of FDL’04</i>. ; 2004.","apa":"Zambaldi, M., Ecker, W., Kruse, T., &#38; Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. <i>Proceedings of FDL’04</i>.  Forum on specification and Design Languages, Lille, France.","mla":"Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” <i>Proceedings of FDL’04</i>, 2004.","bibtex":"@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France}, title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}, year={2004} }","short":"M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004."},"place":"Lille, France","year":"2004","conference":{"name":" Forum on specification and Design Languages","location":"Lille, France"},"title":"The Formal Simulation Semantics of SystemVerilog","date_created":"2023-01-24T08:49:51Z","author":[{"first_name":"Martin","full_name":"Zambaldi, Martin","last_name":"Zambaldi"},{"first_name":"Wolfgang","full_name":"Ecker, Wolfgang","last_name":"Ecker"},{"first_name":"Thilo","last_name":"Kruse","full_name":"Kruse, Thilo"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_updated":"2023-01-24T08:49:57Z"},{"language":[{"iso":"eng"}],"_id":"39060","department":[{"_id":"672"}],"user_id":"5786","status":"public","publication":"Proceedings of DATE’04","type":"conference","title":"Model-Based Specification and Execution of Embedded Real-Time Systems","date_updated":"2023-01-24T08:51:22Z","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_created":"2023-01-24T08:51:13Z","year":"2004","place":"Paris","citation":{"chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” In <i>Proceedings of DATE’04</i>. Paris, 2004.","ieee":"T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of Embedded Real-Time Systems,” 2004.","ama":"Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded Real-Time Systems. In: <i>Proceedings of DATE’04</i>. ; 2004.","bibtex":"@inproceedings{Schattkowsky_Müller_2004, place={Paris}, title={Model-Based Specification and Execution of Embedded Real-Time Systems}, booktitle={Proceedings of DATE’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” <i>Proceedings of DATE’04</i>, 2004.","short":"T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. <i>Proceedings of DATE’04</i>."}},{"department":[{"_id":"672"}],"user_id":"5786","_id":"39061","language":[{"iso":"eng"}],"keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"publication":"Proceedings of DATE’04 Designers' Forum","type":"conference","status":"public","abstract":[{"text":"This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit.","lang":"eng"}],"date_created":"2023-01-24T08:53:26Z","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"},{"full_name":"Oliver, Ian","last_name":"Oliver","first_name":"Ian"}],"date_updated":"2023-01-24T08:53:31Z","conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"doi":"10.1109/DATE.2004.1269214","title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","publication_identifier":{"isbn":["0-7695-2085-5"]},"citation":{"bibtex":"@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }","mla":"Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.","apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. <i>Proceedings of DATE’04 Designers’ Forum</i>. Proceedings Design, Automation and Test in Europe Conference and Exhibition. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>","ama":"Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: <i>Proceedings of DATE’04 Designers’ Forum</i>. ; 2004. doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>","ieee":"A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In <i>Proceedings of DATE’04 Designers’ Forum</i>. Paris, 2004. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>."},"year":"2004","place":"Paris"},{"place":"Magdeburg","year":"2004","citation":{"apa":"Müller, W., &#38; Paelke, V. (2004). A Formal Model of a Framework for Simulation-Based Animation. <i>Proceedings of the Simulation and Visualisation 2004</i>.","bibtex":"@inproceedings{Müller_Paelke_2004, place={Magdeburg}, title={A Formal Model of a Framework for Simulation-Based Animation}, booktitle={Proceedings of the Simulation and Visualisation 2004}, author={Müller, Wolfgang and Paelke, Volker}, year={2004} }","mla":"Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” <i>Proceedings of the Simulation and Visualisation 2004</i>, 2004.","short":"W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.","ama":"Müller W, Paelke V. A Formal Model of a Framework for Simulation-Based Animation. In: <i>Proceedings of the Simulation and Visualisation 2004</i>. ; 2004.","ieee":"W. Müller and V. Paelke, “A Formal Model of a Framework for Simulation-Based Animation,” 2004.","chicago":"Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” In <i>Proceedings of the Simulation and Visualisation 2004</i>. Magdeburg, 2004."},"status":"public","type":"conference","publication":"Proceedings of the Simulation and Visualisation 2004","title":"A Formal Model of a Framework for Simulation-Based Animation","language":[{"iso":"eng"}],"date_updated":"2023-01-24T08:55:46Z","_id":"39063","date_created":"2023-01-24T08:55:41Z","author":[{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"full_name":"Paelke, Volker","last_name":"Paelke","first_name":"Volker"}],"user_id":"5786","department":[{"_id":"672"}]},{"publication_identifier":{"isbn":["0-7695-2051-0"]},"citation":{"ama":"Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: <i>Proceedings of AINA2004</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>","chicago":"Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” In <i>Proceedings of AINA2004</i>. Fukuoka, Japan : IEEE, 2004. <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">https://doi.org/10.1109/AINA.2004.1283977</a>.","ieee":"T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks,” presented at the  18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan , 2004, doi: <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>.","apa":"Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. <i>Proceedings of AINA2004</i>.  18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">https://doi.org/10.1109/AINA.2004.1283977</a>","bibtex":"@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan }, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, DOI={<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>}, booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}, year={2004} }","short":"T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.","mla":"Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” <i>Proceedings of AINA2004</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>."},"place":"Fukuoka, Japan ","year":"2004","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"first_name":"Chris","last_name":"Loeser","full_name":"Loeser, Chris"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_created":"2023-01-24T09:05:58Z","publisher":"IEEE","date_updated":"2023-01-24T09:06:02Z","doi":"10.1109/AINA.2004.1283977","conference":{"location":"Fukuoka, Japan ","name":" 18th International Conference on Advanced Information Networking and Applications"},"title":"Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks","type":"conference","publication":"Proceedings of AINA2004","status":"public","abstract":[{"lang":"eng","text":"The interconnection of software components is a key to enabling collaborative work. However, technology differences and security barriers like firewalls often hinder establishing collaborative infrastructures between enterprises or even within a single enterprise. We introduce a peer-to-peer based network infrastructure that transparently overcomes these problems using relay and routing mechanisms as well as different underlying transport protocols. We discuss the application of this technology to interconnect Web services."}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39071","language":[{"iso":"eng"}],"keyword":["Peer to peer computing","Web services","Intelligent networks","Routing","Relays","Simple object access protocol","Collaborative work","Transport protocols","Network address translation","Java"]},{"publication_identifier":{"isbn":["0-7695-2222-X"]},"citation":{"bibtex":"@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }","short":"S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.","mla":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” <i>Proceedings of SEFM´04</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","apa":"Flake, S., &#38; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. <i>Proceedings of SEFM´04</i>.  Proceedings of the Second International Conference on Software Engineering and Formal Methods. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>","chicago":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In <i>Proceedings of SEFM´04</i>. Beijing, China: IEEE, 2004. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>.","ieee":"S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the  Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","ama":"Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: <i>Proceedings of SEFM´04</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>"},"place":"Beijing, China","year":"2004","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_created":"2023-01-24T09:03:36Z","publisher":"IEEE","date_updated":"2023-01-24T09:03:41Z","doi":"10.1109/SEFM.2004.1347516","conference":{"name":" Proceedings of the Second International Conference on Software Engineering and Formal Methods"},"title":"Past- and Future-Oriented Time-Bound Temporal Properties with OCL","publication":"Proceedings of SEFM´04","type":"conference","status":"public","abstract":[{"lang":"eng","text":"We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system."}],"department":[{"_id":"672"}],"user_id":"5786","_id":"39069","language":[{"iso":"eng"}],"keyword":["Unified modeling language","Logic","Clocks","Boolean functions","Application software","Time factors","Real time systems","Formal verification","Buffer storage","Software packages"]},{"status":"public","publication":"Proceedings of the Simulation and Visualisation 2004","type":"conference","language":[{"iso":"eng"}],"_id":"39065","department":[{"_id":"672"}],"user_id":"5786","year":"2004","place":"Magdeburg","citation":{"ama":"Gausemeier J, Müller W, Bauch J, Radkowski W, Shen T, Paelke V. Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. In: <i>Proceedings of the Simulation and Visualisation 2004</i>. ; 2004.","chicago":"Gausemeier, Jürgen, Wolfgang Müller, Jürgen Bauch, W. Radkowski, T. Shen, and Volker Paelke. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” In <i>Proceedings of the Simulation and Visualisation 2004</i>. Magdeburg, 2004.","ieee":"J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, and V. Paelke, “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality,” 2004.","mla":"Gausemeier, Jürgen, et al. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” <i>Proceedings of the Simulation and Visualisation 2004</i>, 2004.","bibtex":"@inproceedings{Gausemeier_Müller_Bauch_Radkowski_Shen_Paelke_2004, place={Magdeburg}, title={Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality}, booktitle={Proceedings of the Simulation and Visualisation 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Bauch, Jürgen and Radkowski, W. and Shen, T. and Paelke, Volker}, year={2004} }","short":"J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.","apa":"Gausemeier, J., Müller, W., Bauch, J., Radkowski, W., Shen, T., &#38; Paelke, V. (2004). Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. <i>Proceedings of the Simulation and Visualisation 2004</i>."},"title":"Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality","date_updated":"2023-01-24T08:59:54Z","author":[{"first_name":"Jürgen","full_name":"Gausemeier, Jürgen","id":"163","last_name":"Gausemeier"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Bauch, Jürgen","last_name":"Bauch","first_name":"Jürgen"},{"first_name":"W.","last_name":"Radkowski","full_name":"Radkowski, W."},{"full_name":"Shen, T.","last_name":"Shen","first_name":"T."},{"first_name":"Volker","last_name":"Paelke","full_name":"Paelke, Volker"}],"date_created":"2023-01-24T08:59:50Z"},{"title":"Model-Based Design of Embedded Systems","language":[{"iso":"eng"}],"_id":"39068","date_updated":"2023-01-24T09:01:21Z","department":[{"_id":"672"}],"date_created":"2023-01-24T09:01:16Z","author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"user_id":"5786","year":"2004","place":"WIen","status":"public","citation":{"ieee":"T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” 2004.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” In <i>Proceedings of ISORC’04</i>. WIen, 2004.","ama":"Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: <i>Proceedings of ISORC’04</i>. ; 2004.","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Design of Embedded Systems. <i>Proceedings of ISORC’04</i>.","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” <i>Proceedings of ISORC’04</i>, 2004.","short":"T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.","bibtex":"@inproceedings{Schattkowsky_Müller_2004, place={WIen}, title={Model-Based Design of Embedded Systems}, booktitle={Proceedings of ISORC’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }"},"publication":"Proceedings of ISORC’04","type":"conference"}]