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.
5711 Publications
2015 | Conference Paper | LibreCat-ID: 3165
Wehrheim, Heike, and Oleg Travkin. “{TSO} to {SC} via Symbolic Execution.” In Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 104--119. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-26287-1_7.
LibreCat
| DOI
2015 | Conference (Editor) | LibreCat-ID: 3166
Meyer, Roland, Andr{\’{e}} Platzer, and Heike Wehrheim, eds. Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-23506-6.
LibreCat
| DOI
2015 | Dissertation | LibreCat-ID: 317
Jähn, Claudius. Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
Huma, Zille. Automatic Service Discovery and Composition for Heterogeneous Service Partners. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online Service Composition.” In Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 57--64, 2015. https://doi.org/10.1109/SCC.2015.18.
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 270
Abshoff, Sebastian. On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks. Universität Paderborn, 2015.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 271
Drees, Maximilian, Matthias Feldotto, Sören Riechers, and Alexander Skopalik. “On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games.” In Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT), 178–89. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-662-48433-3_14.
LibreCat
| Files available
| DOI
| arXiv
2015 | Conference Paper | LibreCat-ID: 27163
Keil, Reinhard , and Harald Selke. “Virtual Knowledge {\ ‘A} Ume - From the Presentation of Content to Virtual Learning {\’ A} Tten.” edited by Reinhard Keil and Harald Selke, 330:39–53. publishing series of the Heinz Nixdorf Institute, Paderborn, 2015.
LibreCat
2015 | Dissertation | LibreCat-ID: 27164
Klompmaker, Florian. Development of a Structured Process of Interaction Design for {\ “U} r Nat {\” U} Local User Interfaces. Universit {\ "a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Universitaetsbibliothek Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 27165
Schild, Christian, and Vanessa Petrausch. “Empirical Validation of Design Patterns ,” 173–82. Berlin: De Gruyter Oldenbourg, 2015.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 273
Kohn, Kathlén. Number of Voronoi-Relevant Vectors in Lattices with Respect to Arbitrary Norms. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 274
Mäcker, Alexander, Manuel Malatyali, Friedhelm Meyer auf der Heide, and Sören Riechers. “Non-Preemptive Scheduling on Machines with Setup Times.” In Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, edited by Frank Dehne, Jörg Rüdiger Sack, and Ulrike Stege, 542--553. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-21840-3_45.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 275
Cord-Landwehr, Andreas, and Pascal Lenzner. “Network Creation Games: Think Global - Act Local.” In Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 248--260. LNCS, 2015. https://doi.org/10.1007/978-3-662-48054-0_21.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 277
Kothe, Nils. Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk. Universität Paderborn, 2015.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 278
Feldmann, Michael. Monotonic Searchability for Distributed Sorted Lists and De Bruijn Graphs. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 279
Platenius, Marie Christin, Svetlana Arifulina, and Wilhelm Schäfer. “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes.” In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 75–84, 2015. https://doi.org/10.1145/2737166.2737174.
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 20977
Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech, Andreas Peter Dann, Johannes Geismann, et al. Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20979
Stockmann, Lars. “Debugging Models in the Context of Automotive Software Development.” In Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, edited by Marsha Chechik and Dimitris Kolovos, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 17425
Berssenbrügge, Jan , Olga Wiederkehr, Claudius Jähn, and Matthias Fischer. “Anbindung Des Virtuellen Prototypen an Die Partialmodelle Intelligenter Technischer Systeme.” In 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 343:65–78. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 17427
Jähn, Claudius, Matthias Fischer, Maria Gerges, and Jan Berssenbrügge. “Automatische Ableitung Geometrischer Eigenschaften von Bauteilen Aus Dem 3-D-Polygonmodell.” In 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 342:107–20. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2015.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 17431
Gausemeier, Jürgen, Michael Grafe, and Friedhelm Meyer auf der Heide, eds. Augmented & Virtual Reality in Der Produktentstehung: Grundlagen, Methoden Und Werkzeuge; Interaktions- Und Visualisierungstechniken, Virtual Prototyping Intelligenter Technischer Systeme Mit AR/VR. 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. Vol. 342. Paderborn: Verlagsschriftenreihe des Heinz Nixdorf Instituts, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 17657
Cohen, R., and Gleb Polevoy. “Inter-Datacenter Scheduling of Large Data Flows.” Cloud Computing, IEEE Transactions On PP, no. 99 (2015): 1–1. https://doi.org/10.1109/TCC.2015.2487964.
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 17658
Bar-Yehuda, Reuven, Gleb Polevoy, and Dror Rawitz. “Bandwidth Allocation in Cellular Networks with Multiple Interferences.” Discrete Applied Mathematics 194 (2015): 23–36. http://dx.doi.org/10.1016/j.dam.2015.05.013.
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 1772
Torresen, Jim, Christian Plessl, and Xin Yao. “Self-Aware and Self-Expressive Systems – Guest Editor’s Introduction.” IEEE Computer 48, no. 7 (2015): 18–20. https://doi.org/10.1109/MC.2015.205.
LibreCat
| Files available
| DOI
2015 | Mastersthesis | LibreCat-ID: 1794
Lass, Michael. Localization and Analysis of Code Paths Suitable for Acceleration Using Approximate Computing. Paderborn: Paderborn University, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 239
Heindorf, Stefan, Martin Potthast, Benno Stein, and Gregor Engels. “Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis.” In Proceedings of the 38th International ACM Conference on Research and Development in Information Retrieval (SIGIR 15), 831--834, 2015. https://doi.org/10.1145/2766462.2767804.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 240
Li, Shouwei, Alexander Mäcker, Christine Markarian, Friedhelm Meyer auf der Heide, and Sören Riechers. “Towards Flexible Demands in Online Leasing Problems.” In Proceedings of the 21st Annual International Computing and Combinatorics Conference (COCOON), 277--288. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-21398-9_22.
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 20832
Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech, Andreas Peter Dann, Johannes Geismann, et al. Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 20833
Geismann, Johannes. Multi-Core Execution of Safety-Critical Component-Based Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20902
Meyer, Jan, Jörg Holtmann, Thorsten Koch, and Matthias Meyer. “Generierung von AUTOSAR-Modellen Aus UML-Spezifikationen.” In 10. Paderborner Workshop Entwurf Mechatronischer Systeme, edited by Jürgen Gausemeier, Roman Dumitrescu, Franz-Josef Rammig, Wilhelm Schäfer, and Ansgar Trächtler, 343:159–172. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18003
Götte, Thorsten. Covering and Bridging Im Selbstorganisierenden Partikelsystem Amoebabot. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18004
Isenberg, Daniel. 3D-Nesting in Der SLM-Technologie, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18005
Korfmacher, Christian. Implementierung Und Analyse von Cone-DHT. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18006
Sundermeier, Jannik. Implementierung Eines Selbststabilisierenden Verteilten Stacks. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 18024
Knollmann, Till. Implementierung Einer Selbststabilisierenden Datenstruktur Für Das Längste Gemeinsame Präfix. Universität Paderborn, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 1850
Derakhshandeh, Zahra, Robert Gmyr, Thim Frederik Strothmann, Rida A. Bazzi, Andrea W. Richa, and Christian Scheideler. “Leader Election and Shape Formation with Self-Organizing Programmable Matter.” In DNA Computing and Molecular Programming - 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings, 9211:117--132. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-21999-8_8.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 1851
Derakhshandeh, Zahra, Robert Gmyr, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “An Algorithmic Framework for Shape Formation Problems in Self-Organizing Particle Systems.” In Proceedings of the Second Annual International Conference on Nanoscale Computing and Communication, NANOCOM’ 15, Boston, MA, USA, September 21-22, 2015, 21:1--21:2. ACM, 2015. https://doi.org/10.1145/2800795.2800829.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 1852
Derakhshandeh, Zahra, Robert Gmyr, Thim Frederik Strothmann, Rida A. Bazzi, Andrea W. Richa, and Christian Scheideler. “Brief Announcement: On the Feasibility of Leader Election and Shape Formation with Self-Organizing Programmable Matter.” In Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebasti{\’{a}}n, Spain, July 21 - 23, 2015, 67--69. ACM, 2015. https://doi.org/10.1145/2767386.2767451.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 1853
Koutsopoulos, Andreas, Christian Scheideler, and Thim Frederik Strothmann. “Brief Announcement: Towards a Universal Approach for the Finite Departure Problem in Overlay Networks.” In Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, SPAA 2015, Portland, OR, USA, June 13-15, 2015, 77--79. ACM, 2015. https://doi.org/10.1145/2755573.2755614.
LibreCat
| DOI
2015 | Conference (Editor) | LibreCat-ID: 1854
Scheideler, Christian, ed. Structural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015, Post-Proceedings. Lecture Notes in Computer Science, 2015. https://doi.org/10.1007/978-3-319-25258-2.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 22888
Westermann, Thorsten, Harald Anacker, Roman Dumitrescu, Ursula Frank, and Axel Hessenkämper. “ Interdisciplinary System Architecture for Intelligent Technical Systems.” In Proceedings of the ASME 2015 International Mechanical Engineering Congress & Exposition (IMECE2015). Houston, Texas, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22889
Tschirner, Christian, Lukas Helmut Bretz, Roman Dumitrescu, and Jürgen Gausemeier. “Applying Model-Based Systems Engineering for Product Engineering Management - Concepts for Industrial Application.” In 1st International Symposium on Systems Engineering (IEEE ISSE), Rome, Italy, 28. - 30. Sep. 2015, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22890
Rabe, Martin, Harald Anacker, Thorsten Westermann, and Roman Dumitrescu. “Potential of Using Model-Based Systems Engineering to Improve the Development Process of Engineering-to-Order Products in the Field of Machinery and Plant Engineering.” In 4th International Conference on Advances in Mechanical Engineering, 16. - 27. Aug. 2015, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22891
Roßmann, Jürgen, Michael Schluse, Malte Rast, Martin Hoppen, Roman Dumitrescu, Christian Bremer, Michael Hillebrand, Oliver Stern, Florian Blümel, and Christoph Averdung. “Architecture for Integrated Development of Complex Systems With Model-Based System Specification and Simulation.” In ASME 2015 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Boston, USA, 2. - 5. Aug. 2015, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22892
Westermann, Thorsten, Harald Anacker, and Roman Dumitrescu. “Improving Order Fulfillment Processes with MBSE.” In 20th International Conference on Engineering and Design (ICED15), Milan, Italy, 27. - 30. Jul. 2015, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22893
Bremer, Christian, Michael Hillebrand, Bassem Hassan, and Roman Dumitrescu. “Konzept für das ganzheitliche Testen komplexer mechatronischer Systeme.” In Digitales Engineering zum Planen, Testen und Betreiben Technischer Systeme. IFF Wissenschaftstage, Magdeburg, 24. - 25. Jun. 2015, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22896
Tschirner, Christian, Roman Dumitrescu, Michael Bansmann, and Jürgen Gausemeier. “Tailoring Model-Based Systems Engineering - Concepts for Industrial Application.” In IEEE Systems Conference (SysCon) , Vancouver, 13. - 16. Apr. 2015, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22897
Czaja, Anja Maria, and Roman Dumitrescu. “Guideline for a Target-Oriented Systems Engineering Process in Small and Medium Sized Enterprises.” In 4th International Conference on Advances in Mechanical Engineering, German-Malaysian Workshop Series 2015, Systems Engineering for Advanced Mechatronics, Bali, Indonesia, 2015, ICAME, 2015.
LibreCat
2015 | Newspaper Article | LibreCat-ID: 22899
Dumitrescu, Roman, Christian Bremer, Arno Kühn, Ansgar Trächtler, and Tanja Frieben. “Model-Based Development of Products, Processes and Production Resources - A State Oriented Approach for an Integrated System Model of Objects, Processes and Systems.” At-Automatisierungstechnik 63 (10), 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 22900
Roßmann, Jürgen , Michael Schluse, Malte Rast, Martin Hoppen, Roman Dumitrescu, Christian Bremer, Michael Hillebrand, Oliver Stern, Florian Blümel, and Christoph Averdung. “Integrierte Entwicklung komplexer Systeme mit modellbasierter Systemspezifikation und -simulation.” In Wissenschaftsforum Intelligente Technische Systeme (WinTeSys). Paderborn, 2015.
LibreCat