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.

5711 Publications


2016 | Conference Paper | LibreCat-ID: 160
Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm
L. van Rooijen, H. Hamann, in: Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9.
LibreCat | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 16041
CavSimBase: A database for large scale comparison of protein binding sites
M. Leinweber, T. Fober, M. Strickert, L. Baumgärtner, G. Klebe, B. Freisleben, E. Hüllermeier, IEEE Transactions on Knowledge and Data Engineering 28 (2016) 1423–1434.
LibreCat
 

2016 | Dissertation | LibreCat-ID: 161
Reconfigurable Accelerators in the World of General-Purpose Computing
T. Kenter, Reconfigurable Accelerators in the World of General-Purpose Computing, Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Mastersthesis | 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
 

2016 | Conference Paper | LibreCat-ID: 1627
NetIDE: All-in-one framework for next generation, composed SDN applications
P.A.A. Gutierrez, E. Rojas, A. Schwabe, C. Stritzke, R. Doriguzzi-Corin, A. Leckey, G. Petralia, A. Marsico, K. Phemius, S. Tamurejo, in: 2016 IEEE NetSoft Conference and Workshops (NetSoft), IEEE, 2016.
LibreCat | DOI
 

2016 | Conference (Editor) | LibreCat-ID: 163
Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc)
F. Dressler, F. Meyer auf der Heide, eds., Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), ACM, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 1630
A non-disruptive automated approach to update SDN applications at runtime
A. Marsico, R. Doriguzzi-Corin, M. Gerola, D. Siracusa, A. Schwabe, in: NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium, IEEE, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 1632
Empowering network operating systems with memory management techniques
R. Doriguzzi-Corin, D. Siracusa, E. Salvador, A. Schwabe, in: NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium, IEEE, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 16351
Algorithm Engineering Aspects of Real-Time Rendering Algorithms
M. Fischer, C. Jähn, F. Meyer auf der Heide, R. Petring, in: L. Kliemann, P. Sanders (Eds.), Algorithm Engineering, Springer, 2016, pp. 226–244.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 16358
The impact of the Gabriel subgraph of the visibility graph on the gathering of mobile autonomous robots
S. Li, F. Meyer auf der Heide, P. Podlipyan, in: Algorithms for Sensor Systems, Proceedings of the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (ALGOSENSORS), Springer, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 16359
Asymptotically Optimal Gathering on a Grid
A. Cord-Landwehr, M. Fischer, D. Jung, F. Meyer auf der Heide, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2016, pp. 301–312.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 16360
Gathering a Closed Chain of Robots on a Grid
S. Abshoff, A. Cord-Landwehr, M. Fischer, D. Jung, F. Meyer auf der Heide, in: Proceedings of the 30th International Parallel and Distributed Processing Symposium (IPDPS), IEEE, 2016, pp. 689–699.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 16364
On Competitive Algorithms for Approximations of Top-k-Position Monitoring of Distributed Streams
A. Macker, M. Malatyali, F. Meyer auf der Heide, in: 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2016.
LibreCat | DOI
 

2016 | Preprint | LibreCat-ID: 16396
Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, ArXiv:1609.01184 (2016).
LibreCat | arXiv
 

2016 | Mastersthesis | LibreCat-ID: 164
Predicting Rankings of Software Verification Tools Using Kernels for Structured Data
M. Czech, Predicting Rankings of Software Verification Tools Using Kernels for Structured Data, Universität Paderborn, 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 139
Towards the price of leasing online
S. Abshoff, P. Kling, C. Markarian, F. Meyer auf der Heide, P. Pietrzyk, Journal of Combinatorial Optimization (2016) 1197--1216.
LibreCat | Files available | DOI
 

2016 | Dissertation | LibreCat-ID: 140
Towards On-The-Fly Image Processing
A. Jungmann, Towards On-The-Fly Image Processing, Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Dissertation | LibreCat-ID: 141
Towards Automated Service Composition Under Quality Constraints
F. Mohr, Towards Automated Service Composition Under Quality Constraints, Universität Paderborn, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 142
Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks
C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 30th International Symposium on Distributed Computing (DISC), 2016, pp. 71--84.
LibreCat | Files available | DOI
 

2016 | Conference Paper | 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 | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 145
Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM
M. Feldotto, K. Graffi, Concurrency and Computation: Practice and Experience 28 (2016) 1655–1677.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 13151
Using Deep Convolutional Neural Networks in Monte Carlo Tree Search
T. Graf, M. Platzner, in: Computer and Games, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 13152
Monte-Carlo Simulation Balancing Revisited
T. Graf, M. Platzner, in: IEEE Computational Intelligence and Games, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 132
Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware
T. Wiersema, M. Platzner, in: Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8.
LibreCat | Files available | DOI
 

2016 | Bachelorsthesis | LibreCat-ID: 133
Verifikation von Service Kompositionen mit Spin
M. Dewender, Verifikation von Service Kompositionen mit Spin, Universität Paderborn, 2016.
LibreCat
 

2016 | Bachelorsthesis | LibreCat-ID: 134
Verifikation von Service Kompositionen mit Prolog
P. Heinisch, Verifikation von Service Kompositionen mit Prolog, Universität Paderborn, 2016.
LibreCat
 

2016 | Dissertation | LibreCat-ID: 10136
Insider-resistent Distributed Storage Systems
M. Eikel, Insider-Resistent Distributed Storage Systems, Universität Paderborn, 2016.
LibreCat | Files available
 

2016 | Book Chapter | LibreCat-ID: 10214
Preference Learning
J. Fürnkranz, E. Hüllermeier, in: C. Sammut, G.I. Webb (Eds.), Encyclopedia of Machine Learning and Data Mining, Springer, 2016.
LibreCat
 

2016 | Conference (Editor) | LibreCat-ID: 10221
Proceedings 26. Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany
F. Hoffmann, E. Hüllermeier, R. Mikut, eds., Proceedings 26. Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 10222
Extreme F-measure maximization using sparse probability estimates
K. Jasinska, K. Dembczynski, R. Busa-Fekete, T. Klerx, E. Hüllermeier, in: M.F. Balcan, K.Q. Weinberger (Eds.), Proceedings ICML-2016, 33th International Conference on Machine Learning, New York, USA, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 10223
Learning to aggregate using uninorms, in Proceedings ECML/PKDD-2016
V. Melnikov, E. Hüllermeier, in: European Conference on Machine Learning and Knowledge Discovery in Databases, Part II, Riva Del Garda, Italy, 2016, pp. 756–771.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 10224
Consistency of probalistic classifier trees
K. Dembczynski, W. Kotlowski, W. Waegeman, R. Busa-Fekete, E. Hüllermeier, in: In Proceedings ECML/PKDD European Conference on Maschine Learning and Knowledge Discovery in Databases, Part II, Riva Del Garda, Italy, 2016, pp. 511–526.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 10225
Predicting the electricity consumption of buildings: An improved CBR approach
A. Shabani, A. Paul, R. Platon, E. Hüllermeier, in: In Proceedings ICCBR, 24th International Conference on Case-Based Reasoning, Atlanta, GA, USA, 2016, pp. 356–369.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 10226
Evaluating tests in medical diagnosis-Combining machine learning with game-theoretical concepts
K. Pfannschmidt, E. Hüllermeier, S. Held, R. Neiger, in: In Proceedings IPMU 16th International Conference on Information Processing and Management  of Uncertainty in Knowledge-Based Systems, Part 1, Eindhoven, The Netherlands, Springer, 2016, pp. 450–461.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 10227
On the Identifiability of models in multi-criteria preference learning
C. Labreuche, E. Hüllermeier, P. Vojtas, A. Fallah Tehrani, in: R. Busa-Fekete, E. Hüllermeier, V. Mousseau, K. Pfannschmidt (Eds.), Proceedings DA2PL ´2016, Euro Mini Conference from Multiple Criteria Decision Aid to Preference Learning, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 10228
Preference-Based Reinforcement Learning Using Dyad Ranking
D. Schäfer, E. Hüllermeier, in: R. Busa-Fekete, E. Hüllermeier, V. Mousseau, K. Pfannschmidt (Eds.), Proceedings DA2PL ´2016, Euro Mini Conference from Multiple Criteria Decision Aid to Preference Learning, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 10229
Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators
I. Couso, M. Ahmadi Fahandar, E. Hüllermeier, in: R. Busa-Fekete, E. Hüllermeier, V. Mousseau, K. Pfannschmidt (Eds.), Proceedings DA2PL ´2016, Euro Mini Conference from Multiple Criteria Decision Aid to Preference Learning, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 10230
Support vector classification on noisy data using fuzzy supersets losses
S. Lu, E. Hüllermeier, in: F. Hoffmann, E. Hüllermeier, R. Mikut (Eds.), Proceedings 26. Workshop Computational Intelligence, KIT Scientific Publishing, 2016, pp. 1–8.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 10231
Plackett-Luce networks for dyad ranking
D. Schäfer, E. Hüllermeier, in: In Workshop LWDA “Lernen, Wissen, Daten, Analysen,” 2016.
LibreCat
 

2016 | Conference (Editor) | LibreCat-ID: 10263
ECAI 2016, 22nd European Conference on Artificial Intelligence, including PAIS 2016, Prestigious Applications of Artificial Intelligence
G.A. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, F. van Harmelen, eds., ECAI 2016, 22nd European Conference on Artificial Intelligence, Including PAIS 2016, Prestigious Applications of Artificial Intelligence, IOS Press, The Hague, The Netherlands, 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 10264
CavSimBase: A database for large scale comparison of protein binding sites
M. Leinweber, T. Fober, M. Strickert, L. Baumgärtner, G. Klebe, B. Freisleben, E. Hüllermeier, IEEE Transactions on Knowledge and Data Engineering 28 (2016) 1423–1434.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 10266 LibreCat
 

2016 | Journal Article | LibreCat-ID: 1373
Delayed (de-)activation in servers with a sleep mode
M. Herlich, N. Bredenbals, H. Karl, Sustainable Computing: Informatics and Systems 10 (2016) 48–55.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 137 | OA
Vandalism Detection in Wikidata
S. Heindorf, M. Potthast, B. Stein, G. Engels, in: Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016), 2016, pp. 327--336.
LibreCat | Files available | DOI | Download (ext.)
 

2016 | Book Chapter | LibreCat-ID: 2978
Adaptive Seeding for Gaussian Mixture Models
J. Blömer, K. Bujna, in: Advances in Knowledge Discovery and Data Mining, Springer International Publishing, Cham, 2016, pp. 296–308.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 8159 | OA
A Linear Time Algorithm for Quantum 2-SAT
N. de Beaudrap, S. Gharibian, in: R. Raz (Ed.), Proceedings of the 31st Conference on Computational Complexity (CCC 2016), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2016, p. 27:1–17:21.
LibreCat | DOI | Download (ext.) | arXiv
 

2016 | Book Chapter | LibreCat-ID: 29
ReconOS
A. Agne, M. Platzner, C. Plessl, M. Happe, E. Lübbers, in: D. Koch, F. Hannig, D. Ziener (Eds.), FPGAs for Software Programmers, Springer International Publishing, Cham, 2016, pp. 227–244.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 31
Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems
H. Riebler, G.F. Vaz, C. Plessl, E.M.G. Trainiti, G.C. Durelli, C. Bolchini, in: Proc. HiPEAC Workshop on Reonfigurable Computing (WRC), 2016.
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 24
Microdisk Cavity FDTD Simulation on FPGA using OpenCL
T. Kenter, C. Plessl, in: Proc. Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2016.
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 25
Using Approximate Computing in Scientific Codes
M. Lass, T. Kühne, C. Plessl, in: Workshop on Approximate Computing (AC), 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 138
Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems
H. Riebler, G.F. Vaz, C. Plessl, E.M.G. Trainiti, G.C. Durelli, E. Del Sozzo, M.D. Santambrogio, C. Bolchini, in: Proceedings of International Forum on Research and Technologies for Society and Industry (RTSI), IEEE, 2016, pp. 1–5.
LibreCat | Files available | DOI
 

2016 | Book Chapter | LibreCat-ID: 156
Self-aware Compute Nodes
A. Agne, M. Happe, A. Lösch, C. Plessl, M. Platzner, in: Self-Aware Computing Systems, Springer International Publishing, Cham, 2016, pp. 145–165.
LibreCat | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 165
Potential and Methods for Embedding Dynamic Offloading Decisions into Application Code
G.F. Vaz, H. Riebler, T. Kenter, C. Plessl, Computers and Electrical Engineering 55 (2016) 91–111.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 168
Performance-centric scheduling with task migration for a heterogeneous compute node in the data center
A. Lösch, T. Beisel, T. Kenter, C. Plessl, M. Platzner, in: Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), EDA Consortium / IEEE, 2016, pp. 912–917.
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 171
Opportunities for deferring application partitioning and accelerator synthesis to runtime (extended abstract)
T. Kenter, G.F. Vaz, H. Riebler, C. Plessl, in: Workshop on Reconfigurable Computing (WRC), 2016.
LibreCat | Files available
 

2016 | Journal Article | LibreCat-ID: 48306
Argumentation Mining in User-Generated Web Discourse
I. Habernal, I. Gurevych, Computational Linguistics 43 (2016) 125–179.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 48308
New Collection Announcement
I. Habernal, M. Sukhareva, F. Raiber, A. Shtok, O. Kurland, H. Ronen, J. Bar-Ilan, I. Gurevych, in: Proceedings of the 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 48307
Which argument is more convincing? Analyzing and predicting convincingness of Web arguments using bidirectional LSTM
I. Habernal, I. Gurevych, in: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), Association for Computational Linguistics, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 47240
SoK: Lessons Learned from Android Security Research for Appified Software Platforms
Y. Acar, M. Backes, S. Bugiel, S. Fahl, P. McDaniel, M. Smith, in: 2016 IEEE Symposium on Security and Privacy (SP), IEEE, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46364
MO-ParamILS: A Multi-objective Automatic Algorithm Configuration Framework
A. Blot, H. Hoos, L. Jourdan, M. Marmion, H. Trautmann, in: V. et al. Joaquin (Ed.), LION 2016: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2016, pp. 32–47.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 46363
On the Closest Averaged Hausdorff Archive for a Circularly Convex Pareto Front
G. Rudolph, O. Schütze, H. Trautmann, in: G. Squillero, P. Burelli (Eds.), Applications of Evolutionary Computation: 19$^th$ European Conference, EvoApplications 2016, Porto, Portugal, March 30 — April 1, 2016, Proceedings, Part II, Springer International Publishing, Cham, 2016, pp. 42–55.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46365
Evolving Instances for Maximizing Performance Differences of State-of-The-Art Inexact TSP Solvers
J. Bossek, H. Trautmann, in: P. Festa, M. Sellmann, J. Vanschoren (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Ischia, Italy, 2016, pp. 48–59.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46366
Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference
J. Bossek, H. Trautmann, in: G. Adorni, S. Cagnoni, M. Gori, M. Maratea (Eds.), AI*IA 2016 Advances in Artificial Intelligence, Springer, Cham, 2016, pp. 3–12.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46369
Towards Analyzing Multimodality of Multiobjective Landscapes
P. Kerschke, H. Wang, M. Preuss, C. Grimme, A. Deutz, H. Trautmann, M. Emmerich, in: Proceedings of the 14$^th$ International Conference on Parallel Problem Solving from Nature (PPSN XIV), Springer, Edinburgh, Scotland, 2016, pp. 962–972.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46367
Low-Budget Exploratory Landscape Analysis on Multiple Peaks Models
P. Kerschke, M. Preuss, S. Wessing, H. Trautmann, in: Proceedings of the 18$^th$ Annual Conference on Genetic and Evolutionary Computation, Denver, CO, USA, 2016, pp. 229–236.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 46371
Optimal averaged Hausdorff archives for bi-objective problems: theoretical and numerical results
G. Rudolph, O. Schütze, C. Grimme, C. Domínguez-Medina, H. Trautmann, Computational Optimization and Applications (Comput. Optim. Appl.) 64 (2016) 589–618.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 46372
The Hypervolume based Directed Search Method for Multi-Objective Optimization Problems
O. Schütze, H.V. Sosa, H. Trautmann, G. Rudolph, Journal of Heuristics 22 (2016) 273–300.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46368
The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems
P. Kerschke, H. Trautmann, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC), Vancouver, BC, Kanada, 2016.
LibreCat | DOI
 
 

