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.
5711 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 | 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 | Conference Paper | LibreCat-ID: 3804
Modeling Deliberative Argumentation Strategies on Wikipedia
K. Al Khatib, H. Wachsmuth, K. Lang, J. Herpel, M. Hagen, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 2545–2555.
LibreCat
| Download (ext.)
K. Al Khatib, H. Wachsmuth, K. Lang, J. Herpel, M. Hagen, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 2545–2555.
2018 | Conference Paper | LibreCat-ID: 3806
Before Name-Calling: Dynamics and Triggers of Ad Hominem Fallacies in Web Argumentation
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers), 2018, pp. 386–396.
LibreCat
| Download (ext.)
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers), 2018, pp. 386–396.
2018 | Conference Paper | LibreCat-ID: 3807
SemEval-2018 Task 12: The Argument Reasoning Comprehension Task
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of The 12th International Workshop on Semantic Evaluation, 2018, pp. 763–772.
LibreCat
| Download (ext.)
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of The 12th International Workshop on Semantic Evaluation, 2018, pp. 763–772.
2018 | Conference Paper | LibreCat-ID: 3821
Retrieval of the Best Counterargument without Prior Topic Knowledge
H. Wachsmuth, S. Syed, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 241–251.
LibreCat
| Download (ext.)
H. Wachsmuth, S. Syed, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 241–251.
2018 | Bachelorsthesis | LibreCat-ID: 3851
Congestion Games mit gewichteten Strategien
S. Koop, Congestion Games mit gewichteten Strategien, Universität Paderborn, 2018.
LibreCat
S. Koop, Congestion Games mit gewichteten Strategien, Universität Paderborn, 2018.
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: 2965
Cloud Architectures for Searchable Encryption
J. Blömer, N. Löken, in: Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, ACM, New York, NY, USA, n.d., pp. 25:1--25:10.
LibreCat
| Files available
| DOI
J. Blömer, N. Löken, in: Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, ACM, New York, NY, USA, n.d., pp. 25:1--25:10.
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.
2018 | Journal Article | LibreCat-ID: 3152 |
JASPER: Joint Optimization of Scaling, Placement, and Routing of Virtual Network Services
S. Dräxler, H. Karl, Z.A. Mann, IEEE Transactions on Network and Service Management (2018).
LibreCat
| Files available
| DOI
| Download (ext.)
S. Dräxler, H. Karl, Z.A. Mann, IEEE Transactions on Network and Service Management (2018).
2018 | Journal Article | LibreCat-ID: 3153
Causal Linearizability: Compositionality for Partially Ordered Executions
S. Doherty, J. Derrick, B. Dongol, H. Wehrheim, CoRR (2018).
LibreCat
S. Doherty, J. Derrick, B. Dongol, H. Wehrheim, CoRR (2018).
2018 | Preprint | LibreCat-ID: 2711
Do Android Taint Analysis Tools Keep their Promises?
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
LibreCat
| Files available
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
2018 | Dissertation | LibreCat-ID: 1138
Distributed Algorithms for Overlay Networks and Programmable Matter
R. Gmyr, Distributed Algorithms for Overlay Networks and Programmable Matter, Universität Paderborn, 2018.
LibreCat
| DOI
R. Gmyr, Distributed Algorithms for Overlay Networks and Programmable Matter, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 1163
Self-Stabilizing Supervised Publish-Subscribe Systems
M. Feldmann, C. Kolb, C. Scheideler, T.F. Strothmann, in: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, C. Kolb, C. Scheideler, T.F. Strothmann, in: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018.
2018 | Conference Paper | LibreCat-ID: 1164
Skueue: A Scalable and Sequentially Consistent Distributed Queue
M. Feldmann, C. Scheideler, A. Setzer, in: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, C. Scheideler, A. Setzer, in: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018.
2018 | Preprint | LibreCat-ID: 1165
Making the Case for Proof-carrying Approximate Circuits
L.M. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018).
LibreCat
| Files available
L.M. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018).
2018 | Conference Paper | LibreCat-ID: 2109 |
Ensembles of Evolved Nested Dichotomies for Classification
M.D. Wever, F. Mohr, E. Hüllermeier, in: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018, ACM, Kyoto, Japan, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, in: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018, ACM, Kyoto, Japan, 2018.
2018 | Conference Paper | LibreCat-ID: 17345
IoT-ASAP 2018: Message from the Chairs
R. Spalazzese, M.C. Platenius, S. Becker, G. Engels, in: 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), 2018.
LibreCat
| DOI
R. Spalazzese, M.C. Platenius, S. Becker, G. Engels, in: 2018 IEEE International Conference on Software Architecture Companion (ICSA-C), 2018.
2018 | Journal Article | LibreCat-ID: 17394
Smart Services – Konzept einer neuen Marktleistung
M. Frank, C. Koldewey, M. Rabe, R. Dumitrescu, J. Gausemeier, A. Kühn, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2018) 306–311.
LibreCat
| DOI
M. Frank, C. Koldewey, M. Rabe, R. Dumitrescu, J. Gausemeier, A. Kühn, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2018) 306–311.
2018 | Conference Paper | LibreCat-ID: 17651
Removing Undesirable Flows by Edge Deletion
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: D. Kim, R.N. Uma, A. Zelikovsky (Eds.), Combinatorial Optimization and Applications, Springer International Publishing, Cham, 2018, pp. 217–232.
LibreCat
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: D. Kim, R.N. Uma, A. Zelikovsky (Eds.), Combinatorial Optimization and Applications, Springer International Publishing, Cham, 2018, pp. 217–232.
2018 | Journal Article | LibreCat-ID: 17666
Measuring the efficiency of SDN mitigations against attacks on computer infrastructures
R. Koning, B. de Graaff, G. Polevoy, R. Meijer, C. de Laat, P. Grosso, Future Generation Computer Systems (2018).
LibreCat
| DOI
R. Koning, B. de Graaff, G. Polevoy, R. Meijer, C. de Laat, P. Grosso, Future Generation Computer Systems (2018).
2018 | Preprint | LibreCat-ID: 17713 |
Automated Multi-Label Classification based on ML-Plan
M.D. Wever, F. Mohr, E. Hüllermeier, (2018).
LibreCat
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, (2018).
2018 | Preprint | LibreCat-ID: 17714 |
Automated machine learning service composition
F. Mohr, M.D. Wever, E. Hüllermeier, (2018).
LibreCat
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, (2018).
2018 | Conference Paper | LibreCat-ID: 1910
Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms
S. Schwichtenberg, I. Jovanovikj, C. Gerth, G. Engels, in: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume, n.d.
LibreCat
S. Schwichtenberg, I. Jovanovikj, C. Gerth, G. Engels, in: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume, n.d.
2018 | Conference Paper | LibreCat-ID: 20530
Explainable Static Analysis
E. Bodden, L. Nguyen Quang Do, in: Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–208.
LibreCat
| Download (ext.)
E. Bodden, L. Nguyen Quang Do, in: Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–208.
2018 | Journal Article | LibreCat-ID: 20543
Debugging Static Analysis
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
2018 | Conference (Editor) | LibreCat-ID: 20544
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany
M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer, eds., Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany, Gesellschaft für Informatik, 2018.
LibreCat
M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer, eds., Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany, Gesellschaft für Informatik, 2018.
2018 | Conference (Editor) | LibreCat-ID: 20545
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018
F. Tip, E. Bodden, eds., Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, ACM, 2018.
LibreCat
F. Tip, E. Bodden, eds., Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, ACM, 2018.
2018 | Conference Paper | LibreCat-ID: 20546
Model Checking the Information Flow Security of Real-Time Systems
C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.), Engineering Secure Software and Systems, Springer International Publishing, Cham, 2018, pp. 27–43.
LibreCat
| Download (ext.)
C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.), Engineering Secure Software and Systems, Springer International Publishing, Cham, 2018, pp. 27–43.
2018 | Conference Paper | LibreCat-ID: 20547
Gamifying Static Analysis
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
LibreCat
| DOI
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
2018 | Conference Paper | LibreCat-ID: 20548
The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)
E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.
LibreCat
| DOI
| Download (ext.)
E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.
2018 | Conference Paper | LibreCat-ID: 20549
Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes
J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software and System Processes (ICSSP), 2018.
LibreCat
| Files available
J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software and System Processes (ICSSP), 2018.
2018 | Conference Paper | LibreCat-ID: 20550
Self-adaptive Static Analysis
E. Bodden, in: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ACM, New York, NY, USA, 2018, pp. 45–48.
LibreCat
| Files available
| DOI
E. Bodden, in: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ACM, New York, NY, USA, 2018, pp. 45–48.
2018 | Conference Paper | LibreCat-ID: 20551
VISUFLOW, a Debugging Environment for Static Analyses
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, in: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.
LibreCat
| Download (ext.)
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, in: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.
2018 | Dissertation | LibreCat-ID: 20779
Safety Requirements Engineering for Early SIL Tailoring
M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
LibreCat
| DOI
M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 20781
Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems
C. Gerking, D. Schubert, in: European Conference on Software Architecture (ECSA 2018), Springer, 2018, pp. 147–155.
LibreCat
| DOI
C. Gerking, D. Schubert, in: European Conference on Software Architecture (ECSA 2018), Springer, 2018, pp. 147–155.
2018 | Conference Paper | LibreCat-ID: 20784
Traceable Threat Modeling for Safety-critical Systems
J. Geismann, in: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , IEEE, 2018, pp. 41–42.
LibreCat
| DOI
J. Geismann, in: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , IEEE, 2018, pp. 41–42.
2018 | Conference Paper | LibreCat-ID: 20785
Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems
J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Model-Driven Engineering and Software Development, Springer International Publishing, Cham, 2018, pp. 72–93.
LibreCat
| DOI
J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Model-Driven Engineering and Software Development, Springer International Publishing, Cham, 2018, pp. 72–93.
2018 | Dissertation | LibreCat-ID: 20789
A Model-driven Software Construction Approach for Cyber-physical Systems
U. Pohlmann, A Model-Driven Software Construction Approach for Cyber-Physical Systems, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018.
LibreCat
U. Pohlmann, A Model-Driven Software Construction Approach for Cyber-Physical Systems, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018.
2018 | Journal Article | LibreCat-ID: 20839
Kritische Entgegnung auf die Studie "Zur Relevanz informatischer Bildung in der Schule für den Erwerb computer- bzw. informationsbezogener Kompetenzen"
T. Brinda, I. Diethelm, L. Hellmig, J. Magenheim, R. Romeike, U. Schroeder, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 33 (2018) 1–10.
LibreCat
| DOI
T. Brinda, I. Diethelm, L. Hellmig, J. Magenheim, R. Romeike, U. Schroeder, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 33 (2018) 1–10.
2018 | Journal Article | LibreCat-ID: 1796
On the runtime of universal coating for programmable matter
J. J. Daymude, Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, Natural Computing (2018) 81--96.
LibreCat
| DOI
J. J. Daymude, Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, Natural Computing (2018) 81--96.
2018 | Bachelorsthesis | LibreCat-ID: 18030
Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten
N. N., Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten, Universität Paderborn, 2018.
LibreCat
N. N., Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten, Universität Paderborn, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 18031
Gathering Strategien für mobile Roboterschwärme im Gitternetz
N. N., Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz, 2018.
LibreCat
N. N., Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 18032
Decontaminating Planar Regions with Finite Automaton Robots and Tiles
N. N., Decontaminating Planar Regions with Finite Automaton Robots and Tiles, 2018.
LibreCat
N. N., Decontaminating Planar Regions with Finite Automaton Robots and Tiles, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 18033
Load-Balanced Routing in Hybriden Kommunikationsnetzwerken
R. Wulfes, Load-Balanced Routing in Hybriden Kommunikationsnetzwerken, Universität Paderborn, 2018.
LibreCat
R. Wulfes, Load-Balanced Routing in Hybriden Kommunikationsnetzwerken, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 22750
Business Model Portfolio Planning for Smart Services
C. Koldewey, J. Echterfeld, M. Reilender, J. Gausemeier, in: International Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the ISPIM Connects, 2018.
LibreCat
C. Koldewey, J. Echterfeld, M. Reilender, J. Gausemeier, in: International Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the ISPIM Connects, 2018.
2018 | Conference Paper | LibreCat-ID: 22751
Pattern based development of digital platforms
M. Drewel, J. Gausemeier, C. Koldewey, L. Özcan, in: International Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the 2018 ISPIM Connects, ISPIM Connects, 2018.
LibreCat
M. Drewel, J. Gausemeier, C. Koldewey, L. Özcan, in: International Society for Professional Innovation Management (ISPIM) (Ed.), Proceedings of the 2018 ISPIM Connects, ISPIM Connects, 2018.
2018 | Conference Paper | LibreCat-ID: 22752
Datenbrillen im Kontext Industrie 4.0 – Bewertung von Anwendungsszenarien von Augmented Reality auf Basis einer Technologie-Roadmap
D. Röltgen, M. Bansmann, D. Nickchen, F. Wortmann, R. Dumitrescu, in: J. Gausemeier (Ed.), 14. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2018.
LibreCat
D. Röltgen, M. Bansmann, D. Nickchen, F. Wortmann, R. Dumitrescu, in: J. Gausemeier (Ed.), 14. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 22756
Data Map - Method for the Specification of Data Flows
R. Joppen, S. von Enzberg, A. Kühn, R. Dumitrescu, in: CIRP ICME, Neapel, 18. - 20. Jul. 2018, 2018.
LibreCat
R. Joppen, S. von Enzberg, A. Kühn, R. Dumitrescu, in: CIRP ICME, Neapel, 18. - 20. Jul. 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22757
Method for Collecting Data in the Assesment of Investments
R. Joppen, A. Kühn, R. Dumitrescu, D. Hupach, in: CIRP ICME, Neapel, 18. - 20. Jul. 2018, 2018.
LibreCat
R. Joppen, A. Kühn, R. Dumitrescu, D. Hupach, in: CIRP ICME, Neapel, 18. - 20. Jul. 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22758
Requirements Profiles as a Basis for Ideation in Product Generation Planning
A. Albers, J. Tekaat, A. Kühn, R. Dumitrescu, in: R&D Management Conference 2018, 30. Jun. - 4. Jul. 2018, 2018.
LibreCat
A. Albers, J. Tekaat, A. Kühn, R. Dumitrescu, in: R&D Management Conference 2018, 30. Jun. - 4. Jul. 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22759
Internet of Things Canvas for Ideation in Model-Based Product Generation Planning
A. Albers, R. Bernijazov, L. Kaiser, R. Dumitrescu, in: IEEE - 13th System of Systems Engineering Conference, 19. - 22. Jun. 2018, 2018.
LibreCat
A. Albers, R. Bernijazov, L. Kaiser, R. Dumitrescu, in: IEEE - 13th System of Systems Engineering Conference, 19. - 22. Jun. 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22760
Feature model for the specification of industrial indoor location-based services (I²LBS)
T. Falkowski, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: SysInt Conference, 19. - 20. Jun. 2018, 2018.
LibreCat
T. Falkowski, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: SysInt Conference, 19. - 20. Jun. 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22776
Demand-orientated and sociotechnical solution patterns for digital transformation in SMEs
D. Hobscheidt, A. Lipsmeier, R. Dumitrescu, in: International Society for Professional Innovation Management (ISPIM) (Ed.), ISPIM Conference - The Name of the Game, 17. - 21. Jun. 2018, 2018.
LibreCat
D. Hobscheidt, A. Lipsmeier, R. Dumitrescu, in: International Society for Professional Innovation Management (ISPIM) (Ed.), ISPIM Conference - The Name of the Game, 17. - 21. Jun. 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22777
Transfering Technology induced scenarios of digitized work
M. Bansmann, C. Fechtelpeter, H. Anacker, R. Dumitrescu, in: XXIX ISPIM Innovation Conference 2018, 17. - 20. Jun. 2018, 2018.
LibreCat
M. Bansmann, C. Fechtelpeter, H. Anacker, R. Dumitrescu, in: XXIX ISPIM Innovation Conference 2018, 17. - 20. Jun. 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22778
Planning of scalable Smart Services
C. Koldewey, M. Frank, J. Gausemeier, in: ISPIM Innovation Conference (Ed.), Proceedings of the 2018 ISPIM Innovation Conference , Jun. 2018 International Society for Professional Innovation Management (ISPIM), 2018.
LibreCat
C. Koldewey, M. Frank, J. Gausemeier, in: ISPIM Innovation Conference (Ed.), Proceedings of the 2018 ISPIM Innovation Conference , Jun. 2018 International Society for Professional Innovation Management (ISPIM), 2018.
2018 | Conference Paper | LibreCat-ID: 22779
Building blocks for planning and implementation of smart services based on existing products
T. Mittag, M. Rabe, T. Gradert, A. Kühn, R. Dumitrescu, in: CIRP IPS2, Linköping, 29. - 31. Mai 2018, 2018.
LibreCat
T. Mittag, M. Rabe, T. Gradert, A. Kühn, R. Dumitrescu, in: CIRP IPS2, Linköping, 29. - 31. Mai 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22780
Analytics Canvas – A Framework for the Design and Specification of Data Analytics Projects
A. Kühn, R. Joppen, F. Reinhart, D. Röltgen, S. von Enzberg, R. Dumitrescu, in: 28th CIRP Design Conference 2018, Nantes, 23. - 25. Mai 2018, 2018.
LibreCat
A. Kühn, R. Joppen, F. Reinhart, D. Röltgen, S. von Enzberg, R. Dumitrescu, in: 28th CIRP Design Conference 2018, Nantes, 23. - 25. Mai 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22781
Maturity Model-Based Planning of Cyber-Physical Systems in the Machinery and Plant Engineering Industry
T. Westermann, R. Dumitrescu, in: DESIGN Conference 2018, 21. - 24. Mai 2018, 2018.
LibreCat
T. Westermann, R. Dumitrescu, in: DESIGN Conference 2018, 21. - 24. Mai 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22782
Planning of Smart Services based on a Reference Architecture
M. Rabe, L. Asmar, A. Kühn, R. Dumitrescu, in: International Design Conference 2018, Dubrovnik, Kroatien , 21. - 24. Mai 2018, 2018.
LibreCat
M. Rabe, L. Asmar, A. Kühn, R. Dumitrescu, in: International Design Conference 2018, Dubrovnik, Kroatien , 21. - 24. Mai 2018, 2018.
2018 | Newspaper Article | LibreCat-ID: 22783
Smart Services - Konzept einer neuen Marktleistung
M. Frank, C. Koldewey, M. Rabe, R. Dumitrescu, J. Gausemeier, A. Kühn, ZWF Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 113(5) (2018) 306–311.
LibreCat
M. Frank, C. Koldewey, M. Rabe, R. Dumitrescu, J. Gausemeier, A. Kühn, ZWF Zeitschrift Für Wirtschaftlichen Fabrikbetrieb 113(5) (2018) 306–311.
2018 | Conference Paper | LibreCat-ID: 22784
Zukunftsorientierte Leistungssteigerung von Unternehmen durch Industrie 4.0
C. Pierenkemper, M. Drewel, J. Gausemeier, in: H. Smajic (Ed.), Tagungsband AALE 2018 - Das Forum Für Fachleute Der Automatisierungstechnik Aus Hochschulen Und Wirtschaft, 15. Konferenz Für Angewandte Automatisierungstechnik in Lehre Und Entwicklung (AALE), VDE-Verlag, 2018, pp. 19–27.
LibreCat
C. Pierenkemper, M. Drewel, J. Gausemeier, in: H. Smajic (Ed.), Tagungsband AALE 2018 - Das Forum Für Fachleute Der Automatisierungstechnik Aus Hochschulen Und Wirtschaft, 15. Konferenz Für Angewandte Automatisierungstechnik in Lehre Und Entwicklung (AALE), VDE-Verlag, 2018, pp. 19–27.
2018 | Conference Paper | LibreCat-ID: 22785
Morphological business model analysis to derive the dominant industry logic
N. Niewöhner, A. Albers, M. Rabe, R. Dumitrescu, in: ISPIM Innovation Forum (Ed.), Proceedings of the ISPIM Innovation Forum, Mrz. 2018 International Society for Professional Innovation Management (ISPIM), 2018.
LibreCat
N. Niewöhner, A. Albers, M. Rabe, R. Dumitrescu, in: ISPIM Innovation Forum (Ed.), Proceedings of the ISPIM Innovation Forum, Mrz. 2018 International Society for Professional Innovation Management (ISPIM), 2018.
2018 | Conference Paper | LibreCat-ID: 22786
A practical Framework for the Optimization of Production Management Processes
R. Joppen, S. von Enzberg, A. Kühn, R. Dumitrescu, in: The 16th Global Conference on Sustainable Manufacturing , 2018.
LibreCat
R. Joppen, S. von Enzberg, A. Kühn, R. Dumitrescu, in: The 16th Global Conference on Sustainable Manufacturing , 2018.
2018 | Conference Paper | LibreCat-ID: 22787
Supporting the planning phase of SME-tailored technology transfer projects
C. Fechtelpeter, R. Dumitrescu, A. Kühn, in: IAMOT (Ed.), IAMOT 2018 - 27th International Association for Management of Technology Conference, 2018.
LibreCat
C. Fechtelpeter, R. Dumitrescu, A. Kühn, in: IAMOT (Ed.), IAMOT 2018 - 27th International Association for Management of Technology Conference, 2018.
2018 | Newspaper Article | LibreCat-ID: 22788
Entwicklung intelligenter technischer Systeme
R. Dumitrescu, A. Kühn, F. Thielemann, D. Steffen, ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb 113(6) (2018) 420–425.
LibreCat
R. Dumitrescu, A. Kühn, F. Thielemann, D. Steffen, ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb 113(6) (2018) 420–425.
2018 | Newspaper Article | LibreCat-ID: 22789
Leistungssteigerung durch Industrie 4.0 für kleine und mittlere Unternehmen
O. Knospe, M. Drewel, T. Mittag, C. Pierenkemper, D. Hobscheidt, ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb 113((1–2) (2018) 83–87.
LibreCat
O. Knospe, M. Drewel, T. Mittag, C. Pierenkemper, D. Hobscheidt, ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb 113((1–2) (2018) 83–87.
2018 | Conference Paper | LibreCat-ID: 22790
Toward A Design Approach For Industrial Indoor Location-Based Services (I²LBS)
T. Falkowski, M. Günther, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: DESIGN Conference 2018, 2018.
LibreCat
T. Falkowski, M. Günther, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: DESIGN Conference 2018, 2018.
2018 | Conference Paper | LibreCat-ID: 22791
Framework for the agile development of innovative Product-Service-Systems for existing physical rehabilitation systems
L. Asmar, M. Rabe, C.Y. Low, J. Yee, A. Kühn, R. Dumitrescu, in: 4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production, 2018.
LibreCat
L. Asmar, M. Rabe, C.Y. Low, J. Yee, A. Kühn, R. Dumitrescu, in: 4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production, 2018.
2018 | Conference Paper | LibreCat-ID: 22792
Specification technique for augmented reality based product service systems
D. Röltgen, F. Wortmann, R. Dumitrescu, in: INTERNATIONAL DESIGN CONFERENCE - DESIGN 2018, 2018.
LibreCat
D. Röltgen, F. Wortmann, R. Dumitrescu, in: INTERNATIONAL DESIGN CONFERENCE - DESIGN 2018, 2018.
2018 | Book Chapter | LibreCat-ID: 22796
Eingesetzte wissenschaftliche Methoden
F. Kummert, A. Albers, C. Bremer, S. Büttner, M. Dellnitz, R. Dumitrescu, M. Gräler, V. Just, H. Mucha, S. Peitz, C. Röcker, A. Trächtler, C. Tschirner, S. Wang, J. Wittrowski, in: A. Trächtler (Ed.), Ressourceneffiziente Selbstoptimierende Wäscherei – Ergebnisse des ReSerW-Projekts, Springer, Paderborn, 2018.
LibreCat
F. Kummert, A. Albers, C. Bremer, S. Büttner, M. Dellnitz, R. Dumitrescu, M. Gräler, V. Just, H. Mucha, S. Peitz, C. Röcker, A. Trächtler, C. Tschirner, S. Wang, J. Wittrowski, in: A. Trächtler (Ed.), Ressourceneffiziente Selbstoptimierende Wäscherei – Ergebnisse des ReSerW-Projekts, Springer, Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 22797
Systematic Development of Smart Factory using CONSENS
U. Mohammad, C.Y. Low, L. Asmar, R.A. Rahman, M. Rabe, R. Dumitrescu, N.A.C. Zakaria, in: 4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production, 2018.
LibreCat
U. Mohammad, C.Y. Low, L. Asmar, R.A. Rahman, M. Rabe, R. Dumitrescu, N.A.C. Zakaria, in: 4th International Conference on System-Integrated Intelligence: Intelligent, Flexible and Connected Systems in Products and Production, 2018.
2018 | Conference Paper | LibreCat-ID: 22801
PGE-Produktgenerationsentwicklung und Zukunftsvorausschau: Eine systematische Betrachtung zur Ermittlung der Zusammenhänge
A. Albers, R. Dumitrescu, F. Marthaler, A. Albers, D. Kühfuss, M. Strauch, A. Siebe, N. Bursac, in: J. Gausemeier, Verlagsschriftenreihe des Heinz Nixdorf Instituts (Eds.), 14. Symposium für Vorausschau und Technologieplanung, Paderborn, 2018.
LibreCat
A. Albers, R. Dumitrescu, F. Marthaler, A. Albers, D. Kühfuss, M. Strauch, A. Siebe, N. Bursac, in: J. Gausemeier, Verlagsschriftenreihe des Heinz Nixdorf Instituts (Eds.), 14. Symposium für Vorausschau und Technologieplanung, Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 2332 |
Digitalisierungspotenziale in Geschäftsprozessen effizient und effektiv erkennen (Effective and Efficient Identification of Digitalization Potentials in Business Processes)
F. Rittmeier, G. Engels, A. Teetz, in: Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018., CEUR-WS.org, 2018, pp. 215--221.
LibreCat
| Download (ext.)
F. Rittmeier, G. Engels, A. Teetz, in: Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018., CEUR-WS.org, 2018, pp. 215--221.
2018 | Bachelorsthesis | LibreCat-ID: 5693
Ranking of Classification Algorithms in AutoML
H. Graf, Ranking of Classification Algorithms in AutoML, Universität Paderborn, 2018.
LibreCat
H. Graf, Ranking of Classification Algorithms in AutoML, Universität Paderborn, 2018.
2018 | Journal Article | LibreCat-ID: 5735
Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain
A. Anjorin, E. Yigitbas, E. Leblebici, A. Schürr, M. Lauder, M. Witte, Programming Journal 2 (2018) 7.
LibreCat
| DOI
A. Anjorin, E. Yigitbas, E. Leblebici, A. Schürr, M. Lauder, M. Witte, Programming Journal 2 (2018) 7.
2018 | Journal Article | LibreCat-ID: 5736
Test Case Migration: A Reference Process Model and its Instantiation in an Industrial Context
I. Jovanovikj, E. Yigitbas, S. Sauer, Joint Proceedings of the Workshops at Modellierung 2018 Co-Located with Modellierung 2018, Braunschweig, Germany, February 21, 2018. (2018) 153–162.
LibreCat
I. Jovanovikj, E. Yigitbas, S. Sauer, Joint Proceedings of the Workshops at Modellierung 2018 Co-Located with Modellierung 2018, Braunschweig, Germany, February 21, 2018. (2018) 153–162.
2018 | Conference Paper | LibreCat-ID: 5737
Bidirectional Method Patterns for Language Editor Migration
E. Yigitbas, A. Anjorin, E. Leblebici, M. Grieger, in: Modelling Foundations and Applications - 14th European Conference, {ECMFA} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 26-28, 2018, Proceedings, 2018, pp. 97–114.
LibreCat
| DOI
E. Yigitbas, A. Anjorin, E. Leblebici, M. Grieger, in: Modelling Foundations and Applications - 14th European Conference, {ECMFA} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 26-28, 2018, Proceedings, 2018, pp. 97–114.
2018 | Conference Paper | LibreCat-ID: 5738
On the development of consistent user interfaces (extended abstract)
A. Anjorin, E. Yigitbas, H. Kaindl, R. Popp, in: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018, 2018, pp. 18–20.
LibreCat
| DOI
A. Anjorin, E. Yigitbas, H. Kaindl, R. Popp, in: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018, 2018, pp. 18–20.
2018 | Journal Article | LibreCat-ID: 5757
Who Guards the Guards? On the Validation of Test Case Migration
I. Jovanovikj, E. Yigitbas, A. Anjorin, S. Sauer, Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF) (2018).
LibreCat
I. Jovanovikj, E. Yigitbas, A. Anjorin, S. Sauer, Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF) (2018).
2018 | Journal Article | LibreCat-ID: 5758
Model-based UI Modernization: From Legacy UIs to Self-adaptive UIs
I. Jovanovikj, E. Yigitbas, S. Sauer, Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF) (2018).
LibreCat
I. Jovanovikj, E. Yigitbas, S. Sauer, Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF) (2018).
2018 | Conference Paper | LibreCat-ID: 5764
Forming Tile Shapes with Simple Robots
R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler, T.F. Strothmann, in: Proceedings of the 24th International Conference on DNA Computing and Molecular Programming, Springer International Publishing, 2018, pp. 122–138.
LibreCat
| DOI
R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler, T.F. Strothmann, in: Proceedings of the 24th International Conference on DNA Computing and Molecular Programming, Springer International Publishing, 2018, pp. 122–138.
2018 | Conference Paper | LibreCat-ID: 5774
Information Flow Certificates
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
LibreCat
| Files available
| DOI
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
2018 | Conference Paper | LibreCat-ID: 5796
Adapt Cases 4 BPM - A Modeling Framework for Process Flexibility in IIoT
G. Engels, T.F. Strothmann, A. Teetz, in: 2018 IEEE 22nd International Enterprise Distributed Object Computing Workshop (EDOCW), IEEE, 2018.
LibreCat
| DOI
G. Engels, T.F. Strothmann, A. Teetz, in: 2018 IEEE 22nd International Enterprise Distributed Object Computing Workshop (EDOCW), IEEE, 2018.
2018 | Conference Paper | LibreCat-ID: 5816
Tolerant consistency management in model-driven engineering
N. Weidmann, in: Ö. Babur, D. Strüber, S. Abrahao, L. Burgueno, M. Gogolla, J. Greenyer, S. Kokaly, D. Kolovos, T. Mayerhofer, M. Zahedi (Eds.), Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS ’18, ACM Press, 2018.
LibreCat
| DOI
N. Weidmann, in: Ö. Babur, D. Strüber, S. Abrahao, L. Burgueno, M. Gogolla, J. Greenyer, S. Kokaly, D. Kolovos, T. Mayerhofer, M. Zahedi (Eds.), Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS ’18, ACM Press, 2018.
2018 | Working Paper | LibreCat-ID: 5820
Provably Anonymous Communication Based on Trusted Execution Environments
J. Blömer, J. Bobolz, C. Scheideler, A. Setzer, Provably Anonymous Communication Based on Trusted Execution Environments, n.d.
LibreCat
| Files available
J. Blömer, J. Bobolz, C. Scheideler, A. Setzer, Provably Anonymous Communication Based on Trusted Execution Environments, n.d.
2018 | Conference Paper | LibreCat-ID: 5822
Real-time Graph-Based 3D Reconstruction of Sparse Feature Environments for Mobile Robot Applications
D. Gaspers, C. Knorr, T. Nickchen, D. Nickchen, B. Mertsching, M.A. Mohamed, in: 2018 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR), IEEE, 2018.
LibreCat
| DOI
D. Gaspers, C. Knorr, T. Nickchen, D. Nickchen, B. Mertsching, M.A. Mohamed, in: 2018 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR), IEEE, 2018.
2018 | Conference Paper | LibreCat-ID: 5861
Short Digital Signatures and ID-KEMs via Truncation Collision Resistance
T. Jager, R. Kurek, in: Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II, 2018, pp. 221–250.
LibreCat
| DOI
T. Jager, R. Kurek, in: Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II, 2018, pp. 221–250.
2018 | Conference Paper | LibreCat-ID: 5862
Simple and More Efficient PRFs with Tight Security from LWE and Matrix-DDH
T. Jager, R. Kurek, J. Pan, in: Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part III, 2018, pp. 490–518.
LibreCat
| DOI
T. Jager, R. Kurek, J. Pan, in: Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part III, 2018, pp. 490–518.
2018 | Bachelorsthesis | LibreCat-ID: 5936
Learning about learning curves from dataset properties
M. Scheibl, Learning about Learning Curves from Dataset Properties, Universität Paderborn, 2018.
LibreCat
M. Scheibl, Learning about Learning Curves from Dataset Properties, Universität Paderborn, 2018.