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.

9749 Publications


2014 | Conference Paper | LibreCat-ID: 435
A. Antoniadis et al., “Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules,” in Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 5189
S. Arzt et al., “FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps,” in Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, 2014.
LibreCat | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | LibreCat-ID: 5190
S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android,” in International Conference on Availability, Reliability and Security (ARES 2014), 2014, pp. 40–49.
LibreCat | Files available | Download (ext.)
 

2014 | Misc | LibreCat-ID: 6550
F. Bause, J. Rautenberg, N. Feldmann, L. Claes, and B. Henning, Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale, vol. 8. DEGA-Symposium, Bad Honnef, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 6574
S. Olfert, L. Claes, and B. Henning, “Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren,” in Fortschritte der Akustik - DAGA 2014, 2014, pp. 541–542.
LibreCat
 

2014 | Dissertation | LibreCat-ID: 6727
L. van Rooijen, A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers). University of Bordeaux, France, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 6728
T. Place, L. van Rooijen, and M. Zeitoun, “On Separation by Locally Testable and Locally Threshold Testable Languages,” Logical Methods in Computer Science, vol. 10, no. 3, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 6741
D. Bokermann, C. Gerth, and G. Engels, “Use Your Best Device! Enabling Device Changes at Runtime,” in 12th International Conference on Business Process Management (BPM 2014), 2014, vol. 8659, pp. 357–365.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 6927
Y. Bouyraaman, J. Bendfeld, and S. Krauter, “Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision,” in 14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 6928
Y. Bouyraaman, J. Bendfeld, S. Krauter, and P. Breymann, “Integration of wind energy in power systems: Modeling of a market-orientated energy concept,” in Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , 2014.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed