Automated Technology for Verification and Analysis

{ "id": 2133117896, "name": "Automated Technology for Verification and Analysis", "year": 2016, "location": "Chiba, Japan", "start_date": "2016-10-17", "end_date": "2016-10-19", "url": "http://atva2016.gforge.inria.fr/", "Abstract_Registration_Due": "2016-04-23", "Submission_Deadline": "2016-04-26" }
{ "total": 8, "List": [ { "conference_instance_id": 2133117896, "name": "ATVA 2016", "year": 2016, "location": "Chiba, Japan", "url": "http://atva2016.gforge.inria.fr/", "paper_count": 32, "hindex": 11, "citation_count": 442, "start_date": "2016-10-17", "end_date": "2016-10-19", "abstract_registration_date": "2016-04-23", "submission_deadline_date": "2016-04-26", "notification_due_date": "2016-06-06", "final_version_due_date": null }, { "conference_instance_id": 2131734147, "name": "ATVA 2015", "year": 2015, "location": "Shanghai, China", "url": "http://atva2015.ios.ac.cn/", "paper_count": 35, "hindex": 12, "citation_count": 397, "start_date": "2015-10-12", "end_date": "2015-10-15", "abstract_registration_date": "2015-04-22", "submission_deadline_date": "2015-04-25", "notification_due_date": "2015-06-08", "final_version_due_date": "2015-07-05" }, { "conference_instance_id": 2131178985, "name": "ATVA 2014", "year": 2014, "location": "Sydney", "url": "http://atva-conferences.org/", "paper_count": 31, "hindex": 12, "citation_count": 466, "start_date": "2014-11-03", "end_date": "2014-11-07", "abstract_registration_date": null, "submission_deadline_date": "2014-04-15", "notification_due_date": "2014-06-30", "final_version_due_date": null }, { "conference_instance_id": 2134654714, "name": "ATVA 2013", "year": 2013, "location": "Hanoi, Vietnam", "url": "http://www.uet.vnu.edu.vn/atva2013/", "paper_count": 44, "hindex": 13, "citation_count": 533, "start_date": "2013-10-15", "end_date": "2013-10-18", "abstract_registration_date": null, "submission_deadline_date": "2013-04-06", "notification_due_date": "2013-06-01", "final_version_due_date": null }, { "conference_instance_id": 2134797204, "name": "ATVA 2012", "year": 2012, "location": "Thiruvananthapuram (Trivandrum), India", "url": "http://www.iarcs.org.in/atva2012/", "paper_count": 33, "hindex": 16, "citation_count": 637, "start_date": "2012-10-03", "end_date": "2012-10-06", "abstract_registration_date": null, "submission_deadline_date": "2012-04-30", "notification_due_date": "2012-06-18", "final_version_due_date": "2012-07-02" } ] }
  • 1
  • 2
Rank institutions in
Rank time
to
All/First author
Institution List
Top Authors in
Institution Count Citation Adj. H-index T2_Citation
Filter By