Ali Movaghar

Available identifiers

zbMath Open movaghar.aliWikidataQ56553337 ScholiaQ56553337MaRDI QIDQ549193

List of research outcomes

Publication	Date of Publication	Type
Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers	2023-03-10	Paper
Compressive sensing of high betweenness centrality nodes in networks	2022-06-27	Paper
Cost-Efficient Scheduling for Deadline Constrained Grid Workflows	2021-01-21	Paper
Symbolic checking of fuzzy CTL on fuzzy program graph	2019-01-25	Paper
A uniformization-based algorithm for continuous-time stochastic games model checking	2019-01-02	Paper
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions	2017-07-27	Paper
Analytical Leakage-Aware Thermal Modeling of a Real-Time System	2017-06-20	Paper
Compositional Failure-based Equivalence of Constraint Automata	2016-06-06	Paper
Model Checking MANETs with Arbitrary Mobility	2015-09-30	Paper
Abstraction and approximation in fuzzy temporal logics and models	2015-07-23	Paper
Verification of mobile ad hoc networks: an algebraic approach	2011-07-07	Paper
Equational Reasoning on Mobile Ad Hoc Networks	2011-03-28	Paper
Dynamic routing of real-time jobs among parallel EDF queues: a performance study	2010-11-25	Paper
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca	2010-11-25	Paper
Symmetry and partial order reduction techniques in model checking Rebeca	2010-02-05	Paper
Equational Reasoning on Ad Hoc Networks	2010-01-28	Paper
AFAR: adaptive fuzzy ant-based routing for communication networks	2009-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q3635459	2009-07-06	Paper
Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine	2009-05-20	Paper
Modeling Routing Protocols in Adhoc Networks	2009-05-20	Paper
Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication	2009-05-20	Paper
A Review on Specifying Software Architectures Using Extended Automata-Based Models	2008-07-01	Paper
On Queueing with Customer Impatience Until the End of Service	2007-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4681459	2005-06-23	Paper
On queueing with customer impatience until the beginning of service	1999-07-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ali Movaghar