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.
5928 Publications
2016 | Conference Paper | LibreCat-ID: 16351
Fischer, M., Jähn, C., Meyer auf der Heide, F., & Petring, R. (2016). Algorithm Engineering Aspects of Real-Time Rendering Algorithms. In L. Kliemann & P. Sanders (Eds.), Algorithm Engineering (Vol. 9220, pp. 226–244). Springer. https://doi.org/10.1007/978-3-319-49487-6_7
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 16358
Li, S., Meyer auf der Heide, F., & Podlipyan, P. (2016). The impact of the Gabriel subgraph of the visibility graph on the gathering of mobile autonomous robots. In Algorithms for Sensor Systems, Proceedings of the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS). Springer. https://doi.org/10.1007/978-3-319-53058-1_5
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 16359
Cord-Landwehr, A., Fischer, M., Jung, D., & Meyer auf der Heide, F. (2016). Asymptotically Optimal Gathering on a Grid. In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 301–312). ACM. https://doi.org/10.1145/2935764.2935789
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 16360
Abshoff, S., Cord-Landwehr, A., Fischer, M., Jung, D., & Meyer auf der Heide, F. (2016). Gathering a Closed Chain of Robots on a Grid. In Proceedings of the 30th International Parallel and Distributed Processing Symposium (IPDPS) (pp. 689–699). IEEE. https://doi.org/10.1109/IPDPS.2016.51
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 16364
Macker, A., Malatyali, M., & Meyer auf der Heide, F. (2016). On Competitive Algorithms for Approximations of Top-k-Position Monitoring of Distributed Streams. In 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS). https://doi.org/10.1109/ipdps.2016.91
LibreCat
| DOI
2016 | Mastersthesis | LibreCat-ID: 164
Czech, M. (2016). Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn.
LibreCat
2016 | Journal Article | LibreCat-ID: 139
Abshoff, S., Kling, P., Markarian, C., Meyer auf der Heide, F., & Pietrzyk, P. (2016). Towards the price of leasing online. Journal of Combinatorial Optimization, (4), 1197--1216. https://doi.org/10.1007/s10878-015-9915-5
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 140
Jungmann, A. (2016). Towards On-The-Fly Image Processing. Universität Paderborn.
LibreCat
| Files available
2016 | Dissertation | LibreCat-ID: 141
Mohr, F. (2016). Towards Automated Service Composition Under Quality Constraints. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-171
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 142
Scheideler, C., Setzer, A., & Strothmann, T. F. (2016). Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks. In Proceedings of the 30th International Symposium on Distributed Computing (DISC) (pp. 71--84). https://doi.org/10.1007/978-3-662-53426-7_6
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 143
Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan, P. (2016). The Monotone Circuit Value Problem with Bounded Genus Is in NC. In Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON) (pp. 92–102). https://doi.org/10.1007/978-3-319-42634-1_8
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 145
Feldotto, M., & Graffi, K. (2016). Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM. Concurrency and Computation: Practice and Experience, 28(5), 1655–1677. https://doi.org/10.1002/cpe.3716
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 13151
Graf, T., & Platzner, M. (2016). Using Deep Convolutional Neural Networks in Monte Carlo Tree Search. In Computer and Games.
LibreCat
2016 | Conference Paper | LibreCat-ID: 13152
Graf, T., & Platzner, M. (2016). Monte-Carlo Simulation Balancing Revisited. In IEEE Computational Intelligence and Games.
LibreCat
2016 | Conference Paper | LibreCat-ID: 132
Wiersema, T., & Platzner, M. (2016). Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) (pp. 1--8). https://doi.org/10.1109/ReCoSoC.2016.7533910
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 133
Dewender, M. (2016). Verifikation von Service Kompositionen mit Spin. Universität Paderborn.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 134
Heinisch, P. (2016). Verifikation von Service Kompositionen mit Prolog. Universität Paderborn.
LibreCat
2016 | Dissertation | LibreCat-ID: 10136
Eikel, M. (2016). Insider-resistent Distributed Storage Systems. Universität Paderborn.
LibreCat
| Files available
2016 | Book Chapter | LibreCat-ID: 10214
Fürnkranz, J., & Hüllermeier, E. (2016). Preference Learning. In C. Sammut & G. I. Webb (Eds.), Encyclopedia of Machine Learning and Data Mining. Springer.
LibreCat