Michael Kifer

• Database systems
• Databases and transaction processing
• Databases and Transaction Processing
• Introduction to operating system design and implementation
• OSP
• Reasoning Web : Logical Foundation of Knowledge Graph Construction and Query Answering
• The Semantic Web
• Declarative Logic Programming
• Journal on Data Semantics IX
• Journal on Data Semantics VIII
• Semantic Web : Research and Applications
• Value Pack : An Application Oriented Approach, Complete Version with Learning SQL