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


2011 | Conference Paper | LibreCat-ID: 15764
M. Mernberger, D. Moog, S. Stork, S. Zauner, U. Maier, and E. Hüllermeier, “Prediction of protein localization for specialized compartments using time series kernels,” in In Proceedings GCB-2011 German Conference on Bioinformatics Munich, Germany, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 15046
S. Arens and G. Domik, “Volume Studio: Flexible Multi-Volume Ray Casting Pipeline mit nahtlos integriertem Rapid Prototyping von Shadern.,” in INFORMATIK 2011 – 41. Jahrestagung der Gesellschaft für Informatik., 2011, no. 324, pp. 347–352.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 15097
M. Benter, S. Böttcher, and R. Hartel, “Mixing Bottom-Up and Top-Down XPath Query Evaluation,” in East European Conference on Advances in Databases and Information Systems, 2011, pp. 27–41.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 15099
A. Bätz, S. Böttcher, and R. Hartel, “Updates on Grammar-Compressed XML Data,” in Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, 2011, pp. 154–166.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 15100
S. Böttcher, R. Hartel, and S. Stey, “TraCX: Transformation of Compressed XML,” in Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, 2011, pp. 182–193.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 15102
S. Böttcher, A. Bültmann, and R. Hartel, “Search and Modification in Compressed Texts,” in 2011 Data Compression Conference, 2011, pp. 403–412.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 15103
S. Böttcher, L. Fernhomberg, and R. Hartel, “Enhancing XML-cache Efficiency by XML Compression,” in WEBIST 2011, Proceedings of the 7th International Conference on Web Information Systems and Technologies, 2011, pp. 80–87.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 15104
S. Böttcher, L. Fernhomberg, and R. Hartel, “Reducing Data Transfer by Combining XML-Compression and XML-Caching,” in Web Information Systems and Technologies - 7th International Conference, WEBIST 2011, Revised Selected Papers, 2011, pp. 116–130.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 15115
M. Nasiri, E. Hüllermeier, R. Senge, and E. Lughofer, “Comparing methods for knowledge-driven and data-driven fuzzy modeling: A case study in textile industry,” in in Proceedings IFSA-2011 World Congress of the International Fuzzy Systems Association, Surabaya and Bali Island, Indonesia, 2011, p. RW-103-1-6.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 15116
E. Lughofer and E. Hüllermeier, “On-line redundancy deletion in evolving fuzzy regression models using a fuzzy inclusion measure,” in in Proceedings EUSFLAT-2011 7th International Conference on the European Society for Fuzzy Logic and Technology, Aix-les-Bains, France, 2011, pp. 380–387.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 15117
A. Fallah Tehrani, W. Cheng, and E. Hüllermeier, “Choquistic regression: Generalizing logistic regression using the Choquet integral,” in in Proceedings EUSFLAT-2011 7th International Conference on the European Society for Fuzzy Logic and Technology, Aix-les-Bains, France, 2011, pp. 868–875.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 15127
G. Domik and G. Fischer, “Transdisciplinary collaboration and lifelong learning: fostering and supporting new learning opportunities,” in Rainbow of computer science, Springer, 2011, pp. 129–143.
LibreCat | DOI
 

2011 | Conference Abstract | LibreCat-ID: 15181
S. Böttcher, R. Hartel, and H. Hawicks, “Namenlemmatisierung in der Web-Datenbank mittelalterlicher und frühneuzeitlicher Universitätsmatrikel,” in XXIV ICOS Internationales Kongress für Namensforschung, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 15193
G. Domik, S. Arens, I. Scharlau, and F. Hilkenmeier, “How useful is computer graphics for medical diagnoses?,” in INFORMATIK 2011 – Informatik schafft Communities, 2011, no. 324, p. 437.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 16119
O. Hirsch, S. Bösner, E. Hüllermeier, R. Senge, K. Dembczynski, and N. Donner-Banzhoff, “Multivariate modeling to identify patterns in clinical data: The example of chest pain,” BMC Medical Research Methodology, vol. 11, no. 155, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 16126
C. Domshlak, E. Hüllermeier, S. Kaci, and H. Prade, “Preferences in AL: An overview,” Artificial Intelligence, vol. 175, no. 7–8, pp. 1037–1052, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 16147
E. Hüllermeier, “Fuzzy machine learning and data mining,” WIREs Data Mining and Knowledge Discovery, vol. 1, no. 4, pp. 269–283, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 16148
M. Mernberger, G. Klebe, and E. Hüllermeier, “SEGA: Semi-global graph alignment for structure-based protein comparison,” IEEE/ACM Transactions of Computational Biology and Bioinformatics, vol. 8, no. 5, pp. 1330–1343, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 16149
T. Fober, S. Glinca, G. Klebe, and E. Hüllermeier, “Superposition and alignment of labeled point clouds,” IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 8, no. 6, pp. 1653–1666, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 1615
D. Warneke and C. Dannewitz, “Load Balancing in P2P Networks: Using Statistics to Fight Data and Execution Skew,” Journal of Advances in Information Technology, vol. 2, no. 1, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 16150
E. Hüllermeier, “Fuzzy sets in machine learning and data mining,” Applied Soft Computing Journal, pp. 1493–1505, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 16153
R. Senge and E. Hüllermeier, “Top-down induction of fuzzy pattern trees,” IEEE Transactions on Fuzzy Systems, vol. 19, no. 2, pp. 241–252, 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 16409
A. Cord-Landwehr et al., “A New Approach for Analyzing Convergence Algorithms for Mobile Robots,” in Automata, Languages and Programming, Berlin, Heidelberg, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 13194
K. Dembczynski, W. Waegeman, W. Cheng, and E. Hüllermeier, “An exact algorithm for F-measure maximization,” in In Proceedings NIPS-2011, 25th Annual Conference on Neural Information Processing Systems, Granada, Spain, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 13196
J. Fürnkranz and E. Hüllermeier, “Learning from label preferences,” in in Proceedings DS-2011, 14th International  Conference on Discovery Science, number 6926 in LNAI, 2011, pp. 2–17.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 13197
A. Fallah Tehrani, W. Cheng, K. Dembczynski, and E. Hüllermeier, “Learning  monotone nonlinear models using the Choquet integral,” in In Proceedings ECML/PKDD-2011, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Athens, Greece, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 13198
E. Hüllermeier and P. Schlegel, “Preference-based CBR: First steps toward a methodological framework,” in In Proceedings ICCBR-2011, 19th International Conference on Case-Based Reasoning, number 6880 in LNAI, 2011, pp. 77–91.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 13588
W. Kotlowski, K. Dembczynski, and E. Hüllermeier, “Bipartite ranking through minimization of univariate loss,” in in Proceedings ICML-2011, 28th International Conference on Machine Learning, Washington, USA, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 13643
A. Agne, M. Platzner, and E. Lübbers, “Memory Virtualization for Multithreaded Reconfigurable Hardware,” in Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), 2011, pp. 185–188.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 13644
J. Henkel et al., “Design and architectures for dependable embedded systems,” in Proceedings of the seventh IEEE/ACM/IFIP International Conference on Hardware/software Codesign and system synthesis - CODES+ISSS ’11, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 1376
C. Dannewitz, T. Biermann, M. Dräxler, and H. Karl, “Complex Queries in P2P Networks with Resource-Constrained Devices,” Journal of Advances in Information Technology, vol. 2, no. 1, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 37001
M. Becker, H. Zabel, W. Müller, and A. Elfeky, “Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie,” presented at the 8. Paderborner Workshop Entwurf Mechatronischer Systeme, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 37005
C. Kuznik and W. Müller, “A SystemC Based Library for Functional Coverage,” presented at the Proceedings of the Design and Verification Conference (DVCON 2011), San Jose, CA, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 37006
K. Klobedanz, A. König, and W. Müller, “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks,” presented at the 2011 Design, Automation & Test in Europe, Grenoble, France, 2011, doi: 10.1109/DATE.2011.5763022.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 8178 | OA
S. Gharibian, M. PIANI, G. ADESSO, J. CALSAMIGLIA, and P. HORODECKI, “Characterizing Quantumness via Entanglement Creation,” International Journal of Quantum Information, vol. 09, no. 07n08, pp. 1701–1713, 2011, doi: 10.1142/s0219749911008258.
LibreCat | DOI | Download (ext.) | arXiv
 

