118 results on '"De Giacomo, A."'
Search Results
2. Early histologic findings of pulmonary SARS-CoV-2 infection detected in a surgical specimen
3. Phospholipidomics of peripheral blood mononuclear cells (PBMCs): the tricky case of children with autism spectrum disorder (ASD) and their healthy siblings
4. Clostridium difficile infection in children: epidemiology and risk of recurrence in a low-prevalence country
5. Verification and Synthesis in Description Logic Based Dynamic Systems
6. Rewrite and Conquer: Dealing with Integrity Constraints in Data Integration
7. Data Integration under Integrity Constraints
8. Goal-Based Composition of Stateful Services for Smart Homes
9. Ontology-Based Governance of Data-Aware Processes
10. Foundations of Relational Artifacts Verification
11. Conjunctive Artifact-Centric Services
12. Automated Composition of Nondeterministic Stateful Services
13. Using OWL in Data Integration
14. Artifact-Centric Workflow Dominance
15. An Automata-Theoretic Approach to Regular XPath
16. Ontologies and Databases: The DL-Lite Approach
17. Conceptual Modeling for Data Integration
18. Data Integration through Ontologies
19. Linking Data to Ontologies
20. Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring
21. Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
22. Composition of Services with Nondeterministic Observable Behavior
23. : A Tool for Automatic Composition of e-Services Based on Logics of Programs
24. Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach
25. View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness
26. Hyper: A Framework for Peer-to-Peer Data Integration on Grids
27. A Foundational Vision of e-Services
28. Semantic Data Integration in P2P Systems
29. On the Expressive Power of Data Integration Systems
30. IBIS: Semantic Data Integration at Work
31. Decidable Containment of Recursive Queries
32. Automatic Composition of E-services That Export Their Behavior
33. A Formal Framework for Reasoning on UML Class Diagrams
34. Data Integration under Integrity Constraints
35. View-Based Query Answering and Query Containment over Semistructured Data
36. Description Logics for Information Integration
37. Accessing Data Integration Systems through Conceptual Schemas
38. What Is Query Rewriting?
39. Automata-Theoretic Approach to Planning for Temporally Extended Goals
40. An Incremental Interpreter for High-Level Programs with Sensing
41. Queries and Constraints on Semi-structured Data
42. Planning with sensing for a mobile robot
43. Tableaux and algorithms for Propositional Dynamic Logic with Converse
44. Structured objects: Modeling and reasoning
45. PDL-based framework for reasoning about actions
46. Description Logics with inverse roles, functional restrictions, and n-ary relations
47. Multi-methodological investigation of kunzite, hiddenite, alexandrite, elbaite and topaz, based on laser-induced breakdown spectroscopy and conventional analytical techniques for supporting mineralogical characterization
48. Epidemiology of Helicobacter pylori Infection in Pediatrics: A Serologic Study
49. Treatment with Amoxicillin and Colloidal Bismuth Subcitrate in Children with Helicobacter pylori-Associated Peptic Disease
50. Mastro: Ontology-Based Data Access at Work (Extended Abstract)
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.