S. Quer
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A 7/2-approximation algorithm for the maximum duo-preservation string mapping problem | 2017-10-17 | Paper |
| Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking | 2013-09-20 | Paper |
| A BMC-formulation for the scheduling problem in highly constrained hardware systems | 2013-08-30 | Paper |
| Benchmarking a model checker for algorithmic improvements and tuning for performance Formal Methods in System Design | 2012-09-27 | Paper |
| Stressing symbolic scheduling techniques within aircraft maintenance optimization | 2009-04-14 | Paper |
| A probabilistic and approximated approach to circuit-based formal verification | 2009-04-14 | Paper |
| scientific article; zbMATH DE number 1903372 (Why is no real title available?) | 2003-05-01 | Paper |
Research outcomes over time
This page was built for person: S. Quer
