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, Andrea W. Richa, Kay Römer, and Christian Scheideler. “Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271.” SIGACT News, no. 2 (2017): 87--94. https://doi.org/10.1145/3106700.3106713.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 1814
Derakhshandeh, Zahra, Robert Gmyr, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “Universal Coating for Programmable Matter.” Theor. Comput. Sci., 2017, 56--68. https://doi.org/10.1016/j.tcs.2016.02.039.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1815
J. Daymude, Joshua, Robert Gmyr, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “Improved Leader Election for Self-Organizing Programmable Matter.” In 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, 127--140, 2017. https://doi.org/10.1007/978-3-319-72751-6_10.
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 1820
Scheideler, Christian, and Mohammad Taghi Hajiaghayi, eds. Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, 2017. https://doi.org/10.1145/3087556.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 22811
Röltgen, Daniel, Fabio Wortmann, Harald Anacker, and Roman Dumitrescu. “Identifikation von Potentialen Für Augmented-Reality-Basierte Produkt-Service-Systeme.” In 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, Arno Kühn, and Roman Dumitrescu. “Modellbasierte Entscheidungsunterstützung in Der Produktgenerationenplanung.” In Proceedings of: Tag Des Systems Engineering (TdSE), 8. - 10. Nov. 2017, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22861
Lipsmeier, Andre, Thorsten Westermann, Harald Anacker, and Roman Dumitrescu. “Mechatronic Modularization of Intelligent Technical Systems.” In 21th International Conference on Engineering and Design (ICED17), 21. - 25. Aug. 2017, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22863
Lipsmeier, Andre, Harald Anacker, Roman Dumitrescu, and Arno Kühn. “Kundenorientierte Entwicklung von Intelligenten Technischen Systemen Im Maschinenbau.” In Stuttgarter Symposium Für Produktentwicklung SSP 2017, Stuttgart, 28. - 29. Jun. 2017, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22864
Fechtelpeter, Christian, Arno Kühn, Roman Dumitrescu, and Peter Ebbesmeyer. “Integrated Technology Transfer Concept for Fostering Innovation in SMEs.” In 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, Jürgen Gausemeier, Andre Kluge, and Christoph Pierenkemper. “Erfolgsgarant digitale Plattform – Vorreiter Landwirtschaft.” In Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017, Band 369, edited by Eric Bodden, Falko Dressler, Roman Dumitrescu, Jürgen Gausemeier, Friedhelm Meyer auf der Heide, Christoph Scheytt, Ansgar Trächtler, and Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 369:53–66, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22866
Fechtelpeter, Christian, Michael Bansmann, Roman Dumitrescu, and Harald Anacker. “Implementation Planning and Transfer of Technology Induced Scenarios of Digitized Work.” In Presentation and Proceedings, Technology Transfer Society (T2S) Annual Conference, 2017, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22867
Westermann, Thorsten, Harald Anacker, and Roman Dumitrescu. “Reifegradmodell für die Planung von Cyber-Physical Systems.” In Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Band 369, edited by Eric Bodden, Falko Dressler, Roman Dumitrescu, Jürgen Gausemeier, Friedhelm Meyer auf der Heide, Christoph Scheytt, Ansgar Trächtler, and Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22868
Reinhart, Felix, Arno Kühn, and Roman Dumitrescu. “Schichtenmodell für die Entwicklung von Data Science Anwendungen im Maschinen- und Anlagenbau.” In Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), 321–34. Heinz Nixdorf MuseumsForum, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 22869
Roßmann, Jürgen, Michael Schluse, Malte Rast, Martin Hoppen, Linus Atorf, Roman Dumitrescu, Christian Bremer, Michael Hillebrand, Oliver Stern, and Peter Schmitter. “ Integrierte Entwicklung Komplexer Systeme Mit Modellbasierter Systemspezifikation Und -Simulation - Eine Fallstudie Zur Sensorauslegung in Der Raumfahrt.” In Wissenschaftsforum Intelligente Technische Systeme (WinTeSys). Paderborn, 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 (2017): 47:1-47:24. https://doi.org/10.1145/2984640.
LibreCat
| Files available
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7749
Carmona , Josep , Gregor Engels, and Akhil Kumar, eds. 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 , Gregor Engels, and Akhil Kumar, eds. 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, Marie Christin Platenius, Steffen Becker, Per Persson, and Gregor Engels, eds. Message from the IoT-ASAP Chairs, 2017. https://doi.org/10.1109/ICSAW.2017.67.
LibreCat
| DOI
2017 | Conference (Editor) | LibreCat-ID: 7754
Hess, Steffen , and Holger Gerhard Fischer, eds. Mensch Und Computer 2017 - Usability Professionals. Tagungsband. Regensburg: Gesellschaft für Informatik e.V. und German UPA e.V., 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 7755
Mendes, Jorge, Jacome Cunha, Francisco Duarte, Gregor Engels, Joao Saraiva, and Stefan Sauer. “Towards Systematic Spreadsheet Construction Processes.” In 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. https://doi.org/10.1109/icse-c.2017.141.
LibreCat
| DOI