Symmetry and partial order reduction techniques in model checking Rebeca
Jaghoori, Mohammad Mahdi, Sirjani, Marjan, Mousavi, Mohammad Reza, Khamespanah, Ehsan, Movaghar, Ali
Published in Acta informatica (01.02.2010)
Published in Acta informatica (01.02.2010)
Get full text
Journal Article
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Sirjani, Marjan, Jaghoori, Mohammad Mahdi, Baier, Christel, Arbab, Farhad
Published in Coordination Models and Languages (2006)
Published in Coordination Models and Languages (2006)
Get full text
Book Chapter
Conference Proceeding
Timed Automata Semantics for Analyzing Creol
Jaghoori, Mohammad Mahdi, Chothia, Tom
Published in Electronic proceedings in theoretical computer science (28.07.2010)
Published in Electronic proceedings in theoretical computer science (28.07.2010)
Get full text
Journal Article
1001 Ways to run AutoDock Vina for virtual screening
Jaghoori, Mohammad Mahdi, Bleijlevens, Boris, Olabarriaga, Silvia D.
Published in Journal of computer-aided molecular design (01.03.2016)
Published in Journal of computer-aided molecular design (01.03.2016)
Get full text
Journal Article
Compositional schedulability analysis of real-time actor-based systems
Jaghoori, Mohammad Mahdi, de Boer, Frank, Longuet, Delphine, Chothia, Tom, Sirjani, Marjan
Published in Acta informatica (01.06.2017)
Published in Acta informatica (01.06.2017)
Get full text
Journal Article
A multi-infrastructure gateway for virtual drug screening
Jaghoori, Mohammad Mahdi, van Altena, Allard J., Bleijlevens, Boris, Ramezani, Sara, Font, Juan Luis, Olabarriaga, Silvia D.
Published in Concurrency and computation (01.11.2015)
Published in Concurrency and computation (01.11.2015)
Get full text
Journal Article
A data-centric neuroscience gateway: design, implementation, and experiences
Shahand, Shayan, Benabdelkader, Ammar, Jaghoori, Mohammad Mahdi, Mourabit, Mostapha al, Huguet, Jordi, Caan, Matthan W.A., van Kampen, Antoine H.C., Olabarriaga, Sílvia D.
Published in Concurrency and computation (01.02.2015)
Published in Concurrency and computation (01.02.2015)
Get full text
Journal Article
Decidability Problems for Actor Systems
De Boer, Frank, Jaghoori, Mahdi, Laneve, Cosimo, Zavattaro, Gianluigi
Published in Logical methods in computer science (04.12.2014)
Published in Logical methods in computer science (04.12.2014)
Get full text
Journal Article
From Timed Reo Networks to Networks of Timed Automata
Kokash, Natallia, Jaghoori, Mohammad Mahdi, Arbab, Farhad
Published in Electronic notes in theoretical computer science (09.05.2013)
Published in Electronic notes in theoretical computer science (09.05.2013)
Get full text
Journal Article
User-oriented partial result evaluation in workflow-based science gateways
Jaghoori, Mohammad Mahdi, Ramezani, Sara, Olabarriaga, Silvia D.
Published in 2014 9th Workshop on Workflows in Support of Large-Scale Science (16.11.2014)
Published in 2014 9th Workshop on Workflows in Support of Large-Scale Science (16.11.2014)
Get full text
Conference Proceeding
Schedulability of asynchronous real-time concurrent objects
Jaghoori, Mohammad Mahdi, de Boer, Frank S., Chothia, Tom, Sirjani, Marjan
Published in The journal of logic and algebraic programming (01.05.2009)
Published in The journal of logic and algebraic programming (01.05.2009)
Get full text
Journal Article