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
@inproceedings{Jungmann_Kleinjohann_Kleinjohann_Bieshaar_2012, title={Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems}, booktitle={Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE)}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Elisabeth and Bieshaar, Maarten}, year={2012}, pages={22–29} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 622
@inproceedings{Arifulina_Engels_Soltenborn_2012, series={Electronic Communications of the EASST}, title={Coverage Criteria for Testing DMM Specifications}, DOI={10.14279/tuj.eceasst.47.718}, booktitle={Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)}, author={Arifulina, Svetlana and Engels, Gregor and Soltenborn, Christian}, year={2012}, collection={Electronic Communications of the EASST} }
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 624
@book{Jakobs_2012, title={Change and Validity Analysis in Deductive Program Verification}, publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 625
@inproceedings{Schmid_Avin_Scheideler_Häupler_Lotker_2012, series={LNCS}, title={Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures}, DOI={10.1007/978-3-642-33651-5_47}, booktitle={Proceedings of the 26th International Symposium on Distributed Computing (DISC)}, author={Schmid, Stefan and Avin, Chen and Scheideler, Christian and Häupler, Bernhard and Lotker, Zvi}, year={2012}, pages={439–440}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 626
@inproceedings{Kniesburges_Scheideler_2012, series={LNCS}, title={Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems}, DOI={10.1007/978-3-642-33651-5_45}, booktitle={Proceedings of the 26th International Symposium on Distributed Computing (DISC)}, author={Kniesburges, Sebastian and Scheideler, Christian}, year={2012}, pages={435–436}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 627
@inproceedings{Wonisch_2012, series={LNCS}, title={Block Abstraction Memoization for CPAchecker}, DOI={10.1007/978-3-642-28756-5_41}, booktitle={Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}, author={Wonisch, Daniel}, year={2012}, pages={531–533}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 628
@inproceedings{Cord-Landwehr_Huellmann (married name: Eikel)_Kling_Setzer_2012, series={LNCS}, title={Basic Network Creation Games with Communication Interests}, DOI={10.1007/978-3-642-33996-7_7}, booktitle={Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT)}, author={Cord-Landwehr, Andreas and Huellmann (married name: Eikel), Martina and Kling, Peter and Setzer, Alexander}, year={2012}, pages={72--83}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 630
@inproceedings{Platenius_von Detten_Becker_2012, title={Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies}, DOI={10.1109/CSMR.2012.33}, booktitle={Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR)}, author={Platenius, Marie Christin and von Detten, Markus and Becker, Steffen}, year={2012}, pages={255–264} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 631
@inproceedings{von Detten_2012, title={Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction}, DOI={10.1109/WCRE.2012.61}, booktitle={Proceedings of the 19th Working Conference on Reverse Engineering (WCRE)}, author={von Detten, Markus}, year={2012}, pages={503–504} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 636
@inproceedings{Meyer auf der Heide_Pietrzyk_Kling_2012, series={LNCS}, title={An Algorithm for Facility Leasing}, DOI={10.1007/978-3-642-31104-8_6}, booktitle={Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO)}, author={Meyer auf der Heide, Friedhelm and Pietrzyk, Peter and Kling, Peter}, year={2012}, pages={61–72}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 639
@inproceedings{Huma_Gerth_Engels_Juwig_2012, series={CEUR Workshop Proceedings}, title={A UML-based Rich Service Description for Automatic Service Discovery}, booktitle={Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2012}, pages={90--97}, collection={CEUR Workshop Proceedings} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 4483
@inproceedings{Jenert_Brahm_2012, title={“ Nur” didaktisch oder auch strategisch?: Strukturelle Verankerung, Aufgaben-und Wirksamkeitswahrnehmungen hochschuldidaktischer Einrichtungen in Deutschland}, publisher={Deutsche Gesellschaft für Hochschuldidaktik dghd}, author={Jenert, Tobias and Brahm, Taiga}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 4511
@inbook{Jenert_2012, place={Bielefeld}, series={Blickpunkt Hochschuldidaktik }, title={Programmgestaltung als professionelle Aufgabe der Hochschulentwicklung: Gestaltungsmodell und Fallstudie}, booktitle={Einführung in die Studiengangentwicklung }, publisher={W. Bertelsmann Verlag }, author={Jenert, Tobias}, editor={Brinker, Tobina and Tremp , PeterEditors}, year={2012}, pages={27–44}, collection={Blickpunkt Hochschuldidaktik } }
LibreCat
2012 | Book Chapter | LibreCat-ID: 4512
@inbook{Jenert_Fust_2012, place={Bern}, edition={1}, series={Forum Hochschuldidaktik und Erwachsenenbildung }, title={Studierende (als) Kunden?: Zum Umgang mit einer herausfordernden Beziehung zwischen Lehrenden und Lernenden}, volume={3}, booktitle={Lernendenorientierung: Studierende im Fokus}, publisher={hep verlag ag }, author={Jenert, Tobias and Fust, Alexander}, editor={Zimmermann, Tobias and Zellweger, FranziskaEditors}, year={2012}, pages={63–86}, collection={Forum Hochschuldidaktik und Erwachsenenbildung } }
LibreCat
2012 | Book Chapter | LibreCat-ID: 4631
@inbook{Feng_Heiler_2012, place={Heidelberg}, title={Locally Weighted Autoregression}, DOI={10.1007/978-3-642-47027-1_10}, booktitle={Econometrics in Theory and Practice}, publisher={Physica-Verlag HD}, author={Feng, Yuanhua and Heiler, Siegfried}, year={2012}, pages={101–117} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 4704
@inproceedings{Becker_Matzner_Müller_Walter_2012, title={A review of event formats as enablers of event-driven BPM}, DOI={10.1007/978-3-642-28108-2_42}, number={PART 1}, booktitle={Lecture Notes in Business Information Processing}, author={Becker, Jörg and Matzner, Martin and Müller, Oliver and Walter, Marcel}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 4705
@inproceedings{Friedenstab_Janiesch_Matzner_Müller_2012, title={Extending BPMN for business activity monitoring}, DOI={10.1109/HICSS.2012.276}, booktitle={Hawaii International Conference on System Sciences}, author={Friedenstab, Jan Philipp and Janiesch, Christian and Matzner, Martin and Müller, Oliver}, year={2012} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7312
@article{Beckel_Zhou_Marquardt_Reuter_Wieck_Geller_Lorke_2012, title={Momentum matching in the tunneling between 2-dimensional and 0-dimensional electron systems}, volume={100}, DOI={10.1063/1.4728114}, number={23232110}, journal={Applied Physics Letters}, publisher={AIP Publishing}, author={Beckel, Andreas and Zhou, Daming and Marquardt, Bastian and Reuter, Dirk and Wieck, Andreas D. and Geller, Martin and Lorke, Axel}, year={2012} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7345
@article{Engels_Whittle_2012, title={Ten years of software and systems modeling}, volume={11}, DOI={10.1007/s10270-012-0287-3}, number={4}, journal={Software & Systems Modeling}, publisher={Springer Nature}, author={Engels, Gregor and Whittle, Jon }, year={2012}, pages={463–465} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 7557
@inbook{Mlynarski_Güldali_Weißleder_Engels_2012, series={Advances in Computers}, title={Model-Based Testing: Achievements and Future Challenges}, volume={86}, DOI={http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6}, booktitle={Advances in Computers}, publisher={Elsevier}, author={Mlynarski, Michael and Güldali, Baris and Weißleder, Stephan and Engels, Gregor}, editor={ Hurson, Ali and Memon, AtifEditors}, year={2012}, pages={1–39}, collection={Advances in Computers} }
LibreCat
| DOI