Stefan Brass

According to our database, Stefan Brass authored at least 63 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Semantic Watermarks for Detecting Cheating in Online Database Exams.

Stefan Brass, Alexander Hinneburg

Proceedings of the Datenbanksysteme für Business, 2023

2021

Event-Based Microcontroller Programming in Datalog.

Stefan Brass

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

Integrity Constraints for Microcontroller Programming in Datalog.

Stefan Brass, Mario Wenzel

Proceedings of the Advances in Databases and Information Systems, 2021

2020

Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines.

Mario Wenzel, Stefan Brass

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Declarative Programming for Microcontrollers - Datalog on Arduino.

Mario Wenzel, Stefan Brass

Proceedings of the Declarative Programming and Knowledge Management, 2019

Performance Analysis and Comparison of Deductive Systems and SQL Databases.

Stefan Brass, Mario Wenzel

Proceedings of the Datalog 2.0 2019, 2019

2018

An Abstract Machine for Push Bottom-Up Evaluation of Datalog.

Stefan Brass, Mario Wenzel

Proceedings of the Database and Expert Systems Applications, 2018

2017

Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation.

Stefan Brass, Heike Stephan

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

Bottom-Up Evaluation of Datalog: Preliminary Report.

Stefan Brass, Heike Stephan

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

A Rule-Based Approach to Analyzing Database Schema Objects with Datalog.

Christiane Engels, Andreas Behrend, Stefan Brass

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method.

Stefan Brass, Heike Stephan

Proceedings of the Perspectives of System Informatics, 2017

Language Constructs for a Datalog Compiler.

Stefan Brass

Proceedings of the Database and Expert Systems Applications, 2017

A Declarative Approach to Analyzing Schema Objects and Functional Dependencies.

Christiane Engels, Andreas Behrend, Stefan Brass

Proceedings of the New Trends in Databases and Information Systems, 2017

2015

A Framework for Goal-Directed Query Evaluation with Negation.

Stefan Brass

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

2014

A Framework for Bottom-Up Simulation of SLD-Resolution.

Stefan Brass

CoRR, 2014

2013

A Variant of Earley Deduction with Partial Evaluation.

Stefan Brass, Heike Stephan

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

2012

Order in Datalog with Applications to Declarative Output.

Stefan Brass

Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

2011

Declarative Output by Ordering Text Pieces.

Stefan Brass

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

Implementation Alternatives for Bottom-Up Evaluation.

Stefan Brass

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2006

Semantic errors in SQL queries: A quite complete list.

Stefan Brass, Christian Goldberg

J. Syst. Softw., 2006

2005

Proving the Safety of SQL Queries.

Stefan Brass, Christian Goldberg

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

2004

Super logic programs.

Stefan Brass, Jürgen Dix, Teodor C. Przymusinski

ACM Trans. Comput. Log., 2004

Detecting Logical Errors in SQL Queries.

Stefan Brass, Christian Goldberg

Proceedings of the Tagungsband zum 16. GI-Workshop Grundlagen von Datenbanken, 2004

2003

Eine auf Datalog basierende XML-Anfragesprache.

Stefan Brass

Proceedings of the Tagungsband zum 15. GI-Workshop Grundlagen von Datenbanken, 2003

2002

Semantic Errors in SQL.

Stefan Brass

Proceedings of the Tagungsband zum 14. GI-Workshop Grundlagen von Datenbanken, 2002

2001

Transformation-based bottom-up computation of the well-founded model.

Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski

Theory Pract. Log. Program., 2001

On the equivalence of the static and disjunctive well-founded semantics and its computation.

Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski

Theor. Comput. Sci., 2001

2000

SLDMagic - The Real Magic (With Applications to Web Queries).

Stefan Brass

Proceedings of the Computational Logic, 2000

1999

Semantics of (disjunctive) Logic Programs Based on Partial Evaluation.

Stefan Brass, Jürgen Dix

J. Log. Program., 1999

Computation of the Semantics of Autoepistemic Belief Theories.

Stefan Brass, Jürgen Dix, Teodor C. Przymusinski

Artif. Intell., 1999

1998

Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA.

Stefan Brass, Jürgen Dix

J. Autom. Reason., 1998

A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.

Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997

Characterizations of the Disjunctive Stable Semantics by Partial Evaluation.

Stefan Brass, Jürgen Dix

J. Log. Program., 1997

Improving the Alternating Fixpoint: The Transformation Approach.

Ulrich Zukowski, Burkhard Freitag, Stefan Brass

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Differential Bottom-Up Computation of the Well-Founded Semantics.

Ulrich Zukowski, Burkhard Freitag, Stefan Brass

Proceedings of the Logic Programming, 1997

Querying Semistructured Data and the WWW.

Stefan Brass

Proceedings of the Kurzfassungen 9. Workshop Grundlage von Datenbanken, 1997

1996

Transformation-Based Bottom-Up Computation of the Well-Founded Model.

Stefan Brass, Ulrich Zukowski, Burkhard Freitag

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Characterizing D-WFS: Confluence and Iterated GCWA.

Stefan Brass, Jürgen Dix

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

SDLMagic - An Improved Magic Set Technique.

Stefan Brass

Proceedings of the Kurzfassungen 8. Workshop Grundlage von Datenbanken, 1996

SLDMagic - An Improved Magic Set Technique.

Stefan Brass

Proceedings of the Third International Workshop on Advances in Databases and Information Systems, 1996

1995

Characterizations of the Stable Semantics by Partial Evaluation.

Stefan Brass, Jürgen Dix

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.

Stefan Brass, Jürgen Dix

Proceedings of the Logic Programming, 1995

Ein Informationssystem zur Förderung der Kommunikation im Arbeitskreis.

Stefan Brass

Proceedings of the Kurzfassungen 7. Workshop Grundlagen von Datenbanken, 1995

Magic Sets vs. SLD-Resolution.

Stefan Brass

Proceedings of the Advances in Databases and Information Systems, 1995

1994

Modular Specifications with Supernormal Defaults.

Stefan Brass

Ann. Math. Artif. Intell., 1994

A Characterization of the Stable Semantics by Partial Evaluation.

Stefan Brass, Jürgen Dix

Proceedings of the Tenth Logic Programming Workshop, 1994

A general Approach to Bottom-Up Computation of Disjunctive Semantics.

Stefan Brass, Jürgen Dix

Proceedings of the Non-Monotonic Extensions of Logic Programming (NMELP'94), 1994

Object-Oriented System Specification Using Defaults.

Udo W. Lipeck, Stefan Brass

Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994

Computing Disjunctive Stable Semantics Based on Clark's Completed Database.

Stefan Brass, Jürgen Dix

Proceedings of the Kurzfassungen 6. Workshop Grundlagen von Datenbanken, 1994

A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation.

Stefan Brass, Jürgen Dix

Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases.

Stefan Brass

Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

1993

On the Semantics of Supernormal Defaults.

Stefan Brass

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Bottom-Up Query Evaluation with Partially Ordered Defaults.

Stefan Brass, Udo W. Lipeck

Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993

1992

Defaults in deduktiven Datenbanken (Zusammenfassung).

Stefan Brass

Datenbank Rundbr., 1992

Generalized Bottom-Up Query Evaluation.

Stefan Brass, Udo W. Lipeck

Proceedings of the Advances in Database Technology, 1992

Defaults in deduktiven Datenbanken.

Stefan Brass

PhD thesis, 1992

1991

Deduction with Supernormal Defaults.

Stefan Brass

Proceedings of the Nonmonotonic and Inductive Logic, 1991

Zur Semantik von Vererbung in logischen Objektspezifikationen.

Stefan Brass, Udo W. Lipeck

Proceedings of the Kurzfassungen des 3. GI-Workshops "Grundlagen von Datenbanken", 1991

Semantice of Inheritance in Logical Object Specifications.

Stefan Brass, Udo W. Lipeck

Proceedings of the Deductive and Object-Oriented Databases, 1991

1990

Beginnings of a Theory of General Database Completions.

Stefan Brass

Proceedings of the ICDT'90, 1990

Allgemeine Vervollständigung beim Entwurf von Logik-Datenbanken.

Stefan Brass

Proceedings of the Kurzfassungen des 2. Workshops "Grundlagen von Datenbanken", 1990

1989

Specifying Closed World Assumptions for Logic Databases.

Stefan Brass, Udo W. Lipeck

Proceedings of the MFDBS 89, 1989

Spezifikation von Annahmen der geschlossenen Welt (CWAs).

Stefan Brass

Proceedings of the Workshop Grundlagen von Datenbanken, 1989