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.
7259 Publications
2016 | Book Chapter | LibreCat-ID: 20330
Entwicklung von Bewertungsmethoden und -richtlinien für das Kleben von ZnMgAl-beschichteten Stahlfeinblechen
M. Ditz, G. Meschut, R. Grothe, G. Grundmeier, in: 6.Doktorandenseminar Klebtechnik, 319th ed., DVS Media, Düsseldorf, 2016.
LibreCat
M. Ditz, G. Meschut, R. Grothe, G. Grundmeier, in: 6.Doktorandenseminar Klebtechnik, 319th ed., DVS Media, Düsseldorf, 2016.
2016 | Conference Paper | LibreCat-ID: 20556
Information Flow Analysis for Go
E. Bodden, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}, 2016, pp. 431–445.
LibreCat
| DOI
E. Bodden, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}, 2016, pp. 431–445.
2016 | Conference Paper | LibreCat-ID: 207
Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592.
LibreCat
| Files available
| DOI
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592.
2016 | Conference Paper | LibreCat-ID: 20726
Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
K. Falzon, E. Bodden, in: F. Piessens, L. Vigan’o (Eds.), Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings, Springer Berlin Heidelberg, Berlin, Heidelberg, 2016, pp. 116–138.
LibreCat
| DOI
| Download (ext.)
K. Falzon, E. Bodden, in: F. Piessens, L. Vigan’o (Eds.), Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings, Springer Berlin Heidelberg, Berlin, Heidelberg, 2016, pp. 116–138.
2016 | Conference Paper | LibreCat-ID: 208
Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes
J. Blömer, G. Liske, in: Proceedings of the CT-RSA 2016, 2016, pp. 431–447.
LibreCat
| Files available
| DOI
J. Blömer, G. Liske, in: Proceedings of the CT-RSA 2016, 2016, pp. 431–447.
2016 | Report | LibreCat-ID: 20822
The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
2016 | Journal Article | LibreCat-ID: 20867
Loan Pricing: Do Borrowers Benefit from Cost-Efficient Banking?
S. Sievers, T. Schlüter, R. Busch, T. Hartmann-Wendels, Credit and Capital Markets – Kredit Und Kapital (VHB-JOURQUAL 3 Ranking C) 49 (2016) 93–125.
LibreCat
| DOI
| Download (ext.)
S. Sievers, T. Schlüter, R. Busch, T. Hartmann-Wendels, Credit and Capital Markets – Kredit Und Kapital (VHB-JOURQUAL 3 Ranking C) 49 (2016) 93–125.
2016 | Conference Paper | LibreCat-ID: 209
Congestion Games with Mixed Objectives
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.
2016 | Bachelorsthesis | LibreCat-ID: 18025
Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem
S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.
LibreCat
S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.
2016 | Mastersthesis | LibreCat-ID: 181
Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen
S. Stanco, Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen, Universität Paderborn, 2016.
LibreCat
S. Stanco, Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen, Universität Paderborn, 2016.
2016 | Journal Article | LibreCat-ID: 1835
SplayNet: Towards Locally Self-Adjusting Networks
S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, Z. Lotker, IEEE/ACM Trans. Netw. (2016) 1421--1433.
LibreCat
| DOI
S. Schmid, C. Avin, C. Scheideler, M. Borokhovich, B. Haeupler, Z. Lotker, IEEE/ACM Trans. Netw. (2016) 1421--1433.
2016 | Conference Paper | LibreCat-ID: 1836
On the Runtime of Universal Coating for Programmable Matter
Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, in: DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, pp. 148--164.
LibreCat
| DOI
Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, in: DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, 2016, pp. 148--164.
2016 | Conference Paper | LibreCat-ID: 1837
Universal Shape Formation for Programmable Matter
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, ACM, 2016, pp. 289--299.
LibreCat
| DOI
Z. Derakhshandeh, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, ACM, 2016, pp. 289--299.
2016 | Conference Paper | LibreCat-ID: 184
Learning to Aggregate Using Uninorms
V. Melnikov, E. Hüllermeier, in: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, in: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
2016 | Conference (Editor) | LibreCat-ID: 1844
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016
C. Scheideler, S. Gilbert, eds., Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 2016.
LibreCat
| DOI
C. Scheideler, S. Gilbert, eds., Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2016, Asilomar State Beach/Pacific Grove, CA, USA, July 11-13, 2016, 2016.
2016 | Book Chapter | LibreCat-ID: 1845
Jamming-Resistant MAC Protocols for Wireless Networks
A. W. Richa, C. Scheideler, in: Encyclopedia of Algorithms, 2016, pp. 999--1002.
LibreCat
| DOI
A. W. Richa, C. Scheideler, in: Encyclopedia of Algorithms, 2016, pp. 999--1002.
2016 | Conference Paper | LibreCat-ID: 186
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.
LibreCat
| Files available
M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.
2016 | Report | LibreCat-ID: 221
An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)
M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G. Engels, W. Schäfer, An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
LibreCat
| Files available
M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G. Engels, W. Schäfer, An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
2016 | Conference Paper | LibreCat-ID: 22107
Festigkeits- und leichtbauoptimierte Konstruktion und Auslegung eines additiv gefertigten Fahrradvorbaus
J.P. Brüggemann, W. Reschetnik, H.A. Richard, G. Kullmer, B. Schramm, in: Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 2016, pp. 290–300.
LibreCat
| DOI
J.P. Brüggemann, W. Reschetnik, H.A. Richard, G. Kullmer, B. Schramm, in: Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 2016, pp. 290–300.
2016 | Conference Paper | LibreCat-ID: 22190
Extended Analysis of the Surface Topography of Laser Sintered Polymer Parts
P. Delfs, H.-J. Schmid, in: Fraunhofer Direct Digital Manufacturing Conference, 2016, pp. 411–414.
LibreCat
| DOI
P. Delfs, H.-J. Schmid, in: Fraunhofer Direct Digital Manufacturing Conference, 2016, pp. 411–414.