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.
5712 Publications
2010 | Book (Editor) | LibreCat-ID: 16404
@book{Abramsky_Gavoille_Kirchner_Meyer auf der Heide_Spirakis_2010, place={Berlin, Heidelberg}, title={Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I.}, DOI={10.1007/978-3-642-14165-2}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1004
@inproceedings{Miller_Biermann_Woesner_Karl_2010, title={Network coding in passive optical networks}, booktitle={Network Coding (NetCod), 2010 IEEE International Symposium on}, author={Miller, Konstantin and Biermann, Thorsten and Woesner, Hagen and Karl, Holger}, year={2010}, pages={1--6} }
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 1021
@inproceedings{Lischka_Karl_2010, title={RiaS: overlay topology creation on a PlanetLab infrastructure}, booktitle={Proceedings of the second ACM SIGCOMM workshop on Virtualized infrastructure systems and architectures}, author={Lischka, Jens and Karl, Holger}, year={2010}, pages={9--16} }
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 1022
@inproceedings{Woldegebreal_Karl_2010, title={Energy efficiency model of network-coded cooperation in wireless sensor networks}, booktitle={Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference on}, author={Woldegebreal, Dereje H and Karl, Holger}, year={2010}, pages={513--520} }
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 1023
@inproceedings{Khan_Karl_2010, title={Cooperative communication to improve reliability and efficient neighborhood wakeup in wireless sensor networks}, booktitle={Proceedings of the Fourth International Conference on Mobile Ubiquitous Computing (UBICOMM 2010)}, author={Khan, Rana Azeem M and Karl, Holger}, year={2010} }
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 13589
@inproceedings{Dembczynski_Cheng_Hüllermeier_2010, title={Bayes optimal multilabel classification via probalistic classifier chains}, booktitle={in Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel}, author={Dembczynski, K. and Cheng, W. and Hüllermeier, Eyke}, editor={Fürnkranz, J. and Joachims, T.Editors}, year={2010}, pages={279–286} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13590
@inproceedings{Cheng_Dembczynski_Hüllermeier_2010, title={Label ranking based on the Plackett-Luce model}, booktitle={in Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel}, author={Cheng, W. and Dembczynski, K. and Hüllermeier, Eyke}, editor={Fürnkranz, J. and Joachims, T.Editors}, year={2010}, pages={215–222} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13591
@inproceedings{Cheng_Dembczynski_Hüllermeier_2010, title={Graded multi-label classification: The ordinal case}, booktitle={in Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel}, author={Cheng, W. and Dembczynski, K. and Hüllermeier, Eyke}, editor={Fürnkranz, J. and Joachims, T.Editors}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13593
@inproceedings{Dembczynski_Waegeman_Cheng_Hüllermeier_2010, title={Regret analysis for performance metrics in multi-label classification: The case of Hamming and subset zero-one loss}, booktitle={In Proceedings ECML/PKDD-2010, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ,Bareclona, Spain}, author={Dembczynski, K. and Waegeman, W. and Cheng, W. and Hüllermeier, Eyke}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13594
@inproceedings{Cheng_Rademaker_De Beats_Hüllermeier_2010, title={Predicting partial orders: Ranking with abstention}, booktitle={In Proceedings ECML/PKDD-2010, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ,Bareclona, Spain}, author={Cheng, W. and Rademaker, M. and De Beats, B. and Hüllermeier, Eyke}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13597
@inproceedings{Hüllermeier_2010, title={Uncertainty in clustering and classification }, volume={6379}, number={LNCS}, booktitle={in Proceedings SUM 2010, International Conference on Scalable Uncertainty Management }, publisher={Springer}, author={Hüllermeier, Eyke}, year={2010}, pages={16–19} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13640
@inproceedings{Giefers_Platzner_2010, title={A Triple Hybrid Interconnect for Many-Cores: Reconfigurable Mesh, NoC and Barrier}, booktitle={Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL)}, publisher={IEEE}, author={Giefers, Heiner and Platzner, Marco}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13641
@inproceedings{Schäfer_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_Trächtler_2010, title={Engineering Self-Coordinating Software Intensive Systems}, booktitle={Proceedings of the Foundations of Software Engineering (FSE) and NITR & D/SPD Working Conference on the Future of Software Engineering Research (FoSER)}, author={Schäfer, Wilhelm and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels, Gregor and O’Grady, Rehan and Platzner, Marco and Rammig, Franz-Josef and Reif, Wolfgang and Trächtler, Ansgar}, year={2010}, pages={321–324} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 13642
@inproceedings{Giefers_Platzner_2010, title={A Self-Reconfigurable Lightweight Interconnect for Scalable Processor Fabrics}, booktitle={Proceedings of the 10th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Giefers, Heiner and Platzner, Marco}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={10.1109/DATE.2010.5456990}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={10.1109/DATE.2010.5457125}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
@inproceedings{Becker_Zabel_Müller_2010, place={Dordrecht}, title={A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement}, DOI={10.1007/978-3-642-15234-4_15}, publisher={Springer Verlag}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
@inproceedings{Klobedanz_Defo_Zabel_Müller_Zhi_2010, place={Dordrecht}, title={Task Migration for Fault-Tolerant FlexRay Networks}, DOI={10.1007/978-3-642-15234-4_7}, publisher={Springer Verlag}, author={Klobedanz, Kay and Defo, Gilles B. and Zabel, Henning and Müller, Wolfgang and Zhi, Yuan}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
@inproceedings{Mischkalla_Müller_He_2010, place={Dresden}, title={A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis}, booktitle={Proceedings of the M-BED Workshop}, author={Mischkalla, Fabian and Müller, Wolfgang and He, Da}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
@inproceedings{Bol_Müller_Krupp_2010, place={Dresden}, title={Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Bol, Alexander and Müller, Wolfgang and Krupp, Alexander}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
@inproceedings{Müller_He_Mischkalla_Wegele_Larkham_Whiston_Penil_Villar_Mitas_Kritharidis_et al._2010, series={Lecture Notes in Electrical Engineering}, title={The SATURN Approach to SysML-based HW/SW Codesign}, DOI={10.1007/978-94-007-1488-5_9}, booktitle={Proceedings of the IEEE Computer Society Annual Symposium on VLSI}, author={Müller, Wolfgang and He, Da and Mischkalla, Fabian and Wegele, Arthur and Larkham, Adrian and Whiston, Paul and Penil, Pablo and Villar, Eugenio and Mitas, Nikolaos and Kritharidis, Dimitros and et al.}, year={2010}, collection={Lecture Notes in Electrical Engineering} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems}, DOI={10.1007/978-3-642-15234-4_9}, publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp, Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
@inproceedings{Xie_Letombe_Müller_2010, place={Dordrecht}, title={Mutation-Analysis Directed Constrained Random Verification}, publisher={Springer Verlag}, author={Xie, Tao and Letombe, Florian and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
@inproceedings{Xie_Defo_Müller_2010, place={Paris}, title={An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs}, author={Xie, Tao and Defo, Gilles B. and Müller, Wolfgang}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379}, booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
@inproceedings{Klobedanz_Defo_Müller_Kerstan_2010, place={Trento, Italien}, title={Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks}, DOI={10.1109/SIES.2010.5551384}, booktitle={Proceedings of SIES 2010}, author={Klobedanz, Kay and Defo, Gilles B. and Müller, Wolfgang and Kerstan, Timo}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
@inproceedings{Oliveira_do Nascimento_Müller_2010, place={Antwerp, Belgium}, title={Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration}, booktitle={Proceedings of MoMPES 2010}, author={Oliveira, Marcio F. S. and do Nascimento, Francisco Assis M. and Müller, Wolfgang}, year={2010} }
LibreCat
2010 | Journal Article | LibreCat-ID: 8179 | 
@article{Gharibian_2010, title={Strong NP-hardness of the quantum separability problem}, volume={10}, number={3{\ & }4}, journal={Quantum Information & Computation}, author={Gharibian, Sevag}, year={2010}, pages={343–360} }
LibreCat
| Download (ext.)
| arXiv
2010 | Conference Paper | LibreCat-ID: 2223
@inproceedings{Lübbers_Platzner_Plessl_Keller_Plattner_2010, title={Towards Adaptive Networking for Embedded Devices based on Reconfigurable Hardware}, booktitle={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Lübbers, Enno and Platzner, Marco and Plessl, Christian and Keller, Ariane and Plattner, Bernhard}, year={2010}, pages={225–231} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 2216
@inproceedings{Grad_Plessl_2010, place={Los Alamitos, CA, USA}, title={Pruning the Design Space for Just-In-Time Processor Customization}, DOI={10.1109/ReConFig.2010.19}, booktitle={Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig)}, publisher={IEEE Computer Society}, author={Grad, Mariusz and Plessl, Christian}, year={2010}, pages={67–72} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2224
@inproceedings{Grad_Plessl_2010, title={An Open Source Circuit Library with Benchmarking Facilities}, booktitle={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Grad, Mariusz and Plessl, Christian}, year={2010}, pages={144–150} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 2220
@inproceedings{Andrews_Plessl_2010, title={Configurable Processor Architectures: History and Trends}, booktitle={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Andrews, David and Plessl, Christian}, year={2010}, pages={165} }
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 2222
@book{Plaks_Andrews_DeMara_Lam_Lee_Plessl_Stitt_2010, title={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 2226
@inproceedings{Beisel_Niekamp_Plessl_2010, title={Using Shared Library Interposing for Transparent Acceleration in Systems with Heterogeneous Hardware Accelerators}, DOI={10.1109/ASAP.2010.5540798}, booktitle={Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP)}, publisher={IEEE Computer Society}, author={Beisel, Tobias and Niekamp, Manuel and Plessl, Christian}, year={2010}, pages={65–72} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2206
@inproceedings{Keller_Plattner_Lübbers_Platzner_Plessl_2010, title={Reconfigurable Nodes for Future Networks}, DOI={10.1109/GLOCOMW.2010.5700341}, booktitle={Proc. IEEE Globecom Workshop on Network of the Future (FutureNet)}, publisher={IEEE}, author={Keller, Ariane and Plattner, Bernhard and Lübbers, Enno and Platzner, Marco and Plessl, Christian}, year={2010}, pages={372–376} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2227
@inproceedings{Woehrle_Plessl_Thiele_2010, title={Rupeas: Ruby Powered Event Analysis DSL}, DOI={10.1109/INSS.2010.5572211}, booktitle={Proc. Int. Conf. Networked Sensing Systems (INSS)}, publisher={IEEE}, author={Woehrle, Matthias and Plessl, Christian and Thiele, Lothar}, year={2010}, pages={245–248} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2228
@inproceedings{Kenter_Platzner_Plessl_Kauschke_2010, title={Performance Estimation for the Exploration of CPU-Accelerator Architectures}, booktitle={Proc. Workshop on Architectural Research Prototyping (WARP), International Symposium on Computer Architecture (ISCA)}, author={Kenter, Tobias and Platzner, Marco and Plessl, Christian and Kauschke, Michael}, editor={Hammami, Omar and Larrabee, Sandra}, year={2010} }
LibreCat
2010 | Misc | LibreCat-ID: 47684 |
@book{Postler_2010, title={Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung}, author={Postler, Tim}, year={2010} }
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 46408
@inproceedings{Mostaghim_Trautmann_Mersmann_2010, place={Berlin, Heidelberg}, title={Preference-Based Multi-Objective Particle Swarm Optimization Using Desirabilities}, DOI={https://doi.org/10.1007/978-3-642-15871-1_11}, booktitle={Parallel Problem Solving from Nature, PPSN XI}, publisher={Springer Berlin Heidelberg}, author={Mostaghim, Sanaz and Trautmann, Heike and Mersmann, Olaf}, editor={Schaefer, Robert and Cotta, Carlos and Kołodziej, Joanna and Rudolph, Günter}, year={2010}, pages={101–110} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 46405
@inproceedings{Mersmann_Preuss_Trautmann_2010, place={Berlin, Heidelberg}, series={PPSN’10}, title={Benchmarking Evolutionary Algorithms: Towards Exploratory Landscape Analysis}, booktitle={Proceedings of the 11th International Conference on Parallel Problem Solving from Nature: Part I}, publisher={Springer-Verlag}, author={Mersmann, Olaf and Preuss, Mike and Trautmann, Heike}, year={2010}, pages={73–82}, collection={PPSN’10} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 46406
@inproceedings{Mersmann_Trautmann_Naujoks_Weihs_2010, series={Lecture Notes in Computer Science}, title={On the Distribution of EMOA Hypervolumes}, volume={6073}, booktitle={Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy}, publisher={Springer}, author={Mersmann, O and Trautmann, Heike and Naujoks, B and Weihs, C}, editor={Blum, C and Battiti, R}, year={2010}, pages={333–337}, collection={Lecture Notes in Computer Science} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 46407
@inproceedings{Mersmann_Trautmann_Naujoks_Weihs_2010, title={Benchmarking evolutionary multiobjective optimization algorithms}, DOI={10.1109/CEC.2010.5586241}, booktitle={IEEE Congress on Evolutionary Computation}, author={Mersmann, Olaf and Trautmann, Heike and Naujoks, Boris and Weihs, Claus}, year={2010}, pages={1–8} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 46404
@inproceedings{Ding_Wessing_Trautmann_Mehnen_Naujoks_2010, place={Capri, Italy}, title={Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing}, booktitle={Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10)}, publisher={Copyright C.O.C. Com. org. Conv.}, author={Ding, J and Wessing, S and Trautmann, Heike and Mehnen, J and Naujoks, B}, editor={Teti, R}, year={2010} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 46409
@inproceedings{Voß_Trautmann_Igel_2010, place={Berlin, Heidelberg}, title={New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization}, DOI={https://doi.org/10.1007/978-3-642-15871-1_27}, booktitle={Parallel Problem Solving from Nature, PPSN XI}, publisher={Springer Berlin Heidelberg}, author={Voß, Thomas and Trautmann, Heike and Igel, Christian}, editor={Schaefer, Robert and Cotta, Carlos and Kołodziej, Joanna and Rudolph, Günter}, year={2010}, pages={260–269} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 46412
@article{Wagner_Trautmann_2010, title={Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions}, volume={14}, DOI={10.1109/TEVC.2010.2058119}, number={5}, journal={IEEE Transactions on Evolutionary Computation}, author={Wagner, Tobias and Trautmann, Heike}, year={2010}, pages={688–701} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 46411
@article{Azene_Roy_Farrugia_Onisa_Mehnen_Trautmann_2010, title={Work roll cooling system design optimisation in presence of uncertainty and constrains}, volume={2}, DOI={https://doi.org/10.1016/j.cirpj.2010.06.001}, number={4}, journal={CIRP Journal of Manufacturing Science and Technology}, author={Azene, Y.T. and Roy, R. and Farrugia, D. and Onisa, C. and Mehnen, J. and Trautmann, Heike}, year={2010}, pages={290–298} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 46410
@inproceedings{Wagner_Trautmann_2010, title={Online convergence detection for evolutionary multi-objective algorithms revisited}, DOI={10.1109/CEC.2010.5586474}, booktitle={IEEE Congress on Evolutionary Computation}, author={Wagner, Tobias and Trautmann, Heike}, year={2010}, pages={1–8} }
LibreCat
| DOI
2009 | Dissertation | LibreCat-ID: 19605
@book{Lürwer-Brüggemeier_2009, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division}, volume={261}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Lürwer-Brüggemeier, Katharina}, year={2009}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19614
@book{Mense_2009, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={On Fault-Tolerant Data Placement in Storage Networks}, volume={260}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Mense, Mario}, year={2009}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19617
@book{Kortenjan_2009, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes}, volume={258}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Kortenjan, Michael}, year={2009}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19618
@book{Bonorden_2009, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip}, volume={257}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Bonorden, Olaf}, year={2009}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2009 | Report | LibreCat-ID: 19722
@book{Bonorden_Degener_Pietrzyk_Kempkes_2009, title={Complexity and approximation of a geometric local robot assignment problem}, author={Bonorden, Olaf and Degener, Bastian and Pietrzyk, Peter and Kempkes, Barbara}, year={2009} }
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 19724
@inbook{Bonorden_Degener_Kempkes_Pietrzyk_2009, place={Berlin, Heidelberg}, title={Complexity and Approximation of a Geometric Local Robot Assignment Problem}, DOI={10.1007/978-3-642-05434-1_25}, booktitle={Algorithmic Aspects of Wireless Sensor Networks}, publisher={Springer}, author={Bonorden, Olaf and Degener, Bastian and Kempkes, Barbara and Pietrzyk, Peter}, year={2009}, pages={252–262} }
LibreCat
| DOI
2009 | Report | LibreCat-ID: 19825
@book{Schindelhauer_Mahlmann_Janson_2009, title={3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs}, publisher={Paderborn, Germany}, author={Schindelhauer, Christian and Mahlmann, Peter and Janson, Thomas}, year={2009} }
LibreCat
| Files available
2009 | Journal Article | LibreCat-ID: 19830
@article{Ooi_Schindelhauer_2009, title={Minimal Energy Path Planning for Wireless Robots}, DOI={10.1007/s11036-008-0150-5}, journal={Mobile Networks and Applications (MONET)}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2009}, pages={309–321} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 19831
@article{Ooi_Schindelhauer_2009, title={Utilizing detours for energy conservation in mobile wireless networks}, volume={43}, DOI={10.1007/s11235-009-9188-3}, journal={Telecommunication Systems}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2009}, pages={25–37} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19901
@inproceedings{Raptopoulos_Nikoletseas_Spirakis_2009, title={Colouring Non-sparse Random Intersection Graphs}, DOI={10.1007/978-1-4939-2864-4_597}, booktitle={34st International Symposium on Mathematical Foundations of Computer Science}, author={Raptopoulos, Christoforos L. and Nikoletseas, Sotiris E. and Spirakis, Paul G.}, year={2009}, pages={600--611} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19904
@inproceedings{Nikoletseas_Raptopoulos_Spirakis_2009, title={Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions}, DOI={10.1109/IPDPS.2009.5161002}, booktitle={ Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium}, author={Nikoletseas, Sotiris E. and Raptopoulos, Christoforos L. and Spirakis, Paul G.}, year={2009}, pages={1--11} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19934
@inproceedings{Deveci_Kortenjan_Schomaker_2009, title={Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions}, booktitle={ Parallel and Distributed Computing and Systems, Nr. 21}, author={Deveci, Deniz and Kortenjan, Michael and Schomaker, Gunnar}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 20254
@inproceedings{Stradner_Hamann_Schmickl_Crailsheim_2009, title={Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware}, DOI={10.1109/iros.2009.5354056}, booktitle={2009 IEEE/RSJ International Conference on Intelligent Robots and Systems}, author={Stradner, Jürgen and Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}, year={2009} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 20255
@article{Schmickl_Hamann_Wörn_Crailsheim_2009, title={Two different approaches to a macroscopic model of a bio-inspired robotic swarm}, volume={6}, DOI={10.1016/j.robot.2009.06.002}, number={9}, journal={Robotics and Autonomous Systems}, author={Schmickl, Thomas and Hamann, Heiko and Wörn, Heinz and Crailsheim, Karl}, year={2009}, pages={913–921} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 20259
@inproceedings{Hamann_Troch_Breitenecker_2009, title={Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System}, booktitle={MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling}, author={Hamann, Heiko and Troch, Inge and Breitenecker, F.}, year={2009} }
LibreCat
2009 | Journal Article | LibreCat-ID: 3199
@article{Wehrheim_Wonisch_2009, title={Compositional {CSP} Traces Refinement Checking}, DOI={10.1016/j.entcs.2009.08.022}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={135--151} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 3200
@article{Ruhroth_Wehrheim_2009, title={Static Class Elements for Object-Z}, DOI={10.1016/j.entcs.2009.12.025}, journal={Electr. Notes Theor. Comput. Sci.}, author={Ruhroth, Thomas and Wehrheim, Heike}, year={2009}, pages={193--205} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3201
@inproceedings{Ruhroth_Voigt_Wehrheim_2009, title={Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models}, DOI={10.1109/SEAA.2009.39}, booktitle={35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings}, author={Ruhroth, Thomas and Voigt, Hendrik and Wehrheim, Heike}, year={2009}, pages={360--367} }
LibreCat
| DOI
2009 | Conference (Editor) | LibreCat-ID: 3202
@book{Leuschel_Wehrheim_2009, series={Lecture Notes in Computer Science}, title={Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings}, DOI={10.1007/978-3-642-00255-7}, year={2009}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2009 | Bachelorsthesis | LibreCat-ID: 2880
@book{Schröer_2009, title={Hierarchisches Clustering mit minimalen Cluster-Durchmessern}, author={Schröer, Carsten}, year={2009} }
LibreCat
| Files available
2009 | Bachelorsthesis | LibreCat-ID: 2896 |
@book{Liske_2009, title={Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens}, author={Liske, Gennadij}, year={2009} }
LibreCat
| Files available
2009 | Mastersthesis | LibreCat-ID: 2904
@book{Scholz_2009, title={Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen}, author={Scholz, Christoph}, year={2009} }
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 2911
@book{Ackermann_2009, title={Algorithms for the Bregman k-Median Problem}, publisher={Universität Paderborn}, author={Ackermann, Marcel Rudolf}, year={2009} }
LibreCat
| Download (ext.)
2009 | Book Chapter | LibreCat-ID: 2920
@inbook{Kakvi_2009, place={Berlin, Heidelberg}, title={Reinforcement Learning for Blackjack}, DOI={10.1007/978-3-642-04052-8_43}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib}, year={2009}, pages={300–301} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 2995
@inbook{Ackermann_Blömer_2009, place={Philadelphia, PA}, title={Coresets and Approximate Clustering for Bregman Divergences}, DOI={10.1137/1.9781611973068.118}, booktitle={Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms}, publisher={Society for Industrial and Applied Mathematics}, author={Ackermann, Marcel R. and Blömer, Johannes}, year={2009}, pages={1088–1097} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 2999
@article{Blömer_Naewe_2009, title={Sampling methods for shortest vectors, closest vectors and successive minima}, DOI={10.1016/j.tcs.2008.12.045}, number={18}, journal={Theoretical Computer Science}, author={Blömer, Johannes and Naewe, Stefanie}, year={2009}, pages={1648–1665} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 3000
@inbook{Schrieb_Wehrheim_Wonisch_2009, place={Berlin, Heidelberg}, title={Three-Valued Spotlight Abstractions}, DOI={10.1007/978-3-642-05089-3_8}, booktitle={FM 2009: Formal Methods}, publisher={Springer Berlin Heidelberg}, author={Schrieb, Jonas and Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={106–122} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3142
@inproceedings{Jager_Schwenk_2009, title={On the Analysis of Cryptographic Assumptions in the Generic Ring Model}, DOI={10.1007/978-3-642-10366-7_24}, booktitle={Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings}, author={Jager, Tibor and Schwenk, Jörg}, year={2009}, pages={399--416} }
LibreCat
| DOI
2009 | Dissertation | LibreCat-ID: 20937
@book{Meyer_2009, title={Musterbasiertes Re-Engineering von Softwaresystemen}, publisher={Universitaetsbibliothek Paderborn}, author={Meyer, Matthias}, year={2009} }
LibreCat
| Download (ext.)
2009 | Journal Article | LibreCat-ID: 17453
@article{Meyer auf der Heide_Rammig_2009, title={Self-Organisation and Self-Optimization}, volume={04}, journal={Public Service Review: Science and Technology}, author={Meyer auf der Heide, Friedhelm and Rammig, Franz-Josef}, year={2009} }
LibreCat
2009 | Journal Article | LibreCat-ID: 19031
@article{Briest_2009, title={Algorithmische und komplexitätstheoretische Aspekte kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems)}, volume={51}, DOI={10.1524/itit.2009.0524}, number={1}, journal={it - Information Technology}, author={Briest, Patrick}, year={2009}, pages={62–65} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 1925
@article{D. Kleinberg_Scheideler_2009, title={Foreword}, DOI={10.1007/s00224-009-9202-x}, number={2}, journal={Theory Comput. Syst.}, author={D. Kleinberg, Robert and Scheideler, Christian}, year={2009}, pages={187} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 1927
@article{Awerbuch_Scheideler_2009, title={Towards a Scalable and Robust DHT}, DOI={10.1007/s00224-008-9099-9}, number={2}, journal={Theory Comput. Syst.}, author={Awerbuch, Baruch and Scheideler, Christian}, year={2009}, pages={234--260} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 1928
@article{Awerbuch_Scheideler_2009, title={Robust random number generation for peer-to-peer systems}, DOI={10.1016/j.tcs.2008.10.003}, number={6–7}, journal={Theor. Comput. Sci.}, author={Awerbuch, Baruch and Scheideler, Christian}, year={2009}, pages={453--466} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1929
@inproceedings{Scheideler_Schmid_2009, series={Lecture Notes in Computer Science}, title={A Distributed and Oblivious Heap}, volume={5556}, DOI={10.1007/978-3-642-02930-1_47}, booktitle={Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II}, publisher={Springer}, author={Scheideler, Christian and Schmid, Stefan}, year={2009}, pages={571--582}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1930 |
@inproceedings{Jacob_Ritscher_Scheideler_Schmid_2009, series={Lecture Notes in Computer Science}, title={A Self-stabilizing and Local Delaunay Graph Construction}, volume={5878}, DOI={10.1007/978-3-642-10631-6_78}, booktitle={Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings}, publisher={Springer}, author={Jacob, Riko and Ritscher, Stephan and Scheideler, Christian and Schmid, Stefan}, year={2009}, pages={771--780}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2009 | Conference Paper | LibreCat-ID: 1932
@inproceedings{Jacob_W. Richa_Scheideler_Schmid_Täubig_2009, title={A distributed polylogarithmic time algorithm for self-stabilizing skip graphs}, DOI={10.1145/1582716.1582741}, booktitle={Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009}, author={Jacob, Riko and W. Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Täubig, Hanjo}, year={2009}, pages={131--140} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1933
@inproceedings{Baumgart_Scheideler_Schmid_2009, title={A DoS-resilient information system for dynamic data management}, DOI={10.1145/1583991.1584064}, booktitle={SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009}, author={Baumgart, Matthias and Scheideler, Christian and Schmid, Stefan}, year={2009}, pages={300--309} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1934
@inproceedings{Gall_Jacob_W. Richa_Scheideler_Schmid_Täubig_2009, series={Lecture Notes in Computer Science}, title={Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization}, volume={5873}, DOI={10.1007/978-3-642-05118-0_58}, booktitle={Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings}, publisher={Springer}, author={Gall, Dominik and Jacob, Riko and W. Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Täubig, Hanjo}, year={2009}, pages={781--782}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1935
@inproceedings{Doerr_Ann Goldberg_Minder_Sauerwald_Scheideler_2009, series={Dagstuhl Seminar Proceedings}, title={Stabilizing Consensus with the Power of Two Choices}, volume={09371}, DOI={10.1145/1989493.1989516}, booktitle={Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009}, publisher={Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany}, author={Doerr, Benjamin and Ann Goldberg, Leslie and Minder, Lorenz and Sauerwald, Thomas and Scheideler, Christian}, year={2009}, collection={Dagstuhl Seminar Proceedings} }
LibreCat
| DOI
2009 | Report | LibreCat-ID: 2353
@book{Woehrle_Plessl_Thiele_2009, place={Computer Engineering and Networks Lab, ETH Zurich}, title={Rupeas: Ruby Powered Event Analysis DSL}, author={Woehrle, Matthias and Plessl, Christian and Thiele, Lothar}, year={2009} }
LibreCat
2009 | Book Chapter | LibreCat-ID: 23744
@inbook{Briest_Hoefer_Gualà_Ventre_2009, place={Berlin, Heidelberg}, title={On Stackelberg Pricing with Computationally Bounded Consumers}, DOI={10.1007/978-3-642-10841-9_6}, booktitle={Lecture Notes in Computer Science}, author={Briest, Patrick and Hoefer, Martin and Gualà, Luciano and Ventre, Carmine}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 18138
@inproceedings{Laroque_Fischer_Dangelmaier_2009, title={Concepts for Model Verification and Validation during Simulation Runtime}, booktitle={European Simulation and Modelling Conference (ESM 2009)}, publisher={EUROSIS-ETI}, author={Laroque, Christoph and Fischer, Matthias and Dangelmaier, Wilhelm}, year={2009} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 1828
@inproceedings{Volkhausen_Woldegebreal_Karl_2009, title={Improving Network Coded Cooperation by Soft Information}, DOI={10.1109/sahcnw.2009.5172938}, booktitle={2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops}, publisher={IEEE}, author={Volkhausen, Tobias and Woldegebreal, Dereje H. and Karl, Holger}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1829
@inproceedings{Valentin_Woldegebreal_Volkhausen_Karl_2009, title={Combining for Cooperative WLANs - A Reality Check Based on Prototype Measurements}, DOI={10.1109/iccw.2009.5208050}, booktitle={2009 IEEE International Conference on Communications Workshops}, publisher={IEEE}, author={Valentin, S. and Woldegebreal, D. H. and Volkhausen, T. and Karl, Holger}, year={2009} }
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 18291
@inbook{Suess_Fischer_Huber_Laroque_Dangelmaier_2009, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Ein System zur aggregierten Visualisierung verteilter Materialflusssimulationen}, volume={252}, booktitle={Augmented & Virtual Reality in der Produktentstehung}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Suess, Tim and Fischer, Matthias and Huber, Daniel and Laroque, Christoph and Dangelmaier, Wilhelm}, year={2009}, pages={111--126}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2009 | Book Chapter | LibreCat-ID: 1830
@inbook{Biermann_Schwabe_Karl_2009, place={Berlin, Heidelberg}, title={Creating Butterflies in the Core – A Network Coding Extension for MPLS/RSVP-TE}, DOI={10.1007/978-3-642-01399-7_69}, booktitle={NETWORKING 2009}, publisher={Springer Berlin Heidelberg}, author={Biermann, Thorsten and Schwabe, Arne and Karl, Holger}, year={2009}, pages={883–894} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1832
@inproceedings{Lichte_Weide_2009, title={Modeling obstacles in INET/Mobility framework: motivation, integration, and performance}, DOI={10.4108/icst.simutools2009.5680}, booktitle={Proceedings of the Second International ICST Conference on Simulation Tools and Techniques}, publisher={ICST}, author={Lichte, Hermann S. and Weide, Jannis}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 1833
@inproceedings{Ahlgren_Vercellone_D’Ambrosio_Marchisio_Marsh_Dannewitz_Ohlman_Pentikousis_Strandberg_Rembarz_2009, title={Design considerations for a network of information}, DOI={10.1145/1544012.1544078}, booktitle={Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08}, publisher={ACM Press}, author={Ahlgren, Bengt and Vercellone, Vinicio and D’Ambrosio, Matteo and Marchisio, Marco and Marsh, Ian and Dannewitz, Christian and Ohlman, Börje and Pentikousis, Kostas and Strandberg, Ove and Rembarz, René}, year={2009} }
LibreCat
| DOI