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

Ulrike Sattler Vis

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

*2009
122 Catherine Dolbear, Alan Ruttenberg, Ulrike Sattler: Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008 CEUR-WS.org 2009
121 Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler: Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009 CEUR-WS.org 2009
120EEJohannes Bauer, Ulrike Sattler, Bijan Parsia: Explaining by Example: Model Exploration for Ontology Comprehension. Description Logics 2009
119EEMatthew Horridge, Bijan Parsia, Ulrike Sattler: Lemmas for Justifications in OWL. Description Logics 2009
118EEPavel Klinov, Bijan Parsia, Ulrike Sattler: On Correspondences between Probabilistic First-Order and Description Logics. Description Logics 2009
117EEUlrike Sattler, Thomas Schneider, Michael Zakharyaschev: Which Kind of Module Should I Extract? Description Logics 2009
116EERoman 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
115EEMatthew Horridge, Bijan Parsia, Ulrike Sattler: Explaining Inconsistencies in OWL Ontologies. SUM 2009: 124-137
114EEBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-Based Approach. Modular Ontologies 2009: 159-186
113EEBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing ontologies using description logics, description graphs, and rules. Artif. Intell. 173(14): 1275-1309 (2009)
112EEBoris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. J. Web Sem. 7(2): 74-89 (2009)
2008
111EEBirte Glimm, Ian Horrocks, Ulrike Sattler: Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008
110EEPeihong Ke, Ulrike Sattler: Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. Description Logics 2008
109EEFrancis Gasse, Ulrike Sattler, Volker Haarslev: Rewriting Rules into SROIQ Axioms. Description Logics 2008
108EEErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. Description Logics 2008
107EEBoris Motik, Bernardo Cuenca Grau, Ulrike Sattler: The Representation of Structured Objects in DLs using Description Graphs. Description Logics 2008
106EEErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. ESWC 2008: 185-199
105EEMatthew Horridge, Bijan Parsia, Ulrike Sattler: Laconic and Precise Justifications in OWL. International Semantic Web Conference 2008: 323-338
104EEMatthew Horridge, Bijan Parsia, Ulrike Sattler: Explanation of OWL Entailments in Protege 4. International Semantic Web Conference (Posters & Demos) 2008
103 Birte Glimm, Ian Horrocks, Ulrike Sattler: Unions of Conjunctive Queries in SHOQ. KR 2008: 252-262
102 Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Representing Structured Objects using Description Graphs. KR 2008: 296-306
101EEBijan Parsia, Ulrike Sattler, Thomas Schneider: Easy Keys for OWL. OWLED 2008
100EEBoris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler: Modeling Ontologies using OWL, Description Graphs, and Rules. OWLED 2008
99EEMatthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler: Understanding Entailments in OWL. OWLED 2008
98EEBoris Motik, Bernardo Cuenca Grau, Ulrike Sattler: Structured objects in owl: representation and reasoning. WWW 2008: 555-564
97EEUllrich Hustadt, Boris Motik, Ulrike Sattler: Deciding expressive description logics in the framework of resolution. Inf. Comput. 206(5): 579-601 (2008)
96EEBirte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. (JAIR) 31: 157-204 (2008)
95EEBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Modular Reuse of Ontologies: Theory and Practice. J. Artif. Intell. Res. (JAIR) 31: 273-318 (2008)
94EEBernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: OWL 2: The next step for OWL. J. Web Sem. 6(4): 309-322 (2008)
2007
93EEBirte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Entailment for SHOQ. Description Logics 2007
92EEBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Ontology Reuse: Better Safe than Sorry. Description Logics 2007
91EEFranz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler: Completing Description Logic Knowledge Bases Using Formal Concept Analysis. IJCAI 2007: 230-235
90EEBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: A Logical Framework for Modularity of Ontologies. IJCAI 2007: 298-303
89EEBirte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler: Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404
88EEYevgeny Kazakov, Ulrike Sattler, Evgeny Zolin: How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. LPAR 2007: 303-317
87EEBoris Motik, Ian Horrocks, Ulrike Sattler: Adding Integrity Constraints to OWL. OWLED 2007
86EEFranz Baader, Bernhard Ganter, Ulrike Sattler, Baris Sertkaya: Completing Description Logic Knowledge Bases using Formal Concept Analysis. OWLED 2007
85EEBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Extracting Modules from Ontologies: A Logic-based Approach. OWLED 2007
84EEUlrike Sattler: Reasoning in Description Logics: Basics, Extensions, and Relatives. Reasoning Web 2007: 154-182
83EEBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler: Just the right amount: extracting modules from ontologies. WWW 2007: 717-726
82EEBoris Motik, Ian Horrocks, Ulrike Sattler: Bridging the gap between OWL and relational databases. WWW 2007: 807-816
81EEMikel Egaña Aranguren, Sean Bechhofer, Phillip W. Lord, Ulrike Sattler, Robert D. Stevens: Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL. BMC Bioinformatics 8: (2007)
80EEIan Horrocks, Birte Glimm, Ulrike Sattler: Hybrid Logics and Ontology Languages. Electr. Notes Theor. Comput. Sci. 174(6): 3-14 (2007)
79EERobert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, Alan L. Rector: Using OWL to model biological knowledge. International Journal of Man-Machine Studies 65(7): 583-594 (2007)
78EEIan Horrocks, Ulrike Sattler: A Tableau Decision Procedure for SHOIQ. J. Autom. Reasoning 39(3): 249-276 (2007)
77EEUllrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning 39(3): 351-384 (2007)
2006
76 Bijan Parsia, Ulrike Sattler, David Toman: Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006 CEUR-WS.org 2006
75 Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler: Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures Springer 2006
74 Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens: Deciding Semantic Matching of Stateless Services. AAAI 2006
73EEBirte Glimm, Ian Horrocks, Ulrike Sattler: Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006
72EEBernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler: Will my Ontologies Fit Together? Description Logics 2006
71EEBoris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler: Can OWL and Logic Programming Live Together Happily Ever After? International Semantic Web Conference 2006: 501-514
70 Ian Horrocks, Oliver Kutz, Ulrike Sattler: The Even More Irresistible SROIQ. KR 2006: 57-67
69EEBoris Motik, Ulrike Sattler: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. LPAR 2006: 227-241
68EECorinna Elsenbroich, Oliver Kutz, Ulrike Sattler: A Case for Abductive Reasoning over Ontologies. OWLED 2006
67EEBernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: Next Steps for OWL. OWLED 2006
66EECarsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris: Reasoning Support for Ontology Design. OWLED 2006
65 Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-based decision procedures for the modal logic K. Journal of Applied Non-Classical Logics 16(1-2): 169-208 (2006)
2005
64 Ian Horrocks, Ulrike Sattler, Frank Wolter: Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005 CEUR-WS.org 2005
63 Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. AAAI 2005: 572-577
62EEAntoon Goderis, Ulrike Sattler, Carole A. Goble: Applying Description Logics for Workflow Reuse and Repurposing. Description Logics 2005
61EEFranz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter: Integrating Description Logics and Action Formalisms: First Results. Description Logics 2005
60EEIan Horrocks, Ulrike Sattler: A Tableaux Decision Procedure for SHOIQ. IJCAI 2005: 448-453
59EEUllrich Hustadt, Boris Motik, Ulrike Sattler: Data Complexity of Reasoning in Very Expressive Description Logics. IJCAI 2005: 466-471
58EEAntoon Goderis, Ulrike Sattler, Phillip W. Lord, Carole A. Goble: Seven Bottlenecks to Workflow Reuse and Repurposing. International Semantic Web Conference 2005: 323-337
57EEKaty Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens: A Little Semantic Web Goes a Long Way in Biology. International Semantic Web Conference 2005: 786-800
56EEFranz Baader, Ian Horrocks, Ulrike Sattler: Description Logics as Ontology Languages for the Semantic Web. Mechanizing Mathematical Reasoning 2005: 228-248
55EEIan Horrocks, Oliver Kutz, Ulrike Sattler: The Irresistible SRIQ. OWLED 2005
54EECarsten Lutz, Ulrike Sattler, Lidia Tendera: The complexity of finite model reasoning in description logics. Inf. Comput. 199(1-2): 132-171 (2005)
53EECarsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005)
52EEBoris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with rules. J. Web Sem. 3(1): 41-60 (2005)
2004
51 Ulrike Sattler: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004. CEUR-WS.org 2004
50 Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution. ECAI 2004: 353-357
49EEBoris Motik, Ulrike Sattler, Rudi Studer: Query Answering for OWL-DL with Rules. International Semantic Web Conference 2004: 549-563
48 Ullrich Hustadt, Boris Motik, Ulrike Sattler: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. KR 2004: 152-162
47EEUllrich Hustadt, Boris Motik, Ulrike Sattler: A Decomposition Rule for Decision Procedures by Resolution-Based Calculi. LPAR 2004: 21-35
46 Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics. Handbook on Ontologies 2004: 3-28
45EEIan Horrocks, Ulrike Sattler: Decidability of SHIQ with complex role inclusion axioms. Artif. Intell. 160(1-2): 79-104 (2004)
2003
44 François Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop: Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003 CEUR-WS.org 2003
43EECarsten Lutz, Ulrike Sattler, Lidia Tendera: The Complexity of Finite Model Reasoning in Description Logics. CADE 2003: 60-74
42EEJan Hladik, Ulrike Sattler: A Translation of Looping Alternating Automata into Description Logics. CADE 2003: 90-105
41 Ulrike Sattler, Diego Calvanese, Ralf Molitor: Relationships with other Formalisms. Description Logic Handbook 2003: 137-177
40EECarsten Lutz, Ulrike Sattler, Lidia Tendera: Finite Model Reasoning in ALCQI is EXPTIME Logics. Description Logics 2003
39 Ian Horrocks, Ulrike Sattler: Decidability of SHIQ with Complex Role Inclusion Axioms. IJCAI 2003: 343-348
38 Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354
37EEFranz Baader, Ulrike Sattler: Description logics with aggregates and concrete domains. Inf. Syst. 28(8): 979-1004 (2003)
2002
36EEGuoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-Based Decision Procedures for K. CADE 2002: 16-30
35EEOrna Kupferman, Ulrike Sattler, Moshe Y. Vardi: The Complexity of the Graded µ-Calculus. CADE 2002: 423-437
34 Ian Horrocks, Ulrike Sattler: Optimised Reasoning for SHIQ. ECAI 2002: 277-281
33EEStéphane Demri, Ulrike Sattler: Automata-Theoretic Decision Procedures for Information Logics. Fundam. Inform. 53(1): 1-22 (2002)
32 Franz Baader, Ian Horrocks, Ulrike Sattler: Description Logics for the Semantic Web. KI 16(4): 57-59 (2002)
2001
31EECarsten Lutz, Ulrike Sattler, Frank Wolter: Modal Logic and the Two-Variable Fragment. CSL 2001: 247-261
30EECarsten Lutz, Ulrike Sattler, Frank Wolter: Description Logics and the Two-Variable Fragment. Description Logics 2001
29 Ian Horrocks, Ulrike Sattler: Ontology Reasoning in the SHOQ(D) Description Logic. IJCAI 2001: 199-204
28EEUlrike Sattler, Moshe Y. Vardi: The Hybrid µ-Calculus. IJCAR 2001: 76-91
27 Franz Baader, Ulrike Sattler: An Overview of Tableau Algorithms for Description Logics. Studia Logica 69(1): 5-40 (2001)
2000
26 Mokrane Bouzeghoub, Matthias Klusch, Werner Nutt, Ulrike Sattler: Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), Berlin, Germany, August 21, 2000 CEUR-WS.org 2000
25 Franz Baader, Ulrike Sattler: Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000 CEUR-WS.org 2000
24 Carsten Lutz, Ulrike Sattler: The Complexity of Reasoning with Boolean Modal Logics. Advances in Modal Logic 2000: 329-348
23EEIan Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ. CADE 2000: 482-496
22EECarsten Lutz, Ulrike Sattler: Mary Likes all Cats. Description Logics 2000: 213-226
21 Ulrike Sattler: Description Logics for the Representation of Aggregated Objects. ECAI 2000: 239-243
20EEIan Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to decide Query Containment under Constraints using a Description Logic. KRDB 2000: 59-72
19EEIan Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies: How to Decide Query Containment Under Constraints Using a Description Logic. LPAR 2000: 326-343
18EEIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics CoRR cs.LO/0005013: (2000)
17EEIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics CoRR cs.LO/0005014: (2000)
16EEIan Horrocks, Ulrike Sattler, Stephan Tobies: Reasoning with Individuals for the Description Logic SHIQ CoRR cs.LO/0005017: (2000)
15EEIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3): (2000)
1999
14EEEnrico Franconi, Ulrike Sattler: A Data Warehouse Conceptual Data Model for Multidimensional Aggregation. DMDW 1999: 13
13EECarsten Lutz, Ulrike Sattler, Stephan Tobies: A Suggestion for an n-ary Description Logic. Description Logics 1999
12EEIan Horrocks, Ulrike Sattler, Stephan Tobies: Practical Reasoning for Expressive Description Logics. LPAR 1999: 161-180
11EEFranz Baader, Ulrike Sattler: Expressive Number Restrictions in Description Logics. J. Log. Comput. 9(3): 319-350 (1999)
10EEIan Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. J. Log. Comput. 9(3): 385-410 (1999)
1998
9EEIan Horrocks, Ulrike Sattler: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Description Logics 1998
8 Franz Baader, Ulrike Sattler: Description Logics with Concrete Domains and Aggregation. ECAI 1998: 336-340
1997
7EEFranz Baader, Ulrike Sattler: Description Logics with Aggregates and Concrete Domains. Description Logics 1997
1996
6 Franz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. Description Logics 1996: 3-14
5 Franz Baader, Ulrike Sattler: Knowledge Representation in Process Engineering. Description Logics 1996: 74-78
4 Franz Baader, Ulrike Sattler: Description Logics with Symbolic Number Restrictions. ECAI 1996: 283-287
3 Ulrike Sattler: A Concept Language Extended with Different Kinds of Transitive Roles. KI 1996: 333-345
2 Franz Baader, Ulrike Sattler: Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. KR 1996: 328-339
1995
1EEFrançois Bergeron, Ulrike Sattler: Constructible Differentially Finite Algebraic Series in Several Variables. Theor. Comput. Sci. 144(1&2): 59-65 (1995)