2011 | Conference Paper | LibreCat-ID: 8176 | OA
S. Gharibian and J. Kempe, “Approximation Algorithms for QMA-Complete Problems,” presented at the 2011 IEEE 26th Annual Conference on Computational Complexity (CCC), San Jose, USA, 2011, doi: 10.1109/ccc.2011.15.
LibreCat | DOI | Download (ext.) | arXiv
 

2011 | Journal Article | LibreCat-ID: 8177 | OA
M. Piani, S. Gharibian, G. Adesso, J. Calsamiglia, P. Horodecki, and A. Winter, “All Nonclassical Correlations Can Be Activated into Distillable Entanglement,” Physical Review Letters, vol. 106, no. 22, 2011, doi: 10.1103/physrevlett.106.220403.
LibreCat | DOI | Download (ext.) | arXiv
 

2011 | Conference Paper | LibreCat-ID: 2194
B. Meyer, C. Plessl, and J. Förstner, “Transformation of scientific algorithms to parallel computing code: subdomain support in a MPI-multi-GPU backend,” in Symp. on Application Accelerators in High Performance Computing (SAAHPC), 2011, pp. 60–63, doi: 10.1109/SAAHPC.2011.12.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 2193
T. Beisel, T. Wiersema, C. Plessl, and A. Brinkmann, “Cooperative multitasking for heterogeneous accelerators in the Linux Completely Fair Scheduler,” in Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), 2011, pp. 223–226, doi: 10.1109/ASAP.2011.6043273.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 656
M. Happe, A. Agne, and C. Plessl, “Measuring and Predicting Temperature Distributions on FPGAs at Run-Time,” in Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig), 2011, pp. 55–60, doi: 10.1109/ReConFig.2011.59.
LibreCat | Files available | DOI
 

2011 | Conference Paper | LibreCat-ID: 2200
T. Kenter, M. Platzner, C. Plessl, and M. Kauschke, “Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures,” in Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA), 2011, pp. 177–180, doi: 10.1145/1950413.1950448.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 2201
T. Schumacher, T. Süß, C. Plessl, and M. Platzner, “FPGA Acceleration of Communication-bound Streaming Applications: Architecture Modeling and a 3D Image Compositing Case Study,” Int. Journal of Recon- figurable Computing (IJRC), 2011, doi: 10.1155/2011/760954.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 2198
M. Grad and C. Plessl, “Just-in-time Instruction Set Extension – Feasibility and Limitations for an FPGA-based Reconfigurable ASIP Architecture,” in Proc. Reconfigurable Architectures Workshop (RAW), 2011, pp. 278–285, doi: 10.1109/IPDPS.2011.153.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 46401
O. Mersmann, B. Bischl, H. Trautmann, M. Preuss, C. Weihs, and G. Rudolph, “Exploratory Landscape Analysis,” in Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation, 2011, pp. 829–836, doi: 10.1145/2001576.2001690.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 46402
T. Wagner, H. Trautmann, and L. Martí, “A Taxonomy of Online Stopping Criteria for Multi-Objective Evolutionary Algorithms,” in Evolutionary Multi-Criterion Optimization, 2011, pp. 16–30, doi: https://doi.org/10.1007/978-3-642-19893-9_2.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 46403
B. Naujoks, H. Trautmann, S. Wessing, and C. Weihs, “Advanced concepts for multi-objective evolutionary optimization in aircraft industry,” Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, vol. 225, no. 10, pp. 1081–1096, 2011, doi: 10.1177/0954410011414120.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19678
P. Briest and H. Röglin, “The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers,” in Workshop on Approximation and Online Algorithms (WAOA), 2010, vol. 6534.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19711
B. Degener, P. Pietrzyk, and B. Kempkes, “A local, distributed constant-factor approximation algorithm for the dynamic facility location problem ,” in International Parallel & Distributed Processing Symposium (IPDPS), 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19796
M. Mense and C. Schindelhauer, “Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks,” in Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, vol. 5873, pp. 624--639.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19824
T. Janson, P. Mahlmann, and C. Schindelhauer, “A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs,” in Proceedings of the 16th International Conference on Parallel and Distributed Systems, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19829
H. Miao, C. C. Ooi, X. Wu, and C. Schindelhauer, “Coverage-hole trap model in target tracking using distributed relay-robot network,” in Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10, 2010, pp. 1299–1304.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19933
G. Schomaker, S. Oberthur, and M. Kortenjan, “Distributed and dynamic resource management for self-optimizing mechatronic systems,” in 8th IEEE International Conference on Industrial Informatics (INDIN’2010), 2010.
LibreCat | DOI
 

