Ana Gabriela Garis
According to our database1,
Ana Gabriela Garis
authored at least 10 papers
between 2002 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proceedings of the 11th International Conference on Advanced Intelligent Systems and Informatics, 2025
2015
Softw. Syst. Model., 2015
2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
2009
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009
2007
Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007
2006
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006
2005
J. Comput. Methods Sci. Eng., 2005
UML Profiles for Design Patterns.
Proceedings of the 20th International Conference on Computers and Their Applications, 2005
2002
Structuring a Formal Specification starting from Process Modeling.
Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002