Sriram K. Rajamani 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 keys2010
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali: Compositional may-must program analysis: unleashing the power of alternation. POPL 2010: 43-56
2009
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKiran Deshpande, Pankaj Jalote, Sriram K. Rajamani: Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009 ACM 2009
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani: ISOLATOR: dynamically ensuring isolation in comcurrent programs. ASPLOS 2009: 181-192
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Ashok, Joseph M. Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala: DebugAdvisor: a recommender system for debugging. ESEC/SIGSOFT FSE 2009: 373-382
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani: Verification, Testing and Statistics. FM 2009: 33-40
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani: Verification, Testing and Statistics. ICTAC 2009: 79
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee: Merlin: specification inference for explicit information flow problems. PLDI 2009: 75-86
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani: Verification, Testing and Statistics. RV 2009: 25
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur: The YogiProject: Software Property Checking via Static Analysis and Testing. TACAS 2009: 178-181
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAditya V. Nori, Sriram K. Rajamani: Verification, Testing and Statistics. TAP 2009: 6-9
2008
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGautam Shroff, Pankaj Jalote, Sriram K. Rajamani: Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008 ACM 2008
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga: EON: modeling and analyzing dynamic access control systems with logic programs. ACM Conference on Computer and Communications Security 2008: 381-390
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani: Tests, Proofs and Refinements. ATVA 2008: 1-2
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Stefansen, Sriram K. Rajamani, Parameswaran Seshan: A Work Allocation Language with Soft Constraints. CAiSE Forum 2008: 85-88
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Stefansen, Sriram K. Rajamani, Parameswaran Seshan: SoftAlloc: A Work Allocation Language with Soft Constraints. ICWS 2008: 441-448
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNels Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons: Proofs from tests. ISSTA 2008: 3-14
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhu Gopinathan, Sriram K. Rajamani: Enforcing object protocols by combining static and runtime analysis. OOPSLA 2008: 245-260
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A type system for data-flow integrity on windows vista. PLAS 2008: 89-100
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhu Gopinathan, Sriram K. Rajamani: Runtime Monitoring of Object Invariants with Guarantee. RV 2008: 158-172
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani: Automatically Refining Abstract Interpretations. TACAS 2008: 443-458
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani: Combining Tests and Proofs. VSTTE 2008: 4-5
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A Type System for Data-Flow Integrity on Windows Vista CoRR abs/0803.3230: (2008)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin: Automating Software Testing Using Program Analysis. IEEE Software 25(5): 30-37 (2008)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani: A type system for data-flow integrity on Windows Vista. SIGPLAN Notices 43(12): 9-20 (2008)
2007
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani: Static and Dynamic Analysis: Better Together. APLAS 2007: 302
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani: Programming asynchronous layers with CLARITY. ESEC/SIGSOFT FSE 2007: 65-74
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha: Verification of Object Relational Maps. SEFM 2007: 283-292
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani: Software Is More Than Code. J. UCS 13(5): 602-606 (2007)
2006
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani: Automatic Property Checking for Software: Past, Present and Future. ASE 2006: 12
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner: Thorough static analysis of device drivers. EuroSys 2006: 73-85
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPrasad Naldurg, Stefan Schwoon, Sriram K. Rajamani, John Lambert: NETRA: : seeing through access control. FMSE 2006: 55-66
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani: Automatic Property Checking for Software: Past, Present and Future. SEFM 2006: 18-20
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani: SYNERGY: a new algorithm for property checking. SIGSOFT FSE 2006: 117-127
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBhargav S. Gulavani, Sriram K. Rajamani: Counterexample Driven Refinement for Abstract Interpretation. TACAS 2006: 474-488
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani: Intelligent Systems and Formal Methods in Software Engineering. IEEE Intelligent Systems 21(6): 71-81 (2006)
2005
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKousha Etessami, Sriram K. Rajamani: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings Springer 2005
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani: Sound Transaction-Based Reduction Without Cycle Detection. SPIN 2005: 106-122
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Todd D. Millstein, Sriram K. Rajamani: Polymorphic predicate abstraction. ACM Trans. Program. Lang. Syst. 27(2): 314-343 (2005)
2004
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof: Stuck-Free Conformance. CAV 2004: 242-254
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie: Zing: A Model Checker for Concurrent Software. CAV 2004: 484-487
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie: Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR 2004: 1-15
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRandal E. Bryant, Sriram K. Rajamani: Verifying properties of hardware and software by predicate abstraction and model checking. ICCAD 2004: 437-438
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. IFM 2004: 1-20
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani, Jakob Rehof: Models for Contract Conformance. ISoLA 2004: 181-196
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJakob Rehof, Sriram K. Rajamani: Models for Contract Conformance. ISoLA (Preliminary proceedings) 2004: 253-260
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaz Qadeer, Sriram K. Rajamani, Jakob Rehof: Summarizing procedures in concurrent programs. POPL 2004: 245-255
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani: Refining Approximations in Software Predicate Abstraction. TACAS 2004: 388-403
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy: Righting Software. IEEE Software 21(3): 92-100 (2004)
2003
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings Springer 2003
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Mayur Naik, Sriram K. Rajamani: From symptom to cause: localizing errors in counterexample traces. POPL 2003: 97-105
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian abstraction for model checking C programs. STTT 5(1): 49-58 (2003)
2002
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani, Jakob Rehof: Conformance Checking for Models of Asynchronous Message Passing Software. CAV 2002: 166-179
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: The SLAM project: debugging system software via static analysis. POPL 2002: 1-3
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSagar Chaki, Sriram K. Rajamani, Jakob Rehof: Types as models: model checking message-passing programs. POPL 2002: 45-57
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer: Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS 2002: 230-246
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Andreas Podelski, Sriram K. Rajamani: Relative Completeness of Abstraction Refinement for Software Model Checking. TACAS 2002: 158-172
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: An assume-guarantee rule for checking simulation. ACM Trans. Program. Lang. Syst. 24(1): 51-64 (2002)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. Inf. Comput. 173(1): 64-81 (2002)
2001
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: The SLAM Toolkit. CAV 2001: 260-264
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: Bebop: a path-sensitive interprocedural dataflow engine. PASTE 2001: 97-103
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani: Automatic Predicate Abstraction of C Programs. PLDI 2001: 203-213
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSriram K. Rajamani, Jakob Rehof: A Behavioral Module System for the Pi-Calculus. SAS 2001: 375-394
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: Automatically Validating Temporal Safety Properties of Interfaces. SPIN 2001: 103-122
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sagar Chaki, Sriram K. Rajamani: Parameterized Verification of Multithreaded Software Libraries. TACAS 2001: 158-173
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Andreas Podelski, Sriram K. Rajamani: Boolean and Cartesian Abstraction for Model Checking C Programs. TACAS 2001: 268-283
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods in System Design 18(2): 97-116 (2001)
2000
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. ICCAD 2000: 245-252
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ball, Sriram K. Rajamani: Bebop: A Symbolic Model Checker for Boolean Programs. SPIN 2000: 113-130
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Sriram K. Rajamani: Fair Bisimulation. TACAS 2000: 299-314
1999
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Assume-Guarantee Refinement Between Different Time Scales. CAV 1999: 208-221
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV 1999: 301-315
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani: Formal specification and verification of a dataflow processor array. ICCAD 1999: 494-499
1998
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: You Assume, We Guarantee: Methodology and Case Studies. CAV 1998: 440-451
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: MOCHA: Modularity in Model Checking. CAV 1998: 521-525
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: An Assume-Guarantee Rule for Checking Simulation. FMCAD 1998: 421-432
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani: Symbolic Exploration of transition Hierarchies. TACAS 1998: 330-344
1997
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Partial-Order Reduction in Symbolic State Space Exploration. CAV 1997: 340-351
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. CONCUR 1997: 273-287

Coauthor Index

1Stephen Adams [24]
2Rajeev Alur [2] [3] [5] [13]
3Tony Andrews [38] [39]
4B. Ashok [75]
5Thomas Ball [11] [14] [15] [16] [18] [19] [20] [23] [24] [26] [28] [29] [30] [31] [32] [36] [41] [44] [49]
6Anindya Banerjee [72]
7Bernhard Beckert [44]
8Nels Beckman [63]
9Ella Bounimova [49]
10Robert K. Brayton [2] [13]
11Randal E. Bryant [37]
12Sagar Chaki [15] [25]
13Supratik Chakraborty [59]
14Prakash Chandrasekaran [53]
15Avik Chaudhuri [55] [57] [61] [67]
16Christopher L. Conway [53]
17Byron Cook [32] [36] [49]
18Manuvir Das [24] [31]
19Satyaki Das [32]
20Robert DeLine [31]
21Kiran Deshpande [77]
22Kousha Etessami [43]
23Manuel Fähndrich [31]
24Cédric Fournet [40]
25Patrice Godefroid [56] [78]
26Madhu Gopinathan [58] [60] [62]
27Cordell Green [44]
28Bhargav S. Gulavani [45] [46] [59]
29Reiner Hähnle [44]
30Jonathan de Halleux [56]
31Thomas A. Henzinger [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [21] [22] [46]
32C. A. R. Hoare (Tony Hoare) [40] [44]
33Pankaj Jalote [68] [77]
34Sumit Kumar Jha [52]
35Joseph M. Joy [53] [75]
36Yamini Kannan [46]
37Orna Kupferman [1] [21]
38John Lambert [48]
39James R. Larus [31]
40Sorin Lerner [24]
41Michael Y. Levin [56]
42Vladimir Levin [36] [42] [49]
43Hongkang Liang [75]
44Jakob Lichtenberg [49]
45Xiaojun Liu [7]
46V. Benjamin Livshits [72]
47Rupak Majumdar [18]
48Freddy Y. C. Mang [5]
49Con McGarvey [49]
50Krishna K. Mehra [52]
51Todd D. Millstein [18] [41]
52Mayur Naik [29]
53Prasad Naldurg [48] [55] [57] [61] [67]
54Aditya V. Nori [46] [56] [58] [59] [63] [69] [70] [72] [78]
55Bohus Ondrusek [49]
56Robert Palmer [42]
57Jonathan D. Pincus [31]
58Andreas Podelski [14] [23] [28]
59Shaz Qadeer [2] [4] [5] [6] [7] [8] [9] [12] [13] [22] [33] [38] [39] [42]
60G. Ramalingam (Ganesan Ramalingam) [67] [76]
61Venkatesh Prasad Ranganath [76]
62Silvio Ranise [44]
63Jakob Rehof [17] [25] [27] [33] [34] [35] [39] [40]
64Wolfram Schulte [56]
65Stefan Schwoon [48]
66Mark Seigle [24]
67Parameswaran Seshan [64] [65]
68Gautam Shroff [68]
69Robert J. Simmons [63]
70A. Prasad Sistla [52]
71Douglas R. Smith [44]
72Gopal Srinivasa [75]
73Christian Stefansen [64] [65]
74Serdar Tasiran [4] [5] [22]
75SaiDeep Tetali [70] [78]
76Aditya V. Thakur [70]
77Nikolai Tillmann [56]
78Cesare Tinelli [44]
79Abdullah Ustuner [49]
80Vipindeep Vangala [75]
81Kapil Vaswani [76]
82Lakshmisubrahmanyam Velaga [67]
83Ramanathan Venkatapathy [31]
84Westley Weimer [24]
85Yichen Xie [38] [39]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)