Adel T. Rahmani

From MaRDI portal
Person:747417

Available identifiers

zbMath Open rahmani.adel-tMaRDI QIDQ747417

List of research outcomes





PublicationDate of PublicationType
Maximum spanning tree based linkage learner2016-06-10Paper
A factor graph based genetic algorithm2015-10-16Paper
Towards automated software model checking using graph transformation systems and bogor2010-01-13Paper
A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows2009-05-20Paper
https://portal.mardi4nfdi.de/entity/Q55063392009-01-28Paper
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems2009-01-27Paper
https://portal.mardi4nfdi.de/entity/Q35360812008-11-17Paper

Research outcomes over time

This page was built for person: Adel T. Rahmani

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:747417&oldid=11978866"
Powered by MediaWiki