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

Scott A. Smolka

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

2009
117EEZijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu: Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336
116EERadu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci: Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3): 97-105 (2009)
2008
115EEPei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva: Formal Analysis of Abnormal Excitation in Cardiac Tissue. CMSB 2008: 141-155
114EEAnu Singh, C. R. Ramakrishnan, Scott A. Smolka: A Process Calculus for Mobile Ad Hoc Networks. COORDINATION 2008: 296-314
113EEEzio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka: StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502
112EEOliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka: Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. HASE 2008: 362-370
111EERadu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska: Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC 2008: 229-243
110EESean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Software monitoring with bounded overhead. IPDPS 2008: 1-8
109 Oliviero Riganelli, Radu Grosu, Scott A. Smolka: Power Optimization in Fault-Tolerant MANETs. MASCOTS 2008: 379-380
108EEEzio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008)
2007
107EERadu Grosu, S. Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka: Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC 2007: 245-258
106EESean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok: Model Predictive Control for Memory Profiling. IPDPS 2007: 1-7
105EESamik Basu, Scott A. Smolka: Model checking the Java metalocking algorithm. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
2006
104EERance Cleaveland, Scott A. Smolka, Steve Sims: An Instrumentation-Based Approach to Controller Model Validation. ASWSD 2006: 84-97
103EEEugene W. Stark, Rance Cleaveland, Scott A. Smolka: Probabilistic I/O Automata: Theories of Two Equivalences. CONCUR 2006: 343-357
102EESean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok: Compiler-assisted software verification using plug-ins. IPDPS 2006
101EERadu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis: Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop 2006: 111-124
100EERadu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka: Open-Source Model Checking. Electr. Notes Theor. Comput. Sci. 144(3): 27-44 (2006)
99EEJirí Srba, Scott A. Smolka: Preface. Electr. Notes Theor. Comput. Sci. 149(1): 1-2 (2006)
98EERadu Grosu, Scott A. Smolka: Monte Carlo Methods for Process Algebra. Electr. Notes Theor. Comput. Sci. 162: 203-207 (2006)
97EESean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok: Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. Electr. Notes Theor. Comput. Sci. 164(4): 41-52 (2006)
2005
96EERadu Grosu, Scott A. Smolka: Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. ACSD 2005: 6-14
95EEPing Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka: A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL 2005: 113-127
94EERadu Grosu, Scott A. Smolka: Monte Carlo Model Checking. TACAS 2005: 271-286
93EECurtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka: FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. TACAS 2005: 563-569
2004
92EESamik Basu, Diptikalyan Saha, Scott A. Smolka: Localizing Program Errors for Cimple Debugging. FORTE 2004: 79-96
91 Radu Grosu, Scott A. Smolka: Quantitative Model checking. ISoLA (Preliminary proceedings) 2004: 165-174
90EEDina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger: Turing machines, transition systems, and interaction. Inf. Comput. 194(2): 101-128 (2004)
89EEFaron Moller, Scott A. Smolka, Jirí Srba: On the computational complexity of bisimulation, redux. Inf. Comput. 194(2): 129-143 (2004)
88EEDavid Hansel, Rance Cleaveland, Scott A. Smolka: Distributed prototyping from validated specifications. Journal of Systems and Software 70(3): 275-298 (2004)
87EEPing Yang, C. R. Ramakrishnan, Scott A. Smolka: A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. STTT 6(1): 38-66 (2004)
2003
86 Dina Q. Goldin, Alexander A. Shvartsman, Scott A. Smolka, Jeffrey Scott Vitter, Stanley B. Zdonik: PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003 ACM 2003
85EEYifei Dong, C. R. Ramakrishnan, Scott A. Smolka: Evidence Explorer: A Tool for Exploring Model-Checking Proofs. CAV 2003: 215-218
84EEEugene W. Stark, Rance Cleaveland, Scott A. Smolka: A Process-Algebraic Language for Probabilistic I/O Automata. CONCUR 2003: 189-203
83EEYifei Dong, C. R. Ramakrishnan, Scott A. Smolka: Model Checking and Evidence Exploration. ECBS 2003: 214-223
82EESamik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka: Generation of All Counter-Examples for Push-Down Systems. FORTE 2003: 79-94
81 Faron Moller, Scott A. Smolka: On the Computational Complexity of Bisimulation, Redux. PCK50 2003: 55-59
80EEPing Yang, C. R. Ramakrishnan, Scott A. Smolka: A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. VMCAI 2003: 116-131
79EEYifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka: Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. STTT 4(4): 505-528 (2003)
2002
78EERadu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208
77EEYifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka: Vacuity Checking in the Modal Mu-Calculus. AMAST 2002: 147-162
2001
76EERadu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan: Automated Software Engineering Using Concurrent Class Machines. ASE 2001: 297-
75 M. J. P. van Osch, Scott A. Smolka: Finite-State Analysis of the CAN Bus Protocol. HASE 2001: 42-
74EEK. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka: Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. ICLP 2001: 227-241
73EEDavid Hansel, Rance Cleaveland, Scott A. Smolka: Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping 2001: 97-102
72EER. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Model-Carrying Code (MCC): a new paradigm for mobile-code security. NSPW 2001: 23-30
71EEDina Q. Goldin, Scott A. Smolka, Peter Wegner: Turing Machines, Transition Systems, and Interaction. Electr. Notes Theor. Comput. Sci. 52(1): (2001)
70EEAnna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka: Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80(1): 3-13 (2001)
2000
69 C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan: XMC: A Logic-Programming-Based Verification Toolset. CAV 2000: 576-580
68EERance Cleaveland, Xiaoqun Du, Scott A. Smolka: GCCS: A Graphical Coordination Language for System Specification. COORDINATION 2000: 284-298
67EESamik Basu, Scott A. Smolka, Orson R. Ward: Model Checking the Java Meta-Locking Algorithm. ECBS 2000: 342-350
66 Eugene W. Stark, Scott A. Smolka: A complete axiom system for finite-state probabilistic processes. Proof, Language, and Interaction 2000: 571-596
65EEAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Verification of Parameterized Systems Using Logic Program Transformations. TACAS 2000: 172-187
64EEXiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka: Real-Time Verification Techniques for Untimed Systems. Electr. Notes Theor. Comput. Sci. 39(3): (2000)
1999
63EEMadhavan Mukund, K. Narayan Kumar, Scott A. Smolka: Faster Model Checking for Open Systems. ASIAN 1999: 227-238
62EEYifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White: Practical Considerations in Protocol Verification: The E-2C Case Study. ICECCS 1999: 153-
61EEShiyong Lu, Scott A. Smolka: Model Checking the Secure Electronic Transaction (SET) Protocol. MASCOTS 1999: 358-
60EEYifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren: Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS 1999: 74-88
59 Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen: Testing Preorders for Probabilistic Processes. Inf. Comput. 154(2): 93-148 (1999)
58EEXiaoqun Du, Scott A. Smolka, Rance Cleaveland: Local Model Checking and Protocol Analysis. STTT 2(3): 219-241 (1999)
1998
57EEAnna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky: Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404
56 K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka: Infinite Probabilistic and Nonprobabilistic Testing. FSTTCS 1998: 209-220
55EEXinxin Liu, Scott A. Smolka: Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). ICALP 1998: 53-66
54 Eugene W. Stark, Scott A. Smolka: Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. LICS 1998: 466-477
53EEBaoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren: Logic Programming and Model Checking. PLILP/ALP 1998: 1-20
52EEXinxin Liu, C. R. Ramakrishnan, Scott A. Smolka: Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS 1998: 5-19
51EEAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Tabulation-based Induction Proofs with Application to Automated Verification. TAPD 1998: 83-88
50EEYuh-Jzer Joung, Scott A. Smolka: Strong Interaction Fairness Via Randomization. IEEE Trans. Parallel Distrib. Syst. 9(2): 137-149 (1998)
1997
49 Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka: Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. AMAST 1997: 185-198
48 Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren: Efficient Model Checking Using Tabled Resolution. CAV 1997: 143-154
47 Y. S. Ramakrishna, Scott A. Smolka: Partial-Order Reduction in the Weak Modal Mu-Calculus. CONCUR 1997: 5-24
46EESue-Hwey Wu, Scott A. Smolka, Eugene W. Stark: Composition and Behaviors of Probabilistic I/O Automata. Theor. Comput. Sci. 176(1-2): 1-38 (1997)
1996
45 Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401
44 Yuh-Jzer Joung, Scott A. Smolka: Strong Interaction Fairness via Randomization. ICDCS 1996: 475-483
43 Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka: A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479
42 Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory Software Development Environment. TACAS 1996: 391-395
41 Rance Cleaveland, Scott A. Smolka: Strategic Directions in Concurrency Research. ACM Comput. Surv. 28(4): 607-625 (1996)
40 Rocco De Nicola, Scott A. Smolka: Concurrency: Theory and Practice. ACM Comput. Surv. 28(4es): 52 (1996)
39 Rance Cleaveland, Scott A. Smolka: Strategic Directions in Computing Research-Concurrency Working Group Report. Bulletin of the EATCS 60: 97-122 (1996)
38 Scott A. Smolka, Bernhard Steffen: Priority as Extremal Probability. Formal Asp. Comput. 8(5): 585-606 (1996)
37EEYuh-Jzer Joung, Scott A. Smolka: A Comprehensive Study of the Complexity of Multiparty Interaction. J. ACM 43(1): 75-115 (1996)
1995
36 Insup Lee, Scott A. Smolka: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings Springer 1995
35 Oleg Sokolsky, Scott A. Smolka: Local Model Checking for Real-Time Systems (Extended Abstract). CAV 1995: 211-224
34 Faron Moller, Scott A. Smolka: On the Computational Complexity of Bisimulation. ACM Comput. Surv. 27(2): 287-289 (1995)
33 Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen: Reactive, Generative and Stratified Models of Probabilistic Processes Inf. Comput. 121(1): 59-80 (1995)
32 Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka: Axiomatizing Probabilistic Processes: ACP with Generative Probabilities Inf. Comput. 121(2): 234-255 (1995)
1994
31 Oleg Sokolsky, Scott A. Smolka: Incremental Model Checking in the Modal Mu-Calculus. CAV 1994: 351-363
30 Andrew C. Uselton, Scott A. Smolka: A Compositional Semantics for Statecharts using Labeled Transition Systems. CONCUR 1994: 2-17
29 Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka: Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR 1994: 497-512
28 Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark: Composition and Behaviors of Probabilistic I/O Automata. CONCUR 1994: 513-528
27 Shipei Zhang, Oleg Sokolsky, Scott A. Smolka: On the Parallel Complexity of Model Checking in the Modal Mu-Calculus LICS 1994: 154-163
26 Andrew C. Uselton, Scott A. Smolka: A Process Algebraic Semantics for Statecharts via State Refinement. PROCOMET 1994: 267-286
25 Rajiv Gupta, Scott A. Smolka, Shaji Bhaskar: On Randomization in Sequential and Distributed Algorithms. ACM Comput. Surv. 26(1): 7-86 (1994)
24EEYuh-Jzer Joung, Scott A. Smolka: Coordinating First-Order Multiparty Interactions. ACM Trans. Program. Lang. Syst. 16(3): 954-985 (1994)
1992
23 Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka: Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). CONCUR 1992: 472-485
22 Shipei Zhang, Scott A. Smolka: Towards efficient parallelization of equivalence checking algorithms. FORTE 1992: 121-135
21 Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico: Testing Preorders for Probabilistic Processes. ICALP 1992: 708-719
20 Yuh-Jzer Joung, Scott A. Smolka: A Comprehensive Study of the Complexity of Multiparty Interaction. POPL 1992: 142-153
19 Michael Kifer, Scott A. Smolka: OSP: An Environment for Operating System Projects. Operating Systems Review 26(4): 98-100 (1992)
1991
18 Yuh-Jzer Joung, Scott A. Smolka: Coordinating First-Order Multiparty Interactions. POPL 1991: 209-220
1990
17 Chi-Chang Jou, Scott A. Smolka: Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. CONCUR 1990: 367-383
16 Scott A. Smolka, Bernhard Steffen: Priority as Extremal Probability. CONCUR 1990: 456-466
15 Yuh-Jzer Joung, Scott A. Smolka: A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication. ICPP (3) 1990: 311-318
14 Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts: Reactive, Generative, and Stratified Models of Probabilistic Processes LICS 1990: 130-141
13 Paris C. Kanellakis, Scott A. Smolka: CCS Expressions, Finite State Processes, and Three Problems of Equivalence Inf. Comput. 86(1): 43-68 (1990)
1988
12 Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone, Robert M. Shapiro: Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems. Specification and Verification of Concurrent Systems 1988: 140-152
11 John H. Reif, Scott A. Smolka: The Complexity of Reachability in Distributed Communicating Processes. Acta Inf. 25(3): 333-354 (1988)
10 Paris C. Kanellakis, Scott A. Smolka: On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. Algorithmica 3: 421-450 (1988)
9EEAlessandro Giacalone, Scott A. Smolka: Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. IEEE Trans. Software Eng. 14(6): 787-802 (1988)
1987
8 Tommaso Bolognesi, Scott A. Smolka: Fundamental Results for the Verification of Observational Equivalence: A Survey. PSTV 1987: 165-179
7 Gurdip Singh, Scott A. Smolka, I. V. Ramakrishnan: Distributed Algorithms for Tree Pattern Matching. WDAG 1987: 92-107
1985
6 Paris C. Kanellakis, Scott A. Smolka: On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. PODC 1985: 23-38
1984
5 Saumya K. Debray, Ariel J. Frank, Scott A. Smolka: On the Existence and Construction of Robust Communication Protocals for Unreliable Channels. FSTTCS 1984: 136-151
4 Scott A. Smolka, Ariel J. Frank, Saumya K. Debray: Testing Protocol Robustness the CCS Way. PSTV 1984: 93-108
3 Scott A. Smolka: Polynomial-Time Analysis for a Class of Communicating processes. Symposium on Programming 1984: 250-262
1983
2 Paris C. Kanellakis, Scott A. Smolka: CCS Expressions, Finite State Processes, and THree Problems of Equivalence. PODC 1983: 228-240
1 Peter Wegner, Scott A. Smolka: Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives. IEEE Trans. Software Eng. 9(4): 446-462 (1983)

