| Publication | Date of Publication | Type |
|---|
Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers
Bulletin of the Iranian Mathematical Society | 2023-03-10 | Paper |
Compressive sensing of high betweenness centrality nodes in networks
Physica A | 2022-06-27 | Paper |
Cost-Efficient Scheduling for Deadline Constrained Grid Workflows
Computing and Informatics | 2021-01-21 | Paper |
Symbolic checking of fuzzy CTL on fuzzy program graph
Acta Informatica | 2019-01-25 | Paper |
A uniformization-based algorithm for continuous-time stochastic games model checking
Theoretical Computer Science | 2019-01-02 | Paper |
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions
IEEE Transactions on Computers | 2017-07-27 | Paper |
Analytical Leakage-Aware Thermal Modeling of a Real-Time System
IEEE Transactions on Computers | 2017-06-20 | Paper |
Compositional failure-based equivalence of constraint automata
Electronic Notes in Theoretical Computer Science | 2016-06-06 | Paper |
Model checking MANETs with arbitrary mobility
Fundamentals of Software Engineering | 2015-09-30 | Paper |
Abstraction and approximation in fuzzy temporal logics and models
Formal Aspects of Computing | 2015-07-23 | Paper |
Verification of mobile ad hoc networks: an algebraic approach
Theoretical Computer Science | 2011-07-07 | Paper |
Equational reasoning on mobile ad hoc networks
Fundamenta Informaticae | 2011-03-28 | Paper |
Dynamic routing of real-time jobs among parallel EDF queues: a performance study
Computers and Electrical Engineering | 2010-11-25 | Paper |
Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca
Computers and Electrical Engineering | 2010-11-25 | Paper |
Symmetry and partial order reduction techniques in model checking Rebeca
Acta Informatica | 2010-02-05 | Paper |
Equational reasoning on ad hoc networks
Fundamentals of Software Engineering | 2010-01-28 | Paper |
AFAR: adaptive fuzzy ant-based routing for communication networks
Journal of Zhejiang University. Science A | 2009-12-15 | Paper |
A two-class \(M/M/1\) system with preemptive non real-time jobs and prioritized real-time jobs under earliest-deadline-first policy
| 2009-07-06 | Paper |
Modeling Routing Protocols in Adhoc Networks
Communications in Computer and Information Science | 2009-05-20 | Paper |
Bandwidth-Delay Constrained Least Cost Multicast Routing for Multimedia Communication
Communications in Computer and Information Science | 2009-05-20 | Paper |
Challenges in Using Peer-to-Peer Structures in Order to Design a Large-Scale Web Search Engine
Communications in Computer and Information Science | 2009-05-20 | Paper |
A Review on Specifying Software Architectures Using Extended Automata-Based Models
Lecture Notes in Computer Science | 2008-07-01 | Paper |
On Queueing with Customer Impatience Until the End of Service
Stochastic Models | 2007-06-04 | Paper |
scientific article; zbMATH DE number 2182600 (Why is no real title available?)
| 2005-06-23 | Paper |
On queueing with customer impatience until the beginning of service
Queueing Systems | 1999-07-19 | Paper |
