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.
5711 Publications
2014 | Conference Paper | LibreCat-ID: 5190
DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android
S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.
LibreCat
| Files available
| Download (ext.)
S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.
2014 | Dissertation | LibreCat-ID: 6727
A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers)
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
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.
2014 | Journal Article | LibreCat-ID: 6728
On Separation by Locally Testable and Locally Threshold Testable Languages
T. Place, L. van Rooijen, M. Zeitoun, Logical Methods in Computer Science 10 (2014).
LibreCat
| DOI
T. Place, L. van Rooijen, M. Zeitoun, Logical Methods in Computer Science 10 (2014).
2014 | Conference Paper | LibreCat-ID: 6741
Use Your Best Device! Enabling Device Changes at Runtime
D. Bokermann, C. Gerth, G. Engels, in: 12th International Conference on Business Process Management (BPM 2014), Springer International Publishing, 2014, pp. 357–365.
LibreCat
| DOI
D. Bokermann, C. Gerth, G. Engels, in: 12th International Conference on Business Process Management (BPM 2014), Springer International Publishing, 2014, pp. 357–365.
2014 | Conference Paper | LibreCat-ID: 1647
Feasibility of Base Station Coordination and Dynamic Backhaul Network Configuration in Backhaul Networks with Limited Capacity
M. Dräxler, H. Karl, in: Proceedings of 20th European Wireless Conference , 2014.
LibreCat
| Files available
| Download (ext.)
M. Dräxler, H. Karl, in: Proceedings of 20th European Wireless Conference , 2014.
2014 | Conference Paper | LibreCat-ID: 1654
Analytic quantification of outage probability and radiated power of cooperative base stations
M. Herlich, H. Karl, in: 12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014, IEEE, 2014.
LibreCat
| DOI
M. Herlich, H. Karl, in: 12th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt) 2014, IEEE, 2014.
2014 | Conference Paper | LibreCat-ID: 16760
Optimierte 3D Morphologiedarstellung tomographischer Datensätze des Herzens
S. Arens, G. Domik, R. Weise, J. Holzinger, W. Burchert, (2014).
LibreCat
S. Arens, G. Domik, R. Weise, J. Holzinger, W. Burchert, (2014).
2014 | Book (Editor) | LibreCat-ID: 16870
Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Springer, Berlin, Heidelberg, 2014.
LibreCat
| DOI
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Springer, Berlin, Heidelberg, 2014.
2014 | Journal Article | LibreCat-ID: 10602
A Novel Technique and its Application to Computer Go
L. Schaefers, M. Platzner, IEEE Transactions on Computational Intelligence and AI in Games 6 (2014) 361–374.
LibreCat
| DOI
L. Schaefers, M. Platzner, IEEE Transactions on Computational Intelligence and AI in Games 6 (2014) 361–374.
2014 | Journal Article | LibreCat-ID: 10603
An FPGA-based Reconfigurable Mesh Many-Core
H. Giefers, M. Platzner, IEEE Transactions on Computers 63 (2014) 2919–2932.
LibreCat
| DOI
H. Giefers, M. Platzner, IEEE Transactions on Computers 63 (2014) 2919–2932.