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

Sandeep K. Shukla

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

2009
99EESumit Ahuja, Deepak Mathaikutty, Gaurav Singh, Joe Stetzer, Sandeep K. Shukla, Ajit Dingankar: Power estimation methodology for a high-level synthesis framework. ISQED 2009: 541-546
98EESandeep K. Shukla: Guest editorial: IEEE/ACM symposium on nanoscale architectures (NANOARCH07). JETC 5(1): (2009)
2008
97EESyed Suhaib, Bijoy A. Jose, Sandeep K. Shukla, Deepak Mathaikutty: Formal Transformation of a KPN Specification to a GALS Implementation. FDL 2008: 84-89
96EEBijoy A. Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin: On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. MEMOCODE 2008: 129-138
95EEGaurav Singh, Sandeep K. Shukla: Verifying Compiler Based Refinement of BluespecTM. SPIN 2008: 250-269
94EESyed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla: Dataflow Architectures for GALS. Electr. Notes Theor. Comput. Sci. 200(1): 33-50 (2008)
93EEDeepak Mathaikutty, Sreekumar V. Kodakara, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja: MMV: A Metamodeling Based Microprocessor Validation Environment. IEEE Trans. VLSI Syst. 16(4): 339-352 (2008)
92EEDeepak Mathaikutty, Sandeep K. Shukla: MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models. IEEE Trans. VLSI Syst. 16(7): 792-805 (2008)
91EESyed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla: A Trace-Based Framework for Verifiable GALS Composition of IPs. IEEE Trans. VLSI Syst. 16(9): 1176-1186 (2008)
90EEHiren D. Patel, Sandeep K. Shukla: On Cosimulating Multiple Abstraction-Level System-Level Models. IEEE Trans. on CAD of Integrated Circuits and Systems 27(2): 394-398 (2008)
2007
89 Twan Basten, Gabriel Juhás, Sandeep K. Shukla: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic IEEE Computer Society 2007
88EEHiren D. Patel, Sandeep K. Shukla: Model-driven Validation of SystemC Designs. DAC 2007: 29-34
87EEHiren D. Patel, Sandeep K. Shukla: Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL. DATE 2007: 279-284
86EEDeepak Mathaikutty, Sandeep K. Shukla, Sreekumar V. Kodakara, David J. Lilja, Ajit Dingankar: Design fault directed test generation for microprocessor validation. DATE 2007: 761-766
85EEDeepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla: A Metamodeling based Framework for Architectural Modeling and Simulator Generation. FDL 2007: 210-218
84EEDeepak Mathaikutty, Sandeep K. Shukla: Type Inference for IP Composition. MEMOCODE 2007: 61-70
83EEEdgar G. Daylight, Sandeep K. Shukla: Local Causal Reasoning of a Safety-Critical Subway System. MEMOCODE 2007: 83-84
82EEEric Simpson, Pengyuan Yu, Patrick Schaumont, Sumit Ahuja, Sandeep K. Shukla: VT Matrix Multiply Design for MEMOCODE '07. MEMOCODE 2007: 95-96
81EESumit Ahuja, Deepak Mathaikutty, Sandeep K. Shukla, Ajit Dingankar: Assertion-Based Modal Power Estimation. MTV 2007: 3-7
80EEGaurav Singh, Sandeep K. Shukla: Model Checking Bluespec Specified Hardware Designs. MTV 2007: 39-43
79EEGaurav Singh, S. S. Ravi, Sumit Ahuja, Sandeep K. Shukla: Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications. Power-aware Computing Systems 2007
78EESreekumar V. Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja: Model Based Test Generation for Microprocessor Architecture Validation. VLSI Design 2007: 465-472
77EEDebayan Bhaduri, Sandeep K. Shukla, Paul Graham, Maya Gokhale: Scalable techniques and tools for reliability analysis of large circuits. VLSI Design 2007: 705-710
76EEDeepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch: EWD: A metamodeling driven customizable multi-MoC system modeling framework. ACM Trans. Design Autom. Electr. Syst. 12(3): (2007)
75EESandy Irani, Sandeep K. Shukla, Rajesh Gupta: Algorithms for power savings. ACM Transactions on Algorithms 3(4): (2007)
74EEMichael Kishinevsky, Sandeep K. Shukla, Ken S. Stevens: Guest Editors' Introduction: GALS Design and Validation. IEEE Design & Test of Computers 24(5): 414-416 (2007)
73EEHiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi: Heterogeneous Behavioral Hierarchy Extensions for SystemC. IEEE Trans. on CAD of Integrated Circuits and Systems 26(4): 765-780 (2007)
72EEGaurav Singh, Sandeep K. Shukla: Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS). IJES 3(1/2): 83-92 (2007)
2006
71EEDebayan Bhaduri, Sandeep K. Shukla, Deji Coker, Valerie Taylor, Paul Graham, Maya Gokhale: A hybrid framework for design and analysis of fault-tolerant architectures. DATE 2006: 335-336
70EEHiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi: Heterogeneous behavioral hierarchy for system level designs. DATE 2006: 565-570
69EEPatrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede: Design with race-free hardware semantics. DATE 2006: 571-576
68EEDeepak Mathaikutty, Sandeep K. Shukla: Mining Metadata for Composability of IPs from SystemC IP Library. FDL 2006: 143-151
67EEDeepak Mathaikutty, Sandeep K. Shukla: MCF: A Metamodeling-based Visual Component Composition Framework. FDL 2006: 367-375
66EEHiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil: A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. MEMOCODE 2006: 39-48
65EEGaurav Singh, Sandeep K. Shukla: Low-power hardware synthesis from TRS-based specifications. MEMOCODE 2006: 49-58
64EEHiren D. Patel, Sandeep K. Shukla: Deep vs. Shallow, Kernel vs. Language--What is Better for Heterogeneous Modeling in {SystemC}?. MTV 2006: 68-75
63EEKen S. Stevens, Sandeep K. Shukla, Montek Singh, Jean-Pierre Talpin: Preface. Electr. Notes Theor. Comput. Sci. 146(2): 1-3 (2006)
62EESyed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner, Jean-Pierre Talpin: A Functional Programming Framework for Latency Insensitive Protocol Validation. Electr. Notes Theor. Comput. Sci. 146(2): 169-188 (2006)
61EESandeep K. Shukla, Michael Theobald: Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems. Formal Methods in System Design 28(2): 91-92 (2006)
60EESandeep K. Shukla, Carl Pixley, Gary Smith: Guest Editors' Introduction: The True State of the Art of ESL Design. IEEE Design & Test of Computers 23(5): 335-337 (2006)
59EESyed Suhaib, Deepak Mathaikutty, David Berner, Sandeep K. Shukla: Validating Families of Latency Insensitive Protocols. IEEE Trans. Computers 55(11): 1391-1401 (2006)
58EEHiren D. Patel, Deepak Mathaikutty, David Berner, Sandeep K. Shukla: CARH: service-oriented architecture for validating system-level designs. IEEE Trans. on CAD of Integrated Circuits and Systems 25(8): 1458-1474 (2006)
2005
57EEDeepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch: Modelling Environment for Heterogeneous Systems based on MoCs. FDL 2005: 291-303
56EEHiren D. Patel, Sandeep K. Shukla: Towards Behavioural Hierarchy Extensions for SystemC. FDL 2005: 361-373
55EEDavid Berner, Jean-Pierre Talpin, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla: SystemCXML: An Exstensible SystemC Front end Using XML. FDL 2005: 405-409
54EEShivajit Mohapatra, Radu Cornea, Hyunok Oh, Kyoungwoo Lee, Minyoung Kim, Nikil D. Dutt, Rajesh Gupta, Alexandru Nicolau, Sandeep K. Shukla, Nalini Venkatasubramanian: A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems. IPDPS 2005
53EENicolae Savoiu, Sandeep K. Shukla, Rajesh K. Gupta: Improving SystemC simulation through Petri net reductions. MEMOCODE 2005: 131-140
52EEPatrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede: Extended abstract: a race-free hardware modeling language. MEMOCODE 2005: 255-256
51EESandeep K. Shukla: Teaching Game Theory for Computer Engineering. MSE 2005: 41-42
50EEDavid Berner, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla: Automated Extraction of Structural Information from SystemC-based IP for Validation. MTV 2005: 99-104
49EELuca Benini, Sandeep K. Shukla, Rajesh K. Gupta: Architectural, System Level and Protocol Level Techniques for Power Optimization for Networked Embedded Systems. VLSI Design 2005: 18-
48 Hiren D. Patel, Sumit Gupta, Sandeep K. Shukla, Rajesh Gupta: An Introductory Survey of Networked Embedded Systems. The Industrial Information Technology Handbook 2005: 0-
47EESyed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner: XFM: An incremental methodology for developing formal models. ACM Trans. Design Autom. Electr. Syst. 10(4): 589-609 (2005)
46EESandeep K. Shukla, Jean-Pierre Talpin: Guest editorial: Special issue on models and methodologies for co-design of embedded systems. ACM Trans. Embedded Comput. Syst. 4(2): 225-227 (2005)
45EEJuliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 141(3): 1-2 (2005)
44EEGethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta: Using probabilistic model checking for dynamic power management. Formal Asp. Comput. 17(2): 160-176 (2005)
43EER. Iris Bahar, Mehdi Baradaran Tahoori, Sandeep K. Shukla, Fabrizio Lombardi: Guest Editors' Introduction: Challenges for Reliable Design at the Nanoscale. IEEE Design & Test of Computers 22(4): 295-297 (2005)
42EESandy Irani, Gaurav Singh, Sandeep K. Shukla, Rajesh K. Gupta: An overview of the competitive and adversarial approaches to designing dynamic power management strategies. IEEE Trans. VLSI Syst. 13(12): 1349-1361 (2005)
41EEGethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla: Evaluating the reliability of NAND multiplexing with PRISM. IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1629-1637 (2005)
40EEHiren D. Patel, Sandeep K. Shukla: Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models. IEEE Trans. on CAD of Integrated Circuits and Systems 24(8): 1261-1271 (2005)
39EEJean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta: A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. International Journal of Parallel Programming 33(6): 613-643 (2005)
2004
38EEDebayan Bhaduri, Sandeep K. Shukla: NANOPRISM: a tool for evaluating granularity vs. reliability trade-offs in nano architectures. ACM Great Lakes Symposium on VLSI 2004: 109-112
37EEHiren D. Patel, Sandeep K. Shukla: Towards a heterogeneous simulation kernel for system level models: a SystemC kernel for synchronous data flow models. ACM Great Lakes Symposium on VLSI 2004: 248-253
36EEJean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta: A Behavioral Type Inference System for Compositional System-on-Chip Design. ACSD 2004: 47-56
35EEDavid Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla: Modular design through component abstraction. CASES 2004: 202-211
34EEMohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten: Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. DATE 2004: 384-389
33EEDeepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla: A Functional Programming Framework of Heterogeneous Model of Computation for System Design. FDL 2004: 586-598
32EEHiren D. Patel, Sandeep K. Shukla: Towards a Heterogeneous Simulation Kernel for System Level Models: A SystemC Kernel for Synchronous Data Flow Models. ISVLSI 2004: 241-242
31EEDebayan Bhaduri, Sandeep K. Shukla: NANOLAB: A Tool for Evaluating Reliability of Defect-Tolerant Nano Architectures. ISVLSI 2004: 25-31
30EESandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer: Panel: given that hardware verification has been an uphill battle, what is the future of software verification? MEMOCODE 2004: 157-158
29EESyed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner: Extreme Formal Modeling (XFM) for Hardware Models. MTV 2004: 30-35
28EEGethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla: Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. VLSI Design 2004: 907-
27EEJuliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla: Preface. Electr. Notes Theor. Comput. Sci. 108: 1-2 (2004)
26EEJean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta: Formal Refinement Checking in a System-level Design Methodology. Fundam. Inform. 62(2): 243-273 (2004)
25 Hans-Joachim Wunderlich, Sandeep K. Shukla: Panel Summaries. IEEE Design & Test of Computers 21(1): 65-66 (2004)
2003
24EEJean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet: Polychrony for Formal Refinement-Checking in a System-Level Design Methodology. ACSD 2003: 9-19
23EERajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi: Formal verification - prove it or pitch it. DAC 2003: 710-711
22EEFrederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta: Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated. DATE 2003: 10382-10387
21EEJean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta, Frederic Doucet: Polychrony for Refinement-Based Design. DATE 2003: 11172-11173
20EERajesh K. Gupta, Sandy Irani, Sandeep K. Shukla: Formal Methods for Dynamic Power Management. ICCAD 2003: 874-882
19EERadu Cornea, Nikil D. Dutt, Rajesh K. Gupta, Ingolf Krüger, Alexandru Nicolau, Douglas C. Schmidt, Sandeep K. Shukla: FORGE: A Framework for Optimization of Distributed Embedded Systems Software. IPDPS 2003: 208
18EERajesh K. Gupta, Sandeep K. Shukla: Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation? MEMOCODE 2003: 277-
17EEGrant Martin, Sandeep K. Shukla: Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments. MEMOCODE 2003: 97-
16EESandy Irani, Sandeep K. Shukla, Rajesh K. Gupta: Algorithms for power savings. SODA 2003: 37-46
15EESandeep K. Shukla, Jean-Pierre Talpin, Stephen A. Edwards, Rajesh K. Gupta: High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap. VLSI Design 2003: 9-14
14EESandy Irani, Sandeep K. Shukla, Rajesh K. Gupta: Online strategies for dynamic power management in systems with multiple power-saving states. ACM Trans. Embedded Comput. Syst. 2(3): 325-346 (2003)
13EEFrederic Doucet, Sandeep K. Shukla, Masato Otsuka, Rajesh K. Gupta: BALBOA: a component-based design environment for system models. IEEE Trans. on CAD of Integrated Circuits and Systems 22(12): 1597-1612 (2003)
2002
12EESandy Irani, Rajesh K. Gupta, Sandeep K. Shukla: Competitive Analysis of Dynamic Power Management Strategies for Systems with Multiple Power Savings States. DATE 2002: 117-123
11EEFrederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta, Masato Otsuka: An Environment for Dynamic Component Composition for Efficient Co-Design . DATE 2002: 736-743
10EENick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta: Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation. DATE 2002: 875-883
9EESandeep K. Shukla, Frederic Doucet, Rajesh K. Gupta: Structured Component Composition Frameworks for Embedded System Design. HiPC 2002: 663-678
8EERajesh K. Gupta, Sandeep K. Shukla, Nick Savoiu: Efficient Simulation of Synthesis-Oriented System Level Designs. ISSS 2002: 168-173
7 Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta: Concurrency in System Level Design: Conflict Between Simulation and Synthesis Goals. IWLS 2002: 407-411
2001
6 Frederic Doucet, Rajesh K. Gupta, Masato Otsuka, Patrick Schaumont, Sandeep K. Shukla: Interoperability as a design issue in C++ based modeling environments. ISSS 2001: 87-92
5 R. H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi: A New Heuristic for Bad Cycle Detection Using BDDs. Formal Methods in System Design 18(2): 131-140 (2001)
1998
4EEQing Guo, Paliath Narendran, Sandeep K. Shukla: Unification and Matching in Process Algebras. RTA 1998: 91-105
1996
3 Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz: HORNSAT, Model Checking, Verification and games (Extended Abstract). CAV 1996: 99-110
2 Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns: On the Complexity of Relational Problems for Finite State Processes (Extended Abstract). ICALP 1996: 466-477
1 Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, S. S. Ravi, Richard Edwin Stearns: I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract). PODC 1996: 122

Coauthor Index

1Sumit Ahuja [79] [81] [82] [99]
2R. Iris Bahar [43]
3Brian Bailey [23]
4Twan Basten [34] [89]
5Daniel K. Beece [23]
6Luca Benini [49]
7Reinaldo A. Bergamaschi [70] [73]
8David Berner [29] [35] [36] [47] [50] [55] [58] [59] [62]
9Debayan Bhaduri [31] [38] [71] [77]
10Juliana Küster Filipe Bowles (Juliana Küster Filipe) [27] [45]
11Tevfik Bultan [30]
12Deji Coker [71]
13Radu Cornea [19] [54]
14Edgar G. Daylight [83]
15Ajit Dingankar [78] [81] [85] [86] [93] [99]
16Frederic Doucet [6] [9] [11] [13] [21] [22] [24] [26]
17Nikil D. Dutt (Nikil Dutt) [19] [54]
18Stephen A. Edwards [15]
19Masahiro Fujita [23]
20Abdoulaye Gamatié [36]
21Maya Gokhale [71] [77]
22Paul Graham [71] [77]
23Paul Le Guernic [21] [24] [26] [34] [35] [36] [39]
24Qing Guo [4]
25Rajesh K. Gupta (Rajesh Gupta) [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23] [24] [26] [36] [39] [42] [44] [48] [49] [53] [54] [75]
26Sumit Gupta [48]
27R. H. Hardin [5]
28Constance L. Heitmeyer (Connie Heitmeyer) [30]
29Harry B. Hunt III [1] [2] [3]
30Sandy Irani [12] [14] [16] [20] [42] [75]
31Axel Jantsch [57] [76]
32Bijoy A. Jose [96] [97]
33Gabriel Juhás [89]
34Minyoung Kim [54]
35Michael Kishinevsky [74]
36Sreekumar V. Kodakara [78] [86] [93]
37Ingolf Krüger (Ingolf H. Krüger) [19]
38Robert P. Kurshan [5]
39Marta Z. Kwiatkowska [28] [41] [44]
40Kyoungwoo Lee [54]
41David J. Lilja [78] [86] [93]
42Fabrizio Lombardi [43]
43Grant Martin [17]
44Deepak Mathaikutty [29] [33] [47] [50] [55] [57] [58] [59] [62] [67] [68] [76] [78] [81] [84] [85] [86] [91] [92] [93] [94] [97] [99]
45E. Mednick [66]
46Shivajit Mohapatra [54]
47Mohammad Reza Mousavi [34]
48Paliath Narendran [4]
49Alexandru Nicolau (Alex Nicolau) [19] [54]
50Rishiyur S. Nikhil [66]
51Gethin Norman [28] [41] [44]
52John O'Leary [23]
53Hyunok Oh [54]
54Masato Otsuka [6] [11] [13]
55David Parker [28] [41] [44]
56Hiren D. Patel [32] [33] [37] [40] [48] [50] [55] [56] [57] [58] [64] [66] [70] [73] [76] [87] [88] [90] [96]
57Carl Pixley [23] [60]
58Iman Poernomo [27] [45]
59S. S. Ravi [1] [79]
60Shishpal Rawat [23]
61Ralf Reussner (Ralf H. Reussner) [27] [45]
62Daniel J. Rosenkrantz [1] [2] [3]
63Nicolae Savoiu (Nick Savoiu) [7] [8] [10] [53]
64Patrick Schaumont [6] [52] [69] [82]
65Douglas C. Schmidt [19]
66Eric Simpson [82]
67Gaurav Singh [42] [65] [72] [79] [80] [95] [99]
68Montek Singh [63]
69Gary Smith [60]
70Fabio Somenzi [23]
71Richard Edwin Stearns [1] [2]
72Joe Stetzer [99]
73Ken S. Stevens [63] [74]
74Syed Suhaib [29] [47] [59] [62] [91] [94] [97]
75Mehdi Baradaran Tahoori [43]
76Jean-Pierre Talpin [15] [21] [24] [26] [34] [35] [36] [39] [46] [55] [62] [63] [96]
77Valerie Taylor [71]
78Michael Theobald [61]
79Moshe Y. Vardi [5]
80Nalini Venkatasubramanian [54]
81Ingrid Verbauwhede [52] [69]
82Hans-Joachim Wunderlich [25]
83Pengyuan Yu [82]

Colors in the list of coauthors

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