---
_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'
...
---
_id: '39078'
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: Volker
full_name: Paelke, Volker
last_name: Paelke
- first_name: Jürgen
full_name: Bauch, Jürgen
last_name: Bauch
- first_name: Q.
full_name: Shen, Q.
last_name: Shen
- first_name: 'R. '
full_name: 'Radkowski, R. '
last_name: Radkowski
citation:
ama: 'Gausemeier J, Müller W, Paelke V, Bauch J, Shen Q, Radkowski R. Virtual Prototyping
Of Self-Optimizing Mechatronic Systems. In: Proceedings of the Design 2004.
; 2004.'
apa: Gausemeier, J., Müller, W., Paelke, V., Bauch, J., Shen, Q., & Radkowski,
R. (2004). Virtual Prototyping Of Self-Optimizing Mechatronic Systems. Proceedings
of the Design 2004. 8th International Design Conference , Dubrovnik.
bibtex: '@inproceedings{Gausemeier_Müller_Paelke_Bauch_Shen_Radkowski_2004, place={Dubrovnik},
title={Virtual Prototyping Of Self-Optimizing Mechatronic Systems}, booktitle={Proceedings
of the Design 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Paelke,
Volker and Bauch, Jürgen and Shen, Q. and Radkowski, R. }, year={2004} }'
chicago: Gausemeier, Jürgen, Wolfgang Müller, Volker Paelke, Jürgen Bauch, Q. Shen,
and R. Radkowski. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.”
In Proceedings of the Design 2004. Dubrovnik, 2004.
ieee: J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, and R. Radkowski,
“Virtual Prototyping Of Self-Optimizing Mechatronic Systems,” presented at the
8th International Design Conference , Dubrovnik, 2004.
mla: Gausemeier, Jürgen, et al. “Virtual Prototyping Of Self-Optimizing Mechatronic
Systems.” Proceedings of the Design 2004, 2004.
short: 'J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in:
Proceedings of the Design 2004, Dubrovnik, 2004.'
conference:
location: Dubrovnik
name: '8th International Design Conference '
date_created: 2023-01-24T09:12:31Z
date_updated: 2023-01-24T09:12:40Z
department:
- _id: '672'
keyword:
- mechatronic systems
- self-optimization
- virtual prototyping
language:
- iso: eng
place: Dubrovnik
publication: Proceedings of the Design 2004
status: public
title: Virtual Prototyping Of Self-Optimizing Mechatronic Systems
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39075'
author:
- first_name: Chris
full_name: Loeser, Chris
last_name: Loeser
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Marek
full_name: Borowski, Marek
last_name: Borowski
citation:
ama: 'Loeser C, Schäfer R, Müller W, Borowski M. RTMC - An Adaptive Fraemwork for
Remote Tool Monitoring and Control. In: Proceedings of SCI’04. ; 2004.'
apa: Loeser, C., Schäfer, R., Müller, W., & Borowski, M. (2004). RTMC - An Adaptive
Fraemwork for Remote Tool Monitoring and Control. Proceedings of SCI’04.
bibtex: '@inproceedings{Loeser_Schäfer_Müller_Borowski_2004, place={Orlando, USA},
title={RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control}, booktitle={Proceedings
of SCI’04}, author={Loeser, Chris and Schäfer, Robbie and Müller, Wolfgang and
Borowski, Marek}, year={2004} }'
chicago: Loeser, Chris, Robbie Schäfer, Wolfgang Müller, and Marek Borowski. “RTMC
- An Adaptive Fraemwork for Remote Tool Monitoring and Control.” In Proceedings
of SCI’04. Orlando, USA, 2004.
ieee: C. Loeser, R. Schäfer, W. Müller, and M. Borowski, “RTMC - An Adaptive Fraemwork
for Remote Tool Monitoring and Control,” 2004.
mla: Loeser, Chris, et al. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring
and Control.” Proceedings of SCI’04, 2004.
short: 'C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04,
Orlando, USA, 2004.'
date_created: 2023-01-24T09:09:31Z
date_updated: 2023-01-24T09:09:36Z
department:
- _id: '672'
language:
- iso: eng
place: Orlando, USA
publication: Proceedings of SCI’04
status: public
title: RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39082'
abstract:
- lang: eng
text: The provision of personalized user interfaces for mobile de-vices is a challenging
task since different devices with vary-ing capabilities and interaction modalities
have to be sup-ported. Multiple variants of different UIs for one application
almost enforces the employment of a model-based approach in order to design one
interface and to adapt to or render it on those devices. This position paper presents
a new dia-log modelling language named DISL (Dialog and Interface Specification
Language) that is based on UIML and DSN (Dialog Specification Notation). DISL
supports the mod-elling of advanced dialogs in a comprehensive way. The dialog
descriptions are device-and modality-agnostic and therefore highly scalable with
focus on limited devices, like mobile phones.
author:
- first_name: Steffen
full_name: Bleul, Steffen
last_name: Bleul
- 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
citation:
ama: 'Bleul S, Müller W, Schäfer R. Multimodal Dialog Description for Mobile Devices.
In: Proceedings of AVI 2004. ; 2004.'
apa: Bleul, S., Müller, W., & Schäfer, R. (2004). Multimodal Dialog Description
for Mobile Devices. Proceedings of AVI 2004.
bibtex: '@inproceedings{Bleul_Müller_Schäfer_2004, place={Gallipoli, Italy}, title={Multimodal
Dialog Description for Mobile Devices}, booktitle={Proceedings of AVI 2004}, author={Bleul,
Steffen and Müller, Wolfgang and Schäfer, Robbie}, year={2004} }'
chicago: Bleul, Steffen, Wolfgang Müller, and Robbie Schäfer. “Multimodal Dialog
Description for Mobile Devices.” In Proceedings of AVI 2004. Gallipoli,
Italy, 2004.
ieee: S. Bleul, W. Müller, and R. Schäfer, “Multimodal Dialog Description for Mobile
Devices,” 2004.
mla: Bleul, Steffen, et al. “Multimodal Dialog Description for Mobile Devices.”
Proceedings of AVI 2004, 2004.
short: 'S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli,
Italy, 2004.'
date_created: 2023-01-24T09:14:04Z
date_updated: 2023-01-24T09:14:08Z
department:
- _id: '672'
language:
- iso: eng
place: Gallipoli, Italy
publication: Proceedings of AVI 2004
status: public
title: Multimodal Dialog Description for Mobile Devices
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39350'
abstract:
- lang: eng
text: Variation in different mobile devices with different capabilities and interaction
modalities as well as changing user context in nomadic applications, poses huge
challenges to the design of user interfaces. To avoid multiple designs for each
device or modality, it is almost a must to employ a model-based approach. In this
short paper, we present a new dialog model for multimodal interaction together
with an advanced control model, which can either be used for direct modeling by
an interface designer or in conjunction with higher level models.
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Steffen
full_name: Bleul, Steffen
last_name: Bleul
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal
User Interfaces. In: Proceedings of EHCI-DSVIS 2005. Lecture Notes in Computer
Science . ; 2004.'
apa: Schäfer, R., Bleul, S., & Müller, W. (2004). A Novel Dialog Model for the
Design of Multimodal User Interfaces. Proceedings of EHCI-DSVIS 2005.
bibtex: '@inproceedings{Schäfer_Bleul_Müller_2004, place={Tremsbüttel, Hamburg},
series={Lecture Notes in Computer Science }, title={A Novel Dialog Model for the
Design of Multimodal User Interfaces}, booktitle={Proceedings of EHCI-DSVIS 2005},
author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2004},
collection={Lecture Notes in Computer Science } }'
chicago: Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model
for the Design of Multimodal User Interfaces.” In Proceedings of EHCI-DSVIS
2005. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.
ieee: R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design
of Multimodal User Interfaces,” 2004.
mla: Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal
User Interfaces.” Proceedings of EHCI-DSVIS 2005, 2004.
short: 'R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel,
Hamburg, 2004.'
date_created: 2023-01-24T09:26:58Z
date_updated: 2023-01-24T09:27:03Z
department:
- _id: '672'
keyword:
- Multimodal User Interface High Level Model Multimodal User High Level
Approach Dialog Model
language:
- iso: eng
place: Tremsbüttel, Hamburg
publication: Proceedings of EHCI-DSVIS 2005
series_title: 'Lecture Notes in Computer Science '
status: public
title: A Novel Dialog Model for the Design of Multimodal User Interfaces
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39352'
abstract:
- lang: eng
text: The recently adopted OCL 2.0 specification comes with a formal semantics that
is based on set theory with a notion of an object model and system states. System
states keep the runtime information relevant for the evaluation of OCL expressions.
However, not all new language concepts of OCL 2.0 are already addressed in that
formal semantics. We show how to overcome this by introducing new components to
the object model and system states defining a dynamic semantics of OCL. In order
to give precise rules that determine when the current system state has to be updated
according to a change in the referred UML model, we make use of adequate mathematical
means, namely Abstract State Machines (ASMs). Though our ASM specification also
gives a clear definition for the evaluation of OCL constraints, it leaves sufficient
flexibility for application specific implementations that have to determine when
constraints are to be checked.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
citation:
ama: 'Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In:
Proceedings of the UML 2004. ; 2004. doi:10.1007/978-3-540-30187-5_17'
apa: Flake, S., & Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0
Semantics. Proceedings of the UML 2004. https://doi.org/10.1007/978-3-540-30187-5_17
bibtex: '@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM
Definition of the Dynamic OCL 2.0 Semantics}, DOI={10.1007/978-3-540-30187-5_17},
booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang},
year={2004} }'
chicago: Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic
OCL 2.0 Semantics.” In Proceedings of the UML 2004. Lisbon, Portugal, 2004.
https://doi.org/10.1007/978-3-540-30187-5_17.
ieee: 'S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,”
2004, doi: 10.1007/978-3-540-30187-5_17.'
mla: Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL
2.0 Semantics.” Proceedings of the UML 2004, 2004, doi:10.1007/978-3-540-30187-5_17.
short: 'S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal,
2004.'
date_created: 2023-01-24T09:28:53Z
date_updated: 2023-01-24T09:28:58Z
department:
- _id: '672'
doi: 10.1007/978-3-540-30187-5_17
keyword:
- System State Formal Semantic Object Management Group Denotational Semantic Dynamic
Semantic
language:
- iso: eng
place: Lisbon, Portugal
publication: Proceedings of the UML 2004
publication_identifier:
eisbn:
- 978-3-540-30187-5
status: public
title: An ASM Definition of the Dynamic OCL 2.0 Semantics
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39982'
author:
- first_name: Heinz-Siegfried
full_name: Kitzerow, Heinz-Siegfried
id: '254'
last_name: Kitzerow
- first_name: J. P.
full_name: Reithmaier, J. P.
last_name: Reithmaier
citation:
ama: 'Kitzerow H-S, Reithmaier JP. Tunable Photonic Crystals using Liquid Crystals.
In: Busch K, Föll H, Lölkes S, Wehrspohn RB, eds. Photonic Crystals: Advances
in Design, Fabrication and Characterization. Wiley-VCH; 2004.'
apa: 'Kitzerow, H.-S., & Reithmaier, J. P. (2004). Tunable Photonic Crystals
using Liquid Crystals. In K. Busch, H. Föll, S. Lölkes, & R. B. Wehrspohn
(Eds.), Photonic Crystals: Advances in Design, Fabrication and Characterization.
Wiley-VCH.'
bibtex: '@inbook{Kitzerow_Reithmaier_2004, place={Weinheim}, title={Tunable Photonic
Crystals using Liquid Crystals}, booktitle={Photonic Crystals: Advances in Design,
Fabrication and Characterization}, publisher={Wiley-VCH}, author={Kitzerow, Heinz-Siegfried
and Reithmaier, J. P.}, editor={Busch, K. and Föll, H. and Lölkes, S and Wehrspohn,
R. B.}, year={2004} }'
chicago: 'Kitzerow, Heinz-Siegfried, and J. P. Reithmaier. “Tunable Photonic Crystals
Using Liquid Crystals.” In Photonic Crystals: Advances in Design, Fabrication
and Characterization, edited by K. Busch, H. Föll, S Lölkes, and R. B. Wehrspohn.
Weinheim: Wiley-VCH, 2004.'
ieee: 'H.-S. Kitzerow and J. P. Reithmaier, “Tunable Photonic Crystals using Liquid
Crystals,” in Photonic Crystals: Advances in Design, Fabrication and Characterization,
K. Busch, H. Föll, S. Lölkes, and R. B. Wehrspohn, Eds. Weinheim: Wiley-VCH, 2004.'
mla: 'Kitzerow, Heinz-Siegfried, and J. P. Reithmaier. “Tunable Photonic Crystals
Using Liquid Crystals.” Photonic Crystals: Advances in Design, Fabrication
and Characterization, edited by K. Busch et al., Wiley-VCH, 2004.'
short: 'H.-S. Kitzerow, J.P. Reithmaier, in: K. Busch, H. Föll, S. Lölkes, R.B.
Wehrspohn (Eds.), Photonic Crystals: Advances in Design, Fabrication and Characterization,
Wiley-VCH, Weinheim, 2004.'
date_created: 2023-01-25T12:04:23Z
date_updated: 2023-01-25T12:09:44Z
department:
- _id: '313'
- _id: '638'
editor:
- first_name: K.
full_name: Busch, K.
last_name: Busch
- first_name: H.
full_name: Föll, H.
last_name: Föll
- first_name: S,
full_name: Lölkes, S,
last_name: Lölkes
- first_name: R. B.
full_name: Wehrspohn, R. B.
last_name: Wehrspohn
language:
- iso: eng
place: Weinheim
publication: 'Photonic Crystals: Advances in Design, Fabrication and Characterization'
publisher: Wiley-VCH
status: public
title: Tunable Photonic Crystals using Liquid Crystals
type: book_chapter
user_id: '254'
year: '2004'
...
---
_id: '38478'
author:
- first_name: S
full_name: Bhandare, S
last_name: Bhandare
- first_name: D
full_name: Sandel, D
last_name: Sandel
- first_name: AF
full_name: Abas, AF
last_name: Abas
- first_name: B
full_name: Milivojevic, B
last_name: Milivojevic
- first_name: A
full_name: Hidayat, A
last_name: Hidayat
- first_name: Reinhold
full_name: Noé, Reinhold
id: '381'
last_name: Noé
orcid: https://orcid.org/0000-0002-5839-7616
- first_name: M
full_name: Guy, M
last_name: Guy
- first_name: A
full_name: Lapointe, A
last_name: Lapointe
citation:
ama: Bhandare S, Sandel D, Abas A, et al. 2x40 Gbit/s RZ-DQPSK transmission with
tunable chromatic dispersion compensation in 263 km fibre link. ELECTRONICS
LETTERS. 2004;40(13):821-822. doi:10.1049/el:20040542
apa: Bhandare, S., Sandel, D., Abas, A., Milivojevic, B., Hidayat, A., Noé, R.,
Guy, M., & Lapointe, A. (2004). 2x40 Gbit/s RZ-DQPSK transmission with tunable
chromatic dispersion compensation in 263 km fibre link. ELECTRONICS LETTERS,
40(13), 821–822. https://doi.org/10.1049/el:20040542
bibtex: '@article{Bhandare_Sandel_Abas_Milivojevic_Hidayat_Noé_Guy_Lapointe_2004,
title={2x40 Gbit/s RZ-DQPSK transmission with tunable chromatic dispersion compensation
in 263 km fibre link}, volume={40}, DOI={10.1049/el:20040542},
number={13}, journal={ELECTRONICS LETTERS}, author={Bhandare, S and Sandel, D
and Abas, AF and Milivojevic, B and Hidayat, A and Noé, Reinhold and Guy, M and
Lapointe, A}, year={2004}, pages={821–822} }'
chicago: 'Bhandare, S, D Sandel, AF Abas, B Milivojevic, A Hidayat, Reinhold Noé,
M Guy, and A Lapointe. “2x40 Gbit/s RZ-DQPSK Transmission with Tunable Chromatic
Dispersion Compensation in 263 Km Fibre Link.” ELECTRONICS LETTERS 40,
no. 13 (2004): 821–22. https://doi.org/10.1049/el:20040542.'
ieee: 'S. Bhandare et al., “2x40 Gbit/s RZ-DQPSK transmission with tunable
chromatic dispersion compensation in 263 km fibre link,” ELECTRONICS LETTERS,
vol. 40, no. 13, pp. 821–822, 2004, doi: 10.1049/el:20040542.'
mla: Bhandare, S., et al. “2x40 Gbit/s RZ-DQPSK Transmission with Tunable Chromatic
Dispersion Compensation in 263 Km Fibre Link.” ELECTRONICS LETTERS, vol.
40, no. 13, 2004, pp. 821–22, doi:10.1049/el:20040542.
short: S. Bhandare, D. Sandel, A. Abas, B. Milivojevic, A. Hidayat, R. Noé, M. Guy,
A. Lapointe, ELECTRONICS LETTERS 40 (2004) 821–822.
date_created: 2023-01-23T18:22:06Z
date_updated: 2023-01-25T13:49:08Z
department:
- _id: '56'
doi: 10.1049/el:20040542
intvolume: ' 40'
issue: '13'
language:
- iso: eng
page: 821-822
publication: ELECTRONICS LETTERS
publication_identifier:
issn:
- 0013-5194
status: public
title: 2x40 Gbit/s RZ-DQPSK transmission with tunable chromatic dispersion compensation
in 263 km fibre link
type: journal_article
user_id: '14931'
volume: 40
year: '2004'
...
---
_id: '38472'
author:
- first_name: D
full_name: Sandel, D
last_name: Sandel
- first_name: S
full_name: Bhandare, S
last_name: Bhandare
- first_name: AF
full_name: Abas, AF
last_name: Abas
- first_name: B
full_name: Milivojevic, B
last_name: Milivojevic
- first_name: Reinhold
full_name: Noé, Reinhold
id: '381'
last_name: Noé
orcid: https://orcid.org/0000-0002-5839-7616
- first_name: M
full_name: Guy, M
last_name: Guy
- first_name: M
full_name: Lapointe, M
last_name: Lapointe
citation:
ama: Sandel D, Bhandare S, Abas A, et al. Automatic tunable chromatic dispersion
compensation at 40 Gb/s in ASK and DPSK, NRZ, and CSRZ 263-km transmission experiments.
IEEE PHOTONICS TECHNOLOGY LETTERS. 2004;16(11):2568-2570. doi:10.1109/LPT.2004.834889
apa: Sandel, D., Bhandare, S., Abas, A., Milivojevic, B., Noé, R., Guy, M., &
Lapointe, M. (2004). Automatic tunable chromatic dispersion compensation at 40
Gb/s in ASK and DPSK, NRZ, and CSRZ 263-km transmission experiments. IEEE PHOTONICS
TECHNOLOGY LETTERS, 16(11), 2568–2570. https://doi.org/10.1109/LPT.2004.834889
bibtex: '@article{Sandel_Bhandare_Abas_Milivojevic_Noé_Guy_Lapointe_2004, title={Automatic
tunable chromatic dispersion compensation at 40 Gb/s in ASK and DPSK, NRZ, and
CSRZ 263-km transmission experiments}, volume={16}, DOI={10.1109/LPT.2004.834889},
number={11}, journal={IEEE PHOTONICS TECHNOLOGY LETTERS}, author={Sandel, D and
Bhandare, S and Abas, AF and Milivojevic, B and Noé, Reinhold and Guy, M and Lapointe,
M}, year={2004}, pages={2568–2570} }'
chicago: 'Sandel, D, S Bhandare, AF Abas, B Milivojevic, Reinhold Noé, M Guy, and
M Lapointe. “Automatic Tunable Chromatic Dispersion Compensation at 40 Gb/s in
ASK and DPSK, NRZ, and CSRZ 263-Km Transmission Experiments.” IEEE PHOTONICS
TECHNOLOGY LETTERS 16, no. 11 (2004): 2568–70. https://doi.org/10.1109/LPT.2004.834889.'
ieee: 'D. Sandel et al., “Automatic tunable chromatic dispersion compensation
at 40 Gb/s in ASK and DPSK, NRZ, and CSRZ 263-km transmission experiments,” IEEE
PHOTONICS TECHNOLOGY LETTERS, vol. 16, no. 11, pp. 2568–2570, 2004, doi: 10.1109/LPT.2004.834889.'
mla: Sandel, D., et al. “Automatic Tunable Chromatic Dispersion Compensation at
40 Gb/s in ASK and DPSK, NRZ, and CSRZ 263-Km Transmission Experiments.” IEEE
PHOTONICS TECHNOLOGY LETTERS, vol. 16, no. 11, 2004, pp. 2568–70, doi:10.1109/LPT.2004.834889.
short: D. Sandel, S. Bhandare, A. Abas, B. Milivojevic, R. Noé, M. Guy, M. Lapointe,
IEEE PHOTONICS TECHNOLOGY LETTERS 16 (2004) 2568–2570.
date_created: 2023-01-23T18:22:05Z
date_updated: 2023-01-25T13:51:07Z
department:
- _id: '56'
doi: 10.1109/LPT.2004.834889
intvolume: ' 16'
issue: '11'
language:
- iso: eng
page: 2568-2570
publication: IEEE PHOTONICS TECHNOLOGY LETTERS
publication_identifier:
issn:
- 1041-1135
status: public
title: Automatic tunable chromatic dispersion compensation at 40 Gb/s in ASK and DPSK,
NRZ, and CSRZ 263-km transmission experiments
type: journal_article
user_id: '14931'
volume: 16
year: '2004'
...
---
_id: '40045'
author:
- first_name: Gabriela
full_name: Jonas-Ahrend, Gabriela
id: '77633'
last_name: Jonas-Ahrend
orcid: 0000-0003-3898-954X
citation:
ama: Jonas-Ahrend G. Physiklehrervorstellungen zum Experiment im Physikunterricht.
Logos; 2004.
apa: Jonas-Ahrend, G. (2004). Physiklehrervorstellungen zum Experiment im Physikunterricht.
Logos.
bibtex: '@book{Jonas-Ahrend_2004, place={Berlin}, title={Physiklehrervorstellungen
zum Experiment im Physikunterricht}, publisher={Logos}, author={Jonas-Ahrend,
Gabriela}, year={2004} }'
chicago: 'Jonas-Ahrend, Gabriela. Physiklehrervorstellungen zum Experiment im
Physikunterricht. Berlin: Logos, 2004.'
ieee: 'G. Jonas-Ahrend, Physiklehrervorstellungen zum Experiment im Physikunterricht.
Berlin: Logos, 2004.'
mla: Jonas-Ahrend, Gabriela. Physiklehrervorstellungen zum Experiment im Physikunterricht.
Logos, 2004.
short: G. Jonas-Ahrend, Physiklehrervorstellungen zum Experiment im Physikunterricht,
Logos, Berlin, 2004.
date_created: 2023-01-25T14:57:39Z
date_updated: 2023-01-25T14:57:48Z
extern: '1'
language:
- iso: ger
place: Berlin
publication_identifier:
isbn:
- 978-3-8325-0576-9
publisher: Logos
status: public
title: Physiklehrervorstellungen zum Experiment im Physikunterricht
type: dissertation
user_id: '77633'
year: '2004'
...