Ali Movaghar

From MaRDI portal
Person:549193

Available identifiers

zbMath Open movaghar.aliWikidataQ56553337 ScholiaQ56553337MaRDI QIDQ549193

List of research outcomes





PublicationDate of PublicationType
Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers2023-03-10Paper
Compressive sensing of high betweenness centrality nodes in networks2022-06-27Paper
Cost-Efficient Scheduling for Deadline Constrained Grid Workflows2021-01-21Paper
Symbolic checking of fuzzy CTL on fuzzy program graph2019-01-25Paper
A uniformization-based algorithm for continuous-time stochastic games model checking2019-01-02Paper
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions2017-07-27Paper
Analytical Leakage-Aware Thermal Modeling of a Real-Time System2017-06-20Paper
Compositional failure-based equivalence of constraint automata2016-06-06Paper
Model Checking MANETs with Arbitrary Mobility2015-09-30Paper
Abstraction and approximation in fuzzy temporal logics and models2015-07-23Paper
Verification of mobile ad hoc networks: an algebraic approach2011-07-07Paper
Equational Reasoning on Mobile Ad Hoc Networks2011-03-28Paper
Dynamic routing of real-time jobs among parallel EDF queues: a performance study2010-11-25Paper
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca2010-11-25Paper
Symmetry and partial order reduction techniques in model checking Rebeca2010-02-05Paper
Equational Reasoning on Ad Hoc Networks2010-01-28Paper
AFAR: adaptive fuzzy ant-based routing for communication networks2009-12-15Paper
https://portal.mardi4nfdi.de/entity/Q36354592009-07-06Paper
Modeling Routing Protocols in Adhoc Networks2009-05-20Paper
Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication2009-05-20Paper
Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine2009-05-20Paper
A Review on Specifying Software Architectures Using Extended Automata-Based Models2008-07-01Paper
On Queueing with Customer Impatience Until the End of Service2007-06-04Paper
https://portal.mardi4nfdi.de/entity/Q46814592005-06-23Paper
On queueing with customer impatience until the beginning of service1999-07-19Paper

Research outcomes over time

This page was built for person: Ali Movaghar