---
_id: '16186'
author:
- first_name: N.
full_name: Weskamp, N.
last_name: Weskamp
- first_name: D.
full_name: Kuhn, D.
last_name: Kuhn
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: G.
full_name: Klebe, G.
last_name: Klebe
citation:
ama: 'Weskamp N, Kuhn D, Hüllermeier E, Klebe G. Efficient similarity search in
protein structure databases: Improving clique-detection through clique-hashing.
Bioinformatics. 2004;20(10):1522-1526.'
apa: 'Weskamp, N., Kuhn, D., Hüllermeier, E., & Klebe, G. (2004). Efficient
similarity search in protein structure databases: Improving clique-detection through
clique-hashing. Bioinformatics, 20(10), 1522–1526.'
bibtex: '@article{Weskamp_Kuhn_Hüllermeier_Klebe_2004, title={Efficient similarity
search in protein structure databases: Improving clique-detection through clique-hashing},
volume={20}, number={10}, journal={Bioinformatics}, author={Weskamp, N. and Kuhn,
D. and Hüllermeier, Eyke and Klebe, G.}, year={2004}, pages={1522–1526} }'
chicago: 'Weskamp, N., D. Kuhn, Eyke Hüllermeier, and G. Klebe. “Efficient Similarity
Search in Protein Structure Databases: Improving Clique-Detection through Clique-Hashing.”
Bioinformatics 20, no. 10 (2004): 1522–26.'
ieee: 'N. Weskamp, D. Kuhn, E. Hüllermeier, and G. Klebe, “Efficient similarity
search in protein structure databases: Improving clique-detection through clique-hashing,”
Bioinformatics, vol. 20, no. 10, pp. 1522–1526, 2004.'
mla: 'Weskamp, N., et al. “Efficient Similarity Search in Protein Structure Databases:
Improving Clique-Detection through Clique-Hashing.” Bioinformatics, vol.
20, no. 10, 2004, pp. 1522–26.'
short: N. Weskamp, D. Kuhn, E. Hüllermeier, G. Klebe, Bioinformatics 20 (2004) 1522–1526.
date_created: 2020-02-28T16:06:17Z
date_updated: 2022-01-06T06:52:44Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
intvolume: ' 20'
issue: '10'
language:
- iso: eng
page: 1522-1526
publication: Bioinformatics
status: public
title: 'Efficient similarity search in protein structure databases: Improving clique-detection
through clique-hashing'
type: journal_article
user_id: '49109'
volume: 20
year: '2004'
...
---
_id: '16187'
author:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: Hüllermeier E. Flexible constraints for regularization in learning from data.
International Journal of Intelligent Systems. 2004;19(6):525-541.
apa: Hüllermeier, E. (2004). Flexible constraints for regularization in learning
from data. International Journal of Intelligent Systems, 19(6),
525–541.
bibtex: '@article{Hüllermeier_2004, title={Flexible constraints for regularization
in learning from data}, volume={19}, number={6}, journal={International Journal
of Intelligent Systems}, author={Hüllermeier, Eyke}, year={2004}, pages={525–541}
}'
chicago: 'Hüllermeier, Eyke. “Flexible Constraints for Regularization in Learning
from Data.” International Journal of Intelligent Systems 19, no. 6 (2004):
525–41.'
ieee: E. Hüllermeier, “Flexible constraints for regularization in learning from
data,” International Journal of Intelligent Systems, vol. 19, no. 6, pp.
525–541, 2004.
mla: Hüllermeier, Eyke. “Flexible Constraints for Regularization in Learning from
Data.” International Journal of Intelligent Systems, vol. 19, no. 6, 2004,
pp. 525–41.
short: E. Hüllermeier, International Journal of Intelligent Systems 19 (2004) 525–541.
date_created: 2020-02-28T16:08:50Z
date_updated: 2022-01-06T06:52:44Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
intvolume: ' 19'
issue: '6'
language:
- iso: eng
page: 525-541
publication: International Journal of Intelligent Systems
status: public
title: Flexible constraints for regularization in learning from data
type: journal_article
user_id: '49109'
volume: 19
year: '2004'
...
---
_id: '16399'
abstract:
- lang: eng
text: "We present a new data structure for rendering highly complex virtual environments
of arbitrary topology. The special feature of our approach is that it allows an
interactive navigation in very large scenes (30 GB/400 million polygons in our
benchmark scenes) that cannot be stored in main memory, but only on a local or
remote hard disk. Furthermore, it allows interactive rendering of substantially
more complex scenes by instantiating objects.\r\n\r\nThe sampling process is done
in the preprocessing. There, the polygons are randomly distributed in our hierarchical
data structure, the randomized sample tree. This tree only uses space that is
linear in the number of polygons. In order to produce an approximate image of
the scene, the tree is traversed and polygons stored in the visited nodes are
rendered. During the interactive walkthrough, parts of the sample tree are loaded
from local or remote hard disk.\r\n\r\nWe implemented our algorithm in a prototypical
walkthrough system. Analysis and experiments show that the quality of our images
is comparable to images computed by the conventional z-buffer algorithm regardless
of the scene topology."
author:
- first_name: Jan
full_name: Klein, Jan
last_name: Klein
- first_name: Jens
full_name: Krokowski, Jens
last_name: Krokowski
- first_name: Matthias
full_name: Fischer, Matthias
id: '146'
last_name: Fischer
- first_name: Michael
full_name: Wand, Michael
last_name: Wand
- first_name: Rolf
full_name: Wanka, Rolf
last_name: Wanka
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Klein J, Krokowski J, Fischer M, Wand M, Wanka R, Meyer auf der Heide F. The
Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally
Stored Virtual Environments. Presence: Teleoperators and Virtual Environments.
2004:617-637. doi:10.1162/1054746043280619'
apa: 'Klein, J., Krokowski, J., Fischer, M., Wand, M., Wanka, R., & Meyer auf
der Heide, F. (2004). The Randomized Sample Tree: A Data Structure for Interactive
Walk-Throughs in Externally Stored Virtual Environments. Presence: Teleoperators
and Virtual Environments, 617–637. https://doi.org/10.1162/1054746043280619'
bibtex: '@article{Klein_Krokowski_Fischer_Wand_Wanka_Meyer auf der Heide_2004, title={The
Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally
Stored Virtual Environments}, DOI={10.1162/1054746043280619},
journal={Presence: Teleoperators and Virtual Environments}, author={Klein, Jan
and Krokowski, Jens and Fischer, Matthias and Wand, Michael and Wanka, Rolf and
Meyer auf der Heide, Friedhelm}, year={2004}, pages={617–637} }'
chicago: 'Klein, Jan, Jens Krokowski, Matthias Fischer, Michael Wand, Rolf Wanka,
and Friedhelm Meyer auf der Heide. “The Randomized Sample Tree: A Data Structure
for Interactive Walk-Throughs in Externally Stored Virtual Environments.” Presence:
Teleoperators and Virtual Environments, 2004, 617–37. https://doi.org/10.1162/1054746043280619.'
ieee: 'J. Klein, J. Krokowski, M. Fischer, M. Wand, R. Wanka, and F. Meyer auf der
Heide, “The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs
in Externally Stored Virtual Environments,” Presence: Teleoperators and Virtual
Environments, pp. 617–637, 2004.'
mla: 'Klein, Jan, et al. “The Randomized Sample Tree: A Data Structure for Interactive
Walk-Throughs in Externally Stored Virtual Environments.” Presence: Teleoperators
and Virtual Environments, 2004, pp. 617–37, doi:10.1162/1054746043280619.'
short: 'J. Klein, J. Krokowski, M. Fischer, M. Wand, R. Wanka, F. Meyer auf der
Heide, Presence: Teleoperators and Virtual Environments (2004) 617–637.'
date_created: 2020-04-03T11:42:11Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
doi: 10.1162/1054746043280619
language:
- iso: eng
page: 617-637
publication: 'Presence: Teleoperators and Virtual Environments'
publication_identifier:
issn:
- 1054-7460
- 1531-3263
publication_status: published
status: public
title: 'The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs
in Externally Stored Virtual Environments'
type: journal_article
user_id: '15415'
year: '2004'
...
---
_id: '13071'
author:
- first_name: Michelle
full_name: Liu Jing, Michelle
last_name: Liu Jing
- first_name: Stefan
full_name: Ruehrup, Stefan
last_name: Ruehrup
- first_name: Christian
full_name: Schindelhauer, Christian
last_name: Schindelhauer
- first_name: Klaus
full_name: Volbert, Klaus
last_name: Volbert
- first_name: Martin
full_name: Dierkes, Martin
last_name: Dierkes
- first_name: Andreas
full_name: Bellgardt, Andreas
last_name: Bellgardt
- first_name: Rüdiger
full_name: Ibers, Rüdiger
id: '659'
last_name: Ibers
- first_name: Ulrich
full_name: Hilleringmann, Ulrich
last_name: Hilleringmann
citation:
ama: 'Liu Jing M, Ruehrup S, Schindelhauer C, et al. Sensor Networks with More Features
Using Less Hardware. In: {GOR/NGB Conference Tilburg 2004}. Tilburg, Netherlands;
2004.'
apa: Liu Jing, M., Ruehrup, S., Schindelhauer, C., Volbert, K., Dierkes, M., Bellgardt,
A., … Hilleringmann, U. (2004). Sensor Networks with More Features Using Less
Hardware. In {GOR/NGB Conference Tilburg 2004}. Tilburg, Netherlands.
bibtex: '@inproceedings{Liu Jing_Ruehrup_Schindelhauer_Volbert_Dierkes_Bellgardt_Ibers_Hilleringmann_2004,
place={Tilburg, Netherlands}, title={Sensor Networks with More Features Using
Less Hardware}, booktitle={{GOR/NGB Conference Tilburg 2004}}, author={Liu Jing,
Michelle and Ruehrup, Stefan and Schindelhauer, Christian and Volbert, Klaus and
Dierkes, Martin and Bellgardt, Andreas and Ibers, Rüdiger and Hilleringmann, Ulrich},
year={2004} }'
chicago: Liu Jing, Michelle, Stefan Ruehrup, Christian Schindelhauer, Klaus Volbert,
Martin Dierkes, Andreas Bellgardt, Rüdiger Ibers, and Ulrich Hilleringmann. “Sensor
Networks with More Features Using Less Hardware.” In {GOR/NGB Conference Tilburg
2004}. Tilburg, Netherlands, 2004.
ieee: M. Liu Jing et al., “Sensor Networks with More Features Using Less
Hardware,” in {GOR/NGB Conference Tilburg 2004}, 2004.
mla: Liu Jing, Michelle, et al. “Sensor Networks with More Features Using Less Hardware.”
{GOR/NGB Conference Tilburg 2004}, 2004.
short: 'M. Liu Jing, S. Ruehrup, C. Schindelhauer, K. Volbert, M. Dierkes, A. Bellgardt,
R. Ibers, U. Hilleringmann, in: {GOR/NGB Conference Tilburg 2004}, Tilburg, Netherlands,
2004.'
date_created: 2019-08-28T11:58:24Z
date_updated: 2022-01-06T06:51:28Z
department:
- _id: '48'
- _id: '63'
language:
- iso: eng
place: Tilburg, Netherlands
publication: '{GOR/NGB Conference Tilburg 2004}'
status: public
title: Sensor Networks with More Features Using Less Hardware
type: conference
user_id: '14955'
year: '2004'
...
---
_id: '1002'
author:
- first_name: Emma
full_name: Carlson, Emma
last_name: Carlson
- first_name: Christian
full_name: Bettstetter, Christian
last_name: Bettstetter
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Christian
full_name: Prehofer, Christian
last_name: Prehofer
- first_name: Adam
full_name: Wolisz, Adam
last_name: Wolisz
citation:
ama: 'Carlson E, Bettstetter C, Karl H, Prehofer C, Wolisz A. Distributed maintenance
of resource reservation paths in multihop 802.11 networks. In: Vehicular Technology
Conference, 2004. VTC2004-Fall. 2004 IEEE 60th. ; 2004:2994--2998.'
apa: Carlson, E., Bettstetter, C., Karl, H., Prehofer, C., & Wolisz, A. (2004).
Distributed maintenance of resource reservation paths in multihop 802.11 networks.
In Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th
(pp. 2994--2998).
bibtex: '@inproceedings{Carlson_Bettstetter_Karl_Prehofer_Wolisz_2004, title={Distributed
maintenance of resource reservation paths in multihop 802.11 networks}, booktitle={Vehicular
Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th}, author={Carlson, Emma
and Bettstetter, Christian and Karl, Holger and Prehofer, Christian and Wolisz,
Adam}, year={2004}, pages={2994--2998} }'
chicago: Carlson, Emma, Christian Bettstetter, Holger Karl, Christian Prehofer,
and Adam Wolisz. “Distributed Maintenance of Resource Reservation Paths in Multihop
802.11 Networks.” In Vehicular Technology Conference, 2004. VTC2004-Fall. 2004
IEEE 60th, 2994--2998, 2004.
ieee: E. Carlson, C. Bettstetter, H. Karl, C. Prehofer, and A. Wolisz, “Distributed
maintenance of resource reservation paths in multihop 802.11 networks,” in Vehicular
Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th, 2004, pp. 2994--2998.
mla: Carlson, Emma, et al. “Distributed Maintenance of Resource Reservation Paths
in Multihop 802.11 Networks.” Vehicular Technology Conference, 2004. VTC2004-Fall.
2004 IEEE 60th, 2004, pp. 2994--2998.
short: 'E. Carlson, C. Bettstetter, H. Karl, C. Prehofer, A. Wolisz, in: Vehicular
Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th, 2004, pp. 2994--2998.'
date_created: 2017-11-27T10:22:29Z
date_updated: 2022-01-06T06:50:24Z
department:
- _id: '75'
page: 2994--2998
publication: Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th
status: public
title: Distributed maintenance of resource reservation paths in multihop 802.11 networks
type: conference
user_id: '15572'
year: '2004'
...
---
_id: '1006'
author:
- first_name: James
full_name: Gross, James
last_name: Gross
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Adam
full_name: Wolisz, Adam
last_name: Wolisz
citation:
ama: 'Gross J, Karl H, Wolisz A. On the effect of inband signaling and realistic
channel knowledge on dynamic OFDM-FDMA systems. In: European Wireless 2004.
; 2004.'
apa: Gross, J., Karl, H., & Wolisz, A. (2004). On the effect of inband signaling
and realistic channel knowledge on dynamic OFDM-FDMA systems. In European Wireless
2004.
bibtex: '@inproceedings{Gross_Karl_Wolisz_2004, title={On the effect of inband signaling
and realistic channel knowledge on dynamic OFDM-FDMA systems}, booktitle={European
Wireless 2004}, author={Gross, James and Karl, Holger and Wolisz, Adam}, year={2004}
}'
chicago: Gross, James, Holger Karl, and Adam Wolisz. “On the Effect of Inband Signaling
and Realistic Channel Knowledge on Dynamic OFDM-FDMA Systems.” In European
Wireless 2004, 2004.
ieee: J. Gross, H. Karl, and A. Wolisz, “On the effect of inband signaling and realistic
channel knowledge on dynamic OFDM-FDMA systems,” in European Wireless 2004,
2004.
mla: Gross, James, et al. “On the Effect of Inband Signaling and Realistic Channel
Knowledge on Dynamic OFDM-FDMA Systems.” European Wireless 2004, 2004.
short: 'J. Gross, H. Karl, A. Wolisz, in: European Wireless 2004, 2004.'
date_created: 2017-11-27T10:22:29Z
date_updated: 2022-01-06T06:50:27Z
department:
- _id: '75'
publication: European Wireless 2004
status: public
title: On the effect of inband signaling and realistic channel knowledge on dynamic
OFDM-FDMA systems
type: conference
user_id: '15572'
year: '2004'
...
---
_id: '1017'
author:
- first_name: Martin
full_name: Kubisch, Martin
last_name: Kubisch
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Adam
full_name: Wolisz, Adam
last_name: Wolisz
citation:
ama: Kubisch M, Karl H, Wolisz A. A MAC protocol for wireless sensor networks with
multiple selectable, fixed-orientation antennas. Frequenz. 2004;(3-4):92--96.
doi:/10.1.1.3.3185
apa: Kubisch, M., Karl, H., & Wolisz, A. (2004). A MAC protocol for wireless
sensor networks with multiple selectable, fixed-orientation antennas. Frequenz,
(3–4), 92--96. https://doi.org//10.1.1.3.3185
bibtex: '@article{Kubisch_Karl_Wolisz_2004, title={A MAC protocol for wireless sensor
networks with multiple selectable, fixed-orientation antennas}, DOI={/10.1.1.3.3185},
number={3–4}, journal={Frequenz}, author={Kubisch, Martin and Karl, Holger and
Wolisz, Adam}, year={2004}, pages={92--96} }'
chicago: 'Kubisch, Martin, Holger Karl, and Adam Wolisz. “A MAC Protocol for Wireless
Sensor Networks with Multiple Selectable, Fixed-Orientation Antennas.” Frequenz,
no. 3–4 (2004): 92--96. https://doi.org//10.1.1.3.3185.'
ieee: M. Kubisch, H. Karl, and A. Wolisz, “A MAC protocol for wireless sensor networks
with multiple selectable, fixed-orientation antennas,” Frequenz, no. 3–4,
pp. 92--96, 2004.
mla: Kubisch, Martin, et al. “A MAC Protocol for Wireless Sensor Networks with Multiple
Selectable, Fixed-Orientation Antennas.” Frequenz, no. 3–4, 2004, pp. 92--96,
doi:/10.1.1.3.3185.
short: M. Kubisch, H. Karl, A. Wolisz, Frequenz (2004) 92--96.
date_created: 2017-11-27T10:22:29Z
date_updated: 2022-01-06T06:50:31Z
department:
- _id: '75'
doi: /10.1.1.3.3185
issue: 3-4
page: 92--96
publication: Frequenz
related_material:
link:
- relation: confirmation
url: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.3185
status: public
title: A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation
antennas
type: journal_article
user_id: '15572'
year: '2004'
...
---
_id: '1019'
author:
- first_name: James
full_name: Gross, James
last_name: Gross
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
- first_name: Adam
full_name: Wolisz, Adam
last_name: Wolisz
citation:
ama: 'Gross J, Karl H, Wolisz A. Throughput optimization of dynamic OFDM-FDMA systems
with inband signaling. In: 2nd International Symposium on Modeling and Optimization
in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004). ; 2004.'
apa: Gross, J., Karl, H., & Wolisz, A. (2004). Throughput optimization of dynamic
OFDM-FDMA systems with inband signaling. In 2nd International Symposium on
Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt
2004).
bibtex: '@inproceedings{Gross_Karl_Wolisz_2004, title={Throughput optimization of
dynamic OFDM-FDMA systems with inband signaling}, booktitle={2nd International
Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks
2004 (WiOpt 2004)}, author={Gross, James and Karl, Holger and Wolisz, Adam}, year={2004}
}'
chicago: Gross, James, Holger Karl, and Adam Wolisz. “Throughput Optimization of
Dynamic OFDM-FDMA Systems with Inband Signaling.” In 2nd International Symposium
on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt
2004), 2004.
ieee: J. Gross, H. Karl, and A. Wolisz, “Throughput optimization of dynamic OFDM-FDMA
systems with inband signaling,” in 2nd International Symposium on Modeling
and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004),
2004.
mla: Gross, James, et al. “Throughput Optimization of Dynamic OFDM-FDMA Systems
with Inband Signaling.” 2nd International Symposium on Modeling and Optimization
in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004), 2004.
short: 'J. Gross, H. Karl, A. Wolisz, in: 2nd International Symposium on Modeling
and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004), 2004.'
date_created: 2017-11-27T10:22:29Z
date_updated: 2022-01-06T06:50:31Z
department:
- _id: '75'
publication: 2nd International Symposium on Modeling and Optimization in Mobile, Ad
Hoc, and Wireless Networks 2004 (WiOpt 2004)
status: public
title: Throughput optimization of dynamic OFDM-FDMA systems with inband signaling
type: conference
user_id: '15572'
year: '2004'
...
---
_id: '13618'
author:
- first_name: Herbert
full_name: Walder, Herbert
last_name: Walder
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Walder H, Platzner M. A Runtime Environment for Reconfigurable Hardware Operating
Systems. In: Proceedings of the 14th International Conference on Field Programmable
Logic and Applications (FPL). Berlin, Heidelberg: Springer; 2004:831-835.
doi:10.1007/978-3-540-30117-2_84'
apa: 'Walder, H., & Platzner, M. (2004). A Runtime Environment for Reconfigurable
Hardware Operating Systems. In Proceedings of the 14th International Conference
on Field Programmable Logic and Applications (FPL) (pp. 831–835). Berlin,
Heidelberg: Springer. https://doi.org/10.1007/978-3-540-30117-2_84'
bibtex: '@inproceedings{Walder_Platzner_2004, place={Berlin, Heidelberg}, title={A
Runtime Environment for Reconfigurable Hardware Operating Systems}, DOI={10.1007/978-3-540-30117-2_84},
booktitle={Proceedings of the 14th International Conference on Field Programmable
Logic and Applications (FPL)}, publisher={Springer}, author={Walder, Herbert and
Platzner, Marco}, year={2004}, pages={831–835} }'
chicago: 'Walder, Herbert, and Marco Platzner. “A Runtime Environment for Reconfigurable
Hardware Operating Systems.” In Proceedings of the 14th International Conference
on Field Programmable Logic and Applications (FPL), 831–35. Berlin, Heidelberg:
Springer, 2004. https://doi.org/10.1007/978-3-540-30117-2_84.'
ieee: H. Walder and M. Platzner, “A Runtime Environment for Reconfigurable Hardware
Operating Systems,” in Proceedings of the 14th International Conference on
Field Programmable Logic and Applications (FPL), 2004, pp. 831–835.
mla: Walder, Herbert, and Marco Platzner. “A Runtime Environment for Reconfigurable
Hardware Operating Systems.” Proceedings of the 14th International Conference
on Field Programmable Logic and Applications (FPL), Springer, 2004, pp. 831–35,
doi:10.1007/978-3-540-30117-2_84.
short: 'H. Walder, M. Platzner, in: Proceedings of the 14th International Conference
on Field Programmable Logic and Applications (FPL), Springer, Berlin, Heidelberg,
2004, pp. 831–835.'
date_created: 2019-10-04T21:28:56Z
date_updated: 2022-01-06T06:51:40Z
department:
- _id: '78'
doi: 10.1007/978-3-540-30117-2_84
extern: '1'
language:
- iso: eng
page: 831-835
place: Berlin, Heidelberg
publication: Proceedings of the 14th International Conference on Field Programmable
Logic and Applications (FPL)
publication_identifier:
isbn:
- '9783540229896'
- '9783540301172'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer
status: public
title: A Runtime Environment for Reconfigurable Hardware Operating Systems
type: conference
user_id: '398'
year: '2004'
...
---
_id: '13619'
author:
- first_name: Hebert
full_name: Walder, Hebert
last_name: Walder
- first_name: Samuel
full_name: Nobs, Samuel
last_name: Nobs
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Walder H, Nobs S, Platzner M. XF-BOARD: A Prototyping Platform for Reconfigurable
Hardware Operating Systems. In: Proceedings of the 4th International Conference
on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press;
2004.'
apa: 'Walder, H., Nobs, S., & Platzner, M. (2004). XF-BOARD: A Prototyping Platform
for Reconfigurable Hardware Operating Systems. In Proceedings of the 4th International
Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA).
CSREA Press.'
bibtex: '@inproceedings{Walder_Nobs_Platzner_2004, title={XF-BOARD: A Prototyping
Platform for Reconfigurable Hardware Operating Systems}, booktitle={Proceedings
of the 4th International Conference on Engineering of Reconfigurable Systems and
Algorithms (ERSA)}, publisher={CSREA Press}, author={Walder, Hebert and Nobs,
Samuel and Platzner, Marco}, year={2004} }'
chicago: 'Walder, Hebert, Samuel Nobs, and Marco Platzner. “XF-BOARD: A Prototyping
Platform for Reconfigurable Hardware Operating Systems.” In Proceedings of
the 4th International Conference on Engineering of Reconfigurable Systems and
Algorithms (ERSA). CSREA Press, 2004.'
ieee: 'H. Walder, S. Nobs, and M. Platzner, “XF-BOARD: A Prototyping Platform for
Reconfigurable Hardware Operating Systems,” in Proceedings of the 4th International
Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA),
2004.'
mla: 'Walder, Hebert, et al. “XF-BOARD: A Prototyping Platform for Reconfigurable
Hardware Operating Systems.” Proceedings of the 4th International Conference
on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press,
2004.'
short: 'H. Walder, S. Nobs, M. Platzner, in: Proceedings of the 4th International
Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA
Press, 2004.'
date_created: 2019-10-04T21:31:54Z
date_updated: 2022-01-06T06:51:40Z
department:
- _id: '78'
extern: '1'
language:
- iso: eng
publication: Proceedings of the 4th International Conference on Engineering of Reconfigurable
Systems and Algorithms (ERSA)
publisher: CSREA Press
status: public
title: 'XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems'
type: conference
user_id: '398'
year: '2004'
...
---
_id: '13620'
author:
- first_name: Matthias
full_name: Dyer, Matthias
last_name: Dyer
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
- first_name: Lothar
full_name: Thiele, Lothar
last_name: Thiele
citation:
ama: 'Dyer M, Platzner M, Thiele L. Efficient Execution of Process Networks on a
Reconfigurable Hardware Virtual Machine. In: Proceedings 12th Annual IEEE Symposium
on Field-Programmable Custom Computing Machines (FCCM). IEEE CS Press; 2004.
doi:10.1109/fccm.2004.31'
apa: Dyer, M., Platzner, M., & Thiele, L. (2004). Efficient Execution of Process
Networks on a Reconfigurable Hardware Virtual Machine. In Proceedings 12th
Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM).
IEEE CS Press. https://doi.org/10.1109/fccm.2004.31
bibtex: '@inproceedings{Dyer_Platzner_Thiele_2004, title={Efficient Execution of
Process Networks on a Reconfigurable Hardware Virtual Machine}, DOI={10.1109/fccm.2004.31},
booktitle={Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom
Computing Machines (FCCM)}, publisher={IEEE CS Press}, author={Dyer, Matthias
and Platzner, Marco and Thiele, Lothar}, year={2004} }'
chicago: Dyer, Matthias, Marco Platzner, and Lothar Thiele. “Efficient Execution
of Process Networks on a Reconfigurable Hardware Virtual Machine.” In Proceedings
12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM).
IEEE CS Press, 2004. https://doi.org/10.1109/fccm.2004.31.
ieee: M. Dyer, M. Platzner, and L. Thiele, “Efficient Execution of Process Networks
on a Reconfigurable Hardware Virtual Machine,” in Proceedings 12th Annual IEEE
Symposium on Field-Programmable Custom Computing Machines (FCCM), 2004.
mla: Dyer, Matthias, et al. “Efficient Execution of Process Networks on a Reconfigurable
Hardware Virtual Machine.” Proceedings 12th Annual IEEE Symposium on Field-Programmable
Custom Computing Machines (FCCM), IEEE CS Press, 2004, doi:10.1109/fccm.2004.31.
short: 'M. Dyer, M. Platzner, L. Thiele, in: Proceedings 12th Annual IEEE Symposium
on Field-Programmable Custom Computing Machines (FCCM), IEEE CS Press, 2004.'
date_created: 2019-10-04T21:32:57Z
date_updated: 2022-01-06T06:51:40Z
department:
- _id: '78'
doi: 10.1109/fccm.2004.31
language:
- iso: eng
publication: Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing
Machines (FCCM)
publication_identifier:
isbn:
- '0769522300'
publication_status: published
publisher: IEEE CS Press
status: public
title: Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual
Machine
type: conference
user_id: '398'
year: '2004'
...
---
_id: '33825'
abstract:
- lang: eng
text: This article describes our approach for the specification and verification
of production automation systems with real-time properties. We focus on the graphical
MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification
of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint
Language (OCL) that is part of the Unified Modeling Language (UML). We introduce
the formal semantics of RT-OCL based on a formal model of UML Class and State
Diagrams and provide a mapping to temporal logics. The applicability of our approach
is demonstrated by the case study of a manufacturing system with automated guided
vehicles.
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: Ulrich
full_name: Pape, Ulrich
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. Specification and Formal Verification of
Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel
J, et al., eds. Integration of Software Specification Techniques for Applications
in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag;
2004:206-226. doi:10.1007/978-3-540-27863-4_13'
apa: Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal
Verification of Temporal Properties of Production Automation Systems. In H. Ehrig,
W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper
(Eds.), Integration of Software Specification Techniques for Applications in
Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
bibtex: '@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture
Notes in Computer Science}, title={Specification and Formal Verification of Temporal
Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13},
booktitle={Integration of Software Specification Techniques for Applications in
Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller,
Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner
and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard
and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification
and Formal Verification of Temporal Properties of Production Automation Systems.”
In Integration of Software Specification Techniques for Applications in Engineering,
edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang
Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes
in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.'
ieee: 'S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification
of Temporal Properties of Production Automation Systems,” in Integration of
Software Specification Techniques for Applications in Engineering, vol. 3147,
H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper,
Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.'
mla: Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties
of Production Automation Systems.” Integration of Software Specification Techniques
for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147,
Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M.
Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software
Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin,
Heidelberg, 2004, pp. 206–226.'
date_created: 2022-10-20T09:25:53Z
date_updated: 2022-10-20T09:26:15Z
department:
- _id: '672'
doi: 10.1007/978-3-540-27863-4_13
editor:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Werner
full_name: Damm, Werner
last_name: Damm
- first_name: Jörg
full_name: Desel, Jörg
last_name: Desel
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Wolfgang
full_name: Reif, Wolfgang
last_name: Reif
- first_name: Eckehard
full_name: Schnieder, Eckehard
last_name: Schnieder
- first_name: Engelbert
full_name: Westkämper, Engelbert
last_name: Westkämper
intvolume: ' 3147'
keyword:
- Model Check
- Temporal Logic
- Object Constraint Language
- Abstract Syntax
- Temporal Logic Formula
language:
- iso: eng
page: 206-226
place: Berlin, Heidelberg
publication: Integration of Software Specification Techniques for Applications in
Engineering
publication_identifier:
isbn:
- 978-3-540-27863-4
publisher: Springer-Verlag
series_title: Lecture Notes in Computer Science
status: public
title: Specification and Formal Verification of Temporal Properties of Production
Automation Systems
type: book_chapter
user_id: '5786'
volume: 3147
year: '2004'
...
---
_id: '33827'
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
- first_name: Adam
full_name: Pawlak, Adam
last_name: Pawlak
citation:
ama: 'Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure
Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook
2004. Workflow Management Coalition (WfMC); 2004.'
apa: Schattkowsky, T., Müller, W., & Pawlak, A. (2004). Workflow Management
Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer
(Ed.), Workflow Handbook 2004. Workflow Management Coalition (WfMC).
bibtex: '@inbook{Schattkowsky_Müller_Pawlak_2004, place={Lighthouse Point, FL, USA},
title={Workflow Management Middleware for Secure Distance-Spanning Collaborative
Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management
Coalition (WfMC)}, author={Schattkowsky, Tim and Müller, Wolfgang and Pawlak,
Adam}, editor={Fischer, Layna}, year={2004} }'
chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management
Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow
Handbook 2004, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow
Management Coalition (WfMC), 2004.'
ieee: 'T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware
for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook
2004, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition
(WfMC), 2004.'
mla: Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning
Collaborative Engineering.” Workflow Handbook 2004, edited by Layna Fischer,
Workflow Management Coalition (WfMC), 2004.
short: 'T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook
2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.'
date_created: 2022-10-20T09:33:49Z
date_updated: 2022-10-20T09:34:51Z
department:
- _id: '672'
editor:
- first_name: Layna
full_name: Fischer, Layna
last_name: Fischer
language:
- iso: eng
place: Lighthouse Point, FL, USA
publication: Workflow Handbook 2004
publication_identifier:
isbn:
- '0970350961'
publisher: Workflow Management Coalition (WfMC)
status: public
title: Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '33830'
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
citation:
ama: 'Krupp A, Müller W. Refinement of Finite State Machines with Complementary
Model Checking. In: Mermet J, ed. UML-B System Specification for Proven Electronic
Design. Kluwer; 2004:155-168.'
apa: Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with
Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification
for Proven Electronic Design (pp. 155–168). Kluwer.
bibtex: '@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite
State Machines with Complementary Model Checking}, booktitle={UML-B System Specification
for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and
Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }'
chicago: 'Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines
with Complementary Model Checking.” In UML-B System Specification for Proven
Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.'
ieee: 'A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary
Model Checking,” in UML-B System Specification for Proven Electronic Design,
J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.'
mla: Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines
with Complementary Model Checking.” UML-B System Specification for Proven Electronic
Design, edited by J. Mermet, Kluwer, 2004, pp. 155–68.
short: 'A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for
Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.'
date_created: 2022-10-20T09:54:53Z
date_updated: 2022-10-20T09:56:28Z
department:
- _id: '672'
editor:
- first_name: J.
full_name: Mermet, J.
last_name: Mermet
language:
- iso: eng
page: 155-168
place: Dordrecht
publication: UML-B System Specification for Proven Electronic Design
publication_identifier:
isbn:
- 1-4020-2866-0
publisher: Kluwer
status: public
title: Refinement of Finite State Machines with Complementary Model Checking
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '33829'
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. Combining Formal Refinement and Model Checking
for Analysis of Realtime Systems. In: Grimm Ch, ed. Best of FDL’03. Kluwer;
2004:301-314.'
apa: Krupp, A., Müller, W., & Oliver, I. (2004). Combining Formal Refinement
and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), Best
of FDL’03 (pp. 301–314). Kluwer.
bibtex: '@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal
Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best
of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang
and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }'
chicago: 'Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement
and Model Checking for Analysis of Realtime Systems.” In Best of FDL’03,
edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.'
ieee: 'A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model
Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm,
Ed. Dordrecht: Kluwer, 2004, pp. 301–314.'
mla: Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for
Analysis of Realtime Systems.” Best of FDL’03, edited by Ch. Grimm, Kluwer,
2004, pp. 301–14.
short: 'A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer,
Dordrecht, 2004, pp. 301–314.'
date_created: 2022-10-20T09:49:57Z
date_updated: 2022-10-20T09:50:11Z
department:
- _id: '672'
editor:
- first_name: Ch.
full_name: Grimm, Ch.
last_name: Grimm
language:
- iso: eng
page: 301-314
place: Dordrecht
publication: Best of FDL'03
publication_identifier:
isbn:
- 978-1-4020-7991-7
publisher: Kluwer
status: public
title: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '33832'
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. The Echo Cancellation Unit Case Study. In: Mermet
J, ed. UML-B System Specification for Proven Electronic Design. Kluwer;
2004:227-240.'
apa: Krupp, A., Müller, W., & Oliver, I. (2004). The Echo Cancellation Unit
Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic
Design (pp. 227–240). Kluwer.
bibtex: '@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation
Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic
Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and
Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }'
chicago: 'Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation
Unit Case Study.” In UML-B System Specification for Proven Electronic Design,
edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.'
ieee: 'A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,”
in UML-B System Specification for Proven Electronic Design, J. Mermet,
Ed. Dordrecht: Kluwer, 2004, pp. 227–240.'
mla: Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” UML-B
System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer,
2004, pp. 227–40.
short: 'A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification
for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.'
date_created: 2022-10-20T09:59:04Z
date_updated: 2022-10-20T09:59:24Z
department:
- _id: '672'
editor:
- first_name: J.
full_name: Mermet, J.
last_name: Mermet
language:
- iso: eng
page: 227-240
place: Dordrecht
publication: UML-B System Specification for Proven Electronic Design
publication_identifier:
isbn:
- 1-4020-2866-0
publisher: Kluwer
status: public
title: The Echo Cancellation Unit Case Study
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '47645'
author:
- first_name: Dominic
full_name: Dumrauf, Dominic
last_name: Dumrauf
citation:
ama: Dumrauf D. Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen.;
2004.
apa: Dumrauf, D. (2004). Neue Schranken für die Coppersmith-Methode über den
ganzen Zahlen.
bibtex: '@book{Dumrauf_2004, title={Neue Schranken für die Coppersmith-Methode über
den ganzen Zahlen}, author={Dumrauf, Dominic}, year={2004} }'
chicago: Dumrauf, Dominic. Neue Schranken für die Coppersmith-Methode über den
ganzen Zahlen, 2004.
ieee: D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen
Zahlen. 2004.
mla: Dumrauf, Dominic. Neue Schranken für die Coppersmith-Methode über den ganzen
Zahlen. 2004.
short: D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen,
2004.
date_created: 2023-10-05T13:34:24Z
date_updated: 2023-10-05T13:38:53Z
department:
- _id: '34'
- _id: '64'
language:
- iso: ger
status: public
title: Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen
type: bachelorsthesis
user_id: '41047'
year: '2004'
...
---
_id: '47642'
author:
- first_name: Tim
full_name: Herden, Tim
last_name: Herden
citation:
ama: Herden T. Implementierung und Evaluierung eines Angriffs auf DSA.; 2004.
apa: Herden, T. (2004). Implementierung und Evaluierung eines Angriffs auf DSA.
bibtex: '@book{Herden_2004, title={Implementierung und Evaluierung eines Angriffs
auf DSA}, author={Herden, Tim}, year={2004} }'
chicago: Herden, Tim. Implementierung und Evaluierung eines Angriffs auf DSA,
2004.
ieee: T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA.
2004.
mla: Herden, Tim. Implementierung und Evaluierung eines Angriffs auf DSA.
2004.
short: T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
date_created: 2023-10-05T13:33:32Z
date_updated: 2023-10-05T13:39:00Z
department:
- _id: '34'
- _id: '64'
language:
- iso: ger
status: public
title: Implementierung und Evaluierung eines Angriffs auf DSA
type: bachelorsthesis
user_id: '41047'
year: '2004'
...
---
_id: '47644'
author:
- first_name: Sebastian
full_name: Gesemann, Sebastian
last_name: Gesemann
citation:
ama: Gesemann S. Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter
Präfix-Codes.; 2004.
apa: Gesemann, S. (2004). Implementierung eines Verfahrens zur Berechnung optimaler
längenbeschränkter Präfix-Codes.
bibtex: '@book{Gesemann_2004, title={Implementierung eines Verfahrens zur Berechnung
optimaler längenbeschränkter Präfix-Codes}, author={Gesemann, Sebastian}, year={2004}
}'
chicago: Gesemann, Sebastian. Implementierung eines Verfahrens zur Berechnung
optimaler längenbeschränkter Präfix-Codes, 2004.
ieee: S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler
längenbeschränkter Präfix-Codes. 2004.
mla: Gesemann, Sebastian. Implementierung eines Verfahrens zur Berechnung optimaler
längenbeschränkter Präfix-Codes. 2004.
short: S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter
Präfix-Codes, 2004.
date_created: 2023-10-05T13:34:08Z
date_updated: 2023-10-05T22:09:01Z
ddc:
- '000'
department:
- _id: '34'
- _id: '64'
file:
- access_level: open_access
content_type: application/postscript
creator: bhenrik
date_created: 2023-10-05T22:04:42Z
date_updated: 2023-10-05T22:09:01Z
file_id: '47790'
file_name: 2004_Gesemann_ImplementierungEinesVerfahrensZurBerechnungOptimalerLaengenbeschraenkterPraefixCodes.ps
file_size: 236287
relation: main_file
file_date_updated: 2023-10-05T22:09:01Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
status: public
title: Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter
Präfix-Codes
type: bachelorsthesis
user_id: '41047'
year: '2004'
...
---
_id: '47643'
author:
- first_name: Michael
full_name: Gorski, Michael
last_name: Gorski
citation:
ama: Gorski M. Implementierung und Evaluation einiger Algorithmen für Kryptosysteme
auf elliptischen Kurven.; 2004.
apa: Gorski, M. (2004). Implementierung und Evaluation einiger Algorithmen für
Kryptosysteme auf elliptischen Kurven.
bibtex: '@book{Gorski_2004, title={Implementierung und Evaluation einiger Algorithmen
für Kryptosysteme auf elliptischen Kurven}, author={Gorski, Michael}, year={2004}
}'
chicago: Gorski, Michael. Implementierung und Evaluation einiger Algorithmen
für Kryptosysteme auf elliptischen Kurven, 2004.
ieee: M. Gorski, Implementierung und Evaluation einiger Algorithmen für Kryptosysteme
auf elliptischen Kurven. 2004.
mla: Gorski, Michael. Implementierung und Evaluation einiger Algorithmen für
Kryptosysteme auf elliptischen Kurven. 2004.
short: M. Gorski, Implementierung und Evaluation einiger Algorithmen für Kryptosysteme
auf elliptischen Kurven, 2004.
date_created: 2023-10-05T13:33:51Z
date_updated: 2023-10-05T22:09:09Z
ddc:
- '000'
department:
- _id: '34'
- _id: '64'
file:
- access_level: open_access
content_type: application/zip
creator: bhenrik
date_created: 2023-10-05T22:04:24Z
date_updated: 2023-10-05T22:09:09Z
file_id: '47789'
file_name: 2004_Gorski_Schoof-Algorithmus.zip
file_size: 567686
relation: main_file
file_date_updated: 2023-10-05T22:09:09Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
status: public
title: Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen
Kurven
type: bachelorsthesis
user_id: '41047'
year: '2004'
...