Iman Poernomo

From MaRDI portal
Person:2709210

Available identifiers

zbMath Open poernomo.iman-hafizMaRDI QIDQ2709210

List of research outcomes





PublicationDate of PublicationType
Proofs-as-imperative-programs: application to synthesis of contracts2010-01-05Paper
Synthesis of Data Views for Communicating Processes2009-01-22Paper
Adapting Proofs-as-Programs2005-09-28Paper
https://portal.mardi4nfdi.de/entity/Q30468042004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47378172004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44717242004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44608452004-03-29Paper
https://portal.mardi4nfdi.de/entity/Q44608362004-03-29Paper
https://portal.mardi4nfdi.de/entity/Q44218682003-09-01Paper
https://portal.mardi4nfdi.de/entity/Q27220422001-07-11Paper
Fred: An approach to generating real, correct, reusable programs from proofs2001-05-13Paper

Research outcomes over time

This page was built for person: Iman Poernomo

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