François Bry
François Bry
Professor of Computer Science, Ludwig-Maximilian University of Munich
Verified email at lmu.de - Homepage
Title
Cited by
Cited by
Year
SATCHMO: a theorem prover implemented in Prolog
R Manthey, F Bry
International Conference on Automated Deduction, 415-434, 1988
4781988
XPath: looking forward
D Olteanu, H Meuss, T Furche, F Bry
International Conference on Extending Database Technology, 109-127, 2002
3182002
A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
F Bry, H Decker, R Manthey
International Conference on Extending Database Technology, 488-505, 1988
2301988
Query evaluation in recursive databases: bottom-up and top-down reconciled
F Bry
Data & Knowledge Engineering 5 (4), 289-312, 1990
1951990
Web and semantic web query languages: A survey
J Bailey, F Bry, T Furche, S Schaffert
Reasoning Web, 35-133, 2005
1482005
Intensional updates: Abduction via deduction
F Bry
Logic programming, 561-575, 1990
1471990
Semantic wiki
S Schaffert, F Bry, J Baumeister, M Kiesel
Informatik-Spektrum 30 (6), 434-439, 2007
1422007
Complex event processing (CEP)
M Eckert, F Bry
Informatik-Spektrum 32 (2), 163-167, 2009
1312009
Minimal model generation with positive unit hyper-resolution tableaux
F Bry, A Yahya
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996
1241996
Towards a declarative query and transformation language for XML and semistructured data: Simulation unification
F Bry, S Schaffert
International Conference on Logic Programming, 255-270, 2002
1212002
Logic programming as constructivism: A formalization and its application to databases
F Bry
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989
1121989
Reactivity on the Web: Paradigms and applications of the language XChange
F Bry, PL Pǎtrânjan
Proceedings of the 2005 ACM symposium on Applied computing, 1645-1649, 2005
1092005
Checking Consistency of Database Constraints
F Bry, R Manthey
Morgan Kaufman, 1986
1031986
Querying the Web Reconsidered: A Practical Introduction to Xcerpt.
S Schaffert, F Bry
Extreme Markup Languages®, 2004
1012004
Query answering in information systems with integrity constraints
F Bry
Working Conference on Integrity and Internal Control in Information Systems …, 1997
911997
Positive unit hyperresolution tableaux and their application to minimal model generation
F Bry, A Yahya
Journal of Automated Reasoning 25 (1), 35-82, 2000
872000
An evaluation of regular path expressions with qualifiers against XML streams
D Olteanu, T Kiesling, F Bry
Proceedings 19th International Conference on Data Engineering (Cat. No …, 2003
862003
Realizing business processes with ECA rules: Benefits, challenges, limits
F Bry, M Eckert, PL Pătrânjan, I Romanenko
International Workshop on Principles and Practice of Semantic Web Reasoning …, 2006
852006
A computational biology database digest: data, data analysis, and data management
F Bry, P Kröger
Distributed and Parallel Databases 13 (1), 7-42, 2003
822003
Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics
F Bry, M Eckert
International Conference on Web Reasoning and Rule Systems, 16-30, 2007
802007
The system can't perform the operation now. Try again later.
Articles 1–20