Search the dblp DataBase
Jürgen Müller :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jürgen Müller , Franz Baader , Bernhard Nebel , Werner Nutt , Gert Smolka Tutorial on Reasoning and Representation with Concept Languages. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:681- [Conf ] Andreas Gehmeyr , Jürgen Müller , Albert Schappert Mobile Information Agents on the Web. [Citation Graph (0, 0)][DBLP ] CIA, 1998, pp:262-277 [Conf ] Franz Baader , Hans-Jürgen Bürckert , Jochen Heinsohn , Bernhard Hollunder , Jürgen Müller , Bernhard Nebel , Werner Nutt , Hans-Jürgen Profitlich Terminological Knowledge Representation: A Proposal for a Terminological Logic. [Citation Graph (0, 0)][DBLP ] Description Logics, 1991, pp:120-128 [Conf ] Stefan Bussmann , Jürgen Müller Bargaining Agents. [Citation Graph (0, 0)][DBLP ] EPIA, 1993, pp:359- [Conf ] Norbert Kuhn , Jürgen Müller Multiagentenkoordination durch Marktmechanismen. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1993, pp:509-514 [Conf ] Jürgen Müller The 5-Modular Decomposition Matrix of the Sporadic Simple Conway Group Co 3 . [Citation Graph (0, 0)][DBLP ] ISSAC, 1998, pp:179-185 [Conf ] Jörg Denzinger , Jürgen Müller EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. [Citation Graph (0, 0)][DBLP ] GWAI, 1989, pp:92-101 [Conf ] Jürgen Müller THEOPOGLES - A Theorem Prover Based on First-Order Polynominals and a Special Knuth-Bendix Procedure. [Citation Graph (0, 0)][DBLP ] GWAI, 1987, pp:241-250 [Conf ] Jürgen Müller , Joachim Steinbach Topologische Multisetordnungen. [Citation Graph (0, 0)][DBLP ] GWAI, 1986, pp:254-264 [Conf ] Jürgen Müller , Rolf Socher-Ambrosius On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. [Citation Graph (0, 0)][DBLP ] GWAI, 1988, pp:169-178 [Conf ] Jürgen Müller , Rolf Socher-Ambrosius A Resolution Calculus Extende by Equivalence. [Citation Graph (0, 0)][DBLP ] GWAI, 1989, pp:102-106 [Conf ] Jürgen Müller , Elvira Wagner Effiziente Reduktionsstrategien in Termersetzunssystemen. [Citation Graph (0, 0)][DBLP ] GWAI, 1986, pp:242-253 [Conf ] Klaus Fischer , Norbert Kuhn , Jürgen Müller , Jörg P. Müller , Markus Pischel Sophisticated and Distributed: The Transporation Domain. [Citation Graph (0, 0)][DBLP ] MAAMAW, 1993, pp:122-138 [Conf ] Sven Behnke , Jürgen Müller , Michael Schreiber Toni: A Soccer Playing Humanoid Robot. [Citation Graph (0, 0)][DBLP ] RoboCup, 2005, pp:59-70 [Conf ] Sven Behnke , Jürgen Müller , Michael Schreiber Playing Soccer with RoboSapien. [Citation Graph (0, 0)][DBLP ] RoboCup, 2005, pp:36-48 [Conf ] Jürgen Avenhaus , Jörg Denzinger , Jürgen Müller THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques. [Citation Graph (0, 0)][DBLP ] RTA, 1989, pp:538-541 [Conf ] Annegret Habel , Jürgen Müller , Detlef Plump Double-Pushout Approach with Injective Matching. [Citation Graph (0, 0)][DBLP ] TAGT, 1998, pp:103-116 [Conf ] Jürgen Müller , Jörg H. Siekmann Structured Social Agents. [Citation Graph (0, 0)][DBLP ] Wissensbasierte Systeme, 1991, pp:42-52 [Conf ] Jürgen Müller , Matthias Handy RFID als Technik des Ubiquitous Computing - Eine Gefahr für die Privatsphäre? [Citation Graph (0, 0)][DBLP ] Wirtschaftsinformatik, 2005, pp:1145-1164 [Conf ] Jürgen Müller Staatliche Überwachung privater Konten - Ein Erfolg für den Datenschutz? - Die neue Regelung im Kreditwesengesetz. [Citation Graph (0, 0)][DBLP ] Datenschutz und Datensicherheit, 2002, v:26, n:10, pp:- [Journal ] Wolfgang Luh , Valeri A. Martirosian , Jürgen Müller Restricted T-Universal Functions. [Citation Graph (0, 0)][DBLP ] Journal of Approximation Theory, 2002, v:114, n:2, pp:201-213 [Journal ] Jürgen Müller On a remarkable partition identity. [Citation Graph (0, 0)][DBLP ] J. Comb. Theory, Ser. A, 2003, v:101, n:2, pp:271-280 [Journal ] Gerhard Hiss , Klaus Lux , Jürgen Müller The 2-Modular Decomposition Matrices of the Non-Principal Blocks of Maximal Defect of the Triple Cover of the Sporadic Simple McLaughlin Group. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1995, v:19, n:6, pp:585-600 [Journal ] Klaus Lux , Jürgen Müller , Michael Ringe Peakword Condensation and Submodule Lattices: An Application of the Meat-Axe. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1994, v:17, n:6, pp:529-544 [Journal ] Jürgen Müller Die VKI Landkarte. [Citation Graph (0, 0)][DBLP ] KI, 1992, v:6, n:1, pp:57-58 [Journal ] Jürgen Müller , Rolf Socher-Ambrosius Workshop on Automated Reasoning. [Citation Graph (0, 0)][DBLP ] KI, 1989, v:3, n:4, pp:20-21 [Journal ] Hannes Gutzer , Jürgen Müller Die Briefträger auf der Datenautobahn - Postversand ohne Briefmarke (Teil 1). [Citation Graph (0, 0)][DBLP ] LOG IN, 1996, v:16, n:5/6, pp:70-0 [Journal ] Hannes Gutzer , Jürgen Müller Die Briefträger auf der Datenbank - Postversand ohne Briefmarken (Teil 2). [Citation Graph (0, 0)][DBLP ] LOG IN, 1997, v:17, n:1, pp:47-0 [Journal ] Jürgen Müller Aktuelles Lexikon: IRC. [Citation Graph (0, 0)][DBLP ] LOG IN, 1996, v:16, n:5/6, pp:102-0 [Journal ] Jürgen Müller Aktuelles Lexikon: Open GL. [Citation Graph (0, 0)][DBLP ] LOG IN, 1997, v:17, n:1, pp:70-0 [Journal ] Jürgen Müller Aktuelles Lexikon: VRML. [Citation Graph (0, 0)][DBLP ] LOG IN, 1997, v:17, n:2, pp:61-0 [Journal ] Jürgen Müller Online: Aus EUnet wurde UUNET. [Citation Graph (0, 0)][DBLP ] LOG IN, 1997, v:17, n:3/4, pp:106-0 [Journal ] Jürgen Müller Suchwerkzeuge. [Citation Graph (0, 0)][DBLP ] LOG IN, 1998, v:18, n:3/4, pp:10-0 [Journal ] Jürgen Müller Online-Konferenzen: Arbeiten mit MS-NetMeeting in LAN und Internet. [Citation Graph (0, 0)][DBLP ] LOG IN, 1999, v:19, n:3/4, pp:65-0 [Journal ] Jürgen Müller , Bernhard Koerber Online: "Schulen ans Netz" im FAMCOM. [Citation Graph (0, 0)][DBLP ] LOG IN, 1997, v:17, n:2, pp:66-0 [Journal ] Bernhard Koerber , Jürgen Müller Online: Spezielle Bildungsserver. [Citation Graph (0, 0)][DBLP ] LOG IN, 1996, v:16, n:5/6, pp:106-0 [Journal ] Jürgen Müller Software-Test: Informationsverwaltung mit askSam. [Citation Graph (0, 0)][DBLP ] LOG IN, 1996, v:16, n:4, pp:64-0 [Journal ] Jürgen Müller Dynamische und interaktive Erweiterungen im WWW. [Citation Graph (0, 0)][DBLP ] LOG IN, 2000, v:20, n:1, pp:19-0 [Journal ] Jürgen Müller Akzeptanz von E-Learning. [Citation Graph (0, 0)][DBLP ] LOG IN, 2002, v:22, n:120, pp:- [Journal ] Jürgen Müller Aktuelles Lexikon: HTML und SGML. [Citation Graph (0, 0)][DBLP ] LOG IN, 1996, v:16, n:2, pp:63-0 [Journal ] Jürgen Müller Online: Medizin im WWW. [Citation Graph (0, 0)][DBLP ] LOG IN, 1996, v:16, n:2, pp:69-0 [Journal ] Jürgen Müller Flowlearn. [Citation Graph (0, 0)][DBLP ] LOG IN, 1996, v:16, n:3, pp:72-0 [Journal ] Jürgen Müller Software-Werkzeuge zur Unterrichtsvorbereitung. [Citation Graph (0, 0)][DBLP ] LOG IN, 1996, v:16, n:4, pp:10-0 [Journal ] Jürgen Müller Aktuelles Lexikon: SLIP und PPP. [Citation Graph (0, 0)][DBLP ] LOG IN, 1996, v:16, n:4, pp:62-0 [Journal ] Jürgen Müller Accelerated polynomial approximation of finite order entire functions by growth reduction. [Citation Graph (0, 0)][DBLP ] Math. Comput., 1997, v:66, n:218, pp:743-761 [Journal ] Annegret Habel , Jürgen Müller , Detlef Plump Double-pushout graph transformation revisited. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2001, v:11, n:5, pp:637-688 [Journal ] Nils Goerke , Timo Henne , Jürgen Müller Neural networks for the EMOBOT robot control architecture. [Citation Graph (0, 0)][DBLP ] Neural Computing and Applications, 2004, v:13, n:4, pp:299-308 [Journal ] Lessons Learned beim Übergang von Funktionsmodellierung mit Verhaltensmodellen zu Modellbasierter Software-Entwicklung mit Implementierungsmodellen. [Citation Graph (, )][DBLP ] Computus - Der Weg eines Begriffs durch die Geschichte. [Citation Graph (, )][DBLP ] Grenzen der datenschutzrechtlichen Verantwortlichkeit in einer Welt des "Ubiquitous Computing". [Citation Graph (, )][DBLP ] Search in 0.135secs, Finished in 0.137secs