SFB 901

Project Period: 2011-07-01
Externally Funded
Acronym
SFB 901
Principal Investigator
Friedhelm Meyer auf der Heide
Funding Organisation
DFG

936 Publications

2015 | Conference Paper | LibreCat-ID: 279
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes
M.C. Platenius, S. Arifulina, W. Schäfer, in:, Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84.
LibreCat | Files available | DOI
 
2015 | Mastersthesis | LibreCat-ID: 281
Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network
T. Rojahn, Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 286
Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup
B. Kalde, Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup, Universität Paderborn, 2015.
LibreCat
 
2015 | Book Chapter | LibreCat-ID: 293
Filtering Reviews by Random Individual Error
M. Geierhos, F.S. Bäumer, S. Schulze, V. Stuß, in:, M. Ali, Y.S. Kwon, C.-H. Lee, J. Kim, Y. Kim (Eds.), Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), Springer, Cham, Switzerland, 2015, pp. 305–315.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 298
Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit
D. Plonka, Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 301
Efficient Verifier-Local Revocation for Anonymous Credentials
J. Bobolz, Efficient Verifier-Local Revocation for Anonymous Credentials, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Bachelorsthesis | LibreCat-ID: 306
Diffusion of Innovations in Social Networks
C. Kunisch, Diffusion of Innovations in Social Networks, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 313
Comprehensive Service Matching with MatchBox
P. Börding, M. Bruns, M.C. Platenius, in:, 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974–977.
LibreCat | Files available | DOI
 
2015 | Dissertation | LibreCat-ID: 318
Automatic Service Discovery and Composition for heterogeneous service partners
Z. Huma, Automatic Service Discovery and Composition for Heterogeneous Service Partners, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Mastersthesis | LibreCat-ID: 325
A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption
N. Löken, A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption, Universität Paderborn, 2015.
LibreCat
 
2018 | Mastersthesis | LibreCat-ID: 3313
Kundenbewertungen und Produktnachfrage: Eine ökonomische Analyse
A. Maurer, Kundenbewertungen und Produktnachfrage: Eine ökonomische Analyse, Universität Paderborn, 2018.
LibreCat
 
2016 | Journal Article | LibreCat-ID: 3318
Pairwise versus Pointwise Ranking: A Case Study
V. Melnikov, E. Hüllermeier, D. Kaimann, B. Frick, Pritha Gupta, Schedae Informaticae 25 (2016).
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 332
Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten
M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten, Universität Paderborn, 2014.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 3320
Korrektheitsbeweise für Muster von Servicekompositionen
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 337
Verhandlungen vs Auktionen im Beschäftigungsmanagement
C. Berkemeier, Verhandlungen vs Auktionen im Beschäftigungsmanagement, Universität Paderborn, 2014.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 3402 LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 344
Towards Systematic Configuration for Architecture Validation
M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in:, Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat | Files available
 
2014 | Report | LibreCat-ID: 349
The Legal Classification of Identity-Based Signatures
C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 351
The Impact of Customer Reviews and Reputation on Hotel Prices
L. Holzweißig, The Impact of Customer Reviews and Reputation on Hotel Prices, Universität Paderborn, 2014.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 3510
ML-Plan: Automated Machine Learning via Hierarchical Planning
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018).
LibreCat | Files available | DOI | Download (ext.)
 
2014 | Journal Article | LibreCat-ID: 356
Surrounding robots -- A discrete localized solution for the intruder problem
L. Blazovics, T. Lukovszki, B. Forstner, Journal of Advanced Computational Intelligence and Intelligent Informatics (2014) 315.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 363
Seven Recipes for Setting Your FPGA on Fire – A Cookbook on Heat Generators
A. Agne, H. Hangmann, M. Happe, M. Platzner, C. Plessl, Microprocessors and Microsystems 38 (2014) 911.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 368
Scheduling Shared Continuous Resources on Many-Cores
A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S. Riechers, T. Süss, in:, Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2014, pp. 128–137.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 370
Routing Games with Progressive Filling
T. Harks, M. Höfer, K. Schewior, A. Skopalik, in:, Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 2014, pp. 352–360.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 375
Reengineering Component-Based Software Systems with Archimetrix
M. von Detten, M.C. Platenius, S. Becker, Journal of Software and Systems Modeling (2014) 1239.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 382
Provider Competition in Infrastructure-as-a-Service
J. Künsemöller, S. Brangewitz, H. Karl, C.-J. Haake, in:, Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 2014.
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 3851
Congestion Games mit gewichteten Strategien
S. Koop, Congestion Games mit gewichteten Strategien, Universität Paderborn, 2018.
LibreCat
 
