PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jaghoori, Mohammad Mahdi"

Author of the publication

copydeleteadd this publication to your clipboard
Understanding workflows for distributed computing: nitty-gritty details.

, , , , and . WORKS@SC, page 68-76. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. rer. nat. Seyed Mohammad Mahdi Dadfar University of Stuttgart

Mohammad Ebrahimi University of Stuttgart

Mohammad Kasra Habib University of Stuttgart

Mohammad Youssef Mahfouz University of Stuttgart

Dorsa Mohammad Zaheri University of Stuttgart

 

Other publications of authors with the same name

Symmetry and partial order reduction techniques in model checking Rebeca., , , , and . Acta Inf., 47 (1): 33-66 (2010)Scientific Workflow Management - For Whom?, , , , , , , , , and 1 other author(s). eScience, page 298-305. IEEE Computer Society, (2014)A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models., , , , and . ACSD, page 145-150. IEEE Computer Society, (2004)From Timed Reo Networks to Networks of Timed Automata., , and . Electron. Notes Theor. Comput. Sci., (2013)Modular Schedulability Analysis of Concurrent Objects in Creol., , and . FSEN, volume 5961 of Lecture Notes in Computer Science, page 212-227. Springer, (2009)Decidability Problems for Actor Systems., , , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 562-577. Springer, (2012)A multi-infrastructure gateway for virtual drug screening., , , , , and . Concurrency and Computation: Practice and Experience, 27 (16): 4478-4490 (2015)Model Checking in Rebeca., , , , and . PDPTA, page 1819-1822. CSREA Press, (2003)Scheduling and Analysis of Real-Time Software Families., , , and . COMPSAC, page 680-689. IEEE Computer Society, (2012)Monitoring method call sequences using annotations., , , , and . Sci. Comput. Program., (2014)