Martin A. Musicante

From MaRDI portal
Person:436379

Available identifiers

zbMath Open musicante.martin-aMaRDI QIDQ436379

List of research outcomes





PublicationDate of PublicationType
Modeling big data processing programs2021-07-08Paper
https://portal.mardi4nfdi.de/entity/Q46100502018-04-05Paper
Specification and Runtime Verification of Java Card Programs2015-03-19Paper
JCML: A specification language for the runtime verification of Java card programs2012-07-20Paper
Minimal tree language extensions: a keystone of XML type compatibility and evolution2010-08-31Paper
Efficient constraint validation for updated XML databases2008-08-12Paper
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)2007-11-30Paper
Mathematical Foundations of Computer Science 20042005-08-22Paper

Research outcomes over time

This page was built for person: Martin A. Musicante

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