Search

Your search keyword '"Pinna, G."' showing total 1,518 results

Search Constraints

Start Over You searched for: Author "Pinna, G." Remove constraint Author: "Pinna, G."
1,518 results on '"Pinna, G."'

Search Results

1. A Reversible Perspective on Petri Nets and Event Structures

2. A Truly Concurrent Semantics for Reversible CCS

3. Relating Reversible Petri Nets and Reversible Event Structures, categorically

5. Model Checking Reversible Systems: Forwardly

8. A new operational representation of dependencies in Event Structures

10. Reversible Causal Nets and Reversible Event Structures

11. Representing Dependencies in Event Structures

12. Toward a Uniform Approach to the Unfolding of Nets

15. Towards a Truly Concurrent Semantics for Reversible CCS

16. Reversible Occurrence Nets and Causal Reversible Prime Event Structures

18. Foundations of Reversible Computation

20. A TRULY CONCURRENT SEMANTICS FOR REVERSIBLE CCS.

21. A Reversible Perspective on Petri Nets and Event Structures.

23. A note on two notions of compliance

24. Genere e campi disciplinari: riflessioni teoriche e metodologiche sulla genesi della sociologia tedesca

25. An event-based model for contracts

26. Lending Petri nets and contracts

27. Dependencies and Simultaneity in Membrane Systems

28. Reduced prevalence of fetal exposure to alcohol in Italy: a nationwide survey

29. Organization and Activity of Italian Echocardiographic Laboratories: A Survey of the Italian Society of Echocardiography and Cardiovascular Imaging

31. Reversing Steps in Membrane Systems Computations

32. Multiscale analysis of heart rate, blood pressure and respiration time series

34. The Prognostic Roles of Gender and O6-Methylguanine-DNA Methyltransferase Methylation Status in Glioblastoma Patients: The Female Power

35. Leave-one-out prediction error of systolic arterial pressure time series under paced breathing

36. Phase shifts of synchronized oscillators and the systolic/diastolic blood pressure relation

37. Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly

40. Foundations of Reversible Computation

41. Functional mapping: a new approach for substrate characterization in patients affected by atrial fibrillation

42. Models of Circular Causality

47. Surgical management of Glioma Grade 4: technical update from the neuro-oncology section of the Italian Society of Neurosurgery (SINch®): a systematic review

50. Incidence of neuroepithelial primary brain tumors among adult population of Emilia-Romagna Region, Italy

Catalog

Books, media, physical & digital resources