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.

1990 Publications


2016 | Journal Article | LibreCat-ID: 23631
Nanoscale Structure of the Oil-Water Interface
M. Fukuto, B.M. Ocko, D.J. Bonthuis, R.R. Netz, H.-G. Steinrück, D. Pontoni, I. Kuzmenko, J. Haddad, M. Deutsch, Physical Review Letters 117 (2016) 256102.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 23632
In Situ Study of Silicon Electrode Lithiation with X-ray Reflectivity
C. Cao, H.-G. Steinrück, B. Shyam, K.H. Stone, M.F. Toney, Nano Letters 16 (2016) 7394–7401.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 2367
A Theoretical Analysis of the Fuzzy K-Means Problem
J. Blömer, S. Brauer, K. Bujna, in: 2016 IEEE 16th International Conference on Data Mining (ICDM), IEEE, 2016, pp. 805–810.
LibreCat | DOI
 

2016 | Report | LibreCat-ID: 23737
Machbarkeitsstudie 3D Druck Elektromotoren
S. Lammers, F. Quattrone, R. Mrozek, Machbarkeitsstudie 3D Druck Elektromotoren, Forschungsvereinigung Antriebstechnik e.V., 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 23750
Effects of innovative science and mathematics teaching on student attitudes and achievement: A meta-analytic study
E.R. Savelsbergh, G.T. Prins, C. Rietbergen, S. Fechner, B.E. Vaessen, J.M. Draijer, A. Bakker, Educational Research Review 19 (2016) 158–172.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 23753
Science Kits: Learning chemistry in a context-oriented learning environment
S. Fechner, E. Sumfleth, in: R. Taconis, P. den Brok, A. Pilot (Eds.), Teachers Creating Context-Based Learning Environments in Science, Sense Publishers, Rotterdam, 2016, pp. 59–70.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 23754
Egg-races als gesellschaftsfähige naturwissenschaftliche Wettbewerbe für jedermann?
S. Fechner, Y. Dettweiler, B. Sieve, N. Ulrich, D. Böhm, S. Schanze, CHEMKON 23 (2016) 71–78.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 23765
Trendbericht Chemiedidaktik: Von Exklusion zur Inklusion
H.-J. Becker, S. Fechner, L. Brauckschulze, Nachrichten aus der Chemie 64 (2016) 352–358.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 23832
A comparative study of different amine-based solvents for CO2-capture using the rate-based approach
N. Hüser, O. Schmitz, E. Kenig, Chemical Engineering Science (2016) 221–231.
LibreCat | DOI
 

2016 | Conference Abstract | LibreCat-ID: 23877
Vergleich von MEA und AMP als Lösungsmittel für die CO2-Abscheidung mit Hilfe des rate-based Ansatzes
N. Hüser, O. Schmitz, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppe Fluidverfahrenstechnik, Garmisch-Partenkirchen, 2016.
LibreCat
 

2016 | Conference Abstract | LibreCat-ID: 23975 LibreCat
 

2016 | Conference Paper | LibreCat-ID: 203
Economic Aspects of Service Composition: Price Negotiations and Quality Investments
S. Brangewitz, S. Hoof, in: S.D. Marco Aiello, Einar Broch Johnsen, I. Georgievski (Eds.), Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, Cham, 2016, pp. 201–215.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 20326 LibreCat
 

2016 | Book Chapter | LibreCat-ID: 20330
Entwicklung von Bewertungsmethoden und -richtlinien für das Kleben von ZnMgAl-beschichteten Stahlfeinblechen
M. Ditz, G. Meschut, R. Grothe, G. Grundmeier, in: 6.Doktorandenseminar Klebtechnik, 319th ed., DVS Media, Düsseldorf, 2016.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 20350
Object oriented graphical user interface development methodologies for distribution smart grid applications
T. Hrnji{\’c}, I. Huseinagi{\’c}, F. Pa{\v{s}}i{\’c}, in: 2016 XI International Symposium on Telecommunications (BIHTEL), 2016, pp. 1–6.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 20375
Analyse der Schwingfestigkeit geklebter Stahlverbindungen unter mehrkanaliger Belastung
C. Nagel, A. Fiedler, M. Brede, S. Çavdar, G. Meschut, U. Kroll, A. Matzenmiller, G. Rybar, T. Melz, in: 16. Kolloquium Gemeinsame Forschung in der Klebtechnik, 2016.
LibreCat
 

2016 | Bachelorsthesis | LibreCat-ID: 204
Die Wirkung von monetären Incentives auf das Bewertungsverhalten von Kunden am Beispiel von meineLinse.de
J. Funke, Die Wirkung von monetären Incentives auf das Bewertungsverhalten von Kunden am Beispiel von meineLinse.de, Universität Paderborn, 2016.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 20401
A Comparison of Frontal Theta Activity During Shooting among Biathletes and Cross-Country Skiers before and after Vigorous Exercise.
H. Luchsinger, S. Ø, M. Schubert, G. Ettema, J. Baumeister, PLoS One 11 (2016) e0150461.
LibreCat | DOI | PubMed | Europe PMC
 

2016 | Book Chapter | LibreCat-ID: 2049
The Europeanization of Commercial Agency Law
D. Krimphove, in: E. Arroyo Amayuelas , Á. Serrano de Nicolás (Eds.), La Europeización Del Derecho Privado: Cuestiones Actuales, Marcial Pons, Barcelona, 2016, pp. 129 – 141.
LibreCat
 

2016 | Conference Abstract | LibreCat-ID: 205 LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 20556
Information Flow Analysis for Go
E. Bodden, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}, 2016, pp. 431–445.
LibreCat | DOI
 

2016 | Conference Abstract | LibreCat-ID: 206
Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions
P. Herrmann, D. Gutt, M. Rahman, in: NBER Summer Institute on the Economics of Information Technology and Digitization, 2016.
LibreCat | Files available
 

2016 | Conference Abstract | LibreCat-ID: 20649 LibreCat
 

2016 | Conference Abstract | LibreCat-ID: 20651 LibreCat
 

2016 | Conference Abstract | LibreCat-ID: 20653
Positionsspezifischer Zusammenhang von Ausdauerleistungsfähigkeit und Laufleistung im Profifußball
D. Büchel, R. Grundmann, T. Koers, R. Jakobsmeyer, J. Baumeister, 67 (2016) 183.
LibreCat
 

2016 | Conference Abstract | LibreCat-ID: 20654
Einfluss der Mehrbelastung Fußball-WM 2014 auf die Ausfalltage von Spielern der Fußball-Bundesliga
R. Grundmann, D. Büchel, T. Koers, R. Jakobsmeyer, J. Baumeister, 67 (2016) 187.
LibreCat
 

2016 | Conference Abstract | LibreCat-ID: 20656
Evaluation eines Trainingsprogramms zur Steigerung der körperlichen Fitness von Büroangestellten
N. Rudolf, M. Krome, J. Baumeister, C. Reinsberger, 67 (2016) 186.
LibreCat
 

2016 | Conference Abstract | LibreCat-ID: 20657
Asymmetric Cortical Activity between limbs during Joint Loading
Y. An, A. DiTrani , A. Struminger, J. Baumeister, C. Swanik, 48 (2016) 973.
LibreCat
 

2016 | Conference Abstract | LibreCat-ID: 20658
Neuromechanical links between cortical activity and knee stiffness during joint loading
Y. An, A. DiTrani, A. Struminger, T. Lehmann, J. Baumeister, C. Swanik, 51 (2016) 290.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 207
Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 20716
Don't let data Go astray---A Context-Sensitive Taint Analysis for Concurrent Programs in Go
E. Bodden, M. Eichberg, K. I Pun, M. Steffen, V. Stolz, A.-K. Wickert, in: Nordic Workshop on Programming Theory (NWPT’16), 2016.
LibreCat | Download (ext.)
 

2016 | Report | LibreCat-ID: 20717
Just-in-Time Static Analysis
L. Nguyen Quang Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, Just-in-Time Static Analysis, 2016.
LibreCat | DOI | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 20718
Harvester - Vollautomatische Extraktion von Laufzeitwerten aus obfuskierten Android-Applikationen
S. Rasthofer, S. Arzt, E. Bodden, M. Miltenberger, Datenschutz Und Datensicherheit (2016) 718–722.
LibreCat | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20719
An In-Depth Study of More Than Ten Years of Java Exploitation
P. Holzinger, S. Triller, A. Bartel, E. Bodden, in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016, pp. 779–790.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20720
PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution
A. Follner, A. Bartel, H. Peng, Y.-C. Chang, K. Ispoglou, M. Payer, E. Bodden, in: International Workshop on Security and Trust Management (STM), 2016, pp. 212–228.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20721
Toward an Automated Benchmark Management System
L. Nguyen Quang Do, M. Eichberg, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 13–17.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20722
Towards Cross-Platform Cross-Language Analysis with Soot
S. Arzt, T. Kussmaul, E. Bodden, in: Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016, pp. 1–6.
LibreCat | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 20724
ROPocop — Dynamic mitigation of code-reuse attacks
A. Follner, E. Bodden, Journal of Information Security and Applications 29 (2016) 16–26.
LibreCat | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20725
Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality
A. Follner, A. Bartel, E. Bodden, in: International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20726
Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels
K. Falzon, E. Bodden, in: F. Piessens, L. Vigan’o (Eds.), Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings, Springer Berlin Heidelberg, Berlin, Heidelberg, 2016, pp. 116–138.
LibreCat | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20727
Harvesting Runtime Values in Android Applications That Feature Anti-Analysis Techniques
S. Rasthofer, S. Arzt, M. Miltenberger, E. Bodden, in: Network and Distributed System Security Symposium (NDSS), 2016.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20728
Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?
S. Nadi, S. Krüger, M. Mezini, E. Bodden, in: International Conference for Software Engineering (ICSE), 2016, pp. 935–946.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20729
StubDroid: Automatic Inference of Precise Data-flow Summaries for the Android Framework
S. Arzt, E. Bodden, in: International Conference for Software Engineering (ICSE), 2016.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 20730
Investigating Users' Reaction to Fine-Grained Data Requests: A Market Experiment
N. Eling, S. Rasthofer, M. Kolhagen, E. Bodden, P. Buxmann, in: 2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, pp. 3666–3675.
LibreCat | DOI | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 208
Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes
J. Blömer, G. Liske, in: Proceedings of the CT-RSA 2016, 2016, pp. 431–447.
LibreCat | Files available | DOI
 

2016 | Report | LibreCat-ID: 20822
The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat
 

2016 | Report | LibreCat-ID: 20823
The MechatronicUML Requirements Engineering Method: Process and Language
J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov, M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20824
Das Erwachen der Macht – Automatische Softwareverteilung
U. Pohlmann, J. Holtmann, M. Meyer, in: Tagungsband Embedded Software Engineering Kongress 2016, 2016, pp. 587–592.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 20825
Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme
M. Greinert, C. Tschirner, J. Holtmann, in: Tag Des Systems Engineering 2016, Gesellschaft f{\"u}r Systems Engineering e.V., 2016, pp. 77–86.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 20826
Towards Feature-based Product Line Engineering of Technical Systems
T. Koch, J. Holtmann, D. Schubert, T. Lindemann, in: A. Trächtler, B. Denkena, K.-D. Thoben (Eds.), 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), Elsevier, 2016, pp. 447–454.
LibreCat | DOI
 

Filters and Search Terms

year=2016

Search

Filter Publications

Display / Sort

Export / Embed