Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Shiple, Thomas R.
17  Ergebnisse:
Personensuche X
?
1

Constructive Boolean circuits and the exactness of timed te..:

Mendler, Michael ; Shiple, Thomas R. ; Berry, Gérard
Formal Methods in System Design.  40 (2012)  3 - p. 283-329 , 2012
Link: https://doi.org/10.1007/..
 
?
2

Combinational equivalence checking through function transfo..:

, In: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design,
Kwak, Hee Hwan ; Moon, In-Ho ; Kukula, James H.. - p. 526-533 , 2002
Link: https://dl.acm.org/doi/1..
 
?
3

Approximation and decomposition of binary decision diagrams:

, In: Proceedings of the 35th annual Design Automation Conference,
Ravi, Kavita ; McMillan, Kenneth L. ; Shiple, Thomas R.. - p. 445-450 , 1998
Link: https://dl.acm.org/doi/1..
 
?
4

Constructive Analysis of Cyclic Circuits:

, In: Proceedings of the 1996 European conference on Design and Test,
Shiple, Thomas R. ; Berry, Gerard ; Touati, Herve - p. 328 ff. , 1996
Link: https://dl.acm.org/doi/1..
 
?
5

Heuristic minimization of BDDs using don't cares:

, In: Proceedings of the 31st annual Design Automation Conference,
Shiple, Thomas R. ; Hojati, Ramin ; Sangiovanni-Vincentelli, Alberto L.. - p. 225-231 , 1994
Link: https://dl.acm.org/doi/1..
 
?
6

A unified approach to language containment and fair CTL mod..:

, In: Proceedings of the 30th international Design Automation Conference,
Hojati, Ramin ; Shiple, Thomas R. ; Brayton, Robert K.. - p. 475-481 , 1993
Link: https://dl.acm.org/doi/1..
 
?
7

Automatic compositional minimization in CTL model checking:

, In: Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design,
Chiodo, Massimiliano ; Shiple, Thomas R. ; Sangiovanni-Vincentelli, Alberto L.. - p. 172-178 , 1992
Link: https://dl.acm.org/doi/1..
 
?
8

The Salas y Gómez and Nazca ridges: A review of the importa..:

Wagner, Daniel ; van der Meer, Liesbeth ; Gorny, Matthias...
Marine Policy.  126 (2021)  - p. 104377 , 2021
Link: https://doi.org/10.1016/..
 
?
9

The Salas y Gómez and Nazca ridges: A review of the importa..:

Wagner, D ; van der Meer, L ; Gorny, M...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.marpol.2020.104377.  , 2021
Link: https://publications.rif..
 
?
10

HSIS : a BDD-based environment for formal verification:

, In: Proceedings of the 31st annual Design Automation Conference,
Aziz, A. ; Balarin, F. ; Cheng, S.-T.... - p. 454-459 , 1994
Link: https://dl.acm.org/doi/1..
 
?
11

Session details: Advances in core logic synthesis:

, In: Proceedings of the International Conference on Computer-Aided Design,
Shiple, Thomas ; Brisk, Philip , 2010
Link: https://dl.acm.org/doi/1..
 
?
12

Smart simulation using collaborative formal and simulation ..:

, In: Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design,
Ho, Pei Hsin ; Shiple, Thomas ; Harer, Kevin... - p. 120-126 , 2000
Link: https://dl.acm.org/doi/1..
 
?
13

An Efficient Novel Algorithm for Positioning a Concrete Boo..:

, In: Advances in Intelligent Systems and Computing; Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2019,
Fathy, Mohammad ; Shiple, Mustafa M. ; Atia, Mostafa R. A. - p. 632-642 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Contributors:

, In: Atlas of Interventional Orthopedics Procedures,
Bodor, Marko ; Buford, Don ; Desai, Rahul Naren... - p. xii-xix , 2022
Link: https://doi.org/10.1016/..
 
?
15

Sideline Evaluation of Neck Pain: When Is It Time for Trans..:

Haight, Robert R. ; Shiple, Brian J.
The Physician and Sportsmedicine.  29 (2001)  3 - p. 45-62 , 2001
Link: https://doi.org/10.3810/..
 
1-15