Hassan MOTALLEBI, Mohammad Abdollahi AZGOMI, Mohammad Saber MIRZAEI
Turkish Journal of Electrical Engineering and Computer Science
1751-1779
Timed systems, modeling and verification, stochastic activity networks, timed activity networks, polyhedral computations
Timed systems, modeling and verification, stochastic activity networks, timed activity networks, polyhedral computations
A new extension of activity networks for modeling and verification of timed systems
Turkish Journal of Electrical Engineering and Computer Science
Hassan MOTALLEBI, Mohammad Abdollahi AZGOMI, Mohammad Saber MIRZAEI
Using Angle of Arrival (Bearing) Information for Localization in Robot Networks
Turkish Journal of Electrical Engineering and Computer Science
Iterative Solution of Field Problems with a Varying Physical Parameter
Turkish Journal of Electrical Engineering and Computer Science
Anton G. TIJHUIS, Martijn C. Van BEURDEN
Electromagnetic Engineering in the 21st Century: Challenges and Perspectives
Turkish Journal of Electrical Engineering and Computer Science
Optimal investment and reinsurance strategies for an insurer with stochastic economic factor
Hacettepe Journal of Mathematics and Statistics
PARALEL İŞLEMCİLİ ESNEK AKIŞ ATÖLYESİ ÇİZELGELEME PROBLEMLERİ İÇİN STOKASTİK ÇÖZÜM YAKLAŞIMI
Mehmet ERTEM, Mujgan SAGİR OZDEMİR
A methodology for memristance calculation
Turkish Journal of Electrical Engineering and Computer Science
Reşat MUTLU, Ertuğrul KARAKULAK
Gazneliler Sarayına Mensup Şair Ömer Osman Muhtârî-yi Gaznevî