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.

9931 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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2018 | Journal Article | LibreCat-ID: 5984
Preface
C. Scheideler, Theor. Comput. Sci. 751 (2018) 1.
LibreCat | Files available | DOI
 

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
 

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
 

2018 | Conference Paper | LibreCat-ID: 6016 | OA
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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed