Michael I. Schwartzbach

Available identifiers

zbMath Open schwartzbach.michael-iMaRDI QIDQ685349

List of research outcomes

Publication	Date of Publication	Type
A type system for dynamic Web documents	2015-03-17	Paper
XML graphs in program analysis	2011-05-04	Paper
Secure multiparty computation goes live	2010-01-07	Paper
The metafront system: safe and extensible parsing and transformation	2007-09-03	Paper
Database Programming Languages	2006-10-20	Paper
Database Theory - ICDT 2005	2005-09-13	Paper
MONA IMPLEMENTATION SECRETS	2005-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4813388	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4793170	2003-02-19	Paper
The DSD schema language	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4540967	2002-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4230360	2002-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q2729054	2001-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2736357	2001-08-29	Paper
YakYak: Parsing with logical side constraints	2001-04-04	Paper
Safety analysis versus type inference	2000-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4954450	2000-06-07	Paper
Static correctness of hierarchical procedures	1997-02-27	Paper
Static typing for object-oriented programming	1996-02-26	Paper
Efficient recursive subtyping	1995-10-25	Paper
Injectivity of composite functions	1995-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q4319801	1995-01-12	Paper
Efficient inference of partial types	1994-11-06	Paper
Interpretations of recursively defined types	1993-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4038679	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4027633	1993-02-21	Paper
Safety analysis versus type inference for partial types	1993-01-17	Paper
A new formalism for relational algebra	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3975167	1992-06-26	Paper

Research outcomes over time

This page was built for person: Michael I. Schwartzbach