Masoud Ebrahimi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Learning Mealy machines with one timer Information and Computation	2024-02-02	Paper
Specifiable robustness in reactive synthesis Formal Methods in System Design	2023-05-08	Paper
Vacuity in synthesis Formal Methods in System Design	2021-12-08	Paper
Learning Mealy machines with one timer	2021-10-04	Paper
Application of the preventive maintenance scheduling to increase the equipment reliability: case study- bag filters in cement factory Journal of Industrial and Management Optimization	2019-11-21	Paper
Symbolic checking of fuzzy CTL on fuzzy program graph Acta Informatica	2019-01-25	Paper
Hybrid flow shop scheduling with sequence dependent family setup time and uncertain due dates Applied Mathematical Modelling	2018-12-07	Paper
Characterization of SINR Region for Interfering Links With Constrained Power IEEE Transactions on Information Theory	2017-07-27	Paper
Rate-Constrained Wireless Networks With Fading Channels: Interference-Limited and Noise-Limited Regimes IEEE Transactions on Information Theory	2017-07-12	Paper
Synthesizing non-vacuous systems Lecture Notes in Computer Science	2017-02-21	Paper
Throughput Scaling Laws for Wireless Networks With Fading Channels IEEE Transactions on Information Theory	2008-12-21	Paper

Research outcomes over time

This page was built for person: Masoud Ebrahimi