( en | de | ru )

 

Disambiguierung von "Irfan, Ahmed"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Testing Dafny (experience paper).

, , , , und . ISSTA, Seite 556-567. ACM, (2022)

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.

Irfan Ahmed Asangani

Irfan

Muhammad Irfan

Muhammad-Naeem Irfan

Irfan Bastug

 

Weitere Publikationen von Autoren mit dem selben Namen

Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization., , , , und . SC-square@SIAM AG, Volume 2460 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Improved Commodity Supply Chain Performance Through AI and Computer Vision Techniques., , , und . IEEE Access, (2024)Programmable Logic Controller Forensics., , , und . IEEE Secur. Priv., 15 (6): 18-24 (2017)Proportional fairness analysis of massive MIMO Two-tier multiuser downlink with subchannel pairing.. Phys. Commun., (2017)Analysis of the decoupled uplink downlink technique for varying path loss exponent in multi-tier HetNet., , , und . Telecommun. Syst., 74 (4): 497-510 (2020)SOK: Side Channel Monitoring for Additive Manufacturing - Bridging Cybersecurity and Quality Assurance Communities., , und . EuroS&P, Seite 1160-1178. IEEE, (2023)Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays., , , , und . TACAS (1), Volume 12651 von Lecture Notes in Computer Science, Seite 113-132. Springer, (2021)Robust Fingerprinting for Relocatable Code., , und . CODASPY, Seite 219-229. ACM, (2015)Uniform Energy Consumption through Adaptive Optimal Selection of Cooperative MIMO Schemes in Wireless Sensor Networks., , und . VTC Spring, Seite 198-202. IEEE, (2008)Outage Optimal Resource Allocation for Two-Hop Multiuser Multirelay Cooperative Communication in OFDMA Upstream., und . VTC Spring, Seite 1-6. IEEE, (2011)