S. Quer

From MaRDI portal
Person:453483

Available identifiers

zbMath Open quer.stefanoMaRDI QIDQ453483

List of research outcomes





PublicationDate of PublicationType
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem2017-10-17Paper
Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking2013-09-20Paper
A BMC-formulation for the scheduling problem in highly constrained hardware systems2013-08-30Paper
Benchmarking a model checker for algorithmic improvements and tuning for performance2012-09-27Paper
https://portal.mardi4nfdi.de/entity/Q36204332009-04-14Paper
https://portal.mardi4nfdi.de/entity/Q36204342009-04-14Paper
https://portal.mardi4nfdi.de/entity/Q48049172003-05-01Paper

Research outcomes over time

This page was built for person: S. Quer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:453483&oldid=6954203"
Powered by MediaWiki