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.

5711 Publications


2010 | Conference Paper | LibreCat-ID: 1004
Miller K, Biermann T, Woesner H, Karl H. Network coding in passive optical networks. In: Network Coding (NetCod), 2010 IEEE International Symposium On. ; 2010:1--6.
LibreCat | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 1021
Lischka J, Karl H. RiaS: overlay topology creation on a PlanetLab infrastructure. In: Proceedings of the Second ACM SIGCOMM Workshop on Virtualized Infrastructure Systems and Architectures. ; 2010:9--16.
LibreCat | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 1022
Woldegebreal DH, Karl H. Energy efficiency model of network-coded cooperation in wireless sensor networks. In: Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference On. ; 2010:513--520.
LibreCat | Download (ext.)
 

2010 | Conference Paper | LibreCat-ID: 1023
Khan RAM, Karl H. Cooperative communication to improve reliability and efficient neighborhood wakeup in wireless sensor networks. In: Proceedings of the Fourth International Conference on Mobile Ubiquitous Computing (UBICOMM 2010). ; 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 13589
Dembczynski K, Cheng W, Hüllermeier E. Bayes optimal multilabel classification via probalistic classifier chains. In: Fürnkranz J, Joachims T, eds. In Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel. ; 2010:279-286.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13590
Cheng W, Dembczynski K, Hüllermeier E. Label ranking based on the Plackett-Luce model. In: Fürnkranz J, Joachims T, eds. In Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel. ; 2010:215-222.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13591
Cheng W, Dembczynski K, Hüllermeier E. Graded multi-label classification: The ordinal case. In: Fürnkranz J, Joachims T, eds. In Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel. ; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13593
Dembczynski K, Waegeman W, Cheng W, Hüllermeier E. Regret analysis for performance metrics in multi-label classification: The case of Hamming and subset zero-one loss. In: In Proceedings ECML/PKDD-2010, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ,Bareclona, Spain. ; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13594
Cheng W, Rademaker M, De Beats B, Hüllermeier E. Predicting partial orders: Ranking with abstention. In: In Proceedings ECML/PKDD-2010, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ,Bareclona, Spain. ; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13597
Hüllermeier E. Uncertainty in clustering and classification . In: In Proceedings SUM 2010, International Conference on Scalable Uncertainty Management . Vol 6379. Springer; 2010:16-19.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13640
Giefers H, Platzner M. A Triple Hybrid Interconnect for Many-Cores: Reconfigurable Mesh, NoC and Barrier. In: Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL). IEEE; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13641
Schäfer W, Birattari M, Blömer J, et al. Engineering Self-Coordinating Software Intensive Systems. In: Proceedings of the Foundations of Software Engineering (FSE) and NITR & D/SPD Working Conference on the Future of Software Engineering Research (FoSER). ; 2010:321-324.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 13642
Giefers H, Platzner M. A Self-Reconfigurable Lightweight Interconnect for Scalable Processor Fabrics. In: Proceedings of the 10th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456990
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37009
Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: Proceedings of DATE’10, Dresden. IEEE; 2010. doi:10.1109/DATE.2010.5457125
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37037
Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37040
Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456965
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37046
Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_15
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz K, Defo GB, Zabel H, Müller W, Zhi Y. Task Migration for Fault-Tolerant FlexRay Networks. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_7
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla F, Müller W, He D. A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. In: Proceedings of the M-BED Workshop. ; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37043
Bol A, Müller W, Krupp A. Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. In: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). ; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37050
Müller W, He D, Mischkalla F, et al. The SATURN Approach to SysML-based HW/SW Codesign. In: Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture Notes in Electrical Engineering. ; 2010. doi:10.1007/978-94-007-1488-5_9
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37048
Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_9
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37049
Xie T, Letombe F, Müller W. Mutation-Analysis Directed Constrained Random Verification. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37051
Xie T, Defo GB, Müller W. An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. In: ; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37057
Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with Functional Coverage. In: Proceedings of SIES 2010. IEEE; 2010. doi:10.1109/SIES.2010.5551379
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz K, Defo GB, Müller W, Kerstan T. Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. In: Proceedings of SIES 2010. ; 2010. doi:10.1109/SIES.2010.5551384
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37053
Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: Proceedings of HLDVT2010. IEEE; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37060
Oliveira MFS, do Nascimento FAM, Müller W. Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. In: Proceedings of MoMPES 2010. ; 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 8179 | OA
Gharibian S. Strong NP-hardness of the quantum separability problem. Quantum Information & Computation. 2010;10(3{\ & }4):343-360.
LibreCat | Download (ext.) | arXiv
 

2010 | Conference Paper | LibreCat-ID: 2223
Lübbers E, Platzner M, Plessl C, Keller A, Plattner B. Towards Adaptive Networking for Embedded Devices based on Reconfigurable Hardware. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2010:225-231.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2216
Grad M, Plessl C. Pruning the Design Space for Just-In-Time Processor Customization. In: Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig). IEEE Computer Society; 2010:67-72. doi:10.1109/ReConFig.2010.19
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2224
Grad M, Plessl C. An Open Source Circuit Library with Benchmarking Facilities. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2010:144-150.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2220
Andrews D, Plessl C. Configurable Processor Architectures: History and Trends. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2010:165.
LibreCat
 

2010 | Conference (Editor) | LibreCat-ID: 2222
Plaks TP, Andrews D, DeMara R, et al., eds. Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2226
Beisel T, Niekamp M, Plessl C. Using Shared Library Interposing for Transparent Acceleration in Systems with Heterogeneous Hardware Accelerators. In: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP). IEEE Computer Society; 2010:65-72. doi:10.1109/ASAP.2010.5540798
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2206
Keller A, Plattner B, Lübbers E, Platzner M, Plessl C. Reconfigurable Nodes for Future Networks. In: Proc. IEEE Globecom Workshop on Network of the Future (FutureNet). IEEE; 2010:372-376. doi:10.1109/GLOCOMW.2010.5700341
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2227
Woehrle M, Plessl C, Thiele L. Rupeas: Ruby Powered Event Analysis DSL. In: Proc. Int. Conf. Networked Sensing Systems (INSS). IEEE; 2010:245-248. doi:10.1109/INSS.2010.5572211
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 2228
Kenter T, Platzner M, Plessl C, Kauschke M. Performance Estimation for the Exploration of CPU-Accelerator Architectures. In: Hammami O, Larrabee S, eds. Proc. Workshop on Architectural Research Prototyping (WARP), International Symposium on Computer Architecture (ISCA). ; 2010.
LibreCat
 

2010 | Misc | LibreCat-ID: 47684 | OA
Postler T. Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung.; 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 46408
Mostaghim S, Trautmann H, Mersmann O. Preference-Based Multi-Objective Particle Swarm Optimization Using Desirabilities. In: Schaefer R, Cotta C, Kołodziej J, Rudolph G, eds. Parallel Problem Solving from Nature, PPSN XI. Springer Berlin Heidelberg; 2010:101–110. doi:https://doi.org/10.1007/978-3-642-15871-1_11
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 46405
Mersmann O, Preuss M, Trautmann H. Benchmarking Evolutionary Algorithms: Towards Exploratory Landscape Analysis. In: Proceedings of the 11th International Conference on Parallel Problem Solving from Nature: Part I. PPSN’10. Springer-Verlag; 2010:73–82.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 46406
Mersmann O, Trautmann H, Naujoks B, Weihs C. On the Distribution of EMOA Hypervolumes. In: Blum C, Battiti R, eds. Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy. Vol 6073. Lecture Notes in Computer Science. Springer; 2010:333–337.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 46407
Mersmann O, Trautmann H, Naujoks B, Weihs C. Benchmarking evolutionary multiobjective optimization algorithms. In: IEEE Congress on Evolutionary Computation. ; 2010:1-8. doi:10.1109/CEC.2010.5586241
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 46404
Ding J, Wessing S, Trautmann H, Mehnen J, Naujoks B. Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing. In: Teti R, ed. Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10). Copyright C.O.C. Com. org. Conv.; 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 46409
Voß T, Trautmann H, Igel C. New Uncertainty Handling Strategies in Multi-objective Evolutionary Optimization. In: Schaefer R, Cotta C, Kołodziej J, Rudolph G, eds. Parallel Problem Solving from Nature, PPSN XI. Springer Berlin Heidelberg; 2010:260–269. doi:https://doi.org/10.1007/978-3-642-15871-1_27
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 46412
Wagner T, Trautmann H. Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions. IEEE Transactions on Evolutionary Computation. 2010;14(5):688-701. doi:10.1109/TEVC.2010.2058119
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 46411
Azene YT, Roy R, Farrugia D, Onisa C, Mehnen J, Trautmann H. Work roll cooling system design optimisation in presence of uncertainty and constrains. CIRP Journal of Manufacturing Science and Technology. 2010;2(4):290-298. doi:https://doi.org/10.1016/j.cirpj.2010.06.001
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 46410
Wagner T, Trautmann H. Online convergence detection for evolutionary multi-objective algorithms revisited. In: IEEE Congress on Evolutionary Computation. ; 2010:1-8. doi:10.1109/CEC.2010.5586474
LibreCat | DOI
 

