( en | de | ru )

 

Disambiguierung von "Sakallah, Karem A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Overview of complementary GaAs technology for high-speed VLSI circuits.

, , , , , , , , , , , , , , und . IEEE Trans. Very Large Scale Integr. Syst., 6 (1): 47-51 (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Karem Gomaa

Elizabeth Karema

Mahmoud Mohamed Ali Karemi

R. A. A. Bowler

°Ake °Akerström

 

Weitere Publikationen von Autoren mit dem selben Namen

The Aurora RAM Compiler., , , , und . DAC, Seite 261-266. ACM Press, (1995)Analysis and Design of Latch-Controlled Synchronous Digital Circuits., , und . DAC, Seite 111-117. IEEE Computer Society Press, (1990)Transistor placement for noncomplementary digital VLSI cell synthesis., und . ACM Trans. Design Autom. Electr. Syst., 8 (1): 81-107 (2003)Incorporating user control in automated interactive scheduling systems., , , , und . Conference on Designing Interactive Systems, Seite 306-309. ACM, (2010)euforia: Complete Software Model Checking with Uninterpreted Functions., und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 363-385. Springer, (2019)Empirical Study of the Anatomy of Modern Sat Solvers., , und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 343-356. Springer, (2011)Identifying Conflicts in Overconstrained Temporal Problems., , , und . IJCAI, Seite 205-211. Professional Book Center, (2005)Efficient Symmetry Breaking for Boolean Satisfiability., , und . IJCAI, Seite 271-276. Morgan Kaufmann, (2003)A first-order charge conserving MOS capacitance model., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (1): 99-108 (1990)Dynamic symmetry-breaking for improved Boolean optimization., , , und . ASP-DAC, Seite 445-450. ACM Press, (2005)