Michael Zakharyaschev

	2012
118		Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev: Exponential Lower Bounds and Separation for Query Rewriting CoRR abs/1202.4193: (2012)
	2011
117		Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 CEUR-WS.org 2011
116		Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI 2011
115		Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011
114		Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev: On (In)Tractability of OBDA with OWL 2 QL. Description Logics 2011
113		Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On P/NP Dichotomies for EL Subsumption under Relational Constraints. Description Logics 2011
112		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCos 2011: 1-11
111		Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: The Combined Approach to Ontology-Based Data Access. IJCAI 2011: 2656-2661
110		Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev: On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces. IJCAI 2011: 957-962
109		Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev: Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies. RR 2011: 124-138
108		Michael Zakharyaschev: Logic in the Time of WWW: An OWL View. WoLLIC 2011: 6-7
107		Michael Zakharyaschev: Query Inseparability and Module Extraction in OWL 2 QL. WoMO 2011: 10-11
106		Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev: On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces CoRR abs/1104.0219: (2011)
105		David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity CoRR abs/1110.2726: (2011)
104		Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev: Topological Logics with Connectedness over Euclidean Spaces CoRR abs/1110.4034: (2011)
	2010
103		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Past and Future of DL-Lite. AAAI 2010
102		Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL. Advances in Modal Logic 2010: 271-291
101		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Temporal Conceptual Modelling with DL-Lite. Description Logics 2010
100		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning over Temporal Data Models. ER 2010: 174-187
99		Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev: Interpreting Topological Logics over Euclidean Spaces. KR 2010
98		Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: The Combined Approach to Query Answering in DL-Lite. KR 2010
97		Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev: A modal logic framework for reasoning about comparative distances and topology. Ann. Pure Appl. Logic 161(4): 534-559 (2010)
96		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artif. Intell. 174(15): 1093-1141 (2010)
95		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Spatial logics with connectedness predicates Logical Methods in Computer Science 6(3): (2010)
	2009
94		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Adding Weight to DL-Lite. Description Logics 2009
93		Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev: Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009
92		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite without UNA. Description Logics 2009
91		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Extending DL-Lite Sometime in the Future. Description Logics 2009
90		Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev: Which Kind of Module Should I Extract? Description Logics 2009
89		Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCos 2009: 133-148
88		Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI 2009: 836-841
87		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: The DL-Lite Family and Relations. J. Artif. Intell. Res. (JAIR) 36: 1-69 (2009)
	2008
86		Roman Kontchakov, Michael Zakharyaschev: DL-Lite and Role Inclusions. ASWC 2008: 16-30
85		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176
84		Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev: Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008
83		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Can You Tell the Difference Between DL-Lite Ontologies?. KR 2008: 285-295
82		Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589
81		Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporal Description Logics: A Survey. TIME 2008: 3-14
80		Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics. ACM Trans. Comput. Log. 9(4): (2008)
	2007
79		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite in the Light of First-Order Logic. AAAI 2007: 361-366
78		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning in Entity Relationship Models. Description Logics 2007
77		Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Modularity in DL-Lite. Description Logics 2007
76		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292
75		Michael Zakharyaschev: Temporalising Logics: Fifteen Years After. FroCos 2007: 72
74		Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Query Answering in Expressive Variants of DL-Lite. SEBD 2007: 250-257
73		Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tractable Description Logics. TIME 2007: 11-22
72		Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Spatial Logic + Temporal Logic = ?. Handbook of Spatial Logics 2007: 497-564
71		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007)
	2006
70		Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207
69		Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: Dynamic topological logics over spaces with continuous functions. Advances in Modal Logic 2006: 299-318
68		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic 2006: 429-448
67		Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Automated Reasoning About Metric and Topology. JELIA 2006: 490-493
66		David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Non-primitive recursive decidability of products of modal logics with expanding domains. Ann. Pure Appl. Logic 142(1-3): 245-268 (2006)
65		Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics CoRR abs/cs/0609052: (2006)
64		Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter: Willem Blok and Modal Logic. Studia Logica 83(1-3): 15-30 (2006)
63		Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev: On Dynamic Topological and Metric Logics. Studia Logica 84(1): 129-160 (2006)
	2005
