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
Antoniadis A, Barcelo N, Consuegra M, 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). LIPIcs. ; 2014:63--74. doi:10.4230/LIPIcs.STACS.2014.63
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
Arzt S, Rasthofer S, Fritz C, 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. ACM Press; 2014. doi:10.1145/2594291.2594299
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In: International Conference on Availability, Reliability and Security (ARES 2014). IEEE; 2014:40-49.
LibreCat
| Files available
| Download (ext.)
2014 | Misc | LibreCat-ID: 6550
Bause F, Rautenberg J, Feldmann N, Claes L, Henning B. Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale. Vol 8. DEGA-Symposium, Bad Honnef; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 6574
Olfert S, Claes L, Henning B. Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren. In: Fortschritte Der Akustik - DAGA 2014. ; 2014:541-542.
LibreCat
2014 | Dissertation | LibreCat-ID: 6727
van Rooijen L. 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
Place T, van Rooijen L, Zeitoun M. On Separation by Locally Testable and Locally Threshold Testable Languages. Logical Methods in Computer Science. 2014;10(3). doi:10.2168/lmcs-10(3:24)2014
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
Bokermann D, Gerth C, Engels G. Use Your Best Device! Enabling Device Changes at Runtime. In: 12th International Conference on Business Process Management (BPM 2014). Vol 8659. Lecture Notes in Computer Science. Springer International Publishing; 2014:357-365. doi:10.1007/978-3-319-10172-9_23
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6927
Bouyraaman Y, Bendfeld J, Krauter S. 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
Bouyraaman Y, Bendfeld J, Krauter S, Breymann P. 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