Harold Boley 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 keys2012
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKalliopi Kravari, Nick Bassiliades, Harold Boley: Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder. Expert Syst. Appl. 39(10): 9571-9587 (2012)
2011
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManish Joshi, Virendrakumar C. Bhavsar, Harold Boley: Compromise Matching in P2P e-Marketplaces: Concept, Algorithm and Use Case. MIWAI 2011: 384-394
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTara Athan, Harold Boley: Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG. RuleML America 2011: 17-32
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonica Palmirani, Guido Governatori, Antonino Rotolo, Said Tabet, Harold Boley, Adrian Paschke: LegalRuleML: XML-Based Rules and Norms. RuleML America 2011: 298-312
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley: Principles of the SymposiumPlanner Instantiations of Rule Responder. RuleML America 2011: 97-111
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. RuleML Europe 2011: 194-211
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKalliopi Kravari, Taylor Michael Osmun, Harold Boley, Nick Bassiliades: Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems. RuleML Europe 2011: 44-51
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerje Aaberge, Rajendra Akerkar, Harold Boley: An intensional perspective on the semantic and pragmatic web. IJMSO 6(1): 74-80 (2011)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdrian Paschke, Harold Boley: Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web. International Journal on Artificial Intelligence Tools 20(6): 1043-1081 (2011)
2010
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrfan Ul Haq, Erich Schikuta, Ivona Brandic, Adrian Paschke, Harold Boley: SLA Validation of Service Value Chains. GCC 2010: 308-313
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJidi Zhao, Harold Boley, Weichang Du: Reasoning with the Fuzzy Description Logic ƒzSI. IJCCI (ICFC-ICNC) 2010: 21-30
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJidi Zhao, Harold Boley, Weichang Du: A Fuzzy Logic Based Approach to Expressing and Reasoning with Uncertain Knowledge on the Semantic Web. IJCCI (Selected Papers) 2010: 167-181
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Adrian Paschke, Omair Shafiq: RuleML 1.0: The Overarching Specification of Web Rules. RuleML 2010: 162-178
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuh-Jong Hu, Harold Boley: SemPIF: A Semantic Meta-policy Interchange Format for Multiple Web Policies. Web Intelligence 2010: 302-307
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdrian Paschke, Alexander Kozlenkov, Harold Boley: A Homogeneous Reaction Rule Language for Complex Event Processing CoRR abs/1008.0823: (2010)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Michael Kifer: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Trans. Knowl. Data Eng. 22(11): 1593-1608 (2010)
2009
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Taylor Michael Osmun, Benjamin Larry Craig: Social Semantic Rule Sharing and Querying in Wellness Communities. ASWC 2009: 347-361
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley: Rule-Based Workflow Validation of Hierarchical Service Level Agreements. GPC Workshops 2009: 96-103
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManish Joshi, Virendra Bhavsar, Harold Boley: A knowledge representation model for matchmaking systems in e-marketplaces. ICEC 2009: 362-365
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManish Joshi, Virendrakumar C. Bhavsar, Harold Boley, Ravindra Vaidya: Hunt Fortune: A System for P2P E-Marketplace Matchmaking. ICETET 2009: 420-427
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJidi Zhao, Harold Boley, Weichang Du: Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. ICIC (2) 2009: 111-123
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheng Gao, Harold Boley, Darka Mioc, Francois Anton, Xiaolun Yi: Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information. RuleML 2009: 272-281
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. RuleML 2009: 29-42
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Taylor Michael Osmun, Benjamin Larry Craig: WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation. RuleML 2009: 43-52
2008
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Larry Craig, Harold Boley: Personal Agents in the Rule Responder Architecture. RuleML 2008: 150-165
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi: A RuleML Study on Integrating Geographical and Health Information. RuleML 2008: 174-181
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagda Ilieva, Harold Boley: Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. SEKE 2008: 478-483
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJidi Zhao, Harold Boley: Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW 2008
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJidi Zhao, Harold Boley: Combining Fuzzy Description Logics and Fuzzy Logic Programs. Web Intelligence/IAT Workshops 2008: 273-278
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYevgen Biletskiy, Harold Boley, Girish R. Ranganathan, Harold Boley: RuleML-based learning object interoperability on the Semantic Web. Interact. Techn. Smart Edu. 5(1): 39-58 (2008)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYevgen Biletskiy, Harold Boley, Girish R. Ranganathan, Harold Boley: RuleML-based learning object interoperability on the Semantic Web. Interact. Techn. Smart Edu. 5(1): 39-58 (2008)
2007
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoanerges Aleman-Meza, Uldis Bojars, Harold Boley, John G. Breslin, Malgorzata Mochol, Lyndon J. B. Nixon, Axel Polleres, Anna V. Zhdanova: Combining RDF Vocabularies for Expert Finding. ESWC 2007: 235-250
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Adrian Paschke: Expert Querying and Redirection with Rule Responder. FEWS 2007: 9-22
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig: Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. ICPW 2007: 17-28
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Mei, Zuoquan Lin, Harold Boley: ALCuP: An Integration of Description Logic and General Rules. RR 2007: 163-177
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres: Rule Interchange on the Web. Reasoning Web 2007: 269-309
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Are Your Rules Online? Four Web Rule Essentials. RuleML 2007: 7-24
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar: The DATALOGDL Combination of Deduction Rules and Description Logics. Computational Intelligence 23(3): 356-372 (2007)
2006
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin: DatalogDL: Datalog Rules Parameterized by Description Logics. CSWWS 2006: 171-187
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLe Thi Thu Thuy, Doan Dai Duong, Virendrakumar C. Bhavsar, Harold Boley: A Bottom-up Strategy for Query Decomposition. ICDIM 2006: 215-221
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Simon, Georg Lausen, Harold Boley: From HTML documents to web tables and rules. ICEC 2006: 125-131
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: The RuleML Family of Web Rule Languages. PPSWR 2006: 1-17
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing Mei, Harold Boley: Interpreting SWRL Rules in RDF Graphs. Electr. Notes Theor. Comput. Sci. 151(2): 53-69 (2006)
2005
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley: A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. IASSE 2005: 55-60
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley: Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. IICAI 2005: 2559-2572
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer: Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters. Rule Languages for Interoperability 2005
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Jing Mei, Michael Sintek, Gerd Wagner: RDF/RuleML Interoperability. Rule Languages for Interoperability 2005
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner: RuleML Position Statement. Rule Languages for Interoperability 2005
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel: A Realistic Architecture for the Semantic Web. RuleML 2005: 17-29
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer: The OO jDREW Reference Implementation of RuleML. RuleML 2005: 218-223
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Maclachlan, Harold Boley: Semantic Web Rules for Business Information. Web Technologies, Applications, and Services 2005: 146-153
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Virendrakumar C. Bhavsar, David Hirtle, Anurag Singh, Zhongwei Sun, Lu Yang: A match-making system for learners and learning objects. Interact. Techn. Smart Edu. 2(3): 171-178 (2005)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Lemire, Harold Boley, Sean McGrath, Marcel Ball: Collaborative filtering and inference rules for context-aware learning object recommendation. Interact. Techn. Smart Edu. 2(3): 179-188 (2005)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Harold Boley: Preface. J. Web Sem. 3(1): 3-4 (2005)
2004
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrigoris Antoniou, Harold Boley: Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings Springer 2004
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley: The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. Web Intelligence 2004: 628-631
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVirendrakumar C. Bhavsar, Harold Boley, Lu Yang: A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. Computational Intelligence 20(4): 584-602 (2004)
2003
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: An Introduction to Object-Oriented RuleML. EPIA 2003: 4
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. RuleML 2003: 1-16
2001
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP 2001: 124-139
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP (LNCS Volume) 2001: 5-22
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Said Tabet, Gerd Wagner: Design Rationale for RuleML: A Markup Language for Semantic Web Rules. SWWS 2001: 381-401
2000
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Relationships between Logic Programming and RDF. PRICAI Workshops 2000: 201-218
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Markup Languages for Functional-Logic Programming. WFLP 2000: 391-403
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Beziehungen zwischen Logikprogrammierung und XML. WLP 2000: 19-34
1999
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: A Tight, Practical Integration of Relations and Functions. Springer 1999
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Functional-Logic Integration via Minimal Reciprocal Extensions. Theor. Comput. Sci. 212(1-2): 77-99 (1999)
1998
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs. EJC 1998: 307-326
1997
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: A Relational-Functional Integration for Declarative Programming. Foundations of Computer Science: Potential - Theory - Cognition 1997: 351-358
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. WLP 1997: 0-
1996
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek: Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. KI 10(2): 31-33 (1996)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Funktional-logische Sprachen. KI 10(3): 62-63 (1996)
1995
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer: An Environment for Exploring and Validating Declarative Knowledge. LPE 1995
1993
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Finite Domains and Exclusions as First-Class Citizens. ELP 1993: 37-61
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, François Bry, Ulrich Geske: Neuere Entwicklungen der deklarativen KI-Programmierung. KI 1993: 226-236
1992
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: A Direct Semantic Characterization of RELFUN. ELP 1992: 120-149
1991
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Michael M. Richter: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings Springer 1991
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Extended Logic-plus-Functional Programming. ELP 1991: 45-72
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov: Declarative and Procedural Paradigms - Do they Really Compete? (Panel). PDK 1991: 383-398
1988
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Iconic-Declarative Programming and Adaptation Rules. ECAI 1988: 27-29
1983
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: From Pattern-Directed to Adapter-Driven Computation via Function-Applying Matching. GI Jahrestagung 1983: 86-100
1981
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: AI Languages and AI Machines: An Overview. GWAI 1981: 136-155
1978
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: The Fit Approach to AI Languages. AISB/GI (ECAI) 1978: 35-41
1977
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarold Boley: Directed Recursive Labelnode Hypergraphs: A New Representation-Language. Artif. Intell. 9(1): 49-85 (1977)

Coauthor Index

1Terje Aaberge [77]
2Andreas Abecker [12]
3Rajendra Akerkar [77]
4Boanerges Aleman-Meza [53]
5Chaudhry Usman Ali [80]
6Francois Anton (François Anton) [59] [63]
7Grigoris Antoniou [29] [30] [31]
8Tara Athan [82]
9Marcel Ball [32] [35] [39]
10Nick Bassiliades (N. Bassiliades) [78] [84]
11Virendra Bhavsar [66]
12Virendrakumar C. Bhavsar (Virendra C. Bhavsar) [28] [33] [40] [41] [45] [46] [47] [65] [83]
13Yevgen Biletskiy [55]
14Uldis Bojars [53]
15Ivona Brandic [75]
16John G. Breslin [53]
17Jos de Bruijn [36]
18François Bry (François Bry-Haußer) [10]
19Benjamin Larry Craig [51] [60] [61] [68]
20Mike Dean (Michael Dean) [37]
21Weichang Du [64] [73] [74]
22Doan Dai Duong [45]
23Anna Fensel (Anna V. Zhdanova) [53]
24Dieter Fensel [36]
25Sheng Gao [59] [63]
26Ulrich Geske [10]
27Wolfgang Goerigk [14]
28Guido Governatori [81]
29Benjamin N. Grosof [37]
30Irfan Ul Haq [67] [75]
31Knut Hinkelmann [12]
32David Hirtle [33] [35] [39]
33Ulrich Hoffmann [14]
34Yuh-Jong Hu [71]
35Magda Ilieva (M. G. Ilieva) [58]
36Manish Joshi [65] [66] [83]
37Michael Kifer [36] [37] [49] [69]
38Alexander Kozlenkov [51] [70]
39Kalliopi Kravari [78] [84]
40Georg Lausen [44]
41Daniel Lemire [32]
42Jie Li [46] [47]
43Zuoquan Lin [46] [47] [50]
44Anna Maclachlan [34]
45Sean McGrath [32]
46Jing Mei [35] [38] [39] [42] [46] [47] [50]
47Micha Meier [6]
48Darka Mioc [59] [63]
49Malgorzata Mochol [53]
50Chris Moss [6]
51Lyndon J. B. Nixon [53]
52Taylor Michael Osmun [61] [68] [78]
53Monica Palmirani [81]
54Adrian Paschke [51] [52] [67] [70] [72] [75] [76] [80] [81]
55Paula-Lavinia Patranjan [49]
56Markus Perling [14]
57Axel Polleres [49] [53]
58Girish R. Ranganathan [55]
59Michael M. Richter [6] [8]
60Antonino Rotolo [81]
61Biplab Kumer Sarker [40] [41]
62Erich Schikuta [67] [75]
63Franz Schmalhofer [12]
64Omair Shafiq [72]
65Kai Simon [44]
66Anurag Singh [33]
67Michael Sintek [14] [38]
68Bruce Spencer [35] [39]
69Zhongwei Sun [33]
70Said Tabet [23] [29] [37] [81]
71Le Thi Thu Thuy [45]
72Ravindra Vaidya [65]
73Andrei Voronkov [6]
74Holger Wache [12]
75Gerd Wagner [23] [29] [37] [38]
76Lu Yang [28] [33] [40] [41]
77Xiaolun Yi [59] [63]
78Jidi Zhao [56] [57] [64] [73] [74]
79Zhili Zhao [80]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page