948 results on '"Bruni, Roberto"'
Search Results
2. Causal analysis of positive Reaction Systems
3. Sufficient Incorrectness Logic: SIL and Separation SIL
4. Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics
5. A framework for monitored dynamic slicing of reaction systems
6. How the metaverse influences marketing and competitive advantage of retailers: predictions and key marketing research priorities
7. Exploiting Adjoints in Property Directed Reachability Analysis
8. Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies
9. The role of immersive technologies in cultural contexts: future challenges from the literature
10. Chronic inflammatory demyelinating polyneuropathy and HEV antibody status: A case-control study from Lazio, Italy
11. Local Completeness in Abstract Interpretation
12. Verification of Reaction Systems Processes
13. Logics for Extensional, Locally Complete Analysis via Domain Refinements
14. Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
15. Value-dominant logic: organizational principles
16. Quantitative extensions of reaction systems based on SOS semantics
17. SOS Rules for Equivalences of Reaction Systems
18. Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
19. Logics for Extensional, Locally Complete Analysis via Domain Refinements
20. Exploiting Adjoints in Property Directed Reachability Analysis
21. Deciding Program Properties via Complete Abstractions on Bounded Domains
22. Exploring Augmented Reality Applications for Sustainable Retailing
23. Limits and difficulties in the design of under-approximation abstract domains
24. Industry 4.0 enablers in retailing: a literature review
25. Limits and Difficulties in the Design of Under-Approximation Abstract Domains
26. Unifying Inference for Bayesian and Petri Nets
27. A Formal Approach to Open Multiparty Interactions
28. Event Structures for Petri nets with Persistence
29. Concurrency and Probability: Removing Confusion, Compositionally
30. Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
31. Applying Augmented Reality in the Italian Food and Dining Industry: Cultural Heritage Perspectives
32. SOS Rules for Equivalences of Reaction Systems
33. Deciding Program Properties via Complete Abstractions on Bounded Domains
34. Algebras for Tree Decomposable Graphs
35. A Correctness and Incorrectness Program Logic.
36. A coalgebraic semantics for causality in Petri nets
37. Three drivers for cities development: A focus on start-up contribution
38. The link-calculus for open multiparty interactions
39. Phylogenetic analysis and epidemiological history of Hepatitis E virus 3f and 3c in swine and wild boar, Italy
40. A Coalgebraic Approach to Unification Semantics of Logic Programming
41. Enhancing Reaction Systems: A Process Algebraic Approach
42. Data-Driven Choreographies à la Klaim
43. Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems
44. How the metaverse influences marketing and competitive advantage of retailers: predictions and key marketing research priorities
45. Defining the Metaverse with challenges and opportunities in the business environment
46. Characterization of SARS-CoV-2 Variants in Military and Civilian Personnel of an Air Force Airport during Three Pandemic Waves in Italy
47. PEPA - Performance Evaluation Process Algebra
48. Denotational Semantics of HOFL
49. Equivalence Between HOFL Denotational and Operational Semantics
50. Measure Theory and Markov Chains
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.