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.
10722 Publications
2018 | Journal Article | LibreCat-ID: 3402
On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis
V. Melnikov, E. Hüllermeier, Machine Learning (2018).
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, Machine Learning (2018).
2018 | Conference Paper | LibreCat-ID: 3414
JMCTest: Automatically Testing Inter-Method Contracts in Java
P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.
LibreCat
| Files available
P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.
2018 | Conference Paper | LibreCat-ID: 3422
Breaking the $\tilde\Omega(\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary
P. Robinson, C. Scheideler, A. Setzer, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), n.d.
LibreCat
| Files available
| DOI
P. Robinson, C. Scheideler, A. Setzer, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), n.d.
2018 | Journal Article | LibreCat-ID: 3510 |
ML-Plan: Automated Machine Learning via Hierarchical Planning
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018) 1495–1515.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018) 1495–1515.
2018 | Book Chapter | LibreCat-ID: 3536
FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
LibreCat
| DOI
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
2018 | Conference Paper | LibreCat-ID: 3550
Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions
B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, D. Szopinski, in: Proceeding of International Symposium on Business Modeling and Software Design, Springer, Wien, Austria, 2018, pp. 390–400.
LibreCat
| Files available
| DOI
B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, D. Szopinski, in: Proceeding of International Symposium on Business Modeling and Software Design, Springer, Wien, Austria, 2018, pp. 390–400.
2018 | Journal Article | LibreCat-ID: 3551
Scheduling with interjob communication on parallel processors
J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2018) 1356–1379.
LibreCat
| Files available
| DOI
J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2018) 1356–1379.
2018 | Conference Paper | LibreCat-ID: 3552 |
Reduction Stumps for Multi-Class Classification
F. Mohr, M.D. Wever, E. Hüllermeier, in: Proceedings of the Symposium on Intelligent Data Analysis, ‘s-Hertogenbosch, the Netherlands, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, in: Proceedings of the Symposium on Intelligent Data Analysis, ‘s-Hertogenbosch, the Netherlands, n.d.
2018 | Preprint | LibreCat-ID: 3586
CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (n.d.).
LibreCat
| Files available
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (n.d.).
2018 | Conference Paper | LibreCat-ID: 3588
Solving Maxwell's Equations with Modern C++ and SYCL: A Case Study
A. Afzal, C. Schmitt, S. Alhaddad, Y. Grynko, J. Teich, J. Förstner, F. Hannig, in: Proceedings of the 29th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2018, pp. 49–56.
LibreCat
| Files available
| DOI
A. Afzal, C. Schmitt, S. Alhaddad, Y. Grynko, J. Teich, J. Förstner, F. Hannig, in: Proceedings of the 29th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2018, pp. 49–56.
2018 | Book Chapter | LibreCat-ID: 3590
Supporting the Change to Digitalized Production Environments Through Learning Organization Development
C. Fischer, A. Pöhler, in: C. Harteis (Ed.), The Impact of Digitalization in the Workplace, 2018, pp. 141--160.
LibreCat
| DOI
C. Fischer, A. Pöhler, in: C. Harteis (Ed.), The Impact of Digitalization in the Workplace, 2018, pp. 141--160.
2018 | Book Chapter | LibreCat-ID: 3593
Wissensmanagement unter Bedingungen von Arbeit 4.0
C. Harteis, C. Fischer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer, Berlin, Heidelberg, 2018, pp. 1--18.
LibreCat
C. Harteis, C. Fischer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer, Berlin, Heidelberg, 2018, pp. 1--18.
2018 | Book Chapter | LibreCat-ID: 3594
Digitalisation of Work: Between Affordances and Constraints for Learning at Work
C. Fischer, M. Goller, L. Brinkmann, C. Harteis, in: D. Ifenthaler (Ed.), Digital Workplace Learning, Springer, Cham, 2018, pp. 227--249.
LibreCat
C. Fischer, M. Goller, L. Brinkmann, C. Harteis, in: D. Ifenthaler (Ed.), Digital Workplace Learning, Springer, Cham, 2018, pp. 227--249.
2018 | Book | LibreCat-ID: 3595
Individual and social influences on professional learning. Supporting the acquisition and maintenance of expertise.
H. Gruber, C. Harteis, Individual and Social Influences on Professional Learning. Supporting the Acquisition and Maintenance of Expertise., Springer, Cham, 2018.
LibreCat
| DOI
H. Gruber, C. Harteis, Individual and Social Influences on Professional Learning. Supporting the Acquisition and Maintenance of Expertise., Springer, Cham, 2018.
2018 | Dissertation | LibreCat-ID: 3720
FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.
LibreCat
| DOI
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.
2018 | Journal Article | LibreCat-ID: 3740 |
Oblique incidence of semi-guided planar waves on slab waveguide steps: effects of rounded edges
L. Ebers, M. Hammer, J. Förstner, Optics Express 26 (2018) 18621–18632.
LibreCat
| Files available
| DOI
L. Ebers, M. Hammer, J. Förstner, Optics Express 26 (2018) 18621–18632.
2018 | Book Chapter | LibreCat-ID: 3742
Dynamic Voluntary Provision of Public Goods: The Recursive Nash Bargaining Solution
S. Hoof, in: Static & Dynamic Game Theory: Foundations & Applications, Springer International Publishing, Cham, 2018, pp. 13–23.
LibreCat
| Files available
| DOI
S. Hoof, in: Static & Dynamic Game Theory: Foundations & Applications, Springer International Publishing, Cham, 2018, pp. 13–23.
2018 | Conference Paper | LibreCat-ID: 3852 |
ML-Plan for Unlimited-Length Machine Learning Pipelines
M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.
LibreCat
| Files available
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.
2018 | Conference (Editor) | LibreCat-ID: 3874
Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures
C. Scheideler, J.T. Fineman, eds., Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, ACM, 2018.
LibreCat
C. Scheideler, J.T. Fineman, eds., Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, ACM, 2018.
2018 | Conference Paper | LibreCat-ID: 3105
Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange
D. Derler, T. Jager, D. Slamanig, C. Striecks, in: Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III, 2018, pp. 425--455.
LibreCat
| Files available
| DOI
| Download (ext.)
D. Derler, T. Jager, D. Slamanig, C. Striecks, in: Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III, 2018, pp. 425--455.