Search - IFIP Open Digital Library Access content directly

Filter your results

7 results
Structure: Internal structure identifier : 301046
publicationDateY_i : 2020
Image document

Formal Modeling and Analysis of Medical Systems

Mahsa Zarneshan , Fatemeh Ghassemi , Marjan Sirjani
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.386-402, ⟨10.1007/978-3-030-50029-0_24⟩
Conference papers hal-03273989v1
Image document

Combining Machine and Automata Learning for Network Traffic Classification

Zeynab Sabahi-Kaviani , Fatemeh Ghassemi , Zahra Alimadadi
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.17-31, ⟨10.1007/978-3-030-57852-7_2⟩
Conference papers hal-03165385v1
Image document

A Bi-objective Scheduling Model for Additive Manufacturing with Multiple Materials and Sequence-Dependent Setup Time

Reza Tavakkoli-Moghaddam , Shadi Shirazian , Behdin Vahedi-Nouri
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.451-459, ⟨10.1007/978-3-030-57997-5_52⟩
Conference papers hal-03635659v1
Image document

Finite Interval-Time Transition System for Real-Time Actors

Shaghayegh Tavassoli , Ramtin Khosravi , Ehsan Khamespanah
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.85-100, ⟨10.1007/978-3-030-57852-7_7⟩
Conference papers hal-03165386v1
Image document

Dynamic Distributed Job-Shop Scheduling Problem Consisting of Reconfigurable Machine Tools

Mehdi Mahmoodjanloo , Reza Tavakkoli-Moghaddam , Armand Baboli , Ali Bozorgi-Amiri
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.460-468, ⟨10.1007/978-3-030-57997-5_53⟩
Conference papers hal-03635652v1
Image document

A New Application of Coordination Contracts for Supplier Selection in a Cloud Environment

Reza Tavakkoli-Moghaddam , Mohammad Alipour-Vaezi , Zahra Mohammad-Nazari
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.197-205, ⟨10.1007/978-3-030-57997-5_23⟩
Conference papers hal-03635634v1
Image document

An Improvement in Master Surgical Scheduling Using Artificial Neural Network and Fuzzy Programming Approach

Ahmad Ghasemkhani , Reza Tavakkoli-Moghaddam , Mahdi Hamid , Mehdi Mahmoodjanloo
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.254-262, ⟨10.1007/978-3-030-57997-5_30⟩
Conference papers hal-03635670v1