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.
5928 Publications
2017 | Journal Article | LibreCat-ID: 1813
P. Fekete, Sandor, et al. “Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271.” SIGACT News, no. 2, 2017, pp. 87--94, doi:10.1145/3106700.3106713.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 1814
Derakhshandeh, Zahra, et al. “Universal Coating for Programmable Matter.” Theor. Comput. Sci., 2017, pp. 56--68, doi:10.1016/j.tcs.2016.02.039.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1815
J. Daymude, Joshua, et al. “Improved Leader Election for Self-Organizing Programmable Matter.” Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers, 2017, pp. 127--140, doi:10.1007/978-3-319-72751-6_10.
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 1820
Scheideler, Christian, and Mohammad Taghi Hajiaghayi, editors. Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017. 2017, doi:10.1145/3087556.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 22811
Röltgen, Daniel, et al. “Identifikation von Potentialen Für Augmented-Reality-Basierte Produkt-Service-Systeme.” 13. Symposium Für Vorausschau Und Technologieplanung, Band 374 , Berlin , 23. - 24. Nov. 2017, edited by Jürgen Gausemeier and Heinz Nixdorf Institut, Paderborn, vol. 374, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22813
Albers, Alexander, et al. “Modellbasierte Entscheidungsunterstützung in Der Produktgenerationenplanung.” Proceedings of: Tag Des Systems Engineering (TdSE), 8. - 10. Nov. 2017, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22861
Lipsmeier, Andre, et al. “Mechatronic Modularization of Intelligent Technical Systems.” 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22863
Lipsmeier, Andre, et al. “Kundenorientierte Entwicklung von Intelligenten Technischen Systemen Im Maschinenbau.” Stuttgarter Symposium Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22864
Fechtelpeter, Christian, et al. “Integrated Technology Transfer Concept for Fostering Innovation in SMEs.” Proceedings of the 26th International Association for Management of Technology Conference , 14. - 18. Mai 2017, IAMOT, edited by M. Hörlesberger and B. Hribernik, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22865
Drewel, Marvin, et al. “Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft.” Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369, edited by Eric Bodden et al., vol. 369, 2017, pp. 53–66.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22866
Fechtelpeter, Christian, et al. “Implementation Planning and Transfer of Technology Induced Scenarios of Digitized Work.” Presentation and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22867
Westermann, Thorsten, et al. “Reifegradmodell für die Planung von Cyber-Physical Systems.” Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369, edited by Eric Bodden et al., 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22868
Reinhart, Felix, et al. “Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau.” Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Heinz Nixdorf MuseumsForum, 2017, pp. 321–34.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22869
Roßmann, Jürgen, et al. “ Integrierte Entwicklung Komplexer Systeme Mit Modellbasierter Systemspezifikation Und -Simulation - Eine Fallstudie Zur Sensorauslegung in Der Raumfahrt.” Wissenschaftsforum Intelligente Technische Systeme (WinTeSys), 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 90
Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” ACM Transactions on Embedded Computing Systems, no. 2, ACM, 2017, pp. 47:1-47:24, doi:10.1145/2984640.
LibreCat
| Files available
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7749
Carmona , Josep, et al., editors. Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science. Vol. 10445, Springer, 2017.
LibreCat
2017 | Conference (Editor) | LibreCat-ID: 7750
Carmona , Josep, et al., editors. Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297. Vol. 297, Springer, 2017.
LibreCat
2017 | Book (Editor) | LibreCat-ID: 7751
Spalazzese, Romina, et al., editors. Message from the IoT-ASAP Chairs. 2017, doi:10.1109/ICSAW.2017.67.
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7754
Hess, Steffen, and Holger Gerhard Fischer, editors. Mensch Und Computer 2017 - Usability Professionals. Tagungsband. Gesellschaft für Informatik e.V. und German UPA e.V., 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 7755
Mendes, Jorge, et al. “Towards Systematic Spreadsheet Construction Processes.” 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), edited by Gesellschaft für Informatik e.V. und German UPA e.V. (Regensburg) , IEEE, 2017, doi:10.1109/icse-c.2017.141.
LibreCat
| DOI