Stefan Brass

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 16

Top Venues

CoRR

LOPSTR

WLP / WFLP

ADBIS

University of Hanover, Hannover, Germany (PHD)

Education History

University of Hanover, Hannover, Germany

PHD

Publications

Stefan Brass, Alexander Hinneburg
Semantic Watermarks for Detecting Cheating in Online Database Exams. BTW (2023)
Stefan Brass, Mario Wenzel
Integrity Constraints for Microcontroller Programming in Datalog. ADBIS (2021)
Stefan Brass
Event-Based Microcontroller Programming in Datalog. RuleML+RR (2021)
Mario Wenzel, Stefan Brass
Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. LOPSTR (2020)
Mario Wenzel, Stefan Brass
Declarative Programming for Microcontrollers - Datalog on Arduino. DECLARE (2019)
Mario Wenzel, Stefan Brass
Declarative Programming for Microcontrollers - Datalog on Arduino. CoRR (2019)
Stefan Brass, Mario Wenzel
Performance Analysis and Comparison of Deductive Systems and SQL Databases. Datalog (2019)
Stefan Brass, Mario Wenzel
An Abstract Machine for Push Bottom-Up Evaluation of Datalog. DEXA (2) (2018)
Stefan Brass, Heike Stephan
Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation. WLP / WFLP (2017)
Christiane Engels, Andreas Behrend, Stefan Brass
A Declarative Approach to Analyzing Schema Objects and Functional Dependencies. ADBIS (Short Papers and Workshops) (2017)
Christiane Engels, Andreas Behrend, Stefan Brass
A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. LOPSTR (2017)
Stefan Brass, Heike Stephan
Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method. Ershov Informatics Conference (2017)
Stefan Brass
Language Constructs for a Datalog Compiler. DEXA (1) (2017)
Christiane Engels, Andreas Behrend, Stefan Brass
A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. CoRR (2017)
Stefan Brass, Heike Stephan
Bottom-Up Evaluation of Datalog: Preliminary Report. WLP / WFLP (2017)
Stefan Brass
A Framework for Goal-Directed Query Evaluation with Negation. LPNMR (2015)
Heike Stephan, Stefan Brass
A Variant of Earley Deduction With Partial Evaluation. CoRR (2014)
Stefan Brass
A Framework for Bottom-Up Simulation of SLD-Resolution. CoRR (2014)
Stefan Brass, Heike Stephan
A Variant of Earley Deduction with Partial Evaluation. RR (2013)
Stefan Brass
Order in Datalog with Applications to Declarative Output. Datalog (2012)
Stefan Brass
Declarative Output by Ordering Text Pieces. ICLP (Technical Communications) (2011)
Stefan Brass
Implementation Alternatives for Bottom-Up Evaluation. ICLP (Technical Communications) (2010)
Stefan Brass, Christian Goldberg
Semantic errors in SQL queries: A quite complete list. J. Syst. Softw. 79 (5) (2006)
Stefan Brass, Christian Goldberg
Proving the Safety of SQL Queries. QSIC (2005)
Christian Goldberg, Stefan Brass
Semantic Errors in SQL Queries: A Quite Complete List. Grundlagen von Datenbanken (2004)
Stefan Brass, Christian Goldberg
Semantic Errors in SQL Queries: A Quite Complete List. QSIC (2004)
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
Super logic programs. ACM Trans. Comput. Log. 5 (1) (2004)
Stefan Brass, Christian Goldberg
Detecting Logical Errors in SQL Queries. Grundlagen von Datenbanken (2004)
Stefan Brass
Eine auf Datalog basierende XML-Anfragesprache. Grundlagen von Datenbanken (2003)
Stefan Brass
Semantic Errors in SQL. Grundlagen von Datenbanken (2002)
Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski
On the equivalence of the static and disjunctive well-founded semantics and its computation. Theor. Comput. Sci. 258 (1-2) (2001)
Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski
Transformation-based bottom-up computation of the well-founded model. Theory Pract. Log. Program. 1 (5) (2001)
Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski
Transformation-Based Bottom-Up Computation of the Well-Founded Model CoRR (2000)
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
Super Logic Programs CoRR (2000)
Stefan Brass
SLDMagic - The Real Magic (With Applications to Web Queries). Computational Logic (2000)
Stefan Brass, Jürgen Dix
Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. J. Log. Program. 40 (1) (1999)
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
Computation of the Semantics of Autoepistemic Belief Theories. Artif. Intell. 112 (1-2) (1999)
Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. KR (1998)
Stefan Brass, Jürgen Dix
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. J. Autom. Reason. 20 (1) (1998)
Ulrich Zukowski, Burkhard Freitag, Stefan Brass
Differential Bottom-Up Computation of the Well-Founded Semantics. ICLP (1997)
Stefan Brass
Querying Semistructured Data and the WWW. Grundlagen von Datenbanken (1997)
Ulrich Zukowski, Burkhard Freitag, Stefan Brass
Improving the Alternating Fixpoint: The Transformation Approach. LPNMR (1997)
Stefan Brass, Jürgen Dix
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. J. Log. Program. 32 (3) (1997)
Stefan Brass
SDLMagic - An Improved Magic Set Technique. Grundlagen von Datenbanken (1996)
Stefan Brass, Jürgen Dix
Characterizing D-WFS: Confluence and Iterated GCWA. JELIA (1996)
Stefan Brass, Ulrich Zukowski, Burkhard Freitag
Transformation-Based Bottom-Up Computation of the Well-Founded Model. NMELP (1996)
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski
Super Logic Programs. KR (1996)
Stefan Brass
SLDMagic - An Improved Magic Set Technique. ADBIS (1996)
Stefan Brass
Magic Sets vs. SLD-Resolution. ADBIS (1995)
Stefan Brass
Ein Informationssystem zur Förderung der Kommunikation im Arbeitskreis. Grundlagen von Datenbanken (1995)
Stefan Brass, Jürgen Dix
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. ICLP (1995)
Stefan Brass, Jürgen Dix
Characterizations of the Stable Semantics by Partial Evaluation. LPNMR (1995)
Stefan Brass
Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases. GI Jahrestagung (1994)
Stefan Brass, Jürgen Dix
A general Approach to Bottom-Up Computation of Disjunctive Semantics. NMELP (1994)
Stefan Brass, Jürgen Dix
A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation. GI Jahrestagung (1994)
Stefan Brass
Modular Specifications with Supernormal Defaults. Ann. Math. Artif. Intell. 12 (3-4) (1994)
Udo W. Lipeck, Stefan Brass
Object-Oriented System Specification Using Defaults. IS/KI (1994)
Stefan Brass, Jürgen Dix
A Characterization of the Stable Semantics by Partial Evaluation. WLP (1994)
Stefan Brass, Jürgen Dix
Computing Disjunctive Stable Semantics Based on Clark's Completed Database. Grundlagen von Datenbanken (1994)
Stefan Brass, Udo W. Lipeck
Bottom-Up Query Evaluation with Partially Ordered Defaults. DOOD (1993)
Stefan Brass
On the Semantics of Supernormal Defaults. IJCAI (1993)
Stefan Brass, Udo W. Lipeck
Generalized Bottom-Up Query Evaluation. EDBT (1992)
Stefan Brass
Defaults in deduktiven Datenbanken (Zusammenfassung). Datenbank Rundbr. 10 (1992)
Stefan Brass
Deduction with Supernormal Defaults. Nonmonotonic and Inductive Logic (1991)
Stefan Brass, Udo W. Lipeck
Zur Semantik von Vererbung in logischen Objektspezifikationen. Grundlagen von Datenbanken (1991)
Stefan Brass, Udo W. Lipeck
Semantice of Inheritance in Logical Object Specifications. DOOD (1991)
Stefan Brass
Beginnings of a Theory of General Database Completions. ICDT (1990)
Stefan Brass
Allgemeine Vervollständigung beim Entwurf von Logik-Datenbanken. Grundlagen von Datenbanken (1990)
Stefan Brass, Udo W. Lipeck
Specifying Closed World Assumptions for Logic Databases. MFDBS (1989)
Stefan Brass
Spezifikation von Annahmen der geschlossenen Welt (CWAs). Grundlagen von Datenbanken (1989)

Stefan Brass.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Brass