2014 | Journal Article | LibreCat-ID: 387
Principles of Robust Medium Access and an Application to Leader Election
B. Awerbuch, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, Transactions on Algorithms (2014).
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 3933
Möglichkeiten und Grenzen des Einsatzes der Crowd zur Ideenbewertung - ein klassifizierender Literaturüberblick
L.L. Filges, Möglichkeiten und Grenzen des Einsatzes der Crowd zur Ideenbewertung - ein klassifizierender Literaturüberblick, Universität Paderborn, 2018.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 394
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
S. Schwichtenberg, C. Gerth, Z. Huma, G. Engels, in:, Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 399
Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring
T. Wiersema, S. Drzevitzky, M. Platzner, in:, Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 3995
Der Umgang mit mobilen Konsumenten - Ein Literaturüberblick zum Einfluss mobiler Geräte auf digitale Märkte
A. Lappe, Der Umgang mit mobilen Konsumenten - Ein Literaturüberblick zum Einfluss mobiler Geräte auf digitale Märkte, Universität Paderborn, 2018.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 402
Market-optimized Service Specification and Matching
S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, in:, X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 407
Issues of Automated Software Composition in AI Planning
F. Mohr, in:, Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 2014, pp. 895–898.
LibreCat | Files available | DOI
 
2014 | Mastersthesis | LibreCat-ID: 414
Hiding software components using functional encryption
J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.
LibreCat
 
2014 | Dissertation | LibreCat-ID: 419
Gender and ethnic discrimination in hiring : evidence from field experiments in the German labor market
A. Kolle, Gender and Ethnic Discrimination in Hiring : Evidence from Field Experiments in the German Labor Market, Universität Paderborn, 2014.
LibreCat | Files available
 
2016 | Bachelorsthesis | LibreCat-ID: 173
Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 178
On the Design and Defense of Networks - An Experimental Investigation
A.E. Endres, On the Design and Defense of Networks - An Experimental Investigation, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 180
Money Talks (Even) in the Sharing Economy: Empirical Evidence for Price Effects in Online Ratings as Quality Signals
D. Gutt, D. Kundisch, in:, Proceedings of the Thirty Seventh International Conference on Information Systems (ICIS), Dublin, Ireland, 2016.
LibreCat | Files available
 
2016 | Bachelorsthesis | LibreCat-ID: 185
Kundenbewertungen im Online-Handel – Alles Betrug?
C. Schmidt, Kundenbewertungen im Online-Handel – Alles Betrug?, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 192
Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 197
Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content
M. Dollmann, Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content, Universität Paderborn, 2016.
LibreCat
 
2016 | Dissertation | LibreCat-ID: 200
Existence and Properties of Pure Nash Equilibria in Budget Games
M. Drees, Existence and Properties of Pure Nash Equilibria in Budget Games, Universität Paderborn, 2016.
LibreCat | Files available
 
 
2016 | Dissertation | LibreCat-ID: 212
Competition in Markets with Intermediaries
J. Manegold, Competition in Markets with Intermediaries, Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 217
Automatized Derivation of Comprehensive Specifications for Black-box Services
S. Schwichtenberg, in:, Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 224
A short survey on using software error localization for service compositions
J. Krämer, H. Wehrheim, in:, Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248–262.
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 2269
Constitutions and groups
A. Mauleon, N. Roehl, V. Vannetelbosch, Games and Economic Behavior 107 (2017).
LibreCat | Files available | DOI
 
