Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5928 Publications
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.
2018 | Journal Article | LibreCat-ID: 5984
Preface
C. Scheideler, Theor. Comput. Sci. 751 (2018) 1.
LibreCat
| Files available
| DOI
C. Scheideler, Theor. Comput. Sci. 751 (2018) 1.
2018 | Conference Paper | LibreCat-ID: 5985
Relays: Towards a Link Layer for Robust and Secure Fog Computing
C. Scheideler, in: Proceedings of the 2018 Workshop on Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom, July 27, 2018, 2018, pp. 1–2.
LibreCat
| Files available
| DOI
C. Scheideler, in: Proceedings of the 2018 Workshop on Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom, July 27, 2018, 2018, pp. 1–2.
2018 | Conference Paper | LibreCat-ID: 5986
Shape Recognition by a Finite Automaton Robot
R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler, in: 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK, 2018, pp. 52:1-52:15.
LibreCat
| DOI
R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler, in: 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK, 2018, pp. 52:1-52:15.
2018 | Conference Paper | LibreCat-ID: 6016 |

Understand your chains and keep your deadlines: Introducing time-constrained profiling for NFV
M. Peuster, H. Karl, in: IEEE/IFIP 14th International Conference on Network and Service Management (CNSM), IEEE/IFIP, Rome, n.d.
LibreCat
| Files available
| Download (ext.)
M. Peuster, H. Karl, in: IEEE/IFIP 14th International Conference on Network and Service Management (CNSM), IEEE/IFIP, Rome, n.d.
2018 | Conference Paper | LibreCat-ID: 6236
Usability Evaluation of Model-Driven Cross-Device Web User Interfaces
E. Yigitbas, A. Anjorin, I. Jovanovikj, T. Kern, S. Sauer, G. Engels, in: Proceedings of the 7th International Working Conference on Human-Centered Software Engineering (HCSE’18), Springer, LNCS , 2018, pp. 231–247.
LibreCat
E. Yigitbas, A. Anjorin, I. Jovanovikj, T. Kern, S. Sauer, G. Engels, in: Proceedings of the 7th International Working Conference on Human-Centered Software Engineering (HCSE’18), Springer, LNCS , 2018, pp. 231–247.
2018 | Conference Paper | LibreCat-ID: 6252
Forschendes Lernen in der Informatik - In praxisnaher Projektgruppe einen Softwareentwicklungsprozess erforschen
B. Senft, S. Oberthür, H.G. Fischer, in: Schriften zur allgemeinen Hochschuldidaktik - Band 3. Tagungsband Forschendes Lernen - The wider view, 2018.
LibreCat
B. Senft, S. Oberthür, H.G. Fischer, in: Schriften zur allgemeinen Hochschuldidaktik - Band 3. Tagungsband Forschendes Lernen - The wider view, 2018.
2018 | Book Chapter | LibreCat-ID: 6253
Assist Users to Straightaway Suggest and Describe Experienced Problems
B. Senft, H.G. Fischer, S. Oberthür, N. Patkar, in: Design, User Experience, and Usability: Theory and Practice, Springer International Publishing, Cham, 2018, pp. 758–770.
LibreCat
| DOI
B. Senft, H.G. Fischer, S. Oberthür, N. Patkar, in: Design, User Experience, and Usability: Theory and Practice, Springer International Publishing, Cham, 2018, pp. 758–770.
2018 | Book Chapter | LibreCat-ID: 6254
A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance Systems
H.G. Fischer, B. Senft, F. Rittmeier, S. Sauer, in: A. Marcus, W. Wang (Eds.), Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018), Springer International Publishing, Cham, 2018, pp. 711–724.
LibreCat
| DOI
H.G. Fischer, B. Senft, F. Rittmeier, S. Sauer, in: A. Marcus, W. Wang (Eds.), Design, User Experience, and Usability: Theory and Practice. Proceedings of the 20th International Conference on Human-Computer Interaktion (HCI International 2018), Springer International Publishing, Cham, 2018, pp. 711–724.
2018 | Journal Article | LibreCat-ID: 63
Scheduling Shared Continuous Resources on Many-Cores
E. Althaus, A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S. Riechers, J. Sgall, T. Suess, Journal of Scheduling 21 (2018) 77–92.
LibreCat
| Files available
| DOI
E. Althaus, A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S. Riechers, J. Sgall, T. Suess, Journal of Scheduling 21 (2018) 77–92.
2018 | Book Chapter | LibreCat-ID: 6423
Preference-Based Reinforcement Learning Using Dyad Ranking
D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International Publishing, Cham, 2018, pp. 161–175.
LibreCat
| Files available
| DOI
D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International Publishing, Cham, 2018, pp. 161–175.
2018 | Conference Paper | LibreCat-ID: 4411
A Self-Stabilizing Hashed Patricia Trie
T. Knollmann, C. Scheideler, in: T. Izumi, P. Kuznetsov (Eds.), Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2018.
LibreCat
| Files available
| DOI
| arXiv
T. Knollmann, C. Scheideler, in: T. Izumi, P. Kuznetsov (Eds.), Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2018.
2018 | Conference Paper | LibreCat-ID: 4563
Competitive Routing in Hybrid Communication Networks
D. Jung, C. Kolb, C. Scheideler, J. Sundermeier, in: Proceedings of the 14th International Symposium on Algorithms and Experiments for Wireless Networks (ALGOSENSORS) , Springer, 2018.
LibreCat
| Files available
D. Jung, C. Kolb, C. Scheideler, J. Sundermeier, in: Proceedings of the 14th International Symposium on Algorithms and Experiments for Wireless Networks (ALGOSENSORS) , Springer, 2018.