Coauthor Index

1Mikel Egaña Aranguren (Mikel Egaña) [79] [81]
2Carlos Areces [38] [53]
3Franz Baader [2] [4] [5] [6] [7] [8] [11] [25] [27] [32] [37] [46] [56] [61] [63] [66] [86] [91]
4Pedro Barahona [75]
5Johannes Bauer [99] [120]
6Sean Bechhofer [81]
7François Bergeron [1]
8Mokrane Bouzeghoub [26]
9Andrey Bovykin [74]
10Andy Brass [57]
11François Bry (François Bry-Haußer) [44] [75]
12Diego Calvanese [41]
13Stéphane Demri [33]
14Catherine Dolbear [122]
15Nick Drummond [79]
16Corinna Elsenbroich [68]
17Enrico Franconi [14] [66] [75]
18Bernhard Ganter [86] [91]
19Francis Gasse [109]
20Birte Glimm [73] [80] [89] [93] [96] [103] [111]
21Carole A. Goble [58] [62]
22Antoon Goderis [58] [62]
23Bernardo Cuenca Grau [67] [72] [83] [85] [90] [92] [94] [95] [98] [100] [102] [106] [107] [108] [113] [114] [121]
24Volker Haarslev [109]
25Nicola Henze [75]
26Jan Hladik [42]
27Matthew Horridge [79] [99] [104] [105] [115] [119]
28Ian Horrocks [9] [10] [12] [15] [16] [17] [18] [19] [20] [23] [29] [32] [34] [38] [39] [45] [46] [53] [55] [56] [57] [60] [64] [67] [70] [71] [72] [73] [74] [78] [80] [82] [83] [85] [87] [89] [90] [92] [93] [94] [95] [96] [100] [102] [103] [111] [112] [113] [114] [121]
29Duncan Hull [74]
30Ullrich Hustadt [47] [48] [50] [59] [77] [97]
31Ernesto Jiménez-Ruiz [106] [108]
32Yevgeny Kazakov [83] [85] [88] [90] [92] [95] [114]
33Peihong Ke [110]
34Pavel Klinov [118]
35Matthias Klusch [26]
36Roman Kontchakov [116]
37Orna Kupferman [35]
38Oliver Kutz [55] [68] [70] [72]
39Domenico Lembo [66]
40Rafael Berlanga Llavori [106] [108]
41Phillip W. Lord [57] [58] [81]
42Carsten Lutz [13] [22] [24] [30] [31] [38] [40] [43] [44] [53] [54] [61] [63] [66] [89] [96]
43Maja Milicic [61] [63]
44Ralf Molitor [41]
45Ralf Möller [66]
46Boris Motik [47] [48] [49] [50] [52] [59] [69] [71] [77] [82] [87] [94] [97] [98] [100] [102] [107] [112] [113] [121]
47Werner Nutt [26]
48Guoqiang Pan [36] [65]
49Bijan Parsia [67] [76] [94] [99] [101] [104] [105] [115] [118] [119] [120]
50Peter F. Patel-Schneider [67] [94]
51Luca Pulina [116]
52Alan L. Rector [79]
53Riccardo Rosati [66] [71]
54Alan Ruttenberg [122]
55Thomas Schneider [101] [106] [108] [116] [117]
56Mareike Schoop [44]
57Petra Selmer [116]
58Baris Sertkaya [86] [91]
59Robert Stevens (Robert D. Stevens) [57] [74] [79] [81]
60Rudi Studer [49] [52]
61Boontawee Suntisrivaraporn [66]
62Lidia Tendera [40] [43] [54]
63Sergio Tessaris [19] [20] [66]
64Stephan Tobies [12] [13] [15] [16] [17] [18] [19] [20] [23]
65David Toman [76]
66Daniele Turi [57]
67Moshe Y. Vardi [28] [35] [36] [65]
68Katy Wolstencroft (Katherine Wolstencroft) [57] [79]
69Frank Wolter [30] [31] [61] [63] [64] [116]
70Michael Zakharyaschev [116] [117]
71Evgeny Zolin [74] [88]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)