62		Boris Konev, Frank Wolter, Michael Zakharyaschev: Temporal Logics over Transitive States. CADE 2005: 182-203
61		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: 'Closer' representation and reasoning. Description Logics 2005
60		Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665
59		Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) 2005: 193-108
58		Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev: Undecidability of first-order intuitionistic and modal logics with two variables. Bulletin of Symbolic Logic 11(3): 428- (2005)
57		David Gabelaia, Roman Kontchakov, Ágnes Kurucz, Frank Wolter, Michael Zakharyaschev: Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. J. Artif. Intell. Res. (JAIR) 23: 167-243 (2005)
56		Frank Wolter, Michael Zakharyaschev: A logic for metric and topology. J. Symb. Log. 70(3): 795-828 (2005)
55		David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Products of 'transitive' modal logics. J. Symb. Log. 70(3): 993-1021 (2005)
	2004
54		Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of abstract description systems. Artif. Intell. 156(1): 1-73 (2004)
53		Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-local Propositional and Weak Monodic Quantified CTL. J. Log. Comput. 14(1): 3-22 (2004)
52		Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Temporalising Tableaux. Studia Logica 76(1): 91-134 (2004)
	2003
51		Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002 King's College Publications 2003
50		Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev: E-connections of Description Logics. Description Logics 2003
49		Carsten Lutz, Frank Wolter, Michael Zakharyaschev: Resasoning about Concepts and Similarity. Description Logics 2003
48		David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatio-Temporal Logics. FLAIRS Conference 2003: 460-464
47		Frank Wolter, Michael Zakharyaschev: Reasoning about distances. IJCAI 2003: 1275-1282
46		Carsten Lutz, Frank Wolter, Michael Zakharyaschev: A Tableau Algorithm for Reasoning about Concepts and Similarity. TABLEAUX 2003: 134-149
45		Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. TIME 2003: 91-98
44		Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev: Logics of metric spaces. ACM Trans. Comput. Log. 4(2): 260-294 (2003)
	2002
43		Frank Wolter, Heinrich Wansing, Maarten de Rijke, Michael Zakharyaschev: Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig (Germany) in October 2000 World Scientific 2002
42		Ágnes Kurucz, Michael Zakharyaschev: A Note on Relativised Products of Modal Logics. Advances in Modal Logic 2002: 221-242
41		Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Editorial Preface. Advances in Modal Logic 2002
40		Alessandro Artale, Enrico Franconi, Frank Wolter, Michael Zakharyaschev: A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. JELIA 2002: 98-110
39		Oliver Kutz, Frank Wolter, Michael Zakharyaschev: Connecting Abstract Description Systems. KR 2002: 215-226
38		Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. LICS 2002: 393-402
37		Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: On Non-Local Propositional and Local One-Variable Quantified CTL*. TIME 2002: 2-9
36		Frank Wolter, Michael Zakharyaschev: Axiomatizing the monodic fragment of first-order temporal logic. Ann. Pure Appl. Logic 118(1-2): 133-145 (2002)
35		Brandon Bennett, Anthony G. Cohn, Frank Wolter, Michael Zakharyaschev: Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Appl. Intell. 17(3): 239-251 (2002)
34		Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Axiomatizing Distance Logics. Journal of Applied Non-Classical Logics 12(3-4): 425-440 (2002)
33		Ágnes Kurucz, Michael Zakharyaschev, Frank Wolter: Preface. Studia Logica 72(2): 145-146 (2002)
32		Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: A Tableau Decision Algorithm for Modalized ALC with Constant Domains. Studia Logica 72(2): 199-232 (2002)
	2001
