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.
9812 Publications
2014 | Conference Paper | LibreCat-ID: 408
Jakobs, Marie-Christine, et al. “Integrating Software and Hardware Verification.” Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 2014, pp. 307–22, doi:10.1007/978-3-319-10181-1_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service Market Architecture.” Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 2014, pp. 210–17, doi:10.1007/978-3-319-09970-5_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 412
Feldotto, Matthias, et al. “HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths.” Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014, pp. 1–10, doi:10.1109/P2P.2014.6934300.
LibreCat
| Files available
| DOI
| arXiv
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim, Janek. Hiding Software Components Using Functional Encryption. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann, Pascal. Group Signature Schemes with Strong Exculpability. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, et al. “Grammar-Based Model Transformations.” Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert, Jan. Fujisaki-Okamoto Transformation. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer, Veit. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr, Felix. “Estimating Functional Reusability of Services.” Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–18.
LibreCat
| Files available
| Download (ext.)