SFB 901
Project Period: 2011-07-01
Externally Funded
Acronym
SFB 901
Principal Investigator
Friedhelm Meyer auf der Heide
Funding Organisation
DFG
816 Publications
2017 | | LibreCat-ID: 105
Distributed Monitoring of Network Properties: The Power of Hybrid Networks
R. Gmyr, K. Hinnenthal, C. Scheideler, C. Sohler, in:, Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017, pp. 137:1–137:15.
LibreCat
| PDF
| DOI
R. Gmyr, K. Hinnenthal, C. Scheideler, C. Sohler, in:, Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017, pp. 137:1–137:15.
2017 | | LibreCat-ID: 100
Evaluation of Software Reputation Matching Based on App Reviews
A. Sergio Djoum Temdjim, Evaluation of Software Reputation Matching Based on App Reviews, Universität Paderborn, 2017.
LibreCat
A. Sergio Djoum Temdjim, Evaluation of Software Reputation Matching Based on App Reviews, Universität Paderborn, 2017.
2016 | | LibreCat-ID: 155
Self-stabilizing Metric Graphs
R. Gmyr, J. Lefèvre, C. Scheideler, in:, Proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, pp. 248–262.
LibreCat
| PDF
| DOI
R. Gmyr, J. Lefèvre, C. Scheideler, in:, Proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, pp. 248–262.
2018 | | LibreCat-ID: 1104
Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen
M. Geierhos, in:, S. Freitag, M. Geierhos, R. Asmani, J.I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., Ferdinand Schöningh, Paderborn, Germany, 2018, pp. 111–128.
LibreCat
M. Geierhos, in:, S. Freitag, M. Geierhos, R. Asmani, J.I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., Ferdinand Schöningh, Paderborn, Germany, 2018, pp. 111–128.
2017 | | LibreCat-ID: 1180
Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization
M.D. Wever, F. Mohr, E. Hüllermeier, in:, 27th Workshop Computational Intelligence, Dortmund, 2017.
LibreCat
M.D. Wever, F. Mohr, E. Hüllermeier, in:, 27th Workshop Computational Intelligence, Dortmund, 2017.
2016 | | LibreCat-ID: 162
Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions
G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions, Universität Paderborn, 2016.
LibreCat
G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions, Universität Paderborn, 2016.
2017 | | LibreCat-ID: 124
A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective
B. Jazayeri, O. Zimmermann, G. Engels, D. Kundisch, in:, Proceedings of the 15th International Conference on Service Oriented Computing (ICSOC 2017), Málaga, Spain, 2017.
LibreCat
B. Jazayeri, O. Zimmermann, G. Engels, D. Kundisch, in:, Proceedings of the 15th International Conference on Service Oriented Computing (ICSOC 2017), Málaga, Spain, 2017.
2018 | | LibreCat-ID: 1096
Reducer-Based Construction of Conditional Verifiers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in:, Proceedings of the 40th International Conference on Software Engineering (ICSE), 2018.
LibreCat
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in:, Proceedings of the 40th International Conference on Software Engineering (ICSE), 2018.
2014 | | LibreCat-ID: 408
Integrating Software and Hardware Verification
M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in:, E. Albert, E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), 2014, pp. 307–322.
LibreCat
| PDF
| DOI
M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in:, E. Albert, E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), 2014, pp. 307–322.
2014 | | LibreCat-ID: 415
Handling Incomplete Service Specifications using Fuzzy Matching
S. Vijapurwala, Handling Incomplete Service Specifications Using Fuzzy Matching, Universität Paderborn, 2014.
LibreCat
S. Vijapurwala, Handling Incomplete Service Specifications Using Fuzzy Matching, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 422
Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions, Universität Paderborn, 2014.
LibreCat
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 427
Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction
B. Bulk, Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction, Universität Paderborn, 2014.
LibreCat
B. Bulk, Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 441
Datenschutz im Future Internet: rechtliche Aspekte und technische Maßnahmen
C. Sorge, R. Petrlic, in:, Tagungsband Des 17. Internationalen Rechtsinformatik Symposions, 2014.
LibreCat
| PDF
C. Sorge, R. Petrlic, in:, Tagungsband Des 17. Internationalen Rechtsinformatik Symposions, 2014.
2014 | | LibreCat-ID: 446
Competitive MAC under adversarial SINR
A. Ogierman, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in:, Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014, pp. 2751–2759.
LibreCat
| PDF
| DOI
A. Ogierman, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in:, Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014, pp. 2751–2759.
2014 | | LibreCat-ID: 458
Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic
P. Dreimann, Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic, Universität Paderborn, 2014.
LibreCat
P. Dreimann, Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 460
Advanced AES-key recovery from decayed RAM-dumps using multi-threading and FPGAs
R. Mittendorf, Advanced AES-Key Recovery from Decayed RAM-Dumps Using Multi-Threading and FPGAs, Universität Paderborn, 2014.
LibreCat
R. Mittendorf, Advanced AES-Key Recovery from Decayed RAM-Dumps Using Multi-Threading and FPGAs, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 465
A MINLP Approach for Planning the Renewal of Pipes in Drinking Water Networks
F. Stapel, L. Suhl, A MINLP Approach for Planning the Renewal of Pipes in Drinking Water Networks, Universität Paderborn, 2014.
LibreCat
| PDF
F. Stapel, L. Suhl, A MINLP Approach for Planning the Renewal of Pipes in Drinking Water Networks, Universität Paderborn, 2014.
2013 | | LibreCat-ID: 477
Token Dissemination in Geometric Dynamic Networks
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, in:, Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, 2013, pp. 22–34.
LibreCat
| PDF
| DOI
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, in:, Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, 2013, pp. 22–34.
2013 | | LibreCat-ID: 484
Service Matching under Consideration of Explicitly Specified Service Variants
M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in:, IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
LibreCat
| PDF
| DOI
M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in:, IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
2013 | | LibreCat-ID: 489
Scheduling Variants with Speed-Scaling via the Primal-Dual Approach
M. Knopf, Scheduling Variants with Speed-Scaling via the Primal-Dual Approach, Universität Paderborn, 2013.
LibreCat
M. Knopf, Scheduling Variants with Speed-Scaling via the Primal-Dual Approach, Universität Paderborn, 2013.
2013 | | LibreCat-ID: 496
Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks
M. Benter, F. Neumann, H. Frey, in:, Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.
LibreCat
| PDF
| DOI
M. Benter, F. Neumann, H. Frey, in:, Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.
2016 | | LibreCat-ID: 198
Features of IT Service Markets: A Systematic Literature Review (Supplementary Material)
B. Jazayeri, M.C. Platenius, G. Engels, D. Kundisch, Features of IT Service Markets: A Systematic Literature Review (Supplementary Material), Universität Paderborn, 2016.
LibreCat
B. Jazayeri, M.C. Platenius, G. Engels, D. Kundisch, Features of IT Service Markets: A Systematic Literature Review (Supplementary Material), Universität Paderborn, 2016.
2015 | | LibreCat-ID: 319
Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in:, Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57–64.
LibreCat
| PDF
| DOI
F. Mohr, A. Jungmann, H. Kleine Büning, in:, Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57–64.
2014 | | LibreCat-ID: 333
Visualisierung von SMT-Solver-Ausgaben
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.
LibreCat
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 340
Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.
LibreCat
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.
2014 | | LibreCat-ID: 345
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
A. Jungmann, B. Kleinjohann, in:, Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
LibreCat
| PDF
| DOI
A. Jungmann, B. Kleinjohann, in:, Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
2014 | | LibreCat-ID: 357
Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten
O. Ebel, Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten, Universität Paderborn, 2014.
LibreCat
O. Ebel, Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 364
SeSAME: Modeling and Analyzing High-Quality Service Compositions
S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in:, Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.
LibreCat
| PDF
| DOI
S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in:, Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.
2014 | | LibreCat-ID: 371
RoBuSt: A Crash-Failure-Resistant Distributed Storage System
C. Scheideler, A. Setzer, M. Eikel, in:, Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107–122.
LibreCat
| PDF
| DOI
C. Scheideler, A. Setzer, M. Eikel, in:, Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107–122.
2014 | | LibreCat-ID: 383
Programs from Proofs -- Approach and Applications
D. Wonisch, A. Schremmer, H. Wehrheim, in:, Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat
| PDF
D. Wonisch, A. Schremmer, H. Wehrheim, in:, Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
2014 | | LibreCat-ID: 395
Multilevel Network Games
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in:, Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.
LibreCat
| PDF
| DOI
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in:, Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.
2016 | | LibreCat-ID: 174
Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, Universität Paderborn, 2016.
LibreCat
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, Universität Paderborn, 2016.
2017 | | LibreCat-ID: 1767
Conditional Value-at-Risk: Structure and Complexity of Equilibria
M. Mavronicolas, B. Monien, in:, Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131–143.
LibreCat
| DOI
M. Mavronicolas, B. Monien, in:, Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131–143.
2016 | | LibreCat-ID: 179
On the abuse of market power - an economic perspective of Microsoft antitrust cases
M. Pehlivan, On the Abuse of Market Power - an Economic Perspective of Microsoft Antitrust Cases, Universität Paderborn, 2016.
LibreCat
M. Pehlivan, On the Abuse of Market Power - an Economic Perspective of Microsoft Antitrust Cases, Universität Paderborn, 2016.
2015 | | LibreCat-ID: 275
Network Creation Games: Think Global - Act Local
A. Cord-Landwehr, P. Lenzner, in:, Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 2015, pp. 248–260.
LibreCat
| PDF
| DOI
A. Cord-Landwehr, P. Lenzner, in:, Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 2015, pp. 248–260.
2015 | | LibreCat-ID: 282
Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern
M. Kirsch, Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern, Universität Paderborn, 2015.
LibreCat
M. Kirsch, Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern, Universität Paderborn, 2015.
2015 | | LibreCat-ID: 287
HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks
P. Wette, H. Karl, in:, Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 1–7.
LibreCat
| DOI
P. Wette, H. Karl, in:, Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 1–7.
2015 | | LibreCat-ID: 307
Different Sources of the Variance of Online Consumer Ratings and their Impact on Price and Demand
P. Herrmann, D. Kundisch, S. Zimmermann, B. Nault, in:, INFORMS Conference on Information Systems and Technology (CIST), 2015.
LibreCat
P. Herrmann, D. Kundisch, S. Zimmermann, B. Nault, in:, INFORMS Conference on Information Systems and Technology (CIST), 2015.
2015 | | LibreCat-ID: 314
Competition and Product Innovation of Intermediaries in a Differentiated Duopoly
S. Brangewitz, J. Manegold, Competition and Product Innovation of Intermediaries in a Differentiated Duopoly, Universität Paderborn, 2015.
LibreCat
| PDF
S. Brangewitz, J. Manegold, Competition and Product Innovation of Intermediaries in a Differentiated Duopoly, Universität Paderborn, 2015.
2016 | | LibreCat-ID: 225
A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality
A. Jungmann, B. Kleinjohann, in:, Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, pp. 1–8.
LibreCat
| PDF
| DOI
A. Jungmann, B. Kleinjohann, in:, Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, pp. 1–8.
2015 | | LibreCat-ID: 232
Weighted Boolean Formula Games
B. Monien, M. Mavronicolas, K. Wagner, in:, The ´Festschrift´ Algorithms, Probability, Networks, and Games: Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday, 2015, pp. 49–86.
LibreCat
| PDF
| DOI
B. Monien, M. Mavronicolas, K. Wagner, in:, The ´Festschrift´ Algorithms, Probability, Networks, and Games: Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday, 2015, pp. 49–86.
2016 | | LibreCat-ID: 206
Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions
P. Herrmann, D. Gutt, M. Rahman, in:, NBER Summer Institute on the Economics of Information Technology and Digitization, 2016.
LibreCat
| PDF
P. Herrmann, D. Gutt, M. Rahman, in:, NBER Summer Institute on the Economics of Information Technology and Digitization, 2016.
2016 | | LibreCat-ID: 218
Automatic Composition of Service-based Image Processing Applications
A. Jungmann, B. Kleinjohann, in:, Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106–113.
LibreCat
| PDF
| DOI
A. Jungmann, B. Kleinjohann, in:, Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106–113.
2016 | | LibreCat-ID: 186
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in:, U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.
LibreCat
| PDF
M. Czech, M.-C. Jakobs, H. Wehrheim, in:, U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.
2013 | | LibreCat-ID: 504
Ontology-based Normalization and Matching of Rich Service Descriptions
S. Schwichtenberg, Ontology-Based Normalization and Matching of Rich Service Descriptions, Universität Paderborn, 2013.
LibreCat
S. Schwichtenberg, Ontology-Based Normalization and Matching of Rich Service Descriptions, Universität Paderborn, 2013.
2013 | | LibreCat-ID: 509
On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings
M. Autenrieth, H. Frey, in:, Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 126–131.
LibreCat
| PDF
| DOI
M. Autenrieth, H. Frey, in:, Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 126–131.
2013 | | LibreCat-ID: 511
MapReduce in Software Defined Networks
M. Splietker, MapReduce in Software Defined Networks, Universität Paderborn, 2013.
LibreCat
M. Splietker, MapReduce in Software Defined Networks, Universität Paderborn, 2013.
2013 | | LibreCat-ID: 516
Learning Recommendation System for Automated Service Composition
A. Jungmann, B. Kleinjohann, in:, Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 2013, pp. 97–104.
LibreCat
| PDF
| DOI
A. Jungmann, B. Kleinjohann, in:, Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 2013, pp. 97–104.
2013 | | LibreCat-ID: 530
Entwurf kooperativer Verhaltensweisen heterogener Roboter
D. Buse, Entwurf Kooperativer Verhaltensweisen Heterogener Roboter, Universität Paderborn, 2013.
LibreCat
D. Buse, Entwurf Kooperativer Verhaltensweisen Heterogener Roboter, Universität Paderborn, 2013.
2013 | | LibreCat-ID: 542
CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in:, Proceedings of the 27th International Symposium on Distributed Computing (DISC), 2013, pp. 537–549.
LibreCat
| PDF
| DOI
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in:, Proceedings of the 27th International Symposium on Distributed Computing (DISC), 2013, pp. 537–549.
2013 | | LibreCat-ID: 559
Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables
P. Wette, K. Graffi, in:, Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 35–42.
LibreCat
| PDF
| DOI
P. Wette, K. Graffi, in:, Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 35–42.
2012 | | LibreCat-ID: 573
Towards a Framework for the Integration of Modeling Languages
S. Arifulina, in:, U. W. Eisenecker, C. Bucholdt (Eds.), Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), 2012, pp. 23–26.
LibreCat
| PDF
S. Arifulina, in:, U. W. Eisenecker, C. Bucholdt (Eds.), Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), 2012, pp. 23–26.
2012 | | LibreCat-ID: 578
Stability of Coalitional Equilibria within Repeated Tax Competition
S. Brangewitz, S. Brockhoff, Stability of Coalitional Equilibria within Repeated Tax Competition, Universität Paderborn, 2012.
LibreCat
| PDF
S. Brangewitz, S. Brockhoff, Stability of Coalitional Equilibria within Repeated Tax Competition, Universität Paderborn, 2012.
2012 | | 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
| PDF
| 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 | | LibreCat-ID: 585
Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme
R. Petrlic, in:, Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS), 2012, pp. 194–211.
LibreCat
| PDF
| DOI
R. Petrlic, in:, Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS), 2012, pp. 194–211.
2017 | | LibreCat-ID: 78
On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture
B. Jazayeri, S. Schwichtenberg, in:, Proceedings of the International Conference on Software Architecture(ICSA) IoT-ASAP Workshop, 2017, pp. 120–127.
LibreCat
| DOI
B. Jazayeri, S. Schwichtenberg, in:, Proceedings of the International Conference on Software Architecture(ICSA) IoT-ASAP Workshop, 2017, pp. 120–127.
2017 | | LibreCat-ID: 59
Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource
P. Kling, A. Mäcker, S. Riechers, A. Skopalik, in:, Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 123–132.
LibreCat
| PDF
| DOI
P. Kling, A. Mäcker, S. Riechers, A. Skopalik, in:, Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 123–132.
2012 | | LibreCat-ID: 597
Minimizing Expectation Plus Variance
M. Mavronicolas, B. Monien, in:, Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 239–250.
LibreCat
| PDF
| DOI
M. Mavronicolas, B. Monien, in:, Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 239–250.
2017 | | LibreCat-ID: 61
Self-* Algorithms for Distributed Systems
T.F. Strothmann, Self-* Algorithms for Distributed Systems, Universität Paderborn, 2017.
LibreCat
| DOI
T.F. Strothmann, Self-* Algorithms for Distributed Systems, Universität Paderborn, 2017.
2012 | | LibreCat-ID: 617
Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
A. Jungmann, B. Kleinjohann, E. Kleinjohann, M. Bieshaar, in:, Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
LibreCat
| PDF
A. Jungmann, B. Kleinjohann, E. Kleinjohann, M. Bieshaar, in:, Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
2012 | | LibreCat-ID: 624
Change and Validity Analysis in Deductive Program Verification
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification, Universität Paderborn, 2012.
LibreCat
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification, Universität Paderborn, 2012.
2012 | | LibreCat-ID: 631
Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction
M. von Detten, in:, Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–504.
LibreCat
| PDF
| DOI
M. von Detten, in:, Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–504.
2012 | | 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
| PDF
| 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.
2011 | | LibreCat-ID: 643
User-space Scheduling for Heterogeneous System under Linux
D. Welp, User-Space Scheduling for Heterogeneous System under Linux, Universität Paderborn, 2011.
LibreCat
D. Welp, User-Space Scheduling for Heterogeneous System under Linux, Universität Paderborn, 2011.
2011 | | LibreCat-ID: 648
Robust Distributed Computation in Dynamic Networks
P. Brandes, Robust Distributed Computation in Dynamic Networks, Universität Paderborn, 2011.
LibreCat
P. Brandes, Robust Distributed Computation in Dynamic Networks, Universität Paderborn, 2011.
2011 | | LibreCat-ID: 650
Reengineering of Design Deficiencies in Component-Based Software Architectures
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
LibreCat
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
2017 | | LibreCat-ID: 66
Pure Nash Equilibria in Restricted Budget Games
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in:, Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON), 2017, pp. 175–187.
LibreCat
| DOI
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in:, Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON), 2017, pp. 175–187.
2011 | | LibreCat-ID: 662
Corona: A Stabilizing Deterministic Message-Passing Skip List
M. Nesterenko, R. Mohd, C. Scheideler, in:, Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 356–370.
LibreCat
| PDF
| DOI
M. Nesterenko, R. Mohd, C. Scheideler, in:, Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 356–370.
2011 | | LibreCat-ID: 667
23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures
F. Meyer auf der Heide, R. Rajaraman, eds., 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011.
LibreCat
F. Meyer auf der Heide, R. Rajaraman, eds., 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011.
2017 | | LibreCat-ID: 698
As Asynchronous Adaption of a Churn-resistant Overlay Network
N.C. Banh, As Asynchronous Adaption of a Churn-Resistant Overlay Network, Universität Paderborn, 2017.
LibreCat
N.C. Banh, As Asynchronous Adaption of a Churn-Resistant Overlay Network, Universität Paderborn, 2017.
2017 | | LibreCat-ID: 73
PART_PW: From Partial Analysis Results to a Proof Witness
M.-C. Jakobs, in:, A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat
| DOI
M.-C. Jakobs, in:, A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
2017 | | LibreCat-ID: 97
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in:, 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
LibreCat
| DOI
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in:, 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
2012 | | LibreCat-ID: 612
Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs
C. Rüthing, M. Happe, A. Agne, C. Plessl, in:, Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 559–562.
LibreCat
| PDF
| DOI
C. Rüthing, M. Happe, A. Agne, C. Plessl, in:, Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 559–562.
2014 | | LibreCat-ID: 439
Deferring Accelerator Offloading Decisions to Application Runtime
G.F. Vaz, H. Riebler, T. Kenter, C. Plessl, in:, Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2014, pp. 1–8.
LibreCat
| PDF
| DOI
G.F. Vaz, H. Riebler, T. Kenter, C. Plessl, in:, Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2014, pp. 1–8.
2014 | | LibreCat-ID: 388
Partitioning and Vectorizing Binary Applications for a Reconfigurable Vector Computer
T. Kenter, G.F. Vaz, C. Plessl, in:, Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC), Springer International Publishing, Cham, 2014, pp. 144–155.
LibreCat
| PDF
| DOI
T. Kenter, G.F. Vaz, C. Plessl, in:, Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC), Springer International Publishing, Cham, 2014, pp. 144–155.
2013 | | LibreCat-ID: 528
FPGA-accelerated Key Search for Cold-Boot Attacks against AES
H. Riebler, T. Kenter, C. Sorge, C. Plessl, in:, Proceedings of the International Conference on Field-Programmable Technology (FPT), IEEE, 2013, pp. 386–389.
LibreCat
| PDF
| DOI
H. Riebler, T. Kenter, C. Sorge, C. Plessl, in:, Proceedings of the International Conference on Field-Programmable Technology (FPT), IEEE, 2013, pp. 386–389.
2017 | | LibreCat-ID: 92
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in:, Bosch Business Model Innovation Summit 2017, 2017.
LibreCat
| PDF
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in:, Bosch Business Model Innovation Summit 2017, 2017.
2016 | | LibreCat-ID: 148
Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory
T. John, in:, Proceedings of the Thirty Seventh International Conference on Information Systems (ICIS), Dublin, Ireland, 2016.
LibreCat
| PDF
T. John, in:, Proceedings of the Thirty Seventh International Conference on Information Systems (ICIS), Dublin, Ireland, 2016.
2018 | | LibreCat-ID: 1046
Towards Explaining the Popularity of the Business Model Canvas: A Dual Coding Approach (Research-in-Progress)
T. John, D. Szopinski, in:, Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
LibreCat
T. John, D. Szopinski, in:, Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
2018 | | LibreCat-ID: 2479
Automated Machine Learning Service Composition
F. Mohr, M.D. Wever, E. Hüllermeier, in:, IEEE Computer Society, San Francisco, CA, USA, 2018.
LibreCat
F. Mohr, M.D. Wever, E. Hüllermeier, in:, IEEE Computer Society, San Francisco, CA, USA, 2018.
2017 | | LibreCat-ID: 54
The Traveling Reviewer Problem – Exploring the Relationship between Offline Locations and Online Rating Behavior
J. Neumann, D. Gutt, D. Kundisch, in:, INFORMS Annual Meeting, 2017.
LibreCat
J. Neumann, D. Gutt, D. Kundisch, in:, INFORMS Annual Meeting, 2017.
2018 | | LibreCat-ID: 1060
When Local Praise Becomes Cheap Talk - Analyzing the Relationship between Reviewer Location and Usefulness of Online Reviews
J. Neumann, D. Gutt, D. Kundisch, D. van Straaten, in:, Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
LibreCat
J. Neumann, D. Gutt, D. Kundisch, D. van Straaten, in:, Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
2016 | | LibreCat-ID: 143
The Monotone Circuit Value Problem with Bounded Genus Is in NC
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in:, Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON), 2016, pp. 92–102.
LibreCat
| DOI
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in:, Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON), 2016, pp. 92–102.
2015 | | LibreCat-ID: 321
Anonymous credential system based on q-Strong Diffie-Hellman Assumption
F. Eidens, Anonymous Credential System Based on Q-Strong Diffie-Hellman Assumption, Universität Paderborn, 2015.
LibreCat
| PDF
F. Eidens, Anonymous Credential System Based on Q-Strong Diffie-Hellman Assumption, Universität Paderborn, 2015.
2015 | | LibreCat-ID: 302
Efficient Attributes for Pairing-Based Anonymous Credentials
C. Stroh, Efficient Attributes for Pairing-Based Anonymous Credentials, Universität Paderborn, 2015.
LibreCat
C. Stroh, Efficient Attributes for Pairing-Based Anonymous Credentials, Universität Paderborn, 2015.
2014 | | LibreCat-ID: 369
RSA-Full Domain Hash Revisited
T. Rath, RSA-Full Domain Hash Revisited, Universität Paderborn, 2014.
LibreCat
T. Rath, RSA-Full Domain Hash Revisited, Universität Paderborn, 2014.
2016 | | LibreCat-ID: 213
Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
LibreCat
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
2015 | | LibreCat-ID: 326
A group signature scheme based on the LSRW assumption
F. Heihoff, A Group Signature Scheme Based on the LSRW Assumption, Universität Paderborn, 2015.
LibreCat
F. Heihoff, A Group Signature Scheme Based on the LSRW Assumption, Universität Paderborn, 2015.
2016 | | LibreCat-ID: 167
Physical attacks on pairing-based cryptography
P. Günther, Physical Attacks on Pairing-Based Cryptography, Universität Paderborn, 2016.
LibreCat
| PDF
P. Günther, Physical Attacks on Pairing-Based Cryptography, Universität Paderborn, 2016.
2017 | | LibreCat-ID: 117
Attribute-based Signatures using Structure Preserving Signatures
P. Bemmann, Attribute-Based Signatures Using Structure Preserving Signatures, Universität Paderborn, 2017.
LibreCat
P. Bemmann, Attribute-Based Signatures Using Structure Preserving Signatures, Universität Paderborn, 2017.
2016 | | LibreCat-ID: 2570
Stackelberg Competition among Intermediaries in a Differentiated Duopoly with Product Innovation
J. Manegold, Stackelberg Competition among Intermediaries in a Differentiated Duopoly with Product Innovation, 2016.
LibreCat
J. Manegold, Stackelberg Competition among Intermediaries in a Differentiated Duopoly with Product Innovation, 2016.
2018 | | LibreCat-ID: 3287
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, arXiv:1803.07007 (2018).
LibreCat
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, arXiv:1803.07007 (2018).
2018 | | LibreCat-ID: 2481
Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions
S. Dräxler, S.B. Schneider, H. Karl, in:, 4th IEEE International Conference on Network Softwarization (NetSoft 2018), n.d.
LibreCat
| PDF
S. Dräxler, S.B. Schneider, H. Karl, in:, 4th IEEE International Conference on Network Softwarization (NetSoft 2018), n.d.
2017 | | LibreCat-ID: 1072
Vertikale Wettbewerbsbeschränkung auf Hotelreservierungsportalen - eine ökonomische Analyse anhand der Bestpreisklausel von Booking
D. Lütkevedder, Vertikale Wettbewerbsbeschränkung auf Hotelreservierungsportalen - eine ökonomische Analyse anhand der Bestpreisklausel von Booking, Universität Paderborn, 2017.
LibreCat
D. Lütkevedder, Vertikale Wettbewerbsbeschränkung auf Hotelreservierungsportalen - eine ökonomische Analyse anhand der Bestpreisklausel von Booking, Universität Paderborn, 2017.
2015 | | LibreCat-ID: 237
Trust Me, I am Certified - Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen
K. Ochlast, Trust Me, I Am Certified - Wie Die Zertifizierung von Produkten Und Verkäufern Das Vertrauen von Kunden Im Onlinehandel Beeinflussen, Universität Paderborn, 2015.
LibreCat
K. Ochlast, Trust Me, I Am Certified - Wie Die Zertifizierung von Produkten Und Verkäufern Das Vertrauen von Kunden Im Onlinehandel Beeinflussen, Universität Paderborn, 2015.
2016 | | LibreCat-ID: 129
Wie entsteht Kreativität? Ein Überblick über vergleichende Studien zu verschiedenen Formen des Brainstormings
A. Schmidt, Wie entsteht Kreativität? Ein Überblick über vergleichende Studien zu verschiedenen Formen des Brainstormings, Universität Paderborn, 2016.
LibreCat
A. Schmidt, Wie entsteht Kreativität? Ein Überblick über vergleichende Studien zu verschiedenen Formen des Brainstormings, Universität Paderborn, 2016.
2016 | | LibreCat-ID: 131
Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren
A. Holzmann, Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren, Universität Paderborn, 2016.
LibreCat
A. Holzmann, Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren, Universität Paderborn, 2016.
2017 | | LibreCat-ID: 1077
Marktabgrenzung in der Internetökonomie - Ein Fallbeispiel zum Fusionsantrag von Immowelt und Immonet
M. Wagemeyer, Marktabgrenzung in der Internetökonomie - Ein Fallbeispiel zum Fusionsantrag von Immowelt und Immonet, Universität Paderborn, 2017.
LibreCat
M. Wagemeyer, Marktabgrenzung in der Internetökonomie - Ein Fallbeispiel zum Fusionsantrag von Immowelt und Immonet, Universität Paderborn, 2017.
2014 | | LibreCat-ID: 338
Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens
H. Beck, Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens, Universität Paderborn, 2014.
LibreCat
H. Beck, Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens, Universität Paderborn, 2014.
2016 | | LibreCat-ID: 201
Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung
H. Bröcher, Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung, Universität Paderborn, 2016.
LibreCat
H. Bröcher, Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung, Universität Paderborn, 2016.