Home
Kooperationspartner
Transferstelle
Strukturdaten
Fakultäten

Ludwig-Maximilians-Universität München

François Bry


Anschrift:
Herr Prof. Dr. François Bry
Ludwig-Maximilians-Universität München
Fakultät für Mathematik, Informatik und Statistik
Institut für Informatik / Lehrstuhl für Programmier- und Modellierungssprachen
Straße:
Oettingenstr. 67
Ort:
80538 München
Tel.:
+49-89-2180-9310
Fax:
(089) 2178 2211
E-Mail:
Francois.Bry@informatik.uni-muenchen.de
Website:
www.pms.informatik.uni-muenchen.de

Leistungsprofil:
Praxisrelevante Forschungsgebiete:
  • Wissensrepräsentation und -verwaltung
  • Logikbasierte Wissensmodellierung
  • Markup-Sprachen und Semistrukturierte Datenmodellierung
  • Logik- und Constraint-Programmierung
  • Automatische Deduktion; Künstliche Intelligenz



Publikationen:
  • Bry, F.; Torge, S.; A dedukation method complete for refutation and finite satisfiability, Proc. 6th European workshop on logics in AI (JELIA), 1998
  • Bry, F.; Kettner, M.; Eisinger, N.; The tableau browser SNARKS (System description), Proc. 14th int. conf. on automated deduction (CADE), 1997
  • Bry, F.; Integrity and internal controls in information systems I - increasing the confidence in information systems, Query answering in information systems with integrity constraints, 1997
  • Bry, F.; Ramakrishnan, R.; Ramamohanarao, K.; Deductive and objekt-oriented databases, Proceedings, LNCS, 1997
  • Bry, F.; Schütz, H.; Geisler, T.; Efficient model generation through compilation, Journal of Information and Computation, 1997
  • Bry, F.; Yahya, A.; Minimal model generation with positive unit hyper-resolution tableaux, Proc. 5th workshop on theorem proving with analytic tableaux and related methods. LNAI, 1996
  • Weitere unter: http://www.pms.informatik.uni-muenchen.de/publikationen/


Kooperationsangebot für die Wirtschaft / Praxis:
Bevorzugte Form der Kooperation:
  • Beratung
  • Gutachten
  • FuE
  • Bachelor-/Master-/Diplomarbeit
  • Doktorarbeit
  • Personaltransfer
  • Bildung

Angebote der Zusammenarbeit:
  • mit Dienstleistungsunternehmen der Software-Branche im XML-Bereich
  • Unternehmen oder Behörden mit Planungsanwendungen (Transfer im Bereich Constraint-Programmierung)
  • Informationssysteme in Verwaltung und Behörden, Planung und Vorgangsablaufmodellierung in Industrie, Verwaltung und Behörden

Bestehende Kooperationen:
Mit Hochschulen:
Keio University, Tokyo

Mit anderen Institutionen:
W3C in Tokyo

Mit Unternehmen:
webXcerpt Software GmbH (http://www. webxcerpt.com/)

moresphy GmbH (http://www.moresophy.de)

Siemens AG (http://www.siemens.com/i250)



Zurück zur Liste
Falls dies ihr Profil ist, können Sie es hier nach dem Login bearbeiten.