dblp.uni-trier.dewww.uni-trier.de

Stefan Brass Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2006
50 Stefan Brass, Alexander Hinneburg: Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), Wittenberg, Sachsen-Anhalt, 6.-9. Juni 2006 Institute of Computer Science, Martin-Luther-University 2006
49EEStefan Brass, Christian Goldberg: Semantic errors in SQL queries: A quite complete list. Journal of Systems and Software 79(5): 630-644 (2006)
2005
48 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, 17.-20. Mai 2005 Institute of Computer Science, Martin-Luther-University 2005
47EEStefan Brass, Christian Goldberg: Proving the Safety of SQL Queries. QSIC 2005: 197-204
2004
46 Stefan Brass, Christian Goldberg: Detecting Logical Errors in SQL Queries. Grundlagen von Datenbanken 2004: 28-32
45EEChristian Goldberg, Stefan Brass: Semantic Errors in SQL Queries: A Quite Complete List. Grundlagen von Datenbanken 2004: 58-62
44EEStefan Brass, Christian Goldberg: Semantic Errors in SQL Queries: A Quite Complete List. QSIC 2004: 250-257
43EEStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super logic programs. ACM Trans. Comput. Log. 5(1): 129-176 (2004)
2003
42 Stefan Brass: Eine auf Datalog basierende XML-Anfragesprache. Grundlagen von Datenbanken 2003: 5-9
2002
41EEStefan Brass: Semantic Errors in SQL. Grundlagen von Datenbanken 2002
2001
40 Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski: Transformation-based bottom-up computation of the well-founded model. TPLP 1(5): 497-538 (2001)
39EEStefan 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)
2000
38EEStefan Brass: SLDMagic - The Real Magic (With Applications to Web Queries). Computational Logic 2000: 1063-1077
37EEStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs CoRR cs.AI/0010032: (2000)
36EEStefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski: Transformation-Based Bottom-Up Computation of the Well-Founded Model CoRR cs.LO/0011013: (2000)
1999
35EEStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Computation of the Semantics of Autoepistemic Belief Theories. Artif. Intell. 112(1-2): 233-250 (1999)
34 Stefan Brass, Jürgen Dix: Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. J. Log. Program. 40(1): 1-46 (1999)
1998
33 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
32 Stefan Brass, Jürgen Dix: Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. J. Autom. Reasoning 20(1): 143-165 (1998)
1997
31 Stefan Brass: Querying Semistructured Data and the WWW. Grundlagen von Datenbanken 1997: 1-5
30 Ulrich Zukowski, Burkhard Freitag, Stefan Brass: Differential Bottom-Up Computation of the Well-Founded Semantics. ICLP 1997: 421
29 Ulrich Zukowski, Burkhard Freitag, Stefan Brass: Improving the Alternating Fixpoint: The Transformation Approach. LPNMR 1997: 4-59
28 Stefan Brass, Jürgen Dix: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. J. Log. Program. 32(3): 207-228 (1997)
1996
27EEStefan Brass: SLDMagic - An Improved Magic Set Technique. ADBIS 1996: 75-83
26 Stefan Brass: SDLMagic - An Improved Magic Set Technique. Grundlagen von Datenbanken 1996: 1-5
25EEStefan Brass, Jürgen Dix: Characterizing D-WFS: Confluence and Iterated GCWA. JELIA 1996: 268-283
24 Stefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs. KR 1996: 529-540
23 Stefan Brass, Ulrich Zukowski, Burkhard Freitag: Transformation-Based Bottom-Up Computation of the Well-Founded Model. NMELP 1996: 171-201
1995
22EEStefan Brass: Magic Sets vs. SLD-Resolution. ADBIS 1995: 185-203
21 Stefan Brass: Ein Informationssystem zur Förderung der Kommunikation im Arbeitskreis. Grundlagen von Datenbanken 1995: 30-33
20 Stefan Brass, Jürgen Dix: Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. ICLP 1995: 199-213
19 Stefan Brass, Jürgen Dix: Characterizations of the Stable Semantics by Partial Evaluation. LPNMR 1995: 85-98
1994
18 Stefan Brass: Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases. GI Jahrestagung 1994: 75-82
17 Stefan Brass, Jürgen Dix: A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation. GI Jahrestagung 1994: 83-91
16 Stefan Brass, Jürgen Dix: Computing Disjunctive Stable Semantics Based on Clark's Completed Database. Grundlagen von Datenbanken 1994: 30-34
15EEUdo W. Lipeck, Stefan Brass: Object-Oriented System Specification Using Defaults. IS/KI 1994: 22-43
14 Stefan Brass, Jürgen Dix: A general Approach to Bottom-Up Computation of Disjunctive Semantics. NMELP 1994: 127-155
13 Stefan Brass, Jürgen Dix: A Characterization of the Stable Semantics by Partial Evaluation. WLP 1994: 81-84
12 Stefan Brass: Modular Specifications with Supernormal Defaults. Ann. Math. Artif. Intell. 12(3-4): 189-213 (1994)
1993
11EEStefan Brass, Udo W. Lipeck: Bottom-Up Query Evaluation with Partially Ordered Defaults. DOOD 1993: 253-266
10 Stefan Brass: On the Semantics of Supernormal Defaults. IJCAI 1993: 578-583
1992
9EEStefan Brass, Udo W. Lipeck: Generalized Bottom-Up Query Evaluation. EDBT 1992: 88-103
8 Stefan Brass: Defaults in deduktiven Datenbanken (Zusammenfassung). Datenbank Rundbrief 10: 50 (1992)
1991
7EEStefan Brass, Udo W. Lipeck: Semantice of Inheritance in Logical Object Specifications. DOOD 1991: 411-430
6 Stefan Brass, Udo W. Lipeck: Zur Semantik von Vererbung in logischen Objektspezifikationen. Grundlagen von Datenbanken 1991: 11-15
5 Stefan Brass: Deduction with Supernormal Defaults. Nonmonotonic and Inductive Logic 1991: 153-174
1990
4 Stefan Brass: Allgemeine Vervollständigung beim Entwurf von Logik-Datenbanken. Grundlagen von Datenbanken 1990: 12-13
3EEStefan Brass: Beginnings of a Theory of General Database Completions. ICDT 1990: 349-363
1989
2 Stefan Brass: Spezifikation von Annahmen der geschlossenen Welt (CWAs). Grundlagen von Datenbanken 1989
1EEStefan Brass, Udo W. Lipeck: Specifying Closed World Assumptions for Logic Databases. MFDBS 1989: 68-84

Coauthor Index

1Jürgen Dix [13] [14] [16] [17] [19] [20] [24] [25] [28] [32] [33] [34] [35] [36] [37] [39] [40] [43]
2Burkhard Freitag [23] [29] [30] [36] [40]
3Christian Goldberg [44] [45] [46] [47] [48] [49]
4Alexander Hinneburg [50]
5Udo W. Lipeck [1] [6] [7] [9] [11] [15]
6Ilkka Niemelä [33] [39]
7Teodor C. Przymusinski [24] [33] [35] [37] [39] [43]
8Ulrich Zukowski [23] [29] [30] [36] [40]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)