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.
9931 Publications
2016 | Conference Paper | LibreCat-ID: 46365
Bossek, J., & Trautmann, H. (2016). Evolving Instances for Maximizing Performance Differences of State-of-The-Art Inexact TSP Solvers. In P. Festa, M. Sellmann, & J. Vanschoren (Eds.), Learning and Intelligent Optimization (Vol. 10079, pp. 48–59). Springer International Publishing. https://doi.org/10.1007/978-3-319-50349-3_4
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 46366
Bossek, J., & Trautmann, H. (2016). Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference. In G. Adorni, S. Cagnoni, M. Gori, & M. Maratea (Eds.), AI*IA 2016 Advances in Artificial Intelligence (Vol. 10037, pp. 3–12). Springer. https://doi.org/10.1007/978-3-319-49130-1_1
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 6555 | 
Claes, L., Meyer, T., Bause, F., Rautenberg, J., & Henning, B. (2016). Determination of the material properties of polymers using laser-generated broadband ultrasound. Journal of Sensors and Sensor Systems, 5(1), 187–196. https://doi.org/10.5194/jsss-5-187-2016
LibreCat
| DOI
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 55281
Steuding, J., & Technau, M. P. (2016). The least prime number in a Beatty sequence. J. Number Theory, 169, 144–159. https://doi.org/10.1016/j.jnt.2016.05.022
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 250
Jakobs, M.-C. (2015). Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 159--174). https://doi.org/10.1007/978-3-319-22969-0_12
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 25073
Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2015). Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS).
LibreCat
2015 | Conference Paper | LibreCat-ID: 25074
Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems. Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS).
LibreCat
2015 | Conference Paper | LibreCat-ID: 25075
Stahl, K., Stöcklein, J., & Li, S. (2015). Evaluation of Autonomous Approaches using Virtual Environments. In R. Shumaker & S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015 (Vol. 9179, pp. 499–512). Springer International Publishing Switzerland.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25076
Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality. Proceedings of the IEEE 11th World Congress on Services (SERVICES), 329–332.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25080
Mohr, F., Jungmann, A., & Kleine Büning, H. (2015). Automated Online Service Composition. Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 57–64.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25082
Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization. Proceedings of Electronic System Level Synthesis Conference (ESLsyn).
LibreCat
2015 | Conference Paper | LibreCat-ID: 25083
Jatzkowski, J., & Kleinjohann, B. (2015). Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. Mechatronics.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 251
Pfannschmidt, K. (2015). Solving the aggregated bandits problem. Universität Paderborn.
LibreCat
2015 | Journal Article | LibreCat-ID: 25107
Jungmann, A., & Mohr, F. (2015). An approach towards adaptive service composition in markets of composed services. Journal of Internet Services and Applications 6(1), 1–18.
LibreCat
2015 | Journal Article | LibreCat-ID: 25108
Rammig, F.-J., & Stahl, K. (2015). Online behavior classification for anomaly detection in self-x real-time systems. Concurrency and Computation: Practice and Experience .
LibreCat
2015 | Journal Article | LibreCat-ID: 25109
Sudhakar, K., Zhao, Y., & Rammig, F.-J. (2015). Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System. Concurrency and Computation: Practice and Experience .
LibreCat
2015 | Journal Article | LibreCat-ID: 25110
Joy, M. tech. M. M., & Rammig, F.-J. (2015). A hybrid methodology to detect memory leaks in soft real time embedded systems software. Int. J. of Embedded Systems.
LibreCat
2015 | Journal Article | LibreCat-ID: 25111
Khaluf, Y., Birattari, M., & Rammig, F.-J. (2015). Analysis of long-term swarm performance based on short-term experiments. Springer Jounal Soft Computing .
LibreCat
2015 | Conference Paper | LibreCat-ID: 252
Dräxler, M., Blobel, J., Dreimann, P., Valentin, S., & Karl, H. (2015). SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming. In Proceedings of the 2nd International Conference on Networked Systems (NetSys) (pp. 1--8). https://doi.org/10.1109/NetSys.2015.7089073
LibreCat
| Files available
| DOI
| Download (ext.)
2015 | Conference Paper | LibreCat-ID: 253
Blömer, J., Juhnke, J., & Löken, N. (2015). Short Group Signatures with Distributed Traceability. In Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (pp. 166–180). https://doi.org/10.1007/978-3-319-32859-1_14
LibreCat
| Files available
| DOI