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.

2294 Publications


2018 | Journal Article | LibreCat-ID: 20485
The Relationship between Sensory Responses to Ankle Joint Loading and Corticomotor Excitability
A. Needle, J. Baumeister, W. Farquahr, J. Greaney, J. Higginson, T. Kaminski, C. Swanik, Int J Neuroscience 128 (2018) 435–441.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 20486
Low rates of patients meeting return to sport criteria 9 months after anterior cruciate ligament reconstruction: a prospective longitudinal study
W. Welling, A. Benjaminse, R. Seil, K. Lemmink, S. Zaffagnini, A. Gokeler, Knee Surg Sports Traumatol Arthrosc 26 (2018) 3636–3644.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 20488
Nonoperative treatment of muscle injuries - recommendations from the GOTS expert meeting
T. Hotfiel, R. Seil, W. Bily, W. Bloch, A. Gokeler, R. Krifter, F. Mayer, P. Ueblacker, L. Weisskopf, M. Engelhardt, J Exp Orthop 5 (2018).
LibreCat
 

2018 | Journal Article | LibreCat-ID: 20489
Altered movement during single leg hop test after ACL reconstruction: implications to incorporate 2-D video movement analysis for hop test
W. Welling, A. Benjaminse, R. Seil, K. Lemmink, A. Gokeler, Knee Surg Sports Traumatol Arthrosc 26 (2018) 3012–3019.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 20530
Explainable Static Analysis
E. Bodden, L. Nguyen Quang Do, in: Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz 2018, Ulm, Germany., 2018, pp. 205–208.
LibreCat | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 20543
Debugging Static Analysis
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions on Software Engineering (2018) 1–1.
LibreCat | DOI | Download (ext.)
 

2018 | Conference (Editor) | LibreCat-ID: 20544
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany
M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer, eds., Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany, Gesellschaft für Informatik, 2018.
LibreCat
 

2018 | Conference (Editor) | LibreCat-ID: 20545
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018
F. Tip, E. Bodden, eds., Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018, ACM, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 20546
Model Checking the Information Flow Security of Real-Time Systems
C. Gerking, D. Schubert, E. Bodden, in: M. Payer, A. Rashid, J.M. Such (Eds.), Engineering Secure Software and Systems, Springer International Publishing, Cham, 2018, pp. 27–43.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20547
Gamifying Static Analysis
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
LibreCat | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20548
The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-based Static Analyses (and How to Master Them)
E. Bodden, in: ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2018), ACM, New York, NY, USA, 2018, pp. 85–93.
LibreCat | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20549
Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes
J. Geismann, C. Gerking, E. Bodden, in: International Conference on Software and System Processes (ICSSP), 2018.
LibreCat | Files available
 

2018 | Book Chapter | LibreCat-ID: 2055
Maschinelle Entscheidungsfindung: Der Einsatz der Fuzzy-Logik in der Rechtswissenschaft
D. Krimphove, S. Niehaus, in: S. Breidenbach, F. Glatz (Eds.), Rechtshandbuch Legal Tech , C.H. Beck, München, 2018, pp. 249 – 262.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 20550
Self-adaptive Static Analysis
E. Bodden, in: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ACM, New York, NY, USA, 2018, pp. 45–48.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 20551
VISUFLOW, a Debugging Environment for Static Analyses
L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, in: International Conference for Software Engineering (ICSE), Tool Demonstrations Track, 2018.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20623
Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse (OffPlas)
V. Aßmuth, D. Teutenberg, G. Meschut, S. Stepanov, Jörg Ihde, B. Mayer, in: DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 18. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2018, pp. 91–93.
LibreCat
 

2018 | Conference Abstract | LibreCat-ID: 20662 LibreCat
 

2018 | Conference Abstract | LibreCat-ID: 20663
Negative emotional stimuli increase neurocognitive processing in the brain
Y. An, A. DiTrani Lobacz, J. Baumeister, C. Swanik, 53 (2018) 113.
LibreCat
 

2018 | Conference Abstract | LibreCat-ID: 20666
Exploring Functional Brain Connectivity of Postural Control in Upright Stance
T. Lehmann, D. Büchel, J. Cockcroft, Q. Louw, J. Baumeister, in: Proceedings of the 3rd International Mobile Brain/Body Imaging Conference, 2018.
LibreCat
 

2018 | Conference Abstract | LibreCat-ID: 20667
Effect of a cognitive dual-task on electrocortical activation during single leg stance
D. Büchel, T. Lehmann, J. Cockcroft, Q. Louw, J. Baumeister, in: Proceedings of the 3rd International Mobile Brain/Body Imaging Conference, 2018.
LibreCat
 

2018 | Dissertation | LibreCat-ID: 20779
Safety Requirements Engineering for Early SIL Tailoring
M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 20780
Threat Analysis in Practice - Systematically Deriving Security Requirements
M. Fockel, S. Merschjohann, M. Fazal-Baqaie, in: 19th International Conference on Product-Focused Software Process Improvement (PROFES 2018), Springer Nature Switzerland AG, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 20781
Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems
C. Gerking, D. Schubert, in: European Conference on Software Architecture (ECSA 2018), Springer, 2018, pp. 147–155.
LibreCat | DOI
 

2018 | Book Chapter | LibreCat-ID: 20782
Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information
T. Koch, J. Holtmann, T. Lindemann, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, Springer International Publishing, 2018, pp. 173–197.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 20783
Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems
T. Koch, in: International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 20784
Traceable Threat Modeling for Safety-critical Systems
J. Geismann, in: IEEE International Conference on Software Architecture Companion (ICSA-C 2018) , IEEE, 2018, pp. 41–42.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 20785
Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems
J. Geismann, R. Höttger, L. Krawczyk, U. Pohlmann, D. Schmelter, in: L.F. Pires, S. Hammoudi, B. Selic (Eds.), Model-Driven Engineering and Software Development, Springer International Publishing, Cham, 2018, pp. 72–93.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 20786
Formal, Model- and Scenario-based Requirement Patterns
M. Fockel, J. Holtmann, T. Koch, D. Schmelter, in: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 20787
Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control
B. Wohlers, S. Dziwok, D. Schmelter, W. Lorenz, Advances in Manufacturing, Production Management and Process Control - AHFE 2018 (2018) 398–410.
LibreCat | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 20788 LibreCat | DOI
 

2018 | Dissertation | LibreCat-ID: 20789
A Model-driven Software Construction Approach for Cyber-physical Systems
U. Pohlmann, A Model-Driven Software Construction Approach for Cyber-Physical Systems, Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2018.
LibreCat
 

2018 | Dissertation | LibreCat-ID: 20815
Inverse Optimal Control : theoretical study
S. Maslovskaya, Inverse Optimal Control : Theoretical Study, 2018.
LibreCat | Files available
 

2018 | Journal Article | LibreCat-ID: 20839
Kritische Entgegnung auf die Studie "Zur Relevanz informatischer Bildung in der Schule für den Erwerb computer- bzw. informationsbezogener Kompetenzen"
T. Brinda, I. Diethelm, L. Hellmig, J. Magenheim, R. Romeike, U. Schroeder, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 33 (2018) 1–10.
LibreCat | DOI
 

2018 | Report | LibreCat-ID: 20876
Synergies Take Center Stage
S. Sievers, G. Keienburg, T. Schmid, D. Degen, Synergies Take Center Stage, The Boston Consulting Group, Inc., M&A Report, 2018.
LibreCat | Download (ext.)
 

2018 | Report | LibreCat-ID: 20878
Blog post by Prof. Sönke Sievers: Kapitalmarktorientierte Erfolgsmessung von M&A Transaktionen – Deutsche und weltweite Evidenz.
S. Sievers, Blog post by Prof. Sönke Sievers: Kapitalmarktorientierte Erfolgsmessung von M&A Transaktionen – Deutsche und weltweite Evidenz., 2018.
LibreCat | Download (ext.)
 

2018 | Report | LibreCat-ID: 20879
Update on the M&A market entitled As Prices Peak, Should Dealmakers wait for the next Downturn?
S. Sievers, D. Degen, G. Keienburg, T. Schmid, J. Kengelbach, Update on the M&A Market Entitled As Prices Peak, Should Dealmakers Wait for the next Downturn?, The Boston Consulting Group, Inc., M&A Report, 2018.
LibreCat | Download (ext.)
 

2018 | Report | LibreCat-ID: 20880
Post on Paying for Performance in Private Equity: Evidence from VC Partnerships.
S. Sievers, D.T. Robinson, N. Hüther, T. Hartmann-Wendels, Post on Paying for Performance in Private Equity: Evidence from VC Partnerships., Havard , 2018.
LibreCat | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 1796
On the runtime of universal coating for programmable matter
J. J. Daymude, Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, Natural Computing (2018) 81--96.
LibreCat | DOI
 

2018 | Book (Editor) | LibreCat-ID: 17960
Heterogenität als Chance. Bilanz und Perspektiven des Qualitätspakt Lehre-Projektes an der Universität Paderborn
B. Riegraf, D.M. Meister, P. Reinhold, N. Schaper, T.T. Temps, eds., Heterogenität als Chance. Bilanz und Perspektiven des Qualitätspakt Lehre-Projektes an der Universität Paderborn, Paderborn, 2018.
LibreCat
 

2018 | Book (Editor) | LibreCat-ID: 17973
Digitale Medien im Maßregelvollzug. Qualifizierungskonzept zum Mediencoach & Praxisleitfaden für die medienpädagogische Arbeit mit Patientinnen und Patienten. Schwerpunkt: Digitale Foto- und Videoarbeit
A.-M. Kamin, D.M. Meister, N. Sonnenschein, L. Gerhardts, eds., Digitale Medien im Maßregelvollzug. Qualifizierungskonzept zum Mediencoach & Praxisleitfaden für die medienpädagogische Arbeit mit Patientinnen und Patienten. Schwerpunkt: Digitale Foto- und Videoarbeit, 2018.
LibreCat | Files available | Download (ext.)
 

2018 | Book | LibreCat-ID: 18009
Hochschulstrategie als Prozess. Zum allgemeinen und hochschulspezifischen Begriff der Strategie
M. Graf-Schlattmann, D.M. Meister, G. Oevel, M. Wilde, Hochschulstrategie Als Prozess. Zum Allgemeinen Und Hochschulspezifischen Begriff Der Strategie, Working Paper, (Version 1.0), Zenodo, 2018.
LibreCat | Files available
 

2018 | Bachelorsthesis | LibreCat-ID: 18030
Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten
N. N., Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten, Universität Paderborn, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 18031
Gathering Strategien für mobile Roboterschwärme im Gitternetz
N. N., Gathering Strategien Für Mobile Roboterschwärme Im Gitternetz, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 18032
Decontaminating Planar Regions with Finite Automaton Robots and Tiles
N. N., Decontaminating Planar Regions with Finite Automaton Robots and Tiles, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 18033
Load-Balanced Routing in Hybriden Kommunikationsnetzwerken
R. Wulfes, Load-Balanced Routing in Hybriden Kommunikationsnetzwerken, Universität Paderborn, 2018.
LibreCat
 

2018 | Book Chapter | LibreCat-ID: 18036
Ein Futurelab für die Medienpädagogik
T. Knaus, D.M. Meister, K. Narr, in: T. Knaus, D.M. Meister, K. Narr (Eds.), Futurelab Medienpädagogik. Qualitätsentwicklung. Professionalisierung. Standards. Schriften zur Medienpädagogik 54, kopaed, München, 2018, pp. 9–20.
LibreCat
 

2018 | Book Chapter | LibreCat-ID: 18040
Qualitätsentwicklung – Professionalisierung – Standards. Thesen aus medienpädagogischer Sicht
T. Knaus, D.M. Meister, G. Tulodziecki, in: T. Knaus, D.M. Meister, K. Narr (Eds.), Futurelab Medienpädagogik. Qualitätsentwicklung. Professionalisierung. Standards. Schriften zur Medienpädagogik 54, kopaed, München, 2018, pp. 23–47.
LibreCat
 

2018 | Book Chapter | LibreCat-ID: 18041
Digitalisierung erfordert professionelle medienpädagogische Unterstützung
T. Knaus, D.M. Meister, K. Narr, in: T. Knaus, D.M. Meister, K. Narr (Eds.), Futurelab Medienpädagogik. Qualitätsentwicklung. Professionalisierung. Standards. Schriften zur Medienpädagogik 54, kopaed, München, 2018, pp. 211–213.
LibreCat
 

2018 | Book Chapter | LibreCat-ID: 18042
Quality Development – Professionalization – Standards. A Mediapedagogy Futurelab
T. Knaus, D.M. Meister, G. Tulodziecki, in: T. Knaus, D.M. Meister, K. Narr (Eds.), Futurelab Medienpädagogik. Qualitätsentwicklung. Professionalisierung. Standards. Schriften zur Medienpädagogik 54, kopaed, München, 2018, pp. 235–258.
LibreCat
 

2018 | Book Chapter | LibreCat-ID: 18043
Medienpädagogik in pädagogischen Grenzfeldern – konzeptionelle Überlegungen am Beispiel des Maßregelvollzugs
A.-M. Kamin, D.M. Meister, N. Sonnenschein, in: T. Knaus, O. Engel (Eds.), Spannung? Potentiale! – Spannungsfelder des Digitalen und Bildungspotentiale, kopaed, München, 2018.
LibreCat
 

Filters and Search Terms

year=2018

Search

Filter Publications

Display / Sort

Export / Embed