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.
5700 Publications
2013 | Conference Paper | LibreCat-ID: 12028
Klingler, F., Dressler, F., Cao, J., & Sommer, C. (2013). Use both lanes: Multi-channel beaconing for message dissemination in vehicular networks. In 2013 10th Annual Conference on Wireless On-demand Network Systems and Services (WONS). https://doi.org/10.1109/wons.2013.6578342
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 12044
Schwartz, R. S., Ohazulike, A. E., Sommer, C., Scholten, H., Dressler, F., & Havinga, P. (2013). Fair and adaptive data dissemination for Traffic Information Systems. In 2012 IEEE Vehicular Networking Conference (VNC). https://doi.org/10.1109/vnc.2012.6407432
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 12045
Schwartz, R. S., Ohazulike, A. E., Sommer, C., Scholten, H., Dressler, F., & Havinga, P. (2013). On the applicability of fair and adaptive data dissemination in traffic information systems. Ad Hoc Networks, 428–443. https://doi.org/10.1016/j.adhoc.2013.09.004
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 12064
Sommer, C., Joerer, S., & Dressler, F. (2013). On the applicability of Two-Ray path loss models for vehicular network simulation. In 2012 IEEE Vehicular Networking Conference (VNC). https://doi.org/10.1109/vnc.2012.6407446
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 12065
Sommer, C., Joerer, S., Segata, M., Tonguz, O., Cigno, R. L., & Dressler, F. (2013). How shadowing hurts vehicular communications and how dynamic beaconing can help. In 2013 Proceedings IEEE INFOCOM. https://doi.org/10.1109/infcom.2013.6566745
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 12066
Sommer, C., Eckhoff, D., & Dressler, F. (2013). IVC in Cities: Signal Attenuation by Buildings and How Parked Cars Can Improve the Situation. IEEE Transactions on Mobile Computing, 1733–1745. https://doi.org/10.1109/tmc.2013.80
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 15441
Domik, G., Arens, S., Stilow, P., & Friedrich, H. (2013). Helping High Schoolers Move the (Virtual) World. IEEE Computer Graphics and Applications, 33(1), 70–74. https://doi.org/10.1109/MCG.2013.6
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 15664
Busjahn, T., & Schulte, C. (2013). The use of code reading in teaching programming. In Koli Calling (pp. 3–11). ACM.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15665
Bennedsen, J., & Schulte, C. (2013). Object Interaction Competence Model v. 2.0. In LaTiCE (pp. 9–16). IEEE Computer Society.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15666
Buchholz, M., Saeli, M., & Schulte, C. (2013). PCK and reflection in computer science teacher education. In WiPSCE (pp. 8–16). ACM.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15667
Schulte, C. (2013). Reflections on the role of programming in primary and secondary computing education. In WiPSCE (pp. 17–24). ACM.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15752
Cheng, W., Henzgen, S., & Hüllermeier, E. (2013). Labelwise versus pairwise decomposition in label ranking. In In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Bamberg, Germany (pp. 129–136).
LibreCat
2013 | Conference Paper | LibreCat-ID: 15753
Senge, R., del Coz, J., & Hüllermeier, E. (2013). Rectifying classifier chains for multi-label classification, Bamberg, Germany. In In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Bamberg, Germany (pp. 151–158).
LibreCat
2013 | Conference Paper | LibreCat-ID: 15755
Busa-Fekete, R., Fober, T., & Hüllermeier, E. (2013). Preference-based evolutionary optimization using generalized racing algorithms. In F. Hoffmann & E. Hüllermeier (Eds.), in Proceedings 23th Workshop Computational Intelligence, Dortmund Germany (pp. 237–246). KIT Scientific Publishing.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15756
Henzgen, S., & Hüllermeier, E. (2013). Weighted rank correlation measures based on fuzzy order relations. In F. Hoffmann & E. Hüllermeier (Eds.), in Proceedings 23th Workshop Computational Intelligence, Dortmund Germany (pp. 227–236). KIT Scientific Publishing.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15757
Weng, P., Busa-Fekete, R., & Hüllermeier, E. (2013). Interactive Q-learning with ordinal rewards and unreliable tutor. In In Proceedings ECML/PKDD-Workshop on Reinforcement learning from Generalized Feedback:Beyond Numerical Rewards, Prague.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15758
Busa-Fekete, R., Szörenyi, B., Weng, P., & Hüllermeier, E. (2013). Preference-based evolutionary direct policy search. In In Proceedings ECML/PKDD-Workshop on Reinforcement learning from Generalized Feedback:Beyond Numerical Rewards, Prague.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15759
Cheng, W., & Hüllermeier, E. (2013). A nearest neigbor approach to label ranking based on generalized labelwise loss minimization. In In Proceedings M-PREF`13, 7th Multidisciplinary Workshop on Advances in Preference Handling Beijing, China.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15760
Shaker, A., & Hüllermeier, E. (2013). Event history analysis on data streams: An application to earthquake occurence. In G. Krempl, I. Zliobaite, Y. Wang, & G. Forman (Eds.), In Proceedings RealStream 2013, 1st International Workshop on Real-World Challenges for Data Stream Mining, Prague, Czech Republic (pp. 38–41).
LibreCat
2013 | Conference Paper | LibreCat-ID: 15761
Senge, R., del Coz, J. J., & Hüllermeier, E. (2013). On the problem of error propagation in classier chains for multi-label classification. Data Analysis, Machine Learning and Knowledge Discovery. In L. Schmidt-Thieme & M. Spiliopoulou (Eds.), In Proceedings of GFKL-2012, 36th Annual Conference of the German Classification Society, Studies in Classification, Data Analysis and Knowledge Organization, Hildesheim, Germany . Springer.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15763
Fober, T., Klebe, G., & Hüllermeier, E. (2013). Local clique merging: An extension of the maximum common subgraph measure with applications in structural bioinformatics, Algorithms from and for Nature and Life. In B. Lausen, D. Van den Poel, & A. Ultsch (Eds.), In Proceedings GFKL-2011, Conference of the German Classification Society, Frankfurt Germany (pp. 279–286). Springer.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15093
Böttcher, S., Hartel, R., & Jacobs, T. (2013). Fast Multi-update Operations on Compressed XML Data. In Big Data - 29th British National Conference on Databases, BNCOD 2013, (pp. 149–164). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-39467-6_15
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 15094
Böttcher, S., Brandenburg, M., & Hartel, R. (2013). DAG - Index - A Compressed Index for XML Keyword Search. In WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies (pp. 137–140). SciTePress.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15112
Fallah Tehrani, A., & Hüllermeier, E. (2013). Ordinal Choquistic regression . In J. Montero, G. Pasi, & D. Ciucci (Eds.), in Proceedings EUSFLAT-2013 8th International Conference on the European Society for Fuzzy Logic and Technology, Milano, Italy. Atlantis Press.
LibreCat
2013 | Conference Paper | LibreCat-ID: 15113
Nasiri, N., Fober, T., Senge, R., & Hüllermeier, E. (2013). Fuzzy Pattern Trees as an alternative to rule-based fuzzy systems: Knowledge-driven, data-driven and hybrid modeling of colour yield in poyester dyeing, Edmonton, Canada. In in Proceedings IFSA-2013 World Congress of the International Fuzzy Systems Association, Edmonton, Canada (pp. 715–721).
LibreCat
2013 | Conference Paper | LibreCat-ID: 15162
Böttcher, S., Bültmann, A., Hartel, R., & Schlüßler, J. (2013). Implementing Efficient Updates in Compressed Big Text Databases. In International Conference on Database and Expert Systems Applications (pp. 189–202). Springer.
LibreCat
2013 | Journal Article | LibreCat-ID: 15180
Owen, G. S., Domik, G., Ebert, D. S., Kohlhammer, J., Rushmeier, H., Santos, B. S., & Weiskopf, D. (2013). How visualization courses have changed over the past 10 years. IEEE Computer Graphics and Applications, 33(4), 14–19. https://doi.org/10.1109/MCG.2013.57
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 15282
Alford, J. G., Jacob, L., & Dietz, P. (2013). Animatronics Workshop: A Theater+ Engineering Collaboration at a High School. IEEE Computer Graphics and Applications, 33(6), 9–13. https://doi.org/10.1109/MCG.2013.86
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 15284
Arens, S., Bolte, M., & Domik, G. (2013). Visualizing Dissections of the Heart in a Dataflow-based Shader Framework for Volume Rendering. In M. Bronstein , J. Favre , & K. Hormann (Eds.), Vision, Modeling & Visualization. The Eurographics Association. https://doi.org/10.2312/PE.VMV.VMV13.231-232
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 16044
Heider, D., Senge, R., Cheng, W., & Hüllermeier, E. (2013). Multilabel classification for exploiting cross-resistance information in HIV-1 drug resistence prediction. Bioinformatics, 29(16), 1946–1952.
LibreCat
2013 | Journal Article | LibreCat-ID: 16081
Bösner, S., Bönisch, K., Haasenritter , J., Schlegel, P., Hüllermeier, E., & Donner-Banzhoff, N. (2013). Chest pain in primary care: is the localization of pain diagnostically helpful in the critical evaluation of patients? A cross sectional study. . BMC Family Practice, 14(1), 154–162.
LibreCat
2013 | Journal Article | LibreCat-ID: 16086
Haasenritter, J., Viniol, A., Becker, A., Bösner, S., Hüllermeier, E., Senge, R., & Donner-Banzhoff, N. (2013). Diagnose im Kontext - eine erweiterte Perspektive. Zeitschrift Für Evidenz, Fortbildung Und Qualität Im Gesundheitswesen (ZEFQ), 107, 585–591.
LibreCat
2013 | Journal Article | LibreCat-ID: 16123
Shaker, A., Senge, R., & Hüllermeier, E. (2013). Evolving fuzzy pattern trees for binary classification on data streams. Information Sciences, 220, 34–45.
LibreCat
2013 | Conference Paper | LibreCat-ID: 16393
Eikel, B., Jähn, C., Fischer, M., & Meyer auf der Heide, F. (2013). Spherical Visibility Sampling. In Computer Graphics Forum (Vol. 32, pp. 49–58). https://doi.org/10.1111/cgf.12150
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 16406
Jähn, C., Eikel, B., Fischer, M., Petring, R., & Meyer auf der Heide, F. (2013). Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties. In Advances in Visual Computing. Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41914-0_12
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 16407
Petring, R., Eikel, B., Jähn, C., Fischer, M., & Meyer auf der Heide, F. (2013). Real-Time 3D Rendering of Heterogeneous Scenes. In Advances in Visual Computing. Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41914-0_44
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 13115
Szarvas, G., Busa-Fekete, R., & Hüllermeier, E. (2013). Learning to rank lexical substitutions. In In Proceedings EMNLP-2013 Conference on Empirical Methods in Natural Language Processing, Seattle, USA.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13116
Dembczynski, K., Jachnik, A., Kotlowski, W., Waegeman, W., & Hüllermeier, E. (2013). Optimizing the F-measure in multi-label classification: Plug-in rule approach versus structured loss minimization. In S. Dasgupta & D. McAllester (Eds.), in Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA (pp. 1130–1138).
LibreCat
2013 | Conference Paper | LibreCat-ID: 13117
Busa-Fekete, R., Szoreny, B., Weng, P., Cheng, W., & Hüllermeier, E. (2013). Top-k selection based on adaptive sampling of noisy preferences. In S. Dasgupta & D. McAllester (Eds.), in Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA (pp. 1094–1102).
LibreCat
2013 | Conference Paper | LibreCat-ID: 13118
Hüllermeier, E., & Cheng, W. (2013). Preference-based CBR: General ideas and basic principles. In F. Rossi (Ed.), in Proceedings IJCAI-13, 23rd international Joint Conference on Artificial Intelligence, Beijing, China (pp. 3012–3016). AAAI Press.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13119
Henzgen, S., Strickert, M., & Hüllermeier, E. (2013). Rule chains for visualizing evolving fuzzy rule-based systems. In R. Burduk, K. Jackowski, M. Kurzynski, M. Wozniak, & A. Zolnierek (Eds.), in Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland (pp. 279–288). Springer.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13190
Shaker, A., & Hüllermeier, E. (2013). Recovery analysis for adaptive learning from non-stationary data streams. In R. Burduk, K. Jackowski, M. Kurzynski, W. Wozniak, & A. Zolnierek (Eds.), in Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland (pp. 289–298). Springer.
LibreCat
2013 | Conference Paper | LibreCat-ID: 13645
Graf, T., Schäfers, L., & Platzner, M. (2013). On Semeai Detection in Monte-Carlo Go. In Proceedings of the International Conference on Computers and Games (CG). Springer.
LibreCat
2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, F., & Müller, W. (2013). Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). https://doi.org/10.1109/PATMOS.2013.6662171
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36920
He, D., & Müller, W. (2013). An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors. In H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC).
LibreCat
2013 | Dissertation | LibreCat-ID: 8425 | 
Gharibian, S. (2013). Approximation, Proof Systems, and Correlations in a Quantum World.
LibreCat
| Files available
| Download (ext.)
| arXiv
2013 | Journal Article | LibreCat-ID: 8173 |
Gharibian, S., Sikora, J., & Upadhyay, S. (2013). QMA variants with polynomially many provers. Quantum Information & Computation, 13(1–2), 135–157.
LibreCat
| Download (ext.)
| arXiv
2013 | Conference Paper | LibreCat-ID: 528
Riebler, H., Kenter, T., Sorge, C., & Plessl, C. (2013). FPGA-accelerated Key Search for Cold-Boot Attacks against AES. Proceedings of the International Conference on Field-Programmable Technology (FPT), 386–389. https://doi.org/10.1109/FPT.2013.6718394
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 505
Happe, M., Kling, P., Plessl, C., Platzner, M., & Meyer auf der Heide, F. (2013). On-The-Fly Computing: A Novel Paradigm for Individualized IT Services. Proceedings of the 9th IEEE Workshop on Software Technology for Future Embedded and Ubiquitous Systems (SEUS). https://doi.org/10.1109/ISORC.2013.6913232
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 1787
Suess, T., Schoenrock, A., Meisner, S., & Plessl, C. (2013). Parallel Macro Pipelining on the Intel SCC Many-Core Computer. Proc. Int. Symp. on Parallel and Distributed Processing Workshops (IPDPSW), 64–73. https://doi.org/10.1109/IPDPSW.2013.136
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 46385
Sosa, H. V., Schütze, O., Rudolph, G., & Trautmann, H. (2013). The Directed Search Method for Pareto Front Approximations with Maximum Dominated Hypervolume. In M. Emmerich, A. Deutz, O. Schuetze, T. Bäck, A. Tantar, P. Moral, P. Legrand, P. Bouvry, & C. Coello (Eds.), EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation IV (Vol. 227, pp. 189–205). Springer International Publishing. https://doi.org/10.1007/978-3-319-01128-8_13
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 46386
Trautmann, H., Rudolph, G., Dominguez-Medina, C., & Schütze, O. (2013). Finding Evenly Spaced Pareto Fronts for Three-Objective Optimization Problems. In O. Schütze, C. C. Coello, A. Tantar, E. Tantar, P. Bouvry, M. P. Del, & P. Legrand (Eds.), EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II (Vol. 175, pp. 89–105). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-31519-0_6
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46388
Nallaperuma, S., Wagner, M., Neumann, F., Bischl, B., Mersmann, O., & Trautmann, H. (2013). A Feature-Based Comparison of Local Search and the Christofides Algorithm for the Travelling Salesperson Problem. Proceedings of the Twelfth Workshop on Foundations of Genetic Algorithms XII, 147–160. https://doi.org/10.1145/2460239.2460253
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46390
Rudolph, G., Trautmann, H., Sengupta, S., & Schütze, O. (2013). Evenly Spaced Pareto Front Approximations for Tricriteria Problems Based on Triangulation. In R. Purshouse, P. Fleming, C. Fonseca, S. Greco, & J. Shaw (Eds.), Evolutionary Multi-Criterion Optimization — 7$^th$ International Conference, EMO 2013, Sheffield, UK, Proceedings (Vol. 7811, pp. 443–458). Springer. https://doi.org/10.1007/978-3-642-37140-0_34
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46391
Sosa-Hernandez, V., Schütze, O., Rudoph, G., & Trautmann, H. (2013). Directed Search Method for Indicator-based Multi-objective Evolutionary Algorithms. Proceeding of the Fifteenth Annual Conference Companion on Genetic and Evolutionary Computation Conference Companion, 1699–1702. https://doi.org/10.1145/2464576.2482756
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46387
Dominguez-Medina, C., Rudolph, G., Schütze, O., & Trautmann, H. (2013). Evenly spaced Pareto fronts of quad-objective problems using PSA partitioning technique. Proceedings of the 2013 IEEE Congress on Evolutionary Computation (CEC), 3190–3197. https://doi.org/10.1109/CEC.2013.6557960
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46389
Preuss, M., Kozakowski, D., Hagelbäck, J., & Trautmann, H. (2013). Reactive strategy choice in StarCraft by means of Fuzzy Control. 2013 IEEE Conference on Computational Inteligence in Games (CIG), 1–8. https://doi.org/10.1109/CIG.2013.6633627
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 46395
Trautmann, H., Wagner, T., Biermann, D., & Weihs, C. (2013). Indicator-based Selection in Evolutionary Multiobjective Optimization Algorithms Based On the Desirability Index. Journal of Multi-Criteria Decision Analysis, 20(5–6), 319–337. https://doi.org/10.1002/mcda.1503
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 46393
Wagner, T., Trautmann, H., & Brockhoff, D. (2013). Preference Articulation by Means of the R2 Indicator. In R. C. Purshouse, P. J. Fleming, C. M. Fonseca, S. Greco, & J. Shaw (Eds.), Evolutionary Multi-Criterion Optimization (pp. 81–95). Springer Berlin Heidelberg.
LibreCat
2013 | Conference Paper | LibreCat-ID: 46392
Trautmann, H., Wagner, T., & Brockhoff, D. (2013). R2-EMOA: Focused Multiobjective Search Using R2-Indicator-Based Selection. In G. Nicosia & P. Pardalos (Eds.), Learning and Intelligent Optimization (pp. 70–74). Springer Berlin Heidelberg.
LibreCat
2013 | Journal Article | LibreCat-ID: 46394
Mersmann, O., Bischl, B., Trautmann, H., Wagner, M., Bossek, J., & Neumann, F. (2013). A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesman Problem. Annals of Mathematics and Artificial Intelligence, 69, 151–182.
LibreCat
2013 | Conference Paper | LibreCat-ID: 47161
Fahl, S., Harbach, M., Acar, Y., & Smith, M. (2013). On the ecological validity of a password study. Proceedings of the Ninth Symposium on Usable Privacy and Security. https://doi.org/10.1145/2501604.2501617
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 48889
Mersmann, O., Bischl, B., Trautmann, H., Wagner, M., Bossek, J., & Neumann, F. (2013). A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesperson Problem. Annals of Mathematics and Artificial Intelligence, 69(2), 151–182. https://doi.org/10.1007/s10472-013-9341-2
LibreCat
| DOI
2012 | Report | LibreCat-ID: 2504
Khan, R. A. M., & Karl, H. (2012). Simulating Cooperative Diversity Protocols for Multi-hop Wireless and Sensor Networks.
LibreCat
| Download (ext.)
2012 | Report | LibreCat-ID: 2505
Dannewitz, C., Karl, H., & Yadav, A. (2012). Report on Locality in DNS Requests – Evaluation and Impact on Future Internet Architectures.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 20173
Hamann, H., Stradner, J., Bredeche, N., & Cazenille, L. (2012). Impact of Neuron Models and Network Structure on Evolving Modular Robot Neural Network Controllers. In 14th Annual Genetic and Evolutionary Computation Conference, GECCO 2012 (pp. 89–96). ACM. https://doi.org/10.1145/2330163.2330177
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20174
Hamann, H., Schmickl, T., & Stradner, J. (2012). Towards Morphological Flexibility: Modular Robotics and Bio-inspired Control. In Austrian Robotics Workshop (Operational Programme Slovenia-Austria).
LibreCat
2012 | Conference Paper | LibreCat-ID: 20175
Hamann, H., Schmickl, T., Stradner, J., Crailsheim, K., Zahadat, P., Adami, C., … Pennock, R. T. (2012). On-line, On-board Evolution of Reaction-Diffusion Control for Self-Adaptation. In Alife XIII (pp. 597–598). MIT Press.
LibreCat
2012 | Journal Article | LibreCat-ID: 20176
Hamann, H., Schmickl, T., & Crailsheim, K. (2012). Self-organized pattern formation in a swarm system as a transient phenomenon of non-linear dynamics. Mathematical and Computer Modelling of Dynamical Systems, 18(1), 39–50. https://doi.org/10.1080/13873954.2011.601418
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 20177
Hamann, H., Schmickl, T., & Crailsheim, K. (2012). A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems. Artificial Life, 18(2), 165–198. https://doi.org/10.1162/artl_a_00058
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 20178
Hamann, H., Schmickl, T., Wörn, H., & Crailsheim, K. (2012). Analysis of emergent symmetry breaking in collective decision making. Neural Computing and Applications, 21(2), 207–218. https://doi.org/10.1007/s00521-010-0368-6
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20179
Hamann, H., Engelbrecht, A., Birattari, M., Dorigo, M., Blum, C., Stuetzle, T., … Gross, R. (2012). Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions. In Swarm Intelligence: 8th International Conference, ANTS 2012 (Vol. 7461, pp. 168–179). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-32650-9_15
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 25744
Joy, M. tech. M. M., Becker, M., Mathews, E., & Müller, W. (2012). Automated Source Code Annotation for Timing Analysis of Embedded Software. In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 25749
Mauerer, W., Hillier, G., Sawallisch, J., Hönick, S., & Oberthür, S. (2012). Real-Time Android: Deterministic Ease of Use. Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25752
Mathews, E., Graf, T., & Kulathunga, K. S. S. B. (2012). Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity. In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012). 14. - 17. Okt. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
Becker, M., Baldin, D., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings .
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W., Drechsler, R., Ecker, W., & Esen, V. (2012). The System Verification Methodology for Advanced TLM Verification. CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
He, D., & Müller, W. (2012). A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. 15th Euromicro Conference on Digital System Design (DSD).
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
Rasche, C., Jungmann, A., Schierbaum, T., Werdehausen, B., & Kleinjohann, B. (2012). Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. IEEE 10th International Conference on Industrial Informatics,.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
Esau, N., Krüger, M., Rasche, C., Beringer, S., Kleinjohann, L., & Kleinjohann, B. (2012). Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. 7th IEEE Conference in Industrial Electronics and Applications.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2012). Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
Grösbrink, S. (2012). A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. Symposium on System-Integrated Intelligence.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
Becker, M., Kuznik, C., Joy, M. tech. M. M., Xie, T., & Müller, W. (2012). Binary Mutation Testing Through Dynamic Translation. 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
He, D., & Müller, W. (2012). Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
Radke, S., Rülke, S., Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., Esen, V., Hufnagel, S., Bannow, N., Oetjens, J.-H., Brazdrum, H., Janssen, P., Le, H. M., Große, D., Haedicke, F., Drechsler, R., Koch, G., Burger, A., Bringmann, O., … Görgen, R. (2012). Compilation of Methodologies to Speed up the Verification Process at System Level. EdaWorkshop 12.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
Montealegre, N., & Hagenkötter, S. (2012). Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In Journal of Intelligent Manufacturing 23(3) (pp. 699–715). Published online on June 2010.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
Grösbrink, S., Oberthür, S., & Baldin, D. (2012). Towards Adaptive Resource Management for Virtualized Real-Time Systems. 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012). 16. - 19. Apr. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
Zhao, Y., & Rammig, F.-J. (2012). Online Model Checking for Dependable Real-time Systems. 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 154–161.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
Montealegre, N., & Rammig, F.-J. (2012). Agent-Based Modeling and Simulation of Artificial Immune Systems. Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
Rammig, F.-J. (2012). Self-Coordination as Fundamental Concept for Cyber Physical Systems. 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 45–48.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
Mathews, E. (2012). Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. Ninth International Conference On Information Technology : New Generations (ITNG).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
He, D., & Müller, W. (2012). Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
Stern, C., Rasche, C., Kleinjohann, L., & Kleinjohann, B. (2012). Efficient Alignment of Aerial Images Based on Virtual Forces. Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). 25. - 30. Mrz. 2012 IARIA, IEEE Xplore.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
Jungmann, A., Kleinjohann, B., Kleinjohann, L., & Bieshaar, M. (2012). Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE). 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
Grösbrink, S., Oberthür, S., & Baldin, D. (2012). Dynamic Resource Management for Virtualized Mixed-Criticality Systems. Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012). 12. - 16. Mrz. 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., & Esen, V. (2012). A SystemC Library for Advanced TLM Verification. Proceeding of Design and Verification Conference (DVCON).
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
Nascimento, F. A. M., Oliveira, M. F., & Wagner, F. (2012). A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering 8, 19–33.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
Becker, M., Gnokam Defo, G. B., Müller, W., Fummi, F., Pravadelli, G., & Vinco, S. (2012). MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. Design, Automation and Test in Europe (DATE 2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
Becker, M., Kuznik, C., Joy, M. tech. M., Xie, T., & Müller, W. (2012). XEMU: A QEMU Based Binary Mutation Testing Framework. Design, Automation and Test in Europe DATE.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
Mauerer, W., Hillier, G., Sawallisch, J., Hönick, S., & Oberthür, S. (2012). Real-Time Android: Deterministic Ease of use. Proceedings of Embedded World Conference. 28. Feb. - 1. Mrz. 2012.
LibreCat