Damas Gruska

Available identifiers

Publication	Date of Publication	Type
Bounded concurrency	2022-12-09	Paper
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks	2021-11-15	Paper
Studying Opacity of Reaction Systems through Formula Based Predictors*	2019-05-24	Paper
Differential Privacy and Security	2017-03-22	Paper
Dynamics Security Policies and Process Opacity for Timed Process Algebras	2016-12-21	Paper
Process Opacity for Timed Process Algebra	2015-12-03	Paper
Simulation Opacity	2014-12-22	Paper
Information Flow Testing	2014-04-25	Paper
Informational Analysis of Security and Integrity	2013-01-14	Paper
Quantification of Positive and Negative Attacker's Information	2013-01-14	Paper
Gained and Excluded Private Actions by Process Observations	2011-11-10	Paper
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security	2011-06-14	Paper
Process Algebra Contexts and Security Properties	2011-06-14	Paper
Information-Flow Attacks Based on Limited Observations	2010-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q5192931	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5506366	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5506367	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5422281	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5486058	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q2729667	2001-07-23	Paper
Genomorphisms of semi-modular lattices	1990-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Damas Gruska