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, Antonios, Neal Barcelo, Mario Consuegra, Peer Kling, Michael Nugent, Kirk Pruhs, and Michele Scquizzato. “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), 63--74. LIPIcs, 2014. https://doi.org/10.4230/LIPIcs.STACS.2014.63.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 5189
Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “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. https://doi.org/10.1145/2594291.2594299.
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In International Conference on Availability, Reliability and Security (ARES 2014), 40–49. IEEE, 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Misc | LibreCat-ID: 6550
Bause, Fabian, Jens Rautenberg, Nadine Feldmann, Leander Claes, and Bernd 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
Olfert, Sergei, Leander Claes, and Bernd Henning. “Rekonstruktion Der Räumlichen Schallwechseldruckverteilung Unter Berücksichtigung Der Orthogonalität Optischer Und Akustischer Achsen Beim Schlierenverfahren.” In Fortschritte Der Akustik - DAGA 2014, 541–42, 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 6727
Rooijen, Lorijn van. 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, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “On Separation by Locally Testable and Locally Threshold Testable Languages.” Logical Methods in Computer Science 10, no. 3 (2014). https://doi.org/10.2168/lmcs-10(3:24)2014.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
Bokermann, Dennis, Christian Gerth, and Gregor Engels. “Use Your Best Device! Enabling Device Changes at Runtime.” In 12th International Conference on Business Process Management (BPM 2014), 8659:357–65. Lecture Notes in Computer Science. Springer International Publishing, 2014. https://doi.org/10.1007/978-3-319-10172-9_23.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6927
Bouyraaman, Yassin, Jörg Bendfeld, and Stefan 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
Bouyraaman, Yassin, Jörg Bendfeld, Stefan 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