Ben Liblit
From MaRDI portal
Person:2371958
Available identifiers
zbMath Open liblit.benDBLPl/BenLiblitWikidataQ88905518 ScholiaQ88905518MaRDI QIDQ2371958
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 Set-Covering Approach to Customized Coverage Instrumentation | 2024-03-26 | Paper |
| Type systems for distributed data structures | 2015-03-17 | Paper |
| Tool support for proof engineering | 2013-12-20 | Paper |
| Cooperative bug isolation. Winning thesis of the 2005 ACM doctoral dissertation competition. | 2007-07-09 | Paper |
| Programming Languages and Systems | 2007-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813403 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779114 | 2003-02-25 | Paper |
Research outcomes over time
This page was built for person: Ben Liblit