2009 | Dissertation | LibreCat-ID: 19605
Lürwer-Brüggemeier K. Mächtigkeit Und Komplexität von Berechnungen Mit Der Ganzzahligen Division. Vol 261. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2009.
LibreCat | Files available
 

2009 | Dissertation | LibreCat-ID: 19614
Mense M. On Fault-Tolerant Data Placement in Storage Networks. Vol 260. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2009.
LibreCat | Files available
 

2009 | Dissertation | LibreCat-ID: 19617
Kortenjan M. Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes. Vol 258. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2009.
LibreCat | Files available
 

2009 | Dissertation | LibreCat-ID: 19618
Bonorden O. Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip. Vol 257. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2009.
LibreCat | Files available
 

2009 | Report | LibreCat-ID: 19722
Bonorden O, Degener B, Pietrzyk P, Kempkes B. Complexity and Approximation of a Geometric Local Robot Assignment Problem.; 2009.
LibreCat | Files available
 

2009 | Book Chapter | LibreCat-ID: 19724
Bonorden O, Degener B, Kempkes B, Pietrzyk P. Complexity and Approximation of a Geometric Local Robot Assignment Problem. In: Algorithmic Aspects of Wireless Sensor Networks. Berlin, Heidelberg: Springer; 2009:252-262. doi:10.1007/978-3-642-05434-1_25
LibreCat | DOI
 

2009 | Report | LibreCat-ID: 19825
Schindelhauer C, Mahlmann P, Janson T. 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs. Paderborn, Germany; 2009.
LibreCat | Files available
 

2009 | Journal Article | LibreCat-ID: 19830
Ooi CC, Schindelhauer C. Minimal Energy Path Planning for Wireless Robots. Mobile Networks and Applications (MONET). 2009:309-321. doi:10.1007/s11036-008-0150-5
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 19831
Ooi CC, Schindelhauer C. Utilizing detours for energy conservation in mobile wireless networks. Telecommunication Systems. 2009;43:25-37. doi:10.1007/s11235-009-9188-3
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 19901
Raptopoulos CL, Nikoletseas SE, Spirakis PG. Colouring Non-sparse Random Intersection Graphs. In: 34st International Symposium on Mathematical Foundations of Computer Science. ; 2009:600--611. doi:10.1007/978-1-4939-2864-4_597
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 19904
Nikoletseas SE, Raptopoulos CL, Spirakis PG. Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions. In: Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium. ; 2009:1--11. doi:10.1109/IPDPS.2009.5161002
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 19934
Deveci D, Kortenjan M, Schomaker G. Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions. In: Parallel and Distributed Computing and Systems, Nr. 21. ; 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 20254
Stradner J, Hamann H, Schmickl T, Crailsheim K. Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware. In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems. ; 2009. doi:10.1109/iros.2009.5354056
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 20255
Schmickl T, Hamann H, Wörn H, Crailsheim K. Two different approaches to a macroscopic model of a bio-inspired robotic swarm. Robotics and Autonomous Systems. 2009;6(9):913-921. doi:10.1016/j.robot.2009.06.002
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 20259
Hamann H, Troch I, Breitenecker F. Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System. In: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling. ; 2009.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 3199
Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. Electr Notes Theor Comput Sci. 2009;(2):135--151. doi:10.1016/j.entcs.2009.08.022
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 3200
Ruhroth T, Wehrheim H. Static Class Elements for Object-Z. Electr Notes Theor Comput Sci. 2009:193--205. doi:10.1016/j.entcs.2009.12.025
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 3201
Ruhroth T, Voigt H, Wehrheim H. Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models. In: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings. ; 2009:360--367. doi:10.1109/SEAA.2009.39
LibreCat | DOI
 

