Heike Stephan

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 3

Top Topics

Logical Implication

Constraint Checking

Datalog Programs

Top Venues

Ershov Informatics Conference

Publications

Stefan Brass, Heike Stephan
Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation. WLP / WFLP (2017)
Stefan Brass, Heike Stephan
Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method. Ershov Informatics Conference (2017)
Stefan Brass, Heike Stephan
Bottom-Up Evaluation of Datalog: Preliminary Report. WLP / WFLP (2017)
Heike Stephan, Stefan Brass
A Variant of Earley Deduction With Partial Evaluation. CoRR (2014)
Heike Stephan
Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs. CoRR (2014)
Stefan Brass, Heike Stephan
A Variant of Earley Deduction with Partial Evaluation. RR (2013)