Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5950 Publications
2004 | Conference Paper | LibreCat-ID: 1006
@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} }
LibreCat
2004 | Journal Article | LibreCat-ID: 1017
@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} }
LibreCat
| Files available
| DOI
2004 | Conference Paper | LibreCat-ID: 1019
@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} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 13618
@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} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 13619
@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} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 13620
@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} }
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
@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} }
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
@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} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
@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} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
@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} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
@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} }
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47645
@book{Dumrauf_2004, title={Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen}, author={Dumrauf, Dominic}, year={2004} }
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
@book{Herden_2004, title={Implementierung und Evaluierung eines Angriffs auf DSA}, author={Herden, Tim}, year={2004} }
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 | 
@book{Gesemann_2004, title={Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes}, author={Gesemann, Sebastian}, year={2004} }
LibreCat
| Files available
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
@book{Gorski_2004, title={Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven}, author={Gorski, Michael}, year={2004} }
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 39053
@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive Multimodal User Interfaces for Mobile Devices}, DOI={10.1109/HICSS.2004.1265674}, booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France}, title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
@inproceedings{Schattkowsky_Müller_2004, place={Paris}, title={Model-Based Specification and Execution of Embedded Real-Time Systems}, booktitle={Proceedings of DATE’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
@inproceedings{Müller_Paelke_2004, place={Magdeburg}, title={A Formal Model of a Framework for Simulation-Based Animation}, booktitle={Proceedings of the Simulation and Visualisation 2004}, author={Müller, Wolfgang and Paelke, Volker}, year={2004} }
LibreCat