Stephan Reiff-Marganiec

From MaRDI portal



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!

PublicationDate of PublicationType
From StPowla processes to SRML models
Formal Aspects of Computing
2010-05-28Paper
scientific article; zbMATH DE number 5506106 (Why is no real title available?)2009-02-10Paper
Logic–Based Detection of Conflicts in Appel Policies
Lecture Notes in Computer Science
2008-07-01Paper
Objects, Agents, and Features
Lecture Notes in Computer Science
2005-12-27Paper
scientific article; zbMATH DE number 1973980 (Why is no real title available?)2003-09-03Paper
Feature interaction: a critical review and considered forecast.
Computer Networks
2003-08-07Paper


Research outcomes over time


This page was built for person: Stephan Reiff-Marganiec