Musab AlTurki
发表
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2019,
Foundations of Security, Protocols, and Equational Reasoning.
José Meseguer,
Musab AlTurki,
2007,
PPDP '07.
José Meseguer,
Musab AlTurki,
2015,
J. Log. Algebraic Methods Program..
Rakesh Bobba,
Farhana Ashraf,
Himanshu Khurana,
2009,
ASIACCS '09.
Musab AlTurki,
Musab A. Alturki,
2011
.
José Meseguer,
Ralf Sasse,
Carl A. Gunter,
2009,
ESORICS.
José Meseguer,
Musab AlTurki,
2010,
RTRTS.
José Meseguer,
Musab AlTurki,
2007
.
José Meseguer,
Martin Wirsing,
Jonas Eckhardt,
2012,
FASE.
Victor Luchangco,
Jing Chen,
Karl Palmskog,
2019,
FM Workshops.
José Meseguer,
Musab AlTurki,
2008,
Electron. Notes Theor. Comput. Sci..
Max I. Kanovich,
Tajana Ban Kirigin,
Andre Scedrov,
2020
.
José Meseguer,
Musab AlTurki,
Musab A. Alturki,
2011,
CALCO.
Sparse Single-Hidden Layer Feedforward Network for Mapping Natural Language Questions to SQL Queries
Lahouari Ghouti,
Issam H. Laradji,
Musab AlTurki,
2014,
ICANN.
Musab AlTurki,
Musab A. Alturki,
2017,
2017 IEEE International Conference on Information Reuse and Integration (IRI).
José Meseguer,
Carl A. Gunter,
Musab AlTurki,
2009,
Electron. Notes Theor. Comput. Sci..
Taher Ahmed Ghaleb,
Khalid Aljasser,
Musab AlTurki,
2018,
J. Softw. Evol. Process..
Taher Ahmed Ghaleb,
Musab AlTurki,
Khalid Aljasser,
2018
.
Musab AlTurki,
Omar Alzuhaibi,
2015,
FM.
Taher Ahmed Ghaleb,
Khalid Aljasser,
Musab AlTurki,
2015,
ICSEA 2015.
Carolyn L. Talcott,
Max I. Kanovich,
Tajana Ban Kirigin,
2018,
CPS-SPC@CCS.
Hiroshi Inamura,
Ajay Chander,
Dinakar Dhurjati,
2009,
FASE.