S. 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
A functional framework for agent-based models of exchange	2012-06-13	Paper
Generic programming with C++ concepts and Haskell type classes—a comparison	2011-01-26	Paper
A polymorphic radix-\(n\) framework for fast Fourier transforms	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

This page was built for person: S. Schupp