31		Oliver Kutz, Frank Wolter, Michael Zakharyaschev: A Note on Concepts and Distances. Description Logics 2001
30		Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: The DLRUS Temporal Description Logic. Description Logics 2001
29		Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev: Tableaux for Temporal Description Logic with Constant Domains. IJCAR 2001: 121-136
28		Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Monodic fragments of first-order temporal logics: 2000-2001 A.D. LPAR 2001: 1-23
27		Alessandro Artale, Enrico Franconi, Milenko Mosurovic, Frank Wolter, Michael Zakharyaschev: Reasoning over Conceptual Schemas and Queries in Temporal Databases. SEBD 2001: 201-214
26		Mark Reynolds, Michael Zakharyaschev: On the Products of Linear Modal Logics. J. Log. Comput. 11(6): 909-931 (2001)
25		Frank Wolter, Michael Zakharyaschev: Decidable Fragments of First-Order Modal Logics. J. Symb. Log. 66(3): 1415-1438 (2001)
	2000
24		Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing: Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998 CSLI Publications 2000
23		Frank Wolter, Michael Zakharyaschev: Spatial Reasoning in RCC-8 with Boolean Region Terms. ECAI 2000: 244-250
22		Holger Sturm, Frank Wolter, Michael Zakharyaschev: Monodic Epistemic Predicate Logic. JELIA 2000: 329-344
21		Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev: Semi-qualitative Reasoning about Distances: A Preliminary Report. JELIA 2000: 37-56
20		Frank Wolter, Michael Zakharyaschev: Spatio-temporal representation and reasoning based on RCC-8. KR 2000: 3-14
19		Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev: Decidable fragment of first-order temporal logics. Ann. Pure Appl. Logic 106(1-3): 85-134 (2000)
18		Michael Zakharyaschev: Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema. Journal of Logic, Language and Information 9(1): 128-131 (2000)
	1999
17		Frank Wolter, Michael Zakharyaschev: Multi-Dimensional Description Logics. IJCAI 1999: 104-109
16		Frank Wolter, Michael Zakharyaschev: Modal Description Logics: Modalizing Roles. Fundam. Inform. 39(4): 411-438 (1999)
	1998
15		Frank Wolter, Michael Zakharyaschev: Dynamic Description Logics. Advances in Modal Logic 1998: 431-446
14		Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing: The Origins of Modern Modal Logic. Advances in Modal Logic 1998
13		Frank Wolter, Michael Zakharyaschev: On the Decidability of Description Logics with Modal Operators. KR 1998: 512-523
12		Yasuhito Suzuki, Frank Wolter, Michael Zakharyaschev: Speaking about Transitive Frames in Propositional Languages. Journal of Logic, Language and Information 7(3): 317-339 (1998)
	1997
11		Michael Zakharyaschev: Canonical Formulas for K4, Part III: The Finite Model Property. J. Symb. Log. 62(3): 950-975 (1997)
10		Michael Zakharyaschev: The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable. Studia Logica 59(3): 345-358 (1997)
	1996
9		Michael Zakharyaschev: Canonical Formulas for K4, Part II: Confinal Subframe Logics. J. Symb. Log. 61(2): 421-449 (1996)
	1995
8		Alexander V. Chagrov, Michael Zakharyaschev: On the Independent Axiomatizability of Modal and Intermediate Logics. J. Log. Comput. 5(3): 287-302 (1995)
7		Michael Zakharyaschev, Alexander Alekseev: All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. Math. Log. Q. 41: 15-23 (1995)
	1994
6		Michael Zakharyaschev: A New Solution to a Problem of Hosoi and Ono. Notre Dame Journal of Formal Logic 35(3): 450-457 (1994)
	1993
5		Alexander V. Chagrov, Michael Zakharyaschev: The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems. J. Symb. Log. 58(3): 967-1002 (1993)
4		Michael Zakharyaschev: A Sufficient Condition for the Finite Model Property of Modal Logics above K4. Logic Journal of the IGPL 1(1): 13-21 (1993)
	1992
