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.
10930 Publications
2018 | Journal Article | LibreCat-ID: 6828
Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Mechanized Proofs of Opacity: A Comparison of Two Techniques.” Formal Asp. Comput. 30, no. 5 (2018): 597–625. https://doi.org/10.1007/s00165-017-0433-3.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making Linearizability Compositional for Partially Ordered Executions.” In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 110–29, 2018. https://doi.org/10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making Linearizability Compositional for Partially Ordered Executions.” In Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 110–29, 2018. https://doi.org/10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6839
Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Brief Announcement: Generalising Concurrent Correctness to Weak Memory.” In 32nd International Symposium on Distributed Computing, {DISC} 2018, New Orleans, LA, USA, October 15-19, 2018, 45:1-45:3, 2018. https://doi.org/10.4230/LIPIcs.DISC.2018.45.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 6967
Derakhshanmanesh, Mahdi, Jürgen Ebert, Marvin Grieger, and Gregor Engels. “Model-Integrating Development of Software Systems: A Flexible Component-Based Approach.” Software & Systems Modeling, 2018, 1–30.
LibreCat
2018 | Conference Paper | LibreCat-ID: 6970 | 
Schneider, Stefan Balthasar, Sevil Dräxler, and Holger Karl. “Trade-Offs in Dynamic Resource Allocation in Network Function Virtualization.” In IEEE Global Communications Conference (GLOBECOM 2018). IEEE, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 6972 |
Schneider, Stefan Balthasar, Manuel Peuster, and Holger Karl. “A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms.” In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE, 2018. https://doi.org/10.1109/NFV-SDN.2018.8725795.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 6974 |
Schneider, Stefan Balthasar, Manuel Peuster, Wouter Tavernier, and Holger Karl. “A Fully Integrated Multi-Platform NFV SDK.” In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018). IEEE, 2018. https://doi.org/10.1109/NFV-SDN.2018.8725794.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 16713
Gölz, Christian, Claudia Voelcker-Rehage, Karin Mora, Eva-Maria Reuter, Ben Godde, Michael Dellnitz, Claus Reinsberger, and Solveig Vieluf. “Improved Neural Control of Movements Manifests in Expertise-Related Differences in Force Output and Brain Network Dynamics.” Frontiers in Physiology, 2018. https://doi.org/10.3389/fphys.2018.01540.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 16714
Vieluf, Solveig, Karin Mora, Christian Gölz, Eva-Maria Reuter, Ben Godde, Michael Dellnitz, Claus Reinsberger, and Claudia Voelcker-Rehage. “Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control.” Neuroscience, 2018, 203–13. https://doi.org/10.1016/j.neuroscience.2018.07.025.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 16715
Bittracher, Andreas, Péter Koltai, Stefan Klus, Ralf Banisch, Michael Dellnitz, and Christof Schütte. “Transition Manifolds of Complex Metastable Systems.” Journal of Nonlinear Science 28 (2018): 471–512. https://doi.org/10.1007/s00332-017-9415-0.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 16937
Cunha, Jácome, Joao Paulo Fernandes, Caitlin Kelleher, Jorge Mendes, and Gregor Engels. “2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).” In Proceedings of 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Lisbon, Portugal, October 1-4, 2018. IEEE, 2018. https://doi.org/10.1109/vl/hcc43341.2018.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 16938
Engels, Gregor, Günter W. Maier, Sonja K. Ötting, Eckhard Steffen, and Alexander Teetz. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.” In Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, edited by Steffen Wischmann and Ernst Andreas Hartmann, 221–31. Berlin, Heidelberg: Springer Verlag, 2018. https://doi.org/10.1007/978-3-662-49266-6_16.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Validity of Software Verification Results on Approximate Hardware.” IEEE Embedded Systems Letters, 2018, 22–25. https://doi.org/10.1109/LES.2017.2758200.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, Richard. Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Conference (Editor) | LibreCat-ID: 10591
Abiteboul, S., M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, et al., eds. Research Directions for Principles of Data Management. Vol. 7, 2018.
LibreCat
2018 | Conference Paper | LibreCat-ID: 10598
Awais, Muhammad, Hassan Ghasemzadeh Mohammadi, and Marco Platzner. “An MCTS-Based Framework for Synthesis of Approximate Circuits.” In 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 219–24, 2018. https://doi.org/10.1109/VLSI-SoC.2018.8645026.
LibreCat
| DOI
2018 | Mastersthesis | LibreCat-ID: 10782
Clausing, Lennart. Development of a Hardware / Software Codesign for Sonification of LIDAR-Based Sensor Data. Ruhr-University Bochum, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 10783
Couso, Ines, and Eyke Hüllermeier. “Statistical Inference for Incomplete Ranking Data: A Comparison of Two Likelihood-Based Estimators.” In Frontiers in Computational Intelligence, edited by Sanaz Mostaghim, Andreas Nürnberger, and Christian Borgelt, 31–46. Springer, 2018.
LibreCat