simone tini
simone tini
Geverifieerd e-mailadres voor uninsubria.it - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Equivalences of statecharts
A Maggiolo-Schettini, A Peron, S Tini
International Conference on Concurrency Theory, 687-702, 1996
761996
Probabilistic bisimulation as a congruence
R Lanotte, S Tini
ACM Transactions on Computational Logic (TOCL) 10 (2), 1-48, 2009
332009
Compositional semantics and behavioral equivalences for P Systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini
Theoretical Computer Science 395 (1), 77-100, 2008
332008
A comparison of statecharts step semantics
A Maggiolo-Schettini, A Peron, S Tini
Theoretical Computer Science 290 (1), 465-498, 2003
322003
Compositional metric reasoning with probabilistic process calculi
D Gebler, KG Larsen, S Tini
International Conference on Foundations of Software Science and Computationá…, 2015
312015
Non-expansive ϵ-bisimulations for probabilistic processes
S Tini
Theoretical Computer Science 411 (22-24), 2202-2222, 2010
272010
Taylor approximation for hybrid systems
R Lanotte, S Tini
International Workshop on Hybrid Systems: Computation and Control, 402-416, 2005
262005
AP systems flat form preserving step-by-step behaviour
R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini
Fundamenta Informaticae 87 (1), 1, 2008
252008
On the expressiveness of timed concurrent constraint programming
S Tini
Electronic Notes in Theoretical Computer Science 27, 3-17, 1999
251999
Rule formats for compositional non-interference properties
S Tini
The Journal of Logic and Algebraic Programming 60, 353-400, 2004
222004
Probabilistic congruence for semistochastic generative processes
R Lanotte, S Tini
International Conference on Foundations of Software Science and Computationá…, 2005
202005
Logical characterization of bisimulation metrics
V Castiglioni, D Gebler, S Tini
arXiv preprint arXiv:1610.08169, 2016
192016
Formal models of timing attacks on web privacy
R Focardi, R Gorrieri, R Lanotte, A Maggiolo-Schettini, F Martinelli, S Tini, ...
Electronic Notes in Theoretical Computer Science 62, 229-243, 2002
192002
SOS specifications of probabilistic systems by uniformly continuous operators
D Gebler, S Tini
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
182015
Compositionality of approximate bisimulation for probabilistic systems
D Gebler, S Tini
arXiv preprint arXiv:1307.7442, 2013
172013
A probabilistic calculus of cyber-physical systems
R Lanotte, M Merro, S Tini
Information and Computation, 104618, 2020
162020
Fixed-point characterization of compositionality properties of probabilistic processes combinators
D Gebler, S Tini
arXiv preprint arXiv:1408.1457, 2014
162014
An overview on operational semantics in membrane computing
R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini
International Journal of Foundations of Computer Science 22 (01), 119-131, 2011
162011
Compositional semantics of spiking neural P systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini
The Journal of Logic and Algebraic Programming 79 (6), 304-316, 2010
162010
Semi-supervised multitask learning on multispectral satellite images using wasserstein generative adversarial networks (gans) for predicting poverty
A Perez, S Ganguli, S Ermon, G Azzari, M Burke, D Lobell
arXiv preprint arXiv:1902.11110, 2019
152019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20