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.

9931 Publications


2018 | Misc | LibreCat-ID: 6595
N. Feldmann, B. Jurgelucks, L. Claes, and B. Henning, Vollständige Charakterisierung von piezoelektrischen Scheiben mit Ringelektroden. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
 

2018 | Misc | LibreCat-ID: 6596
M. Webersen, S. Johannesmann, T. Brockschmidt, F. Rump, L. Claes, and B. Henning, Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren. Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2018.
LibreCat
 

2018 | Dissertation | LibreCat-ID: 6597
J. Juhnke, Models and Constructions for Secure Reputation Systems. Universität Paderborn, 2018.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 669
M. Feldotto, L. Leder, and A. Skopalik, “Congestion games with mixed objectives,” Journal of Combinatorial Optimization, vol. 36, no. 4, pp. 1145–1167, 2018.
LibreCat | Files available | DOI | arXiv
 

2018 | Journal Article | LibreCat-ID: 6743
D. Wolters, “Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken,” die hochschullehre, no. 4, 2018.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 6761
I. Jovanovikj, V. Narasimhan, G. Engels, and S. Sauer, “Context-specific Quality Evaluation of Test Cases,” in Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, Madeira, Portugal, 2018, pp. 594–601.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6763
I. Jovanovikj, G. Engels, A. Anjorin, and S. Sauer, “Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model,” in Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, Tallinn, Estonia, 2018, pp. 133–147.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 6828
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, O. Travkin, and H. Wehrheim, “Mechanized proofs of opacity: a comparison of two techniques,” Formal Asp. Comput., vol. 30, no. 5, pp. 597–625, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6836
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Making Linearizability Compositional for Partially Ordered Executions,” in Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6838
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Making Linearizability Compositional for Partially Ordered Executions,” in Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6839
S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Brief Announcement: Generalising Concurrent Correctness to Weak Memory,” in 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 6967
M. Derakhshanmanesh, J. Ebert, M. Grieger, and G. Engels, “Model-integrating development of software systems: a flexible component-based approach,” Software & Systems Modeling, pp. 1–30, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 6970 | OA
S. B. Schneider, S. Dräxler, and H. Karl, “Trade-offs in Dynamic Resource Allocation in Network Function Virtualization,” in IEEE Global Communications Conference (GLOBECOM 2018), Abu Dhabi, UAE, 2018.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 6972 | OA
S. B. Schneider, M. Peuster, and H. Karl, “A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), Verona, Italy, 2018.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 6974 | OA
S. B. Schneider, M. Peuster, W. Tavernier, and H. Karl, “A Fully Integrated Multi-Platform NFV SDK,” in IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), Verona, Italy, 2018.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 16713
C. Gölz et al., “Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics,” Frontiers in Physiology, 2018.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 16714
S. Vieluf et al., “Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control,” Neuroscience, pp. 203–213, 2018.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 16715
A. Bittracher, P. Koltai, S. Klus, R. Banisch, M. Dellnitz, and C. Schütte, “Transition Manifolds of Complex Metastable Systems,” Journal of Nonlinear Science, vol. 28, pp. 471–512, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 16937
J. Cunha, J. P. Fernandes, C. Kelleher, J. Mendes, and G. Engels, “2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC),” in Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018, Lisbon, Portugal, 2018.
LibreCat | DOI
 

2018 | Book Chapter | LibreCat-ID: 16938
G. Engels, G. W. Maier, S. K. Ötting, E. Steffen, and A. Teetz, “Gerechtigkeit in flexiblen Arbeits- und Managementprozessen,” in Zukunft der Arbeit – Eine praxisnahe Betrachtung, S. Wischmann and E. A. Hartmann, Eds. Berlin, Heidelberg: Springer Verlag, 2018, pp. 221–231.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed