Tiziana Margaria - Publications, H-index & Citations

Tiziana Margaria

university of limerick

41H指数

453论文数

6.0K被引数

收录论文 8

发表时间

Using Formal Methods to Help Explain Real-Time Operator Support in Metal Additive Manufacturing 利用形式化方法解释金属增材制造中的实时操作员支持

IT Professional

IF2.6

2026-01-01

PREAI

Hoare, Cathal; Dowling, Denis; Margaria, Tiziana

Edge IoT Prototyping Using Model-Driven Representations: A Use Case for Smart Agriculture

SENSORS

IF3.5

2024-01-12

OAAI

Guevara, Ivan; Ryan, Stephen; Singh, Amandeep; Brandon, Colm; Margaria, Tiziana

Authentication scheme for Unmanned Aerial Vehicles based Internet of Vehicles networks

EGYPTIAN INFORMATICS JOURNAL

IF4.3

2022-03-01

OAAI

Qureshi, Kashif Naseer; Sandila, Muhammad Arslan Saleem; Javed, Ibrahim Tariq; Margaria, Tiziana; Aslam, Laeeq

PETchain: A Blockchain-Based Privacy Enhancing Technology

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Javed, Ibrahim Tariq; Alharbi, Fares; Margaria, Tiziana; Crespi, Noel; Qureshi, Kashif Naseer

In defence of the paper census

NATURE

IF48.5

2020-01-07

OAAI

Breathnach, Ciara; Margaria, Tiziana

Guest Editorial: Special Section on Computing Education & Learning Technologies

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING

IF5.4

2018-01-01

PREAI

Lamberti, Fabrizio; Margaria, Tiziana; Chan, Henry C. B.

Inflammation in Cachexia

MEDIATORS OF INFLAMMATION

IF4.2

2015-10-07

OAAI

Seelaender, M.; Laviano, A.; Busquets, S.; Pueschel, G. P.; Margaria, T.; Batista, M. L., Jr.

Software engineering and formal methods

COMMUNICATIONS OF THE ACM

IF12.2

2008-09-01

OAAI

Hinchey, Mike; Jackson, Michael; Cousot, Patrick; Cook, Byron; Bowen, Jonathan P.; Margaria, Tiziana

研究方向