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.

5685 Publications


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
 

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
 

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
 

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
 

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
 

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
 

2012 | Bachelorsthesis | LibreCat-ID: 629
Attribute-basierte Verschlüsselung
P. Schleiter, Attribute-basierte Verschlüsselung, Universität Paderborn, 2012.
LibreCat
 

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
 

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
 

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
 

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
 

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
 

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
 

2012 | Bachelorsthesis | LibreCat-ID: 638
Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken
F. Eidens, Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken, Universität Paderborn, 2012.
LibreCat
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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.)
 

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
 

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
 

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
 

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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

2012 | Conference Paper | LibreCat-ID: 16929
Faculty Submitted Student Work at Siggraph 2012
G. Domik, in: Curated Exhibit at Siggraph, Los Angeles, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 10636 LibreCat
 

2012 | Mastersthesis | LibreCat-ID: 10650
Design and Implementation of a Nanophotonics Simulation Personality for the Convey HC-1 Hybrid Core Computer
D. Dridger, Design and Implementation of a Nanophotonics Simulation Personality for the Convey HC-1 Hybrid Core Computer, Paderborn University, 2012.
LibreCat
 

2012 | Dissertation | LibreCat-ID: 10652
Design and Programming of Reconfigurable Mesh based Many-Cores
H. Giefers, Design and Programming of Reconfigurable Mesh Based Many-Cores, Logos Verlag Berlin GmbH, Berlin, 2012.
LibreCat
 

2012 | Mastersthesis | LibreCat-ID: 10658
Adaptive Playouts in der Monte-Carlo Spielbaumsuche am Anwendungsfall Go
T. Graf, Adaptive Playouts in Der Monte-Carlo Spielbaumsuche Am Anwendungsfall Go, Paderborn University, 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 10667
Generating Adjustable Temperature Gradients on modern FPGAs
H. Hangmann, Generating Adjustable Temperature Gradients on Modern FPGAs, Paderborn University, 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 10685
Compensating Resource Fluctuations by Means of Evolvable Hardware: The Run-Time Reconfigurable Functional Unit Row Classifier Architecture
P. Kaufmann, K. Glette, M. Platzner, J. Torresen, International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS) 3 (2012) 17–31.
LibreCat | DOI
 

2012 | Misc | LibreCat-ID: 10723
Wieder natürlich gehen und greifen
M. Platzner, A. Boschmann, P. Kaufmann, Wieder Natürlich Gehen Und Greifen, 2012.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed