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.
9812 Publications
2012 | Conference Paper | LibreCat-ID: 8055
@inproceedings{Becker_Luckey_Becker_2012, place={New York, NY, USA}, series={QoSA’12}, title={Model-driven Performance Engineering of Self-Adaptive Systems: A Survey}, booktitle={Proceedings of the International Conference on Quality of Software Architecture}, publisher={ACM}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2012}, collection={QoSA’12} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8056
@inproceedings{Huma_Gerth_Engels_Juwig_2012, place={Berlin/Heidelberg}, series={LNCS}, title={Towards an Automatic Service Discovery for UML-based Rich Service Descriptions}, volume={7590}, DOI={http://dx.doi.org/10.1007/978-3-642-33666-9_45}, booktitle={Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS’12)}, publisher={Springer-Verlag}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2012}, pages={709–725}, collection={LNCS} }
LibreCat
| DOI
2012 | Book | LibreCat-ID: 8226
@book{Kremer_Engels_Hofmann_Hohwiller_E. Nandico_Nötzold_Prott_Schlegel_Seidl_Wolf_2012, title={Quasar 3.0 - A Situational Approach to Software Engineering}, publisher={Capgemini CSD Research, Offenbach 2012}, author={Kremer, Marion and Engels, Gregor and Hofmann, Alexander and Hohwiller, Jörg and E. Nandico, Oliver and Nötzold, Thomas and Prott, Karl and Schlegel, Diethelm and Seidl, Andreas and Wolf, Thomas}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 570
@article{Jacob_Ritscher_Scheideler_Schmid_2012, title={Towards higher-dimensional topological self-stabilization: A distributed algorithm for Delaunay graphs}, DOI={10.1016/j.tcs.2012.07.029}, journal={Theoretical Computer Science}, publisher={Elsevier}, author={Jacob, Riko and Ritscher, Stephan and Scheideler, Christian and Schmid, Stefan}, year={2012}, pages={137–148} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 572
@inproceedings{Huma_Gerth_Engels_Juwig_2012, series={LNCS}, title={Towards an Automatic Service Discovery for UML-based Rich Service Descriptions}, DOI={10.1007/978-3-642-33666-9_45}, booktitle={Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS)}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2012}, pages={709--725}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 573
@inproceedings{Arifulina_2012, series={CEUR Workshop Proceedings}, title={Towards a Framework for the Integration of Modeling Languages}, booktitle={Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))}, author={Arifulina, Svetlana}, editor={W. Eisenecker, Ulrich and Bucholdt, ChristianEditors}, year={2012}, pages={23--26}, collection={CEUR Workshop Proceedings} }
LibreCat
| Files available
2012 | Journal Article | LibreCat-ID: 574
@article{Clouser_Nesterenko_Scheideler_2012, title={Tiara: A self-stabilizing deterministic skip list and skip graph}, DOI={10.1016/j.tcs.2011.12.079}, journal={Theoretical Computer Science}, publisher={Elsevier}, author={Clouser, Thomas and Nesterenko, Mikhail and Scheideler, Christian}, year={2012}, pages={18–35} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 5753
@inproceedings{Nagel_Gerth_Yigitbas_Christ_Engels_2012, title={Model-driven specification of adaptive cloud-based systems}, DOI={10.1145/2446224.2446228}, booktitle={Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2012), Innsbruck, Austria, October 01 - 05, 2012}, author={Nagel, Benjamin and Gerth, Christian and Yigitbas, Enes and Christ, Fabian and Engels, Gregor}, year={2012}, pages={4} }
LibreCat
| DOI
2012 | Mastersthesis | LibreCat-ID: 5760
@book{Yigitbas_2012, title={Entwicklung eines Monitoring- und Adaptionskonzeptes für Geschäftsprozesse in service-orientierten Systemen}, author={Yigitbas, Enes}, year={2012} }
LibreCat
2012 | Conference (Editor) | LibreCat-ID: 577
@book{Richa_Scheideler_2012, title={Stabilization, Safety, and Security of Distributed Systems}, DOI={10.1007/978-3-642-33536-5}, year={2012} }
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 579
@article{Damerow_Manthey_Meyer auf der Heide_Räcke_Scheideler_Sohler_Tantau_2012, title={Smoothed analysis of left-to-right maxima with applications}, DOI={10.1145/2229163.2229174}, number={3}, journal={Transactions on Algorithms}, publisher={ACM}, author={Damerow, Valentina and Manthey, Bodo and Meyer auf der Heide, Friedhelm and Räcke, Harald and Scheideler, Christian and Sohler, Christian and Tantau, Till}, year={2012}, pages={30} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 580
@inproceedings{Cord-Landwehr_Kling_Mallmann Trenn_2012, series={LNCS}, title={Slow Down & Sleep for Profit in Online Deadline Scheduling}, DOI={10.1007/978-3-642-34862-4_17}, booktitle={Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg)}, author={Cord-Landwehr, Andreas and Kling, Peter and Mallmann Trenn, Fredrik}, editor={Even, Guy and Rawitz, DrorEditors}, year={2012}, pages={218–231}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 581
@inproceedings{Drees_Hüllmann (married name: Eikel)_Koutsopoulos_Scheideler_2012, title={Self-Organizing Particle Systems}, DOI={10.1109/IPDPS.2012.116}, booktitle={Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS)}, author={Drees, Maximilian and Hüllmann (married name: Eikel), Martina and Koutsopoulos, Andreas and Scheideler, Christian}, year={2012}, pages={1272–1283} }
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 582
@book{Strothmann_2012, title={Self-Optimizing Binary Search Trees - A Game Theoretic Approach}, publisher={Universität Paderborn}, author={Strothmann, Thim Frederik}, year={2012} }
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 584
@book{Hohenberger_2012, title={Queuing Latency at Cooperative Base Stations}, publisher={Universität Paderborn}, author={Hohenberger, Till}, year={2012} }
LibreCat
2012 | Dissertation | LibreCat-ID: 586 | 
@book{Drzevitzky_2012, title={Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security}, publisher={Universität Paderborn}, author={Drzevitzky, Stephanie}, year={2012} }
LibreCat
| Files available
| Download (ext.)
2012 | Misc | LibreCat-ID: 587
@book{Plessl_Platzner_Agne_Happe_Lübbers_2012, title={Programming models for reconfigurable heterogeneous multi-cores}, publisher={Awareness Magazine}, author={Plessl, Christian and Platzner, Marco and Agne, Andreas and Happe, Markus and Lübbers, Enno}, year={2012} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 590
@inproceedings{Wonisch_Wehrheim_2012, series={LNCS}, title={Predicate Analysis with Block-Abstraction Memoization}, DOI={10.1007/978-3-642-34281-3_24}, booktitle={Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM)}, author={Wonisch, Daniel and Wehrheim, Heike}, year={2012}, pages={332–347}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 593
@book{Rojahn_2012, title={Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten}, publisher={Universität Paderborn}, author={Rojahn, Tobias}, year={2012} }
LibreCat
2012 | Dissertation | LibreCat-ID: 601
@book{Kempkes_2012, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Local strategies for robot formation problems}, volume={302}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Kempkes, Barbara}, year={2012}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2012 | Report | LibreCat-ID: 603
@book{Wette_Karl_2012, title={Introducing feedback to preemptive routing and wavelength assignment algorithms for dynamic traffic scenarios}, publisher={Universität Paderborn}, author={Wette, Philip and Karl, Holger}, year={2012} }
LibreCat
| Files available
2012 | Bachelorsthesis | LibreCat-ID: 606
@book{Löken_2012, title={Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas}, publisher={Universität Paderborn}, author={Löken, Nils}, year={2012} }
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 607
@book{Haarhoff_2012, title={Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2}, publisher={Universität Paderborn}, author={Haarhoff, Thomas}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 608
@inproceedings{Timm_Wehrheim_Czech_2012, series={LNCS}, title={Heuristic-Guided Abstraction Refinement for Concurrent Systems}, DOI={10.1007/978-3-642-34281-3_25}, booktitle={Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM)}, author={Timm, Nils and Wehrheim, Heike and Czech, Mike}, year={2012}, pages={348–363}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 619
@inproceedings{Brandes_Meyer auf der Heide_2012, series={ICPS}, title={Distributed Computing in Fault-Prone Dynamic Networks}, DOI={10.1145/2414815.2414818}, booktitle={Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS)}, author={Brandes, Philipp and Meyer auf der Heide, Friedhelm}, year={2012}, pages={9–14}, collection={ICPS} }
LibreCat
| Files available
| DOI
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 | Conference Paper | LibreCat-ID: 623
@inproceedings{Richa_Scheideler_Schmid_Zhang_2012, title={Competitive and fair throughput for co-existing networks under adversarial interference}, DOI={10.1145/2332432.2332488}, booktitle={Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC)}, author={Richa, Andrea W. and Scheideler, Christian and Schmid, Stefan and Zhang, Jin }, year={2012}, pages={291–300} }
LibreCat
| Files available
| DOI
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 | Journal Article | LibreCat-ID: 6250
@article{Paelke_Nebe_Geiger_Klompmaker_Fischer_2012, title={Multi-Modal, Multi-Touch Interaction with Maps in Disaster Management Applications}, volume={XXXIX-B8}, DOI={10.5194/isprsarchives-xxxix-b8-55-2012}, journal={ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences}, publisher={Copernicus GmbH}, author={Paelke, Volker and Nebe, Karsten and Geiger, Christian and Klompmaker, Florian and Fischer, Holger Gerhard}, year={2012}, pages={55–60} }
LibreCat
| 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: 6285
@inproceedings{Paelke_Nebe_Geiger_Klompmaker_Fischer_2012, title={Designing Multi-Modal Map-Based Interfaces for Disaster Management}, booktitle={Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI)}, publisher={IARIA}, author={Paelke, Volker and Nebe, Karsten and Geiger, Christian and Klompmaker, Florian and Fischer, Holger Gerhard}, year={2012}, pages={95–100} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6286
@inproceedings{Klompmaker_Fischer_Jung_2012, title={Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops}, booktitle={Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI)}, publisher={IARIA}, author={Klompmaker, Florian and Fischer, Holger Gerhard and Jung, Helge}, year={2012}, pages={141–144} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6288
@inproceedings{Fischer_2012, title={Integrating usability engineering in the software development lifecycle based on international standards}, DOI={10.1145/2305484.2305541}, booktitle={Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS ’12}, publisher={ACM Press}, author={Fischer, Holger Gerhard}, year={2012} }
LibreCat
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 629
@book{Schleiter_2012, title={Attribute-basierte Verschlüsselung}, publisher={Universität Paderborn}, author={Schleiter, Patrick}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6290
@inproceedings{Fischer_Klompmaker_2012, title={Enriching Disaster Control Management based on Human-Computer Design}, booktitle={Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM)}, publisher={ISCRAM Digital Library}, author={Fischer, Holger Gerhard and Klompmaker, Florian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6291
@inproceedings{Fischer_Geis_Kluge_Bogner_Polkehn_2012, title={Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten}, booktitle={Jahresband Usability Professionals}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis, Thomas and Kluge, Oliver and Bogner, Christian and Polkehn, Knut}, year={2012}, pages={160–165} }
LibreCat
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 | Report | LibreCat-ID: 6312
@book{Behrenbruch_Bogner_Fischer_Geis_Geitner_Heimgärtner_Hofmann_Hunkirchen_Kluge_Litzenberg_et al._2012, title={German UPA Qualitätsstandard für Usability Engineering}, author={Behrenbruch, Kay and Bogner, Christian and Fischer, Holger Gerhard and Geis, Thomas and Geitner, Claudia and Heimgärtner, Rüdiger and Hofmann, Britta and Hunkirchen, Peter and Kluge, Oliver and Litzenberg, Britta and et al.}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 632
@inproceedings{Kolman_Scheideler_2012, title={Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case}, DOI={10.1137/1.9781611973099.64}, booktitle={Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA)}, author={Kolman, Petr and Scheideler, Christian}, year={2012}, pages={800–810} }
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 | Bachelorsthesis | LibreCat-ID: 638
@book{Eidens_2012, title={Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken}, publisher={Universität Paderborn}, author={Eidens, Fabian}, year={2012} }
LibreCat
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: 640
@inproceedings{Kniesburges_Koutsopoulos_Scheideler_2012, title={A Self-Stabilization Process for Small-World Networks}, DOI={10.1109/IPDPS.2012.115}, booktitle={Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS)}, author={Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian}, year={2012}, pages={1261--1271} }
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 7339
@article{Dumslaff_Engels_Kremer_2012, title={IT ist nicht gleich IT: Ein Plädoyer für eine situationsbezogene Softwareentwicklung}, number={Nr. 5}, journal={OBJEKTspektrum}, author={Dumslaff, Uwe and Engels, Gregor and Kremer, Marion}, year={2012}, pages={52–57} }
LibreCat
2012 | Journal Article | LibreCat-ID: 7340
@article{Luckey_Erwig_Engels_2012, title={Systematic evolution of model-based spreadsheet applications}, volume={23}, DOI={10.1016/j.jvlc.2011.11.009}, number={5}, journal={Journal of Visual Languages & Computing}, publisher={Elsevier BV}, author={Luckey, Markus and Erwig, Martin and Engels, Gregor}, year={2012}, pages={267–286} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7342
@article{Chernilovskaya_Gehrke_van Rooijen_2012, title={Generalized Kripke semantics for the Lambek-Grishin calculus}, volume={20}, DOI={10.1093/jigpal/jzr051}, number={6}, journal={Logic Journal of IGPL}, publisher={Oxford University Press (OUP)}, author={Chernilovskaya, Anna and Gehrke, Mai and van Rooijen, Lorijn}, year={2012}, pages={1110–1132} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 7344
@article{Grieger_Güldali_Sauer_2012, title={Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung}, volume={32}, number={2}, journal={Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR)}, author={Grieger, Marvin and Güldali, Baris and Sauer, Stefan}, year={2012}, pages={37–38} }
LibreCat
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 | Journal Article | LibreCat-ID: 7351
@article{Christ_Nagel_Bachman-Gmür_Westenthaler_2012, title={Semantisches Content Management}, volume={8}, journal={JavaMagazin}, author={Christ, Fabian and Nagel, Benjamin and Bachman-Gmür, Reto and Westenthaler, Rupert}, year={2012}, pages={96–100} }
LibreCat
2012 | Journal Article | LibreCat-ID: 7352
@article{Geisen_Güldali_2012, title={Agiles Testen in Scrum – Testtypen und Abläufe}, number={Agility/2012}, journal={OBJEKTspektrum (Online Themenspecials)}, author={Geisen, Silke and Güldali, Baris}, year={2012}, pages={1–4} }
LibreCat
2012 | Book | LibreCat-ID: 7507
@book{Kremer_Engels_Hofmann_Hohwiller_E. Nandico_Nötzold_Prott_Schlegel_Seidl_Wolf_2012, title={Quasar 3.0 - A Situational Approach to Software Engineering}, publisher={Capgemini CSD Research, Offenbach 2012}, author={Kremer, Marion and Engels, Gregor and Hofmann, Alexander and Hohwiller, Jörg and E. Nandico, Oliver and Nötzold, Thomas and Prott, Karl and Schlegel, Diethelm and Seidl, Andreas and Wolf, Thomas}, year={2012} }
LibreCat
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
2012 | Dissertation | LibreCat-ID: 7572
@book{Christ_2012, title={Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen}, publisher={Universität Paderborn}, author={Christ, Fabian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8473
@inproceedings{Gerth_Luckey_2012, series={Softwaretechnik-Trends}, title={Towards Rich Change Management for Business Process Models}, volume={32}, number={4}, booktitle={Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12)}, publisher={FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)}, author={Gerth, Christian and Luckey, Markus }, year={2012}, pages={32–34}, collection={Softwaretechnik-Trends} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8475
@inproceedings{Huma _Gerth _Engels_Juwig_2012, series={CEUR Workshop Proceedings}, title={A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners}, volume={855}, DOI={http://ceur-ws.org/Vol-855/paper11.pdf}, booktitle={Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering}, publisher={CEUR-WS.org}, author={Huma , Zille and Gerth , Christian and Engels, Gregor and Juwig, Oliver }, year={2012}, pages={90--97}, collection={CEUR Workshop Proceedings} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8476
@inproceedings{Luckey _Mutz_2012, title={Modeling with Adapt Cases}, booktitle={Repository for Model-Driven Development (ReMoDD)}, author={Luckey , Markus and Mutz, Felix }, editor={University of PaderbornEditor}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8477
@inproceedings{Geisen _Luckey _Engels_2012, title={Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden}, booktitle={Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle}, publisher={Shaker Verlag}, author={Geisen , Silke and Luckey , Markus and Engels, Gregor}, year={2012}, pages={111–120} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8478
@inproceedings{Arifulina_2012, series={CEUR Workshop Proceedings}, title={Towards a Framework for the Integration of Modeling Languages}, volume={935}, booktitle={Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))}, publisher={CEUR-WS.org}, author={Arifulina, Svetlana }, year={2012}, pages={23–26}, collection={CEUR Workshop Proceedings} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8479
@inproceedings{Güldali _Sauer_Löhr_2012, title={Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme}, volume={32}, number={2}, booktitle={Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)}, publisher={Softwaretechnik-Trends}, author={Güldali , Baris and Sauer, Stefan and Löhr, Perdita }, year={2012}, pages={5–6} }
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 8480
@inproceedings{Mussbacher _Alam _Alhaj _Ali _Amálio _Barn _Bræk _Clark _Combemale _Cysneiros _et al._2012, place={New York, NY, USA}, series={CMA’12}, title={Assessing composition in modeling approaches}, DOI={https://dl.acm.org/citation.cfm?id=2459032}, booktitle={Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)}, publisher={ACM}, author={Mussbacher , Gunter and Alam , Omar and Alhaj , Mohammed and Ali , Shaukat and Amálio , Nuno and Barn , Balbir and Bræk , Rolv and Clark , Tony and Combemale , Benoit and Cysneiros , Luiz Marcio and et al.}, year={2012}, collection={CMA’12} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8483
@inproceedings{Luckey _Thanos _Gerth_Engels_2012, title={Multi-Staged Quality Assurance for Self-Adaptive Systems}, booktitle={Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12}, author={Luckey , Markus and Thanos , Christian and Gerth, Christian and Engels, Gregor}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8484
@inproceedings{Geisen_2012, title={Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt}, volume={Report 01/12}, booktitle={Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium}, publisher={Petra Hofstedt, Claus Lewerentz (BTU Cottbus)}, author={Geisen, Silke }, year={2012}, pages={7–12} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8548
@inproceedings{Liebendörfer_Hochmuth_2012, place={Münster}, title={Mathematikinteresse im 1. Studiensemester}, volume={1}, booktitle={Beiträge zum Mathematikunterricht 2012 : Vorträge auf der 46. Tagung für Didaktik der Mathematik}, publisher={WTM-Verlag}, author={Liebendörfer, Michael and Hochmuth, Reinhard}, year={2012}, pages={545–548} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 8552
@inproceedings{Biehler_Hoppenbrock_Klemm_Liebendörfer_Wassong_2012, title={Training of student teaching assistants and e-learning via math-bridge – Two projects at the German Centre for Higher Mathematics Education}, booktitle={CETL-MSOR Conference 2011}, author={Biehler, Rolf and Hoppenbrock, Axel and Klemm, Juliane and Liebendörfer, Michael and Wassong, Thomas}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 8556
@article{Hausen_Liebendörfer_2012, title={The Cox ring of the space of complete rank two collineations}, volume={285}, DOI={10.1002/mana.201100043}, number={8–9}, journal={Mathematische Nachrichten}, author={Hausen, Jürgen and Liebendörfer, Michael}, year={2012}, pages={974–980} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 5183
@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State Runtime Monitors Ahead of Time}, volume={34}, DOI={10.1145/2220365.2220366}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren, Laurie}, year={2012}, pages={1–52} }
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
@inproceedings{Besova_Walther_Wehrheim_Becker_2012, series={LNCS}, title={Weaving-based configuration and modular transformation of multi-layer systems}, DOI={10.1007/978-3-642-33666-9_49}, booktitle={Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS)}, author={Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen}, year={2012}, pages={776–792}, collection={LNCS} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 6720
@inproceedings{Böttcher_Hartel_Heindorf_2012, series={{CRPIT}}, title={Optimized XPath evaluation for Schema-compressed XML data}, volume={124}, booktitle={ADC}, publisher={Australian Computer Society}, author={Böttcher, Stefan and Hartel, Rita and Heindorf, Stefan}, year={2012}, pages={137–144}, collection={{CRPIT}} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6742
@inproceedings{Böttcher_Bokermann_Hartel_2012, title={Generalizing and Improving SQL/XML Query Evaluation}, DOI={10.1109/sitis.2012.72}, booktitle={8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12)}, publisher={IEEE}, author={Böttcher, Stefan and Bokermann, Dennis and Hartel, Rita}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 6855
@inproceedings{Leers_Preiss_Ferretti_Krauter_2012, title={Measurement of spectral-spatial distribution of global irradiance}, DOI={10.1109/pvsc.2011.6186315}, booktitle={2011 37th IEEE Photovoltaic Specialists Conference}, publisher={IEEE}, author={Leers, Mathias and Preiss, Alexander and Ferretti, Nicoletta and Krauter, Stefan}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 6892
@inproceedings{Krauter_Lang_2012, title={Suitable test procedure for electrical energy storage in PV operation mode – implementation and implication}, booktitle={7th International Renewable Energy Storage Conference (IRES 2012), Berlin (Germany), 12.-14. November 2012}, author={Krauter, Stefan and Lang, o.}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6893
@inproceedings{Krauter_2012, title={PV 3.0}, booktitle={Proceedings of the 27th European Photovoltaic Solar Energy Conference and Exhibition, Frankfurt a. M. (Germany), 24.-28. September 2012, pp. 4520-4522}, author={Krauter, Stefan}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6895
@inproceedings{Krauter_Chen_2012, title={Technical Assurance for High Reliable PV Modules via PI Testing}, booktitle={Proceedings of 6th International Photovoltaic Power Generation Conference SNEC 2012, Shanghai (China), 16.-18. June 2012}, author={Krauter, Stefan and Chen, S.}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 6897
@article{Krauter_2012, title={Solar PV in Latin America.}, number={April}, journal={PV Magazine April 2012}, author={Krauter, Stefan}, year={2012}, pages={8} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6898
@inproceedings{Koch_Berghold_Okoroafor_Krauter_Grunow_2012, title={Encapsulation influence on the potentialinduced degradation of crystalline silicon cells with selective emitter structures.}, booktitle={Proceedings of the 27th European Photovoltaic Solar Energy Conference and Exhibition, Frankfurt a. M. (Germany), 24.-28. September 2012, pp. 1991-1995 }, author={Koch, S. and Berghold, J. and Okoroafor, O. and Krauter, Stefan and Grunow, Paul}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6899
@inproceedings{Koch_Nieschalk_Berghold_Wendlandt_Krauter_Grunow_2012, title={Potential induced degradation effects on crystalline silicon cells with various antireflection coatings}, booktitle={Proceedings of the 27th European Photovoltaic Solar Energy Conference and Exhibition, Frankfurt a. M. (Germany), 24.-28. September 2012, pp. 1985-1990}, author={Koch, S. and Nieschalk, D. and Berghold, J. and Wendlandt, S. and Krauter, Stefan and Grunow, Paul}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6901
@inproceedings{Bouyraaman_Bendfeld_Krauter_2012, title={Storage System Strategies to optimize the Offshore-Wind Farm feed-in Fluctuations}, booktitle={Proceedings of the IRES 2012 (7th International Renewable Energy Storage Conference and Exhibition), Berlin, Germany, 12.-14. November 2012}, author={Bouyraaman, Yassin and Bendfeld, Jörg and Krauter, Stefan}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6902
@inproceedings{Bouyraaman_Bendfeld_Navratil_Tigges_2012, title={Reduction of of Offshore-Wind power feed-in Fluctuations via Power to Gas Storage Systems}, booktitle={Proceedings of the DEWEK 2012}, author={Bouyraaman, Yassin and Bendfeld, Jörg and Navratil, Karl and Tigges, Martin}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6903
@inproceedings{Bouyraaman_Thiele_Krauter_2012, title={Lösungsaspekte zur Weiterentwicklung des deutschen Regelenergiemarktes hinsichtlich der Integration erneuerbarer Energien.}, booktitle={Zukunftsperspektiven für den Regelenergiemarkt Strom 2012 – IQPC, Berlin, Germany, August 2012}, author={Bouyraaman, Yassin and Thiele, C. and Krauter, Stefan}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6904
@inproceedings{Bouyraaman_Bendfeld_Krauter_2012, title={Increased Availability of Offshore Wind Power by Storage System}, booktitle={Proceedings of the WWEC 2012 (11th World Wind Energy Conference 2012), Bonn, Germany, Juli 2012}, author={Bouyraaman, Yassin and Bendfeld, Jörg and Krauter, Stefan}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6905
@inproceedings{Bendfeld_Balluff_Bouyraaman_2012, title={Analysis of Selected Offshore Fog Occurrences. }, booktitle={Proceedings of the DEWEK 2012}, author={Bendfeld, Jörg and Balluff, Stefan and Bouyraaman, Yassin}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6906
@inproceedings{Bendfeld_Balluff_Liebing_2012, title={Analyse ausgewählter Nebelereignisse für Offshore-Standorte}, booktitle={Wissenschaftliche Verhandlungen 2012 der Deutschen Physikalischen Gesellschaft, Berlin, März 2012}, author={Bendfeld, Jörg and Balluff, Stefan and Liebing, B.}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6907
@inproceedings{Bendfeld_2012, title={Vergleich der Sichtweitenmesstechnik für den Offshore-Einsatz. }, booktitle={Wissenschaftliche Verhandlungen 2012 der Deutschen Physikalischen Gesellschaft, Berlin, März 2012}, author={Bendfeld, Jörg}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6908
@inproceedings{Bendfeld_Tigges_2012, title={Minimising Feed-in Fluctuaions of Offshore Wind Farms with Biogas fired Turbines}, booktitle={World Renewable Energy Forum 2012, Denver, USA, Mai 2012}, author={Bendfeld, Jörg and Tigges, Martin}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6909
@inproceedings{Bendfeld_Navratil_2012, title={Empowering Offshore Windfarms by Reliable Measurements}, booktitle={World Renewable Energy Forum 2012, Denver, USA, Mai 2012}, author={Bendfeld, Jörg and Navratil, Karl}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6910
@inproceedings{Bendfeld_2012, title={Cost effective Wave measurements for Ocean Energy. }, booktitle={World Renewable Energy Forum 2012, Denver, USA, Mai 2012}, author={Bendfeld, Jörg}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6911
@inproceedings{Bendfeld_Balluff_2012, title={Analysis of selected Offshore Fog Occurrences}, booktitle={Proceedings of the DEWEK 2012}, author={Bendfeld, Jörg and Balluff, Stefan}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 6912
@inproceedings{Bendfeld_2012, title={Determination of the meteorological optical range in Offshore conditions.}, booktitle={Proceedings of the DEWEK 2012}, author={Bendfeld, Jörg}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 16445
@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Continuous Local Strategies for Robotic Formation Problems}, DOI={10.1007/978-3-642-30850-5_2}, booktitle={Experimental Algorithms}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16446
@inproceedings{Kempkes_Kling_Meyer auf der Heide_2012, title={Optimal and competitive runtime bounds for continuous, local gathering of mobile robots}, DOI={10.1145/2312005.2312009}, booktitle={Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA ’12}, author={Kempkes, Barbara and Kling, Peter and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16448
@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Local, Self-organizing Strategies for Robotic Formation Problems}, DOI={10.1007/978-3-642-28209-6_2}, booktitle={Algorithms for Sensor Systems}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16516
@inbook{Baier_Molo_2012, place={Berlin, Heidelberg}, title={Newton’s Method and Secant Method for Set-Valued Mappings}, DOI={10.1007/978-3-642-29843-1_9}, booktitle={Large-Scale Scientific Computing}, author={Baier, Robert and Molo, Mirko Hessel-von}, year={2012} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16576
@inbook{Dellnitz_Dignath_Flaßkamp_Molo_Krüger_Timmermann_Zheng_2012, place={Berlin, Heidelberg}, title={Modelling and Analysis of the Nonlinear Dynamics of the Transrapid and Its Guideway}, DOI={10.1007/978-3-642-25100-9_14}, booktitle={Mathematics in Industry}, author={Dellnitz, Michael and Dignath, Florian and Flaßkamp, Kathrin and Molo, Mirko Hessel-von and Krüger, Martin and Timmermann, Robert and Zheng, Qinghua}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16589
@inproceedings{Flaskamp_Ober-Blobaum_2012, title={Energy efficient control for mechanical systems based on inherent dynamical structures}, DOI={10.1109/acc.2012.6314820}, booktitle={2012 American Control Conference (ACC)}, author={Flaskamp, K. and Ober-Blobaum, S.}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16591
@inproceedings{Flasskamp_Murphey_Ober-Blobaum_2012, title={Switching time optimization in discretized hybrid dynamical systems}, DOI={10.1109/cdc.2012.6426414}, booktitle={2012 IEEE 51st IEEE Conference on Decision and Control (CDC)}, author={Flasskamp, Kathrin and Murphey, Todd and Ober-Blobaum, Sina}, year={2012} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 16592
@article{Flaßkamp_Ober-Blöbaum_Kobilarov_2012, title={Solving Optimal Control Problems by Exploiting Inherent Dynamical Systems Structures}, DOI={10.1007/s00332-012-9140-7}, journal={Journal of Nonlinear Science}, author={Flaßkamp, Kathrin and Ober-Blöbaum, Sina and Kobilarov, Marin}, year={2012}, pages={599–629} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 16593
@article{Flaßkamp_Timmermann_Ober-Blöbaum_Dellnitz_Trächtler_2012, title={Optimal Control on Stable Manifolds for a Double Pendulum}, DOI={10.1002/pamm.201210350}, journal={PAMM}, author={Flaßkamp, Kathrin and Timmermann, Julia and Ober-Blöbaum, Sina and Dellnitz, Michael and Trächtler, Ansgar}, year={2012}, pages={723–724} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 16603
@article{Froyland_Horenkamp_Rossi_Santitissadeekorn_Gupta_2012, title={Three-dimensional characterization and tracking of an Agulhas Ring}, DOI={10.1016/j.ocemod.2012.05.001}, journal={Ocean Modelling}, author={Froyland, Gary and Horenkamp, Christian and Rossi, Vincent and Santitissadeekorn, Naratip and Gupta, Alex Sen}, year={2012}, pages={69–75} }
LibreCat
| DOI