| Publication | Date of Publication | Type |
|---|
Verifier's dilemma in proof-of-work public blockchains: a quantitative analysis
ACM Transactions on Modeling and Computer Simulation | 2025-08-18 | Paper |
| Skipping and fetching: insights on non-conventional product-form solutions | 2024-05-29 | Paper |
| Causal reversibility implies time reversibility | 2024-05-29 | Paper |
| A Process Algebra for (Delimited) Persistent Stochastic Non-Interference | 2024-03-14 | Paper |
A foreground-background queueing model with speed or capacity modulation
Indagationes Mathematicae. New Series | 2023-08-28 | Paper |
Biased Processor Sharing in Fork-Join Queues
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Proportional lumpability and proportional bisimilarity
Acta Informatica | 2022-05-17 | Paper |
| A Matlab toolkit for the analysis of two-level processor sharing queues | 2021-12-08 | Paper |
Persistent stochastic non-interference
Fundamenta Informaticae | 2021-10-25 | Paper |
\textit{D\_PSNI}: delimited persistent stochastic non-interference
Theoretical Computer Science | 2021-08-27 | Paper |
| The SRPT service policy with frequency scaling: modeling, evaluation and optimization | 2020-11-12 | Paper |
| Proportional lumpability | 2020-05-05 | Paper |
| Aggregation and truncation of reversible Markov chains modulo state renaming | 2018-10-23 | Paper |
| Interconnected wireless sensors with energy harvesting | 2018-07-06 | Paper |
Applying reversibility theory for the performance evaluation of reversible computations
Analytical and Stochastic Modelling Techniques and Applications | 2018-07-06 | Paper |
Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
Information and Computation | 2018-05-30 | Paper |
| Dynamic control of the join-queue lengths in saturated fork-join stations | 2018-01-11 | Paper |
Product-form in G-networks
Probability in the Engineering and Informational Sciences | 2017-09-19 | Paper |
Lumping and reversed processes in cooperating automata
Annals of Operations Research | 2016-06-07 | Paper |
Quantitative Analysis of Concurrent Reversible Computations
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Separable solutions for Markov processes in random environments
European Journal of Operational Research | 2015-07-28 | Paper |
Modelling retrial-upon-conflict systems with product-form stochastic Petri nets
Analytical and Stochastic Modeling Techniques and Applications | 2013-08-09 | Paper |
Algorithmic product-form approximations of interacting stochastic models
Computers & Mathematics with Applications | 2013-07-25 | Paper |
Lumping and reversed processes in cooperating automata
Analytical and Stochastic Modeling Techniques and Applications | 2012-07-23 | Paper |
Queueing networks
Formal Methods for Performance Evaluation | 2011-03-25 | Paper |
Petri nets for modelling metabolic pathways: a survey
Natural Computing | 2010-11-30 | Paper |
On product-form approximations of cooperating stochastic models
Lecture Notes in Electrical Engineering | 2010-10-06 | Paper |
