dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Ulrich Furbach Home Page Coauthor index pubzone.org

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

DBLP keys2011
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer: A Natural Language Question Answering System as a Participant in Human Q&A Portals. IJCAI 2011: 2430-2435
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: First-Order Tableaux in Applications (Extended Abstract). TABLEAUX 2011: 17-19
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Künstliche Intelligenz. Informatik Spektrum 34(5): 431-432 (2011)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Jürgen Bürckert, Ulrich Furbach: Vom Schmuddelkind zum Fachbereich. KI 25(4): 329-331 (2011)
2010
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmmar Mohammed, Ulrich Furbach: Extending CTL to Specify Quantitative Temporal Requirements. MSVVEIS 2010: 70-79
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Ingo Glöckner, Björn Pelzer: An application of automated reasoning in natural language question answering. AI Commun. 23(2-3): 241-265 (2010)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Björn Pelzer: The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. J. Log. Comput. 20(1): 77-109 (2010)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer: Logic-Based Question Answering. KI 24(1): 51-55 (2010)
2009
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Heiko Günther, Claudia Obermaier: A Knowledge Compilation Technique for ALC Tboxes. FLAIRS Conference 2009
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmmar Mohammed, Ulrich Furbach: From Reactive to Deliberative Multi-agent Planning. MSVVEIS 2009: 67-75
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmmar Mohammed, Ulrich Furbach: Multi-Agent Systems: Modeling and Verification Using Hybrid Automata. PROMAS 2009: 49-66
2008
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer: LogAnswer - A Deduction-Based Question Answering System (System Description). IJCAR 2008: 139-146
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmmar Mohammed, Ulrich Furbach: Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS 2008: 141-149
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: IJCAR Preface. J. Autom. Reasoning 40(2-3): 87-88 (2008)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Editorial. KI 22(3): 1 (2008)
2007
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Björn Pelzer: Hyper Tableaux with Equality. CADE 2007: 492-507
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Markus Maron, Kevin Read: CAMPUS NEWS - an Information Network for Pervasive Universities. GI Jahrestagung (1) 2007: 508-512
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Claudia Obermaier: Knowledge Compilation for Description Logics. KESE 2007
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg: Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. PROMAS 2007: 205-220
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg: Model Checking Hybrid Multiagent Systems for the RoboCup. RoboCup 2007: 262-269
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Markus Maron, Kevin Read: Location based Informationsystems. KI 21(3): 64-67 (2007)
2006
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Natarajan Shankar: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Springer 2006
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Claudia Obermaier: Applications of Automated Reasoning. KI 2006: 174-187
2005
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings Springer 2005
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Living Books, Automated Deduction and Other Strange Things. Mechanizing Mathematical Reasoning 2005: 249-267
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Adnan H. Yahya: Automated Reasoning, Knowledge Representation and Management. KI 19(1): 5- (2005)
2004
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann: Optimizing the Evaluation of XPath Using Description Logics. INAP/WLP 2004: 1-15
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann: Model Based Deduction for Database Schema Reasoning. KI 2004: 168-182
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: Living Book - Deduction, Slicing, and Interaction. J. Autom. Reasoning 32(3): 259-286 (2004)
2003
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner: 'Living Book': -'Deduction', 'Slicing', 'Interaction'. CADE 2003: 284-288
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Beuster, Ulrich Furbach, Margret Groß-Hardt, Bernd Thomas: Automatic Classification for the Identification of Relationships in a Meta-Data Repository. Discovery Science 2003: 283-290
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Margret Groß-Hardt: Living Books. Wirtschaftsinformatik (1) 2003: 693-706
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Automated Deduction Techniques for the Management of Personalized Documents. Ann. Math. Artif. Intell. 38(1-3): 211-228 (2003)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: AI--A multiple book review. Artif. Intell. 145(1-2): 245-252 (2003)
2002
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Wissenssysteme aus der Sicht der Inferenz. KI 16(1): 61-63 (2002)
2001
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Ulrich Furbach, Ilkka Niemelä: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Handbook of Automated Reasoning 2001: 1241-1354
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Jahresbericht 2000 des FB1 der GI. KI 15(2): 65 (2001)
2000
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings Springer 2000
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Norbert Eisinger, Ulrich Furbach: A Confluent Connection Calculus. Intellectics and Computational Logic 2000: 3-26
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Jahresbericht 1999 des Sprechers des FB1 der GI. KI 14(2): 58 (2000)
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Oliver Obst, Frieder Stolzenburg: Intelligente Agenten und KI. LOG IN 20(3/4): 17- (2000)
1999
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Norbert Eisinger, Ulrich Furbach: A Confluent Connection Calculus. CADE 1999: 329-343
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Christaller, Ulrich Furbach, Reinhard Keil-Slawik, Bernd Neumann, Franz Josef Radermacher: Kommentare zum Diskussionsbeitrag ``Die militärische Seite der KI''. KI 13(1): 60-63 (1999)
1998
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach: Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings Springer 1998
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWenjin Lu, Ulrich Furbach: Disjunctive Logic Program = Horn Program + Control Program. JELIA 1998: 33-46
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas: Automated Deduction: a Technological Point of View. KI 12(4): 7-14 (1998)
1997
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Ulrich Furbach, Anil Nerode: Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings Springer 1997
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Calculi for Disjunctive Logic Programming. ICLP 1997: 409
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) 1997: 460-465
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Calculi for Disjunctive Logic Programming. ILPS 1997: 229-243
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Tableaux for Diagnosis Applications. TABLEAUX 1997: 76-90
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Computing Answers with Model Elimination. Artif. Intell. 90(1-2): 135-176 (1997)
1996
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Hyper Tableaux and Disjunctive Logic Programming. DDLP 1996: 29-43
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Ilkka Niemelä: Hyper Tableaux. JELIA 1996: 1-17
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg: On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP 1996: 546
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg: Deduktion und Logisches Programmieren. KI 10(2): 34-39 (1996)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Ulrich Furbach: Logisches Programmieren mit Negation und Disjunktion. KI 10(3): 24-31 (1996)
1995
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Model Elimination, Logic Programming and Computing Answers. IJCAI 1995: 335-341
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: From Theorem Proving to Logic Programming. WLP 1995: 59-62
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe: Ist die Wissensrepräsentation tot? KI 9(5): 18-26 (1995)
1994
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: PROTEIN: A PROver with a Theory Extension INterface. CADE 1994: 769-773
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Model Elimination Without Contrapositives. CADE 1994: 87-101
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Theory Reasoning in First Order Calculi. IS/KI 1994: 139-156
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Model Elimination Without Contrapositives and Its Application to PTTP. J. Autom. Reasoning 13(3): 339-359 (1994)
1993
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Consolution as a Framework for Comparing Calculi. J. Symb. Comput. 16(5): 445-477 (1993)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Formal specification methods for reactive systems. Journal of Systems and Software 21(2): 129-139 (1993)
1992
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Computing Answers for Disjunctive Logic Programs. JELIA 1992: 357-372
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach: Consolution as a Framework for Comparing Calculi. TABLEAUX 1992: 11-14
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: ILPS'91 - International Logic Programming Syposium. KI 6(1): 50 (1992)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Ulrich Furbach: Logik, KI und Intellektik. KI 6(3): 91-94 (1992)
1991
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Logische und funktionale Programmierung - Grundlagen einer Kombination. Vieweg 1991: 1-159
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Answers for disjunctive logic programs. GWAI 1991: 23-32
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Walter Hower: Workshop on ``Massively Parallel Inference Systems''. KI 5(2): 48-49 (1991)
1990
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke: Bericht über das 6. Jahrestreffen der GI-Fachgruppe ``Deduktionssysteme''. KI 4(2): 21-23 (1990)
1989
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Steffen Hölldobler, Joachim F. Schreiber: Linear Paramodulation modulo Equality. GWAI 1989: 107-116
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBertram Fronhöfer, Ulrich Furbach: ALPES: A Programming Environment for Logic Programming. Wissensbasierte Systeme 1989: 496-506
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Steffen Hölldobler, Joachim F. Schreiber: Horn Equational Theories and Paramodulation. J. Autom. Reasoning 5(3): 309-337 (1989)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel: Ein Konstanzer Prolog-Workshop. KI 3(4): 15 (1989)
1987
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Oldy but Goody Paramodulation Revisited. GWAI 1987: 195-201
1986
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBertram Fronhöfer, Ulrich Furbach: Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. GWAI 1986: 289-300
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach: Wissensrepräsentation und Programmiersprachen. Wissensarten und ihre Darstellung 1986: 262-271
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Steffen Hölldobler: Modelling the Combination of Functional and Logic Programming Languages. J. Symb. Comput. 2(2): 123-138 (1986)
1985
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Hölldobler, Ulrich Furbach, Thomas Laußermair: Extended Unification and its Implementation. GWAI 1985: 176-185
1984
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Furbach, Gerhard Dirlich, Christian Freksa: Towards a Theory of Knowledge Representation Systems. AIMSA 1984: 77-84
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Freksa, Ulrich Furbach, Gerhard Dirlich: Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science. GWAI 1984: 119-144
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Dirlich, Helmut von Benda, Christian Freksa, Ulrich Furbach, Albrecht Müller, Klaus Wimmer: Computerunterstützte Planung von Ferienreisen ein fiktiven Beispiel. Kognitive Aspekte der Mensch-Computer-Interaktion 1984: 22-36
1978
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber: Strategies for the synthesis of algorithms. Fachtagung über Programmiersprachen 1978: 97-109

Coauthor Index

1Chandrabose Aravindan [33]
2Peter Baumgartner [20] [23] [24] [26] [27] [30] [32] [33] [34] [35] [36] [37] [38] [39] [40] [42] [46] [49] [55] [56] [58] [59] [60] [61] [62] [63] [72] [81]
3Helmut von Benda [2]
4Gerd Beuster [57]
5Wolfgang Bibel [1] [18]
6Alexander Bockmayr [10]
7Gerhard Brewka [28]
8Hans-Jürgen Bürckert [28] [84]
9Luis Fariñas del Cerro [44]
10Thomas Christaller [45]
11Verónica Dahl [50]
12Ingo Dahn (Bernd I. Dahn) [42]
13Gerhard Dirlich [2] [3] [4]
14Jürgen Dix [31] [32] [33] [41] [42] [44] [52]
15Tiansi Dong [87]
16Norbert Eisinger [46] [49]
17Klaus Estenfeld [10]
18Christian Freksa [2] [3] [4]
19Peter Fröhlich [37] [39]
20Bertram Fronhöfer [8] [12]
21Ingo Glöckner [76] [80] [82] [87]
22Margret Groß-Hardt [56] [57] [58] [59] [60] [61]
23Heiko Günther [79]
24Ulrich Hedtstück [14]
25Hermann Helbig [76] [80]
26Joachim Hertzberg [28]
27Steffen Hölldobler [5] [6] [11] [13]
28Walter Hower [15]
29Claus Jäkel [10]
30Reinhard Keil (Reinhard Keil-Slawik) [45]
31Manfred Kerber [50]
32Thomas Kleemann [60] [61]
33Michael Kühn [42]
34Gerhard Lakemeyer [28]
35Kung-Kiu Lau [50]
36Thomas Laußermair [5]
37John W. Lloyd [50]
38Wenjin Lu [43]
39Markus Maron [67] [71]
40Ammar Mohammed [75] [77] [78] [83]
41Albrecht Müller [2]
42Jan Murray [68] [69]
43Bernhard Nebel [28]
44Wolfgang Nejdl [37] [39]
45Anil Nerode [41]
46Gerd Neugebauer [33]
47Bernd Neumann [45]
48Ilkka Niemelä [33] [34] [52]
49Claudia Obermaier [65] [70] [79]
50Oliver Obst [47]
51Catuscia Palamidessi [50]
52Björn Pelzer [72] [76] [80] [81] [82] [87]
53Luís Moniz Pereira (Luíz Moniz Pereira) [50]
54Frank Puppe [28]
55Franz Josef Radermacher [45]
56Kevin Read [67] [71]
57Yehoshua Sagiv [50]
58Dorothea Schäfer [32] [33]
59Torsten Schaub [28]
60Falk Schmidsberger [68] [69]
61Joachim F. Schreiber [1] [11] [13]
62Natarajan Shankar [66]
63Alex Sinner [58] [59]
64Frieder Stolzenburg [30] [32] [33] [36] [42] [47] [68] [69]
65Peter J. Stuckey [50]
66Bernd Thomas [42] [57]
67Wolfgang Wernecke [14]
68Klaus Wimmer [2]
69Adnan H. Yahya [62]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page