Publication type: Journal article / Author: Erdweg, Sebastian and Mezini, Mira / Data source: Crossref and DBLP - Universitätsbibliographie Search Results

Start Over Publication type Journal article Author Erdweg, Sebastian Author Mezini, Mira Data source Crossref Data source DBLP

1. Exploration of language specifications by compilation to first-order logic

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Raulf, Michael; Mezini, Mira
Veröffentlichungsdatum:: 2018
Type:: Journal article

2. Language-integrated privacy-aware distributed queries

Autoren:: Salvaneschi, Guido; Köhler, Mirko; Sokolowski, Daniel; Haller, Philipp; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Type:: Journal article

3. Versatile event correlation with algebraic effects

Autoren:: Bračevac, Oliver; Amin, Nada; Salvaneschi, Guido; Erdweg, Sebastian; Eugster, Patrick; Mezini, Mira
Veröffentlichungsdatum:: 2018
Type:: Journal article