---
_id: '39411'
abstract:
- lang: eng
text: Rapid prototyping based on 3D models is well accepted for several applications.
This article addresses the application of animated virtual 3D prototypes for the
development of computer-based systems supporting early collaboration of the system
designer with the external customer. Our methodology seamlessly integrates illustration
through 3D animation with the main tasks of computer-based real-time systems development,
i.e., implementation and verification. The approach is outlined by the example
of the design of a flexible manufacturing system.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
ama: 'Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through
Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425'
apa: 'Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented
Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001.
Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425'
bibtex: '@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA
}, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={10.1109/ENABL.2001.953425},
booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian
and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }'
chicago: Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented
Systems Design through Virtual Prototyps.” In Proceedings of IEEE KMN 2001.
Cambridge, MA, USA , 2001. https://doi.org/10.1109/ENABL.2001.953425.
ieee: 'S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design
through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International
Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises,
2001, doi: 10.1109/ENABL.2001.953425.'
mla: Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.”
Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
short: 'S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001,
Cambridge, MA, USA , 2001.'
conference:
name: 'Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
for Collaborative Enterprises'
date_created: 2023-01-24T10:30:14Z
date_updated: 2023-01-24T10:30:21Z
department:
- _id: '672'
doi: 10.1109/ENABL.2001.953425
keyword:
- Virtual prototyping
- Animation
- Collaboration
- System analysis and design
- Feedback
- Application software
- Power system modeling
- Handicapped aids
- Process design
- Contracts
language:
- iso: eng
place: 'Cambridge, MA, USA '
publication: Proceedings of IEEE KMN 2001
publication_identifier:
isbn:
- 0-7695-1269-0
status: public
title: Customer-Oriented Systems Design through Virtual Prototyps
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39407'
abstract:
- lang: eng
text: "This article presents challenges, visions, and solutions for a true Pan-\r\nEuropean
collaborative engineering infrastructure that is a target of the IST project\r\nE-COLLEG.
The consortium aims at the definition of a transparent infrastructure\r\nthat
will enable engineers from various domains to collaborate during the design of\r\ncomplex
heterogeneous systems. In this context, we introduce an advanced\r\ncollaborative
infrastructure (ACI). ACI covers dynamic Tool Registration and\r\nManagement Services
(TRMS) for distance-spanning, tool integration and\r\nadministration, as well
as open interfaces for XML-based data exchange. TRMS\r\nwill constitute a backbone
for E-COLLEG-related pan-European collaborative\r\nresearch and engineering studies
by fostering a combination of most recent Plug-\r\nand-Play techniques employing
agent-based communication based on XML-\r\noriented integration technologies.
This new enabling technology for collaborative\r\nengineering is validated in
two application scenarios."
author:
- first_name: M.
full_name: Bauer, M.
last_name: Bauer
- first_name: Heinz-Josef
full_name: Eikerling, Heinz-Josef
last_name: Eikerling
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: A.
full_name: Pawlak, A.
last_name: Pawlak
- first_name: K.
full_name: Siekierska, K.
last_name: Siekierska
- first_name: D.
full_name: Soderberg, D.
last_name: Soderberg
- first_name: X.
full_name: Warzee, X.
last_name: Warzee
citation:
ama: Bauer M, Eikerling H-J, Müller W, et al. Advanced Infrastructure for PAN-European
Collaborative Engineering. Published online 2001.
apa: Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg,
D., & Warzee, X. (2001). Advanced Infrastructure for PAN-European Collaborative
Engineering.
bibtex: '@article{Bauer_Eikerling_Müller_Pawlak_Siekierska_Soderberg_Warzee_2001,
place={Venice, Italy}, series={The e-Business and e-Work Conference and Exhibition},
title={Advanced Infrastructure for PAN-European Collaborative Engineering}, author={Bauer,
M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska,
K. and Soderberg, D. and Warzee, X.}, year={2001}, collection={The e-Business
and e-Work Conference and Exhibition} }'
chicago: Bauer, M., Heinz-Josef Eikerling, Wolfgang Müller, A. Pawlak, K. Siekierska,
D. Soderberg, and X. Warzee. “Advanced Infrastructure for PAN-European Collaborative
Engineering.” The E-Business and e-Work Conference and Exhibition. Venice, Italy,
2001.
ieee: M. Bauer et al., “Advanced Infrastructure for PAN-European Collaborative
Engineering.” Venice, Italy, 2001.
mla: Bauer, M., et al. Advanced Infrastructure for PAN-European Collaborative
Engineering. 2001.
short: M. Bauer, H.-J. Eikerling, W. Müller, A. Pawlak, K. Siekierska, D. Soderberg,
X. Warzee, (2001).
date_created: 2023-01-24T10:27:55Z
date_updated: 2023-01-24T10:28:01Z
department:
- _id: '672'
language:
- iso: eng
place: Venice, Italy
series_title: The e-Business and e-Work Conference and Exhibition
status: public
title: Advanced Infrastructure for PAN-European Collaborative Engineering
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39421'
abstract:
- lang: eng
text: We present a rigorous but transparent semantics definition of SystemC that
covers method, thread, and clocked thread behavior as well as their interaction
with the simulation kernel process. The semantics includes watching statements,
signal assignment, and wait statements as they are introduced in SystemC V1.O.
We present our definition in form of distributed Abstract State Machines (ASMs)
rules reflecting the view given in the SystemC User's Manual and the reference
implementation. We mainly see our formal semantics as a concise, unambiguous,
high-level specification for SystemC-based implementations and for standardization.
Additionally, it can be used as a sound basis to investigate SystemC interoperability
with Verilog and VHDL.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
- first_name: D. W.
full_name: Hoffmann, D. W.
last_name: Hoffmann
- first_name: Joachim
full_name: Gerlach, Joachim
last_name: Gerlach
- first_name: Thomas
full_name: Kropf, Thomas
last_name: Kropf
- first_name: W.
full_name: Rosenstiehl, W.
last_name: Rosenstiehl
citation:
ama: 'Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation
Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in
Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002'
apa: Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl,
W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design,
Automation, and Test in Europe (DATE’01). Proceedings Design, Automation
and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
bibtex: '@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich,
Germany }, title={The Simulation Semantics of SystemC}, DOI={10.1109/DATE.2001.915002},
booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)},
publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W.
and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }'
chicago: 'Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas
Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In Proceedings
of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany :
IEEE, 2001. https://doi.org/10.1109/DATE.2001.915002.'
ieee: 'W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl,
“The Simulation Semantics of SystemC,” presented at the Proceedings Design, Automation
and Test in Europe. Conference and Exhibition 2001, 2001, doi: 10.1109/DATE.2001.915002.'
mla: Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” Proceedings
of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.
short: 'W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl,
in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE,
Munich, Germany , 2001.'
conference:
name: ' Proceedings Design, Automation and Test in Europe. Conference and Exhibition
2001'
date_created: 2023-01-24T10:39:33Z
date_updated: 2023-01-24T10:39:38Z
department:
- _id: '672'
doi: 10.1109/DATE.2001.915002
keyword:
- Yarn
- Formal verification
- Kernel
- Hardware design languages
- Electronic design automation and methodology
- Algebra
- Computational modeling
- Logic functions
- Computer languages
- Clocks
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of the Design, Automation, and Test in Europe (DATE’01)
publication_identifier:
isbn:
- 0-7695-0993-2
publisher: IEEE
status: public
title: The Simulation Semantics of SystemC
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39427'
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
- first_name: U.
full_name: Pape, U.
last_name: Pape
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
ama: 'Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis
of flexible Manufacturing Systems. In: Proceedings of ISI 2001. ; 2001.'
apa: Flake, S., Müller, W., Pape, U., & Ruf, J. (2001). Real-Time Model Checking
for the Analysis of flexible Manufacturing Systems. Proceedings of ISI 2001.
bibtex: '@inproceedings{Flake_Müller_Pape_Ruf_2001, place={Dubai}, title={Real-Time
Model Checking for the Analysis of flexible Manufacturing Systems}, booktitle={Proceedings
of ISI 2001}, author={Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf,
Jürgen}, year={2001} }'
chicago: Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model
Checking for the Analysis of Flexible Manufacturing Systems.” In Proceedings
of ISI 2001. Dubai, 2001.
ieee: S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the
Analysis of flexible Manufacturing Systems,” 2001.
mla: Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible
Manufacturing Systems.” Proceedings of ISI 2001, 2001.
short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai,
2001.'
date_created: 2023-01-24T10:43:11Z
date_updated: 2023-01-24T10:43:21Z
department:
- _id: '672'
language:
- iso: eng
place: Dubai
publication: Proceedings of ISI 2001
status: public
title: Real-Time Model Checking for the Analysis of flexible Manufacturing Systems
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39432'
abstract:
- lang: eng
text: This article presents SAL, a general purpose scripting language for the rapid
development of distributed software agents seamlessly embedded in a visual environment.
Integrated facilities for dynamic visualization provide sample but powerful means
for debugging and domain-oriented animation. SAL agents are arranged on a set
of 2D worksheets which can be distributed over different machines. An agent's
program is defined by the means of a table specifying a set of state transition
rules with a condition and a sequence of actions each. Beyond basic computation
and communication, actions can dynamically modify the agent's depiction, its program,
and spawn arbitrary processes. A couple of examples demonstrate SAL's applicability
in various domains like electronic systems design and process management.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: A.
full_name: Meyer, A.
last_name: Meyer
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
citation:
ama: 'Müller W, Meyer A, Zabel H. A Language for the Rapid Prototyping of Mobile
Evolving Agents. In: Proceedings of the 34th Annual Hawaii International Conference
on System Sciences. ; 2001. doi:10.1109/HICSS.2001.926319'
apa: Müller, W., Meyer, A., & Zabel, H. (2001). A Language for the Rapid Prototyping
of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International
Conference on System Sciences. https://doi.org/10.1109/HICSS.2001.926319
bibtex: '@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A
Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={10.1109/HICSS.2001.926319},
booktitle={Proceedings of the 34th Annual Hawaii International Conference on System
Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001}
}'
chicago: Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid
Prototyping of Mobile Evolving Agents.” In Proceedings of the 34th Annual Hawaii
International Conference on System Sciences. Maui, HI, USA , 2001. https://doi.org/10.1109/HICSS.2001.926319.
ieee: 'W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping
of Mobile Evolving Agents,” 2001, doi: 10.1109/HICSS.2001.926319.'
mla: Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving
Agents.” Proceedings of the 34th Annual Hawaii International Conference on
System Sciences, 2001, doi:10.1109/HICSS.2001.926319.
short: 'W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii
International Conference on System Sciences, Maui, HI, USA , 2001.'
date_created: 2023-01-24T10:48:09Z
date_updated: 2023-01-24T10:48:14Z
department:
- _id: '672'
doi: 10.1109/HICSS.2001.926319
keyword:
- software prototyping
- distributed programming
- authoring languages
- software agents
- program visualisation
- parallel languages
language:
- iso: eng
place: 'Maui, HI, USA '
publication: Proceedings of the 34th Annual Hawaii International Conference on System
Sciences
publication_identifier:
isbn:
- 0-7695-0981-9
status: public
title: A Language for the Rapid Prototyping of Mobile Evolving Agents
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39431'
author:
- first_name: Georg
full_name: Lehrenfeld, Georg
last_name: Lehrenfeld
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Rainer
full_name: Tellmann, Rainer
last_name: Tellmann
citation:
ama: 'Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems.
In: Proceedings of SCASE 01. ; 2001.'
apa: Lehrenfeld, G., Müller, W., & Tellmann, R. (2001). Security Concepts for
Agent-Based Systems. Proceedings of SCASE 01.
bibtex: '@inproceedings{Lehrenfeld_Müller_Tellmann_2001, place={Enschede, Netherlands},
title={Security Concepts for Agent-Based Systems}, booktitle={Proceedings of SCASE
01}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}, year={2001}
}'
chicago: Lehrenfeld, Georg, Wolfgang Müller, and Rainer Tellmann. “Security Concepts
for Agent-Based Systems.” In Proceedings of SCASE 01. Enschede, Netherlands,
2001.
ieee: G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based
Systems,” 2001.
mla: Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” Proceedings
of SCASE 01, 2001.
short: 'G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede,
Netherlands, 2001.'
date_created: 2023-01-24T10:45:49Z
date_updated: 2023-01-24T10:45:54Z
department:
- _id: '672'
language:
- iso: eng
place: Enschede, Netherlands
publication: Proceedings of SCASE 01
status: public
title: Security Concepts for Agent-Based Systems
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39406'
abstract:
- lang: eng
text: "Die Object Constraint Language (OCL) wurde entwickelt, um Modellierer bei
der Spe-\r\nzifikation von Modelleigenschaften im Kontext gegebener UML Diagramme
zu un-\r\nterst ̈utzen [3]. Jedoch ist es leider nicht m ̈oglich, Eigenschaften,
die das dynamische\r\nVerhalten betreffen, mit der derzeitigen Version von OCL
auszudr ̈ucken.\r\nWir pr ̈asentieren eine Erweiterung von OCL Version 1.4 zur
Spezifikation von zu-\r\nstandsbasierten, zeitbehafteten Eigenschaften. Obwohl
OCL und unsere Erweiterung\r\nin erster Linie im Rahmen der UML entwickelt worden
sind, ist es auch m ̈oglich,\r\nmit dieser Sprache Eigenschaften f ̈ur andere
objektbasierte Formalismen zu beschrei-\r\nben. Wir veranschaulichen dies anhand
einer Anwendung bei der Modellpr ̈ufungsspe-\r\nzifikation in Verbindung mit MFERT,
einer praxisrelevanten Notation, die im Projekt\r\nGRASP zur Modellierung von
Produktionsabl ̈aufen eingesetzt wird."
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. Spezifikation von Echtzeiteigenschaften mit OCL für eine
MFERT-basierte Fallstudie. Published online 2001.
apa: Flake, S., & Müller, W. (2001). Spezifikation von Echtzeiteigenschaften
mit OCL für eine MFERT-basierte Fallstudie.
bibtex: '@article{Flake_Müller_2001, place={Berlin}, series={Tagungsband: Ablaufmodellierungen
in ingenieruwissenschaftlichen Anwendungen}, title={Spezifikation von Echtzeiteigenschaften
mit OCL für eine MFERT-basierte Fallstudie}, author={Flake, Stephan and Müller,
Wolfgang}, year={2001}, collection={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen
Anwendungen} }'
chicago: 'Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften
Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen
in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.'
ieee: S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für
eine MFERT-basierte Fallstudie.” Berlin, 2001.
mla: Flake, Stephan, and Wolfgang Müller. Spezifikation von Echtzeiteigenschaften
Mit OCL Für Eine MFERT-Basierte Fallstudie. 2001.
short: S. Flake, W. Müller, (2001).
date_created: 2023-01-24T10:24:09Z
date_updated: 2023-01-24T10:24:15Z
department:
- _id: '672'
language:
- iso: eng
place: Berlin
series_title: 'Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen'
status: public
title: Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39425'
abstract:
- lang: eng
text: This paper introduces the VIVID (Visual Interactive VIew Development) framework
for generation and customization of advanced visual interactive environments for
resource manipulation in databases. The framework covers the definition of symbols,
their mapping to database objects, specification of spatial relationships among
them, layout assignment as well as the definition of drag&drop-based user interactions.
author:
- first_name: Andreas
full_name: Dangberg, Andreas
last_name: Dangberg
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Dangberg A, Müller W. Generation of Interactive Visual Interfaces for Resource
Management. In: Proceedings of ISI 2001. ; 2001.'
apa: Dangberg, A., & Müller, W. (2001). Generation of Interactive Visual Interfaces
for Resource Management. Proceedings of ISI 2001.
bibtex: '@inproceedings{Dangberg_Müller_2001, place={Dubai}, title={Generation of
Interactive Visual Interfaces for Resource Management}, booktitle={Proceedings
of ISI 2001}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2001} }'
chicago: Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual
Interfaces for Resource Management.” In Proceedings of ISI 2001. Dubai,
2001.
ieee: A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for
Resource Management,” 2001.
mla: Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces
for Resource Management.” Proceedings of ISI 2001, 2001.
short: 'A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.'
date_created: 2023-01-24T10:41:05Z
date_updated: 2023-01-24T10:41:09Z
department:
- _id: '672'
language:
- iso: eng
place: Dubai
publication: Proceedings of ISI 2001
status: public
title: Generation of Interactive Visual Interfaces for Resource Management
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '19620'
author:
- first_name: Ingo
full_name: Rieping, Ingo
last_name: Rieping
citation:
ama: Rieping I. Communication in Parallel Systems-Models, Algorithms and Implementations.
Vol 81. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.
apa: Rieping, I. (2000). Communication in Parallel Systems-Models, Algorithms
and Implementations (Vol. 81). Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn.
bibtex: '@book{Rieping_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn}, title={Communication in Parallel Systems-Models, Algorithms and Implementations},
volume={81}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn},
author={Rieping, Ingo}, year={2000}, collection={Verlagsschriftenreihe des Heinz
Nixdorf Instituts, Paderborn} }'
chicago: Rieping, Ingo. Communication in Parallel Systems-Models, Algorithms
and Implementations. Vol. 81. Verlagsschriftenreihe Des Heinz Nixdorf Instituts,
Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
ieee: I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations,
vol. 81. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
mla: Rieping, Ingo. Communication in Parallel Systems-Models, Algorithms and
Implementations. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
2000.
short: I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations,
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
date_created: 2020-09-22T10:06:31Z
date_updated: 2022-01-06T06:54:08Z
department:
- _id: '63'
- _id: '26'
intvolume: ' 81'
language:
- iso: eng
publication_identifier:
isbn:
- 3-931466-80-9
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: Communication in Parallel Systems-Models, Algorithms and Implementations
type: dissertation
user_id: '5786'
volume: 81
year: '2000'
...
---
_id: '19621'
author:
- first_name: Matthias
full_name: Westermann, Matthias
last_name: Westermann
citation:
ama: 'Westermann M. Caching in Networks: Non-Uniform Algorithms and Memory Capacity
Constraints. Vol 90. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn;
2000.'
apa: 'Westermann, M. (2000). Caching in Networks: Non-Uniform Algorithms and
Memory Capacity Constraints (Vol. 90). Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn.'
bibtex: '@book{Westermann_2000, series={Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn}, title={Caching in Networks: Non-Uniform Algorithms and
Memory Capacity Constraints}, volume={90}, publisher={Verlagsschriftenreihe des
Heinz Nixdorf Instituts, Paderborn}, author={Westermann, Matthias}, year={2000},
collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }'
chicago: 'Westermann, Matthias. Caching in Networks: Non-Uniform Algorithms and
Memory Capacity Constraints. Vol. 90. Verlagsschriftenreihe Des Heinz Nixdorf
Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
2000.'
ieee: 'M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory
Capacity Constraints, vol. 90. Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn, 2000.'
mla: 'Westermann, Matthias. Caching in Networks: Non-Uniform Algorithms and Memory
Capacity Constraints. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
2000.'
short: 'M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity
Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.'
date_created: 2020-09-22T10:16:35Z
date_updated: 2022-01-06T06:54:08Z
department:
- _id: '63'
- _id: '26'
intvolume: ' 90'
language:
- iso: eng
publication_identifier:
isbn:
- 3-931466-89-2
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
related_material:
link:
- relation: confirmation
url: https://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20000101283
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
supervisor:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
title: 'Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints'
type: dissertation
user_id: '5786'
volume: 90
year: '2000'
...
---
_id: '19733'
author:
- first_name: Olaf
full_name: Bonorden, Olaf
last_name: Bonorden
- first_name: Ingo
full_name: Rieping, Ingo
last_name: Rieping
- first_name: Ingo
full_name: von Otte, Ingo
last_name: von Otte
- first_name: Bernhardus
full_name: Juurlink, Bernhardus
last_name: Juurlink
citation:
ama: Bonorden O, Rieping I, von Otte I, Juurlink B. PUB-Library, Release 7.0,
User Guide and Function Reference.; 2000.
apa: Bonorden, O., Rieping, I., von Otte, I., & Juurlink, B. (2000). PUB-Library,
Release 7.0, User Guide and Function Reference.
bibtex: '@book{Bonorden_Rieping_von Otte_Juurlink_2000, title={PUB-Library, Release
7.0, User Guide and Function Reference}, author={Bonorden, Olaf and Rieping, Ingo
and von Otte, Ingo and Juurlink, Bernhardus}, year={2000} }'
chicago: Bonorden, Olaf, Ingo Rieping, Ingo von Otte, and Bernhardus Juurlink. PUB-Library,
Release 7.0, User Guide and Function Reference, 2000.
ieee: O. Bonorden, I. Rieping, I. von Otte, and B. Juurlink, PUB-Library, Release
7.0, User Guide and Function Reference. 2000.
mla: Bonorden, Olaf, et al. PUB-Library, Release 7.0, User Guide and Function
Reference. 2000.
short: O. Bonorden, I. Rieping, I. von Otte, B. Juurlink, PUB-Library, Release 7.0,
User Guide and Function Reference, 2000.
date_created: 2020-09-28T12:20:20Z
date_updated: 2022-01-06T06:54:10Z
ddc:
- '000'
department:
- _id: '63'
file:
- access_level: closed
content_type: application/pdf
creator: koala
date_created: 2020-09-28T12:20:10Z
date_updated: 2020-09-28T12:20:10Z
file_id: '19734'
file_name: pub-hni-1656.pdf
file_size: 271118
relation: main_file
success: 1
file_date_updated: 2020-09-28T12:20:10Z
has_accepted_license: '1'
language:
- iso: eng
status: public
title: PUB-Library, Release 7.0, User Guide and Function Reference
type: report
user_id: '15415'
year: '2000'
...
---
_id: '19849'
author:
- first_name: M.
full_name: Bednara, M.
last_name: Bednara
- first_name: O.
full_name: Beyer, O.
last_name: Beyer
- first_name: J.
full_name: Teich, J.
last_name: Teich
- first_name: Rolf
full_name: Wanka, Rolf
last_name: Wanka
citation:
ama: 'Bednara M, Beyer O, Teich J, Wanka R. Tradeoff analysis and architecture design
of a hybrid hardware/software sorter. In: Proc. Int. Conf. on Application Specific
Systems, Architectures, and Processors (ASAP). ; 2000:299-308. doi:10.1109/asap.2000.862400'
apa: Bednara, M., Beyer, O., Teich, J., & Wanka, R. (2000). Tradeoff analysis
and architecture design of a hybrid hardware/software sorter. Proc. Int. Conf.
on Application Specific Systems, Architectures, and Processors (ASAP), 299–308.
https://doi.org/10.1109/asap.2000.862400
bibtex: '@inproceedings{Bednara_Beyer_Teich_Wanka_2000, title={Tradeoff analysis
and architecture design of a hybrid hardware/software sorter}, DOI={10.1109/asap.2000.862400},
booktitle={Proc. Int. Conf. on Application Specific Systems, Architectures, and
Processors (ASAP)}, author={Bednara, M. and Beyer, O. and Teich, J. and Wanka,
Rolf}, year={2000}, pages={299–308} }'
chicago: Bednara, M., O. Beyer, J. Teich, and Rolf Wanka. “Tradeoff Analysis and
Architecture Design of a Hybrid Hardware/Software Sorter.” In Proc. Int. Conf.
on Application Specific Systems, Architectures, and Processors (ASAP), 299–308,
2000. https://doi.org/10.1109/asap.2000.862400.
ieee: 'M. Bednara, O. Beyer, J. Teich, and R. Wanka, “Tradeoff analysis and architecture
design of a hybrid hardware/software sorter,” in Proc. Int. Conf. on Application
Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308,
doi: 10.1109/asap.2000.862400.'
mla: Bednara, M., et al. “Tradeoff Analysis and Architecture Design of a Hybrid
Hardware/Software Sorter.” Proc. Int. Conf. on Application Specific Systems,
Architectures, and Processors (ASAP), 2000, pp. 299–308, doi:10.1109/asap.2000.862400.
short: 'M. Bednara, O. Beyer, J. Teich, R. Wanka, in: Proc. Int. Conf. on Application
Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308.'
date_created: 2020-10-02T10:30:38Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '63'
doi: 10.1109/asap.2000.862400
language:
- iso: eng
page: 299-308
publication: Proc. Int. Conf. on Application Specific Systems, Architectures, and
Processors (ASAP)
publication_identifier:
isbn:
- '0769507166'
publication_status: published
status: public
title: Tradeoff analysis and architecture design of a hybrid hardware/software sorter
type: conference
user_id: '15415'
year: '2000'
...
---
_id: '2433'
author:
- first_name: Christian
full_name: Plessl, Christian
id: '16153'
last_name: Plessl
orcid: 0000-0001-5728-9982
- first_name: Simon
full_name: Maurer, Simon
last_name: Maurer
citation:
ama: Plessl C, Maurer S. Hardware/Software Codesign in Speech Compression Applications.
Computer Engineering and Networks Lab, ETH Zurich, Switzerland; 2000.
apa: Plessl, C., & Maurer, S. (2000). Hardware/Software Codesign in Speech
Compression Applications. Computer Engineering and Networks Lab, ETH Zurich,
Switzerland.
bibtex: '@book{Plessl_Maurer_2000, title={Hardware/Software Codesign in Speech Compression
Applications}, publisher={Computer Engineering and Networks Lab, ETH Zurich, Switzerland},
author={Plessl, Christian and Maurer, Simon}, year={2000} }'
chicago: Plessl, Christian, and Simon Maurer. Hardware/Software Codesign in Speech
Compression Applications. Computer Engineering and Networks Lab, ETH Zurich,
Switzerland, 2000.
ieee: C. Plessl and S. Maurer, Hardware/Software Codesign in Speech Compression
Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland,
2000.
mla: Plessl, Christian, and Simon Maurer. Hardware/Software Codesign in Speech
Compression Applications. Computer Engineering and Networks Lab, ETH Zurich,
Switzerland, 2000.
short: C. Plessl, S. Maurer, Hardware/Software Codesign in Speech Compression Applications,
Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
date_created: 2018-04-17T15:56:00Z
date_updated: 2022-01-06T06:56:17Z
department:
- _id: '518'
keyword:
- co-design
- speech processing
publisher: Computer Engineering and Networks Lab, ETH Zurich, Switzerland
status: public
title: Hardware/Software Codesign in Speech Compression Applications
type: mastersthesis
user_id: '24135'
year: '2000'
...
---
_id: '3247'
author:
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an
Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}. 2000:92--101.
apa: Fischer, C., & Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal
Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS},
92--101.
bibtex: '@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as
a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin
of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101}
}'
chicago: Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as
a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of
the {EATCS}, 2000, 92--101.
ieee: C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis
for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS},
pp. 92--101, 2000.
mla: Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal
Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS},
2000, pp. 92--101.
short: C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
date_created: 2018-06-14T07:17:49Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
page: 92--101
publication: Bulletin of the {EATCS}
status: public
title: Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated
Formal Method
type: journal_article
user_id: '29719'
year: '2000'
...
---
_id: '3248'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.
Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026
apa: Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications. Formal Asp. Comput., (3), 147--164. https://doi.org/10.1007/s001650070026
bibtex: '@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation
of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026},
number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000},
pages={147--164} }'
chicago: 'Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications.” Formal Asp. Comput., no. 3 (2000): 147--164. https://doi.org/10.1007/s001650070026.'
ieee: H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,”
Formal Asp. Comput., no. 3, pp. 147--164, 2000.
mla: Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ}
Specifications.” Formal Asp. Comput., no. 3, 2000, pp. 147--164, doi:10.1007/s001650070026.
short: H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
date_created: 2018-06-14T07:19:50Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/s001650070026
issue: '3'
page: 147--164
publication: Formal Asp. Comput.
status: public
title: Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications
type: journal_article
user_id: '29719'
year: '2000'
...
---
_id: '3249'
author:
- first_name: Clemens
full_name: Fischer, Clemens
last_name: Fischer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Fischer C, Wehrheim H. Behavioural Subtyping Relations for Object-Oriented
Formalisms. In: Rus T, ed. Algebraic Methodology and Software Technology. 8th
International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000,
Proceedings. Lecture Notes in Computer Science. ; 2000:469--483. doi:10.1007/3-540-45499-3_33'
apa: Fischer, C., & Wehrheim, H. (2000). Behavioural Subtyping Relations for
Object-Oriented Formalisms. In T. Rus (Ed.), Algebraic Methodology and Software
Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA,
May 20-27, 2000, Proceedings (pp. 469--483). https://doi.org/10.1007/3-540-45499-3_33
bibtex: '@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer
Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms},
DOI={10.1007/3-540-45499-3_33},
booktitle={Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer,
Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483},
collection={Lecture Notes in Computer Science} }'
chicago: Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations
for Object-Oriented Formalisms.” In Algebraic Methodology and Software Technology.
8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000,
Proceedings, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science,
2000. https://doi.org/10.1007/3-540-45499-3_33.
ieee: C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented
Formalisms,” in Algebraic Methodology and Software Technology. 8th International
Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings,
2000, pp. 469--483.
mla: Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for
Object-Oriented Formalisms.” Algebraic Methodology and Software Technology.
8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000,
Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi:10.1007/3-540-45499-3_33.
short: 'C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software
Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA,
May 20-27, 2000, Proceedings, 2000, pp. 469--483.'
date_created: 2018-06-14T07:20:56Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-45499-3_33
editor:
- first_name: Teodor
full_name: Rus, Teodor
last_name: Rus
page: 469--483
publication: Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Behavioural Subtyping Relations for Object-Oriented Formalisms
type: conference
user_id: '29719'
year: '2000'
...
---
_id: '3250'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study
in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. Fundamental Approaches
to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as
Part of the European Joint Conferences on the Theory and Practice of Software,
{ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture
Notes in Computer Science. ; 2000:334--348. doi:10.1007/3-540-46428-X_23'
apa: 'Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: {A}
Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), Fundamental
Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000,
Held as Part of the European Joint Conferences on the Theory and Practice of Software,
{ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings (pp.
334--348). https://doi.org/10.1007/3-540-46428-X_23'
bibtex: '@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science},
title={Specification of an Automatic Manufacturing System: {A} Case Study in Using
Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23},
booktitle={Fundamental Approaches to Software Engineering, Third Internationsl
Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the
Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April
2, 2000, Proceedings}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor},
year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science}
}'
chicago: 'Wehrheim, Heike. “Specification of an Automatic Manufacturing System:
{A} Case Study in Using Integrated Formal Methods.” In Fundamental Approaches
to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as
Part of the European Joint Conferences on the Theory and Practice of Software,
{ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited
by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-46428-X_23.'
ieee: 'H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case
Study in Using Integrated Formal Methods,” in Fundamental Approaches to Software
Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the
European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.'
mla: 'Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A}
Case Study in Using Integrated Formal Methods.” Fundamental Approaches to Software
Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the
European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited by T. S. E.
Maibaum, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.'
short: 'H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software
Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the
European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.'
date_created: 2018-06-14T07:22:20Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-46428-X_23
editor:
- first_name: T.
full_name: S. E. Maibaum, T.
last_name: S. E. Maibaum
page: 334--348
publication: Fundamental Approaches to Software Engineering, Third Internationsl Conference,
{FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice
of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: 'Specification of an Automatic Manufacturing System: {A} Case Study in Using
Integrated Formal Methods'
type: conference
user_id: '29719'
year: '2000'
...
---
_id: '3251'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Behavioural Subtyping and Property Preservation. In: F. Smith
S, L. Talcott C, eds. Formal Methods for Open Object-Based Distributed Systems
IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford,
California, {USA}. {IFIP} Conference Proceedings. ; 2000:213--231. doi:10.1007/978-0-387-35520-7_11'
apa: Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S.
F. Smith & C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed
Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods
for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000,
Stanford, California, {USA} (pp. 213--231). https://doi.org/10.1007/978-0-387-35520-7_11
bibtex: '@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural
Subtyping and Property Preservation}, DOI={10.1007/978-0-387-35520-7_11},
booktitle={Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based
Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California,
{USA}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors},
year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }'
chicago: Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In
Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1}
Fourth International Conference on Formal Methods for Open Object-Based Distributed
Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA},
edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings,
2000. https://doi.org/10.1007/978-0-387-35520-7_11.
ieee: H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in Formal
Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp.
213--231.
mla: Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” Formal
Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, edited
by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:10.1007/978-0-387-35520-7_11.
short: 'H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open
Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference
on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September
6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.'
date_created: 2018-06-14T07:25:14Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/978-0-387-35520-7_11
editor:
- first_name: Scott
full_name: F. Smith, Scott
last_name: F. Smith
- first_name: Carolyn
full_name: L. Talcott, Carolyn
last_name: L. Talcott
page: 213--231
publication: Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1}
Fourth International Conference on Formal Methods for Open Object-Based Distributed
Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}
series_title: '{IFIP} Conference Proceedings'
status: public
title: Behavioural Subtyping and Property Preservation
type: conference
user_id: '29719'
year: '2000'
...
---
_id: '3023'
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
citation:
ama: 'Blömer J. Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.
In: Automata, Languages and Programming. Berlin, Heidelberg: Springer Berlin
Heidelberg; 2000:248-259. doi:10.1007/3-540-45022-x_22'
apa: 'Blömer, J. (2000). Closest Vectors, Successive Minima, and Dual HKZ-Bases
of Lattices. In Automata, Languages and Programming (pp. 248–259). Berlin,
Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-45022-x_22'
bibtex: '@inbook{Blömer_2000, place={Berlin, Heidelberg}, title={Closest Vectors,
Successive Minima, and Dual HKZ-Bases of Lattices}, DOI={10.1007/3-540-45022-x_22},
booktitle={Automata, Languages and Programming}, publisher={Springer Berlin Heidelberg},
author={Blömer, Johannes}, year={2000}, pages={248–259} }'
chicago: 'Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases
of Lattices.” In Automata, Languages and Programming, 248–59. Berlin, Heidelberg:
Springer Berlin Heidelberg, 2000. https://doi.org/10.1007/3-540-45022-x_22.'
ieee: 'J. Blömer, “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices,”
in Automata, Languages and Programming, Berlin, Heidelberg: Springer Berlin
Heidelberg, 2000, pp. 248–259.'
mla: Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of
Lattices.” Automata, Languages and Programming, Springer Berlin Heidelberg,
2000, pp. 248–59, doi:10.1007/3-540-45022-x_22.
short: 'J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg,
Berlin, Heidelberg, 2000, pp. 248–259.'
date_created: 2018-06-05T08:27:28Z
date_updated: 2022-01-06T06:58:51Z
department:
- _id: '64'
doi: 10.1007/3-540-45022-x_22
page: 248-259
place: Berlin, Heidelberg
publication: Automata, Languages and Programming
publication_identifier:
isbn:
- '9783540677154'
- '9783540450221'
issn:
- 0302-9743
publication_status: published
publisher: Springer Berlin Heidelberg
status: public
title: Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices
type: book_chapter
user_id: '25078'
year: '2000'
...
---
_id: '2143'
author:
- first_name: Micah
full_name: Adler, Micah
last_name: Adler
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: Adler M, Scheideler C. Efficient Communication Strategies for Ad Hoc Wireless
Networks. Theory Comput Syst. 2000;33(5/6):337--391. doi:10.1007/s002240010006
apa: Adler, M., & Scheideler, C. (2000). Efficient Communication Strategies
for Ad Hoc Wireless Networks. Theory Comput. Syst., 33(5/6), 337--391.
https://doi.org/10.1007/s002240010006
bibtex: '@article{Adler_Scheideler_2000, title={Efficient Communication Strategies
for Ad Hoc Wireless Networks}, volume={33}, DOI={10.1007/s002240010006},
number={5/6}, journal={Theory Comput. Syst.}, author={Adler, Micah and Scheideler,
Christian}, year={2000}, pages={337--391} }'
chicago: 'Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies
for Ad Hoc Wireless Networks.” Theory Comput. Syst. 33, no. 5/6 (2000):
337--391. https://doi.org/10.1007/s002240010006.'
ieee: M. Adler and C. Scheideler, “Efficient Communication Strategies for Ad Hoc
Wireless Networks,” Theory Comput. Syst., vol. 33, no. 5/6, pp. 337--391,
2000.
mla: Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies
for Ad Hoc Wireless Networks.” Theory Comput. Syst., vol. 33, no. 5/6,
2000, pp. 337--391, doi:10.1007/s002240010006.
short: M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.
date_created: 2018-04-03T05:51:02Z
date_updated: 2022-01-06T06:54:59Z
department:
- _id: '79'
- _id: '63'
doi: 10.1007/s002240010006
intvolume: ' 33'
issue: 5/6
language:
- iso: eng
page: 337--391
publication: Theory Comput. Syst.
status: public
title: Efficient Communication Strategies for Ad Hoc Wireless Networks
type: journal_article
user_id: '14955'
volume: 33
year: '2000'
...