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.
9804 Publications
2017 | Conference Paper | LibreCat-ID: 24398
Scheduling Access to Shared Space in Multi-robot Systems
Y. Khaluf, C. Markarian, P. Simoens, A. Reina, in: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), Cham, 2017.
LibreCat
| DOI
Y. Khaluf, C. Markarian, P. Simoens, A. Reina, in: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), Cham, 2017.
2017 | Journal Article | LibreCat-ID: 26426
Challenges for Annotation Concepts in Music
A. Hadjakos, Joachim Iffland, R. Keil, A. Oberhoff, J. Veit, International Journal of Humanities and Arts Computing 11:2 (2017) 255–275.
LibreCat
A. Hadjakos, Joachim Iffland, R. Keil, A. Oberhoff, J. Veit, International Journal of Humanities and Arts Computing 11:2 (2017) 255–275.
2017 | Book Chapter | LibreCat-ID: 26427
Learning {\ "o} natural infrastructures: A technology-centered approach to the development of new educational potentials
R. Keil, in: Education in the Digital Age - Balance Sheet and Perspectives, Heinz Nixdorf MuseumsForum, 2017, pp. 46–72.
LibreCat
R. Keil, in: Education in the Digital Age - Balance Sheet and Perspectives, Heinz Nixdorf MuseumsForum, 2017, pp. 46–72.
2017 | Bachelorsthesis | LibreCat-ID: 3291
Microservice-based Execution Environment for Service Compositions
A. Schürmann, Microservice-Based Execution Environment for Service Compositions, Universität Paderborn, 2017.
LibreCat
A. Schürmann, Microservice-Based Execution Environment for Service Compositions, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 3325
Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics
V. Melnikov, E. Hüllermeier, in: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017.
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, in: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017.
2017 | Mastersthesis | LibreCat-ID: 3512
Testing Java Method Contracts
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
LibreCat
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 3523 |
Radar backscattering from a large-grain cometary coma: numerical simulation
S. Dogra, Y. Grynko, E. Zubko, J. Förstner, Astronomy & Astrophysics 608 (2017) A20.
LibreCat
| Files available
| DOI
S. Dogra, Y. Grynko, E. Zubko, J. Förstner, Astronomy & Astrophysics 608 (2017) A20.
2017 | Bachelorsthesis | LibreCat-ID: 3580
An FPGA Accelerator for Checking Resolution Proofs
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.
LibreCat
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.
2017 | Book Chapter | LibreCat-ID: 3743
Guided Wave Interaction in Photonic Integrated Circuits — A Hybrid Analytical/Numerical Approach to Coupled Mode Theory
M. Hammer, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, 204th ed., Springer, 2017, pp. 77–105.
LibreCat
M. Hammer, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, 204th ed., Springer, 2017, pp. 77–105.
2017 | Conference Paper | LibreCat-ID: 3751
Unit Segmentation of Argumentative Texts
Y. Ajjour, W.-F. Chen, J. Kiesel, H. Wachsmuth, B. Stein, in: Proceedings of the 4th Workshop on Argument Mining, 2017, pp. 118–128.
LibreCat
| Download (ext.)
Y. Ajjour, W.-F. Chen, J. Kiesel, H. Wachsmuth, B. Stein, in: Proceedings of the 4th Workshop on Argument Mining, 2017, pp. 118–128.
2017 | Conference Paper | LibreCat-ID: 3803
Patterns of Argumentation Strategies across Topics
K. Al Khatib, H. Wachsmuth, M. Hagen, B. Stein, in: Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017, pp. 1362–1368.
LibreCat
| Download (ext.)
K. Al Khatib, H. Wachsmuth, M. Hagen, B. Stein, in: Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017, pp. 1362–1368.
2017 | Conference Paper | LibreCat-ID: 3809
WAT-SL: A Customizable Web Annotation Tool for Segment Labeling
J. Kiesel, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017, pp. 13–16.
LibreCat
| Download (ext.)
J. Kiesel, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017, pp. 13–16.
2017 | Conference Paper | LibreCat-ID: 3817
"Page Rank'' for Argument Relevance
H. Wachsmuth, B. Stein, Y. Ajjour, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 1117–1127.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, Y. Ajjour, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 1117–1127.
2017 | Conference Paper | LibreCat-ID: 3819
Building an Argument Search Engine for the Web
H. Wachsmuth, M. Potthast, K. Al-Khatib, Y. Ajjour, J. Puschmann, J. Qu, J. Dorsch, V. Morari, J. Bevendorff, B. Stein, in: Proceedings of the 4th Workshop on Argument Mining, 2017, pp. 49–59.
LibreCat
| Download (ext.)
H. Wachsmuth, M. Potthast, K. Al-Khatib, Y. Ajjour, J. Puschmann, J. Qu, J. Dorsch, V. Morari, J. Bevendorff, B. Stein, in: Proceedings of the 4th Workshop on Argument Mining, 2017, pp. 49–59.
2017 | Conference Paper | LibreCat-ID: 3820
The Impact of Modeling Overall Argumentation with Tree Kernels
H. Wachsmuth, G. Da San Martino, D. Kiesel, B. Stein, in: Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017, pp. 2369–2379.
LibreCat
| Download (ext.)
H. Wachsmuth, G. Da San Martino, D. Kiesel, B. Stein, in: Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017, pp. 2369–2379.
2017 | Journal Article | LibreCat-ID: 3828 |
Hybrid coupled-mode modeling in 3D: perturbed and coupled channels, and waveguide crossings
M. Hammer, S. Alhaddad, J. Förstner, Journal of the Optical Society of America B 34 (2017) 613–624.
LibreCat
| Files available
| DOI
M. Hammer, S. Alhaddad, J. Förstner, Journal of the Optical Society of America B 34 (2017) 613–624.
2017 | Journal Article | LibreCat-ID: 3830
Spiral modes supported by circular dielectric tubes and tube segments
L. Ebers, M. Hammer, J. Förstner, Optical and Quantum Electronics 49 (2017) 49:176.
LibreCat
| Files available
| DOI
L. Ebers, M. Hammer, J. Förstner, Optical and Quantum Electronics 49 (2017) 49:176.
2017 | Journal Article | LibreCat-ID: 3832 |
Direction-tunable enhanced emission from a subwavelength metallic double-nanoslit structure
X. Song, N. Wang, M. Yan, C. Lin, J. Förstner, W. Yang, Optics Express 25 (2017) 13207–13214.
LibreCat
| Files available
| DOI
X. Song, N. Wang, M. Yan, C. Lin, J. Förstner, W. Yang, Optics Express 25 (2017) 13207–13214.
2017 | Book Chapter | LibreCat-ID: 3836
Simulation of Second Harmonic Generation from Photonic Nanostructures Using the Discontinuous Galerkin Time Domain Method
Y. Grynko, J. Förstner, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, Springer International Publishing, Cham, 2017, pp. 261–284.
LibreCat
| Files available
| DOI
Y. Grynko, J. Förstner, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, Springer International Publishing, Cham, 2017, pp. 261–284.
2017 | Journal Article | LibreCat-ID: 3872
Sade: competitive MAC under adversarial SINR
A. Ogierman, A. Richa, C. Scheideler, S. Schmid, J. Zhang, Distributed Computing 31 (2017) 241–254.
LibreCat
| DOI
A. Ogierman, A. Richa, C. Scheideler, S. Schmid, J. Zhang, Distributed Computing 31 (2017) 241–254.
2017 | Conference Paper | LibreCat-ID: 3881
Computational Argumentation Quality Assessment in Natural Language
H. Wachsmuth, N. Naderi, Y. Hou, Y. Bilu, V. Prabhakaran, T.A. Thijm, G. Hirst, B. Stein, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 176–187.
LibreCat
| Download (ext.)
H. Wachsmuth, N. Naderi, Y. Hou, Y. Bilu, V. Prabhakaran, T.A. Thijm, G. Hirst, B. Stein, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 176–187.
2017 | Journal Article | LibreCat-ID: 3882
A Universal Model for Discourse-Level Argumentation Analysis
H. Wachsmuth, B. Stein, Special Section of the ACM Transactions on Internet Technology: Argumentation in Social Media (2017) 1–24.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, Special Section of the ACM Transactions on Internet Technology: Argumentation in Social Media (2017) 1–24.
2017 | Conference Paper | LibreCat-ID: 3883
Argumentation Quality Assessment: Theory vs. Practice
H. Wachsmuth, N. Naderi, I. Habernal, Y. Hou, G. Hirst, I. Gurevych, B. Stein, in: Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2017, pp. 250–255.
LibreCat
| DOI
| Download (ext.)
H. Wachsmuth, N. Naderi, I. Habernal, Y. Hou, G. Hirst, I. Gurevych, B. Stein, in: Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2017, pp. 250–255.
2017 | Conference Paper | LibreCat-ID: 3904
Webis at the CLEF 2017 Dynamic Search Lab
M. Hagen, J. Kiesel, M. Alshomary, B. Stein, in: Working Notes of CLEF 2017 - Conference and Labs of the Evaluation Forum, 2017.
LibreCat
| Download (ext.)
M. Hagen, J. Kiesel, M. Alshomary, B. Stein, in: Working Notes of CLEF 2017 - Conference and Labs of the Evaluation Forum, 2017.
2017 | Dissertation | LibreCat-ID: 2908
Soft Clustering Algorithms - Theoretical and Practical Improvements
K. Bujna, Soft Clustering Algorithms - Theoretical and Practical Improvements, Universität Paderborn, 2017.
LibreCat
| DOI
| Download (ext.)
K. Bujna, Soft Clustering Algorithms - Theoretical and Practical Improvements, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 2967 |
Subtleties in Security Definitions for Predicate Encryption with Public Index
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
2017 | Journal Article | LibreCat-ID: 3108
Authenticated Confidential Channel Establishment and the Security of TLS-DHE
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, J. Cryptology (2017) 1276--1324.
LibreCat
| DOI
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, J. Cryptology (2017) 1276--1324.
2017 | Conference Paper | LibreCat-ID: 3109
Simple Security Definitions for and Constructions of 0-RTT Key Exchange
B. Hale, T. Jager, S. Lauer, J. Schwenk, in: Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings, 2017, pp. 20--38.
LibreCat
| DOI
B. Hale, T. Jager, S. Lauer, J. Schwenk, in: Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings, 2017, pp. 20--38.
2017 | Conference Paper | LibreCat-ID: 3110
0-RTT Key Exchange with Full Forward Secrecy
F. Günther, B. Hale, T. Jager, S. Lauer, in: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III, 2017, pp. 519--548.
LibreCat
| DOI
F. Günther, B. Hale, T. Jager, S. Lauer, in: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III, 2017, pp. 519--548.
2017 | Conference Paper | LibreCat-ID: 3111
Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy
T. Jager, M. Stam, R. Stanley-Oakes, B. Warinschi, in: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017, pp. 409--441.
LibreCat
| DOI
T. Jager, M. Stam, R. Stanley-Oakes, B. Warinschi, in: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017, pp. 409--441.
2017 | Conference Paper | LibreCat-ID: 3155
Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, in: Z. Duan, L. Ong (Eds.), Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings, 2017, pp. 362--378.
LibreCat
| DOI
M. Töws, H. Wehrheim, in: Z. Duan, L. Ong (Eds.), Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings, 2017, pp. 362--378.
2017 | Conference Paper | LibreCat-ID: 3156
Value-Based or Conflict-Based? Opacity Definitions for STMs
J. König, H. Wehrheim, in: D. Van Hung, D. Kapur (Eds.), Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135.
LibreCat
| DOI
J. König, H. Wehrheim, in: D. Van Hung, D. Kapur (Eds.), Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135.
2017 | Conference Paper | LibreCat-ID: 2741
From Radio Design to System Evaluations for Ultra-Reliable and Low-Latency Communication
S. Ali Ashraf, Y.-P.E. Wang, S. Eldessoki, B. Holfeld, D. Parruca, M. Serror, J. Gross, in: Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017, Dresden, 2017.
LibreCat
| Download (ext.)
S. Ali Ashraf, Y.-P.E. Wang, S. Eldessoki, B. Holfeld, D. Parruca, M. Serror, J. Gross, in: Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017, Dresden, 2017.
2017 | Conference Paper | LibreCat-ID: 112
Congestion Games with Complementarities
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
2017 | Conference Paper | LibreCat-ID: 113
Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
2017 | Conference Paper | LibreCat-ID: 114
Compact Proof Witnesses
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
2017 | Conference Paper | LibreCat-ID: 115
Certification Matters for Service Markets
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
2017 | Mastersthesis | LibreCat-ID: 1157
A Framework for the Synthesis of Approximate Circuits
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
LibreCat
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 1158
Annotation Challenges for Reconstructing the Structural Elaboration of Middle Low German
N. Seemann, M.-L. Merten, M. Geierhos, D. Tophinke, E. Hüllermeier, in: Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature, Association for Computational Linguistics (ACL), Stroudsburg, PA, USA, 2017, pp. 40–45.
LibreCat
| DOI
N. Seemann, M.-L. Merten, M. Geierhos, D. Tophinke, E. Hüllermeier, in: Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature, Association for Computational Linguistics (ACL), Stroudsburg, PA, USA, 2017, pp. 40–45.
2017 | Dissertation | LibreCat-ID: 116
CCA-Security for Predicate Encryption Schemes
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
LibreCat
| DOI
| Download (ext.)
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 17652
Filtering Undesirable Flows in Networks
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat
| DOI
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Springer International Publishing, Cham, 2017, pp. 3–17.
2017 | Conference Paper | LibreCat-ID: 17653
Reciprocation Effort Games
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
LibreCat
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
2017 | Conference Paper | LibreCat-ID: 17654
Competition between Cooperative Projects
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
LibreCat
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
2017 | Conference Paper | LibreCat-ID: 1767
Conditional Value-at-Risk: Structure and Complexity of Equilibria
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
LibreCat
| Files available
| DOI
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
2017 | Preprint | LibreCat-ID: 17811
Gathering Anonymous, Oblivious Robots on a Grid
M. Fischer, D. Jung, F. Meyer auf der Heide, ArXiv:1702.03400 (2017).
LibreCat
M. Fischer, D. Jung, F. Meyer auf der Heide, ArXiv:1702.03400 (2017).
2017 | Conference Paper | LibreCat-ID: 2343 |
Searchable Encryption with Access Control
N. Löken, in: Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES ’17, ACM Press, 2017.
LibreCat
| Files available
| DOI
| Download (ext.)
N. Löken, in: Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES ’17, ACM Press, 2017.
2017 | Conference Paper | LibreCat-ID: 2344 |
Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat
| Files available
| DOI
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
2017 | Book Chapter | LibreCat-ID: 2381
Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems
S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.
LibreCat
| DOI
S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.
2017 | Book Chapter | LibreCat-ID: 20552
Industrial Security by Design
C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.
LibreCat
| DOI
C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.
2017 | Journal Article | LibreCat-ID: 20553
Time for Addressing Software Security Issues: Prediction Models and Impacting Factors
L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, A.D. Brucker, Data Science and Engineering 2 (2017) 107–124.
LibreCat
| Files available
| DOI
L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, A.D. Brucker, Data Science and Engineering 2 (2017) 107–124.
2017 | Report | LibreCat-ID: 20554
Self-adaptive static analysis
E. Bodden, Self-Adaptive Static Analysis, 2017.
LibreCat
| Download (ext.)
E. Bodden, Self-Adaptive Static Analysis, 2017.
2017 | Report | LibreCat-ID: 20555
CrySL: Validating Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, CrySL: Validating Correct Usage of Cryptographic APIs, 2017.
LibreCat
| Download (ext.)
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, CrySL: Validating Correct Usage of Cryptographic APIs, 2017.
2017 | Journal Article | LibreCat-ID: 20557
Tracking Load-time Configuration Options
M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.
LibreCat
| DOI
| Download (ext.)
M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.
2017 | Conference Paper | LibreCat-ID: 20558
CogniCrypt: Supporting Developers in using Cryptography
S. Krüger, S. Nadi, M. Reif, K. Ali, M. Mezini, E. Bodden, F. Göpfert, F. Günther, C. Weinert, D. Demmler, R. Kamath, in: International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, 2017.
LibreCat
| Download (ext.)
S. Krüger, S. Nadi, M. Reif, K. Ali, M. Mezini, E. Bodden, F. Göpfert, F. Günther, C. Weinert, D. Demmler, R. Kamath, in: International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, 2017.
2017 | Conference Paper | LibreCat-ID: 20559
Just-in-time Static Analysis
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.
LibreCat
| DOI
| Download (ext.)
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.
2017 | Conference Paper | LibreCat-ID: 20715
Cheetah: Just-in-Time Taint Analysis for Android Apps
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2017.
LibreCat
| Download (ext.)
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2017.
2017 | Conference Paper | LibreCat-ID: 20792
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach
S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha, 2017, pp. 319–336.
LibreCat
| DOI
S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha, 2017, pp. 319–336.
2017 | Dissertation | LibreCat-ID: 20794
Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems
S. Dziwok, Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems, Paderborn University, 2017.
LibreCat
S. Dziwok, Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems, Paderborn University, 2017.
2017 | Conference Paper | LibreCat-ID: 20797
Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities
C. Gerking, D. Schubert, I. Budde, in: E. Guerra, M. van den Brand (Eds.), Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Springer, Marburg, 2017, pp. 19–34.
LibreCat
| Download (ext.)
C. Gerking, D. Schubert, I. Budde, in: E. Guerra, M. van den Brand (Eds.), Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Springer, Marburg, 2017, pp. 19–34.
2017 | Conference Paper | LibreCat-ID: 20804
Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems
J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat
J. Geismann, U. Pohlmann, D. Schmelter, in: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
2017 | Dissertation | LibreCat-ID: 20805
Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction
M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.
LibreCat
M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performance Prediction, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 18026
Untersuchungen zum Cone-Hashing
M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.
LibreCat
M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 18027
An Asynchronous Adaption of a Churn-resistant Overlay Network
N.C. Banh, An Asynchronous Adaption of a Churn-Resistant Overlay Network, Universität Paderborn, 2017.
LibreCat
N.C. Banh, An Asynchronous Adaption of a Churn-Resistant Overlay Network, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 18028
Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen
A. Schenk, Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen, Universität Paderborn, 2017.
LibreCat
A. Schenk, Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 18029
Visualisierung zu Algorithmen verteilter Netzwerksysteme
B. Beckendorf, Visualisierung Zu Algorithmen Verteilter Netzwerksysteme, Universität Paderborn, 2017.
LibreCat
B. Beckendorf, Visualisierung Zu Algorithmen Verteilter Netzwerksysteme, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 1812
Towards a universal approach for the finite departure problem in overlay networks
A. Koutsopoulos, C. Scheideler, T.F. Strothmann, Inf. Comput. (2017) 408--424.
LibreCat
| DOI
A. Koutsopoulos, C. Scheideler, T.F. Strothmann, Inf. Comput. (2017) 408--424.
2017 | Journal Article | LibreCat-ID: 1813
Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271
S. P. Fekete, A. W. Richa, K. Römer, C. Scheideler, SIGACT News (2017) 87--94.
LibreCat
| DOI
S. P. Fekete, A. W. Richa, K. Römer, C. Scheideler, SIGACT News (2017) 87--94.
2017 | Journal Article | LibreCat-ID: 1814
Universal coating for programmable matter
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, Theor. Comput. Sci. (2017) 56--68.
LibreCat
| DOI
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, Theor. Comput. Sci. (2017) 56--68.
2017 | Conference Paper | LibreCat-ID: 1815
Improved Leader Election for Self-organizing Programmable Matter
J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers, 2017, pp. 127--140.
LibreCat
| DOI
J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers, 2017, pp. 127--140.
2017 | Conference (Editor) | LibreCat-ID: 1820
Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017
C. Scheideler, M. Taghi Hajiaghayi, eds., Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, 2017.
LibreCat
| DOI
C. Scheideler, M. Taghi Hajiaghayi, eds., Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, 2017.
2017 | Conference Paper | LibreCat-ID: 22811
Identifikation von Potentialen für Augmented-Reality-basierte Produkt-Service-Systeme
D. Röltgen, F. Wortmann, H. Anacker, R. Dumitrescu, in: J. Gausemeier, Heinz Nixdorf Institut, Paderborn (Eds.), 13. Symposium Für Vorausschau Und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017, 2017.
LibreCat
D. Röltgen, F. Wortmann, H. Anacker, R. Dumitrescu, in: J. Gausemeier, Heinz Nixdorf Institut, Paderborn (Eds.), 13. Symposium Für Vorausschau Und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017, 2017.
2017 | Conference Paper | LibreCat-ID: 22813
Modellbasierte Entscheidungsunterstützung in der Produktgenerationenplanung
A. Albers, A. Kühn, R. Dumitrescu, in: Proceedings of: Tag Des Systems Engineering (TdSE), 8. - 10. Nov. 2017, 2017.
LibreCat
A. Albers, A. Kühn, R. Dumitrescu, in: Proceedings of: Tag Des Systems Engineering (TdSE), 8. - 10. Nov. 2017, 2017.
2017 | Conference Paper | LibreCat-ID: 22861
Mechatronic Modularization of Intelligent Technical Systems
A. Lipsmeier, T. Westermann, H. Anacker, R. Dumitrescu, in: 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017, 2017.
LibreCat
A. Lipsmeier, T. Westermann, H. Anacker, R. Dumitrescu, in: 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017, 2017.
2017 | Conference Paper | LibreCat-ID: 22863
Kundenorientierte Entwicklung von Intelligenten Technischen Systemen im Maschinenbau
A. Lipsmeier, H. Anacker, R. Dumitrescu, A. Kühn, in: Stuttgarter Symposium Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017, 2017.
LibreCat
A. Lipsmeier, H. Anacker, R. Dumitrescu, A. Kühn, in: Stuttgarter Symposium Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017, 2017.
2017 | Conference Paper | LibreCat-ID: 22864
Integrated technology transfer concept for fostering innovation in SMEs
C. Fechtelpeter, A. Kühn, R. Dumitrescu, P. Ebbesmeyer, in: M. Hörlesberger, B. Hribernik (Eds.), Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT, 2017.
LibreCat
C. Fechtelpeter, A. Kühn, R. Dumitrescu, P. Ebbesmeyer, in: M. Hörlesberger, B. Hribernik (Eds.), Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT, 2017.
2017 | Conference Paper | LibreCat-ID: 22865
Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft
M. Drewel, J. Gausemeier, A. Kluge, C. Pierenkemper, in: E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Eds.), Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369, 2017, pp. 53–66.
LibreCat
M. Drewel, J. Gausemeier, A. Kluge, C. Pierenkemper, in: E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Eds.), Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369, 2017, pp. 53–66.
2017 | Conference Paper | LibreCat-ID: 22866
Implementation planning and transfer of technology induced scenarios of digitized work
C. Fechtelpeter, M. Bansmann, R. Dumitrescu, H. Anacker, in: Presentation and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017, 2017.
LibreCat
C. Fechtelpeter, M. Bansmann, R. Dumitrescu, H. Anacker, in: Presentation and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017, 2017.
2017 | Conference Paper | LibreCat-ID: 22867
Reifegradmodell für die Planung von Cyber-Physical Systems
T. Westermann, H. Anacker, R. Dumitrescu, in: E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Eds.), Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369, 2017.
LibreCat
T. Westermann, H. Anacker, R. Dumitrescu, in: E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Eds.), Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369, 2017.
2017 | Conference Paper | LibreCat-ID: 22868
Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau
F. Reinhart, A. Kühn, R. Dumitrescu, in: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Heinz Nixdorf MuseumsForum, 2017, pp. 321–334.
LibreCat
F. Reinhart, A. Kühn, R. Dumitrescu, in: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Heinz Nixdorf MuseumsForum, 2017, pp. 321–334.
2017 | Conference Paper | LibreCat-ID: 22869
Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation - Eine Fallstudie zur Sensorauslegung in der Raumfahrt
J. Roßmann, M. Schluse, M. Rast, M. Hoppen, L. Atorf, R. Dumitrescu, C. Bremer, M. Hillebrand, O. Stern, P. Schmitter, in: Wissenschaftsforum Intelligente Technische Systeme (WinTeSys), Paderborn, 2017.
LibreCat
J. Roßmann, M. Schluse, M. Rast, M. Hoppen, L. Atorf, R. Dumitrescu, C. Bremer, M. Hillebrand, O. Stern, P. Schmitter, in: Wissenschaftsforum Intelligente Technische Systeme (WinTeSys), Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 21938
Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias
F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, F. Noé, The Journal of Chemical Physics (2017).
LibreCat
| DOI
F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, F. Noé, The Journal of Chemical Physics (2017).
2017 | Journal Article | LibreCat-ID: 21939
Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations
H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, F. Noé, The Journal of Chemical Physics (2017).
LibreCat
| DOI
H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, F. Noé, The Journal of Chemical Physics (2017).
2017 | Journal Article | LibreCat-ID: 90
Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.
LibreCat
| Files available
| DOI
T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.
2017 | Conference (Editor) | LibreCat-ID: 7749
Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science
J. Carmona , G. Engels, A. Kumar, eds., Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science, Springer, 2017.
LibreCat
J. Carmona , G. Engels, A. Kumar, eds., Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science, Springer, 2017.
2017 | Conference (Editor) | LibreCat-ID: 7750
Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297
J. Carmona , G. Engels, A. Kumar, eds., Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297, Springer, 2017.
LibreCat
J. Carmona , G. Engels, A. Kumar, eds., Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297, Springer, 2017.
2017 | Book (Editor) | LibreCat-ID: 7751
Message from the IoT-ASAP Chairs
R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds., Message from the IoT-ASAP Chairs, 2017.
LibreCat
| DOI
R. Spalazzese, M. Christin Platenius, S. Becker, P. Persson, G. Engels, eds., Message from the IoT-ASAP Chairs, 2017.
2017 | Conference (Editor) | LibreCat-ID: 7754
Mensch und Computer 2017 - Usability Professionals. Tagungsband
S. Hess, H.G. Fischer, eds., Mensch Und Computer 2017 - Usability Professionals. Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Regensburg, 2017.
LibreCat
S. Hess, H.G. Fischer, eds., Mensch Und Computer 2017 - Usability Professionals. Tagungsband, Gesellschaft für Informatik e.V. und German UPA e.V., Regensburg, 2017.
2017 | Conference Paper | LibreCat-ID: 7755
Towards systematic spreadsheet construction processes
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) (Ed.), 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), IEEE, 2017.
LibreCat
| DOI
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) (Ed.), 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), IEEE, 2017.
2017 | Conference Paper | LibreCat-ID: 7767 |
Sinnkonstruktion beim Erkunden von Mustern und Strukturen
J. Schumacher, in: U. Kortenkamp, A. Kuzle (Eds.), Beiträge zum Mathematikunterricht 2017, WTM-Verlag, Münster, 2017.
LibreCat
| Download (ext.)
J. Schumacher, in: U. Kortenkamp, A. Kuzle (Eds.), Beiträge zum Mathematikunterricht 2017, WTM-Verlag, Münster, 2017.
2017 | Conference Paper | LibreCat-ID: 78
On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture
B. Jazayeri, S. Schwichtenberg, in: Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, Gothenburg, Sweden, 2017, pp. 120--127.
LibreCat
| Files available
| DOI
B. Jazayeri, S. Schwichtenberg, in: Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, Gothenburg, Sweden, 2017, pp. 120--127.
2017 | Conference Paper | LibreCat-ID: 79
Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), Springer, 2017, pp. 207–222.
LibreCat
| Files available
| DOI
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), Springer, 2017, pp. 207–222.
2017 | Conference Paper | LibreCat-ID: 8073
Concept-Based Engineering of Situation-Specific Migration Methods
M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Software Engineering 2017, 2017, pp. 65–66.
LibreCat
M. Grieger, M. Fazal-Baqaie, G. Engels, M. Klenke, in: Software Engineering 2017, 2017, pp. 65–66.
2017 | Mastersthesis | LibreCat-ID: 81
MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained
L. Luo, MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained, Universität Paderborn, 2017.
LibreCat
L. Luo, MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 82
Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.
LibreCat
| Files available
| DOI
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.
2017 | Conference Paper | LibreCat-ID: 8225
Systematic spreadsheet construction processes
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, IEEE, 2017, pp. 123–127.
LibreCat
| DOI
J. Mendes, J. Cunha, F. Duarte, G. Engels, J. Saraiva, S. Sauer, in: Proceedings of the 39th International Conference on Software Engineering, {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, IEEE, 2017, pp. 123–127.
2017 | Bachelorsthesis | LibreCat-ID: 5694
Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies
N.N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies, Universität Paderborn, 2017.
LibreCat
N.N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 5695
On the Necessity of an Architecture Framework for On-The-Fly Computing
B. Jazayeri, S. Schwichtenberg, in: Proceedings of Softwaretechnik-Trends Workshops, Gesellschaft für Informatik eV, Fachgruppe PARS, Bad Honnef, Germany, 2017.
LibreCat
| Files available
B. Jazayeri, S. Schwichtenberg, in: Proceedings of Softwaretechnik-Trends Workshops, Gesellschaft für Informatik eV, Fachgruppe PARS, Bad Honnef, Germany, 2017.
2017 | Conference Abstract | LibreCat-ID: 5722
jPL: A Java-based Software Framework for Preference Learning
P. Gupta, A. Hetzer, T. Tornede, S. Gottschalk, A. Kornelsen, S. Osterbrink, K. Pfannschmidt, E. Hüllermeier, in: 2017.
LibreCat
P. Gupta, A. Hetzer, T. Tornede, S. Gottschalk, A. Kornelsen, S. Osterbrink, K. Pfannschmidt, E. Hüllermeier, in: 2017.
2017 | Mastersthesis | LibreCat-ID: 5724
Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction
A. Hetzer, T. Tornede, Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction, Universität Paderborn, 2017.
LibreCat
A. Hetzer, T. Tornede, Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 5740
Adapt-UI: an IDE supporting model-driven development of self-adaptive UIs
E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017, 2017, pp. 99–104.
LibreCat
| DOI
E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017, 2017, pp. 99–104.