I agree that this site is using cookies. You can find further informations here.
X
Irfan, Ahmed
2853  results:
english X
Search for persons X
?
1

A systematic first‐principles investigation of the structur..:

Tarekuzzaman, Md. ; Ishraq, Mohammad Hasin ; Rahman, Md. Atikur...
Journal of Computational Chemistry.  , 2024
Link: https://doi.org/10.1002/..
 
?
2

Testing Dafny (experience paper):

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Irfan, Ahmed ; Porncharoenwase, Sorawee ; Rakamarić, Zvonimir.. - p. 556-567 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Counterexample-Guided Prophecy for Model Checking Modulo th..:

Mann, Makai ; Irfan, Ahmed ; Griggio, Alberto..
Logical Methods in Computer Science.  18, Issue 3 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
4

Parallelization Techniques for Verifying Neural Networks:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Wu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar... - p. 128-137 , 2020
Link: https://doi.org/10.34727..
 
?
5

Towards Verification of Neural Networks for Small Unmanned ..:

, In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC),
Irfan, Ahmed ; Julian, Kyle D. ; Wu, Haoze... - p. 1-10 , 2020
Link: https://doi.org/10.1109/..
 
?
6

First-principles investigations of manganese oxide (MnOx) c..:

Muhammad, Rafique ; Shuai, Yong ; Irfan, Ahmed.
RSC Advances.  8 (2018)  42 - p. 23688-23697 , 2018
Link: https://doi.org/10.1039/..
 
?
7

Incremental Linearization for Satisfiability and Verificati..:

Cimatti, Alessandro ; Griggio, Alberto ; Irfan, Ahmed..
ACM Transactions on Computational Logic (TOCL).  19 (2018)  3 - p. 1-52 , 2018
Link: https://dl.acm.org/doi/1..
 
?
8

Incremental Linearization for Satisfiability and Verificati..:

Cimatti, Alessandro ; Griggio, Alberto ; Irfan, Ahmed..
ACM Transactions on Computational Logic.  19 (2018)  3 - p. 1-52 , 2018
Link: https://doi.org/10.1145/..
 
?
9

Program to Improve Private Early Education (PIPE): a case s..:

Jain, Vikram ; Irfan, Ahmed ; Kirtane Vanikar, Gauri
Annals of the New York Academy of Sciences.  1419 (2018)  1 - p. 38-56 , 2018
Link: https://doi.org/10.1111/..
 
?
10

Numerical study and heat transfer analysis of nickel-chromi..:

Irfan Ahmed, Syed ; Kumar Balguri, Praveen ; Govardhan, D.
Materials Today: Proceedings.  62 (2022)  - p. 2709-2713 , 2022
Link: https://doi.org/10.1016/..
 
?
11

Prioritizing critical success factors for sustainable energ..:

Zhao, Guohao ; Irfan Ahmed, Rahil ; Ahmad, Naveed..
Energy Strategy Reviews.  35 (2021)  - p. 100635 , 2021
Link: https://doi.org/10.1016/..
 
?
12

Mifepristone and sublingual misoprostol versus sublingual m..:

Bracken, H ; Zuberi, N ; de Guevara Puerto, AL...
Contraception.  99 (2019)  5 - p. 315-316 , 2019
Link: https://doi.org/10.1016/..
 
?
13

Optimisation of ecofriendly adsorption refrigeration system:

Belgin Paul, D. L. ; Mohan Babu, K. ; Irfan Ahmed, I..
International Journal of Ambient Energy.  41 (2018)  5 - p. 550-552 , 2018
Link: https://doi.org/10.1080/..
 
?
14

Cost optimisation of AC-R134a and AC-diethyl ether pair vap..:

Mohan Babu, K. ; Karthick, M. ; Irfan Ahmed, I.
International Journal of Ambient Energy.  41 (2018)  5 - p. 559-562 , 2018
Link: https://doi.org/10.1080/..
 
?
15

Comparative study of IoT forensic frameworks:

Mahmood, Haroon ; Arshad, Maliha ; Ahmed, Irfan..
Forensic Science International: Digital Investigation.  49 (2024)  - p. 301748 , 2024
Link: https://doi.org/10.1016/..
 
1-15