EasyChair Smart SlideUser guide
Author: Markus Krötzsch

This page shows all presentations of this author published in EasyChair Smart Slide.

Chasing Streams with Existential Rules

Chasing Streams with Existential Rules

Jacopo Urbani, Markus Krötzsch and Thomas Eiter

Deciding Hyperproperties Combined with Functional Specifications

Deciding Hyperproperties Combined with Functional Specifications

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann and Markus Krötzsch

Efficient Model Construction for Horn Logic with VLog: System Description

Efficient Model Construction for Horn Logic with VLog: System Description

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste and David Carral

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair