Amin Shali
According to our database1,
Amin Shali
authored at least 10 papers
between 2003 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
2003
2004
2005
2006
2007
2008
2009
2010
2011
0
1
2
3
1
1
1
1
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
2010
ACM Trans. Embed. Comput. Syst., 2010
2009
Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009
2007
Heterogeneous Decision Tree Classifier System.
Proceedings of the 2007 International Conference on Machine Learning; Models, 2007
Proceedings of the Sixth International Conference on Machine Learning and Applications, 2007
2005
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.
J. Univers. Comput. Sci., 2005
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005
2004
Fundam. Informaticae, 2004
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004
2003
Model Checking in Rebeca.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003