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.
5685 Publications
2009 | Conference Paper | LibreCat-ID: 16430
@inproceedings{Mehler_Meyer auf der Heide_2009, title={Power-aware online file allocation in mobile ad hoc networks}, DOI={10.1145/1583991.1584072}, booktitle={Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures - SPAA ’09}, author={Mehler, Jan and Meyer auf der Heide, Friedhelm}, year={2009} }
LibreCat
| DOI
2009 | Conference (Editor) | LibreCat-ID: 16431
@book{Meyer auf der Heide_Bender_2009, title={Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures - SPAA ’09}, DOI={10.1145/1583991}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 16637
@inproceedings{Domik_2009, place={New York, NY, USA}, series={SIGGRAPH ASIA ’09}, title={Who is on my Team: Building strong Teams in Interdisciplinary Visualization Courses }, volume={1}, DOI={10.1145/1666611.1666620}, number={9}, booktitle={ACM SIGGRAPH ASIA 2009 Educators Program}, publisher={Association for Computing Machinery}, author={Domik, Gitta}, year={2009}, collection={SIGGRAPH ASIA ’09} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 10639
@inproceedings{Boschmann_Kaufmann_Platzner_Winkler_2009, title={Towards multi-movement hand prostheses: Combining adaptive classification with high precision sockets}, booktitle={Proc. Technically Assisted Rehabilitation (TAR)}, author={Boschmann, Alexander and Kaufmann, Paul and Platzner, Marco and Winkler, Michael}, year={2009} }
LibreCat
2009 | Mastersthesis | LibreCat-ID: 10702
@book{Kostin_2009, title={Evolvable Robot Controller}, publisher={Paderborn University}, author={Kostin, Alexander}, year={2009} }
LibreCat
2009 | Journal Article | LibreCat-ID: 10703
@article{Lübbers_Platzner_2009, title={ReconOS: Multithreaded Programming for Reconfigurable Computers}, volume={9}, DOI={10.1145/1596532.1596540}, number={1}, journal={ACM Transactions on Embedded Computing Systems}, author={Lübbers, Enno and Platzner, Marco}, year={2009}, pages={8:1-8:33} }
LibreCat
| DOI
2009 | Mastersthesis | LibreCat-ID: 10746
@book{Tofall_2009, title={Compiler for a Custom Instruction Set CPU}, publisher={Paderborn University}, author={Tofall, Martin}, year={2009} }
LibreCat
2009 | Mastersthesis | LibreCat-ID: 10749
@book{Warkentin_2009, title={Coarse-grained CGP Model using Xilinx Virtex5 DSP48E Functional Units}, publisher={Paderborn University}, author={Warkentin, Alexander}, year={2009} }
LibreCat
2009 | Bachelorsthesis | LibreCat-ID: 10753
@book{Wildenhain_2009, title={Implementierung von Kryptographie-Hardwarebeschleunigern für das HW/SW-Betriebssystem ReconOS}, publisher={Paderborn University}, author={Wildenhain, Benedikt}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 10777
@inproceedings{Ghasemzadeh Mohammadi_Miremadi_Ejlali_2009, title={Signature Self Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined Microprocessors}, DOI={10.1109/PRDC.2009.69}, booktitle={Dependable Computing (PRDC), 2009 IEEE Pacific Rim International Symposium on}, publisher={IEEE}, author={Ghasemzadeh Mohammadi, Hassan and Miremadi, Seyed Ghassem and Ejlali, Alireza}, year={2009}, pages={252–255} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 12060
@article{Sommer_Dietrich_Dressler_2009, title={Simulation of Ad Hoc Routing Protocols using OMNeT++}, DOI={10.1007/s11036-009-0174-5}, journal={Mobile Networks and Applications}, author={Sommer, Christoph and Dietrich, Isabel and Dressler, Falko}, year={2009}, pages={786–801} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 15680
@article{Börstler_S. Hall_Nordström_H. Paterson_Sanders_Schulte_Thomas_2009, title={An evaluation of object oriented example programs in introductory programming textbooks}, volume={41}, number={4}, journal={SIGCSE Bulletin}, author={Börstler, Jürgen and S. Hall, Mark and Nordström, Marie and H. Paterson, James and Sanders, Kate and Schulte, Carsten and Thomas, Lynda}, year={2009}, pages={126–143} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15681
@inproceedings{Schulte_Tolksdorf_2009, title={Qualitätssicherung in einer interaktiven und lerneraktivierenden E-Learning-Umgebung}, booktitle={DeLFI Workshops}, publisher={Logos Verlag}, author={Schulte, Carsten and Tolksdorf, Robert}, year={2009}, pages={219–225} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15682
@inproceedings{Ehlert_Schulte_2009, title={Empirical comparison of objects-first and objects-later}, booktitle={ICER}, publisher={ACM}, author={Ehlert, Albrecht and Schulte, Carsten}, year={2009}, pages={15–26} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15683
@inproceedings{Brinda_Puhlmann_Schulte_2009, title={Bridging ICT and CS: educational standards for computer science in lower secondary education}, booktitle={ITiCSE}, publisher={ACM}, author={Brinda, Torsten and Puhlmann, Hermann and Schulte, Carsten}, year={2009}, pages={288–292} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15684
@inproceedings{Ehlert_Schulte_2009, series={LNI}, title={Unterschiede im Lernerfolg von Schülerinnen und Sch\üern in Abhängigkeit von der zeitlichen Reihenfolge der Themen (OOP-First bzw. OOP-Later)}, volume={P-156}, booktitle={INFOS}, publisher={GI}, author={Ehlert, Albrecht and Schulte, Carsten}, year={2009}, pages={121–132}, collection={LNI} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15685
@inproceedings{Koubek_Schulte_Schulze_Witten_2009, series={LNI}, title={Informatik im Kontext (IniK) - Ein integratives Unterrichtskonzept für den Informatikunterricht}, volume={P-156}, booktitle={INFOS}, publisher={GI}, author={Koubek, Jochen and Schulte, Carsten and Schulze, Peter and Witten, Helmut}, year={2009}, pages={268–279}, collection={LNI} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15686
@inproceedings{Schulte_2009, series={LNI}, title={Dualitätsrekonstruktion als Hilfsmittel zur Entwicklung und Planung von Informatikunterricht}, volume={P-156}, booktitle={INFOS}, publisher={GI}, author={Schulte, Carsten}, year={2009}, pages={355–366}, collection={LNI} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15773
@inproceedings{Cheng_Hüllermeier_2009, title={A simple instance-based approach to multilabel classification using the Mallows model}, booktitle={In Proceedings MLD-2009 1st International Workshop on Learning from Multi-Label Data, Bled, Slovenia}, author={Cheng, W. and Hüllermeier, Eyke}, year={2009}, pages={28–38} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15774
@inproceedings{Senge_Hüllermeier_2009, title={Learning pattern tree classifiers using a co-evolutionary algorithm}, booktitle={in Proceedings 19th Workshop Computational Intelligence, Dortmund Germany}, publisher={KIT Scientific Publishing}, author={Senge, Robin and Hüllermeier, Eyke}, editor={Hoffmann, F. and Hüllermeier, EykeEditors}, year={2009}, pages={22–33} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15775
@inproceedings{Fober_Mernberger_Moritz_Hüllermeier_2009, title={Graph-kernels for the comparative analysis of protein active sites}, booktitle={In Proceedings GCB-2009 German Conference on Bioinformatics Halle (Saale), Germany}, author={Fober, T. and Mernberger, M. and Moritz, R. and Hüllermeier, Eyke}, editor={Grosse, I. and Neumann, S. and Posch, S. and Schreiber, F. and Stadler, P..Editors}, year={2009}, pages={21–31} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15776
@inproceedings{Senge_Hüllermeier_2009, title={Learning pattern tree classifiers using a co-evolutionary algorithm}, booktitle={In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany}, author={Senge, Robin and Hüllermeier, Eyke}, year={2009}, pages={105–110} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15778
@inproceedings{Fober_Mernberger_Melnikov_Moritz_Hüllermeier_2009, title={Extension and empirical comparison of graph-kernels for the analysis of protein active sites}, booktitle={In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany}, author={Fober, T. and Mernberger, M. and Melnikov, Vitaly and Moritz, R. and Hüllermeier, Eyke}, year={2009}, pages={30–36} }
LibreCat
2009 | Journal Article | LibreCat-ID: 15076
@article{Böttcher_Hartel_2009, title={Information disclosure by answers to XPath queries}, volume={17}, DOI={10.3233/jcs-2009-0318}, number={1}, journal={Journal of Computer Security}, publisher={IOS Press}, author={Böttcher, Stefan and Hartel, Rita}, year={2009}, pages={69–99} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 15120
@inproceedings{Fober_Klebe_Hüllermeier_2009, title={Efficient construction of multiple geometrical alignments for the comparison of protein binding sites}, booktitle={in Proceedings ISDA-2009, 9th international Conference on Intelligent Systems Design and Applications, Pisa, Italy}, author={Fober, T. and Klebe, G. and Hüllermeier, Eyke}, year={2009}, pages={1251–1256} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15138
@inproceedings{Böttcher_Hartel_2009, title={CSC: Supporting Queries on Compressed Cached XML}, booktitle={Database Technologies 2009, Twentieth Australasian Database Conference, ADC 2009}, publisher={Australian Computer Society, Inc.}, author={Böttcher, Stefan and Hartel, Rita}, year={2009}, pages={153–160} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15139
@inproceedings{Böttcher_Hartel_Messinger_2009, title={XML Stream Data Reduction by Shared KST Signatures}, DOI={10.1109/hicss.2009.513}, booktitle={2009 42nd Hawaii International Conference on System Sciences}, publisher={IEEE}, author={Böttcher, Stefan and Hartel, Rita and Messinger, Christian}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 15194
@inproceedings{Boukhris_Elouedi_Fober_Mernberger_Hüllermeier_2009, title={Similarity analysis of protein binding sites: A generalization of the maximum common subgraph measure based on quasi-clique detection}, booktitle={In Proceedings IDA-2009, 9th International Symposium on Intelligent Data Analysis, Pisa / Italy}, author={Boukhris, I. and Elouedi, Z. and Fober, T. and Mernberger, M. and Hüllermeier, Eyke}, year={2009}, pages={1245–1250} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15195
@inproceedings{Fober_Hüllermeier_2009, title={Fuzzy modeling of labeled point cloud superposition for the comparison of protein binding sites}, booktitle={in Proceedings IFSA / EUSFLAT-2009 World Congress of the Fuzzy Systems Association, Lissabon, Portugal}, author={Fober, T. and Hüllermeier, Eyke}, year={2009}, pages={1299–1304} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 15196
@inproceedings{Hüllermeier_Rifqi_2009, title={A fuzzy variant of the Rand index for comparing clustering structures}, booktitle={in Proceedings IFSA / EUSFLAT-2009 World Congress of the Fuzzy Systems Association, Lissabon, Portugal}, author={Hüllermeier, Eyke and Rifqi, M.}, year={2009}, pages={1294–1298} }
LibreCat
2009 | Journal Article | LibreCat-ID: 15255
@article{Domik_2009, title={Interdisciplinary Collaboration in a Visualization Course}, journal={Informatics Education Europe IV, November}, author={Domik, Gitta}, year={2009}, pages={5–9} }
LibreCat
2009 | Journal Article | LibreCat-ID: 16154
@article{Weskamp_Hüllermeier_Klebe_2009, title={Merging chemical and biological space: Structural mapping of enzyme binding pocket space}, volume={76}, number={2}, journal={Proteins}, author={Weskamp, N. and Hüllermeier, Eyke and Klebe, G.}, year={2009}, pages={317–330} }
LibreCat
2009 | Journal Article | LibreCat-ID: 16158
@article{Hühn_Hüllermeier_2009, title={FURIA: An Algorithm for unordered fuzzy rule induction}, volume={19}, journal={Data Mining and Knowledge Discovery }, author={Hühn, J. and Hüllermeier, Eyke}, year={2009}, pages={293–319} }
LibreCat
2009 | Journal Article | LibreCat-ID: 16159
@article{Hüllermeier_Vanderlooy_2009, title={Why fuzzy decision trees are good rankers}, volume={17}, number={6}, journal={IEEE Transactions on Fuzzy Systems}, author={Hüllermeier, Eyke and Vanderlooy, S.}, year={2009}, pages={1233–1244} }
LibreCat
2009 | Journal Article | LibreCat-ID: 16161
@article{Yi_Fober_Hüllermeier_2009, title={Fuzzy operator trees for modeling rating functions}, volume={8}, number={4}, journal={International Journal of Computational Intelligence and Applications}, author={Yi, Y. and Fober, T. and Hüllermeier, Eyke}, year={2009}, pages={413–428} }
LibreCat
2009 | Journal Article | LibreCat-ID: 16162
@article{Fober_Mernberger_Klebe_Hüllermeier_2009, title={Evolutionary construction of multiple graph alignments for the structural analysis of biomolecules}, volume={25}, number={16}, journal={Bioinformatics}, author={Fober, T. and Mernberger, M. and Klebe, G. and Hüllermeier, Eyke}, year={2009}, pages={2110–2117} }
LibreCat
2009 | Journal Article | LibreCat-ID: 16163
@article{Hühn_Hüllermeier_2009, title={FR3: A fuzzy rule learner for inducing reliable classifiers}, volume={17}, number={1}, journal={IEEE Transactions on Fuzzy Systems}, author={Hühn, J. and Hüllermeier, Eyke}, year={2009}, pages={138–149} }
LibreCat
2009 | Journal Article | LibreCat-ID: 16165
@article{Hüllermeier_Vladimirskiy_Prados Suarez_Stauch_2009, title={Supporting case-based retrieval by similarity skylines: Basic concepts and extensions}, volume={1}, number={09}, journal={Künstliche Intelligenz}, author={Hüllermeier, Eyke and Vladimirskiy, I. and Prados Suarez, B. and Stauch, E.}, year={2009}, pages={24–29} }
LibreCat
2009 | Journal Article | LibreCat-ID: 16398
@article{Bienkowski_Byrka_Korzeniowski_Meyer auf der Heide_2009, title={Optimal algorithms for page migration in dynamic networks}, DOI={10.1016/j.jda.2008.07.006}, journal={Journal of Discrete Algorithms}, author={Bienkowski, Marcin and Byrka, Jaroslaw and Korzeniowski, Miroslaw and Meyer auf der Heide, Friedhelm}, year={2009}, pages={545–569} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1005
@inproceedings{Biermann_Polgar_Karl_2009, title={Cooperation and coding framework}, booktitle={Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference on}, author={Biermann, Thorsten and Polgar, Zsolt Alfred and Karl, Holger}, year={2009}, pages={1--5} }
LibreCat
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 1010
@inproceedings{Valentin_Woldegebreal_Volkhausen_Karl_2009, title={Combining for cooperative WLANs-a reality check based on prototype measurements}, booktitle={Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference on}, author={Valentin, Stefan and Woldegebreal, Dereje H and Volkhausen, Tobias and Karl, Holger}, year={2009}, pages={1--5} }
LibreCat
| Files available
2009 | Conference Paper | LibreCat-ID: 1011
@inproceedings{Volkhausen_Woldegebreal_Karl_2009, title={Improving network coded cooperation by soft information}, booktitle={Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops’ 09. 6th Annual IEEE Communications Society Conference on}, author={Volkhausen, Tobias and Woldegebreal, Dereje H and Karl, Holger}, year={2009}, pages={1--6} }
LibreCat
| Download (ext.)
2009 | Book Chapter | LibreCat-ID: 10188
@inbook{Hüllermeier_2009, title={On the usefulness of fuzzy sets in data mining}, booktitle={Views on Fuzzy Sets and Systems from Different Perspectives: Philosophy and Logic, Criticisms and Applications}, publisher={Springer}, author={Hüllermeier, Eyke}, editor={Seising, R.Editor}, year={2009}, pages={457–470} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 1032
@inproceedings{Warneke_Dannewitz_2009, title={Statistics-based ID management for load balancing in structured P2P networks}, DOI={10.1109/lcn.2009.5355086}, booktitle={2009 IEEE 34th Conference on Local Computer Networks}, publisher={IEEE}, author={Warneke, Daniel and Dannewitz, Christian}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 13595
@inproceedings{Cheng_Hühn_Hüllermeier_2009, title={Decision tree and instance-based learning for label ranking}, booktitle={in Proceedings ICML-2009, 26th International Conference on Machine Learning, Montreal, Canada}, author={Cheng, W. and Hühn, J. and Hüllermeier, Eyke}, year={2009}, pages={161–168} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 13596
@inproceedings{Fürnkranz_Hüllermeier_Vanderlooy_2009, title={Binary decomposition methods for multipartite ranking}, booktitle={In Proceedings ECML/PKDD-2009, European Conference on Machine Learning and Principles and Knowledge Discovery in Databases, Bled Sloveniaery in Databases, Bled, Slovenia}, author={Fürnkranz, J. and Hüllermeier, Eyke and Vanderlooy, S.}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 13598
@inproceedings{Cheng_Hüllermeier_2009, title={A new instance-based label ranking approach using the Mallows model. In Advances in Neural Networks}, number={LNCS 5551}, booktitle={in Proceedings 6th International Symposium on Neural Networks, Wuhan, China}, publisher={Springer}, author={Cheng, W. and Hüllermeier, Eyke}, year={2009}, pages={707–716} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 13632
@inproceedings{Happe_Lübbers_Platzner_2009, title={A Multithreaded Framework for Sequential Monte Carlo Methods on CPU/FPGA Platforms}, booktitle={Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC)}, publisher={Springer}, author={Happe, Markus and Lübbers, Enno and Platzner, Marco}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 13634
@inproceedings{Giefers_Platzner_2009, title={Towards Models for Many-Cores: The Case for the Reconfigurable Mesh}, booktitle={Proceedings of the Workshop on Many-Cores, International Conference on Architecture of Computing Systems (ARCS)}, author={Giefers, Heiner and Platzner, Marco}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 13635
@inproceedings{Giefers_Platzner_2009, title={ARMLang: A Language and Compiler for Programming Reconfigurable Mesh Many-Cores}, booktitle={Reconfigurable Architectures Workshop (RAW), Proceedings of the International Parallel and Distributed Processing Symposium}, publisher={IEEE}, author={Giefers, Heiner and Platzner, Marco}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 13636
@inproceedings{Lübbers_Platzner_2009, title={Cooperative Multithreading in Dynamically Reconfigurable Systems}, booktitle={Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) }, publisher={IEEE}, author={Lübbers, Enno and Platzner, Marco}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 13637
@inproceedings{Giefers_Platzner_2009, title={Program-driven Fine-grained Power Management for the Reconfigurable Mesh}, booktitle={Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) }, publisher={IEEE}, author={Giefers, Heiner and Platzner, Marco}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 13638
@inproceedings{Happe_Lübbers_Platzner_2009, title={An adaptive Sequential Monte Carlo framework with runtime HW/SW repartitioning}, DOI={10.1109/fpt.2009.5377645}, booktitle={Proceedings of the 2009 International Conference on Field-Programmable Technology (FPT)}, publisher={IEEE}, author={Happe, Markus and Lübbers, Enno and Platzner, Marco}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 13639
@inproceedings{Drzevitzky_Kastens_Platzner_2009, title={Proof-carrying Hardware: Towards Runtime Verification of Reconfigurable Modules}, booktitle={Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)}, publisher={IEEE}, author={Drzevitzky, Stephanie and Kastens, Uwe and Platzner, Marco}, year={2009} }
LibreCat
2009 | Book Chapter | LibreCat-ID: 33813
@inbook{Zabel_Müller_Gerstlauer_2009, place={Dordrecht}, title={Accurate RTOS Modelling and Analysis with SystemC}, DOI={10.1007/978-1-4020-9436-1_9}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang and Gerstlauer, Andreas}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={233–260} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
@inbook{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent Software - Introduction and Overview}, DOI={10.1007/978-1-4020-9436-1_1}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={1–14} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A UML Frontend for IP-XACT-based IP Management}, DOI={10.1109/DATE.2009.5090664}, booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={10.1109/DATE.2009.5090925}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
@inproceedings{Klobedanz_Kuznik_Elfeky_Müller_2009, title={Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study}, DOI={10.1007/978-3-642-04284-3_20}, booktitle={Proceedings of IESS09}, publisher={Springer Verlag}, author={Klobedanz, Kay and Kuznik, Christoph and Elfeky, Ahmed and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
@inproceedings{Becker_Zabel_Müller_2009, title={Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
@inproceedings{Krupp_Müller_2009, place={Friedrichshafen}, title={Systematic Model-in-the-Loop Test of Embedded Control Systems}, booktitle={Proceedings of IESS09}, author={Krupp, Alexander and Müller, Wolfgang}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
@inproceedings{Doemer_Gerstlauer_Müller_2009, place={Yokohama, Japan}, title={Hardware-dependent Software for Multi- and Many-Core Embedded Systems}, booktitle={Proceedings of ASP-DAC’09}, author={Doemer, R. and Gerstlauer, A. and Müller, Wolfgang}, year={2009} }
LibreCat
2009 | Journal Article | LibreCat-ID: 8180 | 
@article{Gharibian_Kampermann_Bru{\ss}_2009, title={On global effects caused by locally noneffective unitary operations}, volume={9}, number={11}, journal={Quantum Information & Computation}, author={Gharibian, Sevag and Kampermann, Hermann and Bru{\ss}, Dagmar}, year={2009}, pages={1013–1029} }
LibreCat
| Download (ext.)
| arXiv
2009 | Journal Article | LibreCat-ID: 8181 |
@article{Datta_Gharibian_2009, title={Signatures of nonclassicality in mixed-state quantum computation}, volume={79}, DOI={10.1103/physreva.79.042325}, number={4}, journal={Physical Review A}, publisher={American Physical Society (APS)}, author={Datta, Animesh and Gharibian, Sevag}, year={2009} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2009 | Conference Paper | LibreCat-ID: 2350
@inproceedings{Schumacher_Plessl_Platzner_2009, title={IMORC: Application Mapping, Monitoring and Optimization for High-Performance Reconfigurable Computing}, DOI={10.1109/FCCM.2009.25}, booktitle={Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)}, publisher={IEEE Computer Society}, author={Schumacher, Tobias and Plessl, Christian and Platzner, Marco}, year={2009}, pages={275–278} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 2262
@inproceedings{Kaufmann_Plessl_Platzner_2009, place={Los Alamitos, CA, USA}, title={EvoCaches: Application-specific Adaptation of Cache Mapping}, booktitle={Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS)}, publisher={IEEE Computer Society}, author={Kaufmann, Paul and Plessl, Christian and Platzner, Marco}, year={2009}, pages={11–18} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 2352
@inproceedings{Beutel_Gruber_Hasler_Lim_Meier_Plessl_Talzi_Thiele_Tschudin_Woehrle_et al._2009, place={Washington, DC, USA}, title={PermaDAQ: A Scientific Instrument for Precision Sensing and Data Recovery in Environmental Extremes}, booktitle={Proc. Int. Conf. on Information Processing in Sensor Networks (IPSN)}, publisher={IEEE Computer Society}, author={Beutel, Jan and Gruber, Stephan and Hasler, Andi and Lim, Roman and Meier, Andreas and Plessl, Christian and Talzi, Igor and Thiele, Lothar and Tschudin, Christian and Woehrle, Matthias and et al.}, year={2009}, pages={265–276} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 2238
@inproceedings{Schumacher_Süß_Plessl_Platzner_2009, place={Los Alamitos, CA, USA}, title={Communication Performance Characterization for Reconfigurable Accelerator Design on the XD1000}, DOI={10.1109/ReConFig.2009.32}, booktitle={Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig)}, publisher={IEEE Computer Society}, author={Schumacher, Tobias and Süß, Tim and Plessl, Christian and Platzner, Marco}, year={2009}, pages={119–124} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 2261
@inproceedings{Schumacher_Plessl_Platzner_2009, title={An Accelerator for k-th Nearest Neighbor Thinning Based on the IMORC Infrastructure}, booktitle={Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)}, publisher={IEEE}, author={Schumacher, Tobias and Plessl, Christian and Platzner, Marco}, year={2009}, pages={338–344} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 2263
@inproceedings{Grad_Plessl_2009, place={USA}, title={Woolcano: An Architecture and Tool Flow for Dynamic Instruction Set Extension on Xilinx Virtex-4 FX}, booktitle={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Grad, Mariusz and Plessl, Christian}, year={2009}, pages={319–322} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 46414
@inproceedings{Wagner_Trautmann_Naujoks_2009, place={Berlin, Heidelberg}, title={OCD: Online Convergence Detection for Evolutionary Multi-Objective Algorithms Based on Statistical Testing}, DOI={https://doi.org/10.1007/978-3-642-01020-0_19}, booktitle={Evolutionary Multi-Criterion Optimization}, publisher={Springer Berlin Heidelberg}, author={Wagner, Tobias and Trautmann, Heike and Naujoks, Boris}, editor={Ehrgott, Matthias and Fonseca, Carlos M. and Gandibleux, Xavier and Hao, Jin-Kao and Sevaux, Marc}, year={2009}, pages={198–215} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 46415
@inproceedings{Trautmann_Mehnen_Naujoks_2009, title={Pareto-dominance in noisy environments}, DOI={10.1109/CEC.2009.4983338}, booktitle={2009 IEEE Congress on Evolutionary Computation}, author={Trautmann, Heike and Mehnen, Jorn and Naujoks, Boris}, year={2009}, pages={3119–3126} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 46413
@inproceedings{Naujoks_Trautmann_2009, title={Online convergence detection for multiobjective aerodynamic applications}, DOI={10.1109/CEC.2009.4982966}, booktitle={2009 IEEE Congress on Evolutionary Computation}, author={Naujoks, Boris and Trautmann, Heike}, year={2009}, pages={332–339} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 46416
@article{Trautmann_Mehnen_2009, title={Statistical Methods for Improving Multi-objective Evolutionary Optimisation}, volume={5}, number={2}, journal={International Journal of Computational Intelligence Research}, author={Trautmann, Heike and Mehnen, J}, year={2009}, pages={72–78} }
LibreCat
2009 | Journal Article | LibreCat-ID: 46418
@article{Trautmann_Wagner_Naujoks_Preuss_Mehnen_2009, title={Statistical Methods for Convergence Detection of Multi-Objective Evolutionary Algorithms}, volume={17}, DOI={10.1162/evco.2009.17.4.17403}, number={4}, journal={Evolutionary Computation}, author={Trautmann, Heike and Wagner, T. and Naujoks, B. and Preuss, M. and Mehnen, J.}, year={2009}, pages={493–509} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 46417
@article{Trautmann_Mehnen_2009, title={Preference-based Pareto optimization in certain and noisy environments}, volume={41}, DOI={10.1080/03052150802347926}, number={1}, journal={Engineering Optimization}, publisher={Taylor & Francis}, author={Trautmann, Heike and Mehnen, Jörn}, year={2009}, pages={23–38} }
LibreCat
| DOI
2008 | Report | LibreCat-ID: 2513
@book{Biermann_Dannewitz_Karl_2008, title={Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks}, author={Biermann, Thorsten and Dannewitz, Christian and Karl, Holger}, year={2008} }
LibreCat
| Files available
2008 | Dissertation | LibreCat-ID: 19615
@book{Schomaker_2008, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Distributed Resource Allocation and Management in Heterogeneous Networks}, volume={259}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Schomaker, Gunnar}, year={2008}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 19686
@inproceedings{Briest_2008, title={Uniform Budgets and the Envy-Free Pricing Problem}, DOI={10.1007/978-3-540-70575-8_66}, booktitle={Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP)}, author={Briest, Patrick}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19687
@inproceedings{Briest_Krysta_Babaioff_2008, place={Cham}, title={On the Approximability of Combinatorial Exchange Problems}, DOI={https://doi.org/10.1007/978-3-540-79309-0_9}, booktitle={Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT)}, author={Briest, Patrick and Krysta, Piotr and Babaioff, Moshe}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19812
@inproceedings{Schindelhauer_Mahlmann_2008, title={Random Graphs for Peer-to-Peer Overlays}, number={222}, booktitle={The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Schindelhauer, Christian and Mahlmann, Peter}, year={2008}, pages={1–22} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 19813
@inproceedings{Ooi_Schindelhauer_2008, title={Detours Save Energy in Mobile Wireless Networks}, DOI={10.1007/978-0-387-84839-6_6}, booktitle={MWCN’08: Proc. of IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN 2008) and Personal Wireless Communications (PWC 2008)}, publisher={Springer}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2008} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19832
@inproceedings{Ooi_Schindelhauer_2008, title={Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots}, DOI={10.1007/978-3-642-00644-9_4}, booktitle={ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008)}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2008} }
LibreCat
| DOI
2008 | Mastersthesis | LibreCat-ID: 19950
@book{Pietrzyk_2008, title={Lokale Strategien zur Optimierung von Kommunikationsketten}, author={Pietrzyk, Peter}, year={2008} }
LibreCat
| Files available
2008 | Dissertation | LibreCat-ID: 20262
@book{Hamann_2008, title={Space-Time Continuous Models of Swarm Robotic Systems}, DOI={10.1007/978-3-642-13377-0}, author={Hamann, Heiko}, year={2008} }
LibreCat
| DOI
2008 | Preprint | LibreCat-ID: 26235
@article{Ziegler_Koolen_2008, title={Kolmogorov Complexity Theory over the Reals}, journal={arXiv:0802.2027}, author={Ziegler, Martin and Koolen, Wouter M.}, year={2008} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 26243
@inproceedings{Köhler_Ziegler_2008, title={On the Stability of Fast Polynomial Arithmetic}, booktitle={Proc. 8th Conference on Real Numbers and Computers}, author={Köhler, Sven and Ziegler, Martin}, year={2008}, pages={147–156} }
LibreCat
2008 | Book Chapter | LibreCat-ID: 26262
@inbook{Ziegler_2008, title={A Meta-Theory of Physics and Computation}, booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft}, publisher={Deutsche Physikalische Gesellschaft (DPG)}, author={Ziegler, Martin}, year={2008}, pages={145} }
LibreCat
2008 | Journal Article | LibreCat-ID: 26280
@article{Meer_Ziegler_2008, title={An explicit solution to Post’s Problem over the reals}, DOI={10.1016/j.jco.2006.09.004}, journal={Journal of Complexity}, author={Meer, Klaus and Ziegler, Martin}, year={2008}, pages={3–15} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3203
@article{Wehrheim_2008, title={Refinement in the Presence of Unknowns}, DOI={10.1016/j.entcs.2008.02.023}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2008}, pages={255--264} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3204
@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?}, DOI={10.1016/j.entcs.2008.06.015}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Wehrheim, Heike}, year={2008}, pages={331--357} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3205
@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal method into a software engineering process with {UML} and Java}, DOI={10.1007/s00165-007-0042-7}, number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204} }
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3206
@article{Brückner_Dräger_Finkbeiner_Wehrheim_2008, title={Slicing Abstractions}, number={4}, journal={Fundam. Inform.}, author={Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}, year={2008}, pages={369--392} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, DOI={10.1007/978-3-540-68863-1_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3001
@inproceedings{Stern_Adelt_Krummel_Ackermann_2008, title={Reliable Evidence of Data Integrity from an Untrusted Storage Service}, DOI={10.1109/icns.2008.28}, booktitle={Fourth International Conference on Networking and Services (icns 2008)}, publisher={IEEE}, author={Stern, Claudius and Adelt, Philipp and Krummel, Volker and Ackermann, Marcel Rudolf}, year={2008} }
LibreCat
| DOI