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.
9790 Publications
2016 | Journal Article | LibreCat-ID: 52803
S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” Journal on Data Semantics, vol. 5, no. 2, pp. 55–75, 2016, doi: 10.1007/s13740-015-0055-y.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45944
B. Kovács and C. A. Power Guerra, “Higher order time discretizations with ALE finite elements for parabolic problems on evolving surfaces,” IMA Journal of Numerical Analysis, vol. 38, no. 1, pp. 460–494, 2016, doi: 10.1093/imanum/drw074.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45936
B. Kovács and C. A. Power Guerra, “Error analysis for full discretizations of quasilinear parabolic problems on evolving surfaces,” Numerical Methods for Partial Differential Equations, vol. 32, no. 4, pp. 1200–1231, 2016, doi: 10.1002/num.22047.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45939
B. Kovács, B. Li, and C. Lubich, “A-Stable Time Discretizations Preserve Maximal Parabolic Regularity,” SIAM Journal on Numerical Analysis, vol. 54, no. 6, pp. 3600–3624, 2016, doi: 10.1137/15m1040918.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45937
B. Kovács and C. Lubich, “Numerical analysis of parabolic problems with dynamic boundary conditions,” IMA Journal of Numerical Analysis, vol. 37, no. 1, pp. 1–39, 2016, doi: 10.1093/imanum/drw015.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 45938
J. Karátson and B. Kovács, “A Parallel Numerical Solution Approach for Nonlinear Parabolic Systems Arising in Air Pollution Transport Problems,” in Mathematical Problems in Meteorological Modelling, 2016, pp. 57–70.
LibreCat
2016 | Conference Paper | LibreCat-ID: 53279
M. Soleymani, B. Maham, and F. Ashtiani, “Analysis of the downlink saturation throughput of an asymmetric IEEE 802.11n-based WLAN,” 2016, doi: 10.1109/icc.2016.7511453.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 52575
G. Werth, “Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?,” in Beiträge zum Mathematikunterricht, Heidelberg, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 48396
L. Wessel and N. Wilhelm, “Zusammenhänge zwischen Sprachkompetenz und verstehensorientierter Leistung beim Umgang mit Brüchen,” in Beiträge zum Mathematikunterricht 2016, Institut für Mathematik und Informatik Heidelberg, Ed. Münster: WTM-Verlag, 2016, pp. 1059–1062.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 48417
L. Wessel, S. Prediger, A. Schüler-Meyer, and T. Kuzu, “Is grade 7 too late to start with bilingual mathematics courses? An intervention study,” 2016.
LibreCat
| Download (ext.)
2016 | Dissertation | LibreCat-ID: 52853
R. Janus, Zwischen Katholizismus und Unkirchlichkeit. Pastorale Identitätskonstruktionen in der ostwestfälischen Diaspora am Beispiel des Pfarrers Theodor Holzhausen (1826-1900), vol. 6. Berlin : LIT-Verlag, 2016.
LibreCat
2015 | Conference Paper | LibreCat-ID: 250
M.-C. Jakobs, “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning,” 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
A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study,” 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25074
J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems,” 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25075
K. Stahl, J. Stöcklein, and S. Li, “Evaluation of Autonomous Approaches using Virtual Environments,” in Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Los Angeles, CA, USA, 2. - 7. Aug. 2015, 2015, vol. 9179, pp. 499–512.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25076
A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,” in Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329–332.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25080
F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,” in Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57–64.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25082
J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization,” 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25083
J. Jatzkowski and B. Kleinjohann, “Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems,” Mai 2015, 2015.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 251
K. Pfannschmidt, Solving the aggregated bandits problem. Universität Paderborn, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25107
A. Jungmann and F. Mohr, “An approach towards adaptive service composition in markets of composed services,” Journal of Internet Services and Applications 6(1), pp. 1–18, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25108
F.-J. Rammig and K. Stahl, “Online behavior classification for anomaly detection in self-x real-time systems,” Concurrency and Computation: Practice and Experience , 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25109
K. Sudhakar, Y. Zhao, and F.-J. Rammig, “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System,” Concurrency and Computation: Practice and Experience , 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25110
M. tech. M. M. Joy and F.-J. Rammig, “A hybrid methodology to detect memory leaks in soft real time embedded systems software,” Int. J. of Embedded Systems, 2015.
LibreCat
2015 | Journal Article | LibreCat-ID: 25111
Y. Khaluf, M. Birattari, and F.-J. Rammig, “Analysis of long-term swarm performance based on short-term experiments,” Springer Jounal Soft Computing , 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 252
M. Dräxler, J. Blobel, P. Dreimann, S. Valentin, and H. Karl, “SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming,” 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
J. Blömer, J. Juhnke, and N. Löken, “Short Group Signatures with Distributed Traceability,” 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
M. Wahby and H. Hamann, “On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking,” in Applications of Evolutionary Computation (EvoApplications 2015), 2015.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19966
M. Wahby, A. Weinhold, and H. Hamann, “Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings,” 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
M. Wahby, M. Divband Soorati, S. von Mammen, and H. Hamann, “Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion,” in Proceedings. 25. Computational Intelligence Workshop, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 19980
H. Hamann and M. Divband Soorati, “The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge,” in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015), 2015, pp. 153–160.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 19990
H. Ding and H. Hamann, “Dependability in Swarm Robotics: Error Detection and Correction,” in First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015), 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 19991
H. Hamann, T. Schmickl, D. Kengyel, P. Zahadat, G. Radspieler, and F. Wotawa, “Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms,” in Principles and Practice of Multi-Agent Systems (PRIMA 2015), 2015, pp. 201–217.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20005
M. Dorigo, H. Hamann, and G. Valentini, “Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off,” in Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20006
M. Dorigo, H. Hamann, and G. Valentini, “Self-organized collective decisions in a robot swarm,” in AAAI-15 Video Proceedings, 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 280
S. Arifulina, M. C. Platenius, F. Mohr, G. Engels, and W. Schäfer, “Market-Specific Service Compositions: Specification and Matching,” in Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 283
M. Czech, M.-C. Jakobs, and H. Wehrheim, “Just test what you cannot verify!,” in Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 284
M. Eikel and C. Scheideler, “IRIS: A Robust Information System Against Insider DoS Attacks,” Transactions on Parallel Computing, no. 3, pp. 18:1--18:33, 2015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 286
B. Kalde, Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup. Universität Paderborn, 2015.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 2865
D. Strotmann, Singulärwertzerlegung für μ-ähnliche Bregman-Divergenzen. 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 287
P. Wette and H. Karl, “HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks,” in Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 1--7.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 241
C. Scheideler, A. Setzer, and T. F. Strothmann, “Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures,” in Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 242
A. Koutsopoulos, C. Scheideler, and T. F. Strothmann, “Towards a Universal Approach for the Finite Departure Problem in Overlay Networks,” in Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–216.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 243
T. F. Strothmann, “The impact of communication patterns on distributed locally self-adjusting binary search trees,” in Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 2015, pp. 175--186.
LibreCat
| Files available
| DOI