2016 | Mastersthesis | LibreCat-ID: 2271
Die Rolle der Reputation: Die Entstehung, der Aufbau, die Messung und die Auswirkung der Reputation auf Kunden und Unternehmen
A. Hesso, Die Rolle der Reputation: Die Entstehung, der Aufbau, die Messung und die Auswirkung der Reputation auf Kunden und Unternehmen, Universität Paderborn, 2016.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 229
Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse
H. Schulz, Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 231
What did you mean? Facing the Challenges of User-generated Software Requirements
M. Geierhos, S. Schulze, F.S. Bäumer, in:, S. Loiseau, J. Filipe, B. Duval, J. van den Herik (Eds.), Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015), SciTePress - Science and Technology Publications, Setúbal, Portugal, 2015, pp. 277–283.
LibreCat | Files available | DOI
 
2018 | Book Chapter | LibreCat-ID: 2322
How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges
F.S. Bäumer, M. Geierhos, in:, M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, F. Meziane (Eds.), Proceedings of the 23rd International Conference on Natural Language and Information Systems, Springer, Cham, Switzerland, 2018, pp. 509–513.
LibreCat | Files available | DOI
 
2015 | Mastersthesis | LibreCat-ID: 236
Vergleichende Betrachtung ausgewählter Ansätze zur Bewertung von Innovation Performance im Kontext von IT-gestützten Geschäftsmodellinnovationen im Automotive Bereich
D. Neumann, Vergleichende Betrachtung ausgewählter Ansätze zur Bewertung von Innovation Performance im Kontext von IT-gestützten Geschäftsmodellinnovationen im Automotive Bereich, Universität Paderborn, 2015.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 2461
Herz über Kopf? Wie emotionale und neutrale Schreibstile darüber entscheiden, ob eine Online Bewertung hilfreich ist
M. Müller, Herz über Kopf? Wie emotionale und neutrale Schreibstile darüber entscheiden, ob eine Online Bewertung hilfreich ist, Universität Paderborn, 2018.
LibreCat
 
 
2018 | Conference Paper | LibreCat-ID: 2485
Online Facility Location with Mobile Facilities
B. Feldkord, F. Meyer auf der Heide, in:, Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2018.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 250
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
M.-C. Jakobs, in:, Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159–174.
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 2512
Proportionality and the power of unequal parties
D. Dimitrov, C.-J. Haake, International Journal of Economic Theory 7 (2011).
LibreCat | Files available | DOI
 
2013 | Journal Article | LibreCat-ID: 2543
Asymmetric Nash bargaining solutions and competitive payoffs
S. Brangewitz, J.-P. Gamp, Economics Letters 121 (2013).
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 255
Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen
M. Trykacz, Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 262
Programs from Proofs of Predicated Dataflow Analyses
M.-C. Jakobs, H. Wehrheim, in:, Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 274
Non-preemptive Scheduling on Machines with Setup Times
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in:, F. Dehne, J.R. Sack, U. Stege (Eds.), Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, 2015, pp. 542–553.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 503
Optimale und adaptive binäre Bäume in Netzwerken
A. Blix, Optimale und adaptive binäre Bäume in Netzwerken, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 508
On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks
P. Wette, H. Karl, in:, Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN), 2013, pp. 1–6.
LibreCat | Files available | DOI
 
2013 | Mastersthesis | LibreCat-ID: 510
Meta-data based Search in Structured Peer-to-Peer Networks
C. Jayesh Parekh, Meta-Data Based Search in Structured Peer-to-Peer Networks, Universität Paderborn, 2013.
LibreCat
 
2013 | Journal Article | LibreCat-ID: 515
Learning Service Recommendations
A. Jungmann, B. Kleinjohann, E. Kleinjohann, International Journal of Business Process Integration and Management (2013) 284.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 5150
Eine experimentelle Untersuchung der Wahrnehmung professioneller Online Bewertungen
R. Mues, Eine experimentelle Untersuchung der Wahrnehmung professioneller Online Bewertungen, Universität Paderborn, 2018.
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 522
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 527
Fuzzy Service Matching in On-The-Fly Computing
M. Christin Platenius, in:, Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.
LibreCat | Files available | DOI
 