2009 | Conference (Editor) | LibreCat-ID: 3202
Leuschel M, Wehrheim H, eds. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings.; 2009. doi:10.1007/978-3-642-00255-7
LibreCat | DOI
 

2009 | Bachelorsthesis | LibreCat-ID: 2880
Schröer C. Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern.; 2009.
LibreCat | Files available
 

2009 | Bachelorsthesis | LibreCat-ID: 2896 | OA
Liske G. Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens.; 2009.
LibreCat | Files available
 

2009 | Mastersthesis | LibreCat-ID: 2904
Scholz C. Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen.; 2009.
LibreCat | Files available
 

2009 | Dissertation | LibreCat-ID: 2911
Ackermann MR. Algorithms for the Bregman K-Median Problem. Universität Paderborn; 2009.
LibreCat | Download (ext.)
 

2009 | Book Chapter | LibreCat-ID: 2920
Kakvi S. Reinforcement Learning for Blackjack. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:300-301. doi:10.1007/978-3-642-04052-8_43
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 2995
Ackermann MR, Blömer J. Coresets and Approximate Clustering for Bregman Divergences. In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms. Philadelphia, PA: Society for Industrial and Applied Mathematics; 2009:1088-1097. doi:10.1137/1.9781611973068.118
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 2999
Blömer J, Naewe S. Sampling methods for shortest vectors, closest vectors and successive minima. Theoretical Computer Science. 2009;(18):1648-1665. doi:10.1016/j.tcs.2008.12.045
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 3000
Schrieb J, Wehrheim H, Wonisch D. Three-Valued Spotlight Abstractions. In: FM 2009: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:106-122. doi:10.1007/978-3-642-05089-3_8
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 3142
Jager T, Schwenk J. On the Analysis of Cryptographic Assumptions in the Generic Ring Model. In: 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. ; 2009:399--416. doi:10.1007/978-3-642-10366-7_24
LibreCat | DOI
 

2009 | Dissertation | LibreCat-ID: 20937
Meyer M. Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn; 2009.
LibreCat | Download (ext.)
 

2009 | Journal Article | LibreCat-ID: 17453
Meyer auf der Heide F, Rammig F-J. Self-Organisation and Self-Optimization. Public Service Review: Science and Technology. 2009;04.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 19031
Briest P. Algorithmische und komplexitätstheoretische Aspekte kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems). it - Information Technology. 2009;51(1):62-65. doi:10.1524/itit.2009.0524
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 1925
D. Kleinberg R, Scheideler C. Foreword. Theory Comput Syst. 2009;(2):187. doi:10.1007/s00224-009-9202-x
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 1927
Awerbuch B, Scheideler C. Towards a Scalable and Robust DHT. Theory Comput Syst. 2009;(2):234--260. doi:10.1007/s00224-008-9099-9
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 1928
Awerbuch B, Scheideler C. Robust random number generation for peer-to-peer systems. Theor Comput Sci. 2009;(6-7):453--466. doi:10.1016/j.tcs.2008.10.003
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1929
Scheideler C, Schmid S. A Distributed and Oblivious Heap. In: Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II. Vol 5556. Lecture Notes in Computer Science. Springer; 2009:571--582. doi:10.1007/978-3-642-02930-1_47
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1930 | OA
Jacob R, Ritscher S, Scheideler C, Schmid S. A Self-stabilizing and Local Delaunay Graph Construction. In: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings. Vol 5878. Lecture Notes in Computer Science. Springer; 2009:771--780. doi:10.1007/978-3-642-10631-6_78
LibreCat | Files available | DOI
 

