default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefan Brass
Person information
- affiliation: Martin Luther University of Halle-Wittenberg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c54]Stefan Brass, Alexander Hinneburg:
Semantic Watermarks for Detecting Cheating in Online Database Exams. BTW 2023: 607-619- 2021
- [c53]Stefan Brass, Mario Wenzel:
Integrity Constraints for Microcontroller Programming in Datalog. ADBIS 2021: 152-166 - [c52]Stefan Brass:
Event-Based Microcontroller Programming in Datalog. RuleML+RR 2021: 80-94 - 2020
- [c51]Mario Wenzel, Stefan Brass:
Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines. LOPSTR 2020: 210-227
2010 – 2019
- 2019
- [c50]Stefan Brass, Mario Wenzel:
Performance Analysis and Comparison of Deductive Systems and SQL Databases. Datalog 2019: 27-38 - [c49]Mario Wenzel, Stefan Brass:
Declarative Programming for Microcontrollers - Datalog on Arduino. DECLARE 2019: 119-138 - [i6]Mario Wenzel, Stefan Brass:
Declarative Programming for Microcontrollers - Datalog on Arduino. CoRR abs/1909.00043 (2019) - 2018
- [c48]Stefan Brass, Mario Wenzel:
An Abstract Machine for Push Bottom-Up Evaluation of Datalog. DEXA (2) 2018: 270-280 - 2017
- [c47]Christiane Engels, Andreas Behrend, Stefan Brass:
A Declarative Approach to Analyzing Schema Objects and Functional Dependencies. ADBIS (Short Papers and Workshops) 2017: 73-81 - [c46]Stefan Brass:
Language Constructs for a Datalog Compiler. DEXA (1) 2017: 130-140 - [c45]Stefan Brass, Heike Stephan:
Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method. Ershov Informatics Conference 2017: 43-58 - [c44]Christiane Engels, Andreas Behrend, Stefan Brass:
A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. LOPSTR 2017: 20-36 - [c43]Stefan Brass, Heike Stephan:
Bottom-Up Evaluation of Datalog: Preliminary Report. WLP / WFLP 2017: 13-26 - [c42]Stefan Brass, Heike Stephan:
Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation. WLP / WFLP 2017: 57-72 - [i5]Christiane Engels, Andreas Behrend, Stefan Brass:
A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. CoRR abs/1709.05376 (2017) - 2015
- [c41]Stefan Brass:
A Framework for Goal-Directed Query Evaluation with Negation. LPNMR 2015: 151-157 - [e4]Stefan Brass, Johannes Waldmann:
Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014. CEUR Workshop Proceedings 1335, CEUR-WS.org 2015 [contents] - 2014
- [i4]Stefan Brass:
A Framework for Bottom-Up Simulation of SLD-Resolution. CoRR abs/1405.4021 (2014) - [i3]Heike Stephan, Stefan Brass:
A Variant of Earley Deduction With Partial Evaluation. CoRR abs/1405.5645 (2014) - 2013
- [c40]Stefan Brass, Heike Stephan:
A Variant of Earley Deduction with Partial Evaluation. RR 2013: 35-49 - 2012
- [c39]Stefan Brass:
Order in Datalog with Applications to Declarative Output. Datalog 2012: 56-67 - 2011
- [c38]Stefan Brass:
Declarative Output by Ordering Text Pieces. ICLP (Technical Communications) 2011: 151-161 - 2010
- [c37]Stefan Brass:
Implementation Alternatives for Bottom-Up Evaluation. ICLP (Technical Communications) 2010: 44-53
2000 – 2009
- 2006
- [j10]Stefan Brass, Christian Goldberg:
Semantic errors in SQL queries: A quite complete list. J. Syst. Softw. 79(5): 630-644 (2006) - [e3]Stefan Brass, Alexander Hinneburg:
Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), Wittenberg, Sachsen-Anhalt, Deutschland, 6.-9. Juni 2006. Institute of Computer Science, Martin-Luther-University 2006 [contents] - 2005
- [c36]Stefan Brass, Christian Goldberg:
Proving the Safety of SQL Queries. QSIC 2005: 197-204 - [e2]Stefan Brass, Christian Goldberg:
Tagungsband zum 17. GI-Workshop über Grundlagen von Datenbanken (17th GI-Workshop on the Foundations of Databases), Wörlitz, Sachsen-Anhalt, Deutschland, 17.-20. Mai 2005. Institute of Computer Science, Martin-Luther-University 2005 [contents] - 2004
- [j9]Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
Super logic programs. ACM Trans. Comput. Log. 5(1): 129-176 (2004) - [c35]Stefan Brass, Christian Goldberg:
Detecting Logical Errors in SQL Queries. Grundlagen von Datenbanken 2004: 28-32 - [c34]Christian Goldberg, Stefan Brass:
Semantic Errors in SQL Queries: A Quite Complete List. Grundlagen von Datenbanken 2004: 58-62 - [c33]Stefan Brass, Christian Goldberg:
Semantic Errors in SQL Queries: A Quite Complete List. QSIC 2004: 250-257 - 2003
- [c32]Stefan Brass:
Eine auf Datalog basierende XML-Anfragesprache. Grundlagen von Datenbanken 2003: 5-9 - 2002
- [c31]Stefan Brass:
Semantic Errors in SQL. Grundlagen von Datenbanken 2002 - 2001
- [j8]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): 523-553 (2001) - [j7]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): 497-538 (2001) - 2000
- [c30]Stefan Brass:
SLDMagic - The Real Magic (With Applications to Web Queries). Computational Logic 2000: 1063-1077 - [i2]Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
Super Logic Programs. CoRR cs.AI/0010032 (2000) - [i1]Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski:
Transformation-Based Bottom-Up Computation of the Well-Founded Model. CoRR cs.LO/0011013 (2000)
1990 – 1999
- 1999
- [j6]Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
Computation of the Semantics of Autoepistemic Belief Theories. Artif. Intell. 112(1-2): 233-250 (1999) - [j5]Stefan Brass, Jürgen Dix:
Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. J. Log. Program. 40(1): 1-46 (1999) - 1998
- [j4]Stefan Brass, Jürgen Dix:
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. J. Autom. Reason. 20(1): 143-165 (1998) - [c29]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: 74-85 - 1997
- [j3]Stefan Brass, Jürgen Dix:
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. J. Log. Program. 32(3): 207-228 (1997) - [c28]Stefan Brass:
Querying Semistructured Data and the WWW. Grundlagen von Datenbanken 1997: 1-5 - [c27]Ulrich Zukowski, Burkhard Freitag, Stefan Brass:
Differential Bottom-Up Computation of the Well-Founded Semantics. ICLP 1997: 421 - [c26]Ulrich Zukowski, Burkhard Freitag, Stefan Brass:
Improving the Alternating Fixpoint: The Transformation Approach. LPNMR 1997: 4-59 - 1996
- [c25]Stefan Brass:
SLDMagic - An Improved Magic Set Technique. ADBIS 1996: 75-83 - [c24]Stefan Brass:
SDLMagic - An Improved Magic Set Technique. Grundlagen von Datenbanken 1996: 1-5 - [c23]Stefan Brass, Jürgen Dix:
Characterizing D-WFS: Confluence and Iterated GCWA. JELIA 1996: 268-283 - [c22]Stefan Brass, Jürgen Dix, Teodor C. Przymusinski:
Super Logic Programs. KR 1996: 529-540 - [c21]Stefan Brass, Ulrich Zukowski, Burkhard Freitag:
Transformation-Based Bottom-Up Computation of the Well-Founded Model. NMELP 1996: 171-201 - 1995
- [c20]Stefan Brass:
Magic Sets vs. SLD-Resolution. ADBIS 1995: 185-203 - [c19]Stefan Brass:
Ein Informationssystem zur Förderung der Kommunikation im Arbeitskreis. Grundlagen von Datenbanken 1995: 30-33 - [c18]Stefan Brass, Jürgen Dix:
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. ICLP 1995: 199-213 - [c17]Stefan Brass, Jürgen Dix:
Characterizations of the Stable Semantics by Partial Evaluation. LPNMR 1995: 85-98 - 1994
- [j2]Stefan Brass:
Modular Specifications with Supernormal Defaults. Ann. Math. Artif. Intell. 12(3-4): 189-213 (1994) - [c16]Stefan Brass:
Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases. GI Jahrestagung 1994: 75-82 - [c15]Stefan Brass, Jürgen Dix:
A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation. GI Jahrestagung 1994: 83-91 - [c14]Stefan Brass, Jürgen Dix:
Computing Disjunctive Stable Semantics Based on Clark's Completed Database. Grundlagen von Datenbanken 1994: 30-34 - [c13]Udo W. Lipeck, Stefan Brass:
Object-Oriented System Specification Using Defaults. IS/KI 1994: 22-43 - [c12]Stefan Brass, Jürgen Dix:
A general Approach to Bottom-Up Computation of Disjunctive Semantics. NMELP 1994: 127-155 - [c11]Stefan Brass, Jürgen Dix:
A Characterization of the Stable Semantics by Partial Evaluation. WLP 1994: 81-84 - 1993
- [c10]Stefan Brass, Udo W. Lipeck:
Bottom-Up Query Evaluation with Partially Ordered Defaults. DOOD 1993: 253-266 - [c9]Stefan Brass:
On the Semantics of Supernormal Defaults. IJCAI 1993: 578-583 - 1992
- [b1]Stefan Brass:
Defaults in deduktiven Datenbanken. University of Hanover, Hannover, Germany, 1992, pp. I-VI, 1-197 - [j1]Stefan Brass:
Defaults in deduktiven Datenbanken (Zusammenfassung). Datenbank Rundbr. 10: 50 (1992) - [c8]Stefan Brass, Udo W. Lipeck:
Generalized Bottom-Up Query Evaluation. EDBT 1992: 88-103 - 1991
- [c7]Stefan Brass, Udo W. Lipeck:
Semantice of Inheritance in Logical Object Specifications. DOOD 1991: 411-430 - [c6]Stefan Brass, Udo W. Lipeck:
Zur Semantik von Vererbung in logischen Objektspezifikationen. Grundlagen von Datenbanken 1991: 11-15 - [c5]Stefan Brass:
Deduction with Supernormal Defaults. Nonmonotonic and Inductive Logic 1991: 153-174 - 1990
- [c4]Stefan Brass:
Allgemeine Vervollständigung beim Entwurf von Logik-Datenbanken. Grundlagen von Datenbanken 1990: 12-13 - [c3]Stefan Brass:
Beginnings of a Theory of General Database Completions. ICDT 1990: 349-363 - [e1]Udo W. Lipeck, Stefan Brass, Gunter Saake:
Kurzfassungen des 2. Workshops "Grundlagen von Datenbanken", Volkse, 5.-8. Juni 1990. Informatik-Berichte TU Braunschweig Ni. 90-02, TU Braunschweig 1990 [contents]
1980 – 1989
- 1989
- [c2]Stefan Brass:
Spezifikation von Annahmen der geschlossenen Welt (CWAs). Grundlagen von Datenbanken 1989 - [c1]Stefan Brass, Udo W. Lipeck:
Specifying Closed World Assumptions for Logic Databases. MFDBS 1989: 68-84
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-09 01:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