2013 | Mastersthesis | LibreCat-ID: 534
Emulating Wavelength Division Multiplexing using Openflow
S. Satya, Emulating Wavelength Division Multiplexing Using Openflow, Universität Paderborn, 2013.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 539
Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen
T. Kornhoff, Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen, Universität Paderborn, 2013.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5403
Mobile Facility Leasing
M. Geromel, Mobile Facility Leasing, 2018.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 541
Continuous Gossip-based Aggregation through Dynamic Information Aging
K. Graffi, V. Rapp, in:, Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13), 2013, pp. 1–7.
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 5422
Vertrauen und Vertrauenswürdigkeit - Akteure auf Cloud-basierten Plattformen
V. Diemke, Vertrauen und Vertrauenswürdigkeit - Akteure auf Cloud-basierten Plattformen, 2018.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 546
Ca-Re-Chord: A Churn Resistant Self-stabilizing Chord Overlay Network
K. Graffi, M. Benter, M. Divband, S. Kniesburges, A. Koutsopoulos, in:, Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 27–34.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 553
Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise
K. Kohn, Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference (Editor) | LibreCat-ID: 558
Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Springer, 2013.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 560
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in:, Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
LibreCat | Files available | DOI
 
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: 572
Towards an Automatic Service Discovery for UML-based Rich Service Descriptions
Z. Huma, C. Gerth, G. Engels, O. Juwig, in:, Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2012, pp. 709–725.
LibreCat | Files available | DOI
 
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
 
2017 | Journal Article | LibreCat-ID: 58
Specification, Composition, and Placement of Network Services with Flexible Structures
S. Dräxler, H. Karl, International Journal of Network Management (2017) 1.
LibreCat | Files available | DOI
 
2012 | Bachelorsthesis | LibreCat-ID: 584
Queuing Latency at Cooperative Base Stations
T. Hohenberger, Queuing Latency at Cooperative Base Stations, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 589
Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment
R. Petrlic, in:, Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012, pp. 958–963.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 591
Pragma based parallelization - Trading hardware efficiency for ease of use?
T. Kenter, C. Plessl, H. Schmitz, in:, Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 596
Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey
M. Becker, M. Luckey, S. Becker, in:, Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–122.
LibreCat | Files available | DOI
 
2017 | Mastersthesis | LibreCat-ID: 60
Semantically Secure Attribute-based Searchable Encryption
D. Niehus, Semantically Secure Attribute-Based Searchable Encryption, Universität Paderborn, 2017.
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 604
Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen
H. Seier, Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 609
Hardware/Software Platform for Self-aware Compute Nodes
M. Happe, A. Agne, C. Plessl, M. Platzner, in:, Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 2012, pp. 8–9.
LibreCat | Files available
 
2012 | Bachelorsthesis | LibreCat-ID: 611
Generating Adjustable Temperature Gradients on modern FPGAs
H. Hangmann, Generating Adjustable Temperature Gradients on Modern FPGAs, Universität Paderborn, 2012.
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 616
Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen
S. Kluczniok, Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen, Universität Paderborn, 2012.
LibreCat
 
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
 
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: 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 | Conference Paper | LibreCat-ID: 635
An Optimization Model for the optimal Usage of Water Tanks in Water Supply Systems
C. Dohle (married name: Hallmann) , L. Suhl, in:, Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD), 2012, pp. 404–408.
LibreCat | Files available
 
2011 | Bachelorsthesis | LibreCat-ID: 642
Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität
M. Diehl, Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität, Universität Paderborn, 2011.
LibreCat
 
2011 | Journal Article | LibreCat-ID: 647
Selected papers on Integrated Formal Methods (iFM09)
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 654
PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned
K. Graffi, in:, Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–155.
LibreCat | Files available | DOI
 
2011 | Mastersthesis | LibreCat-ID: 659
Fault attacks in pairing-based cryptography
G. Liske, Fault Attacks in Pairing-Based Cryptography, Universität Paderborn, 2011.
LibreCat | Files available
 
2011 | Mastersthesis | LibreCat-ID: 661
Coverage Criteria for Testing DMM Specifications
S. Arifulina, Coverage Criteria for Testing DMM Specifications, Universität Paderborn, 2011.
LibreCat