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.
7577 Publications
2012 | Conference Paper | LibreCat-ID: 617
Jungmann, Alexander, Bernd Kleinjohann, Elisabeth Kleinjohann, and Maarten Bieshaar. “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems.” In Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 22–29, 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 622
Arifulina, Svetlana, Gregor Engels, and Christian Soltenborn. “Coverage Criteria for Testing DMM Specifications.” In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST, 2012. https://doi.org/10.14279/tuj.eceasst.47.718.
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 624
Jakobs, Marie-Christine. Change and Validity Analysis in Deductive Program Verification. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 625
Schmid, Stefan, Chen Avin, Christian Scheideler, Bernhard Häupler, and Zvi Lotker. “Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures.” In Proceedings of the 26th International Symposium on Distributed Computing (DISC), 439–40. LNCS, 2012. https://doi.org/10.1007/978-3-642-33651-5_47.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 626
Kniesburges, Sebastian, and Christian Scheideler. “Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems.” In Proceedings of the 26th International Symposium on Distributed Computing (DISC), 435–36. LNCS, 2012. https://doi.org/10.1007/978-3-642-33651-5_45.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 627
Wonisch, Daniel. “Block Abstraction Memoization for CPAchecker.” In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 531–33. LNCS, 2012. https://doi.org/10.1007/978-3-642-28756-5_41.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 628
Cord-Landwehr, Andreas, Martina Huellmann (married name: Eikel), Peter Kling, and Alexander Setzer. “Basic Network Creation Games with Communication Interests.” In Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 72--83. LNCS, 2012. https://doi.org/10.1007/978-3-642-33996-7_7.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 630
Platenius, Marie Christin, Markus von Detten, and Steffen Becker. “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies.” In Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 255–64, 2012. https://doi.org/10.1109/CSMR.2012.33.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 631
Detten, Markus von. “Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction.” In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 503–4, 2012. https://doi.org/10.1109/WCRE.2012.61.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 636
Meyer auf der Heide, Friedhelm, Peter Pietrzyk, and Peter Kling. “An Algorithm for Facility Leasing.” In Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO), 61–72. LNCS, 2012. https://doi.org/10.1007/978-3-642-31104-8_6.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 639
Huma, Zille, Christian Gerth, Gregor Engels, and Oliver Juwig. “A UML-Based Rich Service Description for Automatic Service Discovery.” In Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 90--97. CEUR Workshop Proceedings, 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 4483
Jenert, Tobias, and Taiga Brahm. “‘ Nur’ Didaktisch Oder Auch Strategisch?: Strukturelle Verankerung, Aufgaben-Und Wirksamkeitswahrnehmungen Hochschuldidaktischer Einrichtungen in Deutschland.” Deutsche Gesellschaft für Hochschuldidaktik dghd, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 4511
Jenert, Tobias. “Programmgestaltung Als Professionelle Aufgabe Der Hochschulentwicklung: Gestaltungsmodell Und Fallstudie.” In Einführung in Die Studiengangentwicklung , edited by Tobina Brinker and Peter Tremp , 27–44. Blickpunkt Hochschuldidaktik . Bielefeld: W. Bertelsmann Verlag , 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 4512
Jenert, Tobias, and Alexander Fust. “Studierende (als) Kunden?: Zum Umgang mit einer herausfordernden Beziehung zwischen Lehrenden und Lernenden.” In Lernendenorientierung: Studierende im Fokus, edited by Tobias Zimmermann and Franziska Zellweger, 1st ed., 3:63–86. Forum Hochschuldidaktik und Erwachsenenbildung . Bern: hep verlag ag , 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 4631
Feng, Yuanhua, and Siegfried Heiler. “Locally Weighted Autoregression.” In Econometrics in Theory and Practice, 101–17. Heidelberg: Physica-Verlag HD, 2012. https://doi.org/10.1007/978-3-642-47027-1_10.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 4704
Becker, Jörg, Martin Matzner, Oliver Müller, and Marcel Walter. “A Review of Event Formats as Enablers of Event-Driven BPM.” In Lecture Notes in Business Information Processing, 2012. https://doi.org/10.1007/978-3-642-28108-2_42.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 4705
Friedenstab, Jan Philipp, Christian Janiesch, Martin Matzner, and Oliver Müller. “Extending BPMN for Business Activity Monitoring.” In Hawaii International Conference on System Sciences, 2012. https://doi.org/10.1109/HICSS.2012.276.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7345
Engels, Gregor, and Jon Whittle. “Ten Years of Software and Systems Modeling.” Software & Systems Modeling 11, no. 4 (2012): 463–65. https://doi.org/10.1007/s10270-012-0287-3.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 9787
Kohl, Sergej, Walter Sextro, and Armin Zuber. “Benteler Vehicle Dynamics -- Fahrdynamikentwicklung Basierend Auf Einer Neuen Auslegungstheorie.” In 8. Tag Des Fahrwerks, Aachen, 2012, 38–60. Institut für Kraftfahrzeuge, RWTH Aachen University in Aachen, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 5034
Becker, Jörg, Ralf Knackstedt, Daniel Beverungen, Hanns-Alexander Dietrich, Dominic Breuker, and Hans Peter Rauer. “Ansätze Zur Methodischen Unterstützung Der Konstruktion von Produktivitätsmodellen Für Die Data Envelopment Analysis --- Entwicklung Eines Softwareprototypen Zur Umsetzung Und Evaluation.” In Service Engineering --- Management, edited by Tilo Böhmann, Ralf Knackstedt, Jan Marco Leimeister, Markus Nüttgens, and Oliver Thomas, 127--139. Norderstedt, 2012.
LibreCat