| 2007 |
|---|
| 47 | | Ines Fey,
Henning Kleinwechter,
Andreas Leicher,
Jürgen Müller:
Lessons Learned beim Übergang von Funktionsmodellierung mit Verhaltensmodellen zu Modellbasierter Software-Entwicklung mit Implementierungsmodellen.
GI Jahrestagung (2) 2007: 557-563 |
| 2005 |
|---|
| 46 | EE | Sven Behnke,
Jürgen Müller,
Michael Schreiber:
Playing Soccer with RoboSapien.
RoboCup 2005: 36-48 |
| 45 | EE | Sven Behnke,
Jürgen Müller,
Michael Schreiber:
Toni: A Soccer Playing Humanoid Robot.
RoboCup 2005: 59-70 |
| 44 | | Jürgen Müller,
Matthias Handy:
RFID als Technik des Ubiquitous Computing - Eine Gefahr für die Privatsphäre?
Wirtschaftsinformatik 2005: 1145-1164 |
| 2004 |
|---|
| 43 | EE | Nils Goerke,
Timo Henne,
Jürgen Müller:
Neural networks for the EMOBOT robot control architecture.
Neural Computing and Applications 13(4): 299-308 (2004) |
| 2003 |
|---|
| 42 | EE | Jürgen Müller:
On a remarkable partition identity.
J. Comb. Theory, Ser. A 101(2): 271-280 (2003) |
| 2002 |
|---|
| 41 | | Jürgen Müller:
Staatliche Überwachung privater Konten - Ein Erfolg für den Datenschutz? - Die neue Regelung im Kreditwesengesetz.
Datenschutz und Datensicherheit 26(10): (2002) |
| 40 | | Jürgen Müller:
Akzeptanz von E-Learning.
LOG IN 22(120): (2002) |
| 2001 |
|---|
| 39 | | Annegret Habel,
Jürgen Müller,
Detlef Plump:
Double-pushout graph transformation revisited.
Mathematical Structures in Computer Science 11(5): 637-688 (2001) |
| 2000 |
|---|
| 38 | EE | Jürgen Müller:
Dynamische und interaktive Erweiterungen im WWW.
LOG IN 20(1): 19- (2000) |
| 1999 |
|---|
| 37 | | Jürgen Müller:
Online-Konferenzen: Arbeiten mit MS-NetMeeting in LAN und Internet.
LOG IN 19(3/4): 65- (1999) |
| 1998 |
|---|
| 36 | EE | Andreas Gehmeyr,
Jürgen Müller,
Albert Schappert:
Mobile Information Agents on the Web.
CIA 1998: 262-277 |
| 35 | EE | Jürgen Müller:
The 5-Modular Decomposition Matrix of the Sporadic Simple Conway Group Co3.
ISSAC 1998: 179-185 |
| 34 | | Annegret Habel,
Jürgen Müller,
Detlef Plump:
Double-Pushout Approach with Injective Matching.
TAGT 1998: 103-116 |
| 33 | EE | Jürgen Müller:
Suchwerkzeuge.
LOG IN 18(3/4): 10- (1998) |
| 1997 |
|---|
| 32 | | Hannes Gutzer,
Jürgen Müller:
Die Briefträger auf der Datenbank - Postversand ohne Briefmarken (Teil 2).
LOG IN 17(1): 47- (1997) |
| 31 | | Jürgen Müller:
Aktuelles Lexikon: Open GL.
LOG IN 17(1): 70- (1997) |
| 30 | EE | Jürgen Müller:
Aktuelles Lexikon: VRML.
LOG IN 17(2): 61- (1997) |
| 29 | | Jürgen Müller,
Bernhard Koerber:
Online: "Schulen ans Netz" im FAMCOM.
LOG IN 17(2): 66- (1997) |
| 28 | | Jürgen Müller:
Online: Aus EUnet wurde UUNET.
LOG IN 17(3/4): 106- (1997) |
| 27 | | Jürgen Müller:
Accelerated polynomial approximation of finite order entire functions by growth reduction.
Math. Comput. 66(218): 743-761 (1997) |
| 1996 |
|---|
| 26 | | Jürgen Müller:
Aktuelles Lexikon: HTML und SGML.
LOG IN 16(2): 63- (1996) |
| 25 | | Jürgen Müller:
Online: Medizin im WWW.
LOG IN 16(2): 69- (1996) |
| 24 | | Jürgen Müller:
Flowlearn.
LOG IN 16(3): 72- (1996) |
| 23 | | Jürgen Müller:
Software-Werkzeuge zur Unterrichtsvorbereitung.
LOG IN 16(4): 10- (1996) |
| 22 | | Jürgen Müller:
Aktuelles Lexikon: SLIP und PPP.
LOG IN 16(4): 62- (1996) |
| 21 | | Jürgen Müller:
Software-Test: Informationsverwaltung mit askSam.
LOG IN 16(4): 64- (1996) |
| 20 | | Jürgen Müller:
Aktuelles Lexikon: IRC.
LOG IN 16(5/6): 102- (1996) |
| 19 | | Bernhard Koerber,
Jürgen Müller:
Online: Spezielle Bildungsserver.
LOG IN 16(5/6): 106- (1996) |
| 18 | | Hannes Gutzer,
Jürgen Müller:
Die Briefträger auf der Datenautobahn - Postversand ohne Briefmarke (Teil 1).
LOG IN 16(5/6): 70- (1996) |
| 1995 |
|---|
| 17 | | 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.
J. Symb. Comput. 19(6): 585-600 (1995) |
| 1994 |
|---|
| 16 | | Klaus Lux,
Jürgen Müller,
Michael Ringe:
Peakword Condensation and Submodule Lattices: An Application of the Meat-Axe.
J. Symb. Comput. 17(6): 529-544 (1994) |
| 1993 |
|---|
| 15 | | Stefan Bussmann,
Jürgen Müller:
Bargaining Agents.
EPIA 1993: 359 |
| 14 | | Norbert Kuhn,
Jürgen Müller:
Multiagentenkoordination durch Marktmechanismen.
GI Jahrestagung 1993: 509-514 |
| 13 | | Klaus Fischer,
Norbert Kuhn,
Jürgen Müller,
Jörg P. Müller,
Markus Pischel:
Sophisticated and Distributed: The Transporation Domain.
MAAMAW 1993: 122-138 |
| 1992 |
|---|
| 12 | | Jürgen Müller:
Die VKI Landkarte.
KI 6(1): 57-58 (1992) |
| 1991 |
|---|
| 11 | | 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.
Description Logics 1991: 120-128 |
| 10 | | Jürgen Müller,
Jörg H. Siekmann:
Structured Social Agents.
Wissensbasierte Systeme 1991: 42-52 |
| 1990 |
|---|
| 9 | | Jürgen Müller,
Franz Baader,
Bernhard Nebel,
Werner Nutt,
Gert Smolka:
Tutorial on Reasoning and Representation with Concept Languages.
CADE 1990: 681 |
| 1989 |
|---|
| 8 | | Jürgen Müller,
Rolf Socher-Ambrosius:
A Resolution Calculus Extende by Equivalence.
GWAI 1989: 102-106 |
| 7 | | Jörg Denzinger,
Jürgen Müller:
EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ.
GWAI 1989: 92-101 |
| 6 | | Jürgen Avenhaus,
Jörg Denzinger,
Jürgen Müller:
THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques.
RTA 1989: 538-541 |
| 5 | | Jürgen Müller,
Rolf Socher-Ambrosius:
Workshop on Automated Reasoning.
KI 3(4): 20-21 (1989) |
| 1988 |
|---|
| 4 | | Jürgen Müller,
Rolf Socher-Ambrosius:
On the Unnecessity of Multiple Overlaps in Completion Theorem Proving.
GWAI 1988: 169-178 |
| 1987 |
|---|
| 3 | | Jürgen Müller:
THEOPOGLES - A Theorem Prover Based on First-Order Polynominals and a Special Knuth-Bendix Procedure.
GWAI 1987: 241-250 |
| 1986 |
|---|
| 2 | | Jürgen Müller,
Elvira Wagner:
Effiziente Reduktionsstrategien in Termersetzunssystemen.
GWAI 1986: 242-253 |
| 1 | | Jürgen Müller,
Joachim Steinbach:
Topologische Multisetordnungen.
GWAI 1986: 254-264 |
