Takip et
Cinzia Di Giusto
Cinzia Di Giusto
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))
univ-cotedazur.fr üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Adaptable processes
M Bravetti, C Di Giusto, JA Pérez, G Zavattaro
Logical methods in computer science 8, 2012
502012
A categorical theory of patches
S Mimram, C Di Giusto
Electronic notes in theoretical computer science 298, 283-307, 2013
322013
Expressiveness of multiple heads in CHR
C Di Giusto, M Gabbrielli, MC Meo
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on …, 2009
25*2009
The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
G Delzanno, C Di Giusto, M Gabbrielli, C Laneve, G Zavattaro
Computational Methods in Systems Biology: 7th International Conference, CMSB …, 2009
242009
On the k-synchronizability of systems
C Di Giusto, L Laversa, E Lozes
23rd International Conference on Foundations of Software Science and …, 2020
202020
On the expressiveness of forwarding in higher-order communication
C Di Giusto, JA Pérez, G Zavattaro
Theoretical Aspects of Computing-ICTAC 2009: 6th International Colloquium …, 2009
192009
A unifying framework for deciding synchronizability
B Bollig, C Di Giusto, A Finkel, L Laversa, É Lozes, A Suresh
CONCUR 2021-32nd International Conference on Concurrency Theory, 1-33, 2021
182021
Disciplined structured communications with consistent runtime adaptation
C Di Giusto, JA Pérez
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1913-1918, 2013
182013
Disciplined structured communications with disciplined runtime adaptation
C Di Giusto, JA Pérez
Science of Computer Programming 97, 235-265, 2015
162015
On recursion, replication and scope mechanisms in process calculi
J Aranda, C Di Giusto, C Palamidessi, FD Valencia
International Symposium on Formal Methods for Components and Objects, 185-206, 2006
162006
CCS with replication in the chomsky hierarchy: The expressive power of divergence
J Aranda, C Di Giusto, M Nielsen, FD Valencia
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007
152007
A partial order view of message-passing communication models
C Di Giusto, D Ferré, L Laversa, E Lozes
Proceedings of the ACM on Programming Languages 7 (POPL), 1601-1627, 2023
122023
Parameter Learning for Spiking Neural Networks Modelled as Timed Automata.
E De Maria, C Di Giusto
BIOINFORMATICS, 17-28, 2018
112018
Revisiting glue expressiveness in component-based systems
C Di Giusto, JB Stefani
Coordination Models and Languages: 13th International Conference …, 2011
102011
Spiking neural networks modelled as timed automata: with parameter learning
E De Maria, C Di Giusto, L Laversa
Natural Computing 19, 135-155, 2020
92020
An event-based approach to runtime adaptation in communication-centric systems
C Di Giusto, JA Pérez
International Workshop on Web Services and Formal Methods, 67-85, 2014
92014
Hunting Distributed Malware with the κ-Calculus
M Dalla Preda, C Di Giusto
International Symposium on Fundamentals of Computation Theory, 102-113, 2011
92011
Event-based run-time adaptation in communication-centric systems
C Di Giusto, JA Pérez
Formal Aspects of Computing 28, 531-566, 2016
82016
Towards the verification of adaptable processes
M Bravetti, C Di Giusto, JA Pérez, G Zavattaro
International Symposium On Leveraging Applications of Formal Methods …, 2012
82012
Formal validation of neural networks as timed automata
E De Maria, C Di Giusto, G Ciatto
Proceedings of the 8th International Conference on Computational Systems …, 2017
72017
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20