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.

9901 Publications


2017 | Bachelorsthesis | LibreCat-ID: 67
M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 6725
W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, and G. Zetzsche, “A Characterization for Decidable Separability by Piecewise Testable Languages,” Discrete Mathematics & Theoretical Computer Science, vol. 19, no. 4, 2017.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 6737
D. Wolters, C. Gerth, and G. Engels, “Visual Requirements Modeling for Cross-Device Systems,” Computer Science and Information Systems (ComSIS), vol. 14, no. 2, pp. 517–536, 2017.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 6764
I. Jovanovikj and S. Sauer, “Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases,” Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF), vol. 37, no. 2, pp. 50–51, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 68
T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, “Proof-Carrying Hardware via Inductive Invariants,” ACM Transactions on Design Automation of Electronic Systems, no. 4, pp. 61:1--61:23, 2017.
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 680 | OA
M. Peter et al., “Directional Emission from Dielectric Leaky-Wave Nanoantennas,” Nano Letters, vol. 17, no. 7, pp. 4178–4183, 2017.
LibreCat | Files available | DOI
 

2017 | Dissertation | LibreCat-ID: 685
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017.
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 69
M.-C. Jakobs and H. Wehrheim, “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software,” ACM Transactions on Programming Languages and Systems, no. 2, pp. 7:1-7:56, 2017.
LibreCat | Files available | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 695
J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen. Universität Paderborn, 2017.
LibreCat
 

2017 | Book | LibreCat-ID: 16444
J. Gausemeier et al., Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Paderborn, 2017.
LibreCat
 

2017 | Book Chapter | LibreCat-ID: 16461
P. Bemmann et al., “Monitoring of Domain-Related Problems in Distributed Data Streams,” in Structural Information and Communication Complexity, Cham, 2017.
LibreCat | DOI | arXiv
 

2017 | Journal Article | LibreCat-ID: 16540
M. Dellnitz and S. Klus, “Sensing and control in symmetric networks,” Dynamical Systems, pp. 61–79, 2017.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 16581
M. Dellnitz, S. Klus, and A. Ziessler, “A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty,” SIAM Journal on Applied Dynamical Systems, pp. 120–138, 2017.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 16657
S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, and M. Dellnitz, “A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL).,” IFAC-PapersOnLine, pp. 8674–8679, 2017.
LibreCat | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 104
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers. Universität Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 105
R. Gmyr, K. Hinnenthal, C. Scheideler, and C. Sohler, “Distributed Monitoring of Network Properties: The Power of Hybrid Networks,” in Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017, pp. 137:1--137:15.
LibreCat | Files available | DOI
 

2017 | Encyclopedia Article | LibreCat-ID: 10589
J. Fürnkranz and E. Hüllermeier, “Preference Learning,” in Encyclopedia of Machine Learning and Data Mining, 2017, pp. 1000–1005.
LibreCat
 

2017 | Dissertation | LibreCat-ID: 10594 | OA
S. Peitz,   Exploiting structure in multiobjective optimization and optimal control. 2017.
LibreCat | Files available | DOI | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 10600
P. H.W. Leong et al., “The First 25 Years of the FPL Conference – Significant Papers,” ACM Transactions on Reconfigurable Technology and Systems, 2017.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 10601
R. F. DeMara, M. Platzner, and M. Ottavi, “Innovation in Reconfigurable Computing Fabrics: from Devices to Architectures (guest editorial),” IEEE Transactions on Computers and IEEE Transactions on Emerging Topics in Computing, 2017.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed