The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jürgen Müller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Stefan Bussmann, Jürgen Müller
    Bargaining Agents. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:359- [Conf]
  5. Norbert Kuhn, Jürgen Müller
    Multiagentenkoordination durch Marktmechanismen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:509-514 [Conf]
  6. Jürgen Müller
    The 5-Modular Decomposition Matrix of the Sporadic Simple Conway Group Co3. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1998, pp:179-185 [Conf]
  7. 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]
  8. 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]
  9. Jürgen Müller, Joachim Steinbach
    Topologische Multisetordnungen. [Citation Graph (0, 0)][DBLP]
    GWAI, 1986, pp:254-264 [Conf]
  10. 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]
  11. Jürgen Müller, Rolf Socher-Ambrosius
    A Resolution Calculus Extende by Equivalence. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:102-106 [Conf]
  12. Jürgen Müller, Elvira Wagner
    Effiziente Reduktionsstrategien in Termersetzunssystemen. [Citation Graph (0, 0)][DBLP]
    GWAI, 1986, pp:242-253 [Conf]
  13. 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]
  14. 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]
  15. Sven Behnke, Jürgen Müller, Michael Schreiber
    Playing Soccer with RoboSapien. [Citation Graph (0, 0)][DBLP]
    RoboCup, 2005, pp:36-48 [Conf]
  16. 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]
  17. 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]
  18. Jürgen Müller, Jörg H. Siekmann
    Structured Social Agents. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1991, pp:42-52 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Jürgen Müller
    Die VKI Landkarte. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:1, pp:57-58 [Journal]
  26. 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]
  27. 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]
  28. 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]
  29. Jürgen Müller
    Aktuelles Lexikon: IRC. [Citation Graph (0, 0)][DBLP]
    LOG IN, 1996, v:16, n:5/6, pp:102-0 [Journal]
  30. Jürgen Müller
    Aktuelles Lexikon: Open GL. [Citation Graph (0, 0)][DBLP]
    LOG IN, 1997, v:17, n:1, pp:70-0 [Journal]
  31. Jürgen Müller
    Aktuelles Lexikon: VRML. [Citation Graph (0, 0)][DBLP]
    LOG IN, 1997, v:17, n:2, pp:61-0 [Journal]
  32. 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]
  33. Jürgen Müller
    Suchwerkzeuge. [Citation Graph (0, 0)][DBLP]
    LOG IN, 1998, v:18, n:3/4, pp:10-0 [Journal]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. Jürgen Müller
    Akzeptanz von E-Learning. [Citation Graph (0, 0)][DBLP]
    LOG IN, 2002, v:22, n:120, pp:- [Journal]
  40. 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]
  41. Jürgen Müller
    Online: Medizin im WWW. [Citation Graph (0, 0)][DBLP]
    LOG IN, 1996, v:16, n:2, pp:69-0 [Journal]
  42. Jürgen Müller
    Flowlearn. [Citation Graph (0, 0)][DBLP]
    LOG IN, 1996, v:16, n:3, pp:72-0 [Journal]
  43. Jürgen Müller
    Software-Werkzeuge zur Unterrichtsvorbereitung. [Citation Graph (0, 0)][DBLP]
    LOG IN, 1996, v:16, n:4, pp:10-0 [Journal]
  44. 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]
  45. 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]
  46. 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]
  47. 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]

  48. Lessons Learned beim Übergang von Funktionsmodellierung mit Verhaltensmodellen zu Modellbasierter Software-Entwicklung mit Implementierungsmodellen. [Citation Graph (, )][DBLP]


  49. Computus - Der Weg eines Begriffs durch die Geschichte. [Citation Graph (, )][DBLP]


  50. Grenzen der datenschutzrechtlichen Verantwortlichkeit in einer Welt des "Ubiquitous Computing". [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002