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.
9819 Publications
2017 | Conference Paper | LibreCat-ID: 47248
Y. Acar, C. Stransky, D. Wermke, C. Weir, M. L. Mazurek, and S. Fahl, “Developers Need Support, Too: A Survey of Security Advice for Software Developers,” 2017, doi: 10.1109/secdev.2017.17.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47245
C. Stransky et al., “Lessons Learned from Using an Online Platform to Conduct Large-Scale, Online Controlled Security Experiments with Software Developers,” in 10th USENIX Workshop on Cyber Security Experimentation and Test, CSET 2017, Vancouver, BC, Canada, August 14, 2017, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 47243
F. Fischer et al., “Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security,” in 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, 2017, pp. 121–136, doi: 10.1109/SP.2017.31.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47250
D. C. Nguyen, D. Wermke, Y. Acar, M. Backes, C. Weir, and S. Fahl, “A Stitch in Time: Supporting Android Developers in Writing Secure Code,” 2017, doi: 10.1145/3133956.3133977.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47242
Y. Acar, S. Fahl, and M. L. Mazurek, “You are Not Your Developer, Either: A Research Agenda for Usable Security and Privacy Research Beyond End Users,” 2017, doi: 10.1109/secdev.2016.013.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47246
Y. Acar et al., “Comparing the Usability of Cryptographic APIs,” 2017, doi: 10.1109/sp.2017.52.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 47244
Y. Acar, C. Stransky, D. Wermke, M. L. Mazurek, and S. Fahl, “Security Developer Studies with GitHub Users: Exploring a Convenience Sample,” in Thirteenth Symposium on Usable Privacy and Security, SOUPS 2017, Santa Clara, CA, USA, July 12-14, 2017, 2017, pp. 81–95.
LibreCat
2017 | Conference Paper | LibreCat-ID: 48863
J. Bossek, “Ecr 2.0: A Modular Framework for Evolutionary Computation in R,” in Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2017, pp. 1187–1193, doi: 10.1145/3067695.3082470.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 48857
J. Bossek and C. Grimme, “A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria Minimum Spanning Tree Problem,” in 2017 IEEE Symposium Series on Computational Intelligence (SSCI), 2017, pp. 1–8, doi: 10.1109/SSCI.2017.8285183.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 48856
J. Bossek and C. Grimme, “An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling,” in 2017 IEEE Symposium Series on Computational Intelligence (SSCI), 2017, pp. 1–8, doi: 10.1109/SSCI.2017.8285224.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 48864
J. Bossek, “mcMST: A Toolbox for the Multi-Criteria Minimum Spanning Tree Problem,” Journal of Open Source Software, vol. 2, no. 17, p. 374, 2017, doi: 10.21105/joss.00374.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 48865
J. Bossek, “Smoof: Single- and Multi-Objective Optimization Test Functions,” The R Journal, vol. 9, no. 1, pp. 103–113, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 48837
B. Bischl, J. Richter, J. Bossek, D. Horn, J. Thomas, and M. Lang, “mlrMBO: A Modular Framework for Model-Based Optimization of Expensive Black-Box Functions,” CoRR, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 31267
C. Guillarmou, J. Hilgert, and T. Weich, “Classical and quantum resonances for hyperbolic surfaces,” Mathematische Annalen, vol. 370, no. 3–4, pp. 1231–1275, 2017, doi: 10.1007/s00208-017-1576-5.
LibreCat
| DOI
| arXiv
2017 | Journal Article | LibreCat-ID: 51390
J. Hilgert, T. Przebinda, and A. Pasquale, “Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3),” Representation Theory, vol. 21, pp. 416–457, 2017, doi: 10.1090/ert/506.
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 51392
J. Hilgert, J. Martens, and Ch. Manon, “Contraction of Hamiltonian K-spaces,” Inter. Math. Research Notices, vol. 20, pp. 6255–6309, 2017, doi: 10.1093/imrn/rnw191.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 51391
J. Hilgert, T. Przebinda, and A. Pasquale, “Resonances for the Laplacian of products of two rank one Riemannian symmetric spaces,” J. Funct. Anal., vol. 272, pp. 1477–1523, 2017.
LibreCat
2017 | Preprint | LibreCat-ID: 51525
J. Hilgert, S. Hansen, and A. Parthasarathy, “Resonances and Scattering Poles in Symmetric Spaces of Rank One.” 2017.
LibreCat
| Download (ext.)
2017 | Book Review | LibreCat-ID: 51576
J. Hilgert, “Pitici, M. (Ed). The Best Writing on Mathematics 2016 (Princeton University Press, 2017),” Mathematische Semesterberichte, vol. 64. pp. 253–254, 2017.
LibreCat
2017 | Book Review | LibreCat-ID: 51575
J. Hilgert, “Devlin, K. Finding Fibonacci. The Quest to Rediscover the Forgotten Mathematical Genius Who Changed the World (Princeton University Press, 2017),” Mathematische Semesterberichte, vol. 64. pp. 245–247, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 45941
B. Kovács, B. Li, C. Lubich, and C. A. Power Guerra, “Convergence of finite elements on an evolving surface driven by diffusion on the surface,” Numerische Mathematik, vol. 137, no. 3, pp. 643–689, 2017, doi: 10.1007/s00211-017-0888-4.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45942
B. Kovács and C. Lubich, “Stability and convergence of time discretizations of quasi-linear evolution equations of Kato type,” Numerische Mathematik, vol. 138, no. 2, pp. 365–388, 2017, doi: 10.1007/s00211-017-0909-3.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45940
B. Kovács and C. Lubich, “Stable and convergent fully discrete interior–exterior coupling of Maxwell’s equations,” Numerische Mathematik, vol. 137, no. 1, pp. 91–117, 2017, doi: 10.1007/s00211-017-0868-8.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45946
B. Kovács and C. A. Power Guerra, “Maximum norm stability and error estimates for the evolving surface finite element method,” Numerical Methods for Partial Differential Equations, vol. 34, no. 2, pp. 518–554, 2017, doi: 10.1002/num.22212.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45943
B. Kovács, “High-order evolving surface finite element method for parabolic problems on evolving surfaces,” IMA Journal of Numerical Analysis, vol. 38, no. 1, pp. 430–459, 2017, doi: 10.1093/imanum/drx013.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 45945
B. Kovács and C. A. Power Guerra, “Maximum norm stability and error estimates for the evolving surface finite element method,” Numerical Methods for Partial Differential Equations, vol. 34, no. 2, pp. 518–554, 2017, doi: 10.1002/num.22212.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 51703
G. Werth, “‘Guter’ Raumlehreunterricht aus der Sicht des Reformpädagogen und Volksschullehrers Ernst Heywang,” MU Der Mathematikunterricht, vol. 63, no. 2, pp. 17–33, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 32020
B. Küster, “On the semiclassical functional calculus for h-dependent functions,” Annals of Global Analysis and Geometry, vol. 52, no. 1, pp. 57–97, 2017, doi: 10.1007/s10455-017-9549-1.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 32022
B. Küster and P. Ramacher, “Quantum ergodicity and symmetry reduction,” Journal of Functional Analysis, vol. 273, no. 1, pp. 41–124, 2017, doi: 10.1016/j.jfa.2017.02.013.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 33563 |
S. Rezat and S. Rezat, “Subject specific genres and genre awareness in integrated mathematics and language teaching,” EURASIA Journal of Mathematics, Science & Technology Education 13 (7b), pp. 4157–4188, 2017.
LibreCat
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 48322
S. Prediger and L. Wessel, “Brauchen mehrsprachige Jugendliche eine andere fach- und sprachintegrierte Förderung als einsprachige?,” Zeitschrift für Erziehungswissenschaft, vol. 21, no. 2, pp. 361–382, 2017, doi: 10.1007/s11618-017-0785-8.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 48323
A. Schüler-Meyer, S. Prediger, T. Kuzu, L. Wessel, and A. Redder, “Is Formal Language Proficiency in the Home Language Required to Profit from a Bilingual Teaching Intervention in Mathematics? A Mixed Methods Study on Fostering Multilingual Students’ Conceptual Understanding,” International Journal of Science and Mathematics Education, vol. 17, no. 2, pp. 317–339, 2017, doi: 10.1007/s10763-017-9857-8.
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 48330
L. Wessel and T. Andreas, “Der Zusammenhang von sprachlichen Kompetenzen und schulischen mathematischen Leistungen: Curriculare Herausforderungen bei der Ausbildung von Lehrkräften vor dem Hintergrund des Berliner Rahmenlehrplans Mathematik,” in Sprachen – Bilden – Chancen: Sprachbildung in der Lehrkräftebildung, B. Jostes, Ed. Münster/New York: Waxmann, 2017, pp. 189–200.
LibreCat
2017 | Book Chapter | LibreCat-ID: 48400
F. Sprütten and L. Wessel, “„9 minus 8, das kommt 1.“ Mathematikunterricht in internationalen Förderklassen (IFK). Ziele und exemplarische Realisierungen,” in Beiträge zum Mathematikunterricht 2017, U. Kortenkamp and A. Kuzle, Eds. Münster: WTM-Verlag, 2017, pp. 953–956.
LibreCat
2017 | Book Chapter | LibreCat-ID: 48401
L. Wessel, “„Ja und dann kommt man halt immer einen höher.“ Operatives Üben am Beispiel von Ableitungsregeln,” in Beiträge zum Mathematikunterricht 2017, U. Kortenkamp and A. Kuzle, Eds. Münster: WTM-Verlag, 2017, pp. 1049–1052.
LibreCat
2017 | Book Chapter | LibreCat-ID: 48331
L. Wessel and S. Prediger, “Differentielle Förderbedarfe je nach Sprachhintergrund? Analysen zu Unterschieden und Gemeinsamkeiten zwischen sprachlich starken und schwachen, einsprachigen und mehrsprachigen Lernenden,” in Mathematik und Sprache-Empirischer Forschungsstand und unterrichtliche Herausforderungen, D. Leiss, A. Neumann, and K. Schwippert, Eds. Münster: Waxmann, 2017, pp. 165–187.
LibreCat
2017 | Book Chapter | LibreCat-ID: 48411
L. Wessel, “How do students develop lexical means for understanding the concept of relative frequency? Empirical insights on the basis of trace analyses,” in Proceedings of the Tenth Congress of the European Society for Research in Mathematics Education (CERME10, February 1 – 5, 2017), T. Dooley and G. Gueudet, Eds. Dublin, Ireland: DCU Institute of Education and ERME., 2017, pp. 1388–1395.
LibreCat
| Download (ext.)
2017 | Book (Editor) | LibreCat-ID: 53591
D. Müller-Gridschneder, Ed., Proceedings of the 2nd International Workshop on Resiliency in Embedded Electronic Systems. Lausanne, Switzerland, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 6721 |
S. Heindorf, M. Potthast, H. Bast, B. Buchhold, and E. Haussmann, “WSDM Cup 2017: Vandalism Detection and Triple Scoring,” in WSDM, 2017, pp. 827–828, doi: 10.1145/3018661.3022762.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 25070
A. Jungmann and B. Kleinjohann, “Automatic Composition of Service-based Image Processing Applications,” in Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106–113.
LibreCat
2016 | Dissertation | LibreCat-ID: 195
M. C. Platenius, Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Report | LibreCat-ID: 198
B. Jazayeri, M. C. Platenius, G. Engels, and D. Kundisch, Features of IT Service Markets: A Systematic Literature Review (Supplementary Material). Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 199
B. Jazayeri, M. Platenius, G. Engels, and D. Kundisch, “Features of IT Service Markets: A Systematic Literature Review,” in Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC), 2016, vol. 9936, pp. 301–316.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 19961
M. Wahby, D. N. Hofstadler, M. K. Heinrich, P. Zahadat, and H. Hamann, “An Evolutionary Robotics Approach to the Control of Plant Growth and Motion: Modeling Plants and Crossing the Reality Gap,” in Proc. of the 10th International Conference on Self-Adaptive and Self-Organizing Systems, 2016.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 19979
H. Hamann and M. Divband Soorati, “Robot Self-Assembly as Adaptive Growth Process: Collective Selection of Seed Position and Self-Organizing Tree-Structures,” in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016), 2016.
LibreCat
| DOI
2016 | Dissertation | LibreCat-ID: 200
M. Drees, Existence and Properties of Pure Nash Equilibria in Budget Games. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 20003
Y. Khaluf and H. Hamann, “On the Definition of Self-organizing Systems: Relevance of Positive/Negative Feedback and Fluctuations,” in ANTS 2016, 2016, vol. 9882, p. 298.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 201
H. Bröcher, Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 24154
A. Ramaswamy and S. Bhatnagar, “Stochastic recursive inclusion in two timescales with an application to the lagrangian dual problem,” Stochastics, vol. 88, no. 8, pp. 1173–1187, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 26428
R. Keil, “Design of virtual research environments for {\ "u} r detailed philological work,” in “Eh, the old man, I would like to pay attention”. Festschrift for {\ "u} r Joachim Veit for his 60th birthday, K. Richts and P. Stadler, Eds. Allitera M {\" u} nchen, 2016.
LibreCat
2016 | Dissertation | LibreCat-ID: 33
T. Steinle, Modeling and simulation of metallic, particle-damped spheres for lightweight materials. 2016.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3318
V. Melnikov, E. Hüllermeier, D. Kaimann, B. Frick, and Pritha Gupta, “Pairwise versus Pointwise Ranking: A Case Study,” Schedae Informaticae, vol. 25, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 35 |
H. Linnenbank, Y. Grynko, J. Förstner, and S. Linden, “Second harmonic generation spectroscopy on hybrid plasmonic/dielectric nanoantennas,” Light: Science & Applications, vol. 5, no. 1, p. e16013, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3543
A. Hildebrandt, S. Alhaddad, M. Hammer, and J. Förstner, “Oblique incidence of semi-guided waves on step-like folds in planar dielectric slabs: Lossless vertical interconnects in 3D integrated photonic circuits,” in Integrated Optics: Devices, Materials, and Technologies XX, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3747
K. Al Khatib, H. Wachsmuth, J. Kiesel, M. Hagen, and B. Stein, “A News Editorial Corpus for Mining Argumentation Strategies,” in Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, 2016, pp. 3433–3443.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 3801
K. Al-Khatib, H. Wachsmuth, M. Hagen, J. Köhler, and B. Stein, “Cross-Domain Mining of Argumentative Text through Distant Supervision,” in Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2016, pp. 1395–1404.
LibreCat
| DOI
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 3816
H. Wachsmuth, K. Al Khatib, and B. Stein, “Using Argument Mining to Assess the Argumentation Quality of Essays,” in Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers, 2016, pp. 1680–1691.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3834
A. Konoshonkin et al., “Light scattering by ice crystals of cirrus clouds: From exact numerical methods to physical-optics approximation,” Journal of Quantitative Spectroscopy and Radiative Transfer, vol. 195, pp. 132–140, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3840
A. V. Konoshonkin et al., “Comparison between the physical-optics approximation and exact methods solving the problem of light scattering by ice crystals of cirrus clouds,” in 22nd International Symposium on Atmospheric and Ocean Optics: Atmospheric Physics, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3841 |
W. Quiring et al., “Phase sensitive properties and coherent manipulation of a photonic crystal microcavity,” Optics Express, vol. 24, no. 18, pp. 20672–20684, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3843
Y. Grynko, Y. Shkuratov, and J. Förstner, “Light scattering by irregular particles much larger than the wavelength with wavelength-scale surface roughness,” Optics Letters, vol. 41, no. 15, pp. 3491–3493, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3849
A. V. Konoshonkin, N. V. Kustova, A. G. Borovoi, Y. Grynko, and J. Förstner, “Light scattering by ice crystals of cirrus clouds: comparison of the physical optics methods,” Journal of Quantitative Spectroscopy and Radiative Transfer, vol. 182, pp. 12–23, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3880
H. Wachsmuth, “Pipelines Für Effiziente und Robuste Ad-hoc Textanalyse,” in Ausgezeichnete Informatikdissertationen 2015, 2016, pp. 329–338.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 3884 |
Y. Kou and J. Förstner, “Discrete plasmonic solitons in graphene-coated nanowire arrays,” Optics Express, vol. 24, no. 5, p. 4714, 2016.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 3886
J. Alberti, H. Linnenbank, S. Linden, Y. Grynko, and J. Förstner, “The role of electromagnetic interactions in second harmonic generation from plasmonic metamaterials,” Applied Physics B, vol. 122, no. 2, pp. 45–50, 2016.
LibreCat
| Files available
| DOI
2016 | Preprint | LibreCat-ID: 2969 |
J. Blömer, S. Brauer, and K. Bujna, “Hard-Clustering with Gaussian Mixture Models.” Computing Research Repository, 2016.
LibreCat
| Download (ext.)
2016 | Report | LibreCat-ID: 2971
J. Blömer and P. Günther, Effizienz und Sicherheit paarungsbasierter Kryptographie. Tagungsband des 26. Fraunhofer SIT Smartcard-Workshops, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 3114
T. Jager and A. Rupp, “Black-Box Accumulation: Collecting Incentives in a Privacy-Preserving Way,” PoPETs, no. 3, pp. 62--82, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 3115
D. Hofheinz, T. Jager, D. Khurana, A. Sahai, B. Waters, and M. Zhandry, “How to Generate and Use Universal Samplers,” in Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II, 2016, pp. 715--744.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3117
C. Bader, T. Jager, Y. Li, and S. Schäge, “On the Impossibility of Tight Cryptographic Reductions,” in Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II, 2016, pp. 273--304.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
D. Hofheinz, T. Jager, and A. Rupp, “Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts,” in Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
S. Beringer and H. Wehrheim, “Verification of AUTOSAR Software Architectures with Timed Automata,” in Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
O. Travkin and H. Wehrheim, “Verification of Concurrent Programs on Weak Memory Models,” in Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
G. Schellhorn, O. Travkin, and H. Wehrheim, “Towards a Thread-Local Proof Technique for Starvation Freedom,” in Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Opacity of a Pessimistic {STM},” in 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, 2016, pp. 35:1--35:17.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
T. Isenberg, M.-}Christine Jakobs, F. Pauck, and H. Wehrheim, “Deriving approximation tolerance constraints from verification runs,” CoRR, 2016.
LibreCat
2016 | Mastersthesis | LibreCat-ID: 210
L. Leder, Congestion Games with Mixed Objectives. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 213
L. Porzenheim, Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
K. S. Bemmann, Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
M. Drees, R. Gmyr, and C. Scheideler, “Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration,” in Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 175
S. Walther and H. Wehrheim, “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs,” Science of Computer Programming, pp. 2--23, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 17656
G. Polevoy, M. de Weerdt, and C. Jonker, “The Convergence of Reciprocation,” in Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, 2016, pp. 1431–1432.
LibreCat