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.
5786 Publications
2016 | Conference Paper | LibreCat-ID: 1837
Derakhshandeh Z, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Universal Shape Formation for Programmable Matter. 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:289--299. doi:10.1145/2935764.2935784
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 184
Melnikov V, Hüllermeier E. Learning to Aggregate Using Uninorms. In: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016). LNCS. ; 2016:756-771. doi:10.1007/978-3-319-46227-1_47
LibreCat
| Files available
| DOI
2016 | Conference (Editor) | LibreCat-ID: 1844
Scheideler C, Gilbert S, 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. doi:10.1145/2935764
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 1845
W. Richa A, Scheideler C. Jamming-Resistant MAC Protocols for Wireless Networks. In: Encyclopedia of Algorithms. ; 2016:999--1002. doi:10.1007/978-1-4939-2864-4_593
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 186
Czech M, Jakobs M-C, Wehrheim H. Just test what you cannot verify! In: Jens Knoop UZ, ed. Software Engineering 2016. Lecture Notes in Informatics. ; 2016:17-18.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 221
Platenius MC, Josifovska K, van Rooijen L, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3). Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Journal Article | LibreCat-ID: 222
Wiersema T, Bockhorn A, Platzner M. An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers & Electrical Engineering. 2016:112--122. doi:10.1016/j.compeleceng.2016.04.005
LibreCat
| Files available
| DOI
2016 | Mastersthesis | LibreCat-ID: 223
Hinnenthal K. Aggregation in Overlay Networks. Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 224
Krämer J, Wehrheim H. A short survey on using software error localization for service compositions. In: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016). LNCS. ; 2016:248--262. doi:10.1007/978-3-319-44482-6_16
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 226
Krämer J, Wehrheim H. A Formal Approach to Error Localization and Correction in Service Compositions. In: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016). LNCS. ; 2016:445--457. doi:10.1007/978-3-319-50230-4_35
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 227
Töws M, Wehrheim H. A CEGAR Scheme for Information Flow Analysis. In: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016). LNCS. ; 2016:466--483. doi:10.1007/978-3-319-47846-3_29
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 22870
Röltgen D, Anacker H, Dumitrescu R. Einsatz- und Nutzenpotentiale von Augmented Reality im Kontext von Industrie 4.0. In: VDE Kongress 2016 Internet of Things, Mannheim, Deutschland, 7. - 8. Nov. 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22871
Falkowski T, Fechtelpeter C, Peitz C, Kühn A, Dumitrescu R. Einsatz von Leuchten zur Standortbestimmung in der Produktion. In: VDE Kongress 2016, 7. - 8. Nov. 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22872
Westermann M, Anacker H, Dumitrescu R, Czaja AM. Reference Architecture and Maturity Levels for Cyber-Physical Systems. In: 2nd IEEE International Symposium on Systems Engineering 2016, Edinburgh, Scotland, 4. - 5. Okt. 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22873
Fechtelpeter C, Jürgenhake C, Dumitrescu R, et al. Reliability in MID - barriers, potentials, fields of action. In: 12th International Congress on Molded Interconnect Devices, Conference Proceedings , 28. - 30. Sep. 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22874
Jürgenhake C, Falkowski T, Dumitrescu R. Classification of MID-prototypes. In: 12th International Congress on Molded Interconnect Devices, Würzburg, 28. - 30. Sep. 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22876
Jürgenhake C, Dumitrescu R. Systematic for function-oriented development of spatial integrated circuit carriers. In: International Design Conference - Design 2016, 16. - 19. Mai 2016. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22878
Kaiser L, Bremer C, Dumitrescu R. Exhaustiveness of Systems Structures in Model-Based Systems Engineering for Mechatronic Systems. In: Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22879
Jürgenhake C, Falkowski T, Fechtelpeter C, Dumitrescu R. Function-based feasibility study and benchmark for MID concepts. In: Sysint - 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering. ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 22880
Bretz LH, Tschirner C, Dumitrescu R. A concept for managing information in early stages of product engineering by integrating MBSE and workflow management systems. In: IEEE ISSE: Proceedings of 2016 International Symposium on Systems Engineering. Edinburgh, Scotland; 2016:143-150.
LibreCat