Person Holger Giese

Technical Report

Metric Temporal Graph Logic over Typed Attributed Graphs

Metric Temporal Graph Logic over Typed Attributed Graphs

Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering

Proceedings of the 9th Ph.D. retreat of the HPI Research School on service-oriented systems engineering

On the operationalization of graph queries with generalized discrimination networks

Inductive invariant checking with partial negative application conditions

Efficient and scalable graph view maintenance for deductive graph databases based on generalized discrimination networks

Development of AUTOSAR standard documents at Carmeq GmbH

Proceedings of the 8th Ph.D. retreat of the HPI research school on service-oriented systems engineering