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.
7304 Publications
2012 | Conference Paper | LibreCat-ID: 617
Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
A. Jungmann, B. Kleinjohann, E. Kleinjohann, M. Bieshaar, in: Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
LibreCat
| Files available
A. Jungmann, B. Kleinjohann, E. Kleinjohann, M. Bieshaar, in: Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
2012 | Conference Paper | LibreCat-ID: 622
Coverage Criteria for Testing DMM Specifications
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
LibreCat
| Files available
| DOI
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
2012 | Mastersthesis | LibreCat-ID: 624
Change and Validity Analysis in Deductive Program Verification
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification, Universität Paderborn, 2012.
LibreCat
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 625
Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures
S. Schmid, C. Avin, C. Scheideler, B. Häupler, Z. Lotker, in: Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 439–440.
LibreCat
| Files available
| DOI
S. Schmid, C. Avin, C. Scheideler, B. Häupler, Z. Lotker, in: Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 439–440.
2012 | Conference Paper | LibreCat-ID: 626
Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems
S. Kniesburges, C. Scheideler, in: Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 435–436.
LibreCat
| Files available
| DOI
S. Kniesburges, C. Scheideler, in: Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 435–436.
2012 | Conference Paper | LibreCat-ID: 627
Block Abstraction Memoization for CPAchecker
D. Wonisch, in: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.
LibreCat
| Files available
| DOI
D. Wonisch, in: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.
2012 | Conference Paper | LibreCat-ID: 628
Basic Network Creation Games with Communication Interests
A. Cord-Landwehr, M. Huellmann (married name: Eikel), P. Kling, A. Setzer, in: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 72--83.
LibreCat
| Files available
| DOI
A. Cord-Landwehr, M. Huellmann (married name: Eikel), P. Kling, A. Setzer, in: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 72--83.
2012 | Conference Paper | LibreCat-ID: 630
Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies
M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
LibreCat
| Files available
| DOI
M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
2012 | Conference Paper | LibreCat-ID: 631
Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction
M. von Detten, in: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–504.
LibreCat
| Files available
| DOI
M. von Detten, in: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–504.
2012 | Conference Paper | LibreCat-ID: 636
An Algorithm for Facility Leasing
F. Meyer auf der Heide, P. Pietrzyk, P. Kling, in: Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO), 2012, pp. 61–72.
LibreCat
| Files available
| DOI
F. Meyer auf der Heide, P. Pietrzyk, P. Kling, in: Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO), 2012, pp. 61–72.
2012 | Conference Paper | LibreCat-ID: 639
A UML-based Rich Service Description for Automatic Service Discovery
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
LibreCat
| Files available
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
2012 | Conference Paper | LibreCat-ID: 4483
" Nur" didaktisch oder auch strategisch?: Strukturelle Verankerung, Aufgaben-und Wirksamkeitswahrnehmungen hochschuldidaktischer Einrichtungen in Deutschland
T. Jenert, T. Brahm, in: Deutsche Gesellschaft für Hochschuldidaktik dghd, 2012.
LibreCat
T. Jenert, T. Brahm, in: Deutsche Gesellschaft für Hochschuldidaktik dghd, 2012.
2012 | Book Chapter | LibreCat-ID: 4511
Programmgestaltung als professionelle Aufgabe der Hochschulentwicklung: Gestaltungsmodell und Fallstudie
T. Jenert, in: T. Brinker, P. Tremp (Eds.), Einführung in Die Studiengangentwicklung , W. Bertelsmann Verlag , Bielefeld, 2012, pp. 27–44.
LibreCat
T. Jenert, in: T. Brinker, P. Tremp (Eds.), Einführung in Die Studiengangentwicklung , W. Bertelsmann Verlag , Bielefeld, 2012, pp. 27–44.
2012 | Book Chapter | LibreCat-ID: 4512
Studierende (als) Kunden?: Zum Umgang mit einer herausfordernden Beziehung zwischen Lehrenden und Lernenden
T. Jenert, A. Fust, in: T. Zimmermann, F. Zellweger (Eds.), Lernendenorientierung: Studierende im Fokus, 1st ed., hep verlag ag , Bern, 2012, pp. 63–86.
LibreCat
T. Jenert, A. Fust, in: T. Zimmermann, F. Zellweger (Eds.), Lernendenorientierung: Studierende im Fokus, 1st ed., hep verlag ag , Bern, 2012, pp. 63–86.
2012 | Book Chapter | LibreCat-ID: 4631
Locally Weighted Autoregression
Y. Feng, S. Heiler, in: Econometrics in Theory and Practice, Physica-Verlag HD, Heidelberg, 2012, pp. 101–117.
LibreCat
| DOI
Y. Feng, S. Heiler, in: Econometrics in Theory and Practice, Physica-Verlag HD, Heidelberg, 2012, pp. 101–117.
2012 | Conference Paper | LibreCat-ID: 4704
A review of event formats as enablers of event-driven BPM
J. Becker, M. Matzner, O. Müller, M. Walter, in: Lecture Notes in Business Information Processing, 2012.
LibreCat
| DOI
J. Becker, M. Matzner, O. Müller, M. Walter, in: Lecture Notes in Business Information Processing, 2012.
2012 | Conference Paper | LibreCat-ID: 4705
Extending BPMN for business activity monitoring
J.P. Friedenstab, C. Janiesch, M. Matzner, O. Müller, in: Hawaii International Conference on System Sciences, 2012.
LibreCat
| DOI
J.P. Friedenstab, C. Janiesch, M. Matzner, O. Müller, in: Hawaii International Conference on System Sciences, 2012.
2012 | Journal Article | LibreCat-ID: 7312
Momentum matching in the tunneling between 2-dimensional and 0-dimensional electron systems
A. Beckel, D. Zhou, B. Marquardt, D. Reuter, A.D. Wieck, M. Geller, A. Lorke, Applied Physics Letters 100 (2012).
LibreCat
| DOI
A. Beckel, D. Zhou, B. Marquardt, D. Reuter, A.D. Wieck, M. Geller, A. Lorke, Applied Physics Letters 100 (2012).
2012 | Journal Article | LibreCat-ID: 7345
Ten years of software and systems modeling
G. Engels, J. Whittle, Software & Systems Modeling 11 (2012) 463–465.
LibreCat
| DOI
G. Engels, J. Whittle, Software & Systems Modeling 11 (2012) 463–465.
2012 | Book Chapter | LibreCat-ID: 7557
Model-Based Testing: Achievements and Future Challenges
M. Mlynarski, B. Güldali, S. Weißleder, G. Engels, in: A. Hurson, A. Memon (Eds.), Advances in Computers, Elsevier, 2012, pp. 1–39.
LibreCat
| DOI
M. Mlynarski, B. Güldali, S. Weißleder, G. Engels, in: A. Hurson, A. Memon (Eds.), Advances in Computers, Elsevier, 2012, pp. 1–39.