Coauthor Index

1Bashar Al-Rawi [117]
2Paul C. Attie [90]
3Jos C. M. Baeten [23] [32]
4Ezio Bartocci [108] [111] [113] [116]
5Samik Basu [67] [82] [92] [93] [105]
6Maria Rita Di Berardini [108]
7Jan A. Bergstra [23] [32]
8Shaji Bhaskar [25]
9Tommaso Bolognesi [8]
10Sean Callanan [97] [102] [106] [110]
11Rance Cleaveland [21] [29] [39] [41] [42] [43] [45] [56] [57] [58] [59] [68] [70] [73] [78] [84] [88] [103] [104]
12Flavio Corradini [108] [111] [113] [116]
13Baoqiu Cui [53]
14Samir R. Das [112]
15Zeynep Dayar [29] [59]
16David J. Dean [110]
17Saumya K. Debray [4] [5]
18Yifei Dong [53] [60] [62] [69] [77] [79] [83] [85] [95]
19Xiaoqun Du [49] [53] [58] [60] [64] [68] [69] [79]
20Emilia Entcheva [107] [108] [111] [115] [116]
21Ariel J. Frank [4] [5]
22Alessandro Giacalone [9] [12]
23Rob J. van Glabbeek [14] [33]
24Dina Q. Goldin [71] [86] [90]
25Michael Gorbovitski [110]
26Radu Grosu [76] [78] [91] [94] [96] [97] [98] [100] [101] [102] [106] [107] [108] [109] [110] [111] [112] [113] [115] [116] [117]
27Rajiv Gupta [25]
28David Hansel [73] [88]
29Gerard J. Holzmann [79]
30Xiaowan Huang [100] [101] [102] [117]
31Sumit Jain [100]
32Chi-Chang Jou [17]
33Yuh-Jzer Joung [15] [18] [20] [24] [37] [44] [50]
34Paris C. Kanellakis [2] [6] [10] [13]
35Curtis W. Keller [93]
36Michael Kifer [19]
37K. Narayan Kumar [53] [56] [63] [65] [74]
38Insup Lee [36] [43] [57] [70]
39Philip M. Lewis (Philip M. Lewis II) [42] [43] [45]
40Yow-Jian Lin [82]
41Xinxin Liu [52] [55]
42Yanhong A. Liu [76] [78]
43Shiyong Lu [61]
44Jawahar Malhotra [12]
45Kevin T. McDonnell [49]
46Emanuela Merelli [113]
47S. Mitra [107]
48Faron Moller [34] [81] [89]
49Madhavan Mukund [63]
50Evangelos Nanos [49]
51Rocco De Nicola [40]
52M. J. P. van Osch [75]
53Anna Philippou [57] [70]
54Abhishek Rai [97]
55Y. S. Ramakrishna [47] [48] [49] [60]
56C. R. Ramakrishnan [48] [51] [52] [53] [60] [64] [65] [69] [72] [74] [77] [80] [83] [85] [87] [95] [112] [114]
57I. V. Ramakrishnan [7] [48] [51] [53] [60] [65] [69] [72] [107]
58John H. Reif [11]
59Oliviero Riganelli [109] [112] [113]
60Abhik Roychoudhury [51] [53] [65] [69]
61Diptikalyan Saha [82] [92] [93]
62Karem Sakallah [117]
63Beata Sarna-Starosta [77]
64R. Sekar [72]
65Justin Seyster [106] [110]
66Robert M. Shapiro [12]
67Alexander A. Shvartsman [86]
68Steve Sims [104]
69Anu Singh [114]
70Gurdip Singh [7]
71Oleg Sokolsky [27] [31] [35] [42] [45] [57] [60] [70]
72Elaine L. Sonderegger [90]
73Jirí Srba [89] [99]
74Eugene W. Stark [28] [46] [54] [60] [62] [66] [84] [103]
75Bernhard Steffen [14] [16] [33] [38]
76Scott D. Stoller [76] [110]
77Terrance Swift [48]
78Wenkai Tan [101]
79Chris M. N. Tofts [14]
80Stavros Tripakis [101]
81Mike R. True [97]
82Andrew C. Uselton [26] [30]
83V. N. Venkatakrishnan [69]
84Jeffrey Scott Vitter [86]
85Orson R. Ward [67]
86David Scott Warren [48] [53] [60]
87Anita Wasilewska [111] [116]
88Peter Wegner [1] [71]
89Stephanie M. White [62]
90Sue-Hwey Wu [28] [46]
91Jingyu Yan [76]
92Ping Yang [80] [87] [95]
93Zijiang Yang [117]
94Pei Ye [107] [115]
95Shoji Yuen [29] [59]
96Erez Zadok [78] [97] [102] [106] [110]
97Stanley B. Zdonik [86]
98Shipei Zhang [22] [27]
99Amy E. Zwarico [21]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)