E-LIB Suche - Ergebnisse für: Kuehlmann, A.

1

Dynamic transition relation simplification for bounded prop..:

, In: Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design,

Kuehlmann, A. - p. 50-57 , 2004

Link: https://dl.acm.org/doi/1..

2

Physical placement driven by sequential timing analysis:

, In: Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design,

Hurst, A. P. ; Chong, P. ; Kuehlmann, A. - p. 379-386 , 2004

Link: https://dl.acm.org/doi/1..

3

A fast pseudo-Boolean constraint solver:

, In: Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451),

Chai, D. ; Kuehlmann, A. - p. 830,831,832,833,834,835 , 2003

Link: https://doi.org/10.1145/..

4

Circuit-based Boolean reasoning:

, In: Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232),

Kuehlmann, A. ; Ganai, M.K. ; Paruthi, V. - p. 232,233,234,235,236,237 , 2001

Link: https://doi.org/10.1145/..

5

The war of the roses: designers versus tool developers:

, In: Proceedings International Conference on Computer Design VLSI in Computers and Processors,

Beece, D.K. ; Chappell, B. ; Damiano, R.... - p. 317,318,319,320 , 1997

Link: https://doi.org/10.1109/..

6

A system for production use of high-level synthesis:

Bergamaschi, R.A. ; Kuehlmann, A.
IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 1 (1993) 3 - p. 233-243 , 1993

Link: https://doi.org/10.1109/..

7

Control optimization in high-level synthesis using behavior..:

, In: Proceedings of the 29th ACM/IEEE Design Automation Conference,

Bergamaschi, R. A. ; Lobo, D. ; Kuehlmann, A. - p. 657-661 , 1992

Link: https://dl.acm.org/doi/1..

8

Module synthesis for finite state machines:

, In: Proceedings of the conference on European design automation,

Kuehlmann, A. ; Manoli, Y. - p. 581-585 , 1991

Link: https://dl.acm.org/doi/1..

9

Allometrically scaling tissue forces drive pathological for..:

Padmanabhan, Jagannath ; Chen, Kellen ; Sivaraj, Dharshan...
Nature Biomedical Engineering. 7 (2023) 11 - p. 1419-1436 , 2023

Link: https://doi.org/10.1038/..

10

Nitric oxide-releasing gel accelerates healing in a diabeti..:

Sivaraj, Dharshan ; Noishiki, Chikage ; Kosaric, Nina...
Frontiers in Medicine. 10 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

11

RF10 | PMON216 Aromatase Inhibition Fails to Exaggerate Wei..:

Willging, Molly ; Kraynak, Marissa ; Kuehlmann, Alex...
Journal of the Endocrine Society. 6 (2022) Supplement_1 - p. A711-A711 , 2022

Link: https://doi.org/10.1210/..

12

7. Allometric Tissue-scale Forces Drive Pathological Foreig..:

Padmanabhan, Jagannath ; Chen, Kellen ; Sivaraj, Dharshan...
Plastic and Reconstructive Surgery - Global Open. 10 (2022) 6S - p. 4-4 , 2022

Link: https://doi.org/10.1097/..

13

The effect of radiotherapy on fat engraftment for complete ..:

Heine, Norbert ; Eigenberger, Andreas ; Brebant, Vanessa...
Archives of Gynecology and Obstetrics. 307 (2022) 2 - p. 549-555 , 2022

Link: https://doi.org/10.1007/..

14

Aromatase Inhibition Eliminates Sexual Receptivity Without ..:

Kraynak, Marissa ; Willging, Molly M ; Kuehlmann, Alex L...
Journal of the Endocrine Society. 6 (2022) 6 - p. , 2022

Link: https://doi.org/10.1210/..

15

SEM and TEM for identification of capsular fibrosis and cel..:

Kuehlmann, Britta ; Zucal, Isabel ; Bonham, Clark Andrew..
BMC Molecular and Cell Biology. 22 (2021) 1 - p. , 2021

Link: https://doi.org/10.1186/..