---
_id: '40110'
author:
- first_name: Sabine
full_name: Schmitz, Sabine
id: '21675'
last_name: Schmitz
citation:
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. 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; 2004:25-42.'
apa: 'Schmitz, S. (2004). La langue de Bruegel dans le théâtre des Pays-Bas espagnols
du XVIème siècle. 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 (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} }'
chicago: 'Schmitz, Sabine. “La Langue de Bruegel Dans Le Théâtre Des Pays-Bas Espagnols
Du XVIème Siècle.” In 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, 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 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, S. Schmitz and H. Roland, Eds. Bruxelles, Frankfurt a.M.: Peter
Lang, 2004, pp. 25–42.'
mla: 'Schmitz, Sabine. “La Langue de Bruegel Dans Le Théâtre Des Pays-Bas Espagnols
Du XVIème Siècle.” 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, edited by Sabine Schmitz and Hubert Roland, Peter Lang, 2004, pp.
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.'
date_created: 2023-01-25T20:19:17Z
date_updated: 2024-09-03T10:30:47Z
editor:
- first_name: Sabine
full_name: Schmitz, Sabine
last_name: Schmitz
- first_name: Hubert
full_name: Roland, Hubert
last_name: Roland
language:
- iso: eng
page: ' 25-42'
place: Bruxelles, Frankfurt a.M.
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'
publication_identifier:
isbn:
- '9783631510759'
publisher: Peter Lang
status: public
title: La langue de Bruegel dans le théâtre des Pays-Bas espagnols du XVIème siècle
type: book_chapter
user_id: '21675'
year: '2004'
...
---
_id: '39813'
author:
- first_name: Sabine
full_name: Schmitz, Sabine
id: '21675'
last_name: Schmitz
citation:
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. «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; 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 & 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 (pp. 223–240).
Peter Lang.'
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} }'
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 «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, 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 «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, S. Schmitz and J. Canas Murillo, Eds. Frankfurt
a.M.: Peter Lang, 2004, pp. 223–240.'
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.”
«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, 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.'
date_created: 2023-01-24T20:42:01Z
date_updated: 2024-09-03T10:31:46Z
editor:
- first_name: Sabine
full_name: Schmitz, Sabine
last_name: Schmitz
- first_name: Jesus
full_name: Canas Murillo, Jesus
last_name: Canas Murillo
language:
- iso: eng
page: 223-240
place: Frankfurt a.M.
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'
publication_identifier:
isbn:
- '9783631519868'
publisher: Peter Lang
status: public
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
type: book_chapter
user_id: '21675'
year: '2004'
...
---
_id: '39810'
citation:
ama: Schmitz S, Roland H, 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; 2004.
apa: Schmitz, S., & Roland, H. (Eds.). (2004). 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.
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} }'
chicago: 'Schmitz, Sabine, and Hubert 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. Bruxelles, Frankfurt a.M: Peter Lang,
2004.'
ieee: 'S. Schmitz and 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. Bruxelles, Frankfurt a.M: Peter Lang, 2004.'
mla: Schmitz, Sabine, and Hubert Roland, editors. 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, 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.
date_created: 2023-01-24T20:37:41Z
date_updated: 2024-09-03T10:31:41Z
editor:
- first_name: Sabine
full_name: Schmitz, Sabine
id: '21675'
last_name: Schmitz
- first_name: 'Hubert '
full_name: 'Roland, Hubert '
last_name: Roland
language:
- iso: eng
page: '294'
place: Bruxelles, Frankfurt a.M
publication_identifier:
isbn:
- '9783631510759'
publisher: Peter Lang
status: public
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
type: book_editor
user_id: '21675'
year: '2004'
...
---
_id: '39812'
citation:
ama: 'Schmitz S, Canas Murillo J, 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
; 2004.'
apa: 'Schmitz, S., & Canas Murillo, J. (Eds.). (2004). «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 .'
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} }'
chicago: 'Schmitz, Sabine, and Jesus 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.
Frankfurt a.M: Peter Lang , 2004.'
ieee: 'S. Schmitz and 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. Frankfurt
a.M: Peter Lang , 2004.'
mla: 'Schmitz, Sabine, and Jesus Canas Murillo, editors. «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 , 2004.'
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.'
date_created: 2023-01-24T20:40:01Z
date_updated: 2024-09-03T10:31:44Z
editor:
- first_name: Sabine
full_name: Schmitz, Sabine
id: '21675'
last_name: Schmitz
- first_name: 'Jesus '
full_name: 'Canas Murillo, Jesus '
last_name: Canas Murillo
language:
- iso: eng
page: '276'
place: Frankfurt a.M
publication_identifier:
isbn:
- '9783631519868'
publisher: 'Peter Lang '
status: public
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'
type: book_editor
user_id: '21675'
year: '2004'
...
---
_id: '37214'
author:
- first_name: Jutta
full_name: Weber, Jutta
id: '31494'
last_name: Weber
citation:
ama: 'Weber J. Performing post / trans / techno / queer. Pluralisierung als Selbst-
und Machttechnologie. In: Gender Studies: Standorte – Zukunftsräume. Königshausen
& Neumann; 2004:111-121.'
apa: 'Weber, J. (2004). Performing post / trans / techno / queer. Pluralisierung
als Selbst- und Machttechnologie. In Gender Studies: Standorte – Zukunftsräume
(pp. 111–121). Königshausen & 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 & Neumann}, author={Weber, Jutta}, year={2004}, pages={111–121}
}'
chicago: 'Weber, Jutta. “Performing post / trans / techno / queer. Pluralisierung
als Selbst- und Machttechnologie.” In Gender Studies: Standorte – Zukunftsräume,
111–21. Königshausen & Neumann, 2004.'
ieee: 'J. Weber, “Performing post / trans / techno / queer. Pluralisierung als Selbst-
und Machttechnologie,” in Gender Studies: Standorte – Zukunftsräume, Königshausen
& Neumann, 2004, pp. 111–121.'
mla: 'Weber, Jutta. “Performing post / trans / techno / queer. Pluralisierung als
Selbst- und Machttechnologie.” Gender Studies: Standorte – Zukunftsräume,
Königshausen & Neumann, 2004, pp. 111–21.'
short: 'J. Weber, in: Gender Studies: Standorte – Zukunftsräume, Königshausen &
Neumann, 2004, pp. 111–121.'
date_created: 2023-01-18T07:20:32Z
date_updated: 2023-01-18T07:21:24Z
department:
- _id: '411'
extern: '1'
language:
- iso: ger
main_file_link:
- open_access: '1'
url: https://juttaweber.eu/wordpress/wp-content/uploads/2021/03/Weber_Performing-Post-Trans-Techno-Queer.pdf
oa: '1'
page: 111-121
publication: 'Gender Studies: Standorte – Zukunftsräume'
publisher: Königshausen & Neumann
status: public
title: Performing post / trans / techno / queer. Pluralisierung als Selbst- und Machttechnologie
type: book_chapter
user_id: '14932'
year: '2004'
...
---
_id: '37216'
author:
- first_name: Jutta
full_name: Weber, Jutta
id: '31494'
last_name: Weber
- first_name: Angelika
full_name: Saupe, Angelika
last_name: Saupe
citation:
ama: 'Weber J, Saupe A. Wir sind immer mittendrin? Transdisziplinarität in der feministischen
Natur- und Technowissenschaftsforschung. In: Dokumentation 29. Kongreß von
Frauen in Naturwissenschaft und Technik. ; 2004:300-307.'
apa: Weber, J., & Saupe, A. (2004). Wir sind immer mittendrin? Transdisziplinarität
in der feministischen Natur- und Technowissenschaftsforschung. Dokumentation
29. Kongreß von Frauen in Naturwissenschaft und Technik, 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} }'
chicago: Weber, Jutta, and Angelika Saupe. “Wir sind immer mittendrin? Transdisziplinarität
in der feministischen Natur- und Technowissenschaftsforschung.” In Dokumentation
29. Kongreß von Frauen in Naturwissenschaft und Technik, 300–307. Berlin,
2004.
ieee: J. Weber and A. Saupe, “Wir sind immer mittendrin? Transdisziplinarität in
der feministischen Natur- und Technowissenschaftsforschung,” in Dokumentation
29. Kongreß von Frauen in Naturwissenschaft und Technik, 2004, pp. 300–307.
mla: Weber, Jutta, and Angelika Saupe. “Wir sind immer mittendrin? Transdisziplinarität
in der feministischen Natur- und Technowissenschaftsforschung.” Dokumentation
29. Kongreß von Frauen in Naturwissenschaft und Technik, 2004, pp. 300–07.
short: 'J. Weber, A. Saupe, in: Dokumentation 29. Kongreß von Frauen in Naturwissenschaft
und Technik, Berlin, 2004, pp. 300–307.'
date_created: 2023-01-18T07:26:54Z
date_updated: 2023-01-18T07:27:14Z
department:
- _id: '411'
extern: '1'
language:
- iso: ger
page: 300-307
place: Berlin
publication: Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik
status: public
title: Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur-
und Technowissenschaftsforschung
type: conference
user_id: '14932'
year: '2004'
...
---
_id: '37217'
author:
- first_name: Jutta
full_name: Weber, Jutta
id: '31494'
last_name: Weber
citation:
ama: 'Weber J. Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre
Erkenntnispolitik. In: Doetsch B, ed. Philosophinnen im dritten Jahrtausend.
Ein Einblick in aktuelle Forschungsfelder. [Wiederabdruck]. Kleine Verlag;
2004:115-151.'
apa: 'Weber, J. (2004). Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre
Erkenntnispolitik. In B. Doetsch (Ed.), Philosophinnen im dritten Jahrtausend.
Ein Einblick in aktuelle Forschungsfelder ([Wiederabdruck], pp. 115–151).
Kleine Verlag.'
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 Philosophinnen im dritten Jahrtausend.
Ein Einblick in aktuelle Forschungsfelder, edited by Brigitte Doetsch, [Wiederabdruck].,
115–51. Bielefeld: Kleine Verlag, 2004.'
ieee: 'J. Weber, “Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre
Erkenntnispolitik,” in Philosophinnen im dritten Jahrtausend. Ein Einblick
in aktuelle Forschungsfelder, [Wiederabdruck]., B. Doetsch, Ed. Bielefeld:
Kleine Verlag, 2004, pp. 115–151.'
mla: 'Weber, Jutta. “Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre
Erkenntnispolitik.” Philosophinnen im dritten Jahrtausend. Ein Einblick in
aktuelle Forschungsfelder, 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.'
date_created: 2023-01-18T07:31:12Z
date_updated: 2023-01-18T07:31:46Z
department:
- _id: '411'
edition: '[Wiederabdruck]'
editor:
- first_name: Brigitte
full_name: Doetsch, Brigitte
last_name: Doetsch
extern: '1'
language:
- iso: ger
main_file_link:
- open_access: '1'
url: https://juttaweber.eu/images/stories/dokumente/Weber_hybrideTechnologien.pdf
oa: '1'
page: 115-151
place: Bielefeld
publication: Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder
publisher: Kleine Verlag
status: public
title: 'Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre Erkenntnispolitik'
type: book_chapter
user_id: '14932'
year: '2004'
...
---
_id: '37218'
author:
- first_name: Jutta
full_name: Weber, Jutta
id: '31494'
last_name: Weber
citation:
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. Dokumentation. Impulse zur Wissenschaftsentwicklung.
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, &
Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften,
Technik und Medizin (Eds.), Dokumentation. Impulse zur Wissenschaftsentwicklung
([Wiederabdruck], Vol. 4, 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} }'
chicago: Weber, Jutta. “Turbulente Körper, emergente Maschinen? Über Körperkonzepte
in Robotik und neuerer Technikkritik.” In Dokumentation. Impulse zur Wissenschaftsentwicklung,
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.
ieee: J. Weber, “Turbulente Körper, emergente Maschinen? Über Körperkonzepte in
Robotik und neuerer Technikkritik,” in Dokumentation. Impulse zur Wissenschaftsentwicklung,
[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.
mla: Weber, Jutta. “Turbulente Körper, emergente Maschinen? Über Körperkonzepte
in Robotik und neuerer Technikkritik.” Dokumentation. Impulse zur Wissenschaftsentwicklung,
edited by Ursula Paravicini et al., [Wiederabdruck], vol. 4, 2004, 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.'
corporate_editor:
- Niedersächsischer Forschungsverbund für Frauen-/ Geschlechterforschung in Naturwissenschaften,
Technik und Medizin
date_created: 2023-01-18T07:39:26Z
date_updated: 2023-01-18T08:23:55Z
department:
- _id: '411'
edition: '[Wiederabdruck]'
editor:
- first_name: Ursula
full_name: Paravicini, Ursula
last_name: Paravicini
- first_name: Maren
full_name: Zempel-Gino, Maren
last_name: Zempel-Gino
extern: '1'
intvolume: ' 4'
language:
- iso: ger
page: 87-104
place: Hannover
publication: Dokumentation. Impulse zur Wissenschaftsentwicklung
series_title: Wissenschaftliche Reihe NFFG
status: public
title: Turbulente Körper, emergente Maschinen? Über Körperkonzepte in Robotik und
neuerer Technikkritik
type: book_chapter
user_id: '14932'
volume: 4
year: '2004'
...
---
_id: '37709'
citation:
ama: Öhlschläger C, Neumann G, eds. Inszenierungen in Schrift und Bild. .
Aisthesis Verlag; 2004.
apa: Öhlschläger, C., & Neumann, G. (Eds.). (2004). Inszenierungen in Schrift
und Bild. . Aisthesis Verlag.
bibtex: '@book{Öhlschläger_Neumann_2004, place={Bielefeld}, title={Inszenierungen
in Schrift und Bild. }, publisher={Aisthesis Verlag}, year={2004} }'
chicago: 'Öhlschläger, Claudia, and Gerhard Neumann, eds. Inszenierungen in Schrift
und Bild. . Bielefeld: Aisthesis Verlag, 2004.'
ieee: 'C. Öhlschläger and G. Neumann, Eds., Inszenierungen in Schrift und Bild.
. Bielefeld: Aisthesis Verlag, 2004.'
mla: Öhlschläger, Claudia, and Gerhard Neumann, editors. Inszenierungen in Schrift
und Bild. . Aisthesis Verlag, 2004.
short: C. Öhlschläger, G. Neumann, eds., Inszenierungen in Schrift und Bild. , Aisthesis
Verlag, Bielefeld, 2004.
date_created: 2023-01-20T11:14:10Z
date_updated: 2023-01-20T11:15:21Z
department:
- _id: '116'
editor:
- first_name: Claudia
full_name: Öhlschläger, Claudia
id: '610'
last_name: Öhlschläger
- first_name: Gerhard
full_name: Neumann, Gerhard
last_name: Neumann
language:
- iso: ger
place: Bielefeld
publication_identifier:
isbn:
- 978-3-89528-429-8
publication_status: published
publisher: Aisthesis Verlag
related_material:
link:
- relation: original
url: https://www.aisthesis.de/epages/63645342.sf/de_DE/?ObjectPath=/Shops/63645342/Products/978-3-89528-429-8
status: public
title: 'Inszenierungen in Schrift und Bild. '
type: book_editor
user_id: '29963'
year: '2004'
...
---
_id: '22616'
author:
- first_name: C.
full_name: Hinderling, C.
last_name: Hinderling
- first_name: Y.
full_name: Keles, Y.
last_name: Keles
- first_name: T.
full_name: Stöckli, T.
last_name: Stöckli
- first_name: H. F.
full_name: Knapp, H. F.
last_name: Knapp
- first_name: Maria Teresa
full_name: de los Arcos de Pedro, Maria Teresa
id: '54556'
last_name: de los Arcos de Pedro
- first_name: P.
full_name: Oelhafen, P.
last_name: Oelhafen
- first_name: I.
full_name: Korczagin, I.
last_name: Korczagin
- first_name: M. A.
full_name: Hempenius, M. A.
last_name: Hempenius
- first_name: G. J.
full_name: Vancso, G. J.
last_name: Vancso
- first_name: R.
full_name: Pugin, R.
last_name: Pugin
- first_name: H.
full_name: Heinzelmann, H.
last_name: Heinzelmann
citation:
ama: Hinderling C, Keles Y, Stöckli T, et al. Organometallic Block Copolymers as
Catalyst Precursors for Templated Carbon Nanotube Growth. Advanced Materials.
Published online 2004:876-879. doi:10.1002/adma.200306447
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.,
& Heinzelmann, H. (2004). Organometallic Block Copolymers as Catalyst Precursors
for Templated Carbon Nanotube Growth. Advanced Materials, 876–879. https://doi.org/10.1002/adma.200306447
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={10.1002/adma.200306447},
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} }'
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.” Advanced Materials,
2004, 876–79. https://doi.org/10.1002/adma.200306447.
ieee: 'C. Hinderling et al., “Organometallic Block Copolymers as Catalyst
Precursors for Templated Carbon Nanotube Growth,” Advanced Materials, pp.
876–879, 2004, doi: 10.1002/adma.200306447.'
mla: Hinderling, C., et al. “Organometallic Block Copolymers as Catalyst Precursors
for Templated Carbon Nanotube Growth.” Advanced Materials, 2004, pp. 876–79,
doi:10.1002/adma.200306447.
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.
date_created: 2021-07-07T11:40:38Z
date_updated: 2023-01-24T08:29:17Z
department:
- _id: '302'
doi: 10.1002/adma.200306447
extern: '1'
language:
- iso: eng
page: 876-879
publication: Advanced Materials
publication_identifier:
issn:
- 0935-9648
- 1521-4095
publication_status: published
status: public
title: Organometallic Block Copolymers as Catalyst Precursors for Templated Carbon
Nanotube Growth
type: journal_article
user_id: '54556'
year: '2004'
...
---
_id: '22615'
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: Michael Gunnar
full_name: Garnier, Michael Gunnar
last_name: Garnier
- first_name: Jin Won
full_name: Seo, Jin Won
last_name: Seo
- first_name: Peter
full_name: Oelhafen, Peter
last_name: Oelhafen
- first_name: Verena
full_name: Thommen, Verena
last_name: Thommen
- first_name: Daniel
full_name: Mathys, Daniel
last_name: Mathys
citation:
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. The Journal of Physical Chemistry B. Published online 2004:7728-7734.
doi:10.1021/jp049495v
apa: de los Arcos de Pedro, M. T., Garnier, M. G., Seo, J. W., Oelhafen, P., Thommen,
V., & Mathys, D. (2004). The Influence of Catalyst Chemical State and Morphology
on Carbon Nanotube Growth. The Journal of Physical Chemistry B, 7728–7734.
https://doi.org/10.1021/jp049495v
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={10.1021/jp049495v},
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} }'
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.” The Journal of Physical
Chemistry B, 2004, 7728–34. https://doi.org/10.1021/jp049495v.
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,” The Journal of Physical Chemistry B, pp. 7728–7734, 2004,
doi: 10.1021/jp049495v.'
mla: de los Arcos de Pedro, Maria Teresa, et al. “The Influence of Catalyst Chemical
State and Morphology on Carbon Nanotube Growth.” The Journal of Physical Chemistry
B, 2004, pp. 7728–34, doi:10.1021/jp049495v.
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.
date_created: 2021-07-07T11:40:10Z
date_updated: 2023-01-24T08:29:03Z
department:
- _id: '302'
doi: 10.1021/jp049495v
extern: '1'
language:
- iso: eng
page: 7728-7734
publication: The Journal of Physical Chemistry B
publication_identifier:
issn:
- 1520-6106
- 1520-5207
publication_status: published
status: public
title: The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube
Growth
type: journal_article
user_id: '54556'
year: '2004'
...
---
_id: '39053'
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.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Steffen
full_name: Bleul, Steffen
last_name: Bleul
citation:
ama: 'Müller W, Schäfer R, Bleul S. Interactive Multimodal User Interfaces for Mobile
Devices. In: Proceedings of HICCS-37. ; 2004. doi:10.1109/HICSS.2004.1265674'
apa: Müller, W., Schäfer, R., & Bleul, S. (2004). Interactive Multimodal User
Interfaces for Mobile Devices. Proceedings of HICCS-37. 37th Annual Hawaii
International Conference on System Sciences, Waikoloa, HI, USA. https://doi.org/10.1109/HICSS.2004.1265674
bibtex: '@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive
Multimodal User Interfaces for Mobile Devices}, DOI={10.1109/HICSS.2004.1265674},
booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie
and Bleul, Steffen}, year={2004} }'
chicago: Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal
User Interfaces for Mobile Devices.” In Proceedings of HICCS-37. Waikoloa,
HI, USA, 2004. https://doi.org/10.1109/HICSS.2004.1265674.
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: 10.1109/HICSS.2004.1265674.'
mla: Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile
Devices.” Proceedings of HICCS-37, 2004, doi:10.1109/HICSS.2004.1265674.
short: 'W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa,
HI, USA, 2004.'
conference:
location: Waikoloa, HI, USA
name: 37th Annual Hawaii International Conference on System Sciences
date_created: 2023-01-24T08:46:31Z
date_updated: 2023-01-24T08:46:37Z
department:
- _id: '672'
doi: 10.1109/HICSS.2004.1265674
keyword:
- User interfaces
- Speech recognition
- Streaming media
- Specification languages
- Keyboards
- Speech synthesis
- Rendering (computer graphics)
- Ambient intelligence
- Humans
- Displays
language:
- iso: eng
place: Waikoloa, HI, USA
publication: Proceedings of HICCS-37
publication_identifier:
isbn:
- 0-7695-2056-1
status: public
title: Interactive Multimodal User Interfaces for Mobile Devices
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39055'
abstract:
- lang: eng
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.
author:
- first_name: Martin
full_name: Zambaldi, Martin
last_name: Zambaldi
- first_name: Wolfgang
full_name: Ecker, Wolfgang
last_name: Ecker
- first_name: Thilo
full_name: Kruse, Thilo
last_name: Kruse
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of
SystemVerilog. In: Proceedings of FDL’04. ; 2004.'
apa: Zambaldi, M., Ecker, W., Kruse, T., & Müller, W. (2004). The Formal Simulation
Semantics of SystemVerilog. Proceedings of FDL’04. Forum on specification
and Design Languages, Lille, France.
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} }'
chicago: Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The
Formal Simulation Semantics of SystemVerilog.” In Proceedings of FDL’04.
Lille, France, 2004.
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.
mla: Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.”
Proceedings of FDL’04, 2004.
short: 'M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille,
France, 2004.'
conference:
location: Lille, France
name: ' Forum on specification and Design Languages'
date_created: 2023-01-24T08:49:51Z
date_updated: 2023-01-24T08:49:57Z
department:
- _id: '672'
language:
- iso: eng
place: Lille, France
publication: Proceedings of FDL’04
status: public
title: The Formal Simulation Semantics of SystemVerilog
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39060'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded
Real-Time Systems. In: Proceedings of DATE’04. ; 2004.'
apa: Schattkowsky, T., & Müller, W. (2004). Model-Based Specification and Execution
of Embedded Real-Time Systems. Proceedings of DATE’04.
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} }'
chicago: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and
Execution of Embedded Real-Time Systems.” In Proceedings of DATE’04. Paris,
2004.
ieee: T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of
Embedded Real-Time Systems,” 2004.
mla: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution
of Embedded Real-Time Systems.” Proceedings of DATE’04, 2004.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.'
date_created: 2023-01-24T08:51:13Z
date_updated: 2023-01-24T08:51:22Z
department:
- _id: '672'
language:
- iso: eng
place: Paris
publication: Proceedings of DATE’04
status: public
title: Model-Based Specification and Execution of Embedded Real-Time Systems
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39061'
abstract:
- lang: eng
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.
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Ian
full_name: Oliver, Ian
last_name: Oliver
citation:
ama: 'Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo
Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004.
doi:10.1109/DATE.2004.1269214'
apa: Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model
Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum.
Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
bibtex: '@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement
and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214},
booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander
and Müller, Wolfgang and Oliver, Ian}, year={2004} }'
chicago: Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and
Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’
Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
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: 10.1109/DATE.2004.1269214.'
mla: Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation
Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.
short: 'A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum,
Paris, 2004.'
conference:
name: Proceedings Design, Automation and Test in Europe Conference and Exhibition
date_created: 2023-01-24T08:53:26Z
date_updated: 2023-01-24T08:53:31Z
department:
- _id: '672'
doi: 10.1109/DATE.2004.1269214
keyword:
- Echo cancellers
- Logic
- Unified modeling language
- Automata
- Data structures
- Boolean functions
- Electronic design automation and methodology
- Prototypes
- Specification languages
- Constraint theory
language:
- iso: eng
place: Paris
publication: Proceedings of DATE’04 Designers' Forum
publication_identifier:
isbn:
- 0-7695-2085-5
status: public
title: Formal Refinement and Model Checking of An Echo Cancellation Unit
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39063'
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Volker
full_name: Paelke, Volker
last_name: Paelke
citation:
ama: 'Müller W, Paelke V. A Formal Model of a Framework for Simulation-Based Animation.
In: Proceedings of the Simulation and Visualisation 2004. ; 2004.'
apa: Müller, W., & Paelke, V. (2004). A Formal Model of a Framework for Simulation-Based
Animation. Proceedings of the Simulation and Visualisation 2004.
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} }'
chicago: Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for
Simulation-Based Animation.” In Proceedings of the Simulation and Visualisation
2004. Magdeburg, 2004.
ieee: W. Müller and V. Paelke, “A Formal Model of a Framework for Simulation-Based
Animation,” 2004.
mla: Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based
Animation.” Proceedings of the Simulation and Visualisation 2004, 2004.
short: 'W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation
2004, Magdeburg, 2004.'
date_created: 2023-01-24T08:55:41Z
date_updated: 2023-01-24T08:55:46Z
department:
- _id: '672'
language:
- iso: eng
place: Magdeburg
publication: Proceedings of the Simulation and Visualisation 2004
status: public
title: A Formal Model of a Framework for Simulation-Based Animation
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39071'
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.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Chris
full_name: Loeser, Chris
last_name: Loeser
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting
Web Services in Heterogeneous Networks. In: Proceedings of AINA2004. IEEE;
2004. doi:10.1109/AINA.2004.1283977'
apa: Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology
for Interconnecting Web Services in Heterogeneous Networks. Proceedings of
AINA2004. 18th International Conference on Advanced Information Networking
and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
bibtex: '@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan },
title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous
Networks}, DOI={10.1109/AINA.2004.1283977},
booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim
and Loeser, Chris and Müller, Wolfgang}, year={2004} }'
chicago: 'Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology
for Interconnecting Web Services in Heterogeneous Networks.” In Proceedings
of AINA2004. Fukuoka, Japan : IEEE, 2004. https://doi.org/10.1109/AINA.2004.1283977.'
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: 10.1109/AINA.2004.1283977.'
mla: Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web
Services in Heterogeneous Networks.” Proceedings of AINA2004, IEEE, 2004,
doi:10.1109/AINA.2004.1283977.
short: 'T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE,
Fukuoka, Japan , 2004.'
conference:
location: 'Fukuoka, Japan '
name: ' 18th International Conference on Advanced Information Networking and Applications'
date_created: 2023-01-24T09:05:58Z
date_updated: 2023-01-24T09:06:02Z
department:
- _id: '672'
doi: 10.1109/AINA.2004.1283977
keyword:
- Peer to peer computing
- Web services
- Intelligent networks
- Routing
- Relays
- Simple object access protocol
- Collaborative work
- Transport protocols
- Network address translation
- Java
language:
- iso: eng
place: 'Fukuoka, Japan '
publication: Proceedings of AINA2004
publication_identifier:
isbn:
- 0-7695-2051-0
publisher: IEEE
status: public
title: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39069'
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.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties
with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516'
apa: Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal
Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second
International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
bibtex: '@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past-
and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516},
booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and
Müller, Wolfgang}, year={2004} }'
chicago: 'Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China:
IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.'
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: 10.1109/SEFM.2004.1347516.'
mla: Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
short: 'S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.'
conference:
name: ' Proceedings of the Second International Conference on Software Engineering
and Formal Methods'
date_created: 2023-01-24T09:03:36Z
date_updated: 2023-01-24T09:03:41Z
department:
- _id: '672'
doi: 10.1109/SEFM.2004.1347516
keyword:
- Unified modeling language
- Logic
- Clocks
- Boolean functions
- Application software
- Time factors
- Real time systems
- Formal verification
- Buffer storage
- Software packages
language:
- iso: eng
place: Beijing, China
publication: Proceedings of SEFM´04
publication_identifier:
isbn:
- 0-7695-2222-X
publisher: IEEE
status: public
title: Past- and Future-Oriented Time-Bound Temporal Properties with OCL
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39065'
author:
- first_name: Jürgen
full_name: Gausemeier, Jürgen
id: '163'
last_name: Gausemeier
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Jürgen
full_name: Bauch, Jürgen
last_name: Bauch
- first_name: W.
full_name: Radkowski, W.
last_name: Radkowski
- first_name: T.
full_name: Shen, T.
last_name: Shen
- first_name: Volker
full_name: Paelke, Volker
last_name: Paelke
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: Proceedings of the Simulation and Visualisation 2004. ; 2004.'
apa: Gausemeier, J., Müller, W., Bauch, J., Radkowski, W., Shen, T., & Paelke,
V. (2004). Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden
Mechatronischen Systemen in Virtual Reality. Proceedings of the Simulation
and Visualisation 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} }'
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 Proceedings of the Simulation
and Visualisation 2004. 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.” Proceedings
of the Simulation and Visualisation 2004, 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.'
date_created: 2023-01-24T08:59:50Z
date_updated: 2023-01-24T08:59:54Z
department:
- _id: '672'
language:
- iso: eng
place: Magdeburg
publication: Proceedings of the Simulation and Visualisation 2004
status: public
title: Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen
Systemen in Virtual Reality
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39068'
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: Proceedings
of ISORC’04. ; 2004.'
apa: Schattkowsky, T., & Müller, W. (2004). Model-Based Design of Embedded Systems.
Proceedings of ISORC’04.
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} }'
chicago: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded
Systems.” In Proceedings of ISORC’04. WIen, 2004.
ieee: T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” 2004.
mla: Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.”
Proceedings of ISORC’04, 2004.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.'
date_created: 2023-01-24T09:01:16Z
date_updated: 2023-01-24T09:01:21Z
department:
- _id: '672'
language:
- iso: eng
place: WIen
publication: Proceedings of ISORC’04
status: public
title: Model-Based Design of Embedded Systems
type: conference
user_id: '5786'
year: '2004'
...