François Bry-Haußer
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
139 | EE | Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel: Semantische Wikis. Social Semantic Web 2009: 245-258 |
138 | EE | Michael Eckert, François Bry: Complex Event Processing (CEP). Informatik Spektrum 32(2): 163-167 (2009) |
2008 | ||
137 | EE | François Bry, Michael Eckert: On static determination of temporal relevance for incremental evaluation of complex event queries. DEBS 2008: 289-300 |
136 | EE | François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, Marc Weinberger: The Facility Control Markup Language FCML. ICDS 2008: 117-122 |
135 | EE | François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette: Taming Existence in RDF Querying. RR 2008: 236-237 |
134 | EE | François Bry, Tim Furche, Benedikt Linse: Simulation Subsumption or Déjà vu on the Web. RR 2008: 28-42 |
133 | EE | Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel: Semantic Wikis. IEEE Software 25(4): 8-11 (2008) |
2007 | ||
132 | EE | François Bry, Michael Eckert: Temporal order optimizations of incremental joins for composite event detection. DEBS 2007: 85-90 |
131 | EE | François Bry, Michael Eckert: Twelve Theses on Reactive Rules for the Web. Event Processing 2007 |
130 | EE | François Bry, Michael Eckert, Hendrik Grallert, Paula-Lavinia Patranjan: Evolution of Distributed Web Data: An Application of the Reactive Language XChange. ICDE 2007: 1517-1518 |
129 | EE | Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Jendrik Johannes: Modular Web Queries - From Rules to Stores. OTM Workshops (2) 2007: 1165-1175 |
128 | EE | François Bry, Michael Eckert: Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics. RR 2007: 16-30 |
127 | EE | Sacha Berger, François Bry, Tim Furche, Andreas J. Häusler: Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints. RR 2007: 319-328 |
126 | EE | François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei: Foundations of Rule-Based Query Answering. Reasoning Web 2007: 1-153 |
125 | EE | Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, Paula-Lavinia Patranjan: Reactive Rules on the Web. Reasoning Web 2007: 183-239 |
124 | EE | Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Paula-Lavinia Patranjan: A Generic Module System for Web Rule Languages: Divide and Rule. RuleML 2007: 63-77 |
123 | EE | Sacha Berger, François Bry, Tim Furche, Christoph Wieser: Visual Languages: A Matter of Style. VLL 2007: 85-96 |
122 | EE | Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel: Semantic Wiki. Informatik Spektrum 30(6): 434-439 (2007) |
2006 | ||
121 | François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach: Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 | |
120 | Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler: Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures Springer 2006 | |
119 | EE | François Bry, Michael Eckert, Paula-Lavinia Patranjan: Querying Composite Events for Reactivity on the Web. APWeb Workshops 2006: 38-47 |
118 | EE | François Bry, Michael Eckert: Twelve Theses on Reactive Rules for the Web. EDBT Workshops 2006: 842-854 |
117 | EE | François Bry: Thesen über Regelsprachen für das Semantische Web. Grundlagen von Datenbanken 2006: 11 |
116 | EE | Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder: Vorführung von Xcerpt und visXcerpt, Anfragesprachen für das Web. Grundlagen von Datenbanken 2006: 12 |
115 | Sacha Berger, François Bry, Tim Furche: Xcerpt and visXcerpt: IntegratingWeb Querying. PLAN-X 2006: 84 | |
114 | EE | François Bry, Tim Furche, Benedikt Linse: AMa chioS - Abstract Machine for Xcerpt: Architecture and Principles. PPSWR 2006: 105-119 |
113 | EE | Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder: Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt. PPSWR 2006: 219-224 |
112 | EE | François Bry, Christoph Wieser: Web Queries with Style: Rendering Xcerpt Programs with CSSNG. PPSWR 2006: 225-236 |
111 | EE | François Bry, Michael Eckert, Paula-Lavinia Patranjan, Inna Romanenko: Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits. PPSWR 2006: 48-62 |
110 | EE | François Bry, Tim Furche, Benedikt Linse: Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt. PPSWR 2006: 90-104 |
109 | EE | Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, Georg Gottlob: RDF Querying: Language Constructs and Evaluation Methods Compared. Reasoning Web 2006: 1-52 |
108 | EE | François Bry, Michael Eckert: A High-Level Query Language for Events. SCW 2006: 31-38 |
107 | EE | François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder: Efficient evaluation of n-ary conjunctive queries over trees and graphs. WIDM 2006: 11-18 |
106 | EE | Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder: Beyond XML and RDF: The Versatile Web Query Language Xcerpt. WWW 2006: 1053-1054 |
105 | François Bry, Michael Eckert, Paula-Lavinia Patranjan: Reactivity on the Web: Paradigms and Applications of the Language XChange. J. Web Eng. 5(1): 3-24 (2006) | |
2005 | ||
104 | EE | Erich Schubert, Sebastian Schaffert, François Bry: Structure-Preserving Difference Search for XML Documents. Extreme Markup Languages® 2005 |
103 | EE | Sacha Berger, François Bry: Towards static type checking of Web query language. Grundlagen von Datenbanken 2005: 28-32 |
102 | EE | François Bry, Takashi Hattori, Kaoru Hiramatsu, Takeshi Okadome, Christoph Wieser, Tatsumi Yamada: Context Modeling in OWL for Smart Building Services. Grundlagen von Datenbanken 2005: 38-42 |
101 | EE | Tim Furche, François Bry, Oliver Bolzer: XML Perspectives on RDF Querying: Towards integrated Access to Data and Metadata on the Web. Grundlagen von Datenbanken 2005: 43-47 |
100 | EE | François Bry, Michael Eckert: Processing link structures and linkbases in the web's open world linking. Hypertext 2005: 135-144 |
99 | EE | François Bry, Fatih Coskun, Serap Durmaz, Tim Furche, Dan Olteanu, Markus Spannagel: The XML Stream Query Processor SPEX. ICDE 2005: 1120-1121 |
98 | Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig: Paraconsistent Reasoning for the Semantic Web. ISWC-URSW 2005: 104-105 | |
97 | EE | François Bry, Bernhard Lorenz, Stephanie Spranger: Calendars and Topologies as Types. KES (4) 2005: 352-358 |
96 | EE | François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner: A Geospatial World Model for the Semantic Web. PPSWR 2005: 145-159 |
95 | EE | François Bry, Massimo Marchiori: Ten Theses on Logic Languages for the Semantic Web. PPSWR 2005: 42-49 |
94 | EE | Tim Furche, François Bry, Oliver Bolzer: Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying. PPSWR 2005: 72-84 |
93 | EE | François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach: 05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. Principles and Practices of Semantic Web Reasoning 2005 |
92 | EE | James Bailey, François Bry, Tim Furche, Sebastian Schaffert: Web and Semantic Web Query Languages: A Survey. Reasoning Web 2005: 35-133 |
91 | EE | François Bry, Massimo Marchiori: Ten Theses on Logic Languages for the Semantic Web. Rule Languages for Interoperability 2005 |
90 | EE | James Bailey, François Bry, Michael Eckert, Paula-Lavinia Patranjan: Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web. RuleML 2005: 187-192 |
89 | EE | François Bry, Paula-Lavinia Patranjan: Reactivity on the web: paradigms and applications of the language XChange. SAC 2005: 1645-1649 |
88 | EE | François Bry, Frank-André Rieß, Stephanie Spranger: CaTTS: calendar types and constraints for Web applications. WWW 2005: 702-711 |
87 | EE | François Bry, Michael Eckert: Processing link structures and linkbases on the web. WWW (Special interest tracks and posters) 2005: 1030-1031 |
86 | EE | James Bailey, François Bry, Paula-Lavinia Patranjan: Composite event queries for reactivity on the web. WWW (Special interest tracks and posters) 2005: 1082-1083 |
85 | EE | François Bry, Nicola Henze: Personalisierung. Informatik Spektrum 28(3): 230-233 (2005) |
84 | François Bry, Christoph Koch, Tim Furche, Sebastian Schaffert, Liviu Badea, Sacha Berger: Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages. Int. J. Semantic Web Inf. Syst. 1(2): 1-21 (2005) | |
83 | EE | Holger Meuss, Klaus U. Schulz, Felix Weigel, Simone Leonardi, François Bry: Visual exploration and retrieval of XML document collections with the generic system X2. Int. J. on Digital Libraries 5(1): 3-17 (2005) |
2004 | ||
82 | EE | Dan Olteanu, Tim Furche, François Bry: Evaluating Complex Queries Against XML Streams with Polynomial Combined Complexity. BNCOD 2004: 31-44 |
81 | EE | Felix Weigel, Holger Meuss, François Bry, Klaus U. Schulz: Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data. ECIR 2004: 378-393 |
80 | EE | Sacha Berger, François Bry, Christoph Wieser: Visual Querying for the Semantic Web. ER 2004: 852-853 |
79 | Sacha Berger, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Paula-Lavinia Patranjan, Sebastian Schaffert, Uta Schwertel, Stephanie Spranger: Reasoning on the Web: Language Prototypes and Perspectives. EWIMT 2004 | |
78 | EE | Sebastian Schaffert, François Bry: Querying the Web Reconsidered: A Practical Introduction to Xcerpt. Extreme Markup Languages® 2004 |
77 | François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert: Xcerpt and XChange: Deductive Languages for Data Retrieval and Evolution on the Web. GI Jahrestagung (2) 2004: 562-568 | |
76 | Sacha Berger, François Bry, Sebastian Schaffert: Xcerpt und visXcerpt: deduktive Anfragesprachen für das Web. Grundlagen von Datenbanken 2004: 18-22 | |
75 | EE | François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert: Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web. ICLP 2004: 450-451 |
74 | EE | François Bry, Sebastian Schaffert, Andreas Schroeder: A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language. INAP/WLP 2004: 258-268 |
73 | Sacha Berger, François Bry, Sebastian Schaffert: Xcerpt et visXcerpt : langages déductifs d'interrogation du Web. JFPLC 2004 | |
72 | EE | François Bry, Wlodzimierz Drabent, Jan Maluszynski: On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR 2004: 1-18 |
71 | EE | François Bry, Stephanie Spranger: Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages. PPSWR 2004: 102-117 |
70 | EE | Wolfgang May, José Júlio Alferes, François Bry: Towards Generic Query, Update, and Event Languages for the Semantic Web. PPSWR 2004: 19-33 |
69 | EE | François Bry, Tim Furche, Paula-Lavinia Patranjan, Sebastian Schaffert: Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach. PPSWR 2004: 34-49 |
68 | EE | Dan Olteanu, Tim Furche, François Bry: An efficient single-pass query evaluator for XML data streams. SAC 2004: 627-631 |
67 | EE | Felix Weigel, Holger Meuss, Klaus U. Schulz, François Bry: Content and Structure in Indexing and Ranking XML. WebDB 2004: 67-72 |
66 | EE | François Bry, Tim Furche, Dan Olteanu: Datenströme. Informatik Spektrum 27(2): 168-171 (2004) |
65 | EE | François Bry, Wolfgang E. Nagel, Michael Schroeder: Grid-Computing. Informatik Spektrum 27(6): 542-545 (2004) |
2003 | ||
64 | François Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop: Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003 CEUR-WS.org 2003 | |
63 | François Bry, Nicola Henze, Jan Maluszynski: Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings Springer 2003 | |
62 | EE | François Bry, Peer Kröger: Bioinformatics Databases: State of the Art and Research Perspectives. ADBIS 2003: 3 |
61 | EE | Dan Olteanu, Tobias Kiesling, François Bry: An Evaluation of Regular Path Expressions with Qualifiers against XML Streams. ICDE 2003: 702-704 |
60 | EE | Holger Meuss, Klaus U. Schulz, François Bry: Visual Querying and Exploration of Large Answers in XML Databases with X2. ICDE 2003: 777-779 |
59 | François Bry, Norbert Eisinger, Georg Schneemayer: Web Services for Teaching: A Case Study. ICWS 2003: 402-408 | |
58 | EE | Michael Kraus, François Bry, Kazuhiro Kitagawa: XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages. PPSWR 2003: 113-127 |
57 | EE | François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger: On Reasoning on Time and Location on the Web. PPSWR 2003: 69-83 |
56 | EE | Sacha Berger, François Bry, Sebastian Schaffert: A Visual Language for Web Querying and Reasoning. PPSWR 2003: 99-112 |
55 | EE | François Bry, Sebastian Schaffert: An Entailment Relation for Reasoning on the Web. RuleML 2003: 17-34 |
54 | EE | Sacha Berger, François Bry, Sebastian Schaffert, Christoph Wieser: Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data. VLDB 2003: 1053-1056 |
53 | François Bry, Peer Kröger: A Computational Biology Database Digest: Data, Data Analysis, and Data Management. Distributed and Parallel Databases 13(1): 7-42 (2003) | |
2002 | ||
52 | EE | François Bry, Michael Kraus: Adaptive Hypermedia Made Simple with HTML/XML Style Sheet Selectors. AH 2002: 472-475 |
51 | EE | Dan Olteanu, Holger Meuss, Tim Furche, François Bry: XPath: Looking Forward. EDBT Workshops 2002: 109-127 |
50 | EE | François Bry, Sebastian Schaffert: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. ICLP 2002: 255-270 |
49 | EE | François Bry: An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. Paraconsistent Computational Logic 2002: 119-134 |
48 | EE | Sebastian Schaffert, François Bry: A gentle introduction to Xcerpt, a rule-based query and transformation language for XML. RuleML 2002 |
47 | EE | François Bry, Michael Kraus: Advanced modeling and browsing of technical documents. SAC 2002: 520-524 |
46 | EE | François Bry, Sebastian Schaffert: The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. Web, Web-Services, and Database Systems 2002: 295-310 |
45 | EE | François Bry, Peer Kröger: Datenbanken in der Bioinformatik. Informatik Spektrum 25(5): 359-362 (2002) |
2001 | ||
44 | François Bry, Dan Olteanu, Sebastian Schaffert: Towards Grouping Constructs for Semistructured Data. DEXA Workshop 2001: 66-70 | |
43 | EE | Holger Meuss, Klaus U. Schulz, François Bry: Towards Aggregated Answers for Semistructured Data. ICDT 2001: 346-360 |
42 | EE | François Bry, Michael Kraus, Dan Olteanu, Sebastian Schaffert: Semistrukturierte Daten - Aktuelles Schlagwort. Informatik Spektrum 24(4): 230-233 (2001) |
2000 | ||
41 | François Bry: Data Modeling with Markup Languages. 15. WLP 2000: 33-60 | |
40 | François Bry, Ulrich Geske, Dietmar Seipel: Preface. WLP 2000: 7 | |
39 | François Bry, Adnan H. Yahya: Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. J. Autom. Reasoning 25(1): 35-82 (2000) | |
1999 | ||
38 | François Bry, Sunna Torge: Solving Database Satisfiability Problems. Grundlagen von Datenbanken 1999: 122-126 | |
37 | EE | Rolf Backofen, François Bry, Peter Clote, Hans-Peter Kriegel, Thomas Seidl, Klaus U. Schulz: Bioinformatik - Aktuelles Schlagwort. Informatik Spektrum 22(5): 376-378 (1999) |
1998 | ||
36 | François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge: SIC: Satisfiability Checking for Integrity Constraints. DDLP 1998: 25-36 | |
35 | EE | François Bry, Sunna Torge: A Deduction Method Complete for Refutation and Finite Satisfiability. JELIA 1998: 122-138 |
1997 | ||
34 | François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao: Deductive and Object-Oriented Databases, 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997, Proceedings Springer 1997 | |
33 | François Bry: Query Answering in Information Systems with Integrity Constraints. IICIS 1997: 113-130 | |
1996 | ||
32 | François Bry: A Compositional Semantics for Logic Programs and Deductive Databases. JICSLP 1996: 453-467 | |
31 | François Bry, Adnan H. Yahya: Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. TABLEAUX 1996: 143-159 | |
30 | François Bry, Dietmar Seipel: Deduktive Datenbanken - das aktuelle Schlagwort. Informatik Spektrum 19(4): 214-215 (1996) | |
29 | François Bry, Rainer Manthey, Heribert Schütz: Deduktive Datenbanken. KI 10(3): 17-23 (1996) | |
1995 | ||
28 | Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler: The theorem prover SATCHMO : strategies, heuristics and applications. JFPLC 1995: 349- | |
27 | François Bry: Bases de données déductives. JFPLC 1995: 429 | |
26 | François Bry, Rainer Manthey: Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser. WLP 1995: 205-216 | |
1994 | ||
25 | François Bry: Disjunctive Logic Programming: What Applications Developers Need. GI Jahrestagung 1994: 74 | |
24 | François Bry: Logikprogrammierung ohne Modelltheorie? WLP 1994: 56 | |
1993 | ||
23 | François Bry: Neuvièmes Journées Bases de Données Avancées, 27-30 Septembre 1993, Toulouse (Informal Proceedings). INRIA 1993 | |
22 | François Bry: Towards Intelligent Databases. ISMIS 1993: 116-131 | |
21 | Harold Boley, François Bry, Ulrich Geske: Neuere Entwicklungen der deklarativen KI-Programmierung. KI 1993: 226-236 | |
1991 | ||
20 | François Bry, Rainer Manthey, Bern Martens: Integrity Verification in Knowledge Bases. RCLP 1991: 114-139 | |
1990 | ||
19 | François Bry: Upside-down deduction. BDA 1990: 91- | |
18 | François Bry: Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575 | |
17 | François Bry: Negation in Logic Programming: A Formalization in Constructive Logic. IS/KI 1990: 30-46 | |
16 | François Bry: Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled. Data Knowl. Eng. 5: 289-312 (1990) | |
1989 | ||
15 | François Bry: Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled. DOOD 1989: 25-44 | |
14 | EE | François Bry: Logical Rewritings for Improving the Evaluation of Quantified Queries. MFDBS 1989: 100-116 |
13 | EE | François Bry: Logic Programming as Constructivism: A Formalization and its Application to Databases. PODS 1989: 34-50 |
12 | EE | François Bry: Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. SIGMOD Conference 1989: 193-204 |
1988 | ||
11 | François Bry, Hendrik Decker: Préserver l'intégrité d'une base de données déductive: une méthode et son implementation. BDA 1988: 9-20 | |
10 | Rainer Manthey, François Bry: SATCHMO: A Theorem Prover Implemented in Prolog. CADE 1988: 415-434 | |
9 | EE | François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 |
1987 | ||
8 | François Bry, Rainer Manthey: Proving Finite Satisfiability of Deductive Databases. CSL 1987: 44-55 | |
7 | Rainer Manthey, François Bry: A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. GWAI 1987: 221-230 | |
1986 | ||
6 | François Bry, Rainer Manthey: Sur la validité des schémas de bases de données. BDA 1986: 89-108 | |
5 | EE | François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20 |
1983 | ||
4 | EE | François Bry: On the factorization of graphs with exactly one vertex of infinite degree. Discrete Mathematics 43(2-3): 317-320 (1983) |
3 | EE | François Bry: On the number of 1-factors of locally finite graphs. J. Comb. Theory, Ser. B 34(1): 48-57 (1983) |
1982 | ||
2 | François Bry, Michel Las Vergnas: The Edmonds - Gallai decomposition for matchings in locally finite graphs. Combinatorica 2(3): 229-235 (1982) | |
1981 | ||
1 | EE | François Bry: Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members. J. Comb. Theory, Ser. B 30(1): 100-102 (1981) |