Ramin Hojati

	2000
15		Richard Raimi, Ramin Hojati, Kedar S. Namjoshi: Environment modeling and language universality. ACM Trans. Design Autom. Electr. Syst. 5(3): 705-725 (2000)
	1998
14		Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayton: Structural Symmetry and Model Checking. CAV 1998: 159-171
13		Adrian J. Isles, Ramin Hojati, Robert K. Brayton: Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. CAV 1998: 256-267
	1996
12		Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton: Verification Using Uninterpreted Functions and Finite Instantiations. FMCAD 1996: 218-232
11		Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton: Early Quantification and Partitioned Transition Relations. ICCD 1996: 12-19
	1995
10		Ramin Hojati, Robert K. Brayton: Automatic Datapath Abstraction In Hardware Systems. CAV 1995: 98-113
9		Serdar Tasiran, Ramin Hojati, Robert K. Brayton: Language containment of non-deterministic omega-automata. CHARME 1995: 261-277
8		Ramin Hojati, Robert K. Brayton: An Environment for Formal Verification Based on Symbolic Computations. Formal Methods in System Design 6(2): 191-216 (1995)
	1994
7		Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton: Improving Language Containment Using Fairness Graphs. CAV 1994: 391-403
6		Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton: Heuristic Minimization of BDDs Using Don't Cares. DAC 1994: 225-231
5		Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: HSIS: A BDD-Based Environment for Formal Verification. DAC 1994: 454-459
	1993
4		Ramin Hojati, Robert K. Brayton, Robert P. Kurshan: BDD-Based Debugging Of Design Using Language Containment and Fair CTL. CAV 1993: 41-58
3		Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan: A Unified Approach to Language Containment and Fair CTL Model Checking. DAC 1993: 475-481
	1992
2		Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton: Efficient omega-Regular Language Containment. CAV 1992: 396-409
	1990
1		Ramin Hojati: Layout Optimization by Pattern Modification. DAC 1990: 632-637

Coauthor Index

1	Adnan Aziz	[5]
2	Felice Balarin	[5]
3	Robert K. Brayton	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
4	Szu-Tsung Cheng	[5]
5	Adrian J. Isles	[12] [13]
6	Timothy Kam	[5]
7	Desmond Kirkpatrick	[12]
8	Sriram C. Krishnan	[5] [11]
9	Robert P. Kurshan	[2] [3] [4]
10	Gurmeet Singh Manku	[14]
11	Robert B. Mueller-Thuns	[7]
12	Kedar S. Namjoshi	[15]
13	Richard Raimi	[15]
14	Rajeev K. Ranjan	[5]
15	Alberto L. Sangiovanni-Vincentelli	[5] [6]
16	Thomas R. Shiple	[3] [5] [6]
17	Vigyan Singhal	[5]
18	Serdar Tasiran	[5] [9]
19	Hervé J. Touati	[2]
20	Huey-Yih Wang	[5]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page