Publications
Hybrid Dynamics of Stochastic Programs. Theoretical Computer Science. 411/20:2052–2077.
(4.54 MB)
.
2010. 
Hybrid Semantics for PEPA. Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2010). :181–190.
(233.46 KB)
.
2010. 
Limit behavior of the hybrid approximation of Stochastic Process Algebras. 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2010). :367–381.
(584.23 KB)
.
2010. 
Modeling Hybrid Systems with Stochastic Events in HYPE. PASTA 2010. :24–28.
.
2010. Perspectives on Constraints, Process Algebras, and Hybrid Systems.. WCB 2010. :69–75.
(131.69 KB)
.
2010. 
Possibilistic coding: error detection vs. error correction. Combining Soft Computing and Statistical Methods in Data Analysis. 77:41–48.
(127.99 KB)
.
2010. 
Geometry of strings and possibilistic coding. 14th Conference on Applied Stochastic Models and Data Analysis (ASMDA2011). :na–na.
.
2011. How Many Possible Languages Are There? Biology, Computation and Linguistics - New Interdisciplinary Paradigms. :168–179.
(720.03 KB)
.
2011. 
Hybrid Limits of Continuous Time Markov Chains. 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011. :3–12.
(1015.88 KB)
.
2011. 
HYPE with stochastic events. QAPL 2011. 57:120–133.
.
2011. Language Sampling for Universal Grammars. Rendiconti dell'Istituto di Matematica dell'Università di Trieste. 43:95–110.
.
2011. Programmable models of growth and mutation of cancer-cell populations. COMPMOD 2011. 67:19--33.
.
2011. A Rough guide to Hybrid Limits of Continuous Time Markov Chains. PASTA 2011. :74–79.
.
2011. Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. 9th European Workshop on Computer Performance Engineering, EPEW 2012, and 28th UK Workshop on Computer Performance Engineering, UKPEW 2012. 7587:156–171.
.
2012. Fluid Approximation of CTMC with Deterministic Delays. Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012. :53–62.
(1.57 MB)
.
2012. 
Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion. ACM SIGMETRICS/PERFORMANCE. :113–124.
(340.47 KB)
.
2012. 
Fluid limits of queueing networks with batches. ICPE 2012. :45–56.
(576.43 KB)
.
2012. 
Fluid Model Checking. 22th International Conference on Concurrency Theory, CONCUR 2012. 7454:333–347.
(561.29 KB)
.
2012. 
Fluid Model Checking. CoRR ArXiv.
.
2012. Hybrid Behaviour of Markov Population Models. CoRR ArXiv.
.
2012. Hybrid performance modelling of opportunistic networks. QAPL 2012. 85:106–121.
.
2012. Proceedings First International Workshop on Hybrid Systems and Biology. Electronic Proceedings In Theoretical Computer Science. 92:1–166.
.
2012. Spearman Permutation Distances and Shannon's Distinguishability. Fundamenta Informaticae. 118:245–252.
.
2012. Statistics and histopathology: a mixed-effects model approach to digital image analysis. Pathologica. 104:161–162.
.
2012. Studying cancer-cell populations by programmable models of networks. Network Modeling Analysis In Health Informatics And Bioinformatics. 1:117–133.
(9.91 MB)
.
2012. 