Cikkek nyilvánosan hozzáférhető megbízással - Carla PiazzaTovábbi információ
Sehol sem hozzáférhető: 4
Parallelotope bundles for polynomial reachability
T Dreossi, T Dang, C Piazza
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
Megbízások: Government of Italy
Towards quantum programs verification: from quipper circuits to QPMC
L Anticoli, C Piazza, L Taglialegne, P Zuliani
Reversible Computation: 8th International Conference, RC 2016, Bologna …, 2016
Megbízások: Government of Italy
Directed graph encoding in quantum computing supporting edge-failures
D Della Giustina, C Piazza, B Riccardi, R Romanello
International Conference on Reversible Computation, 75-92, 2022
Megbízások: Government of Italy
Hybrid automata in systems biology
A Casagrande, R Gentilini, C Piazza, A Policriti
Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and …, 2022
Megbízások: Government of Italy
Valahol hozzáférhető: 26
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses
G Alzetta, A Marin, C Piazza, S Rossi
Information and Computation 260, 99-125, 2018
Megbízások: Government of Italy
Reachability computation for polynomial dynamical systems
T Dreossi, T Dang, C Piazza
Formal Methods in System Design 50 (1), 1-38, 2017
Megbízások: US Department of Defense, Government of Italy
Parameter synthesis through temporal logic specifications
T Dang, T Dreossi, C Piazza
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
Megbízások: Government of Italy
Parameter synthesis using parallelotopic enclosure and applications to epidemic models
T Dang, T Dreossi, C Piazza
Hybrid Systems Biology: Second International Workshop, HSB 2013, Taormina …, 2015
Megbízások: Government of Italy
Persistent stochastic non-interference
J Hillston, A Marin, C Piazza, S Rossi
Fundamenta Informaticae 181 (1), 1-35, 2021
Megbízások: Government of Italy
Is hyper-extensionality preservable under deletions of graph elements?
A Casagrande, C Piazza, A Policriti
Electronic Notes in Theoretical Computer Science 322, 103-118, 2016
Megbízások: Government of Italy
Proportional lumpability and proportional bisimilarity
A Marin, C Piazza, S Rossi
Acta Informatica 59 (2), 211-244, 2022
Megbízások: Government of Italy
WGA-LP: a pipeline for whole genome assembly of contaminated reads
N Rossi, A Colautti, L Iacumin, C Piazza
Bioinformatics 38 (3), 846-848, 2022
Megbízások: Government of Italy
e: A Translation Framework from Quipper Programs to Quantum Markov Chains
L Anticoli, C Piazza, L Taglialegne, P Zuliani
New Frontiers in Quantitative Methods in Informatics: 7th Workshop, InfQ …, 2018
Megbízások: Government of Italy
ϵ-Semantics computations on biological systems
A Casagrande, T Dreossi, J Fabriková, C Piazza
Information and Computation 236, 35-51, 2014
Megbízások: Government of Italy
Neural networks reduction via lumping
D Ressi, R Romanello, C Piazza, S Rossi
International conference of the Italian association for artificial …, 2022
Megbízások: Government of Italy
Mirrors and memory in quantum automata
C Piazza, R Romanello
International Conference on Quantitative Evaluation of Systems, 359-380, 2022
Megbízások: Government of Italy
Synthesis of CNOT minimal quantum circuits with topological constraints through ASP
C Piazza, R Romanello
CEUR WORKSHOP PROCEEDINGS 3586, 37-49, 2023
Megbízások: Government of Italy
Parameter synthesis of polynomial dynamical systems
A Casagrande, T Dang, L Dorigo, T Dreossi, C Piazza, E Pippia
Information and Computation 289, 104941, 2022
Megbízások: National Institute of Health and Medical Research, France, Agence Nationale …
Information flow security for stochastic processes
J Hillston, A Marin, C Piazza, S Rossi
Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris …, 2018
Megbízások: Government of Italy
LINC01605 Is a Novel Target of Mutant p53 in Breast and Ovarian Cancer Cell Lines
M Coan, M Toso, L Cesaratto, I Rigo, S Borgna, A Dalla Pietà, L Zandonà, ...
International Journal of Molecular Sciences 24 (18), 13736, 2023
Megbízások: Government of Italy, AIRC Foundation for Cancer Research in Italy
A publikációs és a finanszírozási adatokat számítógépes program határozza meg, automatikusan.