Damas P. Gruska

	2011
14		Damas P. Gruska: Gained and Excluded Private Actions by Process Observations. Fundam. Inform. 109(3): 281-295 (2011)
	2010
13		Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska: A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. Fundam. Inform. 102(1): 19-34 (2010)
12		Damas P. Gruska: Process Algebra Contexts and Security Properties. Fundam. Inform. 102(1): 63-76 (2010)
	2009
11		Damas P. Gruska: Quantifying Security for Timed Process Algebras. Fundam. Inform. 93(1-3): 155-169 (2009)
	2008
10		Damas P. Gruska: Probabilistic Information Flow Security. Fundam. Inform. 85(1-4): 173-187 (2008)
9		Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo: Security in a Model for Long-running Transactions. Fundam. Inform. 85(1-4): 189-203 (2008)
	2007
8		Damas P. Gruska: Observation Based System Security. Fundam. Inform. 79(3-4): 335-346 (2007)
	2006
7		Damas P. Gruska: Information-Flow Attacks Based on Limited Observations. Ershov Memorial Conference 2006: 223-234
6		Damas P. Gruska: Network Information Flow. Fundam. Inform. 72(1-3): 167-180 (2006)
	2001
5		Damas P. Gruska, Andrea Maggiolo-Schettini: Process Algebras for Network Communication. Fundam. Inform. 45(4): 359-378 (2001)
	1997
4		Damas P. Gruska: Bounded Concurrency. FCT 1997: 198-209
	1996
3		Damas P. Gruska: Process Algebra for Shared Ressources. Parcella 1996: 300-301
	1992
2		Damas P. Gruska, Andrea Maggiolo-Schettini: Process Communication Environment. NAPAW 1992: 27-40
	1990
1		Damas P. Gruska: Genomorphisms of Semi-Modular Lattices. J. Comput. Syst. Sci. 40(2): 182-187 (1990)

Coauthor Index

1	Roberto Barbuti	[13]
2	Andrea Maggiolo-Schettini	[2] [5] [9] [13]
3	Paolo Milazzo	[9] [13]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page