Stefan Brass - RankMe

75 papers A* 3A 1B 8C 5Misc 1Journal 16Unranked 36

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