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.
6985 Publications
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, et al. “Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures.” Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 439–40, doi: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.” Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 435–36, doi: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.” Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–33, doi:10.1007/978-3-642-28756-5_41.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 628
Cord-Landwehr, Andreas, et al. “Basic Network Creation Games with Communication Interests.” Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 72--83, doi:10.1007/978-3-642-33996-7_7.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 630
Platenius, Marie Christin, et al. “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies.” Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–64, doi:10.1109/CSMR.2012.33.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 631
von Detten, Markus. “Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction.” Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–04, doi:10.1109/WCRE.2012.61.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 636
Meyer auf der Heide, Friedhelm, et al. “An Algorithm for Facility Leasing.” Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO), 2012, pp. 61–72, doi:10.1007/978-3-642-31104-8_6.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 639
Huma, Zille, et al. “A UML-Based Rich Service Description for Automatic Service Discovery.” Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
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.” Einführung in Die Studiengangentwicklung , edited by Tobina Brinker and Peter Tremp , W. Bertelsmann Verlag , 2012, pp. 27–44.
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.” Lernendenorientierung: Studierende im Fokus, edited by Tobias Zimmermann and Franziska Zellweger, 1st ed., vol. 3, hep verlag ag , 2012, pp. 63–86.
LibreCat
2012 | Book Chapter | LibreCat-ID: 4631
Feng, Yuanhua, and Siegfried Heiler. “Locally Weighted Autoregression.” Econometrics in Theory and Practice, Physica-Verlag HD, 2012, pp. 101–17, doi:10.1007/978-3-642-47027-1_10.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 4704
Becker, Jörg, et al. “A Review of Event Formats as Enablers of Event-Driven BPM.” Lecture Notes in Business Information Processing, no. PART 1, 2012, doi:10.1007/978-3-642-28108-2_42.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 4705
Friedenstab, Jan Philipp, et al. “Extending BPMN for Business Activity Monitoring.” Hawaii International Conference on System Sciences, 2012, doi: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, vol. 11, no. 4, Springer Nature, 2012, pp. 463–65, doi:10.1007/s10270-012-0287-3.
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 5034
Becker, Jörg, et al. “Ansätze Zur Methodischen Unterstützung Der Konstruktion von Produktivitätsmodellen Für Die Data Envelopment Analysis --- Entwicklung Eines Softwareprototypen Zur Umsetzung Und Evaluation.” Service Engineering --- Management, edited by Tilo Böhmann et al., 2012, pp. 127--139.
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:10.1145/2220365.2220366.
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Journal Article | LibreCat-ID: 5193
Kanne, Stefan, et al. “To Buy or Not to Buy? The Value of Contradictory Analyst Signals.” Financial Markets and Portfolio Management (VHB-JOURQUAL 3 Ranking C), vol. 26, no. 4, Springer, 2012, pp. 405–28, doi:10.1007/s11408-012-0196-z.
LibreCat
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
Besova, Galina, et al. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.” Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–92, doi:10.1007/978-3-642-33666-9_49.
LibreCat
| Files available
| DOI