Oscar Nierstrasz

From MaRDI portal
Person:1170192

Available identifiers

zbMath Open nierstrasz.oscar-mDBLPn/ONierstraszWikidataQ7106158 ScholiaQ7106158MaRDI QIDQ1170192

List of research outcomes





PublicationDate of PublicationType
Automated Generation of Code Contracts - Generative AI to the Rescue?2024-08-20Dataset
https://portal.mardi4nfdi.de/entity/Q46211322019-02-08Paper
PICCOLA -- a small composition language2012-09-05Paper
Formal Methods for Components and Objects2010-02-09Paper
Formal Concept Analysis2005-12-02Paper
Classboxes: controlling visibility of class extensions2005-08-03Paper
A calculus for reasoning about software composition2005-04-06Paper
https://portal.mardi4nfdi.de/entity/Q30467992004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q45501722002-10-20Paper
https://portal.mardi4nfdi.de/entity/Q45497552002-08-28Paper
https://portal.mardi4nfdi.de/entity/Q42510951999-11-29Paper
A combinatorial application of matrix Riccati equations and their q- analogue1981-01-01Paper

Research outcomes over time

This page was built for person: Oscar Nierstrasz

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