Genomorphisms of Semi-Modular Lattices. - Damas P. Gruska (J. Comput. Syst. Sci., 1990)

Process Communication Environment. - Damas P. Gruska; Andrea Maggiolo-Schettini (NAPAW, 1992)

Real-Time Communication Networks. - Damas P. Gruska (NATO ASI RTC, 1992)

Process Algebra for Shared Ressources. - Damas P. Gruska (Parcella, 1996)

Bounded Concurrency. - Damas P. Gruska (FCT, 1997)

Process Algebras for Network Communication. - Damas P. Gruska; Andrea Maggiolo-Schettini (Fundam. Informaticae, 2001)

Information-Flow Attacks Based on Limited Observations. - Damas P. Gruska (Ershov Memorial Conference, 2006)

Network Information Flow. - Damas P. Gruska (Fundam. Informaticae, 2006)

Observation Based System Security. - Damas P. Gruska (Fundam. Informaticae, 2007)

Probabilistic Information Flow Security. - Damas P. Gruska (Fundam. Informaticae, 2008)

Security in a Model for Long-running Transactions. - Damas P. Gruska; Andrea Maggiolo-Schettini; Paolo Milazzo (Fundam. Informaticae, 2008)

Quantifying Security for Timed Process Algebras. - Damas P. Gruska (Fundam. Informaticae, 2009)

Diagnosability of Nested Intruders. - Damas P. Gruska (BIONETICS, 2010)

A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Damas P. Gruska (Fundam. Informaticae, 2010)

Process Algebra Contexts and Security Properties. - Damas P. Gruska (Fundam. Informaticae, 2010)

Gained and Excluded Private Actions by Process Observations. - Damas P. Gruska (Fundam. Informaticae, 2011)

Information Flow and Concurrent Imperative Languages. - Damas P. Gruska (CS&P, 2012)

Test Based Security. - Damas P. Gruska (CS&P, 2012)

Informational Analysis of Security and Integrity. - Damas P. Gruska (Fundam. Informaticae, 2012)

Quantification of Positive and Negative Attacker's Information. - Damas P. Gruska (Fundam. Informaticae, 2012)

Opacity Testing. - Damas P. Gruska (CS&P, 2013)

Information Flow Testing. - Damas P. Gruska (Fundam. Informaticae, 2013)

Multi-Agent Heterogeneous Intrusion Detection System. - Mikulás Pataky; Damas P. Gruska (CS&P, 2014)

Process Opacity for Timed Process Algebra. - Damas P. Gruska (Ershov Memorial Conference, 2014)

Simulation Opacity. - Damas P. Gruska (Fundam. Informaticae, 2014)

Gained and Excluded Classified Actions by Dynamic Security Policies. - Damas P. Gruska (CS&P, 2015)

Sequential P Systems with Active Membranes Working on Sets. - Michal Kovác; Damas P. Gruska (CS&P, 2015)

Dynamics Security Policies and Process Opacity for Timed Process Algebras. - Damas P. Gruska (Ershov Memorial Conference, 2015)

Process Environment Opacity. - Damas P. Gruska (CS&P, 2016)

Analysing of M-AHIDS with Future States on DARPA and KDD99 Benchmarks. - Mikulás Pataky; Damas P. Gruska (CS&P, 2016)

Differential Privacy and Security. - Damas P. Gruska (Fundam. Informaticae, 2016)

Hidden States in Reaction Systems. - Roberta Gori; Damas P. Gruska; Paolo Milazzo (CS&P, 2018)

Opacity-enforcing for Process Algebras. - Damas P. Gruska; M. Carmen Ruiz (CS&P, 2018)

Attack Protection Tree. - Aliyu Tanko Ali; Damas P. Gruska (CS&P, 2019)

Observations, Testing and Security. - Damas P. Gruska; M. Carmen Ruiz (CS&P, 2019)

Security of Low Level IoT Protocols. - Damas P. Gruska; M. Carmen Ruiz (ICCS (3), 2019)

Security Testing for Multi-Agent Systems. - Damas P. Gruska; M. Carmen Ruiz (IWANN (1), 2019)

Security and time insertion. - Damas P. Gruska (PCI, 2019)

Modeling and Evaluation of a Power-Aware Algorithm for IoT Bluetooth Low Energy Devices. - M. Carmen Ruiz; Celia Garrido-Hidalgo; Damas P. Gruska; Teresa Olivares; Diego Hortelano; Luis Roda-Sanchez (SmartIoT, 2019)

Studying Opacity of Reaction Systems through Formula Based Predictors. - Roberta Gori; Damas P. Gruska; Paolo Milazzo (Fundam. Informaticae, 2019)

Attack Trees with Time Constraints. - Aliyu Tanko Ali; Damas P. Gruska (CS&P, 2021)

Security Enforcing. - Damas P. Gruska (CS&P (Revised Selected Papers), 2021)

Process Opacity and Insertion Functions. - Damas P. Gruska; M. Carmen Ruiz (CS&P, 2021)

Dynamic Attack Trees. - Aliyu Tanko Ali; Damas P. Gruska (OVERLAY@GandALF, 2021)

Time Insertion Functions. - Damas P. Gruska (MEDI Workshops, 2021)

Reversible Attack Trees. - Aliyu Tanko Ali; Damas P. Gruska (UEMCON, 2021)

Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. - Roberto Barbuti; Pasquale Bove; Roberta Gori; Damas P. Gruska; Francesca Levi; Paolo Milazzo (Fundam. Informaticae, 2021)

States of Attack Under Incomplete Information. - Aliyu Tanko Ali; Damas P. Gruska (CCWC, 2022)

Formal Model of Energy System using Attack Trees. - Aliyu Tanko Ali; Damas P. Gruska; Martin Leucker (EUROCON, 2025)

Language-based Security and Time-inserting Supervisor. - Damas P. Gruska (CoRR, 2025)