2016 | Conference Paper | LibreCat-ID: 48309
What makes a convincing argument? Empirical analysis and detecting attributes of convincingness in Web argumentation
I. Habernal, I. Gurevych, in: Proceedings of the 2016 Conference on Empirical Methods in Natural          Language Processing, Association for Computational Linguistics, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 47241
You Get Where You're Looking for: The Impact of Information Sources on Code Security
Y. Acar, M. Backes, S. Fahl, D. Kim, M.L. Mazurek, C. Stransky, in: 2016 IEEE Symposium on Security and Privacy (SP), IEEE, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 47239
An Empirical Study of Textual Key-Fingerprint Representations
S. Dechand, D. Schürmann, K. Busse, Y. Acar, S. Fahl, M. Smith, in: T. Holz, S. Savage (Eds.), 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016, USENIX Association, 2016, pp. 193–208.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 48873
Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers
J. Bossek, H. Trautmann, in: P. Festa, M. Sellmann, J. Vanschoren (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2016, pp. 48–59.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 52803
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.
LibreCat | 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
 

2015 | Conference Paper | LibreCat-ID: 25073
Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25074
Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25075
Evaluation of Autonomous Approaches using Virtual Environments
K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25076
On Adaptivity for Automated Composition of Service Functionality
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25080
Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2015, pp. 57–64.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25082
Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25083
Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.
LibreCat
 

2015 | Mastersthesis | LibreCat-ID: 251
Solving the aggregated bandits problem
K. Pfannschmidt, Solving the Aggregated Bandits Problem, Universität Paderborn, 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25107
An approach towards adaptive service composition in markets of composed services
A. Jungmann, F. Mohr, Journal of Internet Services and Applications 6(1) (2015) 1–18.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25108
Online behavior classification for anomaly detection in self-x real-time systems
F.-J. Rammig, K. Stahl, Concurrency and Computation: Practice and Experience (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25109
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice and Experience (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25110
A hybrid methodology to detect memory leaks in soft real time embedded systems software
M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25111
Analysis of long-term swarm performance based on short-term experiments
Y. Khaluf, M. Birattari, F.-J. Rammig, Springer Jounal Soft Computing (2015).
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 252
SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming
M. Dräxler, J. Blobel, P. Dreimann, S. Valentin, H. Karl, in: Proceedings of the 2nd International Conference on Networked Systems (NetSys), 2015, pp. 1--8.
LibreCat | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 253
Short Group Signatures with Distributed Traceability
J. Blömer, J. Juhnke, N. Löken, in: Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2015, pp. 166–180.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 19959
On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking
M. Wahby, H. Hamann, in: Applications of Evolutionary Computation (EvoApplications 2015), 2015.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19960
Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids
H. Hamann, M. Wahby, T. Schmickl, P. Zahadat, D. Hofstadler, K. Stoy, S. Risi, A. Faina, F. Veenstra, S. Kernbach, I. Kuksin, O. Kernbach, P. Ayres, P. Wojtaszek, in: Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE’15), 2015.
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 19962 LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19966
Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings
M. Wahby, A. Weinhold, H. Hamann, in: Proceedings of the 9th EAI International Conference on Bio-Inspired Information and Communications Technologies (Formerly BIONETICS), 2015.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19967
Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion
M. Wahby, M. Divband Soorati, S. von Mammen, H. Hamann, in: Proceedings. 25. Computational Intelligence Workshop, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 19980
The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge
H. Hamann, M. Divband Soorati, in: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015), ACM, 2015, pp. 153–160.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19988
Evolving Collective Behaviors With Diverse But Predictable Sensor States
H. Hamann, T. Schmickl, P. Zahadat, in: 13th European Conference on Artificial Life (ECAL 2015), MIT Press, 2015, p. 174.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 19989
Probabilistic Modeling of Swarming Systems
H. Hamann, N. Correll, J. Kacprzyk, W. Pedrycz, in: Springer Handbook of Computational Intelligence, Springer, 2015, pp. 1423–1431.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19990
Dependability in Swarm Robotics: Error Detection and Correction
H. Ding, H. Hamann, in: First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015), 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 19991
Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms
H. Hamann, T. Schmickl, D. Kengyel, P. Zahadat, G. Radspieler, F. Wotawa, in: Principles and Practice of Multi-Agent Systems (PRIMA 2015), 2015, pp. 201–217.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed