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.
9804 Publications
2012 | Journal Article | LibreCat-ID: 574
Tiara: A self-stabilizing deterministic skip list and skip graph
T. Clouser, M. Nesterenko, C. Scheideler, Theoretical Computer Science (2012) 18–35.
LibreCat
| Files available
| DOI
T. Clouser, M. Nesterenko, C. Scheideler, Theoretical Computer Science (2012) 18–35.
2012 | Conference Paper | LibreCat-ID: 5753
Model-driven specification of adaptive cloud-based systems
B. Nagel, C. Gerth, E. Yigitbas, F. Christ, G. Engels, in: 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, 2012, p. 4.
LibreCat
| DOI
B. Nagel, C. Gerth, E. Yigitbas, F. Christ, G. Engels, in: 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, 2012, p. 4.
2012 | Mastersthesis | LibreCat-ID: 5760
Entwicklung eines Monitoring- und Adaptionskonzeptes für Geschäftsprozesse in service-orientierten Systemen
E. Yigitbas, Entwicklung Eines Monitoring- Und Adaptionskonzeptes Für Geschäftsprozesse in Service-Orientierten Systemen, 2012.
LibreCat
E. Yigitbas, Entwicklung Eines Monitoring- Und Adaptionskonzeptes Für Geschäftsprozesse in Service-Orientierten Systemen, 2012.
2012 | Conference (Editor) | LibreCat-ID: 577
Stabilization, Safety, and Security of Distributed Systems
A.W. Richa, C. Scheideler, eds., Stabilization, Safety, and Security of Distributed Systems, 2012.
LibreCat
| Files available
| DOI
A.W. Richa, C. Scheideler, eds., Stabilization, Safety, and Security of Distributed Systems, 2012.
2012 | Journal Article | LibreCat-ID: 579
Smoothed analysis of left-to-right maxima with applications
V. Damerow, B. Manthey, F. Meyer auf der Heide, H. Räcke, C. Scheideler, C. Sohler, T. Tantau, Transactions on Algorithms (2012) 30.
LibreCat
| Files available
| DOI
V. Damerow, B. Manthey, F. Meyer auf der Heide, H. Räcke, C. Scheideler, C. Sohler, T. Tantau, Transactions on Algorithms (2012) 30.
2012 | Conference Paper | LibreCat-ID: 580
Slow Down & Sleep for Profit in Online Deadline Scheduling
A. Cord-Landwehr, P. Kling, F. Mallmann Trenn, in: G. Even, D. Rawitz (Eds.), Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg), 2012, pp. 218–231.
LibreCat
| Files available
| DOI
A. Cord-Landwehr, P. Kling, F. Mallmann Trenn, in: G. Even, D. Rawitz (Eds.), Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg), 2012, pp. 218–231.
2012 | Conference Paper | LibreCat-ID: 581
Self-Organizing Particle Systems
M. Drees, M. Hüllmann (married name: Eikel), A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1272–1283.
LibreCat
| Files available
| DOI
M. Drees, M. Hüllmann (married name: Eikel), A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1272–1283.
2012 | Mastersthesis | LibreCat-ID: 582
Self-Optimizing Binary Search Trees - A Game Theoretic Approach
T.F. Strothmann, Self-Optimizing Binary Search Trees - A Game Theoretic Approach, Universität Paderborn, 2012.
LibreCat
T.F. Strothmann, Self-Optimizing Binary Search Trees - A Game Theoretic Approach, Universität Paderborn, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 584
Queuing Latency at Cooperative Base Stations
T. Hohenberger, Queuing Latency at Cooperative Base Stations, Universität Paderborn, 2012.
LibreCat
T. Hohenberger, Queuing Latency at Cooperative Base Stations, Universität Paderborn, 2012.
2012 | Dissertation | LibreCat-ID: 586 |
Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security
S. Drzevitzky, Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security, Universität Paderborn, 2012.
LibreCat
| Files available
| Download (ext.)
S. Drzevitzky, Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security, Universität Paderborn, 2012.
2012 | Misc | LibreCat-ID: 587
Programming models for reconfigurable heterogeneous multi-cores
C. Plessl, M. Platzner, A. Agne, M. Happe, E. Lübbers, Programming Models for Reconfigurable Heterogeneous Multi-Cores, Awareness Magazine, 2012.
LibreCat
| Files available
C. Plessl, M. Platzner, A. Agne, M. Happe, E. Lübbers, Programming Models for Reconfigurable Heterogeneous Multi-Cores, Awareness Magazine, 2012.
2012 | Conference Paper | LibreCat-ID: 590
Predicate Analysis with Block-Abstraction Memoization
D. Wonisch, H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
LibreCat
| Files available
| DOI
D. Wonisch, H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
2012 | Bachelorsthesis | LibreCat-ID: 593
Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten
T. Rojahn, Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten, Universität Paderborn, 2012.
LibreCat
T. Rojahn, Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten, Universität Paderborn, 2012.
2012 | Dissertation | LibreCat-ID: 601
Local strategies for robot formation problems
B. Kempkes, Local Strategies for Robot Formation Problems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat
| Files available
B. Kempkes, Local Strategies for Robot Formation Problems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
2012 | Report | LibreCat-ID: 603
Introducing feedback to preemptive routing and wavelength assignment algorithms for dynamic traffic scenarios
P. Wette, H. Karl, Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios, Universität Paderborn, 2012.
LibreCat
| Files available
P. Wette, H. Karl, Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios, Universität Paderborn, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 606
Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas
N. Löken, Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas, Universität Paderborn, 2012.
LibreCat
N. Löken, Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas, Universität Paderborn, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 607
Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2
T. Haarhoff, Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2, Universität Paderborn, 2012.
LibreCat
T. Haarhoff, Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 608
Heuristic-Guided Abstraction Refinement for Concurrent Systems
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat
| Files available
| DOI
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
2012 | Conference Paper | LibreCat-ID: 619
Distributed Computing in Fault-Prone Dynamic Networks
P. Brandes, F. Meyer auf der Heide, in: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14.
LibreCat
| Files available
| DOI
P. Brandes, F. Meyer auf der Heide, in: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14.
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 | Conference Paper | LibreCat-ID: 623
Competitive and fair throughput for co-existing networks under adversarial interference
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC), 2012, pp. 291–300.
LibreCat
| Files available
| DOI
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC), 2012, pp. 291–300.
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 | Journal Article | LibreCat-ID: 6250
Multi-Modal, Multi-Touch Interaction with Maps in Disaster Management Applications
V. Paelke, K. Nebe, C. Geiger, F. Klompmaker, H.G. Fischer, ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XXXIX-B8 (2012) 55–60.
LibreCat
| DOI
V. Paelke, K. Nebe, C. Geiger, F. Klompmaker, H.G. Fischer, ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XXXIX-B8 (2012) 55–60.
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: 6285
Designing Multi-Modal Map-Based Interfaces for Disaster Management
V. Paelke, K. Nebe, C. Geiger, F. Klompmaker, H.G. Fischer, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), IARIA, 2012, pp. 95–100.
LibreCat
V. Paelke, K. Nebe, C. Geiger, F. Klompmaker, H.G. Fischer, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), IARIA, 2012, pp. 95–100.
2012 | Conference Paper | LibreCat-ID: 6286
Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops
F. Klompmaker, H.G. Fischer, H. Jung, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), IARIA, 2012, pp. 141–144.
LibreCat
F. Klompmaker, H.G. Fischer, H. Jung, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), IARIA, 2012, pp. 141–144.
2012 | Conference Paper | LibreCat-ID: 6288
Integrating usability engineering in the software development lifecycle based on international standards
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS ’12, ACM Press, 2012.
LibreCat
| DOI
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS ’12, ACM Press, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 629
Attribute-basierte Verschlüsselung
P. Schleiter, Attribute-basierte Verschlüsselung, Universität Paderborn, 2012.
LibreCat
P. Schleiter, Attribute-basierte Verschlüsselung, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 6290
Enriching Disaster Control Management based on Human-Computer Design
H.G. Fischer, F. Klompmaker, in: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), ISCRAM Digital Library, 2012.
LibreCat
H.G. Fischer, F. Klompmaker, in: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), ISCRAM Digital Library, 2012.
2012 | Conference Paper | LibreCat-ID: 6291
Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten
H.G. Fischer, T. Geis, O. Kluge, C. Bogner, K. Polkehn, in: Jahresband Usability Professionals, German UPA, 2012, pp. 160–165.
LibreCat
H.G. Fischer, T. Geis, O. Kluge, C. Bogner, K. Polkehn, in: Jahresband Usability Professionals, German UPA, 2012, pp. 160–165.
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 | Report | LibreCat-ID: 6312
German UPA Qualitätsstandard für Usability Engineering
K. Behrenbruch, C. Bogner, H.G. Fischer, T. Geis, C. Geitner, R. Heimgärtner, B. Hofmann, P. Hunkirchen, O. Kluge, B. Litzenberg, R. Molich, K. Polkehn, Y. Pysarenko, D. Zimmermann, German UPA Qualitätsstandard für Usability Engineering, 2012.
LibreCat
K. Behrenbruch, C. Bogner, H.G. Fischer, T. Geis, C. Geitner, R. Heimgärtner, B. Hofmann, P. Hunkirchen, O. Kluge, B. Litzenberg, R. Molich, K. Polkehn, Y. Pysarenko, D. Zimmermann, German UPA Qualitätsstandard für Usability Engineering, 2012.
2012 | Conference Paper | LibreCat-ID: 632
Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case
P. Kolman, C. Scheideler, in: Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA), 2012, pp. 800–810.
LibreCat
| Files available
| DOI
P. Kolman, C. Scheideler, in: Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA), 2012, pp. 800–810.
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 | Bachelorsthesis | LibreCat-ID: 638
Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken
F. Eidens, Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken, Universität Paderborn, 2012.
LibreCat
F. Eidens, Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken, Universität Paderborn, 2012.
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: 640
A Self-Stabilization Process for Small-World Networks
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271.
LibreCat
| Files available
| DOI
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271.
2012 | Journal Article | LibreCat-ID: 7339
IT ist nicht gleich IT: Ein Plädoyer für eine situationsbezogene Softwareentwicklung
U. Dumslaff, G. Engels, M. Kremer, OBJEKTspektrum (2012) 52–57.
LibreCat
U. Dumslaff, G. Engels, M. Kremer, OBJEKTspektrum (2012) 52–57.
2012 | Journal Article | LibreCat-ID: 7340
Systematic evolution of model-based spreadsheet applications
M. Luckey, M. Erwig, G. Engels, Journal of Visual Languages & Computing 23 (2012) 267–286.
LibreCat
| DOI
M. Luckey, M. Erwig, G. Engels, Journal of Visual Languages & Computing 23 (2012) 267–286.
2012 | Journal Article | LibreCat-ID: 7342
Generalized Kripke semantics for the Lambek-Grishin calculus
A. Chernilovskaya, M. Gehrke, L. van Rooijen, Logic Journal of IGPL 20 (2012) 1110–1132.
LibreCat
| DOI
A. Chernilovskaya, M. Gehrke, L. van Rooijen, Logic Journal of IGPL 20 (2012) 1110–1132.
2012 | Journal Article | LibreCat-ID: 7344
Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung
M. Grieger, B. Güldali, S. Sauer, Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR) 32 (2012) 37–38.
LibreCat
M. Grieger, B. Güldali, S. Sauer, Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR) 32 (2012) 37–38.
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 | Journal Article | LibreCat-ID: 7351
Semantisches Content Management
F. Christ, B. Nagel, R. Bachman-Gmür, R. Westenthaler, JavaMagazin 8 (2012) 96–100.
LibreCat
F. Christ, B. Nagel, R. Bachman-Gmür, R. Westenthaler, JavaMagazin 8 (2012) 96–100.
2012 | Journal Article | LibreCat-ID: 7352
Agiles Testen in Scrum – Testtypen und Abläufe
S. Geisen, B. Güldali, OBJEKTspektrum (Online Themenspecials) (2012) 1–4.
LibreCat
S. Geisen, B. Güldali, OBJEKTspektrum (Online Themenspecials) (2012) 1–4.
2012 | Book | LibreCat-ID: 7507
Quasar 3.0 - A Situational Approach to Software Engineering
M. Kremer, G. Engels, A. Hofmann, J. Hohwiller, O. E. Nandico, T. Nötzold, K. Prott, D. Schlegel, A. Seidl, T. Wolf, Quasar 3.0 - A Situational Approach to Software Engineering, Capgemini CSD Research, Offenbach 2012, 2012.
LibreCat
M. Kremer, G. Engels, A. Hofmann, J. Hohwiller, O. E. Nandico, T. Nötzold, K. Prott, D. Schlegel, A. Seidl, T. Wolf, Quasar 3.0 - A Situational Approach to Software Engineering, Capgemini CSD Research, Offenbach 2012, 2012.
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.
2012 | Dissertation | LibreCat-ID: 7572
Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen
F. Christ, Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen, Universität Paderborn, 2012.
LibreCat
F. Christ, Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen, Universität Paderborn, 2012.
2012 | Conference Paper | LibreCat-ID: 8473
Towards Rich Change Management for Business Process Models
C. Gerth, M. Luckey, in: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12), FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2012, pp. 32–34.
LibreCat
C. Gerth, M. Luckey, in: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12), FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2012, pp. 32–34.
2012 | Conference Paper | LibreCat-ID: 8475
A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners
Z. Huma , C. Gerth , G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, CEUR-WS.org, 2012, pp. 90--97.
LibreCat
| DOI
Z. Huma , C. Gerth , G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, CEUR-WS.org, 2012, pp. 90--97.
2012 | Conference Paper | LibreCat-ID: 8476
Modeling with Adapt Cases
M. Luckey , F. Mutz, in: University of Paderborn (Ed.), Repository for Model-Driven Development (ReMoDD), 2012.
LibreCat
M. Luckey , F. Mutz, in: University of Paderborn (Ed.), Repository for Model-Driven Development (ReMoDD), 2012.
2012 | Conference Paper | LibreCat-ID: 8477
Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden
S. Geisen , M. Luckey , G. Engels, in: Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle, Shaker Verlag, 2012, pp. 111–120.
LibreCat
S. Geisen , M. Luckey , G. Engels, in: Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle, Shaker Verlag, 2012, pp. 111–120.
2012 | Conference Paper | LibreCat-ID: 8478
Towards a Framework for the Integration of Modeling Languages
S. Arifulina, in: Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), CEUR-WS.org, 2012, pp. 23–26.
LibreCat
S. Arifulina, in: Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), CEUR-WS.org, 2012, pp. 23–26.
2012 | Conference Paper | LibreCat-ID: 8479
Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme
B. Güldali , S. Sauer, P. Löhr, in: Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012), Softwaretechnik-Trends, 2012, pp. 5–6.
LibreCat
| Download (ext.)
B. Güldali , S. Sauer, P. Löhr, in: Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012), Softwaretechnik-Trends, 2012, pp. 5–6.
2012 | Conference Paper | LibreCat-ID: 8480
Assessing composition in modeling approaches
G. Mussbacher , O. Alam , M. Alhaj , S. Ali , N. Amálio , B. Barn , R. Bræk , T. Clark , B. Combemale , L.M. Cysneiros , U. Fatima , R. France , G. Georg , J. Horkoff , J. Kienzle , J.C. Leite , T.C. Lethbridge , M. Luckey , A. Moreira , F. Mutz , A.P. A. Oliveira, D. C. Petriu , M. Schöttle, L. Troup, V.M.B. Werneck, in: Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012), ACM, New York, NY, USA, 2012.
LibreCat
| DOI
G. Mussbacher , O. Alam , M. Alhaj , S. Ali , N. Amálio , B. Barn , R. Bræk , T. Clark , B. Combemale , L.M. Cysneiros , U. Fatima , R. France , G. Georg , J. Horkoff , J. Kienzle , J.C. Leite , T.C. Lethbridge , M. Luckey , A. Moreira , F. Mutz , A.P. A. Oliveira, D. C. Petriu , M. Schöttle, L. Troup, V.M.B. Werneck, in: Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012), ACM, New York, NY, USA, 2012.
2012 | Conference Paper | LibreCat-ID: 8483
Multi-Staged Quality Assurance for Self-Adaptive Systems
M. Luckey , C. Thanos , C. Gerth, G. Engels, in: Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12, 2012.
LibreCat
M. Luckey , C. Thanos , C. Gerth, G. Engels, in: Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12, 2012.
2012 | Conference Paper | LibreCat-ID: 8484
Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt
S. Geisen, in: Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium, Petra Hofstedt, Claus Lewerentz (BTU Cottbus), 2012, pp. 7–12.
LibreCat
S. Geisen, in: Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium, Petra Hofstedt, Claus Lewerentz (BTU Cottbus), 2012, pp. 7–12.
2012 | Conference Paper | LibreCat-ID: 8548
Mathematikinteresse im 1. Studiensemester
M. Liebendörfer, R. Hochmuth, in: Beiträge Zum Mathematikunterricht 2012 : Vorträge Auf Der 46. Tagung Für Didaktik Der Mathematik, WTM-Verlag, Münster, 2012, pp. 545–548.
LibreCat
M. Liebendörfer, R. Hochmuth, in: Beiträge Zum Mathematikunterricht 2012 : Vorträge Auf Der 46. Tagung Für Didaktik Der Mathematik, WTM-Verlag, Münster, 2012, pp. 545–548.
2012 | Conference Paper | LibreCat-ID: 8552
Training of student teaching assistants and e-learning via math-bridge – Two projects at the German Centre for Higher Mathematics Education
R. Biehler, A. Hoppenbrock, J. Klemm, M. Liebendörfer, T. Wassong, in: CETL-MSOR Conference 2011, 2012.
LibreCat
R. Biehler, A. Hoppenbrock, J. Klemm, M. Liebendörfer, T. Wassong, in: CETL-MSOR Conference 2011, 2012.
2012 | Journal Article | LibreCat-ID: 8556
The Cox ring of the space of complete rank two collineations
J. Hausen, M. Liebendörfer, Mathematische Nachrichten 285 (2012) 974–980.
LibreCat
| DOI
J. Hausen, M. Liebendörfer, Mathematische Nachrichten 285 (2012) 974–980.
2012 | Journal Article | LibreCat-ID: 5183
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
LibreCat
| Files available
| DOI
| Download (ext.)
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
2012 | Conference Paper | LibreCat-ID: 565
Weaving-based configuration and modular transformation of multi-layer systems
G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
LibreCat
| Files available
| DOI
G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
2012 | Conference Paper | LibreCat-ID: 6720
Optimized XPath evaluation for Schema-compressed XML data
S. Böttcher, R. Hartel, S. Heindorf, in: ADC, Australian Computer Society, 2012, pp. 137–144.
LibreCat
S. Böttcher, R. Hartel, S. Heindorf, in: ADC, Australian Computer Society, 2012, pp. 137–144.
2012 | Conference Paper | LibreCat-ID: 6742
Generalizing and Improving SQL/XML Query Evaluation
S. Böttcher, D. Bokermann, R. Hartel, in: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12), IEEE, 2012.
LibreCat
| DOI
S. Böttcher, D. Bokermann, R. Hartel, in: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12), IEEE, 2012.
2012 | Conference Paper | LibreCat-ID: 6855
Measurement of spectral-spatial distribution of global irradiance
M. Leers, A. Preiss, N. Ferretti, S. Krauter, in: 2011 37th IEEE Photovoltaic Specialists Conference, IEEE, 2012.
LibreCat
| DOI
M. Leers, A. Preiss, N. Ferretti, S. Krauter, in: 2011 37th IEEE Photovoltaic Specialists Conference, IEEE, 2012.
2012 | Conference Paper | LibreCat-ID: 6892
Suitable test procedure for electrical energy storage in PV operation mode – implementation and implication
S. Krauter, o. Lang, in: 7th International Renewable Energy Storage Conference (IRES 2012), Berlin (Germany), 12.-14. November 2012, 2012.
LibreCat
S. Krauter, o. Lang, in: 7th International Renewable Energy Storage Conference (IRES 2012), Berlin (Germany), 12.-14. November 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6895
Technical Assurance for High Reliable PV Modules via PI Testing
S. Krauter, S. Chen, in: Proceedings of 6th International Photovoltaic Power Generation Conference SNEC 2012, Shanghai (China), 16.-18. June 2012, 2012.
LibreCat
S. Krauter, S. Chen, in: Proceedings of 6th International Photovoltaic Power Generation Conference SNEC 2012, Shanghai (China), 16.-18. June 2012, 2012.
2012 | Journal Article | LibreCat-ID: 6897
Solar PV in Latin America.
S. Krauter, PV Magazine April 2012 (2012) 8.
LibreCat
S. Krauter, PV Magazine April 2012 (2012) 8.
2012 | Conference Paper | LibreCat-ID: 6898
Encapsulation influence on the potentialinduced degradation of crystalline silicon cells with selective emitter structures.
S. Koch, J. Berghold, O. Okoroafor, S. Krauter, P. Grunow, in: Proceedings of the 27th European Photovoltaic Solar Energy Conference and Exhibition, Frankfurt a. M. (Germany), 24.-28. September 2012, Pp. 1991-1995 , 2012.
LibreCat
S. Koch, J. Berghold, O. Okoroafor, S. Krauter, P. Grunow, in: Proceedings of the 27th European Photovoltaic Solar Energy Conference and Exhibition, Frankfurt a. M. (Germany), 24.-28. September 2012, Pp. 1991-1995 , 2012.
2012 | Conference Paper | LibreCat-ID: 6899
Potential induced degradation effects on crystalline silicon cells with various antireflection coatings
S. Koch, D. Nieschalk, J. Berghold, S. Wendlandt, S. Krauter, P. Grunow, in: Proceedings of the 27th European Photovoltaic Solar Energy Conference and Exhibition, Frankfurt a. M. (Germany), 24.-28. September 2012, Pp. 1985-1990, 2012.
LibreCat
S. Koch, D. Nieschalk, J. Berghold, S. Wendlandt, S. Krauter, P. Grunow, in: Proceedings of the 27th European Photovoltaic Solar Energy Conference and Exhibition, Frankfurt a. M. (Germany), 24.-28. September 2012, Pp. 1985-1990, 2012.
2012 | Conference Paper | LibreCat-ID: 6901
Storage System Strategies to optimize the Offshore-Wind Farm feed-in Fluctuations
Y. Bouyraaman, J. Bendfeld, S. Krauter, in: Proceedings of the IRES 2012 (7th International Renewable Energy Storage Conference and Exhibition), Berlin, Germany, 12.-14. November 2012, 2012.
LibreCat
Y. Bouyraaman, J. Bendfeld, S. Krauter, in: Proceedings of the IRES 2012 (7th International Renewable Energy Storage Conference and Exhibition), Berlin, Germany, 12.-14. November 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6902
Reduction of of Offshore-Wind power feed-in Fluctuations via Power to Gas Storage Systems
Y. Bouyraaman, J. Bendfeld, K. Navratil, M. Tigges, in: Proceedings of the DEWEK 2012, 2012.
LibreCat
Y. Bouyraaman, J. Bendfeld, K. Navratil, M. Tigges, in: Proceedings of the DEWEK 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6903
Lösungsaspekte zur Weiterentwicklung des deutschen Regelenergiemarktes hinsichtlich der Integration erneuerbarer Energien.
Y. Bouyraaman, C. Thiele, S. Krauter, in: Zukunftsperspektiven Für Den Regelenergiemarkt Strom 2012 – IQPC, Berlin, Germany, August 2012, 2012.
LibreCat
Y. Bouyraaman, C. Thiele, S. Krauter, in: Zukunftsperspektiven Für Den Regelenergiemarkt Strom 2012 – IQPC, Berlin, Germany, August 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6904
Increased Availability of Offshore Wind Power by Storage System
Y. Bouyraaman, J. Bendfeld, S. Krauter, in: Proceedings of the WWEC 2012 (11th World Wind Energy Conference 2012), Bonn, Germany, Juli 2012, 2012.
LibreCat
Y. Bouyraaman, J. Bendfeld, S. Krauter, in: Proceedings of the WWEC 2012 (11th World Wind Energy Conference 2012), Bonn, Germany, Juli 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6905
Analysis of Selected Offshore Fog Occurrences.
J. Bendfeld, S. Balluff, Y. Bouyraaman, in: Proceedings of the DEWEK 2012, 2012.
LibreCat
J. Bendfeld, S. Balluff, Y. Bouyraaman, in: Proceedings of the DEWEK 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6906
Analyse ausgewählter Nebelereignisse für Offshore-Standorte
J. Bendfeld, S. Balluff, B. Liebing, in: Wissenschaftliche Verhandlungen 2012 Der Deutschen Physikalischen Gesellschaft, Berlin, März 2012, 2012.
LibreCat
J. Bendfeld, S. Balluff, B. Liebing, in: Wissenschaftliche Verhandlungen 2012 Der Deutschen Physikalischen Gesellschaft, Berlin, März 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6907
Vergleich der Sichtweitenmesstechnik für den Offshore-Einsatz.
J. Bendfeld, in: Wissenschaftliche Verhandlungen 2012 Der Deutschen Physikalischen Gesellschaft, Berlin, März 2012, 2012.
LibreCat
J. Bendfeld, in: Wissenschaftliche Verhandlungen 2012 Der Deutschen Physikalischen Gesellschaft, Berlin, März 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6908
Minimising Feed-in Fluctuaions of Offshore Wind Farms with Biogas fired Turbines
J. Bendfeld, M. Tigges, in: World Renewable Energy Forum 2012, Denver, USA, Mai 2012, 2012.
LibreCat
J. Bendfeld, M. Tigges, in: World Renewable Energy Forum 2012, Denver, USA, Mai 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6909
Empowering Offshore Windfarms by Reliable Measurements
J. Bendfeld, K. Navratil, in: World Renewable Energy Forum 2012, Denver, USA, Mai 2012, 2012.
LibreCat
J. Bendfeld, K. Navratil, in: World Renewable Energy Forum 2012, Denver, USA, Mai 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6910
Cost effective Wave measurements for Ocean Energy.
J. Bendfeld, in: World Renewable Energy Forum 2012, Denver, USA, Mai 2012, 2012.
LibreCat
J. Bendfeld, in: World Renewable Energy Forum 2012, Denver, USA, Mai 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6911
Analysis of selected Offshore Fog Occurrences
J. Bendfeld, S. Balluff, in: Proceedings of the DEWEK 2012, 2012.
LibreCat
J. Bendfeld, S. Balluff, in: Proceedings of the DEWEK 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 6912
Determination of the meteorological optical range in Offshore conditions.
J. Bendfeld, in: Proceedings of the DEWEK 2012, 2012.
LibreCat
J. Bendfeld, in: Proceedings of the DEWEK 2012, 2012.
2012 | Book Chapter | LibreCat-ID: 16445
Continuous Local Strategies for Robotic Formation Problems
B. Kempkes, F. Meyer auf der Heide, in: Experimental Algorithms, Berlin, Heidelberg, 2012.
LibreCat
| DOI
B. Kempkes, F. Meyer auf der Heide, in: Experimental Algorithms, Berlin, Heidelberg, 2012.
2012 | Conference Paper | LibreCat-ID: 16446
Optimal and competitive runtime bounds for continuous, local gathering of mobile robots
B. Kempkes, P. Kling, F. Meyer auf der Heide, in: Proceedinbgs of the 24th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’12, 2012.
LibreCat
| DOI
B. Kempkes, P. Kling, F. Meyer auf der Heide, in: Proceedinbgs of the 24th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’12, 2012.
2012 | Book Chapter | LibreCat-ID: 16448
Local, Self-organizing Strategies for Robotic Formation Problems
B. Kempkes, F. Meyer auf der Heide, in: Algorithms for Sensor Systems, Berlin, Heidelberg, 2012.
LibreCat
| DOI
B. Kempkes, F. Meyer auf der Heide, in: Algorithms for Sensor Systems, Berlin, Heidelberg, 2012.
2012 | Book Chapter | LibreCat-ID: 16516
Newton’s Method and Secant Method for Set-Valued Mappings
R. Baier, M.H. Molo, in: Large-Scale Scientific Computing, Berlin, Heidelberg, 2012.
LibreCat
| DOI
R. Baier, M.H. Molo, in: Large-Scale Scientific Computing, Berlin, Heidelberg, 2012.
2012 | Book Chapter | LibreCat-ID: 16576
Modelling and Analysis of the Nonlinear Dynamics of the Transrapid and Its Guideway
M. Dellnitz, F. Dignath, K. Flaßkamp, M.H. Molo, M. Krüger, R. Timmermann, Q. Zheng, in: Mathematics in Industry, Berlin, Heidelberg, 2012.
LibreCat
| DOI
M. Dellnitz, F. Dignath, K. Flaßkamp, M.H. Molo, M. Krüger, R. Timmermann, Q. Zheng, in: Mathematics in Industry, Berlin, Heidelberg, 2012.
2012 | Conference Paper | LibreCat-ID: 16589
Energy efficient control for mechanical systems based on inherent dynamical structures
K. Flaskamp, S. Ober-Blobaum, in: 2012 American Control Conference (ACC), 2012.
LibreCat
| DOI
K. Flaskamp, S. Ober-Blobaum, in: 2012 American Control Conference (ACC), 2012.
2012 | Conference Paper | LibreCat-ID: 16591
Switching time optimization in discretized hybrid dynamical systems
K. Flasskamp, T. Murphey, S. Ober-Blobaum, in: 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 2012.
LibreCat
| DOI
K. Flasskamp, T. Murphey, S. Ober-Blobaum, in: 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 2012.
2012 | Journal Article | LibreCat-ID: 16592
Solving Optimal Control Problems by Exploiting Inherent Dynamical Systems Structures
K. Flaßkamp, S. Ober-Blöbaum, M. Kobilarov, Journal of Nonlinear Science (2012) 599–629.
LibreCat
| DOI
K. Flaßkamp, S. Ober-Blöbaum, M. Kobilarov, Journal of Nonlinear Science (2012) 599–629.
2012 | Journal Article | LibreCat-ID: 16593
Optimal Control on Stable Manifolds for a Double Pendulum
K. Flaßkamp, J. Timmermann, S. Ober-Blöbaum, M. Dellnitz, A. Trächtler, PAMM (2012) 723–724.
LibreCat
| DOI
K. Flaßkamp, J. Timmermann, S. Ober-Blöbaum, M. Dellnitz, A. Trächtler, PAMM (2012) 723–724.
2012 | Journal Article | LibreCat-ID: 16603
Three-dimensional characterization and tracking of an Agulhas Ring
G. Froyland, C. Horenkamp, V. Rossi, N. Santitissadeekorn, A.S. Gupta, Ocean Modelling (2012) 69–75.
LibreCat
| DOI
G. Froyland, C. Horenkamp, V. Rossi, N. Santitissadeekorn, A.S. Gupta, Ocean Modelling (2012) 69–75.
2012 | Journal Article | LibreCat-ID: 16635
Discontinuity Induced Bifurcations in Timed Continuous Petri Nets
A. Meyer, IFAC Proceedings Volumes (2012) 28–33.
LibreCat
| DOI
A. Meyer, IFAC Proceedings Volumes (2012) 28–33.
2012 | Journal Article | LibreCat-ID: 16638
Symmetry Reductions in Timed Continuous Petri Nets Under Infinite Server Semantics
A. Meyer, M. Silva, IFAC Proceedings Volumes (2012) 153–159.
LibreCat
| DOI
A. Meyer, M. Silva, IFAC Proceedings Volumes (2012) 153–159.
2012 | Journal Article | LibreCat-ID: 16659
Handling high-dimensional problems with multi-objective continuation methods via successive approximation of the tangent space
M. Ringkamp, S. Ober-Blöbaum, M. Dellnitz, O. Schütze, Engineering Optimization (2012) 1117–1146.
LibreCat
| DOI
M. Ringkamp, S. Ober-Blöbaum, M. Dellnitz, O. Schütze, Engineering Optimization (2012) 1117–1146.
2012 | Book Chapter | LibreCat-ID: 16681
Multilevel Subdivision Techniques for Scalar Optimization Problems
M. Dellnitz, O. Schütze, in: Global Analysis of Nonlinear Dynamics, New York, NY, 2012.
LibreCat
| DOI
M. Dellnitz, O. Schütze, in: Global Analysis of Nonlinear Dynamics, New York, NY, 2012.
2012 | Journal Article | LibreCat-ID: 16696
Intersecting invariant manifolds in spatial restricted three-body problems: Design and optimization of Earth-to-halo transfers in the Sun–Earth–Moon scenario
A. Zanzottera, G. Mingotti, R. Castelli, M. Dellnitz, Communications in Nonlinear Science and Numerical Simulation (2012) 832–843.
LibreCat
| DOI
A. Zanzottera, G. Mingotti, R. Castelli, M. Dellnitz, Communications in Nonlinear Science and Numerical Simulation (2012) 832–843.
2012 | Conference Paper | LibreCat-ID: 16929
Faculty Submitted Student Work at Siggraph 2012
G. Domik, in: Curated Exhibit at Siggraph, Los Angeles, 2012.
LibreCat
G. Domik, in: Curated Exhibit at Siggraph, Los Angeles, 2012.