( en | de | ru )

 

Disambiguation of "Tarraf, Ahmad"

Author of the publication

copydeleteadd this publication to your clipboard
Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.

, , , , , and . ASP-DAC, page 199-204. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Amer Tarraf

Ahmad Ahmad

Ahmad Hassan Ahmad

Ahmad Ahmad-Kassem

Ahmad Trad

Significance of the third hypervariable region of the antibody heavy (H) chain for antigen specificity and expression of idiotypes during the thymus dependent immune response. Uni Kiel, (2009)
 

Other publications of authors with the same name

Automatic Modeling of Transistor Level Circuits by Hybrid Systems with Parameter Variable Matrices., and . SMACD, page 133-136. IEEE, (2019)FTIO: Detecting I/O Periodicity Using Frequency Techniques., , , , and . CoRR, (2023)Establishing Reachset Conformance for the Formal Analysis of Analog Circuits., , , , , and . ASP-DAC, page 199-204. IEEE, (2020)Towards Compositional Abstraction of Analog Neuronal Networks., and . CCWC, page 34-37. IEEE, (2021)Conquering Noise With Hardware Counters on HPC Systems., , , , , and . ProTools@SC, page 1-10. IEEE, (2022)Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets., , , , and . ISVLSI, page 7-12. IEEE, (2020)Behavioral Modeling of Transistor-Level Circuits using Automatic Abstraction to Hybrid Automata., and . DATE, page 1451-1456. IEEE, (2019)Multi-agent Learning for Energy-Aware Placement of Autonomous Vehicles., , , , , and . ICMLA, page 1671-1678. IEEE, (2019)From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction., and . it Inf. Technol., 62 (5-6): 257-270 (2020)Towards Smarter Schedulers: Molding Jobs into the Right Shape via Monitoring and Modeling., , , , , , and . ISC Workshops, volume 13999 of Lecture Notes in Computer Science, page 68-81. Springer, (2023)