2010 | Book | LibreCat-ID: 20182
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming. Berlin, Germany: Springer, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 20220
H. Hamann, T. Schmickl, J. Stradner, and K. Crailsheim, “A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning,” in Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 20222
T. Schmickl, H. Hamann, J. Stradner, R. Mayet, and K. Crailsheim, “Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller,” in Proc. of the ALife XII Conference, 2010, pp. 648--655.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20223
H. Hamann, J. Stradner, T. Schmickl, and K. Crailsheim, “Artificial Hormone Reaction Networks: Towards Higher Evolvability in  Evolutionary Multi-Modular Robotics,” in Artificial Life XII (ALife XII), Odense, Denmark, 2010, pp. 773–780.
LibreCat | arXiv
 

2010 | Conference Paper | LibreCat-ID: 20226
H. Hamann, B. Meyer, T. Schmickl, and K. Crailsheim, “A Model of Symmetry Breaking in Collective Decision-Making,” in From Animals to Animats 11, 2010, vol. 6226, pp. 639–648.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 20258
S. Kernbach et al., “On Adaptive Self-Organization in Artificial Robot Organisms,” in 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 24282
R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, and W. Pietkiewicz, “Robust Undetectable Interference Watermarks,” ICCSA’05: Proceedings of the 2005 international conference on Computational Science and Its Applications, 2010, doi: 10.1007/11424826_55.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3195
S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Approach to Control in Event-B,” in Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3196
K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems,” in Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3198
D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for Graph Transformation Systems,” CoRR, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 3810
H. Wachsmuth, P. Prettenhofer, and B. Stein, “Efficient Statement Identification for Automatic Market Forecasting,” in Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
LibreCat | Download (ext.)
 

2010 | Book Chapter | LibreCat-ID: 2988
M. R. Ackermann and J. Blömer, “Bregman Clustering for Separable Instances,” in SWAT 2010, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 212–223.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 2990
M. R. Ackermann, J. Blömer, and C. Sohler, “Clustering for Metric and Nonmetric Distance Measures,” ACM Trans. Algorithms, no. 4, pp. 59:1--59:26, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 2991
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, and J. Blömer, “On the initialization of dynamic models for speech features,” Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2993
J. Schrieb, “Efficient and Compact CCA Security from Partitioned IBKEM.” 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2994
W. Schäfer et al., “Engineering self-coordinating software intensive systems,” in Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3139
T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “Generic Compilers for Authenticated Key Exchange,” in Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 232--249.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3140
T. Jager and A. Rupp, “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography,” in Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3141
K. Haralambiev, T. Jager, E. Kiltz, and V. Shoup, “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model,” in Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3189
J. Derrick and H. Wehrheim, “Model transformations across views,” Sci. Comput. Program., no. 3, pp. 192--210, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3191
W. Schäfer and H. Wehrheim, “Model-Driven Development with Mechatronic {UML},” in Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, 2010, pp. 533--554.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3193
N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3194
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques,” in Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 27159
S. Samara and G. Schomaker, “Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip,” 2010, doi: 10.1109/cit.2010.304.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 20934
M. von Detten, M. Meyer, and D. Travkin, “Reverse Engineering with the Reclipse Tool Suite,” in Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, 2010, vol. 2, pp. 299–300.
LibreCat
 

