216 results on '"Falaschi, Moreno"'
Search Results
2. A framework for monitored dynamic slicing of reaction systems
3. Enhancing Embedding Representations of Biomedical Data using Logic Knowledge
4. Verification of Reaction Systems Processes
5. Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
6. Quantitative extensions of reaction systems based on SOS semantics
7. SOS Rules for Equivalences of Reaction Systems
8. Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
9. An Assertion language for slicing Constraint Logic Languages
10. Modeling and Analyzing Reaction Systems in Maude
11. Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
12. SOS Rules for Equivalences of Reaction Systems
13. Slicing Concurrent Constraint Programs
14. Enhancing Reaction Systems: A Process Algebraic Approach
15. An Assertion Language for Slicing Constraint Logic Languages
16. Abstract Interpretation of Temporal Concurrent Constraint Programs
17. Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
18. SOS Rules for Equivalences of Reaction Systems
19. Enhancing Embedding Representations of Biomedical Data using Logic Knowledge
20. Slicing Concurrent Constraint Programs
21. Automatic Verification of Timed Concurrent Constraint Programs
22. An Assertion Language for Slicing Constraint Logic Languages
23. Enhancing Reaction Systems: A Process Algebraic Approach
24. A Declarative View of Signaling Pathways
25. Process calculi for biological processes
26. An Access Control Language Based on Term Rewriting and Description Logic
27. Transformation and Debugging of Functional Logic Programs
28. Quantitative Pathway Logic for Computational Biology
29. Semantic Verification of Web System Contents
30. Slicing Concurrent Constraint Programs
31. A Fast Algebraic Web Verification Service
32. Rewriting-based repairing strategies for XML repositories
33. Abstract Diagnosis of Functional Programs
34. Correction of Functional Logic Programs
35. An Automatic Composition Algorithm for Functional Logic Programs
36. A Transformation System for Lazy Functional Logic Programs
37. Confluence in concurrent constraint programming
38. A process algebraic approach to reaction systems
39. Compositional analysis for equational Horn programs
40. Narrowing approximations as an optimization for equational logic programs
41. Efficient analysis of concurrent constraint logic programs
42. Conditional narrowing with constructive negation
43. A Declarative View of Signaling Pathways
44. Analyses of inconsistency for incremental equational logic programming
45. Narrowing as an incremental constraint satisfaction algorithm
46. A logical and graphical framework for reaction systems
47. Editorial
48. Dynamic Slicing for Concurrent Constraint Languages
49. Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy
50. A Logic Programming Approach to Reaction Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.