Fabio Martinelli

Available identifiers

zbMath Open martinelli.fabio.1MaRDI QIDQ692279

List of research outcomes

Publication	Date of Publication	Type
On a front evolution problem for the multidimensional East model	2021-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q5208774	2020-01-10	Paper
A Quantitative Partial Model-Checking Function and Its Optimisation	2019-01-10	Paper
An improvement of algorithms for solving interface equations	2016-06-09	Paper
A formalization of credit and responsibility within the GNDC schema	2016-05-06	Paper
There are Two Sides to Every Question	2016-01-08	Paper
A uniform framework for security and trust modeling and analysis with crypto-CCS	2013-12-13	Paper
Towards Modelling Adaptive Attacker’s Behaviour	2013-08-07	Paper
Techniques for security checking: non-interference vs control flow analysis	2013-07-24	Paper
Formal models of timing attacks on web privacy	2013-07-24	Paper
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials	2012-12-04	Paper
Theoretical Computer Science	2010-02-23	Paper
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
Formal models and analysis of secure multicast in wired and wireless networks	2009-11-25	Paper
Foundations of Security Analysis and Design II	2009-05-14	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
A simple framework for real-time cryptographic protocol analysis with compositional proof rules	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4417888	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4408461	2003-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4708600	2003-06-18	Paper
A comparison of three authentication properties.	2003-01-22	Paper
Analysis of security protocols as open systems	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2767180	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2754157	2001-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4493894	2001-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4499293	2001-03-05	Paper

Research outcomes over time

This page was built for person: Fabio Martinelli