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.

2296 Publications


2018 | Dissertation | LibreCat-ID: 6597
Juhnke, Jakob. Models and Constructions for Secure Reputation Systems. Universität Paderborn, 2018. https://doi.org/10.17619/UNIPB/1-570.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 669
Feldotto, Matthias, Lennart Leder, and Alexander Skopalik. “Congestion Games with Mixed Objectives.” Journal of Combinatorial Optimization 36, no. 4 (2018): 1145–67. https://doi.org/10.1007/s10878-017-0189-y.
LibreCat | Files available | DOI | arXiv
 

2018 | Book | LibreCat-ID: 6738
Gruber, Hans, and Christian Harteis. Individual and Social Influences on Professional Learning. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-97041-7.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 6743
Wolters, Dennis. “Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken.” die hochschullehre, no. 4 (2018).
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 6761
Jovanovikj, Ivan, Vishwak Narasimhan, Gregor Engels, and Stefan Sauer. “Context-Specific Quality Evaluation of Test Cases.” In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 594–601. SciTePress, 2018. https://doi.org/10.5220/0006724405940601.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6763
Jovanovikj, Ivan, Gregor Engels, Anthony Anjorin, and Stefan Sauer. “Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model.” In Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, edited by Jan Mendling and Haralambos Mouratidis, 133–47. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-92901-9_13.
LibreCat | DOI
 

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 | OA
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 | OA
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 | OA
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: 16416
Li, Zhaoshi, Leibo Liu, Yangdong Deng, Shouyi Yin, and Shaojun Wei. “Breaking the Synchronization Bottleneck with Reconfigurable Transactional Execution.” IEEE Computer Architecture Letters, 2018, 147–50. https://doi.org/10.1109/lca.2018.2828402.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 16421
Ceissler, Ciro, Ramon Nepomuceno, Marcio Pereira, and Guido Araujo. “Automatic Offloading of Cluster Accelerators.” In 2018 IEEE 26th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2018. https://doi.org/10.1109/fccm.2018.00058.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 16425
Solis-Vasquez, Leonardo, and Andreas Koch. “A Case Study in Using OpenCL on FPGAs: Creating an Open-Source Accelerator of the AutoDock Molecular Docking Software.” In FSP Workshop 2018; Fifth International Workshop on FPGAs for Software Programmers, 1–10, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 16435
Kemper, Philipp, Philipp Rehlaender, Ulf Witkowski, and Andreas Schwung. “Competitive Evaluation of Energy Management Strategies for Hybrid Electric Vehicle Based on Real World Driving.” In 2017 European Modelling Symposium (EMS), 2018. https://doi.org/10.1109/ems.2017.35.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 16437
Rehlaender, Philipp, Philipp Kemper, Andreas Schwung, and Ulf Witkowski. “A Fuel Cell Vehicle Thermal System Model.” In 2018 IEEE International Energy Conference (ENERGYCON), 2018. https://doi.org/10.1109/energycon.2018.8398814.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 16439
Rehlaender, Philipp, Philipp Kemper, Andreas Schwung, and Ulf Witkowski. “A Novel Predictive Energy Management System.” In 2017 European Modelling Symposium (EMS), 2018. https://doi.org/10.1109/ems.2017.34.
LibreCat | DOI
 

Filters and Search Terms

year=2018

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed