Jörg H. Siekmann Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician CoRR abs/0902.4682: (2009)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: Die Entwicklung der Disziplin in Deutschland. KI 23(1): 47-52 (2009)
2008
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmmar Alkassar, Jörg H. Siekmann: Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss. GI 2008
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Melis, Andreas Meier, Jörg H. Siekmann: Proof planning with multiple strategies. Artif. Intell. 172(6-7): 656-684 (2008)
2007
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuqian Lu, Jörg H. Siekmann, Carsten Ullrich: Cognitive Systems, Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers Springer 2007
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZili Zhang, Jörg H. Siekmann: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings Springer 2007
2006
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: History of AI in Germany and The Third Industrial Revolution. KI 2006: 445
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Melis, Martin Pollet, Jörg H. Siekmann: Reductio ad Absurdum: Planning Proofs by Contradiction. Reasoning, Action and Interaction in AI Theories and Systems 2006: 45-58
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World 2006: 127-141
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Computer supported mathematics with Omegamega. J. Applied Logic 4(4): 533-559 (2006)
2005
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska: Natural Language Dialog with a Tutor System for Mathematical Proofs. Cognitive Systems 2005: 1-14
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Melis, Ruimin Shen, Jörg H. Siekmann, Carsten Ullrich, Fan Yang, Peng Han: Challenges in Search and Usage of Multi-media Learning Objects. Cognitive Systems 2005: 36-44
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: Proof Presentation. Deduction and Applications 2005
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Melis, Jörg H. Siekmann: e-Learning Logic and Mathematics: What We Have and What We Need. We Will Show Them! (2) 2005: 639-662
2004
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh: Artificial Intelligence and Soft Computing - ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings Springer 2004
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Melis, Jörg H. Siekmann: ActiveMath: An Intelligent Tutoring System for Mathematics. ICAISC 2004: 91-101
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Christoph Benzmüller: Omega: Computer Supported Mathematics. KI 2004: 3-28
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann: Invited talks. KI 18(3): 44- (2004)
2003
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Fischer, Michael Schillo, Jörg H. Siekmann: Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems. HoloMAS 2003: 71-80
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Schillo, Klaus Fischer, Jörg H. Siekmann: The Link between Autonomy and Organisation in Multiagent Systems. HoloMAS 2003: 81-90
2002
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer: Proof Development with OMEGA. CADE 2002: 144-149
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden: A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond 2002: 1-4
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Graham Wrightson: An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Computational Logic: Logic Programming and Beyond 2002: 231-252
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet: Proof Development with Omega-MEGA: sqrt(2) Is Irrational. LPAR 2002: 367-387
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: KI - Die Entwicklung der Disziplin in Deutschland. KI 16(1): 52-53 (2002)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Graham Wrightson: An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. Logic Journal of the IGPL 10(1): 85-103 (2002)
2001
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Graham Wrightson: Erratum: a counterexample to W. Bibel's and E. Eder's strong completeness result for connection graph resolution. J. ACM 48(1): 145-147 (2001)
2000
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal Software Development in the Verification Support Environment (VSE). FLAIRS Conference 2000: 367-376
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Melis, Jörg H. Siekmann: Concepts in Proof Planning. Intellectics and Computational Logic 2000: 263-276
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt: Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell. 12(4): 383-406 (2000)
1999
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErica Melis, Jörg H. Siekmann: Knowledge-Based Proof Planning. Artif. Intell. 115(1): 65-105 (1999)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Stephan M. Hess, Christoph Benzmüller, Lassaad Cheikhrouhou, Armin Fiedler, Helmut Horacek, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Martin Pollet, Volker Sorge: L<Omega>UI: Lovely <Omega>MEGA User Interface. Formal Asp. Comput. 11(3): 326-342 (1999)
1998
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLassaad Cheikhrouhou, Jörg H. Siekmann: Planning Diagonalization Proofs. AIMSA 1998: 167-180
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt: Wohin geht die automatische Deduktion? KI 12(4): 33-37 (1998)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Michael Kohlhase, Erica Melis: <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft 7(3): 101-105 (1998)
1997
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge: Omega: Towards a Mathematical Assistant. CADE 1997: 252-255
1996
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers: Deduction in the Verification Support Environment (VSE). FME 1996: 268-286
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. Inform., Forsch. Entwickl. 11(1): 20-26 (1996)
1994
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann: Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies Oxford University Press 1994
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranz Baader, Jörg H. Siekmann: Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 41-126
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Jörg H. Siekmann: Informatik und Intellektik als zukünftiges Zwiegespann. KI 8(1): 16-22 (1994)
1992
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191 (1992)
1991
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Jürgen Ohlbach, Jörg H. Siekmann: The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 41-112
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Müller, Jörg H. Siekmann: Structured Social Agents. Wissensbasierte Systeme 1991: 42-52
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael A. McRobbie, Jörg H. Siekmann: Artificial intelligence: Perspectives and Predictions. Applied Artificial Intelligence 5(2): 187-207 (1991)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Barth, Thomas Christaller, Armin B. Cremers, Bernd Neumann, Franz Josef Radermacher, Bernd Radig, Michael M. Richter, Jörg H. Siekmann, Werner von Seelen: Künstliche Intelligenz - Perspektiven einer wissenschaftlichen Disziplin und Realisierungsmöglichkeiten. Informatik Spektrum 14(4): 201-206 (1991)
1990
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems IWBS Report 113: (1990)
1989
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann: Structure and Control of the L-LILOG Inference System. Sorts and Types in Artificial Intelligence 1989: 165-182
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann: An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information IWBS Report 86: (1989)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: Unification Theory. J. Symb. Comput. 7(3/4): 207-274 (1989)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Peter Szabó: The Undecidability of the DA-Unification Problem. J. Symb. Log. 54(2): 402-414 (1989)
1988
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius, Jörg H. Siekmann: Partial Unification for Graph Based Equational Reasoning. CADE 1988: 397-414
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden: What is Computation? (Panel Introduction). ECAI 1988: 724
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: Artificial Intelligence: Perspectives and Predictions. FGCS 1988: 145-146
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael A. McRobbie, Jörg H. Siekmann: Artificial Intelligence: Perspectives and Predictions. AI Commun. 1(4): 16-29 (1988)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang: Opening the AC-Unification Race. J. Autom. Reasoning 4(4): 465-474 (1988)
1987
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius, Jörg H. Siekmann: Computergestützte Frühwarn- und Entwscheidungssysteme. Informatik Spektrum 10(1): 24-39 (1987)
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Herold, Jörg H. Siekmann: Unification in Abelian Semigroups. J. Autom. Reasoning 3(3): 247-283 (1987)
1986
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings Springer 1986
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: Unification Theory. ECAI 1986: 365-400
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald V. Book, Jörg H. Siekmann: On Unification: Equational Theories Are Not Bounded. J. Symb. Comput. 2(4): 317-324 (1986)
1985
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRonald V. Book, Jörg H. Siekmann: On the Unification Hierarchy. GWAI 1985: 111-117
1984
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: Universal Unification. CADE 1984: 1-42
1983
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: Open mathematical problems computer competition. Computing 30(4): 379-380 (1983)
1982
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Jörg H. Siekmann: Künstliche Intelligenz, Frühjahrsschule, Teisendorf, 15.-24. März 1982 Springer 1982
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Peter Szabó: Universal Unification and a Classification of Equational Theories. CADE 1982: 369-389
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Peter Szabó: Universal Unification. GWAI 1982: 102-141
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: Einführung in die Künstliche Intelligenz. KIFS 1982: 1-60
1981
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings Springer 1981
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Gert Smolka: Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure. GWAI 1981: 199-200
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Peter Szabó: A Noetherian Rewrite System for Idempotent Semigroups. GWAI 1981: 235-245
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther: The Markgraf Karl Refutation Procedure. IJCAI 1981: 511-518
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Peter Szabó: Universal Unification and Regular Equational ACFM Theories. IJCAI 1981: 532-538
1980
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther: Das Karlsruher Beweissystem. GI Jahrestagung 1980: 400-412
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann, Graham Wrightson: Paramodulated Connection Graphs. Acta Inf. 13: 67-86 (1980)
1979
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: Unification of commutative terms. EUROSAM 1979: 22
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg H. Siekmann: Matching under commutativity. EUROSAM 1979: 531-545
1978
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Eisinger, Jörg H. Siekmann, Graham Wrightson: Paramodulated Connection Graphs. AISB/GI (ECAI) 1978: 105-109
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Stephan, Jörg H. Siekmann: Completeness and Soundness of the Connection Graph Proof. AISB/GI (ECAI) 1978: 340-344
1977
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann: Unification of Idempotent Functions. IJCAI 1977: 528

Coauthor Index

1Ammar Alkassar [80]
2Serge Autexier [73] [82]
3Franz Baader [41]
4Gerhard Barth [35]
5Christoph Beierle [32] [34] [39]
6Christoph Benzmüller (Christoph Benzmueller) [47] [51] [59] [62] [66] [72] [73] [74] [82]
7Wolfgang Bibel [16] [40]
8Karl-Hans Bläsius [9] [24] [29] [33]
9Margaret A. Boden [28]
10Ronald V. Book [19] [20]
11Vladimir Brezhnev [62]
12Maurice Bruynooghe [61]
13Hans-Jürgen Bürckert [25]
14Lassaad Cheikhrouhou [47] [50] [51] [62]
15Thomas Christaller [35]
16Andy Clark [28]
17Armin B. Cremers [35]
18Norbert Eisinger [3] [7] [9]
19Maarten H. van Emden [61]
20François Fages [65]
21Detlef Fehrer [47]
22Armin Fiedler [47] [51] [59] [62] [74]
23Klaus Fischer [63] [64]
24Andreas Franke [62]
25Dov M. Gabbay [44]
26Harald Ganzinger [49]
27Malik Ghallab [65]
28Peng Han [71]
29Ulrich Hedtstück [32] [34] [39]
30Alexander Herold [9] [23] [25]
31Stephan M. Hess [51]
32Christopher J. Hogger [44]
33Helmut Horacek [51] [62] [72]
34Xiaorong Huang [42] [43] [45] [47]
35Dieter Hutter [46] [53] [55]
36Deepak Kapur [25]
37Manfred Kerber [42] [43] [45] [47]
38Michael Kohlhase [42] [43] [45] [47] [48] [51] [62]
39Karsten Konrad [47] [51]
40Ivana Kruijff-Korbayová [72]
41Stefan Kühner [1]
42Bruno Langenstein [46] [53]
43Ruqian Lu [78]
44Chris Mathis [1]
45Michael A. McRobbie [26] [36]
46Andreas Meier [47] [51] [59] [62] [74] [79]
47Erica Melis [42] [43] [45] [47] [48] [51] [52] [54] [62] [67] [69] [71] [75] [79]
48Markus Moschner [62]
49Jürgen Müller [37]
50Daniel Nesmith (Dan Nesmith) [42] [43] [45]
51Bernd Neumann [35]
52Immanuel Normann [62]
53Hans Jürgen Ohlbach [38]
54Luís Moniz Pereira (Luíz Moniz Pereira) [61]
55Manfred Pinkal [72]
56Udo Pletat [32] [34] [39]
57Martin Pollet [51] [59] [62] [74] [75]
58Franz Josef Radermacher [35]
59Bernd Radig [35]
60Peter Raulefs [1]
61Michael M. Richter [35]
62Jörn Richts [42] [43] [45]
63Martin A. Riedmiller (Martin Riedmiller) [65]
64J. A. Robinson [44]
65Georg Rock [53] [55]
66Claus-Rainer Rollinger [33]
67Leszek Rutkowski [68]
68Wolf Schaarschmidt [47]
69Michael Schillo [63] [64]
70Peter H. Schmitt [34] [39] [49]
71Werner von Seelen [35]
72Claus Sengler [46]
73Ruimin Shen [71]
74Aaron Sloman [28]
75Gert Smolka [7] [9] [11]
76Volker Sorge [47] [51] [62]
77Werner Stephan [2] [46] [53] [55]
78Mark E. Stickel [25]
79Peter Szabó [8] [10] [14] [15] [30]
80Ryszard Tadeusiewicz [68]
81Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund) [28]
82Michael Tepp [25]
83Carsten Ullrich [62] [71] [78]
84E. Unvericht [7]
85Roland Vogt [53] [55]
86Wolfgang Wahlster [65]
87Christoph Walther [7] [9]
88Claus-Peter Wirth [62] [82]
89Andreas Wolpers [46]
90Magdalena Wolska [72]
91Graham Wrightson [3] [6] [56] [57] [60]
92Fan Yang [71]
93Lotfi A. Zadeh [68]
94Hantao Zhang [25]
95Zili Zhang [77]
96Jürgen Zimmer [62]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)