S. Schupp

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A process calculus for privacy-preserving protocols in location-based service systems Journal of Logical and Algebraic Methods in Programming	2022-03-09	Paper
Constructing independently verifiable privacy-compliant type systems for message passing between black-box components (available as arXiv preprint)	2018-12-07	Paper
Static detection of Zeno runs in UPPAAL networks based on synchronization matrices and two data-variable heuristics Lecture Notes in Computer Science	2012-11-21	Paper
A functional framework for agent-based models of exchange Applied Mathematics and Computation	2012-06-13	Paper
Generic programming with C++ concepts and Haskell type classes—a comparison Journal of Functional Programming	2011-01-26	Paper
A polymorphic radix-\(n\) framework for fast Fourier transforms Lecture Notes in Computer Science	2010-01-05	Paper
Generic Components for Static Operations at Object Level Communications in Computer and Information Science	2009-03-11	Paper
scientific article; zbMATH DE number 2100547 (Why is no real title available?)	2004-09-14	Paper
scientific article; zbMATH DE number 2033539 (Why is no real title available?)	2004-01-27	Paper
A mostly-copying collector component for class templates Software: Practice and Experience	2003-02-04	Paper
scientific article; zbMATH DE number 1693552 (Why is no real title available?)	2002-01-22	Paper

Research outcomes over time

This page was built for person: S. Schupp