2010 | Report | LibreCat-ID: 20935
M. von Detten, M. Meyer, and D. Travkin, Reclipse - A Reverse Engineering Tool Suite. 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20936
R. Löffler, M. Meyer, and M. Gottschalk, “Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications,” in Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010, pp. 57–67.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 20961
H. Seebach et al., “Designing Self-healing in Automotive Systems,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 20962
J. Holtmann, “Mit Satzmustern von textuellen Anforderungen zu Modellen,” OBJEKTspektrum, no. RE/2010, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20963
J. Meyer, J. Holtmann, W. Schäfer, and U. A. Nickel, “Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie,” in Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), 2010, vol. P-160.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 17422
M. Fischer, H. Renken, C. Laroque, G. Schaumann, and W. Dangelmaier, “Automated 3D-motion planning for ramps and stairs in intra-logistics material flow simulations,” in Proceedings of the 2010 Winter Simulation Conference, 2010.
LibreCat | DOI
 

2010 | Report | LibreCat-ID: 17462
J. Gehweiler, F. Meyer auf der Heide, and U.-P. Schroeder, A Large-Scale Distributed Environment for Peer-to-Peer Services. Paderborn: Heinz Nixdorf Institut, 2010.
LibreCat | Files available
 

2010 | Report | LibreCat-ID: 17464
M. J. Blesa et al., Adapting a sensor net to the dynamic environment in a wildlife scenario - a case study. 2010.
LibreCat | Files available
 

2010 | Preprint | LibreCat-ID: 17586
P. Brandes, B. Degener, B. Kempkes, and F. Meyer auf der Heide, “Building short chains of mobile robots locally with a bounded stepwidth.” 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 17665
R. Bar-Yehuda, G. Polevoy, and D. Rawitz, “Bandwidth allocation in cellular networks with multiple interferences,” in DIALM-PODC, 2010, pp. 33–42.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 18761
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, P. Levi, and S. Kernbach, “Hormone-based Control for Multi-modular Robotics,” in Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution, Springer, 2010, pp. 240--263.
LibreCat
 

2010 | Dissertation | LibreCat-ID: 18910
M. Bienkowski, Page migration in dynamic networks, vol. 282. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

2010 | Dissertation | LibreCat-ID: 18927
M. Dynia, Collective graph exploration, vol. 284. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

2010 | Journal Article | LibreCat-ID: 19011
B. Degener, J. Gehweiler, and C. Lammersen, “Kinetic Facility Location,” Algorithmica, vol. 57, no. 3, pp. 562–584, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19013
J. Gehweiler and H. Meyerhenke, “A distributed diffusive heuristic for clustering a virtual P2P supercomputer,” in Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC), 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19016
J. Gehweiler and H. Meyerhenke, “On Dynamic Graph Partitioning and Graph Clustering using Diffusion,” in Dagstuhl Seminar Proceedings 10261: Algorithm Engineering, 2010.
LibreCat | Files available
 

2010 | Report | LibreCat-ID: 19018
M. Thies and J. Gehweiler, Thread Migration and Checkpointing in Java. 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 19023
S. Kernbach et al., “Adaptive Action Selection Mechanisms for Evolutionary Multimodular Robotics,” in Artificial Life XII (ALife XII), 2010, pp. 781–788.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 19029
P. Briest, P. Chalermsook, S. Khanna, B. Laekhanukit, and D. Nanongkai, “Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing,” in Workshop on Internet and Network Economics (WINE), 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 1903
F. Meyer auf der Heide and C. Scheideler, “Algorithmische Grundlagen verteilter Speichersysteme,” Informatik Spektrum, no. 5, pp. 468--474, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19033
P. Briest, S. Chawla, R. Kleinberg, and S. M. Weinberg, “Pricing Randomized Allocations,” in Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 1904
C. Gavoille, B. Patt-Shamir, and C. Scheideler, “Foreword,” Theory of Computing Systems, no. 4, pp. 809--810, 2010.
LibreCat | DOI
 

2010 | Dissertation | LibreCat-ID: 19041
P. Mahlmann, Peer-to-peer networks based on random graphs, vol. 283. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed