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.
5669 Publications
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 | 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 | Journal Article | LibreCat-ID: 222
An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip
T. Wiersema, A. Bockhorn, M. Platzner, Computers & Electrical Engineering (2016) 112--122.
LibreCat
| Files available
| DOI
T. Wiersema, A. Bockhorn, M. Platzner, Computers & Electrical Engineering (2016) 112--122.
2016 | Mastersthesis | LibreCat-ID: 223
Aggregation in Overlay Networks
K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.
LibreCat
| Files available
K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.
2016 | Conference Paper | LibreCat-ID: 224
A short survey on using software error localization for service compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
LibreCat
| Files available
| DOI
J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
2016 | Conference Paper | LibreCat-ID: 226
A Formal Approach to Error Localization and Correction in Service Compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
LibreCat
| Files available
| DOI
J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
2016 | Conference Paper | LibreCat-ID: 227
A CEGAR Scheme for Information Flow Analysis
M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
LibreCat
| Files available
| DOI
M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
2016 | Conference Paper | LibreCat-ID: 22870
Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0
D. Röltgen, H. Anacker, R. Dumitrescu, in: VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
LibreCat
D. Röltgen, H. Anacker, R. Dumitrescu, in: VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 22871
Einsatz von Leuchten zur Standortbestimmung in der Produktion
T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, R. Dumitrescu, in: VDE Kongress 2016, 7. - 8. Nov. 2016, 2016.
LibreCat
T. Falkowski, C. Fechtelpeter, C. Peitz, A. Kühn, R. Dumitrescu, in: VDE Kongress 2016, 7. - 8. Nov. 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 22872
Reference Architecture and Maturity Levels for Cyber-Physical Systems
M. Westermann, H. Anacker, R. Dumitrescu, A.M. Czaja, in: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
LibreCat
M. Westermann, H. Anacker, R. Dumitrescu, A.M. Czaja, in: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 22873
Reliability in MID - barriers, potentials, fields of action
C. Fechtelpeter, C. Jürgenhake, R. Dumitrescu, T. Mager, K.-P. Fritz, T. Grötzinger, H. Müller, P. Wild, A. Zimmermann, in: 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016, 2016.
LibreCat
C. Fechtelpeter, C. Jürgenhake, R. Dumitrescu, T. Mager, K.-P. Fritz, T. Grötzinger, H. Müller, P. Wild, A. Zimmermann, in: 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016, 2016.
2016 | Conference Paper | LibreCat-ID: 22874
Classification of MID-prototypes
C. Jürgenhake, T. Falkowski, R. Dumitrescu, in: 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.
LibreCat
C. Jürgenhake, T. Falkowski, R. Dumitrescu, in: 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016, 2016.