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
https://portal.mardi4nfdi.de/entity/Q2708973	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

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: Michael I. Schwartzbach