3		Michael Zakharyaschev: Canonical Formulas for K4, Part I: Basic Results. J. Symb. Log. 57(4): 1377-1402 (1992)
2		Alexander V. Chagrov, Michael Zakharyaschev: Modal Companions of Intermediate Propositional Logics. Studia Logica 51(1): 49-82 (1992)
	1987
1		Michael Zakharyaschev: Theorem Proving in Intermediate and Modal Logics. FCT 1987: 492-496

Coauthor Index

1	Alexander Alekseev	[7]
2	Alessandro Artale	[27] [30] [40] [73] [74] [76] [78] [79] [87] [89] [91] [92] [94] [100] [101] [103] [112]
3	Philippe Balbiani	[41] [51]
4	Sebastian Bauer	[37] [53]
5	Brandon Bennett	[35]
6	Diego Calvanese	[74] [76] [78] [79] [87] [92] [94]
7	Alexander V. Chagrov	[2] [5] [8]
8	Anthony G. Cohn	[35]
9	Enrico Franconi	[27] [30] [40]
10	David Gabelaia	[48] [55] [57] [66] [105]
11	Silvio Ghilardi	[70]
12	Ian M. Hodkinson	[19] [28] [37] [38] [45] [53]
13	Ullrich Hustadt	[67]
14	Stanislav Kikot	[109] [114] [118]
15	Boris Konev	[62] [63] [69] [115] [116]
16	Roman Kontchakov	[45] [48] [52] [57] [58] [63] [69] [72] [73] [74] [76] [77] [78] [79] [82] [83] [84] [85] [86] [87] [88] [89] [91] [92] [93] [94] [95] [96] [98] [99] [100] [101] [103] [104] [105] [106] [109] [110] [111] [112] [114] [115] [116] [118]
17	Ágnes Kurucz (Agi Kurucz)	[33] [42] [45] [48] [55] [57] [58] [59] [66] [72] [102] [105] [113]
18	Oliver Kutz	[31] [34] [39] [44] [50] [54]
19	Michel Ludwig	[115] [116]
20	Carsten Lutz	[29] [32] [46] [49] [50] [52] [54] [70] [73] [81] [93] [98] [111]
21	Milenko Mosurovic	[27] [30]
22	Yavor Nenov	[104] [106] [110]
23	Vladimir V. Podolskii	[118]
24	Ian Pratt-Hartmann (Ian E. Pratt)	[82] [85] [95] [99] [104] [106] [110]
25	Luca Pulina	[88]
26	Wolfgang Rautenberg	[64]
27	Mark Reynolds	[26]
28	Maarten de Rijke	[14] [24] [43]
29	Riccardo Rosati	[117]
30	Sebastian Rudolph	[117]
31	Vladislav Ryzhikov	[76] [78] [84] [89] [91] [100] [101] [103] [112]
32	Ulrike Sattler	[88] [90]
33	Thomas Schneider	[88] [90] [115] [116]
34	Krister Segerberg	[14] [24]
35	Petra Selmer	[88]
36	Mikhail Sheremet	[60] [61] [68] [71] [97]
37	Holger Sturm	[21] [22] [29] [32] [34] [44]
38	Nobu-Yuki Suzuki	[21] [34] [41] [44] [51]
39	Yasuhito Suzuki	[12]
40	Dmitry Tishkovsky	[60] [61] [67] [68] [71]
41	David Toman	[93] [98] [111]
42	Heinrich Wansing	[14] [24] [43]
43	Frank Wolter	[12] [13] [15] [16] [17] [19] [20] [21] [22] [23] [25] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [77] [80] [81] [82] [83] [84] [85] [88] [93] [95] [96] [97] [98] [102] [105] [111] [113] [115] [116]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page