2009 | Conference Paper | LibreCat-ID: 1932
Jacob R, W. Richa A, Scheideler C, Schmid S, Täubig H. A distributed polylogarithmic time algorithm for self-stabilizing skip graphs. In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009. ; 2009:131--140. doi:10.1145/1582716.1582741
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1933
Baumgart M, Scheideler C, Schmid S. A DoS-resilient information system for dynamic data management. In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009. ; 2009:300--309. doi:10.1145/1583991.1584064
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1934
Gall D, Jacob R, W. Richa A, Scheideler C, Schmid S, Täubig H. Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization. In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Vol 5873. Lecture Notes in Computer Science. Springer; 2009:781--782. doi:10.1007/978-3-642-05118-0_58
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1935
Doerr B, Ann Goldberg L, Minder L, Sauerwald T, Scheideler C. Stabilizing Consensus with the Power of Two Choices. In: Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009. Vol 09371. Dagstuhl Seminar Proceedings. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany; 2009. doi:10.1145/1989493.1989516
LibreCat | DOI
 

2009 | Report | LibreCat-ID: 2353
Woehrle M, Plessl C, Thiele L. Rupeas: Ruby Powered Event Analysis DSL. Computer Engineering and Networks Lab, ETH Zurich; 2009.
LibreCat
 

2009 | Book Chapter | LibreCat-ID: 23744
Briest P, Hoefer M, Gualà L, Ventre C. On Stackelberg Pricing with Computationally Bounded Consumers. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 2009. doi:10.1007/978-3-642-10841-9_6
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 18138
Laroque C, Fischer M, Dangelmaier W. Concepts for Model Verification and Validation during Simulation Runtime. In: European Simulation and Modelling Conference (ESM 2009). EUROSIS-ETI; 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 1828
Volkhausen T, Woldegebreal DH, Karl H. Improving Network Coded Cooperation by Soft Information. In: 2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops. IEEE; 2009. doi:10.1109/sahcnw.2009.5172938
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1829
Valentin S, Woldegebreal DH, Volkhausen T, Karl H. Combining for Cooperative WLANs - A Reality Check Based on Prototype Measurements. In: 2009 IEEE International Conference on Communications Workshops. IEEE; 2009. doi:10.1109/iccw.2009.5208050
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 18291
Suess T, Fischer M, Huber D, Laroque C, Dangelmaier W. Ein System zur aggregierten Visualisierung verteilter Materialflusssimulationen. In: Augmented & Virtual Reality in Der Produktentstehung. Vol 252. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2009:111--126.
LibreCat
 

2009 | Book Chapter | LibreCat-ID: 1830
Biermann T, Schwabe A, Karl H. Creating Butterflies in the Core – A Network Coding Extension for MPLS/RSVP-TE. In: NETWORKING 2009. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:883-894. doi:10.1007/978-3-642-01399-7_69
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1832
Lichte HS, Weide J. Modeling obstacles in INET/Mobility framework: motivation, integration, and performance. In: Proceedings of the Second International ICST Conference on Simulation Tools and Techniques. ICST; 2009. doi:10.4108/icst.simutools2009.5680
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 1833
Ahlgren B, Vercellone V, D’Ambrosio M, et al. Design considerations for a network of information. In: Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08. ACM Press; 2009. doi:10.1145/1544012.1544078
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 18346
Fischer M, Hilbig M, Jähn C, Meyer auf der Heide F, Ziegler M. Planar Visibility Counting. In: Proc. 25th European Workshop on Computational Geometry. ; 2009:203-206.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed