Sarfraz Khurshid
From MaRDI portal
Person:1621123
Available identifiers
zbMath Open khurshid.sarfrazMaRDI QIDQ1621123
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| \textit{CRN}++: molecular programming language | 2024-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6079211 | 2023-10-27 | Paper |
| \(CRN \mathrm{++}\): molecular programming language | 2018-11-08 | Paper |
| Specification-Based Program Repair Using SAT | 2011-05-19 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808832 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472244 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417955 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769598 | 2002-02-05 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Sarfraz Khurshid
