Department of Computer Science
1 – 10 of 1227
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2019
- Evaluating and Improving Risk Analysis Methods for Critical Systems
- Testing the vertical and cyber-physical integration of cognitive robots in manufacturing
- 2018
- Contributions to Declarative Implementation of Static Program Analysis
- A fast deterministic detection of small pattern graphs in graphs without large cliques
- Continuous experimentation scenarios : A case study in e-commerce
- The approximability of maximum rooted triplets consistency with fan triplets and forbidden triplets
- A Safe Regression Test Selection Technique for Modelica
- Using Deep Neural Networks to Simulate Heart Allocation Policies : Journal of Heart and Lung Transplantation
- Determining the consistency of resolved triplets and fan triplets
- Extreme Witnesses and Their Applications