34 results on '"DE GIACOMO, Giuseppe"'
Search Results
2. Symbolic $$\textsc {ltl}_f$$ Best-Effort Synthesis
3. Towards ILP-Based $$\text {LTL}_\text {f}$$ Passive Learning
4. Behavioral QLTL
5. From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems
6. Automatic Business Process Model Extension to Repair Constraint Violations
7. Hybrid Temporal Situation Calculus
8. Service Composition in Stochastic Settings
9. Linking Data and BPMN Processes to Achieve Executable Models
10. Declarative Process Modeling in BPMN
11. Adding DL-Lite TBoxes to Proper Knowledge Bases
12. Verification and Synthesis in Description Logic Based Dynamic Systems
13. Ontology-Based Governance of Data-Aware Processes
14. Mastro: Ontology-Based Data Access at Work (Extended Abstract)
15. Goal-Based Composition of Stateful Services for Smart Homes
16. Conjunctive Artifact-Centric Services
17. Artifact-Centric Workflow Dominance
18. Conceptual Modeling for Data Integration
19. An Automata-Theoretic Approach to Regular XPath
20. Linking Data to Ontologies
21. Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies
22. Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach
23. Composition of Services with Nondeterministic Observable Behavior
24. $\mathcal {ESC}$ : A Tool for Automatic Composition of e-Services Based on Logics of Programs
25. Semantic Data Integration in P2P Systems
26. View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness
27. Hyper: A Framework for Peer-to-Peer Data Integration on Grids
28. On the Expressive Power of Data Integration Systems
29. Description Logics for Information Integration
30. View-Based Query Answering and Query Containment over Semistructured Data
31. Accessing Data Integration Systems through Conceptual Schemas
32. What Is Query Rewriting?
33. Automata-Theoretic Approach to Planning for Temporally Extended Goals
34. Description Logics with inverse roles, functional restrictions, and n-ary relations
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.