Sibylle Schupp

Available identifiers

zbMath Open schupp.sibylleMaRDI QIDQ1629963

List of research outcomes

Publication	Date of Publication	Type
A process calculus for privacy-preserving protocols in location-based service systems	2022-03-09	Paper
Constructing independently verifiable privacy-compliant type systems for message passing between black-box components	2018-12-07	Paper
Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics	2012-11-21	Paper
Generic programming with C++ concepts and Haskell type classes—a comparison	2011-01-26	Paper
Perspectives of System Informatics	2010-01-05	Paper
Generic Components for Static Operations at Object Level	2009-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4817001	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4444763	2004-01-27	Paper
A mostly-copying collector component for class templates	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q2764156	2002-01-22	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: Sibylle Schupp