Ali Bahrami

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 5

Top Topics

Pspace Complete

Formal Verification

Interactive Systems

Top Venues

Photonic Netw. Commun.

IEEE Intell. Syst.

Publications

Ali Bahrami, Angelo Hawa, Kaifan Yue, Kira Barton
Dimensionless Analysis of the Transition from Continuous Jet Mode to Natural Pulsation in Electrohydrodynamic Jet Printing. CCTA (2023)
Eric Mercer, Keith A. Butler, Ali Bahrami
Model Checking Functional Integration of Human Cognition and Machine Reasoning. SysCon (2022)
Mohcine Madkour, Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao
Semantic based model of Conceptual Work Products for formal verification of complex interactive systems. CoRR (2020)
Hamed Khalilzadeh, Ali Bahrami, Habib Badri Ghavifekr
MMI-based all-optical four-channel wavelength division demultiplexer. Photonic Netw. Commun. 36 (2) (2018)
Mahyar Dehdast, Ali Bahrami
Design of all-optical simultaneous AND, NAND, OR, and NOR logic gates using phase-based control of three coupled waveguides. Photonic Netw. Commun. 33 (2) (2017)
Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao
Model Checking for Verification of Interactive Health IT Systems. AMIA (2015)
Jitu Patel, Michael C. Dorneich, David H. Mott, Ali Bahrami, Cheryl Giammanco
Improving Coalition Planning by Making Plans Alive. IEEE Intell. Syst. 28 (1) (2013)
Keith A. Butler, Jiajie Zhang, Chris Esposito, Ali Bahrami, Ron Hebron, David E. Kieras
Work-centered design: a case study of a mixed-initiative scheduler. CHI (2007)
Seyyed Mohsen Hashemi, Mohammadreza Razzazi, Ali Bahrami
ISRUP E-Service Framework for agile Enterprise Architecting. ITNG (2006)
Jun Yuan, Ali Bahrami, Changzhou Wang, Marie O. Murray, Anne Hunt
A Semantic Information Integration Tool Suite. VLDB (2006)
Ali Bahrami, Changzhou Wang, Jun Yuan, Anne Hunt
The Workflow Based Architecture for Mobile Information Access in Occasionally Connected Computing. IEEE SCC (2006)
Keith A. Butler, Ali Bahrami, Chris Esposito, Ron Hebron
Conceptual models for coordinating the design of user work with the design of information systems. Data Knowl. Eng. 33 (2) (2000)
Ali Bahrami, Deborah A. Sadowski, Soheila Bahrami
Enterprise Architecture for Business Process Simulation. WSC (1998)
Ali Bahrami
Design by Fuzzy Association of Needs-to-Functions-to-Structures. J. Intell. Fuzzy Syst. 2 (2) (1994)
Ali Bahrami, Cihan H. Dagli
Hybrid Intelligent Packing System (HIPS) through integration of Artificial Neural Networks, Artificial Intelligence, and mathematical programming. Appl. Intell. 4 (4) (1994)
Ali Bahrami
Routine design with information content and fuzzy quality function deployment. J. Intell. Manuf. 5 (4) (1994)