Search Results - "Pinna, G."

RELATING REVERSIBLE PETRI NETS AND REVERSIBLE EVENT STRUCTURES, CATEGORICALLY.

Authors: MELGRATTI, HERNÁN ANTARES MEZZINA, CLAUDIO PINNA, G. MICHELE

Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 2, p1-40, 40p

Geophysical exploration case histories at the PITOP geophysical test site - A key facility in the ECCSEL-ERIC consortium: an overview.

Authors: BELLEZZA, C. PINNA, G. BARISON, E. et al.

Source: Bulletin of Geophysics & Oceanography (BGO). Mar2025, Vol. 66 Issue 1, p21-42. 22p.

A Reversible Perspective on Petri Nets and Event Structures.

Authors: Melgratti, Hernán Mezzina, Claudio Antares Pinna, G. Michele

Source: ACM Transactions on Computational Logic; Oct2024, Vol. 25 Issue 4, p1-38, 38p

A TRULY CONCURRENT SEMANTICS FOR REVERSIBLE CCS.

Authors: MELGRATTI, HERNÁN MEZZINA, CLAUDIO ANTARES PINNA, G. MICHELE

Source: Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 4, p20:1-20:37, 37p

Adventitious buds on roots of Siphanthera arenaria (DC.) Cogn. (Melastomataceae), an annual plant from the cerrado biome.

Authors: Menezes-e-Vasconcelos, K. Melo-de-Pinna, G. F. A.

Source: Folia Geobotanica. 2024, Vol. 58 Issue 3/4, p311-315. 5p.

Unilateral change of laryngeal adductor reflex and hiccups resolution after removal of bulbar hemangioblastoma: is there a connection?

Authors: Fontana, V. Squintani, G. M. Badari, A. et al.

Source: Neurological Sciences. Nov2025, Vol. 46 Issue 11, p6155-6160. 6p.

Subjects: Medulla oblongata, Hiccups, Surgical excision, Numbness, Brain stem, Intraoperative monitoring

A NEW OPERATIONAL REPRESENTATION OF DEPENDENCIES IN EVENT STRUCTURES.

Authors: PINNA, G. MICHELE¹, gmpinna@unica.it

Source: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 4, p1-30, 30p

REPRESENTING DEPENDENCIES IN EVENT STRUCTURES.

Authors: PINNA, G. MICHELE¹, gmpinna@unica.it

Source: Logical Methods in Computer Science (LMCS); 2020, Vol. 16 Issue 2, p1-25, 25p

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.

This result is not displayed to guests.
Login for full access.

The transition from intra to extra-uterine life in late preterm infant: a single-center study.

Authors: De Carolis, M. P. Pinna, G. Cocca, C. et al.

Source: Italian Journal of Pediatrics. 9/22/2016, Vol. 42, p1-7. 7p.

X-ray diffraction investigation of iron in sodium phosphate glasses.

Authors: Musinu, A. Piccaluga, G. Pinna, G.

Source: Journal of Physical Chemistry; July 25 1996, Vol. 100, p12462-12466, 5p

A Petri net view of covalent bonds.

Authors: Melgratti, Hernán Mezzina, Claudio Antares Pinna, G. Michele

Source: Theoretical Computer Science; Mar2022, Vol. 908, p89-119, 31p

Circular Causality in Event Structures.

Authors: Bartoletti, Massimo Cimoli, Tiziana Pinna, G. Michele et al.

Source: Fundamenta Informaticae; 2014, Vol. 134 Issue 3-4, p219-259, 41p

Analysis of the Growth Control Network Specific for Human Lung Adenocarcinoma Cells.

Authors: Pinna, G. Zinovyev, A. Araujo, N. et al.

Source: Mathematical Modelling of Natural Phenomena. Jan2012, Vol. 7 Issue 1, p337-368. 32p.

Process discovery and Petri nets.

Authors: Busi, Nadia Pinna, G. Michele

Source: Mathematical Structures in Computer Science. Dec2009, Vol. 19 Issue 6, p1091-1124. 34p. 4 Diagrams.

An Event Based Semantics of P Systems.

Authors: Pinna, G. Michele Saba, Andrea

Source: Scientific Annals of Computer Science; 2008, Vol. 18, p99-127, 29p, 6 Diagrams