M
Michael I. Schwartzbach
Researcher at Aarhus University
Publications - 124
Citations - 5080
Michael I. Schwartzbach is an academic researcher from Aarhus University. The author has contributed to research in topics: Type inference & XML schema. The author has an hindex of 34, co-authored 123 publications receiving 4966 citations. Previous affiliations of Michael I. Schwartzbach include BRICS & Aalborg University.
Papers
More filters
Book
Database Programming Languages
TL;DR: Examination of Efficient Evaluation of HAVING Queries on a Probabilistic Database and Towards Practical Typechecking for Macro Tree Transducers.
Book ChapterDOI
Infinite values in hierarchical imperative types
TL;DR: A system of hierarchical imperative types is extended to allow infinite values, and it is shown that both a minimal and a maximal value assignment exist.
Journal Article
Secure Multiparty Computation Goes Live
Peter Bogetoft,Dan Lund Christensen,Ivan Damgård,Martin Geisler,Thomas P. Jakobsen,Mikkel Krøigaard,Janus Dam Nielsen,Jesper Buus Nielsen,Kurt Nielsen,Jakob Pagter,Michael I. Schwartzbach,Tomas Toft +11 more
TL;DR: The first large-scale and practical application of secure multiparty computation was reported in this paper, which took place in January 2008 and used the first large scale and practical implementation of secure multi-party computation.
Journal ArticleDOI
Types and automata
TL;DR: This work presents a particular class of finite automata which are shown to be isomorphic to type equations, and introduces a very general form of extended (recursive) type equations which are explained in terms of (monotone) alternating automata.
Journal ArticleDOI
The METAFRONT System: Extensible Parsing and Transformation
TL;DR: The metafront tool as mentioned in this paper supports gradual extensions of context-free grammars by allowing productions to remain in a natural style and by statically reporting ambiguities and errors in terms of individual productions.